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

Commits

  1. Commits on Oct 13, 2026