Research
Papers and software from the closed TIN program, plus related logistics notes. TIN studied delay-tolerant networks: links that exist on a schedule, traffic that waits out the gaps. Public code and replay artifacts support the checks they contain; the internal engine remains private.
Corridor / TIN
Replay a frozen contact plan and check that delivered outcomes stay within preregistered statistical bounds. Certificates with explicit radii, not point estimates.
DOI 10.5281/zenodo.20653331Sorts temporal contact graphs by morphology and confinement, and maps the routing-efficiency frontier across the resulting families.
DOI 10.5281/zenodo.18851385Routing / SABR
A regime-indexed characterization of CCSDS 734.3-B-1 under a machine-checked reference and differential measurement against ION 4.1.4. The certification question dissolves into five enumerated places where two conformant implementations can still differ; volume numbers are under letter semantics and ship with their report artifacts. Cite the concept DOI (resolves to the current version).
DOI 10.5281/zenodo.21316172 Code + harness Software archiveProgram watch
The first quantified ground-segment allocation for a crewed cislunar mission: 267.1 scheduled DSN antenna-hours at Canberra over nine days, half a 70-meter antenna’s calendar — measured from public feeds we archive hourly, scored against the public record, with evidence-class tags and a falsifier table. REV E sources the DSS-14 outage cause to the public DSE downtime feed (approved 2026-03-02 through 2028-05-05). The full archive and every derived artifact ship with it.
Read the audit Dataset DOI 10.5281/zenodo.21302895A first-principles audit of NASA’s post–Artemis II architecture: what the Gateway pause actually means, which modules physically exist, the surface-first Moon Base plan, and how China’s ILRS track compares. The load-bearing claims carry evidence-class tags and explicit falsifiers; every schedule claim is dated.
Read the auditLogistics
Same result, two treatments. The essay is the long form — covered wagons and scheduled networks: why adding a route can make a rail system worse, and why space route topology has to be right the first time. The brief is short and decision-oriented — cryogenic supply-chain feasibility for the outer system; fewer than 3 of every 100 tonnes dispatched arrive.
Read the essay (PDF) Read the brief (PDF)Software
Contact-plan routing code: scenario configuration, routing over scheduled links, curated result artifacts, and a verifier that reports which published claim families are checkable from what ships. Tests run in CI on every push.
github.com/toxic2040/TIN