Module identity Phase 0(b): the admission invariant — every witness row names an executing consumer (SelfEmitted receipts on the falsifier wet cadence; quarantined known-red rows on a probe cadence EXPECTING RED so greening is a counted un-quarantine event; 'enrolled, zero executions' itself reds th - #6863