docs: record accept-gate confirmation pass

1 files changed, 29 insertions, 2 deletions

diff --git a/RESULTS.md b/RESULTS.md
index d36edad..436740f 100644
--- a/RESULTS.md
+++ b/RESULTS.md
@@ -1012,8 +1012,35 @@ operations, one neutral observation per ordinary example, 2.165 GB peak
 allocated memory, one final validation evaluation, and zero test evaluations.
 The source revision is `d945c42`, and the gate was frozen before the endpoint.
 This is the first full near-BP standard-ResNet SDIL validation result and raises
-the strict reviewer score from 5 to 6.  Independent five-seed paired test
-confirmation remains open rather than assumed.
+the strict reviewer score from 5 to 6.  At the D3 audit, independent five-seed
+paired test confirmation remained open rather than assumed.
+
+The independently frozen D4 paired test confirmation subsequently passes every
+gate at source revision `0008f2c`.  Each of seeds 10--14 trains clean KP and
+dynamic innovation from scratch on all 50,000 CIFAR-10 training examples for
+200 epochs, evaluates no validation example, and evaluates the 10,000-example
+test set exactly once at the endpoint:
+
+| seed | clean-KP test accuracy | dynamic test accuracy | clean minus dynamic |
+|--:|--:|--:|--:|
+| 10 | 91.58% | 91.52% | +0.06 points |
+| 11 | 91.55% | 91.58% | -0.03 points |
+| 12 | 90.87% | 91.65% | -0.78 points |
+| 13 | 91.50% | 91.51% | -0.01 points |
+| 14 | 91.44% | 91.66% | -0.22 points |
+| **mean** | **91.388%** | **91.584%** | **-0.196 points** |
+
+The one-sided 95% upper confidence bound on the paired clean-minus-dynamic
+deficit is `0.1306` points, far inside the frozen 2.5-point bound.  All five
+dynamic seeds exceed 87%, all five are within two points of paired clean KP,
+and mean early-third alignment is `0.999687`.  All ten trajectories are
+finite; the dynamic runs also pass feedback tracking, neutral projection,
+zero instruction leakage, zero task-loss query, `<=1.34x` BP MAC, `<=2.5 GiB`
+peak-memory, authorized-hardware, source-provenance, split, and evaluation
+checks.  D4 therefore raises the strict reviewer score from 6 to 7 and
+establishes the accept bar.  It is a ResNet-20 robustness/noninferiority result,
+not evidence of positive utility from ResNet-20 to ResNet-56 and not evidence
+for the previously failed desired-velocity or online-control interpretation.
 
 ## How to run
 `experiments/run.py --mode {bp,fa,dfa,sdil} --dataset {mnist,fmnist,cifar10} --depth D --residual {0,1} --act {tanh,gelu,silu,relu}`