Benchmark and validation status

The workbench includes an event-level benchmark runner, a public-evidence seed manifest and deterministic missing-data sensitivity reporting. Label coverage is explicit so unverified periods cannot silently become negative ground truth.

Implemented in Workbench 3.4.1

Two distinct benchmark artifacts

Public Workbench seed v0.1: the public manifest route and the cases below illustrate the browser runner format. Its unknown candidate controls are not verified negative exposure, so this seed alone cannot support precision or false-alert claims.

Frozen publication benchmark v1.0: the completed research programme used 40 satellite-disjoint cases, with 30 event-evidence cases, 10 verified-quiet controls and 154 documented intervals across development, calibration and confirmatory partitions. The confirmatory partition was consumed once in Prompt 11 and is permanently closed to retuning or reuse as untouched evidence.

Physics-ML v1.0 detected 0 of 41 confirmatory intervals and failed the predeclared integration gate. It did not enter the public workbench: detector method 0.4 remains the public scientific method.

Public Workbench seed v0.1 cases

CaseOrbitPublic evidenceCoverage
ISS Dragon reboost, 8 Nov 2024LEONASAEvent evidence
ISS Progress reboost, 27 Jul 2023LEONASAEvent evidence; precise UTC start unavailable
Himawari-9 station keeping, Jul 2024GEONOAA OSPOEvent evidence
Galileo 5 recovery, Nov 2014MEOESAEvent-evidence campaign interval
INTEGRAL disposal burn, Jan 2015HEOESAEvent evidence

Four additional candidate control windows in this seed manifest are marked unknown until independently checked. Download the v0.1 seed manifest.

Build publication benchmark v1.0 locally

The repository includes tools/build_public_evidence_benchmark.py. From a local clone, run python3 tools/build_public_evidence_benchmark.py. It reconstructs the frozen v1.0 cases through the same-site history endpoint and writes a browser-importable local benchmark. At that derived-artifact boundary, frozen verified-quiet labels are translated to the browser's equivalent confirmed-quiet runtime state and their source spelling is retained as provenance.

The generated file can contain Space-Track Basic SSA records. Keep it local unless your data-use permissions allow redistribution. The repository intentionally ignores the default generated filename.

Remaining external qualification