protocol: freeze paired dynamic confirmation

1 files changed, 30 insertions, 0 deletions

diff --git a/DYNAMIC_INNOVATION.md b/DYNAMIC_INNOVATION.md
index f790fbe..d12dda3 100644
--- a/DYNAMIC_INNOVATION.md
+++ b/DYNAMIC_INNOVATION.md
@@ -166,3 +166,33 @@ presentation changes cannot substitute for a failed endpoint.  It
 would then open a separately frozen independent multi-seed test confirmation;
 no confirmation seed or test endpoint may be touched before that protocol is
 committed.  A D3 failure leaves the score at 5 and closes this branch.
+
+## D4: conditionally frozen paired test confirmation
+
+The D4 protocol and executable gate are committed before any D3 endpoint is
+observed, but D4 remains inaccessible unless the audited D3 gate passes.  On a
+pass, pair clean KP and dynamic innovation at model/data-loader seeds 10--14.
+Each independently drawn dynamic traffic field uses seed `5000 + model_seed`.
+Train on all 50,000 CIFAR-10 training examples for 200 epochs with the exact D3
+architecture, optimizer, augmentation, and schedule.  Evaluate CIFAR-10 test
+exactly once at the endpoint of each of the ten runs; perform no validation or
+intermediate test evaluation.  All runs must share one clean source revision,
+and no failed seed may be deleted or replaced.
+
+D4 passes only if all ten trajectories and audited values are finite, mean
+dynamic test accuracy is at least 89%, every dynamic seed reaches at least 87%,
+the mean paired deficit to clean KP is at most 1.5 points, the one-sided 95%
+upper confidence bound on that deficit is at most 2.5 points, and at least four
+of five dynamic seeds lie within 2 points of paired clean KP.  Mean early-third
+credit alignment must be at least 0.90 and every dynamic seed must individually
+retain early alignment at least 0.85, final feedback cosine at least 0.98,
+final-50-epoch mean feedback cosine at least 0.97, all D3 projection/leakage
+tolerances, zero task-loss queries, at most `1.34x` the corresponding 50k BP MAC
+estimate, separately reported positive elementwise work, and at most 2.5 GiB
+peak allocated memory.
+
+A complete D4 pass raises the strict reviewer score from 6 to 7 and establishes
+the accept bar.  It does not establish the oral claim: standard-network depth
+scaling and the broader biological signature panel remain separate gates.  A
+D4 failure keeps the D3-supported score at 6 and closes this confirmation
+without threshold repair.