work / selected

Questions, investigations, systems.

Organized by the problem being solved rather than by repository or programming language.

Research

phenomena → experiment → claim

SCHUMANN RESONANCE EXPERIMENTATION

Geo

The broader experimental lineage: coherence, timing, nulls, follow-up experiments, closure records, and negative results.

LAB NOTEBOOK

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

Investigations

messy evidence → reconstruction → traceable conclusion

PUBLIC-RECORD PRESERVATION

FinCEN BOI

Content-addressed preservation and public-record ownership reconstruction with an append-only retrieval ledger and lawful recovery semantics.

ACTIVE

FIELD-DERIVED MONITORING

811Dog

TN811 ticket monitoring with export-first scraping, PDF parsing, explainable scoring, SQLite history, reminders, and a static dashboard.

335 TESTS

Method / Research Infrastructure

protocol → scaffolding → verification

EXECUTABLE 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.

PROTOCOL

Systems

verification machinery

RUST / CRYPTOGRAPHY

BLS verifier

A deliberately narrow Ethereum sync-committee BLS primitive with native and wasm targets and explicit production boundaries.

WORKING

CROSS-CHAIN VERIFICATION

Paxiom

Merkle-verified historical Ethereum state, signed evidence envelopes, an HTTP service tier, and an intentionally unflattering audit.

PROTOTYPE

VERIFIED FINDINGS

zkfwdbld

A prototype trust layer attaching evidence, derivation trace, and proof artifacts to automated findings.

PROTOTYPE

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.

WORKING

SYSTEMVERILOG / DIFFERENTIAL TESTING

Selkov + Goldilocks RTL ↗

Fixed-point nonlinear dynamics and divider-free Goldilocks arithmetic checked against independent implementations.

EXPERIMENTAL