Reproduce

Camera-free reproduction path.

The v0.2.0 reproduction path validates the release environment, deterministic replay, Atlas assembly-cell workflow, evidence bundle verification, and generated regression test.

Release: v0.2.0 DOI: 10.5281/zenodo.20736619 Path: evidence/paper_v2_0/ Camera required: no

Prerequisites

Use a local Python 3.12 environment.

The captured v0.2.0 evidence package was produced from a local virtual environment. The commands below are designed for a shell in the repository root after installing the project.

git clone https://github.com/Miko997/metriplane.git
cd metriplane
python3 -m venv .venv
source .venv/bin/activate
pip install -e .

Commands

Run the local release evidence path.

PYTEST_DISABLE_PLUGIN_AUTOLOAD=1 .venv/bin/python -m pytest -q
RUNS=evidence/paper_v2_0/runs ./tools/mp.sh deterministic-replay datasets/demo/session_001.jsonl
.venv/bin/metriplane atlas validate-pack configs/domain_packs/assembly_cell
.venv/bin/metriplane atlas run --session-jsonl datasets/demo/atlas/assembly_cell_missing_tool.jsonl --pack configs/domain_packs/assembly_cell --out evidence/paper_v2_0/atlas_run --overwrite
.venv/bin/metriplane atlas bundle verify evidence/paper_v2_0/atlas_run/evidence_bundles/INC-0001.zip
.venv/bin/metriplane atlas test evidence/paper_v2_0/atlas_run/regression_tests/INC-0001.yaml --json

Expected outputs

The proof values should be easy to compare.

These outputs come from the captured v0.2.0 paper evidence package and are the values reviewers can paste into Issue #6 with their environment details.

  • doctor: pass
  • pytest: 580 passed
  • deterministic replay: pass=true, 0.0 cm position difference, 0 event mismatches
  • Atlas run: events=6, incidents=1
  • bundle verify: pass=true
  • regression test: pass=true, test_id=missing_tool_caused_delay_INC-0001

Issue #6

What to paste after a run.

A useful reproduction comment includes operating system, Python version, install method, the six command results, and any divergence from the expected values.

OS:
Python:
Commit or release:
pytest:
deterministic replay:
Atlas run:
bundle verify:
regression test:
Notes or errors:

Troubleshooting

Common boundaries for this path.

No camera required

The path uses checked-in replay data. Camera warnings are not automatically failures.

Local evidence only

This does not run robot controllers, safety workflows, Docker benchmarks, or live cameras.

Report divergences

If an output differs, paste the exact command and output into Issue #6.

Next step

Run it, then leave a trace.

A short reproduction note is more valuable than a vague compliment. Passing and failing runs both improve the artifact.