One evidence spine, two actors · the physical actor
Watch a verified plan execute.
Watch a deterministic plan play out in a seeded warehouse simulation. Inspect paths, constraints and the finish / escalate / refuse verdict, then export a signed record for offline verification. This is a synthetic model of operations; no physical robot is connected.
Everything runs client-side and is seeded + replayable. Robots follow the oracle-verified plan — no learned-policy result is claimed. A verdict means "reproducible under this verifier," never "safe." Synthetic layout. An Origin Labs experiment: the same evidence contract in a bounded simulation; the agent reference check is the product. Signed records re-verify in the offline verifier.