Archived missing-tool case · v0.2.0
This page maps public claims to archived author-run evidence and a separate fresh reproduction path. Each claim has a concrete inspection or verification path and a narrow boundary. The current v0.4.1 PyPI package is a later delivery release and is not substituted for the frozen evidence version.
Looking for the E0104 handoff? Inspect that case
Primary artifacts
Read the frozen release files, or save byte-verified copies from the DOI archive. Original paths and checksums are available with every file.
The 70-second assembly recording and the 35.0-second torque-driver wait, with timeline and limits.
evidence/paper_v2_0/atlas_run/cell_truth_report.md 41a3567289f916246e38c7d9469283d90f89f0f0a1b6b9ca79428601cecd868c The archived missing-tool case: manifest, checksums, incident, timeline, report and replay inputs.
evidence/paper_v2_0/atlas_run/evidence_bundles/INC-0001.zip f998bf80eff625e178a9c40611b4124d7f8bcbaf3255d85f75be1d53b6399a5d The missing_tool_caused_delay_INC-0001 regression definition and its declared expectations.
evidence/paper_v2_0/atlas_run/regression_tests/INC-0001.yaml 3cd77045ded785028e7026b50c9a6e3348ca35e4e6bdf8e2035e357d1ce70907 The generated check detected the expected missing-tool incident again. A pass does not establish a repair.
evidence/paper_v2_0/logs/regression_test.json aad2fbf5b000d9b8ad3ef7ed1a1e1bd31811eb0d42da374a09b63de54468632f The archived author-run test output: 580 passed. This is a captured v0.2.0 result, not a browser rerun.
evidence/paper_v2_0/test_output.txt 2a0c2a4f0f0be0ae2cfa4be330bba81528f91b7fc7f1fef2fd189bfde41f1056 Replay comparison with 0.0 cm position difference and no event mismatches.
evidence/paper_v2_0/logs/deterministic_replay.txt 3d9d6204bcba417ee5eeb2827b3f3f4c61a26a1f0de43e572df279a99442cfb8 Run summary for six physical events, one process deviation and one incident.
evidence/paper_v2_0/logs/atlas_assembly_cell_run.txt f0ac9332390ef46978be0c6b8fbcf9d6ec03eb88cfcecb3a50e85d45e58420ce The archived local bundle verifier returned pass=true with no errors.
evidence/paper_v2_0/logs/bundle_verify.txt 1e59a5f1e2eacf0408699ff5e864ea3d6ff02c5b13691e227f19010dd1fdfdce
The files are preserved under evidence/paper_v2_0/ in release
commit 8e35ed5bb20837f7dc46354777407b848d7ce17a. Copies
here match the DOI archive and its SHA-256 checksums.
Keep that archive unchanged. Fresh replay and Atlas output belong in /tmp/metriplane-softwarex-runs and /tmp/metriplane-softwarex-atlas. Follow the reproduction guide.
Table
| Claim | Evidence | How to verify | Boundary |
|---|---|---|---|
| v0.2.0 is archived as a public research release | GitHub release and Zenodo DOI 10.5281/zenodo.20736619 | Open the exact v0.2.0 release and Zenodo record. | v0.4.1 is the current installable software release; SoftwareX acceptance or peer review is not claimed. |
| The archived author-run maintainer gate recorded 580 passed | Archived author-run evidence/paper_v2_0/test_output.txt reports 580 passed. | Inspect the archived file; do not use evidence/paper_v2_0/ as a fresh rerun destination. | The public independent macOS gate recorded 575 passed, 3 skipped, 2 failed; the public full suite is not a complete pass. |
| The camera-free replay is deterministic | deterministic_replay.txt reports pass=true, 0.0 cm position difference, and 0 event mismatches. | Run with RUNS=/tmp/metriplane-softwarex-runs and the checked-in demo session. | Checked-in demo session only; no live-camera claim. |
| The assembly-cell replay produces one incident | atlas_assembly_cell_run.txt reports 6 physical events, 1 process deviation, and 1 incident. | Run metriplane atlas run with the assembly_cell domain pack and --out /tmp/metriplane-softwarex-atlas. | One deterministic assembly-cell domain pack and replay. |
| INC-0001 has a readable Incident Report | cell_truth_report.md records a 35.0 s wait for torque_driver_1. | Inspect archived evidence/paper_v2_0/atlas_run/cell_truth_report.md. | Derived from replayed planar state, not raw-video judgement. |
| The incident is packaged as portable evidence | INC-0001.zip contains manifest, checksums, incident, timeline, report, and replay command. | Inspect artifacts/INC-0001_zip_listing.txt and the bundle manifest. | Local content/checksum verification; not malware scanning. |
| The evidence bundle verifies | bundle_verify.txt reports JSON with pass=true and no errors. | Run metriplane atlas bundle verify /tmp/metriplane-softwarex-atlas/evidence_bundles/INC-0001.zip. | Verifies this bundle schema/content locally. |
| The incident becomes a repeatable regression check | regression_test.json reports pass=true for missing_tool_caused_delay_INC-0001. | Run metriplane atlas test /tmp/metriplane-softwarex-atlas/regression_tests/INC-0001.yaml --json. | The generated check covers this incident expectation only. |
| The project is observe-only and bounded | release claim boundaries, Atlas docs, and explicit non-claims. | Read docs/release_v0_2_claims.md and docs/atlas/README.md. | No robot control, safety certification, quality approval, marker-free tracking, or production validation. |
Boundaries
The release package demonstrates a bounded, reproducible workflow for a replayed assembly-cell incident. It does not claim a production factory deployment or a safety-certified decision system.
Inspect what happened. MetriPlane does not control the machine.
Planar state from tracked or tagged assets, with explicit process rules.
A camera-free reproduction path. Integration claims require their own evidence.