Skip to content

fix: PWL-01 follow-ups — WithinMaximum bounds the initial allocation; gate exits if cd fails - #275

Merged
hyperpolymath merged 3 commits into
mainfrom
claude/new-session-ywdrth
Oct 14, 2026
Merged

fix: PWL-01 follow-ups — WithinMaximum bounds the initial allocation; gate exits if cd fails#275
hyperpolymath merged 3 commits into
mainfrom
claude/new-session-ywdrth

fix(ci): kernel-proofs fetches Idris2 by commit, not by its v0.8.0 tag

292f109
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar