2026 – present · private
yee-claw
An ontological application builder for verified code generation. A TypeDB ontology is the source of truth; a zero-dependency generator compiles it into the Rust type layer that hand-written numerics are built against.
An ontology as a type system
72
Kani harnesses
44
Files under proof
Detail
- Abstract entities become marker traits with the hierarchy preserved; concrete entities become structs carrying every inherited attribute and implementing each ancestor trait.
- Two grouping layers: domain by subtyping, and user intent by relation.
- The generated types are skeletons — the numerics are written by hand against them, then proven.
- stats-claw is a mechanical carve-out of this workspace, produced by a configurable tool rather than copied by hand.
Stack
Underlined entries link to the writing on that topic.
This work is in a private repository. Happy to talk through the architecture.