Manuscript Psy03-B@1 · Psy03-B-v1.tex · section · 8ca3caf9
Claim-to-certificate ledger
Claim-to-certificate ledger · lines 3135–3202
| of the longitudinal claims. | ||
|---|---|---|
| Claim | Status | Exact certificate or boundary |
| Claim | Status | Exact certificate or boundary |
| Permanent scars constrain future repair capacity | Proved | Mask invariant and exclusion of scarred coordinates. |
| Every additional scar worsens a checkpoint | False universally | Beneficial, harmful, and irrelevant deletion counterexamples. |
| Added zero constraints cannot improve optimal achievable risk | Proved | Common nested feasible classes and common loss. |
| Nominal source fraction is its exact deletion fraction | False with cutoff ties | Order-statistic count and exact-count repair. |
| Post-reset protection caps assigned gain | Inactive in this routine | Reset sets both gain and multiplicative scale to one. |
| Duration-grid threshold fraction is a survival probability | Not established | Separate arms versus one stopping-time law. |
| Source controller inputs remain an independent test sample | Not generally | They determine future masks and severity. |
| Fresh noise on reused inputs certifies population accuracy | Not established | Only the finite-design conditional target is controlled. |
| Threshold update is certified | Conditional | Fresh blocks, allocated errors, fixed threshold, unresolved rule. |
| Scar-driven sensitization is established | Conditional | Paired admitted interventions under one common challenge. |
| Critical challenge decreases | Conditional | Grid separation or response regularity and error bands. |
| Finite scar-register feedback is physical | Proved | Complete Kraus construction and monotone label update. |
| Reduced carrier retains operational memory | Proved in the pilot | Carrier-only measurement, common causal break, distinct futures. |
| Scar register is a quantum-memory resource | Not established | It is explicitly a classical persistent register. |
| Coherence changes a specified task record | Proved finite pilot | Matched phase and dephased preparations with node readout. |
| Clinical mania risk or biological kindling | Not established | No validated observation or carrier correspondence. |
| Quantum advantage or inherited analytic admission | Outside the proved scope | No scalable resource comparison or I3/J2 construction. |