Repository navigation

Add a conformance suite for HermitCrab, with its adequacy argument - #480

Open

johnml1135 wants to merge 49 commits into

masterfrom

integrate-conformance-framework

Open

Add a conformance suite for HermitCrab, with its adequacy argument#480
johnml1135 wants to merge 49 commits into
masterfrom
integrate-conformance-framework

Commits on Oct 26, 2026
- Add a conformance suite for HermitCrab, with its adequacy argument
  
  johnml1135
  and
  claude
  committed
  ea30ae6
- fix(hc): retain template trace failure reason
  johnml1135
  committed
  6975a1b
- Add narrowing-rule unapplication regression fixtures to the conformance suite
  
  johnml1135
  and
  claude
  committed
  eb27242
- Leave the engine trace unchanged in the conformance suite
  
  johnml1135
  and
  claude
  committed
  f475358
- Fail the conformance coverage report on dead rules and gaps
  
  johnml1135
  and
  claude
  committed
  f15d2db
- Keep the main CI build unchanged by the conformance suite
  
  johnml1135
  and
  claude
  committed
  5292cf0
- Record that #494 fixed the chained output-feature parse loss
  
  johnml1135
  and
  claude
  committed
  3c7f018
- Make local_check.sh run the conformance gates that can pass
  
  johnml1135
  and
  claude
  committed
  c942305
- Read mutant outcomes as UTF-8 in the counterfactual sweep
  
  johnml1135
  and
  claude
  committed
  9d154e4
- Regenerate the conformance ledgers with mutant outcomes read as UTF-8
  
  johnml1135
  and
  claude
  committed
  53b7d33
- Cover #529's isCliticRule in the conformance suite
  
  johnml1135
  and
  claude
  committed
  d83e09d
- Cap counterfactual mutant children at a 2 GB GC heap
  
  johnml1135
  and
  claude
  committed
  458f385
- Add a conformance fixture for #522's AnalysisMergeKey final-template-state loss
  
  johnml1135
  and
  claude
  committed
  6b91438
- Add a morpher: settings channel to words.yaml, and a DelReapps fixture observed from the oracle
  
  johnml1135
  and
  claude
  committed
  e0692cc
- Apply CSharpier to the morpher: settings change
  
  johnml1135
  and
  claude
  committed
  48d8770
- Tag deletion-reapplications' exercised construct and regenerate coverage and manifest
  
  johnml1135
  and
  claude
  committed
  5ad964d
- Replay named parser settings variants with complete oracle expectations
  johnml1135
  committed
  f43ef89
- Tighten the conformance runner's crash and timeout handling
  
  johnml1135
  and
  claude
  committed
  1ea5674
- Reject malformed fixture inputs instead of misreading them
  
  johnml1135
  and
  claude
  committed
  a2312dc
- Keep counterfactual verdicts honest about timeouts and load failures
  
  johnml1135
  and
  claude
  committed
  5fc425b
- Clean up batch, tool and test duplication
  
  johnml1135
  and
  claude
  committed
  7a73526
- Wrap and de-point the new runner and gate comments
  
  johnml1135
  and
  claude
  committed
  1a21869
- Format the merged runner
  
  johnml1135
  and
  claude
  committed
  afe41fa
- Expect kanmo to trace only mrSfxMo
  
  johnml1135
  and
  claude
  committed
  354da31
- Drop the conformance memoization switch and parse each word once
  
  johnml1135
  and
  claude
  committed
  ba7d106
- Cover the runner timeout, batch resume and checklist gate fixes
  
  johnml1135
  and
  claude
  committed
  c000ab3
- Count only a refused grammar as load-failure evidence
  
  johnml1135
  and
  claude
  committed
  ee19ef9
- Regenerate the semantic-coverage ledgers under the exit-code contract
  
  johnml1135
  and
  claude
  committed
  68984a0
- Pick the expect-crash control from fixtures the run would execute
  
  johnml1135
  and
  claude
  committed
  dac6cac
- Delete the stale PR #494 review notes
  
  johnml1135
  and
  claude
  committed
  8c046d4
- Reject an invalid batch --start with a message
  
  johnml1135
  and
  claude
  committed
  5c26eae
- Propose expect_skip for a word the oracle skipped
  
  johnml1135
  and
  claude
  committed
  1e3350c
- Write the mutant child's word list to the temp directory
  
  johnml1135
  and
  claude
  committed
  f3a84fb
- Shorten the expect-crash control comment to the comment budget
  
  johnml1135
  and
  claude
  committed
  65e1b2e
- Graduate shared PanGloss fixtures and preserve ambiguous rule traces
  johnml1135
  committed
  dda2848
- Check blocked_by labels against grammar rule ids; categorize ledger freshness tests
  
  johnml1135
  and
  claude
  committed
  8458283
- Wrap an over-long doc comment line
  
  johnml1135
  and
  claude
  committed
  0acdd8b
- Format four files that csharpier check rejects at the branch base
  
  johnml1135
  and
  claude
  committed
  917ae86
- Add braces the IDE0011 build rule requires in CoverageGapRatchetTests
  
  johnml1135
  and
  claude
  committed
  d60bf0a
- Add a conformance fixture showing a partial lexical entry cannot rescue a pruned final-template derivation
  
  johnml1135
  and
  claude
  committed
  292e66a
- Update the pinned ledger counts for the regenerated conformance ledgers
  
  johnml1135
  and
  claude
  committed
  a83102e
- Add complete truncation identity derivations to conformance fixtures
  johnml1135
  committed
  62ac6e0
- Add shared truncation identity companions
  johnml1135
  committed
  0fcc9cc
- Label rule-trace mismatch as declared N, traced M (F29)
  
  johnml1135
  and
  claude
  committed
  bb42ff4
- Drop undefined silent16 comment from corroboration pins (F30)
  
  johnml1135
  and
  claude
  committed
  f592706
- State what each ledger pin measures, not corpus history (F31)
  
  johnml1135
  and
  claude
  committed
  6c6fbb3
- Remove review-round SHA from truncate-morphotactic comment (F33)
  
  johnml1135
  and
  claude
  committed
  b9c7c8a
- Describe rule-order measurement as a recorded run, not scratch commands (F34)
  
  johnml1135
  and
  claude
  committed
  382168a
- Regenerate conformance manifest after the truncate-morphotactic words.yaml comment edit (F33)
  
  johnml1135
  and
  claude
  committed
  ed5cf05

Commits

Commits on Oct 26, 2026