devinside.Marcin Borecki Ideas. Systems. Evidence.

THE READING ROOM

Engineering

THE READING ROOM

Writing & investigations.

Engineering

Tool Calls You Can Audit: Deterministic Controls Around Agents

An agent can explain why it wants to perform an action without establishing that it may perform it. It can produce a well-formed tool call without establishing that the arguments are safe. It can report success without proving that the external effect occurred exactly once.

18 min read