Architecture

Design Principles

  • GAT-based HKT encoding: trait HKT { type Of<T>; } — clean, zero-dependency
  • Static Land over Fantasy Land: traits with associated functions (not methods on values)
  • Law verification built in: every trait ships with proptest-based law tests
  • no_std first: core and profunctor crates work without an allocator
  • Composition over completeness: each phase delivers a usable layer before the next begins
  • Structured emptiness: zeros carry provenance — why something is empty matters

Phase Completion

PhaseCrate(s)Status
1–11core through proof✅ Complete
12karpal-verify✅ Complete
13karpal-diagram✅ Complete
14karpal-schubert-types (A–D)✅ Complete
15karpal-higher✅ Complete
16AHeytingAlgebra✅ Complete
16B–DTopos theory🔲 Planned
17E2E validation🔲 Planned
18Ecosystem verification🔲 Planned

License

Apache-2.0 + CLA. See CONTRIBUTING.md.