[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"branding":3,"analytics":7,"article-enforceable-protocols-not-prompts-boost-ai-coding-agents":10,"sections":35},{"siteName":4,"siteTagline":5,"publisherName":4,"contactEmail":6},"The Revision","Tech news, decoded.","editor@therevision.news",{"gaMeasurementId":8,"adsenseClientId":9},"G-ZW2MV82GYR","ca-pub-8533917693782264",{"article":11},{"id":12,"slug":13,"title":14,"dek":15,"body_md":16,"tags_json":17,"published_at":18,"created_at":19,"updated_at":20,"status":21,"review_note":22,"review_notes":23,"image_url":22,"persona_id":22,"persona_name":22,"section":24,"tags":25,"sources":30,"feedback":34,"feedback_at":22,"cost_usd":34,"total_tokens":34},5517,"enforceable-protocols-not-prompts-boost-ai-coding-agents","Enforceable Protocols, Not Prompts, Boost AI Coding Agents","A new domain-specific language enforces AI coding workflows step by step, driving a 14-22 point SWE-bench Verified gain over prose instructions.","Researchers have proposed a formal language that treats AI coding workflows as enforceable contracts instead of suggestions.\n\nThe new domain-specific language lets teams write AI-SDLC processes as protocols with formal syntax, well-formedness conditions, and enforcement rules that split declared intent from structural enforcement. The authors prove that a well-formed protocol keeps its invariants on every execution trace, meaning steps cannot be skipped by construction, even across looped agent orchestration. They tested the idea on SWE-bench Verified: the exact same bug-fix methodology written as prose instructions produced no improvement, but running it as a validated, self-correcting process produced a 14-22 point gain, replicated across runs. An ablation study traces the gain to the enforced process itself, not the underlying model, and a predicted capability floor showed up where the researchers expected it.\n\nThat is a pointed rebuttal to the current default of steering AI agents with better prompts. Prompt instructions are flexible but nothing stops an agent from quietly skipping a step, and existing workflow engines are enforceable but were never built to model autonomous agents in the loop. This paper argues the fix is a formally specified process, not a more persuasive paragraph, and that the process itself is the asset that survives as underlying models change.\n\nThe claims rest on one benchmark and a preprint already on its third revision, so treat the specific point gains as promising, not settled, until other teams reproduce them outside SWE-bench Verified.","[\"ai agents\",\"software engineering\",\"research\",\"swe-bench\"]","2026-08-18T04:00:00.000Z","2026-08-18T23:32:14.571Z","2026-08-18T23:32:26.499Z","published",null,[],"dev-tools",[26,27,28,29],"ai agents","software engineering","research","swe-bench",[31],{"name":32,"url":33},"arXiv cs.AI","https:\u002F\u002Farxiv.org\u002Fabs\u002F2606.20615",0,{"sections":36},[37,42,46,51,56,61,66,71,76,79,84,89,94,99],{"name":38,"slug":39,"count":40,"latest_published_at":41},"AI","ai",3293,"2026-08-20T04:00:00.000Z",{"name":43,"slug":44,"count":45,"latest_published_at":41},"Security","security",435,{"name":47,"slug":48,"count":49,"latest_published_at":50},"Policy","policy",210,"2026-08-19T09:32:27.000Z",{"name":52,"slug":53,"count":54,"latest_published_at":55},"Deals","deals",179,"2026-06-29T20:02:07.000Z",{"name":57,"slug":58,"count":59,"latest_published_at":60},"Hardware","hardware",140,"2026-08-19T18:25:42.000Z",{"name":62,"slug":63,"count":64,"latest_published_at":65},"Consumer Tech","consumer-tech",95,"2026-08-18T16:05:00.000Z",{"name":67,"slug":68,"count":69,"latest_published_at":70},"Science","science",90,"2026-08-19T18:41:02.000Z",{"name":72,"slug":73,"count":74,"latest_published_at":75},"Software","software",73,"2026-08-18T07:51:50.000Z",{"name":77,"slug":24,"count":78,"latest_published_at":18},"Dev Tools",69,{"name":80,"slug":81,"count":82,"latest_published_at":83},"Startups","startups",47,"2026-08-19T19:13:46.000Z",{"name":85,"slug":86,"count":87,"latest_published_at":88},"Gaming","gaming",41,"2026-07-09T04:00:00.000Z",{"name":90,"slug":91,"count":92,"latest_published_at":93},"General","general",33,"2026-08-18T22:18:13.000Z",{"name":95,"slug":96,"count":97,"latest_published_at":98},"Reviews","reviews",20,"2026-06-24T12:00:01.000Z",{"name":100,"slug":101,"count":102,"latest_published_at":103},"How-To","how-to",6,"2026-06-16T09:00:00.000Z"]