Repository navigation

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

Open

johnml1135 wants to merge 2 commits into

integrate-conformance-framework

Commits on Sep 30, 2026
- Add a conformance suite for HermitCrab, with its adequacy argument
  
  johnml1135
  and
  claude
  committed
  d8ff628
- fix(hc): retain template trace failure reason
  johnml1135
  committed
  18cf242