Five-healthy gate, clear-all reconciliation, Direct exit threshold observation, replay and failure propagation are proved in isolation. Production invocation is a no-op.