ski-calculus
Content-addressed SKI compute core with bit-exact consensus. Spec-first, multi-model reviewed, machine-verifiable conformance.