Programação de Orquestração (PrOr): A Contract-Based Model for Integration Topology as an Extension to Spec-Driven Development

As AI coding agents increasingly generate functionally correct code, software engineering practice is shifting from writing implementation to authoring specications that constrain and validate what is generated a trend recently consolidated under the umbrellaof Spec-Driven Development (SDD). Current SDD tooling formalizes what a unit of software must do, but treats the topology of integration between generated units informally.We present Programação de Orquestração (PrOr, Portuguese for Orchestration Programming), a proposal that elevates integration links to rst-class, speciable artifacts calledCordas (strings), alongside a contract-based unit called the Orchestration Object. We givea preliminary formal notation for objects, contracts, contract compatibility, and cordas; acandidate axiomatic system; and a recursive composition construct, the Frame (Quadro),which lets a closed group of connected objects behave as a single opaque higher-order object. We work through a concrete example drawn from an in-development sports-tournamentmanagement system, and we report the open problems automated contract verication,chained-corda composition, versioning semantics, and the governance status of one of our sixcandidate axioms that remain before the proposal can be evaluated empirically. This isa vision/work-in-progress paper: we position PrOr explicitly as an extension to SDD ratherthan a replacement for it, and we invite critical feedback on the formal model before furtherdevelopment.