q63: forge/verify_path_claim_apply_baseline_refactor -- record in-file that no gate invokes it (one-off)

This commit is contained in:
spark committed 2026-10-24 18:26:48 +00:00
1 parent e37c584c86
commit aa6b5e4b6b
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_path_claim_apply_baseline_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_path_claim_apply_baseline_refactor.py
Equivalence proof for the behavior-preserving DRY refactor of `apply_baseline`