4201 — The Frozen Deletion Weights Are Not a Positive Instrument
Record
Original record date: 2026-08-24. Recovered on 2026-10-03 from the admitted graph proposal. Its old locator was src/ledger/20260824-2202 The Frozen Deletion Weights Are Not a Positive Instrument.md; that number is already used by the distinct entry “Reference Partial Trace Makes D(S3) Monodromy Independent of the Target State.” The fresh sequence claim is seqclaim-ac19de20cebfacbae0332de2 (new number 4201).
The graph event records marici.Benincasa as actor; this is a claimed attribution, not authenticated identity.
Claim
The eight frozen weights include four negative coefficients, so the deletion augmentation is a signed readout rather than an ordinary positive instrument.
Evidence
Graph entity mariciledger_entry:50ccfd030c7f8a85eece; proposal ep_55663f4d-6f6e-4882-85c0-b67cb17d500d; event ev-000000003094-428147a4-96bc-43e4-a972-78172b4a7c96.
Boundary
Only the concise body stored in the graph proposal was recoverable. The original full Markdown, derivation, citations, and checker record were unavailable; this page preserves the proposal summary and does not claim more.
Consequence
The summary now has a non-colliding ledger number. The old graph entity and the existing entry 2202 remain unchanged.