Papanokechi

Enrollment is not coverage: integrity gates, their measured detection rates, and the limits of self-checking documentation

This is an experience report with n = 1, self-reported: the same author wrote the documents, the gates that check them, and this account of what the gates found, and no independent party re-ran anything. Every structural failure it describes was found by the apparatus catching it...