5 projects
xag-flight-recorder
Record tool calls at an app's nondeterminism boundary; replay them deterministically with every internal variable observable
quern
A tree whose semantics — vocabulary, rules and solvers — are data, authored at runtime and published as digest-pinned packages through a proof gate
epure-py
Name reserved: the Python distribution of epure (import epure) — proof + refinement at the semantic boundary.
craft-laws
Name reserved for craft-laws: user experience design rules, testable and actionable.
assay-office
Name reserved for the assay office: hosted verification services for the estate.
