protocol: freeze D4-gated oral B recovery

1 files changed, 50 insertions, 9 deletions

diff --git a/ORAL_B_RECOVERY.md b/ORAL_B_RECOVERY.md
index 5880101..2d9e8bf 100644
--- a/ORAL_B_RECOVERY.md
+++ b/ORAL_B_RECOVERY.md
@@ -63,12 +63,53 @@ only permits a separately committed training-only structural screen after the
 D4 accept confirmation closes. No success-rate endpoint, hyperparameter
 selection, or oral-B score change is authorized by R0.
 
-## Boundary for the next gate
-
-Before any recovery task run, R1 must freeze its development-only task seeds,
-forward/vectorizer rates, role-estimator cadence, cost accounting, and a stop
-rule requiring both positive derivative sign and actual learning. A sign that
-is positive merely because `delta_t` was inserted is not evidence of credit
-assignment. Confirmation seeds 10--15 from the original oral-B protocol
-remain untouched unless an R1 candidate passes every frozen learning,
-innovation, role-vectorization, and plasticity-lesion requirement.
+## R1 frozen development gate
+
+R1 is hard-gated in code on a complete D4 pass with reviewer score 7. It reuses
+only the already-development task seeds 0--2 and model seed 0; confirmation
+seeds 10--15 remain untouched. It tests exactly two forward rates, `{0.03,
+0.1}`, with vectorizer rate `0.03`, 14 days, 64 episodes per day, 28 steps per
+episode, one role perturbation event every four temporal steps, `kappa=0`, and
+all other dynamics copied from the failed original screen.
+
+Before task learning, every condition receives 100 instruction-off batches of
+64 neural-state probes. The per-cell neutral predictor uses these batches; two
+scalar antithetic cursor observations per example calibrate the learned-role
+conditions. Fixed-vectorizer ignores the role targets but consumes the same
+observations and random stream. The oracle-role condition explicitly reads the
+synthetic environment map only as a labelled diagnostic ceiling and is
+ineligible for selection. Neutral warmup must leave maximum predictor error at
+most `1e-5`; all warmup and online scalar observations are reported.
+
+For each rate and task seed, run four paired conditions on identical context,
+noise, perturbations, and evaluation trajectories:
+
+1. intact learned-role temporal-difference innovation;
+2. fixed random vectorizer;
+3. plasticity lesion with role learning intact; and
+4. an exact-role diagnostic oracle.
+
+Every one of the three task seeds must pass every requirement:
+
+- early-to-late success gain at least 10 points and final development success
+  at least 70%;
+- final success at least 20 points above fixed vectorizer and no more than 10
+  points below the exact-role oracle;
+- causal-role sign-inversion index at least `0.01` and absolute CV correlation
+  advantage of performance velocity over error magnitude at least `0.05`;
+- mean absolute innovation-soma correlation at most `0.10`, with raw minus
+  innovation correlation at least `0.20`;
+- the plasticity lesion retains at most half the intact learning gain; and
+- learned role cosine at least `0.80`, with all trajectories and audited values
+  finite.
+
+Select the eligible rate with the largest worst-task final success, breaking a
+tie by the smaller rate. If neither rate is eligible, the recovery closes and
+no confirmation is run. R1 is development evidence and cannot change the
+reviewer score. A sign that is positive merely because `delta_t` was inserted
+is therefore insufficient: it must coexist with actual learning, vectorizer
+necessity, innovation identification, and a causal plasticity lesion.
+
+The executable runner, complete-grid analyzer, and shell entry point are
+`experiments/bci_td_run.py`, `experiments/analyze_bci_td_development.py`, and
+`experiments/bci_td_development_screen.sh`. None may run before D4 closes.