| name | loop-specification |
| description | Framework for designing, verifying, and executing autonomous loop specifications for SAP tasks (arXiv:2607.00038) |
| trigger | {"keywords":["loop engineering","loop specification","autonomous agent loop","agent verification ladder","maker-checker loop","ralph loop","sandeco-loop"],"intent":"Designing or running autonomous reasoning/execution loops with verification and stopping rules."} |
Loop Specification — Engineering Autonomous Loops
Adapts the loop engineering methodology from arXiv:2607.00038 ("Stop Hand-Holding Your Coding Agent: Engineering the Loops that Replace Step-by-Step Prompting") for SAP development pipelines (ABAP, CPI, BTP, SAP GUI).
Instead of prompting the agent at every step, design a bounded, reusable Loop Specification that allows the agent to pursue a goal autonomously while ensuring correctness and preventing runaway execution.
The Loop Specification Anatomy
Every loop specification must compile five core pieces and a persistent memory structure:
┌────────────────────────┐
│ TRIGGER │
└───────────┬────────────┘
▼
┌────────────────────────┐
│ GOAL & MEMORY │◄────────┐
└───────────┬────────────┘ │
▼ │
┌────────────────────────┐ │
│ EXECUTION (SKILLS) │ │
└───────────┬────────────┘ │
▼ │
┌────────────────────────┐ │ Iteration
│ VERIFICATION │ │
└───────────┬────────────┘ │
├──────────────────────┘
▼
┌────────────────────────┐
│ STOPPING RULE │
│ (Named Terminal State) │
└────────────────────────┘
