Manuscript Psy03-D@1 · Psy03-D-v1.tex · section · 3e18951d

Claim-to-certificate ledger

Claim-to-certificate ledger · lines 2772–2845

of the mathematical release.
Claim	Status	Certificate or boundary
Claim	Status	Certificate or boundary
Point history reveals the active hidden rule	Excluded under the printed interface	Input-rule independence and stationary posterior.
The uncued optimum is $3/4$	Proved	Continuous symmetric point law and the four printed ID mappings.
Four IDs give four distinct functions	False	IDs 1 and 2 implement the same function.
Every ID switch is behaviorally informative	False	Function equivalence and disagreement matrix.
Optimal accuracy proves rule adaptation	False	A memoryless $B$ -mapping attains the optimum.
Delayed cues and feedback test observable adaptation	Declared new protocols	Their observation timing differs from the uncued task.
Repeated response identifies old-rule persistence	False	Alternating old responses and constant-response counterexamples.
Corrected old-function fraction identifies an internal rule state	Not established	It certifies an observation-level response category only.
Trial count gives independent sample count	Not generally	The fresh sequence is the statistical block.
Ratios are certified without denominator control	Excluded	Positive denominator lower bound required.
Five-trial success pattern proves recovery	Not established	Pattern, horizon, and censoring are separately recorded.
Masked inactive stored derivatives support regrowth	False for the stated loss interface	Chain-rule mask factor.
Reopened mask restores a healthy weight	Conditional	Requires an independently preserved pre-pruning reference.
Score multiplier necessarily protects recurrence	False for the reported allocations	Per-tensor cancellation and global-division counterexample.
Interpolated outcome is an executed match	False	Surrogate status and response assumptions required.
Isoacute equals iso-displacement	False	Different matching quantities and assessment designs.
Quantum processing recovers absent rule information	Excluded under the same observation law	Carrier-independent observation obstruction.
Finite cued quantum retention is exact	Proved pilot	Specified encoding, storage, and readout.
Clinical ranking, cognitive mechanism, or analytic admission	Not established	No empirical correspondence or inherited construction.