ControlSpec
ControlSpec + NVIDIA OpenShell / Runtime evidence

Inside the runtime.
Before the effect.

Follow a request through an actual OpenShell sandbox. Inspect what returned, what changed at the synthetic target, and what the receipt proves.

Recorded OpenShell runtime · synthetic transactions · scripted operator. This page displays a captured run. No live LLM, real purchase, or approval happens in your browser. The observations are a bounded experiment, not a benchmark or production certification.
Recorded observations
Recorded assertions passed
Run status
Observed at
Request → Boundary → Evidence

Sandbox requestOpenShell policyControlSpec middlewareSynthetic target
Observed HTTP response

Target purchase delta

Receipt reconciliation

Inspect the exact request

Inspect response, target state, and receipt evidence
Inspect the command and transport output
Command arguments are shown as recorded, not as a shell command to copy. Elapsed time includes this test's transport and is not a benchmark.


Provenance you can inspect.
OpenShell pin
Source revision
Execution mode
Operator
Sandbox
Ledger check
The limits travel with the result.
    

    Inspect the complete run, including ledger events
    Download original runtime observations ↓
    Supervisor denial logs, image identities and verified outage recovery ↓
    

    

    A receipt verifies the synthetic target under this demo's trust model. The target also validates ControlSpec tickets. An HTTP denial alone does not establish which boundary stopped a request; inspect the response and corroborating runtime logs.
    Reproduce it. Challenge it. ↗