Selected work / Product evidence
Completed proof cases stay separate from projects still earning their claims. Each active build shows what works now and the next evidence gate.
01 / Selected evidence
These dossiers carry the clearest product, architecture, failure, and verification evidence.
AI-enabled coaching product
Turn one finished match into one better decision next game.
A post-match coaching product where deterministic code extracts and validates the evidence around one bounded model-generated review.
Operational B2B product
Preserve extra-work evidence before the context disappears.
A phone-first workflow that carries one request from field capture through requester acknowledgment, actuals, pricing, outcome, and a printable evidence packet.
Agent reliability lab
Only one architecture stayed useful under attack.
BoundaryLab holds eight synthetic support cases constant across three agent architectures, then shows how context, memory, review, and capability boundaries change safety and completion.
02 / Currently building
Current proof and the next gate stay visible so early work does not read like a finished product.
Local-first idea admission
Decide what an idea deserves before creating another repository.
A local-first desktop product that turns rough ideas into evidence-backed dispositions, then keeps project creation behind an inspectable approval boundary.
Deterministic autonomy simulation
Make rover dispatch decisions visible, reproducible, and reviewable.
An Unreal simulation for comparing dispatch policies under operational constraints, faults, and human oversight without confusing software evidence with physical-world validation.
Deterministic generative music
Turn a place into the same piece of music every time.
A browser composition engine that maps normalized coordinates to a versioned musical plan, while treating listening quality as a separate gate from deterministic correctness.
Mobile conversation product
Small scheduled conversations organized around topics, not profiles.
A mobile-first product with a deterministic scenario environment, pure domain packages, fake external services, and strict production boundaries.