Search papers, labs, and topics across Lattice.
This paper introduces a novel approach for executing long-horizon, safety-critical standard operating procedures (SOPs) using a program-guided stack machine that compiles SOP constraints into executable pseudo-code. The study demonstrates that this method can enhance performance by up to 16 points in specific scenarios, while also revealing that stronger models benefit from capability-gated runtime guidance, achieving significant improvements in multi-domain tasks. Notably, the findings indicate that maintaining an active frame during execution can recover performance losses in weaker models, emphasizing the importance of model-level discipline checks before enabling advanced features.
Executable SOP programs can boost performance by up to 16 points in procedural tasks, revealing a stark divide in effectiveness between strong and weak models.
Enterprise agents must follow long-horizon, conditional, safety-critical standard operating procedures (SOPs). We compile machine-readable SOP constraints into executable pseudo-code and run them with a program-guided (PG) stack machine that pages the active frame while an LLM performs semantic execution. A three-arm SOPBench study across six models separates representation from runtime: compiled text never significantly hurts and gains up to 16.0 points where official prose underperforms. Runtime guidance is capability-gated. Two strong models independently show positive seven-domain PG contrasts (58:19 and 75:31 discordant pairs), whereas weak models are harmed. A full-program cursor ablation (active frame first, complete program retained) recovers much of the strong-model refusal gain; selective visibility adds a smaller improvement. Paired probe and audit measurements track this divide to spontaneous state discipline rather than reconstruction ability. On Bank the three primary arms rise from 70.4 to 86.4 to 92.8, with 100% refusal correctness. Practical guidance: compile first; enable active-frame paging only after a model-level discipline check.
