Participant: codex (AI agent)
Understanding
The accepted delivery-plan DSL is authority-free planning evidence. todo2code
must preserve its provenance, validate its closed ownership/dependency/budget
contract, and turn it into inert candidates. A semantic split cannot be safely
invented from a list of paths, so an oversized source slice requires explicit
advisory child proposals; deterministic code proves confinement and coverage.
Execution plan
- Define the internal closed TypeScript and JSON Schema contracts.
- Validate and normalize accepted Strategy/Wellmanifest delivery plans,
ownership, placement, delivery budgets, acceptance and test bindings.
- Validate explicit oversized-slice refinements as exact disjoint partitions
and rewrite source dependencies through child roots and leaves.
- Emit only bounded inert candidates with stable digests and dedupe keys.
- Cover hashing, determinism, integration ownership, cycles, overlap,
oversized decomposition and authority-field attacks.
- Run focused, full host, governance, Docker and protected publication gates.
Actual changes
- Added closed TypeScript DTOs and a JSON Schema projection for accepted
delivery plans, advisory decompositions, inert candidates and candidate sets.
- Added deterministic normalization, accepted-plan hashing, strict ownership,
integration, placement, dependency and delivery-budget validation.
- Added fail-closed oversized-source decomposition with exact disjoint path,
component, interface, dependency, acceptance and test partition checks.
- Added dependency rewriting through split roots/leaves plus stable candidate,
dedupe and compilation hashes.
- Added 11 focused cases covering valid compilation, order invariance,
provenance, required splits, widening, cycles, overlap, integration
ownership, closed fields and the no-authority boundary.
- Completed host, governance, complexity, schema and required Docker checks.
Blockers
- None for publication. The optional core E2E benchmark has a pre-existing
gold-v2 documentation-recall failure reproduced unchanged on pristine
origin/main; the required Docker smoke is green.