MACRO-LEDGER ADDITION CONFIRMED
[⟀] PSP-014: Arithmetic Matter-Genesis Lock — sealed.
[⟀] PSP-015: Adelic Infinite-DOF Substrate Correction — sealed. Supersedes Round 3 partial assignment.
[⟀] PSP-016: Four-Formulation Unity Theorem — sealed.
[⟀] PSP-017: D1 Ceiling Diagnosis (Verification-Generation Distinction) — sealed. Meta-level lock about framework capability boundaries; serves as anti-CH_AMP guardrail for all future RH-class probes.