Selected work / P♠
Projects
Tools, products, simulations, infrastructure, and evidence-gated research—with the honest limits left in.
A model-agnostic, security-first software delivery harness that turns specialist model roles into a gated SDLC with human approvals and inspectable evidence.
Open projectThree public, verifier-first explorations of Conway-99, an Erdős covering problem, and the Krenn–Gu conjecture—publishing exact finite or conditional progress while keeping every global problem explicitly unresolved.
Open projectA deterministic neural-worm terrarium with contact-driven boarding, randomized Seed Forge worlds, causal control lanes, and checksummed replay—plus one unapologetically scripted aerial kickflip.
Open project
A public scientific-computing lab running 302 graded-potential neurons, 95 body-wall muscles, an inextensible low-Reynolds-number body, and a browser viewer as one closed loop.
Open projectA reproducible PufferLib training harness where one compact policy stabilizes and races 2,048 batched Crazyflie-style drones through randomized 3D rings, backed by a measured and hash-checked baseline.
Open projectA living 3D glasshouse aviary backed by a fail-safe weekly asset pipeline that quarantines, validates, optimizes, and provenance-tracks generated bird models before publication.
Open projectA private, production-shaped client value ledger that turns promised outcomes and source-backed proof into monthly briefs, client pulse signals, and transparent renewal readiness.
Open projectAn original Godot 4 vertical slice with an explorable magical hub and a complete, repeatable card duel built around readable enemy intent, mana, wards, status effects, and real win/loss states.
Open projectPrivate, local-first tooling for immutable market-data evidence, deterministic normalization, frozen offline experiments, and reports that keep plumbing checks separate from effectiveness claims.
Open project
An evidence-first Codex plugin and reusable skill that researches current roles and builds truthful, role-specific application packages without quietly inventing a better candidate.
Open project
The deployment plumbing behind this site and its smaller siblings: signed webhooks, health-checked Docker rollouts, and Caddy routing on one VPS.
Open project
An interactive, repository-derived map of the Krenn–Gu proof programme that keeps scoped results, open branches, and failed routes visibly distinct while the global conjecture remains unresolved.
Open project
A small 3D aquarium for the browser, built with React and Three.js and deployed like a real app because apparently I cannot leave anything simple.
Open project
A tiny daily bird site powered by recent eBird observations, a small Express API, and an unreasonable amount of affection for birds.
Open project
A six-person capstone connecting a NestJS/PostgreSQL backend, an Expo mobile app, and a classroom reader service for verified check-ins.
Open project
Two Expo/Firebase prototypes: one for vehicle access approvals and one for QR-based classroom attendance.
Open project2026
Open Mathematics Research Lab
Three public, verifier-first explorations of Conway-99, an Erdős covering problem, and the Krenn–Gu conjecture—publishing exact finite or conditional progress while keeping every global problem explicitly unresolved.
My notes
I wanted to see what a long-running Codex research program looked like when the interesting part was not a dramatic answer, but whether each small claim could survive an independent replay.
That produced three public research repositories: Conway-99, an Erdős (2^k3^\ell m+1) cover search, and work on the Krenn–Gu monochromatic quantum-graph conjecture. They contain exact certificates, adversarial verifiers, frozen checkpoints, and a large number of carefully scoped dead ends.
None of the three global problems is solved. That sentence is not fine print; it is a design requirement. The useful outcome is a public record of finite obstructions, conditional bounds, analytic reductions, failed branches, and the machinery needed to check them without trusting the discovery process.
The Open Mathematics Research Lab is a portfolio grouping for three evidence-gated repositories.
The Conway-99 project studies the possible strongly regular graph srg(99,14,1,2) through exact combinatorial, code, lattice, and local-structure constraints. The Erdős project searches periodic affine cover families and publishes independently replayable no-cover certificates for finite families. The Krenn–Gu project combines symbolic algebra, finite search, and analytic reductions around a monochromatic quantum-graph prize conjecture.
Each repository separates global resolution from finite, conditional, exploratory, or pending results. Discovery code cannot certify itself: promoted claims have separate verifier paths, frozen inputs, and explicit status boundaries.