The Audit Invariant: Whether You Checked Is Decidable
Your agents wrote to production last night, and this morning you cannot say where the work landed. Whether it was good is undecidable — Rice, 1953. Whether you checked is decidable, and it is the only question about an autonomous system a court and an underwriter both reach for first. Eight rooms, one bottle, and a date a stranger can read.










