q63: forge/verify_append_only_audit_dry_refactor -- record in-file that no gate invokes it (one-off)
This commit is contained in:
1 parent
404445c68b
commit
e37c584c86
1 file changed
+3
@@ -1,4 +1,7 @@
|
||||
#!/usr/bin/env python3
|
||||
# Q63 (2026-10-24): no committed gate invokes this file -- `git grep -F -n verify_append_only_audit_dry_refactor.py HEAD
|
||||
# -- '*.py' '*.sh' CHECK` matches nothing outside this file -- so it is a one-off
|
||||
# artifact, run by hand against its subject, not a standing check.
|
||||
"""verify_append_only_audit_dry_refactor.py
|
||||
|
||||
Equivalence proof for the DRY collapse in tools/append_only_audit.py
|
||||
|
||||
Reference in new issue
Block a user