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 machine-checked under named assumptions 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

9 workpieces

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, v0.1.0

verified-sabr

A Lean 4 formalization and executable differential harness for Schedule-Aware Bundle Routing.

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