CASE STUDIES
Worked examples — open and checkable
Evidence you can open and run, not claims: an open-source Rust crate that runs its proof in your browser, and a live production trust platform built end to end.
OPEN SOURCE
bitrep — any order, any hardware, same bits
An open-source Rust crate for order-invariant, bit-identical floating-point reductions: exact mergeable sums whose bytes are identical on every architecture — proved in Lean, checked by Kani, fuzzed against an oracle, and asserted across x86-64, ARM64, Windows and WebAssembly by one SHA-256 in CI on every commit.
PRODUCT ENGINEERING
Shipped, full-stack
Two live production systems built end to end: auth, data, authorization, retrieval, compliance, deployment.
Full-stack product / trust systems
FavourBee: a Production Trust Platform, Solo
A live, multi-tenant, bilingual mutual-aid network built end-to-end: passwordless + TOTP auth, a Sybil-resistant trust graph, a 218-line emulator-tested authorization model, and full PIPEDA / Law 25 compliance tooling.
Read case studyData pipeline / retrieval / production web
The Anomaly Network: a Record and its Engine
43,684 accounts, an engine that explains every match it makes, a blind test that reconstructed 9 of 10 documented mass sightings from unlabelled data, and an open dataset with a DOI. Built and operated solo.
Read case studyA system that needs to prove itself?
These are examples of the work — verifiable systems whose outputs carry a proof anyone can reproduce. Open to roles, research collaborations, and partnerships.
Start a conversation