Tag
This paper introduces Portico, a reference monitor for revocable capabilities in coding agents, addressing the problem of 'lingering authority' where temporary resource access remains exposed after its justification. It demonstrates that Portico enforces task contracts by revoking capabilities after closure, preventing forbidden effects.