diff options
| author | YurenHao0426 <Blackhao0426@gmail.com> | 2026-07-23 08:24:43 -0500 |
|---|---|---|
| committer | YurenHao0426 <Blackhao0426@gmail.com> | 2026-07-23 08:24:43 -0500 |
| commit | 6ebf1f1858590b53b47f67708cbd79aa57f79a67 (patch) | |
| tree | 07ffa9397133e2f696ddca92c0fe1ac276820ab5 /paper | |
| parent | 75a64888cb3e117ee6d232adc7b48974647fbc1e (diff) | |
paper: integrate calibrated oral-B-v2 evidence
Diffstat (limited to 'paper')
| -rw-r--r-- | paper/CLAIM_LEDGER.json | 127 | ||||
| -rw-r--r-- | paper/MANUSCRIPT.md | 150 | ||||
| -rw-r--r-- | paper/manuscript_audit.json | 125 |
3 files changed, 373 insertions, 29 deletions
diff --git a/paper/CLAIM_LEDGER.json b/paper/CLAIM_LEDGER.json index f687938..93fcc90 100644 --- a/paper/CLAIM_LEDGER.json +++ b/paper/CLAIM_LEDGER.json @@ -3,7 +3,8 @@ "../results/figs/figure1_pareto.png", "../results/figs/figure2_scaling.png", "../results/figs/figure3_innovation.png", - "../results/figs/figure4_resnet_confirmation.png" + "../results/figs/figure4_resnet_confirmation.png", + "../results/figs/figure5_bci_v2.png" ], "gate_statuses": [ { @@ -13,6 +14,10 @@ { "expected": "failed", "source": "results/bci_td_confirmation_gate.json" + }, + { + "expected": "passed", + "source": "results/bci_v2_calibrated_confirmation_gate.json" } ], "manuscript": "paper/MANUSCRIPT.md", @@ -254,6 +259,125 @@ "pointer": "/metrics/longitudinal_prediction/mean", "source": "results/bci_td_confirmation_gate.json", "token": "-0.013" + }, + { + "format": "percent3_percent", + "id": "bci_v2_final_performance", + "pointer": "/statistics/intact_final_mean", + "source": "results/figs/figure5_bci_v2_manifest.json", + "token": "100.000%" + }, + { + "format": "percent3", + "id": "bci_v2_learning_gain", + "pointer": "/statistics/learning_gain_mean", + "source": "results/figs/figure5_bci_v2_manifest.json", + "token": "98.802" + }, + { + "format": "percent3", + "id": "bci_v2_fixed_role_gap", + "pointer": "/statistics/fixed_role_gap_mean", + "source": "results/figs/figure5_bci_v2_manifest.json", + "token": "99.974" + }, + { + "format": "fixed4", + "id": "bci_v2_role_cosine", + "pointer": "/statistics/role_cosine_mean", + "source": "results/figs/figure5_bci_v2_manifest.json", + "token": "0.9761" + }, + { + "format": "fixed3", + "id": "bci_v2_residual_soma_corr", + "pointer": "/statistics/residual_soma_corr_mean", + "source": "results/figs/figure5_bci_v2_manifest.json", + "token": "0.063" + }, + { + "format": "fixed3", + "id": "bci_v2_raw_residual_gap", + "pointer": "/statistics/raw_residual_corr_gap_mean", + "source": "results/figs/figure5_bci_v2_manifest.json", + "token": "0.936" + }, + { + "format": "percent2_percent", + "id": "bci_v2_surrounding_accuracy", + "pointer": "/statistics/surrounding_accuracy_mean", + "source": "results/figs/figure5_bci_v2_manifest.json", + "token": "54.37%" + }, + { + "format": "percent2_percent", + "id": "bci_v2_surrounding_accuracy_lower", + "pointer": "/statistics/surrounding_accuracy_lower", + "source": "results/figs/figure5_bci_v2_manifest.json", + "token": "54.26%" + }, + { + "format": "fixed3", + "id": "bci_v2_velocity_advantage", + "pointer": "/statistics/velocity_advantage_mean", + "source": "results/figs/figure5_bci_v2_manifest.json", + "token": "0.638" + }, + { + "format": "percent3_percent", + "id": "bci_v2_challenge_fraction", + "pointer": "/statistics/challenge_fraction_mean", + "source": "results/figs/figure5_bci_v2_manifest.json", + "token": "50.094%" + }, + { + "format": "percent3_percent", + "id": "bci_v2_terminal_accuracy", + "pointer": "/statistics/terminal_accuracy_mean", + "source": "results/figs/figure5_bci_v2_manifest.json", + "token": "99.833%" + }, + { + "format": "percent3_percent", + "id": "bci_v2_terminal_accuracy_lower", + "pointer": "/statistics/terminal_accuracy_lower", + "source": "results/figs/figure5_bci_v2_manifest.json", + "token": "99.680%" + }, + { + "format": "percent2_percent", + "id": "bci_v2_soma_accuracy", + "pointer": "/statistics/terminal_previous_soma_accuracy_mean", + "source": "results/figs/figure5_bci_v2_manifest.json", + "token": "73.50%" + }, + { + "format": "fixed3", + "id": "bci_v2_outcome_lesion_drop", + "pointer": "/statistics/outcome_lesion_drop_mean", + "source": "results/figs/figure5_bci_v2_manifest.json", + "token": "0.400" + }, + { + "format": "fixed3", + "id": "bci_v2_outcome_lesion_drop_lower", + "pointer": "/statistics/outcome_lesion_drop_lower", + "source": "results/figs/figure5_bci_v2_manifest.json", + "token": "0.389" + }, + { + "format": "fixed3", + "id": "bci_v2_critic_expectedness", + "pointer": "/statistics/critic_expectedness_mean", + "source": "results/figs/figure5_bci_v2_manifest.json", + "token": "0.319" + }, + { + "format": "fixed3", + "id": "bci_v2_critic_expectedness_lower", + "pointer": "/statistics/critic_expectedness_lower", + "source": "results/figs/figure5_bci_v2_manifest.json", + "token": "0.281" } ], "required_boundary_text": [ @@ -262,6 +386,7 @@ "we do not claim arbitrary top-down traffic removal;", "It does not support a ResNet-20-to-56 depth claim.", "The joint biological gate nevertheless fails.", + "It does not establish that the same plasticity rule operates in cortex.", "we do not call this variant single-phase." ], "required_reference_urls": [ diff --git a/paper/MANUSCRIPT.md b/paper/MANUSCRIPT.md index b4b735a..733284e 100644 --- a/paper/MANUSCRIPT.md +++ b/paper/MANUSCRIPT.md @@ -29,13 +29,16 @@ dynamic paired-neutral innovation rule reaches 91.584% mean CIFAR-10 test accuracy across five untouched seeds, versus 91.388% for clean reciprocal credit; the one-sided 95% upper bound on its deficit is 0.131 points. It uses zero task-loss queries and 1.326 times the matched BP MAC estimate, but pays for -one instruction-off neutral observation per training example. A preregistered -synthetic BCI confirmation learns the task and causal sign yet fails outcome -vectorization and longitudinal prediction. The supported conclusion is -therefore algorithmic and narrow: neutral somato-dendritic innovation can -protect local credit from soma-predictable traffic and remain stable on -ResNet-20, without establishing a cortical learning rule or positive utility -from added standard-network depth. +one instruction-off neutral observation per training example. In a separate +six-task by five-model synthetic BCI confirmation, a local actor--critic +innovation reaches 100.000% task success, 99.833% terminal outcome decoding, +and 30/30 predicted causal-role signs. An acute outcome lesion reduces +role-aligned separation by 0.400. The supported conclusion remains +algorithmic: somato-dendritic innovation can protect local credit from +soma-predictable traffic, remain stable on ResNet-20, and multiplex performance +change with outcome surprise in a controlled dynamical task. These results do +not establish a cortical learning rule or positive utility from added +standard-network depth. ## 1. Introduction @@ -86,10 +89,9 @@ Our contributions are: 3. frozen evidence that the innovation operation is load-bearing under soma-predictable traffic, including an independently confirmed ResNet-20 endpoint; and -4. retained negative results showing where the proposal does not work: - arbitrary top-down traffic, an unstable static ResNet predictor, a failed - desired-velocity/online-control interpretation, and an untouched - population-signature confirmation that fails its joint gate. +4. an independently confirmed local actor--critic instantiation in which + learned causal roles vectorize performance change and outcome surprise, + together with retained failed protocols that delimit the result. ## 2. Somato-dendritic innovation learning @@ -196,6 +198,37 @@ loss, downstream weight, or reverse pass. It is nevertheless a real instruction-off microphase: every neutral observation and its elementwise arithmetic are counted, and we do not call this variant single-phase. +### 2.4 Temporal-difference outcome innovation + +The synthetic BCI branch uses the same innovation variable in a continuous +dynamical task. A local linear critic reads the surrounding somatic population, + +\[ +V_t=v^\mathsf{T}[1,h_t], +\qquad +\delta_t=\rho_t+\gamma(1-z_t)V_{t+1}-V_t, +\] + +where \(z_t\) marks a terminal event and +\(\rho_t=|e_{t-1}|-|e_t|+\mathbb{1}\{\text{rewarded terminal}\}\). +Sparse antithetic cursor probes estimate each cell's signed causal role +\(m_i=\partial z/\partial h_i\); the instructional apical term is +\(m_i\delta_t\). A local temporal eligibility trace, + +\[ +E_{ij,t}=0.8E_{ij,t-1}+ +(1-h_{i,t}^2)x_{j,t}, +\qquad +\Delta W_{ij,t}=\eta r_{i,t}E_{ij,t}, +\] + +assigns the innovation to recent synaptic activity. Actor, critic, role +estimator, and neutral predictor use manual local updates without autograd or +task-loss queries. The terminal reward is explicitly supplied, so outcome +encoding alone is not evidence for an emergent error code; the causal tests +are residualization, learned role vectorization, critic expectedness, acute +lesions, and untouched replication. + ## 3. What residualization guarantees—and what it does not Let \(n\) be neutral apical traffic and let @@ -279,6 +312,25 @@ and dynamic innovation from scratch for untouched seeds 10--14, uses no validation examples, and evaluates the 10,000-example test set once at the endpoint. Both conditions use the same initialization/data seed pairing. +### Synthetic BCI confirmation + +The biological-signature test uses 40 cells with known experimenter-only +causal roles, 14 training days, 64 episodes per day, and 28 maximum steps per +episode. Every condition receives the same instruction-off neutral warmup and +paired scalar cursor probes. Fixed-role, plasticity-lesion, critic-lesion, +outcome-lesion, and exact-role diagnostic conditions share all exogenous +trajectories. + +Because independently learned policies have different cursor scales, a fixed +absolute target produced a disclosed ceiling failure. The final assay freezes +the algorithm, runs 512 separate outcome-free calibration trajectories, and +uses fixed cursor-maximum quantiles +\(\{0.20,0.35,0.50,0.65,0.80\}\) as target levels. Rewarded and timeout +outcomes are then measured on independent trajectories; no evaluation label +selects or reweights a target. Confirmation crosses six untouched task seeds +and five model seeds. Uncertainty first averages models within task and then +uses the six task seeds as independent clusters. + ### Baselines and cost In-repository controls include BP, FA, DFA, direct node perturbation, @@ -371,7 +423,7 @@ time is 1.47 times paired clean KP. The result supports ResNet-20 robustness under the audited traffic intervention. It does not support a ResNet-20-to-56 depth claim. -## 6. Biological-signature test and negative evidence +## 6. Biological-signature test and outcome-surprise evidence The original online-control/desired-velocity screen fails its frozen causal sign and acute-control gates. We therefore constructed a separate @@ -395,14 +447,59 @@ the broader population outcome-vectorization and longitudinal signatures. Because online control is disabled in this recovery, even a passed plasticity gate would not establish an online desired-velocity controller. +That failure exposed two structural mismatches rather than motivating a +threshold repair. First, the old trajectory terminated without an explicit +reward/timeout event, so the residual was never asked to encode the variable +used by its outcome decoder. Second, near-ceiling task success left almost no +unrewarded trials. A separately frozen v2 added an explicit actor--critic +outcome phase. Its first development grid failed from a cold start when dense +performance velocity was scaled to one quarter of the previously validated +signal. Restoring unit scale recovered learning, but a fixed target ladder +failed one new development seed because policy output scale varied. Both +failures remain in the repository. + +The final recovery changes no learning parameter after that diagnosis. It uses +the label-free calibration split described above and then opens a fully +untouched 30-record confirmation. + + + +**Figure 5: Role-vectorized temporal-difference outcome surprise.** The +renderer reads all 30 confirmation records and uses the task seed, not each +model, as the uncertainty unit. + +All six task clusters reach 100.000% final success; mean learning gain is +98.802 points and the fixed-role gap is 99.974 points. Learned-role cosine is +0.9761. Nonterminal residual--soma correlation is 0.063, while subtracting the +neutral prediction reduces absolute correlation by 0.936. The preceding +surrounding population predicts causal-cell residual sign at 54.37% balanced +accuracy, with a one-sided lower bound of 54.26%, and velocity has a 0.638 +absolute cross-validated correlation advantage over error magnitude. All 30 +records have the predicted positive P+/P- sign. + +Independent calibrated trials are balanced at 50.094% rewarded outcomes. +Terminal residual outcome accuracy is 99.833% with a 99.680% lower bound, +versus 73.50% from pre-outcome soma. Acute removal of terminal outcome input +reduces role-aligned separation by 0.400 (lower bound 0.389). The learned +critic contributes 0.319 of expectedness modulation (lower bound 0.281), and +that contribution is paired with its stored value prediction. + +The result establishes the claimed signal within this synthetic paradigm: +ordinary soma coupling is subtracted, recent performance change and terminal +outcome are vectorized by learned cell-specific causal roles, the residual +drives local eligibility-based plasticity, and the critic converts raw outcome +into surprise. It does not establish that the same plasticity rule operates in +cortex. Calibration makes rewarded and timeout trials statistically +identifiable; it is an explicit psychometric phase and not a biological +prediction by itself. + These negatives constrain interpretation: - we do not infer that dendritic residuals directly drive cortical plasticity; - we do not infer that cortex implements BP; - we do not claim arbitrary top-down traffic removal; - we do not claim positive utility from adding standard ResNet depth; and -- we do not relabel task learning and sign inversion as a passed population - signature. +- we do not treat directly supplied terminal reward as an emergent error. ## 7. Related work @@ -462,17 +559,19 @@ MAC overhead. Hardware implementations may price local elementwise operations, state storage, and phases differently from GPUs; this is why we report several resource axes rather than one scalar cost. -The strongest standard result uses only ResNet-20. The separately frozen -ResNet-20/32/56 panel remains unopened because its biological prerequisite -failed. This preserves the declared accept-to-oral ordering but leaves positive -added-depth utility unresolved. +The strongest standard result uses only ResNet-20. The old separately frozen +ResNet-20/32/56 panel remains unopened because its original biological +prerequisite failed. The successful v2 gate permits only a new independently +frozen depth protocol; it cannot retroactively open the old panel. Positive +added-depth utility therefore remains unresolved. -Finally, the synthetic BCI negatives are scientifically important. The -residual operation can be algorithmically useful without reproducing every -signature of cortical dendrites. A stronger biological paper needs a new -prediction and mechanism frozen independently of the failed outcome and -longitudinal metrics, ideally tested on the original event-level data rather -than engineered to pass the present synthetic task. +Finally, the synthetic BCI evidence has a hard ecological boundary. Outcome +reward is supplied to the critic, the psychometric targets are calibrated to +each trained policy on a separate split, and the task has experimenter-defined +causal roles. The acute lesions show how the implemented signal is composed; +they do not show that cortex uses the same decomposition. A stronger biological +paper needs a prospective prediction tested on the original event-level data, +and the still-failed longitudinal prediction should not be silently discarded. ## 9. Reproducibility statement @@ -486,4 +585,5 @@ bash experiments/finalize_accept.sh It rechecks the main figures, theoretical identities, local-rule mechanics, baseline protocols, native-author records, standard-ResNet confirmation, -failed biological confirmation, and the sealed standard-depth boundary. +failed biological protocols, the passed calibrated BCI confirmation, and the +sealed old standard-depth boundary. diff --git a/paper/manuscript_audit.json b/paper/manuscript_audit.json index 35cfcaa..55ee55a 100644 --- a/paper/manuscript_audit.json +++ b/paper/manuscript_audit.json @@ -203,6 +203,108 @@ "pointer": "/metrics/longitudinal_prediction/mean", "rendered": "-0.013", "source": "results/bci_td_confirmation_gate.json" + }, + { + "id": "bci_v2_final_performance", + "pointer": "/statistics/intact_final_mean", + "rendered": "100.000%", + "source": "results/figs/figure5_bci_v2_manifest.json" + }, + { + "id": "bci_v2_learning_gain", + "pointer": "/statistics/learning_gain_mean", + "rendered": "98.802", + "source": "results/figs/figure5_bci_v2_manifest.json" + }, + { + "id": "bci_v2_fixed_role_gap", + "pointer": "/statistics/fixed_role_gap_mean", + "rendered": "99.974", + "source": "results/figs/figure5_bci_v2_manifest.json" + }, + { + "id": "bci_v2_role_cosine", + "pointer": "/statistics/role_cosine_mean", + "rendered": "0.9761", + "source": "results/figs/figure5_bci_v2_manifest.json" + }, + { + "id": "bci_v2_residual_soma_corr", + "pointer": "/statistics/residual_soma_corr_mean", + "rendered": "0.063", + "source": "results/figs/figure5_bci_v2_manifest.json" + }, + { + "id": "bci_v2_raw_residual_gap", + "pointer": "/statistics/raw_residual_corr_gap_mean", + "rendered": "0.936", + "source": "results/figs/figure5_bci_v2_manifest.json" + }, + { + "id": "bci_v2_surrounding_accuracy", + "pointer": "/statistics/surrounding_accuracy_mean", + "rendered": "54.37%", + "source": "results/figs/figure5_bci_v2_manifest.json" + }, + { + "id": "bci_v2_surrounding_accuracy_lower", + "pointer": "/statistics/surrounding_accuracy_lower", + "rendered": "54.26%", + "source": "results/figs/figure5_bci_v2_manifest.json" + }, + { + "id": "bci_v2_velocity_advantage", + "pointer": "/statistics/velocity_advantage_mean", + "rendered": "0.638", + "source": "results/figs/figure5_bci_v2_manifest.json" + }, + { + "id": "bci_v2_challenge_fraction", + "pointer": "/statistics/challenge_fraction_mean", + "rendered": "50.094%", + "source": "results/figs/figure5_bci_v2_manifest.json" + }, + { + "id": "bci_v2_terminal_accuracy", + "pointer": "/statistics/terminal_accuracy_mean", + "rendered": "99.833%", + "source": "results/figs/figure5_bci_v2_manifest.json" + }, + { + "id": "bci_v2_terminal_accuracy_lower", + "pointer": "/statistics/terminal_accuracy_lower", + "rendered": "99.680%", + "source": "results/figs/figure5_bci_v2_manifest.json" + }, + { + "id": "bci_v2_soma_accuracy", + "pointer": "/statistics/terminal_previous_soma_accuracy_mean", + "rendered": "73.50%", + "source": "results/figs/figure5_bci_v2_manifest.json" + }, + { + "id": "bci_v2_outcome_lesion_drop", + "pointer": "/statistics/outcome_lesion_drop_mean", + "rendered": "0.400", + "source": "results/figs/figure5_bci_v2_manifest.json" + }, + { + "id": "bci_v2_outcome_lesion_drop_lower", + "pointer": "/statistics/outcome_lesion_drop_lower", + "rendered": "0.389", + "source": "results/figs/figure5_bci_v2_manifest.json" + }, + { + "id": "bci_v2_critic_expectedness", + "pointer": "/statistics/critic_expectedness_mean", + "rendered": "0.319", + "source": "results/figs/figure5_bci_v2_manifest.json" + }, + { + "id": "bci_v2_critic_expectedness_lower", + "pointer": "/statistics/critic_expectedness_lower", + "rendered": "0.281", + "source": "results/figs/figure5_bci_v2_manifest.json" } ], "figures": [ @@ -221,6 +323,10 @@ { "path": "results/figs/figure4_resnet_confirmation.png", "sha256": "4011c9d31de4a53a7ae24bf4030693b22dabf6b7a7ed8a7eed2f6b5b91a97b78" + }, + { + "path": "results/figs/figure5_bci_v2.png", + "sha256": "e43e07d56c28022e861682e7b7f68ef010e2754c64eb58cfc8079d8a59d57b75" } ], "gates": [ @@ -241,16 +347,21 @@ ], "source": "results/bci_td_confirmation_gate.json", "status": "failed" + }, + { + "false_checks": [], + "source": "results/bci_v2_calibrated_confirmation_gate.json", + "status": "passed" } ], "ledger": { "path": "paper/CLAIM_LEDGER.json", - "sha256": "5d779179ee8c1f6d2d00a34b2f4adaa483212996a54efe620a482115c1dcc689" + "sha256": "bd65f0747aba2dbe327f7150b7112dbc560c6e9cb984b058343679fd0dd89ab9" }, "manuscript": { "path": "paper/MANUSCRIPT.md", - "sha256": "dc45c921be33b35c4a8629e308e118c1506719a0f018b807628be341c5a1da25", - "word_count": 3238 + "sha256": "c0633b8ff9f7b267e12eade47fac7b01429b6dc9b9255b71938e14169ca7822f", + "word_count": 4019 }, "sources": [ { @@ -258,10 +369,18 @@ "sha256": "4f6f969ceae88afa2523e3472a3373522991f5ecaab69440830c07479d2d3597" }, { + "path": "results/bci_v2_calibrated_confirmation_gate.json", + "sha256": "3b161c32727a2a7c4b50ca696dafff20a023d23e8cd008a0b8dddd662516b084" + }, + { "path": "results/figs/figure4_resnet_confirmation_manifest.json", "sha256": "4aa3fbab16f41f608259b345283db7ef03ec8562f4e1f811ec6fe0a228dfa8c9" }, { + "path": "results/figs/figure5_bci_v2_manifest.json", + "sha256": "dc24f1593b7e07b33b45e0e1dfec895cf7bdc5a953e60d933c5c3596f284738e" + }, + { "path": "results/figs/main_figure_manifest.json", "sha256": "f5099b29d7f83ad7dc7783b927f682d7af43a90072e11fc7da2e8be5e7685450" }, |
