Skip to content

fix(abi): real jk_* FFI, ABI typechecks under Idris2 0.8.0, gates and claims ledger (JNK-01, C of 3) - #151

Merged
hyperpolymath merged 8 commits into
proofs/reversibility-gradefrom
claude/new-session-lwzjw0
Oct 13, 2026
Merged

fix(abi): real jk_* FFI, ABI typechecks under Idris2 0.8.0, gates and claims ledger (JNK-01, C of 3)#151
hyperpolymath merged 8 commits into
proofs/reversibility-gradefrom
claude/new-session-lwzjw0

Merge branch 'proofs/reversibility-grade' into claude/new-session-lwzjw0

5712a6c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar