Track 2: FFI seam + cartridge contract + Idris2 CI + AffineScript host binding by hyperpolymath · Pull Request #23 · hyperpolymath/nextgen-language-evangeliser

docs(theory): add correspondence model — the engine that classifies, not translates

claude

committed

chore(standards): complete 6a2 manifest set + panic-attack gate + eNSAID config

claude

committed

Merge main (#19 spec + #20 hygiene) before identity re-point

claude

committed

docs(identity): re-point repo to the correspondence (classify-not-translate) engine

claude

committed

Merge main (#21 identity) before abstraction-model ABI

claude

committed

feat(abi): Idris2 ABI core — Concept/Form/Transition + six CorrespondenceKinds

claude

committed

Merge main (#22 ABI core) before Zig FFI seam

claude

committed

feat(ffi): Zig FFI seam — C-ABI mirror of the correspondence ABI

claude

committed

feat(cartridges): correspondence cartridge contract + validator (verified)

claude

committed

docs(verify): record ABI typecheck; make cartridge validator lockfile-safe

claude

committed

feat(ci+host): Idris2 ABI typecheck CI + AffineScript host binding

claude

committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Track 2: FFI seam + cartridge contract + Idris2 CI + AffineScript host binding#23

Track 2: FFI seam + cartridge contract + Idris2 CI + AffineScript host binding#23
hyperpolymath merged 11 commits into
mainfrom
claude/dreamy-sagan-1ukmue

Commits on Jun 18, 2026

docs(theory): add correspondence model — the engine that classifies, not translates

chore(standards): complete 6a2 manifest set + panic-attack gate + eNSAID config

Merge main (#19 spec + #20 hygiene) before identity re-point

docs(identity): re-point repo to the correspondence (classify-not-translate) engine

Merge main (#21 identity) before abstraction-model ABI

feat(abi): Idris2 ABI core — Concept/Form/Transition + six CorrespondenceKinds

Merge main (#22 ABI core) before Zig FFI seam

feat(ffi): Zig FFI seam — C-ABI mirror of the correspondence ABI

feat(cartridges): correspondence cartridge contract + validator (verified)

docs(verify): record ABI typecheck; make cartridge validator lockfile-safe

feat(ci+host): Idris2 ABI typecheck CI + AffineScript host binding