archon-sdk: proof of possession and the signed envelope, one layer above the identity floor. Deterministic given its inputs; no RNG, no clock, no socket.
archon's service side: the login handler (four routes, law-free, store-minimal), the request profile's verifier with its replay store, and key enrollment's…
deixis-pos-v1: the spelling κ : ℕ → Bytes of positions into deixis keys — injective, prefix-free, order-preserving. A reading above the floor; depends on…
ontos-data-json/1 — the named, total projection of a domain-JSON document to an ontos/data value. Rust peer of data/json/go and data/json/ts. Depends on…
Sparks, the live components of the Smeltery framework: Rust state and actions with a Mold view, kept in sync with the browser by a small client runtime, with…
Training on hanzo-ml: one model across heterogeneous machines (DiLoCo local SGD, bf16 deltas, bit-identical resume), and the DSpark draft trainer on it.
Derive macros of the Smeltery framework: #[derive(Validate)] for form validation, #[derive(Spark)] and #[actions] for Sparks live components, #[derive(Alloy)]…
