From 0ccb8ff9ea6686ca8b0adf3ec552408b4b07ad6b Mon Sep 17 00:00:00 2001 From: YurenHao0426 Date: Wed, 22 Jul 2026 20:24:31 -0500 Subject: audit: bind oral B recovery to D4 gate --- ORAL_B_RECOVERY.md | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'ORAL_B_RECOVERY.md') diff --git a/ORAL_B_RECOVERY.md b/ORAL_B_RECOVERY.md index 2d9e8bf..7ab6785 100644 --- a/ORAL_B_RECOVERY.md +++ b/ORAL_B_RECOVERY.md @@ -80,6 +80,11 @@ 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. +The runner additionally requires the passed D4 gate itself to be tracked and +the worktree to be clean. Every R1 record binds both the frozen protocol and +that exact D4 gate by SHA-256; the complete-grid analyzer rejects any digest +drift. This is an audit-only constraint and does not alter the frozen rates, +seeds, conditions, metrics, or thresholds. For each rate and task seed, run four paired conditions on identical context, noise, perturbations, and evaluation trajectories: -- cgit v1.2.3