Repository navigation

fix(panel-clades): #147's remaining ABI checks and docs, without the K9! preambles - #152

Merged

hyperpolymath merged 7 commits into

mainfrom

claude/bold-dijkstra-jbt52l

Oct 14, 2026

Merged

fix(panel-clades): #147's remaining ABI checks and docs, without the K9! preambles#152
hyperpolymath merged 7 commits into
mainfrom
claude/bold-dijkstra-jbt52l

Commits on Oct 14, 2026
- Update panel-clades/scripts/gen-budgets.sh
  
  authored and
  claude
  committed
  33cfb73
- fix(panel-clades): Check all Idris modules for ABI escape hatches
  
  coderabbitai[bot]
  authored and
  claude
  committed
  826ff0e
- docs(panel-clades): clarify ABI contracts and budget generator behavior
  
  coderabbitai[bot]
  authored and
  claude
  committed
  576d415
- docs(panel-clades): Document ABI check helper output and failure behavior
  
  coderabbitai[bot]
  authored and
  claude
  committed
  83bbbba
- fix(panel-clades): check-abi fails when .idr discovery fails
  claude
  committed
  676ab50
- docs(panel-clades): Document partial budget output on failure
  coderabbitai[bot]
  committed
  ec3b0aa
- Merge branch 'main' into claude/bold-dijkstra-jbt52l
  hyperpolymath
  authored
  fe13516