Upgrade ProofAgent workspace
Disposable sandbox
Dependency changes. Verifiable outcomes.

Don't trust the upgrade. Prove it.

Test the baseline, apply the change, and inspect the evidence.

Ready for a run
Execution timelineNo run selected
  1. 01
    BaselineWaiting
  2. 02
    UpgradeWaiting
  3. 03
    Post-testWaiting
  4. 04
    FixIf needed
  5. 05
    BundleWaiting
Live execution logAwaiting events
Start an upgrade to stream sandbox output here.

Network containment

Not evaluated

Awaiting evidence

Blocked outbound requests will appear here. No result is assumed before execution.



Evidence & verdictSHA-256 manifest fingerprint
Outcome
Not evaluated
Manifest SHA-256
Generated after execution
Evidence files become available when the run completes.