Semantic plan dependency in parallel execution is model judgment #160

New issue

Closed

opened 2026-08-15 14:33:54 +00:00 by john · 0 comments

john commented

2026-08-15 14:33:54 +00:00

Owner

Source: strict re-review C-17
Verdict: DISPUTE - by design, closing

Claim as reviewed

Parallel dependency safety partly relies on model judgment - "no plan builds on another's output" - while only file overlap is deterministic.

At HEAD `f354864` (v3.3.0)

Accurate and said plainly at the site: cadence-core/workflows/execute.md:107 - "no plan builds on another's output (your judgment, from the plans' goals and ordering)". The file-overlap half is explicitly labelled "arithmetic, not judgment" two lines below.

Note

The split is the design: the deterministic half is a seam, the semantic half is not mechanizable from declarations. The actual defect near this - the two seams disagreeing about what a declaration means - is filed and open separately.

**Source:** strict re-review C-17 **Verdict:** DISPUTE - by design, closing ### Claim as reviewed Parallel dependency safety partly relies on model judgment - "no plan builds on another's output" - while only file overlap is deterministic. ### At HEAD f354864 (v3.3.0) Accurate and said plainly at the site: `cadence-core/workflows/execute.md:107` - "no plan builds on another's output (your judgment, from the plans' goals and ordering)". The file-overlap half is explicitly labelled "arithmetic, not judgment" two lines below. ### Note The split is the design: the deterministic half is a seam, the semantic half is not mechanizable from declarations. The actual defect near this - the two seams disagreeing about what a declaration means - is filed and open separately.