Date: Jun 12, 2026. What this is: the mid-chain user gate of CHAIN_13 (chain file). Five offline diagnostics ran against the 8 Phase 00 npz, each against bars recorded in tasks/chain13_criteria.md BEFORE any data. No full-helix lever run happens until you release it. Adversarially audited (6 verifier agents, one per section, Phase-00-verdict precedent): zero numerical errors; every rule application verified verbatim; one OVERREACH (the existence proof hardened into a universal) and four precision findings — all incorporated into this text.
The study’s levers came in expecting the schedule to be the villain. The diagnostics split the verdict by arm:
| task | verdict | bar (pre-registered) | record |
|---|---|---|---|
| D1 H3 closure | H3 OPEN (2/8) | reach δ ≥ +0.5 on ≥ 6/8 | chain13_h3_closure.md, cf0c0fd |
| D2 attribution | L4 rule NO-GO (0/5), filtering rule not fired (0/8), L3 rule GO | criteria §D2 rules verbatim | chain13_attribution.md, 7f988bd |
| D3 schedule-κ oracle | calibration gate FAIL 3/8 (6-DOF 3×PASS 5/5; 7-DOF 5×fail 0/5); stage (b) NOT citable | ≥ 7/8 runs with ≥ 80% of top-5 peaks within ±0.02 phase | chain13_schedule_oracle.md, 74b6f13 |
| D4 thresholds | PASS (0.025 reproduced; Γ-floor misfit’s fix gated on D2 → stands) | criteria §D4 | threshold_derivation.md, d2194c1 |
| D5 H_norm | KEEP (6/8, r3 at the bar exactly — zero margin recorded) | δ |
Supporting findings recorded outside the registered rules (observations, not verdicts): the 6-DOF crosses the 0.005 hard floor 11,891× on the nominal run (live chattering — the Holt & Desrochers regime; strengthens R’s case); r0’s cruise error is clean velocity lag (τ = 0.080 s, 5% residual) while r1’s is V-shaped in speed (36% residual) — L1’s premise is solid on the 6-DOF and insufficient on the 7-DOF; at the 7-DOF nominal’s peaks NO single geometric factor discriminates (reach −0.44 from D1; elbow −0.04 and wrist −0.16 from the committed CHAIN_10 tables, chain10_offline_tables.md §r1_7dof_path — same extractor, same windows) — a 6-DOF det-factorization probe is the wrong instrument for a 6×7 map.
The oracle’s first calibration run failed 0/8 with a constant 0.21 m
tracking offset — an instrument bug (the feedforward demanded the goal’s
WORLD rate while the COM transport already carries the EE; a P-servo on
the unmodeled ~0.85 m/s leaves exactly 0.85/4 m). Fixed to the
transport-relative rate; a per-rollout tracking-error witness column was
added so the instrument’s tracking quality is inspectable next to its σ
predictions (engagement-witness rule; report-only — no coded threshold
gates on it). The pre-registered BAR was not touched. Probe scripts
(validation/_oracle_probe*.py, untracked) are deletable
debris.
| lever | rule | outcome |
|---|---|---|
| S re-timing (r1) | GO iff D3(a) passes and (b) certifies ≥ 1 point | NO-GO — gate failed 3/8; nothing citable (the mechanism reading lives in the synthesis section, not in this rule cell) |
| R reach corridor (r0) | GO unconditionally (tests the declared geometric residual) | GO — and now mechanism-backed: the oracle confirms r0’s bands are demand-geometric |
| L1 velocity-lag FF (both) | GO unconditionally (AMENDMENT 1); D2 fixes the evaluation | GO — evaluate on event windows AND cruise; expect the lag term to vanish on r0 (τ = 0.080 s) and NOT to close r1’s gate alone |
| L2 σ-gradient null pull (r1) | GO iff D1 confirms H3 | NO-GO as registered — but see open question 2: D3 re-motivates the posture axis under a different premise |
| L4 thaw smoothing (r1) | GO iff D2’s switch rule fires | NO-GO (0/5; instrument caveat recorded: thaws sit at window exits, the mask under-counts them) |
| L3 pointing retune (r0) | GO iff D2’s broadband rule fires on r0 | GO (r0’s in-window ze mass ≈ 0% of total) |
| directional filtering | record iff D2’s damping rule fires | not fired — not pursued |
Block 2 as adjudicated: r0 → R, L1, L3. r1 → L1 only. Each its own full-helix A/B with knob-OFF byte-identity (5 validators diff=0) and ±2% probes, per protocol.
certify() narrows candidate centers to radius_scale = 0.55
only (the registered grid is wider), and the per-run calibration bar
silently adapts if a run has fewer than 5 peaks.§4.1’s “schedule layer = strongest leverage” survives only for the 6-DOF (geometric demand). For the 7-DOF, §4.2’s architecture layer (who carries the task / what the spare DOF does) is the live axis — but through route steering rather than the registered σ-gradient form. §4.3’s inversion-layer audit came back clean at the peaks (the stack is acquitted in-window); its remaining standing issue is the 83° thaw jump, which lives at window EXITS. CHAIN_10’s SEED verdict is refined: the schedule re-routes the arm’s configuration-space path, it does not move walls. Precisely stated (the audited form): no wall is FORCED by the demanded task path — at least one rate-feasible joint-space route (the oracle’s damped-inverse policy, kinematics-only, base exactly on guidance) tracks the same demand at every flown speed with σ₆ ≥ 0.05 throughout; the live v_n = 0 + freeze policy routes through walls on that same demand, avoidably.
regen: each linked report carries its own regen line; this verdict is curated by hand.