5 projects
xag-flight-recorder
Record tool calls at an app's nondeterminism boundary; replay them deterministically with every internal variable observable
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.
quern
Name reserved for quern: rules and vocabulary as data, published as digest-pinned packages.
