{
  "id": 4417,
  "url": "https://arxiv.org/abs/2605.12981v3",
  "title": "Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence",
  "summary": "Automated program synthesis lowers the cost of producing implementations but introduces a harder governance problem: determining which generated artifacts are admissible. Natural-language specifications are ambiguous, and example-based tests sample only part of the behavioral space. Used alone, neither provides a sufficient control boundary. We introduce Protocol-Driven Development (PDD), where the primary software artifact is a machine-enforceable protocol rather than code. We define a protocol",
  "authors": "Jun He, Deying Yu",
  "category": "research",
  "topics": "regulation",
  "orgs": null,
  "regions": null,
  "published_at": "2026-05-13T04:23:14.000Z",
  "fetched_at": "2026-07-14T16:30:59.237Z",
  "source_slug": "arxiv-ethics",
  "source_name": "arXiv",
  "source_homepage": "https://arxiv.org",
  "ethics_ai_record_url": "https://ethics.ai/record/4417",
  "original_url": "https://arxiv.org/abs/2605.12981v3",
  "evidence_status": "source-only",
  "attribution": "via ethics.ai"
}