> For the complete documentation index, see [llms.txt](https://dsg-3.gitbook.io/dsg-docs/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://dsg-3.gitbook.io/dsg-docs/cinema-proof-agent/runtime-and-integrations.md).

# Runtime and Integrations

Shared Browser, Remote MCP, Universal Runtime, verification MCP, and integration surfaces.

Cinema provides multiple execution and verification surfaces behind one governance model.

```
Customer / Agent
      │
      ▼
Exact approved plan
      │
      ▼
DSG Decision Core
      │
 ┌────┼──────────────┐
 │    │              │
 ▼    ▼              ▼
Shared Universal   Verification
Browser Runtime    / Native Z3
 │    │              │
 └────┴──────┬───────┘
             ▼
      Evidence + Audit
```

## Main runtime families

* **Dashboard + Shared Browser** — user and approved Agent operate the same account-scoped browser state.
* **Paired-agent Remote MCP** — Agent execution surface authenticated by short-lived durable pairing credentials.
* **Universal Runtime** — plan-bound filesystem, Python, and shell work through an isolated execution boundary.
* **Verification / governance MCP** — DSG ONE v1 JSON-RPC surface for plan, preflight, evidence, verification, and proof retrieval.
* **Native Z3 backend** — exact verifier used where the verification contract requires it.

All execution surfaces remain subject to the approved-plan boundary. Tool availability is not equivalent to permission to use the tool arbitrarily.