Repository navigation

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

Closed

johnml1135 wants to merge 113 commits into

fix/signature-drops-id-under-identity-rulefrom

integrate-conformance-framework

Closed

Add a conformance suite for HermitCrab, with its adequacy argument#480
johnml1135 wants to merge 113 commits into
fix/signature-drops-id-under-identity-rulefrom
integrate-conformance-framework

Commits on Oct 29, 2026
- Add a conformance suite for HermitCrab, with its adequacy argument
  
  johnml1135
  and
  claude
  committed
  05de2a3
- fix(hc): retain template trace failure reason
  johnml1135
  committed
  a8d403d
- Add narrowing-rule unapplication regression fixtures to the conformance suite
  
  johnml1135
  and
  claude
  committed
  721a770
- Leave the engine trace unchanged in the conformance suite
  
  johnml1135
  and
  claude
  committed
  51c9e51
- Fail the conformance coverage report on dead rules and gaps
  
  johnml1135
  and
  claude
  committed
  ddc479a
- Keep the main CI build unchanged by the conformance suite
  
  johnml1135
  and
  claude
  committed
  5e8d5c5
- Record that #494 fixed the chained output-feature parse loss
  
  johnml1135
  and
  claude
  committed
  a0c49b3
- Make local_check.sh run the conformance gates that can pass
  
  johnml1135
  and
  claude
  committed
  29d29c0
- Read mutant outcomes as UTF-8 in the counterfactual sweep
  
  johnml1135
  and
  claude
  committed
  afa6979
- Regenerate the conformance ledgers with mutant outcomes read as UTF-8
  
  johnml1135
  and
  claude
  committed
  c5baecc
- Cover #529's isCliticRule in the conformance suite
  
  johnml1135
  and
  claude
  committed
  a4a7bd0
- Cap counterfactual mutant children at a 2 GB GC heap
  
  johnml1135
  and
  claude
  committed
  df491fd
- Add a conformance fixture for #522's AnalysisMergeKey final-template-state loss
  
  johnml1135
  and
  claude
  committed
  188521f
- Add a morpher: settings channel to words.yaml, and a DelReapps fixture observed from the oracle
  
  johnml1135
  and
  claude
  committed
  b08a816
- Apply CSharpier to the morpher: settings change
  
  johnml1135
  and
  claude
  committed
  4e2f4ab
- Tag deletion-reapplications' exercised construct and regenerate coverage and manifest
  
  johnml1135
  and
  claude
  committed
  5abc18a
- Replay named parser settings variants with complete oracle expectations
  johnml1135
  committed
  c4e1ffc
- Tighten the conformance runner's crash and timeout handling
  
  johnml1135
  and
  claude
  committed
  cdcd1bc
- Reject malformed fixture inputs instead of misreading them
  
  johnml1135
  and
  claude
  committed
  33a219a
- Keep counterfactual verdicts honest about timeouts and load failures
  
  johnml1135
  and
  claude
  committed
  0ecd0d4
- Clean up batch, tool and test duplication
  
  johnml1135
  and
  claude
  committed
  1082438
- Wrap and de-point the new runner and gate comments
  
  johnml1135
  and
  claude
  committed
  77f2d38
- Format the merged runner
  
  johnml1135
  and
  claude
  committed
  a7c6148
- Expect kanmo to trace only mrSfxMo
  
  johnml1135
  and
  claude
  committed
  be07f8d
- Drop the conformance memoization switch and parse each word once
  
  johnml1135
  and
  claude
  committed
  868792e
- Cover the runner timeout, batch resume and checklist gate fixes
  
  johnml1135
  and
  claude
  committed
  be5906d
- Count only a refused grammar as load-failure evidence
  
  johnml1135
  and
  claude
  committed
  04845ef
- Regenerate the semantic-coverage ledgers under the exit-code contract
  
  johnml1135
  and
  claude
  committed
  e0d3039
- Pick the expect-crash control from fixtures the run would execute
  
  johnml1135
  and
  claude
  committed
  79cd438
- Delete the stale PR #494 review notes
  
  johnml1135
  and
  claude
  committed
  c9d2743
- Reject an invalid batch --start with a message
  
  johnml1135
  and
  claude
  committed
  194dca9
- Propose expect_skip for a word the oracle skipped
  
  johnml1135
  and
  claude
  committed
  0175d22
- Write the mutant child's word list to the temp directory
  
  johnml1135
  and
  claude
  committed
  b04c045
- Shorten the expect-crash control comment to the comment budget
  
  johnml1135
  and
  claude
  committed
  64bff9a
- Graduate shared PanGloss fixtures and preserve ambiguous rule traces
  johnml1135
  committed
  52bdc14
- Check blocked_by labels against grammar rule ids; categorize ledger freshness tests
  
  johnml1135
  and
  claude
  committed
  2943a7c
- Wrap an over-long doc comment line
  
  johnml1135
  and
  claude
  committed
  f3f8780
- Format four files that csharpier check rejects at the branch base
  
  johnml1135
  and
  claude
  committed
  09a2ee5
- Add braces the IDE0011 build rule requires in CoverageGapRatchetTests
  
  johnml1135
  and
  claude
  committed
  cc65caa
- Add a conformance fixture showing a partial lexical entry cannot rescue a pruned final-template derivation
  
  johnml1135
  and
  claude
  committed
  68646e0
- Update the pinned ledger counts for the regenerated conformance ledgers
  
  johnml1135
  and
  claude
  committed
  7460927
- Add complete truncation identity derivations to conformance fixtures
  johnml1135
  committed
  4521033
- Add shared truncation identity companions
  johnml1135
  committed
  c9839d7
- Label rule-trace mismatch as declared N, traced M (F29)
  
  johnml1135
  and
  claude
  committed
  1085e34
- Drop undefined silent16 comment from corroboration pins (F30)
  
  johnml1135
  and
  claude
  committed
  dbcbd39
- State what each ledger pin measures, not corpus history (F31)
  
  johnml1135
  and
  claude
  committed
  ba91331
- Remove review-round SHA from truncate-morphotactic comment (F33)
  
  johnml1135
  and
  claude
  committed
  2904a71
- Describe rule-order measurement as a recorded run, not scratch commands (F34)
  
  johnml1135
  and
  claude
  committed
  6932cd6
- Regenerate conformance manifest after the truncate-morphotactic words.yaml comment edit (F33)
  
  johnml1135
  and
  claude
  committed
  81a06d6
- Add five conformance fixtures pinning clitic designation and final-template gates
  
  johnml1135
  and
  claude
  committed
  03d1af2
- Evidence NonPartialRuleProhibitedAfterFinalTemplate by severing isCliticRule
  
  johnml1135
  and
  claude
  committed
  4b4c99e
- Regenerate the conformance ledgers, manifest and pinned counts for the five clitic fixtures
  
  johnml1135
  and
  claude
  committed
  d5672d7
- Shorten the gate-inventory isCliticRule comment to the comment budget
  
  johnml1135
  and
  claude
  committed
  4270648
- Regenerate the deep-optional-affix-nesting FieldWorks witness with prefix slots in HCLoader order
  
  johnml1135
  and
  claude
  committed
  7050d24
- Compare bracketed shape classes as sets in the conformance runner
  
  johnml1135
  and
  claude
  committed
  d5ac779
- Refresh engine gate inventory after synthesis filtering
  johnml1135
  committed
  a985dbe
- Classify allomorph applicability in conformance ledgers
  johnml1135
  committed
  cf84539
Commits on Oct 30, 2026
- Add PanGloss conformance fixtures
  
  johnml1135
  and
  claude
  committed
  9b2ff58
Commits on Oct 31, 2026
- conformance: add rewrite-default-full-set (PanGloss#85, C#-verified)
  
  johnml1135
  and
  claude
  committed
  bdd369f
- conformance: add ad hoc prohibition copy fixtures (PanGloss#99, #100; C#-verified)
  
  johnml1135
  and
  claude
  committed
  49bbe7f
- conformance: align semantic coverage evidence with the ad hoc fixtures
  
  johnml1135
  and
  claude
  committed
  9fd3f8a
- Pin FLEx null affix environments in conformance
  johnml1135
  committed
  8b53838
- Record null affix fixture coverage evidence
  johnml1135
  committed
  208f012
- Refresh interaction counts for null affix probe
  johnml1135
  committed
  f459717
Commits on Nov 1, 2026
Commits on Nov 2, 2026

Commits

Commits on Oct 29, 2026

Commits on Oct 30, 2026

Commits on Oct 31, 2026

Commits on Nov 1, 2026

Commits on Nov 2, 2026