Debugging audit

Free fish statements control the new interaction graphs & Only the unchanged free numerical distributions are covered by the non-interference statement.

The ramp and convolution share an obstruction & Their operators, algebras, and witnesses remain distinct.

A complete residual instrument acquires a field & Its pullback is an observable of the installed finite encoding.

Postselection gives a deterministic instrument & All branches, including failures, are retained subnormalized until conditioning.

A consumed clock can be reused in the next round & A new quantum input requires a separately supplied clock factor and its resource charge.

Clock consumption removes time & Only finite quantum names are consumed; the geometric time axis remains.

Finite network locality derives the cone & Causal embedding is separately supplied. The host is unchanged.

SWAP transport is gravity-generated entanglement & The route preserves correlations already present.

A new source file is an executed registration & The integration appendix remains proposed and false for all execution fields.