[arXiv]score: 0.11

Formal DSL Proposed for Specifying Human-Agent Boundaries in Software Dev Pipelines

June 23, 2026

A domain-specific language with formal syntax and operational semantics is proposed for encoding human-agent responsibility splits, approval gates, and governance constraints in AI-assisted SDLC workflows. It separates policy declaration from structural enforcement using validation tokens and capability boundaries to bound process non-determinism.

HOW THIS AFFECTS YOU

●

builderIf you're building agentic dev pipelines with human-in-the-loop gates, this DSL formalism offers a structured alternative to encoding governance logic in fragile agent prompts.

●

policyThe policy-vs-mechanism separation and formal enforcement invariants are directly relevant to anyone defining compliance boundaries for AI agents in regulated software development contexts.

read original ↗arxiv.org

← back to feed