132 blockers, three defect families: the bigger model wrote better prose and the same bad plans

The taxonomy does not close. Unverified dependencies at 57 blockers, unsafe sequencing at 46, and weak rollback at 18 sum to 121 ^{[4][5][6][13]}, against 132 blockers reported across 63 strict goals ^[3]. Eleven sit outside the three named buckets ^[13], which is awkward next to the claim that every strict goal that failed did so because of one of the three families ^[19]. Either those eleven are extra instances inside goals already accounted for, or there is a fourth family that has not yet earned a name.

The proposed fix has a similar seam. A deterministic precondition closer, run on the draft to verify that every declared precondition is produced by some earlier task, is credited with removing 64 of the 132 blockers ^[10][11]. But unverified dependencies only number 57 ^[4], so seven of that 64 have to be drawn from the sequencing pile ^[14]. That is coherent rather than sloppy: once you know which task produces `replica_verified`, you also know the backfill cannot legally precede the quality gate that establishes it ^[5]. Dependency closure and ordering are one check read in two directions. Rollback gets nothing from the pass ^[6], and 68 blockers survive it ^[17].

The reason parameters do not help is visible in the rollback example. In `db-10-multi-tenant-split`, the dual-write task did have a rollback; it switched back to single-write and left the inconsistencies that dual-write had introduced ^[22]. That is not a model that lacks the word "rollback." It is a model that generates each step against local plausibility while the property being violated is global to the plan. Author Debashish Ghosal reports testing gpt-4o as planner with a mini critic and then for both roles, and got the same defect pattern with better prose ^[7]. The revision loop behaves the way you would expect from a local generator: it fixes one blocker and introduces another, reshuffles order without closing the gap, adds rollback to the wrong task ^[8].

What makes the diagnosis load-bearing is the critic's stability. The same blockers were found again across revisions, so the loop's failure is attributed to the planner's inability to structurally repair rather than to reviewer drift ^[9]. Without that, planner incapacity and critic noise would be indistinguishable, and the convergence detector firing at a median of two revisions across 33 strict goals ^[8] would read as flakiness instead of a wall.

Scope, honestly stated: this is one engine ^[1], one author's labels, one goal set. Strict goals were 63 of 157 ^[16], and the failing ones averaged 2.1 blockers each ^[15]. The three families are a finding about that harness until someone reproduces them elsewhere. The claim that survives regardless is narrower and more useful than the headline: a plan is a graph with checkable properties, and checking is cheaper than hoping the next checkpoint has learned to plan.