Promoting the checked storage pattern to a theorem

Exact statement

Promoting the checked storage pattern to a theorem. the exact checker returns $S(N)=3N^2-2$ only for $N=2,4,8,16,32$ . The induction currently proves only $S(N)\le3N^2$ .

Statusrejected pending an analytic solution.

External reviewNo documented external or specialist review of the FPRD synthesis is recorded.

Context

The research record preserves failed approaches when they expose a model boundary, an invalid transfer, or an unsupported strengthening.

Proof or evidence

the exact checker returns $S(N)=3N^2-2$ only for $N=2,4,8,16,32$ . The induction currently proves only $S(N)\le3N^2$ .

Rejected transfers and surviving boundaries →

Verification notes

The failure status and preserved lesson are recorded in the cumulative failure ledger.

Limitations

preserve $3N^2-2$ as a finite-supported conjecture and do not let it displace the higher-value degeneration campaign.

Open work

Keep this exclusion attached to any future reuse of the corresponding construction.