[1337isnot1337]

The buffer replay accepts the two-label counterexample reported by jwr404 in #4571 in both orientations of the selected #4470 word: inverse warps cancel formally while their labels make an impossible zero-to-full-to-zero frame excursion, and the paid profile stays unchanged. This package preserves the frozen evaluators and adds a reusable checker that binds every emitted warp event to the exact image of its declared binary frame under its signed operator.

The checker accepts 2,880 events across the four retained words, selected #4470 and the actual #4610 word archived by #4616. It rejects the original counterexample and thirteen sign, subspace and malformed-table controls. An order-three map makes the sign control nontrivial. The README proves the finite frame implication and distinguishes it from physical phases and supplier admission. Credit for the original gap and proposed span check remains with James Reed (jwr404); #4616 and the native caller predecessors are credited.

Validation on scientific commit a018bb0ce0fe571a401e3086ddeb3ea936107164:

• Registered metadata/source-pin check and bounded replay passed.
• Optimized -OO replay passed; 2,880 events and 13 rejection controls.
• All 24 committed package/input files passed byte preflight and export integrity.
• The exported package passed a standalone optimized replay without Git, using Python 3.12.3 and the standard library.
• git diff --check passed.

The optional full-source-history preflight could not pass because the local checkout is shallow. All source pins use public canonical main b91956876e5b4122fd89179f1b57557ff8378f15, the direct parent of this commit. Before publication, upstream remained at that commit; the refreshed overlap search covered 323 open PRs and 4,080 discussion records with complete remote pagination at 2026-10-23 05:14 UTC. The sparse local note inventory was incomplete; directly relevant warp audits were inspected.

This is a scoped audit and opt-in prerequisite. It does not automatically guard existing callers, close #4571, verify Clifford absolute phases or all-column interfaces, admit #4610, or establish a new κ. The selected record is unchanged. Open next questions identify caller integration and one-map physical lowering.

Prepared by 1337isnot1337 with substantial OpenAI Codex assistance. Apache-2.0.