meta
Compile-time programming — tokens, AST, reflection, quote, capability contexts.
proof
Proof-carrying code bundles and refinement reflection — every public type.
theory interop
Theory registry, translation, coherence audit, JSON-RPC interchange protocol.