human-to-code 0.1.27 → 0.1.28

package/dist/agents/direct/unit-todos.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unit-todos.d.ts","sourceRoot":"","sources":["../../../src/agents/direct/unit-todos.ts"],"names":[],"mappings":"AAeA,OAAO,EAA8B,KAAK,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AAGlG,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,uBAAuB,CAAC;IAC9B,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,MAAM,WAAW,QAAQ;IACvB,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE,mBAAmB,CAAC;CAC/B;AAED,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,QAAQ,EAAE,CAAC;CACnB;AAED,MAAM,WAAW,YAAY;IAC3B,yEAAyE;IACzE,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,uEAAuE;IACvE,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,2EAA2E;IAC3E,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAOD,mFAAmF;AACnF,eAAO,MAAM,2BAA2B,MAAM,CAAC;AAuB/C;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,YAAY,CA4ClG;AAyCD;;;;GAIG;AACH,wBAAgB,YAAY,CAC1B,KAAK,EAAE,SAAS,QAAQ,EAAE,EAC1B,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,MAAM,GACX,YAAY,CAad;AAED,yDAAyD;AACzD,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,SAAS,QAAQ,EAAE,EAC1B,QAAQ,EAAE,YAAY,GACrB,MAAM,EAAE,CAQV;AAED,oEAAoE;AACpE,wBAAgB,cAAc,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,GAAG,MAAM,CAOjE;AA0BD,MAAM,WAAW,kBAAkB;IACjC,2EAA2E;IAC3E,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,8CAA8C;IAC9C,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,2HAA2H;AAC3H,wBAAgB,kBAAkB,CAChC,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,MAAM,GACX,kBAAkB,CAOpB;AAED,oGAAoG;AACpG,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,kBAAkB,GAAG,OAAO,CAEzE"}

package/dist/agents/direct/unit-todos.js

@@ -0,0 +1,223 @@
+/**
+ * Per-unit planning and the guard that makes a second coding pass safe.
+ *
+ * A todo list is agreed for one target before it is written, then a
+ * deterministic coverage check looks for the artifacts that list promised. Only
+ * a real coverage gap triggers a refinement request, and the refinement is
+ * accepted only if it keeps everything the previous pass produced — the
+ * regression ratchet. That inverts the usual risk of re-emitting a whole file:
+ * a model that drops most of a stylesheet loses its own output, not the run's.
+ *
+ * Coverage means "the named artifact appears in the output", never "the
+ * requirement is implemented" and never verification.
+ */
+import { extname } from "node:path";
+import { extractStaticFileMemory } from "../../pipeline/file-memory.js";
+import { BLUEPRINT_VOCABULARY_KINDS } from "./project-blueprint.js";
+import { cssFacts, htmlFacts, javaScriptFacts } from "./project-contracts.js";
+const MAX_TODOS = 24;
+const MAX_EXPECTED_NAMES = 8;
+const MAX_REQUIREMENT_CHARS = 240;
+const ID_PATTERN = /^T[0-9]{1,2}$/u;
+const NAME_PATTERN = /^[A-Za-z_$][A-Za-z0-9_$:.\-/]{0,119}$/u;
+/** A refinement may not shrink a file below this fraction of the previous pass. */
+export const MIN_REFINEMENT_LENGTH_RATIO = 0.6;
+const HTML_EXTENSIONS = new Set([".html", ".htm"]);
+const SCRIPT_EXTENSIONS = new Set([".js", ".jsx", ".mjs", ".cjs", ".ts", ".tsx", ".mts", ".cts"]);
+function oneLine(value, limit) {
+    const clean = value
+        .replace(/[\u0000-\u0008\u000b-\u001f\u007f]/gu, " ")
+        .replace(/\s+/gu, " ")
+        .trim();
+    return clean.length <= limit ? clean : `${clean.slice(0, Math.max(0, limit - 1))}…`;
+}
+function ownKeys(value, expected) {
+    const actual = Object.keys(value).sort();
+    const wanted = [...expected].sort();
+    return actual.length === wanted.length && actual.every((key, index) => key === wanted[index]);
+}
+function object(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+/**
+ * Strictly validate a todo list. When `allowedNames` is supplied, an expectation
+ * naming something outside the agreed vocabulary is dropped rather than
+ * rejected: the requirement text is still useful, and a stray name must never
+ * become a new instruction.
+ */
+export function parseUnitTodoList(output, allowedNames) {
+    let parsed;
+    try {
+        parsed = JSON.parse(output);
+    }
+    catch {
+        throw new Error("Todo list is not valid JSON.");
+    }
+    if (!object(parsed) || !ownKeys(parsed, ["todos"])) {
+        throw new Error("Todo list must contain exactly todos.");
+    }
+    if (!Array.isArray(parsed.todos) || parsed.todos.length === 0 || parsed.todos.length > MAX_TODOS) {
+        throw new Error(`Todo list must be an array with 1-${MAX_TODOS} entries.`);
+    }
+    const seen = new Set();
+    const todos = parsed.todos.map((value, index) => {
+        if (!object(value) || (!ownKeys(value, ["id", "requirement"]) && !ownKeys(value, ["expects", "id", "requirement"]))) {
+            throw new Error(`Todo ${index} has unknown or missing fields.`);
+        }
+        if (typeof value.id !== "string" || !ID_PATTERN.test(value.id)) {
+            throw new Error(`Todo ${index} has an invalid id.`);
+        }
+        if (seen.has(value.id))
+            throw new Error(`Todo list repeats the id ${value.id}.`);
+        seen.add(value.id);
+        if (typeof value.requirement !== "string")
+            throw new Error(`Todo ${index} has an invalid requirement.`);
+        const requirement = oneLine(value.requirement, MAX_REQUIREMENT_CHARS);
+        if (requirement.length === 0)
+            throw new Error(`Todo ${index} has an empty requirement.`);
+        if (value.expects === undefined)
+            return { id: value.id, requirement };
+        if (!object(value.expects) || !ownKeys(value.expects, ["kind", "names"])) {
+            throw new Error(`Todo ${index} has an invalid expects object.`);
+        }
+        const { kind, names } = value.expects;
+        if (typeof kind !== "string" || !BLUEPRINT_VOCABULARY_KINDS.includes(kind)) {
+            throw new Error(`Todo ${index} expects an unknown kind.`);
+        }
+        if (!Array.isArray(names) || names.length === 0 || names.length > MAX_EXPECTED_NAMES) {
+            throw new Error(`Todo ${index} must expect 1-${MAX_EXPECTED_NAMES} names.`);
+        }
+        const cleaned = names.filter((name) => typeof name === "string" && NAME_PATTERN.test(name) && (allowedNames === undefined || allowedNames.has(name)));
+        if (cleaned.length === 0)
+            return { id: value.id, requirement };
+        return { id: value.id, requirement, expects: { kind, names: [...new Set(cleaned)] } };
+    });
+    return { todos };
+}
+/** Names a candidate demonstrably contains, by the file's own syntax. */
+function presentNames(targetPath, code) {
+    const extension = extname(targetPath).toLowerCase();
+    const present = new Set();
+    const add = (values) => {
+        for (const value of values)
+            if (value.length > 0)
+                present.add(value);
+    };
+    if (HTML_EXTENSIONS.has(extension)) {
+        const facts = htmlFacts(code);
+        add(facts.classes);
+        add(facts.ids);
+        add(facts.handlerCalls);
+        add(facts.elements);
+    }
+    else if (extension === ".css") {
+        const facts = cssFacts(code);
+        add(facts.customProperties);
+        add(facts.selectors.map((selector) => selector.trim()));
+        for (const selector of facts.selectors) {
+            add((selector.match(/[.#][A-Za-z0-9_-]+/gu) ?? []).map((token) => token.slice(1)));
+        }
+    }
+    else if (SCRIPT_EXTENSIONS.has(extension)) {
+        const facts = javaScriptFacts(code);
+        add(facts.toggledClasses);
+        add(facts.selectors);
+        for (const selector of facts.selectors) {
+            add((selector.match(/[.#][A-Za-z0-9_-]+/gu) ?? []).map((token) => token.slice(1)));
+        }
+    }
+    for (const entry of extractStaticFileMemory(targetPath, code)) {
+        add((entry.code.match(/[A-Za-z_$][A-Za-z0-9_$]*/gu) ?? []).slice(0, 8));
+    }
+    return present;
+}
+function mentionsName(code, name) {
+    const escaped = name.replace(/[.*+?^${}()|[\]\\/-]/gu, "\\$&");
+    return new RegExp(`(?:^|[^A-Za-z0-9_$-])${escaped}(?:[^A-Za-z0-9_$-]|$)`, "u").test(code);
+}
+/**
+ * Deterministically check which todos left a trace in the candidate. No model
+ * request, no execution. Generous on purpose: a false "addressed" only skips a
+ * refinement, while a false "unaddressed" would spend a request for nothing.
+ */
+export function todoCoverage(todos, targetPath, code) {
+    const present = presentNames(targetPath, code);
+    const coverage = { addressed: [], unaddressed: [], unverifiable: [] };
+    for (const todo of todos) {
+        if (todo.expects === undefined) {
+            coverage.unverifiable.push(todo.id);
+            continue;
+        }
+        const missing = todo.expects.names.filter((name) => !present.has(name) && !mentionsName(code, name));
+        if (missing.length === 0)
+            coverage.addressed.push(todo.id);
+        else
+            coverage.unaddressed.push(todo.id);
+    }
+    return coverage;
+}
+/** Render unaddressed todos for a refinement request. */
+export function unaddressedRequirements(todos, coverage) {
+    const byId = new Map(todos.map((todo) => [todo.id, todo]));
+    return coverage.unaddressed.flatMap((id) => {
+        const todo = byId.get(id);
+        if (todo === undefined)
+            return [];
+        const names = todo.expects === undefined ? "" : ` (expected ${todo.expects.kind}: ${todo.expects.names.join(", ")})`;
+        return [`${todo.id}: ${todo.requirement}${names}`];
+    });
+}
+/** Render a todo list into the block the coding prompt receives. */
+export function renderTodoList(todos) {
+    return todos.map((todo) => {
+        const names = todo.expects === undefined
+            ? ""
+            : ` [must produce ${todo.expects.kind}: ${todo.expects.names.join(", ")}]`;
+        return `${todo.id}. ${todo.requirement}${names}`;
+    }).join("\n");
+}
+/** Countable artifacts a refinement is not allowed to lose. */
+function ratchetSet(targetPath, code) {
+    const extension = extname(targetPath).toLowerCase();
+    const values = new Set();
+    if (HTML_EXTENSIONS.has(extension)) {
+        const facts = htmlFacts(code);
+        for (const value of facts.ids)
+            values.add(`id:${value}`);
+        for (const value of facts.classes)
+            values.add(`class:${value}`);
+    }
+    else if (extension === ".css") {
+        const facts = cssFacts(code);
+        for (const value of facts.selectors)
+            values.add(`selector:${value.trim()}`);
+        for (const value of facts.customProperties)
+            values.add(`var:${value}`);
+    }
+    else if (SCRIPT_EXTENSIONS.has(extension)) {
+        const facts = javaScriptFacts(code);
+        for (const value of facts.selectors)
+            values.add(`selector:${value}`);
+        for (const value of facts.modules)
+            values.add(`module:${value}`);
+    }
+    for (const entry of extractStaticFileMemory(targetPath, code)) {
+        values.add(`declaration:${entry.code.trim()}`);
+    }
+    values.delete("");
+    return values;
+}
+/** Compare two passes over the same target. Empty `lost` plus an acceptable ratio means the refinement kept everything. */
+export function contractRegression(targetPath, previous, next) {
+    const before = ratchetSet(targetPath, previous);
+    const after = ratchetSet(targetPath, next);
+    const lost = [...before].filter((value) => !after.has(value));
+    const previousLength = previous.trim().length;
+    const shrinkRatio = previousLength === 0 ? 1 : next.trim().length / previousLength;
+    return { lost, shrinkRatio };
+}
+/** The ratchet: a refinement is only accepted when it is a strict improvement in coverage terms. */
+export function acceptsRefinement(regression) {
+    return regression.lost.length === 0 && regression.shrinkRatio >= MIN_REFINEMENT_LENGTH_RATIO;
+}
+//# sourceMappingURL=unit-todos.js.map

package/dist/agents/direct/unit-todos.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unit-todos.js","sourceRoot":"","sources":["../../../src/agents/direct/unit-todos.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAC;AACxE,OAAO,EAAE,0BAA0B,EAAgC,MAAM,wBAAwB,CAAC;AAClG,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AA0B9E,MAAM,SAAS,GAAG,EAAE,CAAC;AACrB,MAAM,kBAAkB,GAAG,CAAC,CAAC;AAC7B,MAAM,qBAAqB,GAAG,GAAG,CAAC;AAClC,MAAM,UAAU,GAAG,gBAAgB,CAAC;AACpC,MAAM,YAAY,GAAG,wCAAwC,CAAC;AAC9D,mFAAmF;AACnF,MAAM,CAAC,MAAM,2BAA2B,GAAG,GAAG,CAAC;AAE/C,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;AACnD,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAElG,SAAS,OAAO,CAAC,KAAa,EAAE,KAAa;IAC3C,MAAM,KAAK,GAAG,KAAK;SAChB,OAAO,CAAC,sCAAsC,EAAE,GAAG,CAAC;SACpD,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC;SACrB,IAAI,EAAE,CAAC;IACV,OAAO,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;AACtF,CAAC;AAED,SAAS,OAAO,CAAC,KAA8B,EAAE,QAA2B;IAC1E,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IACzC,MAAM,MAAM,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;IACpC,OAAO,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;AAChG,CAAC;AAED,SAAS,MAAM,CAAC,KAAc;IAC5B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAAc,EAAE,YAAkC;IAClF,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC9B,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,SAAS,EAAE,CAAC;QACjG,MAAM,IAAI,KAAK,CAAC,qCAAqC,SAAS,WAAW,CAAC,CAAC;IAC7E,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,KAAK,GAAe,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QAC1D,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,SAAS,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;YACpH,MAAM,IAAI,KAAK,CAAC,QAAQ,KAAK,iCAAiC,CAAC,CAAC;QAClE,CAAC;QACD,IAAI,OAAO,KAAK,CAAC,EAAE,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;YAC/D,MAAM,IAAI,KAAK,CAAC,QAAQ,KAAK,qBAAqB,CAAC,CAAC;QACtD,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;QACjF,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACnB,IAAI,OAAO,KAAK,CAAC,WAAW,KAAK,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,QAAQ,KAAK,8BAA8B,CAAC,CAAC;QACxG,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,qBAAqB,CAAC,CAAC;QACtE,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,QAAQ,KAAK,4BAA4B,CAAC,CAAC;QAEzF,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,WAAW,EAAE,CAAC;QACtE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;YACzE,MAAM,IAAI,KAAK,CAAC,QAAQ,KAAK,iCAAiC,CAAC,CAAC;QAClE,CAAC;QACD,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC;QACtC,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,0BAA0B,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3E,MAAM,IAAI,KAAK,CAAC,QAAQ,KAAK,2BAA2B,CAAC,CAAC;QAC5D,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,kBAAkB,EAAE,CAAC;YACrF,MAAM,IAAI,KAAK,CAAC,QAAQ,KAAK,kBAAkB,kBAAkB,SAAS,CAAC,CAAC;QAC9E,CAAC;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CACpD,OAAO,IAAI,KAAK,QAAQ,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,KAAK,SAAS,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjH,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,WAAW,EAAE,CAAC;QAC/D,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC;IACxF,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,KAAK,EAAE,CAAC;AACnB,CAAC;AAED,yEAAyE;AACzE,SAAS,YAAY,CAAC,UAAkB,EAAE,IAAY;IACpD,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;IACpD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,GAAG,GAAG,CAAC,MAAwB,EAAQ,EAAE;QAC7C,KAAK,MAAM,KAAK,IAAI,MAAM;YAAE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACvE,CAAC,CAAC;IACF,IAAI,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAC9B,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACnB,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACf,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QACxB,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACtB,CAAC;SAAM,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC7B,GAAG,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;QAC5B,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACxD,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YACvC,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,sBAAsB,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrF,CAAC;IACH,CAAC;SAAM,IAAI,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;QACpC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;QAC1B,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACrB,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YACvC,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,sBAAsB,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrF,CAAC;IACH,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,uBAAuB,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,CAAC;QAC9D,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,4BAA4B,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,IAAY;IAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,wBAAwB,EAAE,MAAM,CAAC,CAAC;IAC/D,OAAO,IAAI,MAAM,CAAC,wBAAwB,OAAO,uBAAuB,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5F,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAC1B,KAA0B,EAC1B,UAAkB,EAClB,IAAY;IAEZ,MAAM,OAAO,GAAG,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAiB,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC;IACpF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAC/B,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACpC,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACrG,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;;YACtD,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,yDAAyD;AACzD,MAAM,UAAU,uBAAuB,CACrC,KAA0B,EAC1B,QAAsB;IAEtB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3D,OAAO,QAAQ,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE;QACzC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC1B,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,cAAc,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACrH,OAAO,CAAC,GAAG,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,WAAW,GAAG,KAAK,EAAE,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,cAAc,CAAC,KAA0B;IACvD,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACxB,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,KAAK,SAAS;YACtC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,kBAAkB,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAC7E,OAAO,GAAG,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,WAAW,GAAG,KAAK,EAAE,CAAC;IACnD,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,+DAA+D;AAC/D,SAAS,UAAU,CAAC,UAAkB,EAAE,IAAY;IAClD,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;IACpD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,IAAI,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAC9B,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,GAAG;YAAE,MAAM,CAAC,GAAG,CAAC,MAAM,KAAK,EAAE,CAAC,CAAC;QACzD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,OAAO;YAAE,MAAM,CAAC,GAAG,CAAC,SAAS,KAAK,EAAE,CAAC,CAAC;IAClE,CAAC;SAAM,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC7B,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,SAAS;YAAE,MAAM,CAAC,GAAG,CAAC,YAAY,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC5E,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,gBAAgB;YAAE,MAAM,CAAC,GAAG,CAAC,OAAO,KAAK,EAAE,CAAC,CAAC;IACzE,CAAC;SAAM,IAAI,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;QACpC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,SAAS;YAAE,MAAM,CAAC,GAAG,CAAC,YAAY,KAAK,EAAE,CAAC,CAAC;QACrE,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,OAAO;YAAE,MAAM,CAAC,GAAG,CAAC,UAAU,KAAK,EAAE,CAAC,CAAC;IACnE,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,uBAAuB,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,CAAC;QAC9D,MAAM,CAAC,GAAG,CAAC,eAAe,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACjD,CAAC;IACD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAClB,OAAO,MAAM,CAAC;AAChB,CAAC;AASD,2HAA2H;AAC3H,MAAM,UAAU,kBAAkB,CAChC,UAAkB,EAClB,QAAgB,EAChB,IAAY;IAEZ,MAAM,MAAM,GAAG,UAAU,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IAC9D,MAAM,cAAc,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC;IAC9C,MAAM,WAAW,GAAG,cAAc,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,cAAc,CAAC;IACnF,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;AAC/B,CAAC;AAED,oGAAoG;AACpG,MAAM,UAAU,iBAAiB,CAAC,UAA8B;IAC9D,OAAO,UAAU,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,WAAW,IAAI,2BAA2B,CAAC;AAC/F,CAAC"}

package/dist/cli.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA,sGAAsG;AA86BtG,wBAAsB,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAiFzD"}
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA,sGAAsG;AA2jCtG,wBAAsB,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAiFzD"}

package/dist/cli.js

@@ -2,7 +2,7 @@
 /** Production CLI: analyze -> reviewed contract -> grounded patch -> validation -> explicit apply. */
 import { constants as fsConstants, realpathSync } from "node:fs";
 import { copyFile, lstat, readFile, rename, rm, writeFile } from "node:fs/promises";
-import { dirname, relative, resolve, sep } from "node:path";
+import { dirname, extname, relative, resolve, sep } from "node:path";
 import { fileURLToPath } from "node:url";
 import { parseArgs } from "node:util";
 import { analyzeProject } from "./analysis/analyzer.js";
@@ -14,7 +14,7 @@ import { PlanningError, contractPathForSource, createDraftContract, loadReviewed
 import { ProviderError } from "./providers/provider.js";
 import { createOllamaProvider, createOpenAIProvider } from "./providers/providers.js";
 import { RunStore } from "./pipeline/run-store.js";
-import { applyWholeFileBatch, applyUnit, buildProjectMemory, conditionalRequestAllowance, discoverDirectUnits, generateConversionUnits, generateCode, generateIntegrationAudit, generateIntegrationRepairCode, generateRepairCode, reconcileGeneratedIntegrations, renderReceipt, validateCandidateProject, validateGeneratedUnit, } from "./agents/direct/index.js";
+import { applyWholeFileBatch, applyUnit, buildProjectMemory, collectReferenceFindings, conditionalRequestAllowance, plannedRequestCounts, discoverDirectUnits, generateBlueprint, generateConversionUnits, generateCode, generateIntegrationAudit, generateIntegrationRepairCode, generateRepairCode, generateUnitTodos, parseProjectBlueprint, parseUnitTodoList, reconcileGeneratedIntegrations, REFERENCE_EXTENSIONS, renderBlueprintFor, renderReceipt, validateCandidateProject, validateGeneratedUnit, } from "./agents/direct/index.js";
 import { applyVerifiedRun, buildContextPreview, generateRun, resolveWorkspaceConfig, rollbackAppliedRun, validateStoredRun, } from "./agents/guided/index.js";
 const HELP = `human-to-code — reviewed, grounded, isolated human-to-code compiler agent
 
@@ -480,7 +480,10 @@ async function buildCommand(cli, rootInput) {
             provider: providerName,
             model,
             context: "project-memory-v1",
+            // `requests` keeps its established meaning — the planned minimum — so an
+            // existing consumer is not silently redefined. The breakdown is additive.
             requests: units.length,
+            plannedRequests: plannedRequestCounts(units, effective.direct.planning),
             ...(conditionalRequests !== undefined ? {
                 additionalRequests: {
                     conditional: true,
@@ -505,6 +508,7 @@ async function buildCommand(cli, rootInput) {
     else {
         output(renderReceipt(units, providerName, model, languages, {
             reconcileIntegrations: effective.direct.reconcileIntegrations,
+            planning: effective.direct.planning,
         }), false);
         for (const notice of discovery.notices)
             output(`  ! ${notice.message}`, false);
@@ -537,9 +541,8 @@ async function buildCommand(cli, rootInput) {
         excludedPaths: effective.privacy.excludedPaths,
         maxFileBytes: effective.privacy.maxFileBytes,
     });
-    // Default engine: deterministic per-marker generation. Each marker is one
-    // plain model completion (no tool calls), applied by exact range. One marker
-    // failing never aborts the others.
+    // Default engine: deterministic per-target generation, optionally preceded by
+    // a shared planning pass. One target failing never aborts the others.
     const describeUnit = (unit) => unit.kind === "file"
         ? `${unit.sourcePath} → ${unit.outputPath}`
         : `${unit.sourcePath} (inline @human, line ${unit.line ?? "?"})`;
@@ -552,6 +555,12 @@ async function buildCommand(cli, rootInput) {
                 const retry = event.attempt > 1 ? ` (retry ${event.attempt - 1})` : "";
                 spinner.label(`generating ${describeUnit(event.unit)}${retry}`);
             }
+            else if (event.kind === "plan") {
+                spinner.label(`planning ${describeUnit(event.unit)}`);
+            }
+            else if (event.kind === "refine") {
+                spinner.label(`completing ${describeUnit(event.unit)} (${event.unaddressed} unaddressed item(s))`);
+            }
             else if (event.kind === "skip") {
                 spinner.note(`  ⊘ skipped ${describeUnit(event.unit)}: ${event.reason}`);
             }
@@ -559,6 +568,68 @@ async function buildCommand(cli, rootInput) {
         : undefined;
     if (interactive)
         output(`\nConverting ${units.length} item(s) with ${model}…`, false);
+    const planning = effective.direct.planning;
+    const requestOptions = {
+        provider: providerName,
+        model,
+        ...(baseUrl ? { baseUrl } : {}),
+        ...(apiKey ? { apiKey } : {}),
+    };
+    // One shared planning request, before any file is generated. Each target is
+    // generated in isolation afterwards, so this is the only chance for them to
+    // agree on names. Best-effort: a failure loses the shared contract, never the
+    // run.
+    const plannedTargets = projectMemory.plannedTargets;
+    let blueprint;
+    let blueprintRequests = 0;
+    let blueprintNotice;
+    if (planning.enabled && planning.projectBlueprint && plannedTargets.length >= 2) {
+        if (interactive)
+            spinner.label(`agreeing a shared contract across ${plannedTargets.length} file(s)`);
+        blueprintRequests = 1;
+        try {
+            const raw = await generateBlueprint({
+                targets: plannedTargets.map((target) => ({
+                    path: target.path,
+                    language: target.language,
+                    instruction: target.purposes.join(" | "),
+                })),
+                currentTree: discovery.scannedPaths.slice(0, 72),
+            }, { ...requestOptions, language });
+            blueprint = parseProjectBlueprint(raw, new Set(plannedTargets.map((target) => target.path)));
+            projectMemory.adoptBlueprint(blueprint);
+        }
+        catch (error) {
+            blueprintNotice = `shared contract unavailable (${error instanceof Error ? error.message : String(error)});`
+                + " files were generated without it";
+            if (interactive)
+                spinner.note(`  ! ${blueprintNotice}`);
+        }
+    }
+    // One todo request per unit, when its kind is enabled. Returning undefined
+    // leaves that unit on the single-pass path.
+    const planningOutcomes = [];
+    const todoEnabled = (unit) => planning.enabled && (unit.kind === "file" ? planning.fileTodo : planning.markerTodo);
+    const planningEnabledFor = planning.enabled && (planning.fileTodo || planning.markerTodo)
+        ? async (unit, context) => {
+            if (!todoEnabled(unit))
+                return undefined;
+            const target = unit.kind === "file" ? unit.outputPath : unit.sourcePath;
+            const raw = await generateUnitTodos({
+                targetPath: target,
+                instruction: unit.prompt,
+                inline: unit.kind === "inline",
+                ...(blueprint ? { blueprint: renderBlueprintFor(blueprint, target) } : {}),
+                ...(context.projectMemory ? { projectMemory: context.projectMemory } : {}),
+            }, { ...requestOptions, language: unit.language ?? language, targetPath: target });
+            // Deliberately unconstrained by the shared vocabulary: a todo may also
+            // expect target-local artifacts the blueprint has no reason to name
+            // (a @media block, a local helper). Injection safety comes from the
+            // name charset in the parser, and cross-file drift is caught
+            // deterministically by reference checking, not by dropping coverage.
+            return parseUnitTodoList(raw);
+        }
+        : undefined;
     let generated;
     try {
         generated = await generateConversionUnits(units, (unit, context) => {
@@ -567,11 +638,8 @@ async function buildCommand(cli, rootInput) {
             }
             return generateCode(unit.prompt, {
                 language: unit.language ?? language,
-                provider: providerName,
-                model,
+                ...requestOptions,
                 targetPath: unit.kind === "file" ? unit.outputPath : unit.sourcePath,
-                ...(baseUrl ? { baseUrl } : {}),
-                ...(apiKey ? { apiKey } : {}),
                 ...context,
             });
         }, {
@@ -579,6 +647,9 @@ async function buildCommand(cli, rootInput) {
             validate: validateGeneratedUnit,
             projectMemory,
             contextCharBudget,
+            maxCodingPasses: planning.enabled ? planning.maxCodingPassesPerUnit : 1,
+            ...(planningEnabledFor !== undefined ? { plan: planningEnabledFor } : {}),
+            onPlanningOutcome: (outcome) => planningOutcomes.push(outcome),
             ...(onProgress ? { onProgress } : {}),
         });
     }
@@ -592,6 +663,44 @@ async function buildCommand(cli, rootInput) {
     }
     // Optional and off by default. ProjectMemory supplies language-aware
     // relationships; this orchestrator remains cross-language and performs a
+    // Deterministic cross-file reference checking. No model request: the same
+    // static extractors ProjectMemory uses are cross-referenced across the
+    // candidate web files. This is reference checking, not verification.
+    let referenceFindings = [];
+    if (effective.direct.crossFileChecks) {
+        if (interactive)
+            spinner.label("cross-checking generated references");
+        const referenceFiles = [];
+        const seenReferencePaths = new Set();
+        for (const item of generated) {
+            if (item.error !== undefined || item.code.trim().length === 0)
+                continue;
+            const target = item.unit.kind === "file" ? item.unit.outputPath : item.unit.sourcePath;
+            if (!REFERENCE_EXTENSIONS.has(extname(target).toLowerCase()) || seenReferencePaths.has(target))
+                continue;
+            seenReferencePaths.add(target);
+            referenceFiles.push({ path: target, content: item.code, generated: true });
+        }
+        // Untouched project files provide the other half of every cross-reference.
+        for (const path of discovery.scannedPaths) {
+            if (seenReferencePaths.has(path) || !REFERENCE_EXTENSIONS.has(extname(path).toLowerCase()))
+                continue;
+            try {
+                const content = await readFile(resolve(root, path), "utf8");
+                seenReferencePaths.add(path);
+                referenceFiles.push({ path, content, generated: false });
+            }
+            catch {
+                continue;
+            }
+        }
+        referenceFindings = collectReferenceFindings(referenceFiles);
+        if (interactive) {
+            for (const finding of referenceFindings) {
+                spinner.note(`  ${finding.severity === "blocking" ? "✖" : "!"} ${finding.code}: ${finding.detail}`);
+            }
+        }
+    }
     // bounded audit -> target repair -> verification cycle over generated groups.
     let integrationAuditRequests = 0;
     let integrationRepairRequests = 0;
@@ -788,12 +897,33 @@ async function buildCommand(cli, rootInput) {
         }
     }
     const seconds = Math.round((Date.now() - started) / 1000);
+    const todoRequests = planningOutcomes.reduce((total, outcome) => total + outcome.todoRequests, 0);
+    const codingRequests = planningOutcomes.reduce((total, outcome) => total + outcome.codingRequests, 0);
+    const refinementsRejected = planningOutcomes.filter((outcome) => outcome.refinementRejected !== undefined);
     if (cli.json) {
         output({
             status: written.length === 0 && skipped.length > 0 ? "FAILED" : "DONE",
             engine: "simple",
             written,
             skipped,
+            blueprintRequests,
+            ...(blueprintNotice !== undefined ? { blueprintNotice } : {}),
+            todoRequests,
+            codingRequests,
+            ...(refinementsRejected.length > 0 ? {
+                refinementsRejected: refinementsRejected.map((outcome) => ({
+                    target: outcome.unit.kind === "file" ? outcome.unit.outputPath : outcome.unit.sourcePath,
+                    reason: outcome.refinementRejected,
+                })),
+            } : {}),
+            ...(effective.direct.crossFileChecks ? {
+                referenceFindings: referenceFindings.map((finding) => ({
+                    code: finding.code,
+                    severity: finding.severity,
+                    path: finding.path,
+                    detail: finding.detail,
+                })),
+            } : {}),
             ...(effective.direct.reconcileIntegrations ? {
                 integrationAuditRequests,
                 integrationRepairRequests,
@@ -808,7 +938,14 @@ async function buildCommand(cli, rootInput) {
             ? `, ${integrationAuditRequests} integration audit request(s), ${integrationRepairRequests} integration repair request(s)`
             : "";
         const repairs = repairRequests > 0 ? `, ${repairRequests} bounded repair request(s)` : "";
-        output(`\nDone in ${seconds}s. ${written.length} written${skipped.length > 0 ? `, ${skipped.length} skipped` : ""}${integrations}${repairs}.`, false);
+        const planned = blueprintRequests + todoRequests > 0
+            ? `, ${blueprintRequests} blueprint and ${todoRequests} todo request(s)`
+            : "";
+        output(`\nDone in ${seconds}s. ${written.length} written${skipped.length > 0 ? `, ${skipped.length} skipped` : ""}${planned}${integrations}${repairs}.`, false);
+        for (const outcome of refinementsRejected) {
+            const target = outcome.unit.kind === "file" ? outcome.unit.outputPath : outcome.unit.sourcePath;
+            output(`  ! ${target}: ${outcome.refinementRejected}`, false);
+        }
     }
     return written.length === 0 && skipped.length > 0 ? 5 : 0;
 }