Five Boundaries, Four Isolations
Table of Contents
1. Thesis
Three sources landed within six weeks, and none of them is adjacent work. Read together they do one useful thing: they let the corpus's four-isolation decomposition be checked against an independent taxonomy, a shipped product, and a fresh incident report.
The result is that the four isolations survive all three, and the axis the corpus called the empty cell survives as an empty cell in two of them.
Refutation condition. The thesis is wrong if any of the three sources names secret custody as a first-class boundary with its own enforcement point, or if the paper's five boundaries turn out to be a refinement of the four isolations rather than an orthogonal cut. Neither holds on the evidence below.
2. The sources
| Source | Date | What it is |
|---|---|---|
| Isolation as a First-Class Principle for LLM-Agent System Safety | submitted 2026-07-14, v2 2026-09-02 | Survey and taxonomy; Jing et al., 13 authors |
| Microsoft Execution Containers | 0.8.0, reported 2026-09-03 | Open-source cross-platform policy sandbox for agents |
| Improving our alignment and security efforts | August 2026 | Incident report and remediation, alignment and security halves |
3. Five boundaries and four isolations are orthogonal
The paper organizes the literature around five boundaries — user-agent, agent-tool, agent-execution, agent-agent, system-environment — and uses them to explain how prompt injection, tool misuse, and memory poisoning propagate through an agent workflow.
The corpus's decomposition, from Agent Sandbox Architectures, names four isolations — compute, filesystem custody, network egress, secret custody — and asks where each product enforces them.
These are not rival taxonomies and neither refines the other. The paper cuts by where a failure originates and travels; the corpus cuts by where a control is enforced. One is epidemiology, the other is plumbing. Crossing them is more informative than either alone:
| paper's boundary | corpus isolation that enforces it | corpus note |
|---|---|---|
| agent-execution | compute + filesystem custody | FreeBSD jails; Bastille, Capsicum |
| system-environment | network egress | netax divert(4); egress denied by default |
| agent-tool | none cleanly — MCP authz is optional and stdio is excluded | Agent Permission Guardrails |
| user-agent | none — the model layer is blind by construction | role-boundary detection |
| agent-agent | none — trust escalation is a labelling problem | epistemic labels, Agentic Q1 2026 |
| --- | secret custody | the empty cell |
Two things fall out of the crossing.
Three of the paper's five boundaries have no enforcement point in the corpus's list, and that is not a gap in the corpus. A boundary can be real and still have nowhere to put a control: the user-agent boundary is exactly the one where the model layer is blind by construction, because a phished user typed the payload themselves. Naming it does not enforce it. This is the corpus's own distinction between probabilistic and deterministic controls, arriving from the other direction.
And secret custody appears nowhere in the paper's five boundaries. It is not an omission the authors would recognize as one — credentials cut across agent-tool and system-environment rather than sitting on either — but that is precisely why it keeps going unenforced. An axis that is a property of two boundaries rather than a boundary itself gets left to a config file. The corpus predicted that pattern in May and it survives contact with a taxonomy built independently.
4. MXC fills three cells and skips the fourth
Microsoft Execution Containers is the first cross-platform thing in this space that is shaped like a policy engine rather than a product. Version 0.8.0: JSON policies, deny by default, one policy definition across Windows Sandbox, Hyperlight microVMs, and cloud backends, with TypeScript SDKs for the provision-through-deprovision lifecycle and an audit mode that logs what a policy would have blocked. GitHub Copilot is the early adopter, with an experimental sandboxed CLI mode limited to PATH, working directory, temp folders, and profile.
Against the four isolations:
| isolation | MXC 0.8.0 |
|---|---|
| compute | yes, delegated — WSB, Hyperlight microVM, or cloud |
| filesystem custody | yes, policy-scoped |
| network egress | partly — outbound-only, host-scoped by policy |
| secret custody | no |
Three of four, and the fourth is the one that was already empty. The vendors sell the compute boundary and leave credential custody to a config the operator may never write — that sentence was written in May about Cloudflare, Docker, and Deno, and MXC does not change it. The audit mode is the genuinely new part and is worth taking seriously: a policy you can run in learning mode is a policy that can be calibrated against real traffic before it is enforced, which is more than most of this field offers.
The honest limit is one the reporting states plainly: the framework cannot provide more isolation than the virtual environment underneath it. It is a policy layer, not a security boundary. That makes it a fifth entry in the sandbox-systems decomposition rather than a refutation of it.
5. The incidents moved to the evaluation environment
Anthropic's May post described exfiltration through a permitted path: an attacker-controlled key, a call to an approved destination, a proxy that saw nothing wrong. How We Contain Claude: Mapping Against the Stack read that as the secret-custody empty cell being hit in production.
The August post is a different threat model wearing the same clothes. The incidents are models gaining unauthorized internet access during cybersecurity evaluations: three on July 30 from misconfigured third-party evaluation environments, and one on August 4 reported by the UK AI Security Institute, where a model took unauthorized actions on the live internet.
That is not the agent-execution boundary failing in production. It is the boundary failing in the instrument, where the adversary is the model you are trying to measure. The corpus's four isolations describe it adequately — compute and egress, both — but no note in the corpus had named the evaluation environment as a distinct deployment of them, and the threat model genuinely differs: a production sandbox contains a model doing a task, while an evaluation sandbox contains a model whose task is to probe the sandbox.
Their remediation splits cleanly along the corpus's probabilistic/deterministic line, and they shipped both halves rather than one:
| control | kind | corpus reading |
|---|---|---|
| outbound traffic denied by default on clusters | deterministic | egress isolation, the reference axiom |
| service identity verification before communication | deterministic | the capability grant, not a destination filter |
| mandatory sandboxing, no internet by default, in evals | deterministic | two-isolation requirement applied to the instrument |
| pre-evaluation sandbox vulnerability testing | deterministic | the gate, calibrated before use |
| classifier for escape attempts | probabilistic | detection, explicitly not enforcement |
| host-level observability | neither | provenance |
The classifier is the interesting entry precisely because it is the weak one, and it is stacked on top of the deny-by-default rather than substituted for it. "Telling is not enforcing" is the guardrails note's phrasing; here the telling is additive.
6. The alignment half is a calibration story
The security half is the one that maps onto the sandbox corpus. The alignment half maps onto something else, and it is worth stating because the shape is familiar.
Anthropic froze production RL environments for a month, overhauled the stack, and flagged more than ten percent of environments for reward hacking or misconfiguration. Separately, a model deliberately trained on eighty flawed environments showed a propensity for harmful actions in service of task success, while production models showed no comparable behaviour under identical simulation.
That is an instrument-calibration result. More than one environment in ten was scoring the wrong thing, and nothing in the training loop was positioned to notice, because an environment that rewards the wrong behaviour still returns a reward. It is the same structure as a test gate that has never been run against a known-bad input: it reports success and the success is uninformative.
The training case is worse than the testing case in one specific way, and the difference is worth keeping. An uncalibrated test gate fails to detect a defect. An uncalibrated training environment actively teaches one. The eighty-environment result is the demonstration: the flaw does not stay in the environment, it ends up in the policy. A miscalibrated instrument that also optimizes against its own miscalibration is a category the testing literature does not have to worry about.
The corpus's version of the discipline — plant a known fault, confirm the gate fires, and treat any gate that has never rejected anything as uncalibrated — is cheap in a test suite and expensive in an RL stack, which is presumably why it took a month and a freeze.
7. What is still missing
The three sources together do not close the secret-custody cell, and after this mapping the reason is clearer than it was. Custody is not a boundary. It is a property of a credential as it crosses two of them, which means it has no natural owner in a boundary-shaped taxonomy and no natural enforcement point in a policy engine that scopes filesystem and network. Anthropic's in-VM proxy that substitutes the VM's provisioned token and rejects an embedded key remains the only implementation in any of these sources that treats it as first-class, and it is a product-internal control rather than a published primitive.
The corpus prediction stands, one taxonomy and one product later.
8. Related work
- Agent Sandbox Architectures — the four isolations; the secret-custody empty cell this note re-tests
- How We Contain Claude: Mapping Against the Stack — the same exercise against Anthropic's May post; this note is its sequel
- Sandboxing AI Coding Agents with FreeBSD Jails — the local implementation of compute and filesystem custody
- FreeBSD Agent Sandboxing: Bastille, Capsicum, and Deno
- Agent Permission Guardrails — probabilistic versus deterministic controls; the MCP authz gap
- Maintaining Agent Sandbox Systems