Exact build
Lock the artifact.
Bind the site, robot, and software build to one release request before evaluation starts.
IDENTITY / SHA-256Robot software release control / 01
Rovaulta binds an exact robot build to a site's private evaluation envelope, then keeps a human in control of the release decision.
Simulation is evidence for a defined envelope—not a claim of physical robot safety.
A changed artifact cannot inherit an earlier clearance.
Private site rules stay inside the evaluation boundary.
Automation prepares; the operator approves the final intent.
A controlled path to release
Each stage narrows the release surface. The visual stays in motion, but the decision remains deterministic and human-owned.
Exact build
Bind the site, robot, and software build to one release request before evaluation starts.
IDENTITY / SHA-256Private evaluation
Run the declared behavior against the facility's confidential envelope without rendering private rules or geometry.
CRE / PRIVATE INPUTEvidence
Project the public result, exact bindings, and evidence needed to inspect what was actually checked.
PUBLIC PROJECTIONHuman review
Prepare the exact release intent, then make the human boundary explicit on Ledger hardware.
LEDGER / HUMAN GATERelease control
Only the same exact build, site commitment, evaluator, and expiry can move forward.
EXACT MATCH / CONTROLEvidence without exposure
Rovaulta makes the release path inspectable without turning private policy into a browser payload. Every public signal keeps its boundary attached.
sha256:7f2a…19c4BOUNDcommitment:••••MATCHEDwarehouse-rules-v1HOLDhuman / ledgerREQUIREDThe public projection is intentionally smaller than the private evaluation. It can show what is bound and what happens next; it cannot disclose the facility's rules.
Designed to fail closed / 03
Rovaulta can explain a public result and prepare an exact release request. It cannot see a facility's private rules, turn a hold into a clear, or sign on behalf of an operator.
Read the evidence boundariesThe operator remains in the loop
Start with a target. Keep the proof attached to the build.
Start a workspace