work / selected
Questions, investigations, systems.
Organized by the problem being solved rather than by repository or programming language.
Research
phenomena → experiment → claimSCHUMANN RESONANCE EXPERIMENTATION
Geo
The broader experimental lineage: coherence, timing, nulls, follow-up experiments, closure records, and negative results.
PREREGISTERED O3 RESULT
Time Integrity
A curated reproducibility package for one frozen O3 experiment, including source lineage, checksums, scored outputs, and explicit failed criteria.
REPRODUCIBLE EXPERIMENTS UNDER DRIFT
Drift Bound Labs
Implemented research platform and Three Little Pigs benchmark CLI for adaptive assurance experiments — not a deployed intelligent system.
Investigations
messy evidence → reconstruction → traceable conclusionPUBLIC-RECORD PRESERVATION
FinCEN BOI
Content-addressed preservation and public-record ownership reconstruction with an append-only retrieval ledger and lawful recovery semantics.
FIELD-DERIVED MONITORING
811Dog
TN811 ticket monitoring with export-first scraping, PDF parsing, explainable scoring, SQLite history, reminders, and a static dashboard.
Method / Research Infrastructure
protocol → scaffolding → verificationEXECUTABLE RESEARCH PROTOCOL
research-method
The eleven-stage protocol used across these projects, with templates, schemas, project scaffolding, and hash-verification tooling that fails loudly on a broken provenance chain.
Systems
verification machineryRUST / CRYPTOGRAPHY
BLS verifier
A deliberately narrow Ethereum sync-committee BLS primitive with native and wasm targets and explicit production boundaries.
CROSS-CHAIN VERIFICATION
Paxiom
Merkle-verified historical Ethereum state, signed evidence envelopes, an HTTP service tier, and an intentionally unflattering audit.
VERIFIED FINDINGS
zkfwdbld
A prototype trust layer attaching evidence, derivation trace, and proof artifacts to automated findings.
READING / RESEARCH TOOL
TermBrow
The terminal browser that gave this site its name: reading-first navigation, local history, source diversity, and minimal visual context switching.
SYSTEMVERILOG / DIFFERENTIAL TESTING
Selkov + Goldilocks RTL ↗
Fixed-point nonlinear dynamics and divider-free Goldilocks arithmetic checked against independent implementations.