Discussion and complete mathematical release

The causal graph supplies a conservative influence envelope. The storage cut supplies a capacity object only after persistent systems, joint correlations, and future access have been specified. Freshness makes the late query a genuinely unavailable encoding input.

Enter-compatible programs make resource use explicit, but typing is not a hardware audit. The encoding uses one retained qubit. Its storage and carrier-preserving readout can use additional fresh ancillas, whose peak occupancy is separately stated. Records are complete outcomes, not free memory.