Align licensing: MPL-2.0 (code) / CC-BY-SA-4.0 (docs); retire MIT+Palimpsest#37

Merged

hyperpolymath merged 23 commits into

mainfrom

claude/dreamy-sagan-1ukmue

Jun 27, 2026

Commits on Jun 18, 2026

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

Commits on Jun 27, 2026