summaryrefslogtreecommitdiff
path: root/paper/MANUSCRIPT.md
blob: 733284e8c01c3abf686b61bfb91b12ef9f126380 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
# Learning from the Unexpected: Somato-Dendritic Innovations for Local Credit Assignment

**Anonymous authors — working ICLR 2027 draft**

> This is the evidence-bound manuscript source. It intentionally contains the
> failed biological and scaling gates. Author names, acknowledgements, and the
> venue template are left unset rather than inferred.

## Abstract

Local-learning models often identify activity in a feedback or apical
compartment with a teaching signal. That compartment can also carry ordinary
state and contextual traffic, so its raw activity need not point in a useful
learning direction. Motivated by the per-neuron somato-dendritic residuals
measured by Francioni and colleagues, we define the teaching variable as an
*innovation*: apical activity minus its neutral-period prediction from the same
neuron's somatic activity. We evaluate this operation on top of two inherited
credit pathways—node-perturbation-trained direct feedback and reciprocal
Kolen--Pollack plasticity—and attribute those pathways to prior work. Conditional
expectation makes the innovation the minimum-power residual within the
predictor's somatic information class, while a norm-matched raw control shows
that subtraction changes direction rather than merely gain. In a frozen
60-run intervention, raw and norm-matched apical signals fall to 10.38% and
10.31% MNIST accuracy under strong soma-predictable traffic, whereas innovation
retains 97.348%. Across a 12-fold increase in hidden depth on flattened
CIFAR-10, the learned-feedback backbone changes by -0.214 points while direct
feedback alignment loses early-layer alignment. On a standard ResNet-20, a
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. 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

Credit assignment asks how a synapse or neuron should change given only a
distant behavioral outcome. Backpropagation solves this problem in artificial
networks by transporting exact reverse-mode derivatives, but its weight
transport, global computation graph, and update-locking requirements make it an
imperfect model of biological learning. Fixed feedback alignment (FA) and
direct feedback alignment (DFA) relax exact transport, while equilibrium
propagation, Forward--Forward, PEPITA, Dual Propagation, and dendritic or
burst-based models change the activity dynamics or phase structure of learning.
These approaches differ substantially in what is local, what is transported,
and what computational cost is hidden in a “phase.”

Compartmental models commonly separate basal feedforward activity from apical
feedback. This is a powerful architectural idea, but it leaves an identification
problem: feedback compartments carry state, context, prediction, and ordinary
coupling in addition to any instruction. Treating all apical activity as error
can therefore rotate a local update even when the feedback pathway itself is
well calibrated.

[Francioni et al. (2026)](https://doi.org/10.1038/s41586-026-10190-7)
provide a sharper empirical object. For each cortical neuron they model the
normal relation between somatic and distal dendritic event magnitudes and study
the residual. At population level those residuals carry information absent from
soma alone, including outcome and neuron-specific causal-role signatures. The
experiments establish a vectorized dendritic signal, but do not establish that
the residual directly updates synapses or that cortex implements
backpropagation.

We turn the residual operation itself into a falsifiable learning hypothesis:
use only the component of apical activity that is unexpected from the same
cell's neutral somatic state. We call this **Somato-Dendritic Innovation
Learning (SDIL)**. The credit pathway that supplies the instructional component
is deliberately modular. In small feedforward networks we train direct feedback
with causal node perturbations, following
[Lansdell, Prakash, and Kording (2020)](https://openreview.net/forum?id=ByeUBANtvB).
For the stable ResNet experiment we use reciprocal plasticity following
[Akrout et al. (2019)](https://papers.nips.cc/paper_files/paper/2019/hash/f387624df552cea2f369918c5e1e12bc-Abstract.html).
Neither mechanism is claimed as new.

Our contributions are:

1. a per-cell neutral innovation rule, with raw and per-example norm-matched
   controls that isolate subtraction from gain;
2. a conditional-projection analysis, a descent/gain boundary, and explicit
   perturbation variance and resource accounting;
3. frozen evidence that the innovation operation is load-bearing under
   soma-predictable traffic, including an independently confirmed ResNet-20
   endpoint; and
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

### 2.1 Local teaching variable

For hidden layer \(l\),

\[
u_l = W_l h_{l-1}, \qquad h_l = \phi(u_l).
\]

The apical compartment mixes an instruction \(s_l=A_lc_l\) with ordinary
traffic \(n_l\):

\[
a_l = s_l+n_l.
\]

A per-cell predictor is fitted when task instruction is absent:

\[
m_l(h_l) \approx \mathbb{E}[n_l\mid\mathcal{F}_{h_l},\mathrm{neutral}].
\]

The teaching variable is

\[
r_l=a_l-m_l(h_l).
\]

The implemented small-network predictor is diagonal affine,
\(m_{l,i}(h_{l,i})=p_{l,i}h_{l,i}+b_{l,i}\). This restriction matters:
traffic predictable only from other neurons or hidden contextual state cannot
be guaranteed to disappear.

With a static feedforward eligibility,

\[
\Delta W_l
=
\eta_W\left(r_l\odot\phi'(u_l)\right)h_{l-1}^{\mathsf T}.
\]

Every factor in this update is available at the synapse or its postsynaptic
cell: presynaptic activity, local activation gain, and the same cell's apical
innovation. Recurrent or spiking implementations can replace the instantaneous
eligibility with a local temporal trace; that extension is not evaluated here.

### 2.2 Two inherited instructional pathways

In the learned-direct-feedback experiments, occasional antithetic Rademacher
perturbations estimate a causal hidden-state direction. If
\(\xi_l\) is injected at layer \(l\) and \(L_+,L_-\) are the paired losses,

\[
q_l
=
-\frac{L_+-L_-}{2\sigma}\xi_l.
\]

The feedback map predicts this direction:

\[
\Delta A_l
=
\eta_A(q_l-A_lc_l)c_l^{\mathsf T}.
\]

This is learned synthetic feedback by node perturbation and is inherited from
Lansdell et al. It requires logical loss observations during calibration, which
we report separately from ordinary supervised loss computation.

The standard ResNet branch instead uses a modified Kolen--Pollack reciprocal
path. Forward and feedback synapses independently recompute matched local
activity products and use matched decay; neither path reads or copies the
other's weight tensor. This inherited mechanism eliminates task-loss queries
but adds a second reciprocal local correlation.

### 2.3 Dynamic neutral projection

A fixed neutral predictor was unstable in the ResNet mixed-traffic
intervention. Linearization exposes a multiplicative residual operator whose
positive modes can diverge even when the initial predictor sign is correct.
The successful ResNet variant retains a slow neutral predictor and adds a
paired instruction-off observation on every ordinary example. For each cell,

\[
e^0_l=a^0_l-m_l(h_l)
\]

is the remaining neutral residual, and the local affine projection coefficient
is

\[
q_l
=
\frac{\mathrm{Cov}(e^0_l,h_l)}
       {\mathrm{Var}(h_l)}.
\]

The stabilized instruction is the task-period apical signal after removing the
neutral mean and current affine soma coupling. The fit sees no task instruction,
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
\(\mathcal{F}_h\) be the somatic information available to the predictor. The
conditional mean \(m(h)=\mathbb{E}[n\mid\mathcal{F}_h]\) obeys

\[
\mathbb{E}\langle n-m(h),g(h)\rangle=0
\]

for every square-integrable soma-measurable \(g\), and

\[
\mathbb{E}\|n-g(h)\|^2
=
\mathbb{E}\|n-m(h)\|^2+\mathbb{E}\|m(h)-g(h)\|^2.
\]

Thus the conditional mean is the unique minimum-power subtraction within the
chosen somatic information class. This is a standard projection identity, not
a new theorem. If the neutral traffic law is invariant and task apical
activity is \(a=s+n\), the innovation is \(r=s+n-m(h)\). The result says
nothing about nuisance independent of \(\mathcal{F}_h\), nor does it prove that
\(r\) is a gradient.

The norm-matched raw control uses
\(\alpha a\), where \(\alpha=\|r\|/\|a\|>0\) for each example. Since

\[
\cos(\alpha a,-g)=\cos(a,-g),
\]

positive gain matching cannot reproduce a directional benefit at a fixed
state. We still train the matched control end to end because gain changes later
states and optimization trajectories.

Finally, hidden-state alignment alone is insufficient. For complete parameter
gradient \(p=\nabla_\theta L\) and proposed update direction \(v\), a
\(\beta\)-smooth loss satisfies

\[
L(\theta+\eta v)-L(\theta)
\le
-\eta c\|p\|\|v\|
+\frac{\beta\eta^2}{2}\|v\|^2,
\]

where \(c=\langle-p,v\rangle/(\|p\|\|v\|)\). Descent requires direction, gain,
and curvature to agree. This distinction explains why some failed branches
end with nearly perfect feedback-weight cosine yet have already diverged.

## 4. Experimental protocol

We freeze advancement gates before opening the corresponding held-out
endpoint. Failed branches, dirty-provenance rejection, seed sets, and
validation/test boundaries remain in the repository. Exact hyperparameters,
hashes, and hardware-independent cost definitions are in the accompanying
manifests.

### Controlled traffic and depth

The primary necessity experiment trains depth-3, width-256 MNIST networks for
15 epochs across predictable-traffic ratios
\(\rho\in\{0,0.05,0.2,0.5\}\), three teaching signals, and seeds 0--4. The
signals are raw apical activity, per-example norm-matched raw activity, and
innovation.

The depth panel trains width-64 residual MLPs on flattened CIFAR-10 at hidden
depths 5, 10, 20, 30, and 60, with five paired seeds. BP is a nonlocal
reference; FA, DFA, and learned node-perturbation feedback are local-learning
comparators. Because accuracy does not improve with depth in this task, the
panel tests preservation and credit alignment rather than useful
representation depth.

### Standard ResNet confirmation

The standard-scale test uses a CIFAR ResNet-20 (\(6n+2\), width 16) trained for
200 epochs on all 50,000 training examples. D3 selects no confirmation seed:
it is a single validation-only endpoint. D4 then trains clean reciprocal credit
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,
Forward--Forward, PEPITA, canonical persistent-particle equilibrium
propagation, hierarchical FA, response-mirror variants, and reciprocal
Kolen--Pollack learning. We additionally audit author-code BurstCCN and Dual
Propagation runs under their native protocols. Native architectures,
preprocessing, selection semantics, and wall times are reported as context,
not placed on a purported equal-compute frontier.

We report logical task-loss observations, affine MAC estimates, separately
estimated elementwise work, forward-equivalent examples, paired neutral
observations, peak allocated memory, and wall time. A zero task-loss-query count
does not make neutral observations or local correlations free.

## 5. Results

### 5.1 Innovation is necessary under soma-predictable traffic

![Somato-dendritic innovation mechanism and controlled necessity experiment.](../results/figs/figure3_innovation.png)

**Figure 1: Controlled innovation necessity.** The committed figure renderer
audits all 60 records and displays mean and individual-seed outcomes.

At \(\rho=0\), all three signal rules coincide at 97.45%. At \(\rho=0.5\),
raw apical and norm-matched raw learning fall to 10.38% and 10.31%, whereas
innovation reaches 97.348%. The paired gain over norm-matched raw is
87.038 ± 0.607 points. Used-signal alignment remains positive for innovation
and becomes negative for both controls. The matched control rules out a
per-example magnitude-only explanation.

This intervention is deliberately strong and structured: traffic is generated
from the predictor's available somatic statistic. A separate broad endogenous
top-down intervention does not show uniform removal. The supported claim is
therefore conditional nuisance removal, not arbitrary contextual denoising.

### 5.2 Learned local credit preserves accuracy over depth in a controlled task

![Accuracy, BP gap, and early credit alignment across hidden depth.](../results/figs/figure2_scaling.png)

**Figure 2: Controlled depth preservation.** “Scaling” in this panel denotes
retention under a 12-fold increase in hidden depth, not a benefit from added
depth.

The learned-feedback backbone changes by -0.214 ± 0.349 accuracy points from
depth 5 to 60. Its paired one-sided test rejects a drop of at least one point
(\(p=0.0037\)). DFA changes by -0.870 ± 0.358 points and does not reject the
same margin (\(p=0.2310\)); its early-layer alignment falls from 0.514 to
0.047. SDIL-labelled no-traffic runs in this panel reduce to the inherited
Lansdell-style feedback learner and do not establish the novelty of
residualization.

![Local-learning Pareto frontier and exact-architecture EP comparison.](../results/figs/figure1_pareto.png)

**Figure 3: Accuracy and measured wall-time context.** The local frontier is
constructed only within the matched flattened-CIFAR protocol. The EP panel
matches forward architecture, examples, and epochs while retaining each
method's native preprocessing and dynamics.

Canonical EP is the strongest conceptual stability baseline in the repository
but is expensive in the audited implementation: at two hidden layers its mean
wall time is 17,530 s and mean test accuracy is 89.526%, versus 58.5 s and
97.516% for the feedforward local learner under the stated method-native
dynamics. These numbers are not a hardware-independent dominance theorem; they
make the measured cost mismatch explicit.

### 5.3 Dynamic innovation survives untouched ResNet-20 confirmation

![Paired ResNet-20 endpoint, layerwise signal alignment, and trajectory audit.](../results/figs/figure4_resnet_confirmation.png)

**Figure 4: Standard-ResNet confirmation.** All panels are regenerated from
the ten untouched D4 records, and the renderer refuses missing seeds,
protocol drift, dirty provenance, or disagreement with the frozen gate.

Dynamic innovation reaches 91.584% mean test accuracy versus 91.388% for clean
reciprocal credit. Its mean paired advantage is 0.196 points; the one-sided 95%
upper confidence bound on the clean-minus-dynamic deficit is 0.131 points,
well inside the frozen 2.5-point noninferiority margin. All five dynamic seeds
reach at least 91.51%, and mean early-third teaching alignment is 0.999687.

The raw apical direction is poorly aligned in early layers under four-times-RMS
traffic, whereas the projected innovation remains nearly collinear with the
negative hidden-state gradient. Reciprocal feedback tracks the forward path
throughout training rather than merely reaching an aligned endpoint.

The dynamic run uses 1.326 times the matched BP affine-MAC estimate, zero
logical task-loss queries, one paired neutral observation per ordinary example,
and 2.02 GiB mean peak allocated memory. On the same GTX 1080s its mean wall
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 outcome-surprise evidence

The original online-control/desired-velocity screen fails its frozen causal
sign and acute-control gates. We therefore constructed a separate
temporal-difference recovery that factorizes a slowly learned causal-role
vectorizer from within-episode performance dynamics. Its development screen
selects one learning rate before confirmation.

The untouched confirmation contains six task seeds and five model seeds per
task. It learns successfully: mean final performance is 99.531%, mean learning
gain is 90.451 points, the plasticity lesion has a 45.191-point half-margin,
role cosine is 0.9395, and all 30 records have the predicted positive sign
inversion. Residuals are also strongly decorrelated from soma, and their
correlation with error velocity exceeds that with error magnitude.

The joint biological gate nevertheless fails. Residual outcome decoding is
47.325%, 4.322 points below soma rather than above it, and early residuals do
not predict late somatic change (mean correlation -0.013). Surrounding-network
event accuracy also narrowly misses its frozen mean threshold. Thus the model
learns a causal-role temporal-difference plasticity signal without reproducing
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.

![Local actor--critic learning, residualization, psychometric calibration, and outcome lesions.](../results/figs/figure5_bci_v2.png)

**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 treat directly supplied terminal reward as an emergent error.

## 7. Related work

FA replaces exact transpose transport with random feedback
([Lillicrap et al., 2016](https://doi.org/10.1038/ncomms13276)); DFA sends fixed
random output feedback directly to each hidden layer
([Nøkland, 2016](https://arxiv.org/abs/1609.01596)). Learned synthetic feedback
by causal perturbation is closest to SDIL's small-network instructional
backbone ([Lansdell et al., 2020](https://openreview.net/forum?id=ByeUBANtvB)).
Akrout et al.'s weight-mirror and modified Kolen--Pollack mechanisms are the
source of the stable reciprocal ResNet substrate.

Compartmental and burst-based approaches already establish that segregated
dendrites can coordinate local credit. These include segregated-dendrite
learning ([Guerguiev et al., 2017](https://doi.org/10.7554/eLife.22901)),
dendritic microcircuits
([Sacramento et al., 2018](https://papers.nips.cc/paper_files/paper/2018/hash/1dc3a89d0d440ba31729b0ba74b93a33-Abstract.html)),
and burst-dependent plasticity
([Payeur et al., 2021](https://doi.org/10.1038/s41593-021-00857-x)).
The recent BurstCCN preprint explicitly connects hierarchical dendritic credit
to the Francioni/Harnett observations
([Greedy et al., 2026](https://doi.org/10.64898/2026.06.16.732595)).
Consequently, “apical dendrites carry vector errors” and “a dendritic method
trains a convolutional network” are not our novelty claims.

Equilibrium propagation uses free and nudged energy-based relaxation
([Scellier and Bengio, 2017](https://doi.org/10.3389/fncom.2017.00024)).
Dual Propagation represents activity and error in dyadic states within one
inference phase
([Høier and Zach, 2023](https://proceedings.mlr.press/v202/hoier23a.html);
[Høier and Zach, 2024](https://openreview.net/forum?id=ui8ewXg1hV)).
PEPITA modulates the input with output error and uses a second forward
computation
([Dellaferrera and Kreiman, 2022](https://proceedings.mlr.press/v162/dellaferrera22a.html)).
Forward--Forward trains layer-local goodness on positive and negative data
([Hinton, 2022](https://www.cs.toronto.edu/~hinton/FFA13.pdf)).
SDIL differs in the variable it extracts from a mixed feedback compartment:
the instruction is the component unexpected from neutral soma, not raw
feedback, a two-state contrast, or an input perturbation.

## 8. Limitations and discussion

The central novelty is narrow. Conditional projection is standard, and both
instructional pathways are inherited. The empirical contribution is that
subtraction is load-bearing under a controlled mixed-channel intervention and
that the dynamic version remains stable at ResNet-20 scale.

The predictor's information class is a hard boundary. A diagonal per-cell
predictor cannot remove population-only or latent traffic. Neutral periods are
also an assumption: task-period fitting can absorb the soma-predictable part of
the teaching signal itself, while distribution shift can make a correct neutral
predictor wrong during behavior.

The paired-neutral controller improves stability but weakens a single-phase
biological interpretation and adds substantial wall time despite modest affine
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 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 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

Every publication-facing result is bound to source revision, exact seed set,
protocol, split, and evaluation boundary. Renderers regenerate figures from
raw records and write source-hash manifests. The complete mechanical audit is:

```bash
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 protocols, the passed calibrated BCI confirmation, and the
sealed old standard-depth boundary.