Analysis · DiggingBeagle record
The control API, the preview pane and the permission grant
Archon and SneakPeek expose distinct authority crossings; L3M proposes a runtime design that narrows effects without proving a universal sandbox.
- Published
- Oct 16, 2026
Overview
A network request to an unauthenticated agent API and an HTML file rendered by a desktop assistant look like different security problems. They become comparable at the moment low-trust material acquires a capability that the original sender was never supposed to hold. A new harness research paper, L3M, proposes an alternative in which those capabilities must be explicitly represented and checked. Its proposal also illustrates how difficult that enforcement is.
L3M: make the grant smaller than the instruction
L3M treats side-effect permissions as tokens checked by its Lean 4 runtime. A self-authored program cannot enlarge its admitted capabilities through an ordinary child delegation under the documented rules. Git-backed state, reversible actions and staged byte approval offer ways to separate a proposed next step from permission to execute it. In the authors' Terminal-Bench experiment, an untuned safe-only configuration reached roughly two thirds of an unrestricted shell baseline's pass rate. That is a measured utility cost, not evidence that all safe runtimes must pay the same price.
The authors explicitly limit their security claims. They do not present a session-wide safety theorem; parts of token issuance, external providers and compilation behavior remain in the trusted base. A signed-off unsafe shell could still escape the guarantee the system is designed to enforce. The paper is an architectural prototype, not a deployed fix for Archon or SneakPeek.
Three boundaries to test separately
| Boundary | Failure or proposed check | What does not follow |
|---|---|---|
| Caller to control API | Admit only authorized task dispatch | A safe prompt does not authenticate a caller |
| Repository file to preview runtime | Constrain file origin, script execution and local-file access | A clean code diff does not imply a safe preview |
| Agent plan to operating-system effect | Require a scoped capability at the effect boundary | A typed permission request does not prove every provider is safe |
The common design rule is narrower than declaring an agent secure. Identify each component that can cause an external effect, record what authority it receives, and make permission checks enforceable in that component. The source material supports the listed cases and the proposed runtime pattern, not a universal remedy.
Evidence: Archon CVE, Noma research and L3M paper.