Make SOPs executable: policies as deterministic logic programs with agent leaves

Turning 100+ page SOP documents into executable policies using DeepClause and DML.

Building on the self-modifying harness concept we show here how to use DeepClause to build more reliable agents for outsourcing work defined via SOPs and policies. Instead of taking a big markdown file and putting it into the system prompt, we let a coding agent convert policies into small executable logic programs in a DSL called “DML”. The “leaves” of these programs can either be deterministic rules or LLM-driven agent loops. DML programs run safely inside the WASM build of SWI-Prolog.