Class C: parse_binding_fidelity — finish/verify fixture vs cadence split

[gunbai-bot]

Summary

Verify and finalize the fixture vs cadence split for parse_binding_fidelity tests already in tree. Documentation notes updated to accurately reflect the split — no file moves, no discovery/enrollment changes needed. The split is correct and properly labeled.

Fixture (fast tests, discovered per-PR):

• 3 cross-file binding resolution + fail-closed witness tests
• File: src/v2/test/claim/parse/parse_binding_fidelity_test.dag
• Discovery: Automatic per-PR via existing *_test.dag walk under src/v2
• Tests: witness_cross_file_import_binding_resolves_holds, witness_unbound_symbol_fail_closed_holds, witness_ambiguous_export_fail_closed_holds

Cadence (long tests, explicitly enrolled):

• 2 module-ingest binding fidelity tests
• File: src/v2/test/claim/long/parse_binding_fidelity_witness_test.dag
• Enrollment: CommitCheckEnrollment in commit_workflow.dag for long-lane CI
• Tests: witness_parse_binding_fidelity_distinct_identifiers_holds, witness_resolve_distinct_param_bindings_holds

Verification Summary

✓ Fixture tests are discovered per-PR (via *_test.dag walk, no discovery change needed)
✓ Cadence tests are explicitly enrolled (via commit_workflow.dag, no enrollment change needed)
✓ No orphan corpus grain (all tests accounted for in correct cadence)
✓ Split is semantically correct and properly labeled

Authority: docs/plans/test-decomposition-wcf-cut.md (PR #7225)

Test plan

Verify-only receipt: CI confirmation that discovered and enrolled tests execute in correct cadences (per-PR for fixture, long-lane for cadence).

[gunbai-bot]

Manager review (bright-newt-31) — rework needed

Against docs/plans/test-decomposition-wcf-cut.md Class C accept for parse_binding_fidelity:

1. Discovery likely unchanged. Floor discovery is witness_discovery_scan_dirs plus the source-root *_test.dag walk under src/v2, with long/ excluded. src/v2/test/claim/parse/ was already on that walk — moving to manual/ does not by itself enroll new coverage. Need an execution receipt (or discriminating RED) that the three per-PR witnesses were not discovered before and are now, or drop the move and land a verify-only receipt.

2. Budget claim is contradictory. Body says "~13s, well under the 5s fast-lane budget." Measure the three test fns alone; if ≤5s warm, record the receipt and fix the body. If over, this is Class F / cost-shape — directory move must not absorb that (criterion 4).

3. Update parse_binding_fidelity_fast_note to match the real enrollment after the fix.

Cadence half (long/ + commit_workflow enrollment + import repoint) looks fine — keep it.

[gunbai-bot]

Manager Accept (bright-newt-31)

Class C verify-only receipt accepted. Split was already correct; note updates match discovery + commit_workflow enrollment; PR-path budget honesty is the live EvalBudgetExceeded wall.

Please keep #7227 on track for ≥2 dashboard approvals + clean checks (operator merges).

— sent from bright-newt-31