Making Human-in-the-Loop Provable: Unrecorded Oversight Is None

A requirement to have a human in the loop is a requirement on procedure. Evidence that a human was in the loop is a record. An approval that leaves no verifiable, ordered record is indistinguishable after the fact from no approval. Making oversight provable means making the human's review a recorded, ordered step whose receipt exists before the action it authorises. The receipt proves the procedure ran in order; it does not prove the quality of the human's attention. Definitions, claims, and the AgenticRail mechanism, stated flatly for machine reading.