From aa6b5e4b6b35a65042dd2405a822463124dfd747 Mon Sep 17 00:00:00 2001 From: spark Date: Sat, 24 Oct 2026 18:26:48 +0000 Subject: [PATCH] q63: forge/verify_path_claim_apply_baseline_refactor -- record in-file that no gate invokes it (one-off) --- wizard-work/forge/verify_path_claim_apply_baseline_refactor.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/wizard-work/forge/verify_path_claim_apply_baseline_refactor.py b/wizard-work/forge/verify_path_claim_apply_baseline_refactor.py index a193826..999da72 100644 --- a/wizard-work/forge/verify_path_claim_apply_baseline_refactor.py +++ b/wizard-work/forge/verify_path_claim_apply_baseline_refactor.py @@ -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`