Notional lunar south-pole communications workpiece with habitat, tower, Earth, and orbital relay

The workpieces

Projects

The subject changes. The operating rule does not: anchor the claim outside the system that produced it, name its limits, and leave its disposition visible.

The shop floor

Status is not basis

A project can be shipped and still carry a narrow claim. It can be private and already have a decisive negative result. Each workpiece therefore reports two things separately: where the project sits, and what kind of evidence its claims rest on.

Theorem proved under stated assumptions; machine checking identified where used Empirical measured on a named run or corpus Operational working software, not a broader scientific claim Source-backed bounded by cited records or a stated model Closed negative a decisive negative result; surviving artifacts remain scoped

11 workpieces

Pure mathematics Active research

Lattices and inequalities

The geometry of gaps in periodic packings, and sharp constants in positivity inequalities. Fourteen deposited records connect geometric proofs, exact enumeration, and arithmetic certificates.

Claim basis
Theorem + exact computation Proofs and exact computational results have different roles. Each paper states its assumptions, the scope of its replay, and the questions left open. Formal verification is identified separately where it is available.
Interactive explainer Live

Ladder Loom

A continued fraction drawn as a ladder network on a Smith chart. Lift the chart by frequency and its apparent crossings come apart; fold it onto the Riemann sphere and a quarter turn gives the impedance plane.

Claim basis
Source-backed The mathematics is classical: Stieltjes, Cauer, Foster, and the Möbius map between Γ and Z. Every view is computed in the browser from the ladder you set.
Research operations Shipped, Rev A

Load-Proof

A field method for chartering, refuting, classifying, and closing model-assisted research without hiding the negatives.

Claim basis
Empirical, n=1 The practices are evidenced for one operator. Transfer to another shop remains a conjecture with a cheap falsifier.
Formal methods Shipped, code v0.1.2 · note v0.3

verified-sabr

A Lean 4 formalization and executable differential harness for Schedule-Aware Bundle Routing, with a deposited regime-characterization note under letter semantics.

Claim basis
Theorem + empirical Soundness and earliest-arrival optimality are machine-checked under the stated model. Found/none and arrival time agree with ION 4.1.4 on 4,100 queries; the lower-key residual is disclosed. The working note enumerates five places two conformant implementations can still differ; volume numbers are letter-semantics and artifact-pinned.
Local software Shipped, v5.1.0

grimalkin

A local AI familiar paired with a separately privileged, auditable Linux security guardian.

Claim basis
Operational This is a software artifact, not a research result. Its authority envelope, supported platforms, and security limits are documented in the repository.
Upstream contribution Filed upstream

NASA HDTN issue 69

A differential-routing harness reduced a no-route discrepancy to a specific libcgr priority-queue seeding failure.

Claim basis
Reproduced defect The public issue carries the failing case and two related findings. Upstream disposition remains NASA's.
Curated mathematics Private workshop

Correspondence Atlas

A structured library of mathematical correspondences, negative records, and the machinery used to curate them.

Claim basis
Closed negative At the current corpus scale, the tested discovery mechanism did not justify reopening discovery. The library and curation machinery remain useful.

Repository private; no public code surface.

Space operations Private workshop

sntc-world-map

A live Solar System operations display joining ephemerides, relay geometry, and DSN history.

Claim basis
Operational The views are instrumentation. They do not establish mission coverage, network availability, or flight assurance.

Repository private; runs as a local operations console. The public orrery is a separate piece.

Systems concept Private workshop

Orbital Foundry

A staged sizing study for a seeded microgravity manufacturing facility that expands its own productive capacity.

Claim basis
Model-bounded Mass, reserve, and cost outputs are scenario-dependent sizing results. They are not a flight design or a feasibility certification.

Research remains private while the architecture is moving.