Repository navigation

Add conformance fixtures for the #504 and #507 evidence gaps - #543

Closed

johnml1135 wants to merge 11 commits into

integrate-conformance-frameworkfrom

conformance/correctness-evidence-504-507

Closed

Add conformance fixtures for the #504 and #507 evidence gaps#543
johnml1135 wants to merge 11 commits into
integrate-conformance-frameworkfrom
conformance/correctness-evidence-504-507

Commits on Oct 14, 2026
- Add a conformance suite for HermitCrab, with its adequacy argument
  
  johnml1135
  and
  claude
  committed
  d7089bb
- fix(hc): retain template trace failure reason
  johnml1135
  committed
  80ecd6c
- Add narrowing-rule unapplication regression fixtures to the conformance suite
  
  johnml1135
  and
  claude
  committed
  9b4bd98
- Leave the engine trace unchanged in the conformance suite
  
  johnml1135
  and
  claude
  committed
  6869b0e
- Fail the conformance coverage report on dead rules and gaps
  
  johnml1135
  and
  claude
  committed
  6109e4b
- Keep the main CI build unchanged by the conformance suite
  
  johnml1135
  and
  claude
  committed
  ffdfc34
- Record that #494 fixed the chained output-feature parse loss
  
  johnml1135
  and
  claude
  committed
  c1b567f
- Make local_check.sh run the conformance gates that can pass
  
  johnml1135
  and
  claude
  committed
  cc947db
Commits on Oct 15, 2026
- Read mutant outcomes as UTF-8 in the counterfactual sweep
  
  johnml1135
  and
  claude
  committed
  55294e2
- Regenerate the conformance ledgers with mutant outcomes read as UTF-8
  
  johnml1135
  and
  claude
  committed
  3a63132
- Add conformance fixtures for the #504 and #507 evidence gaps
  
  johnml1135
  and
  claude
  committed
  499e154