human-to-code 0.1.27 → 0.1.28

package/dist/agents/direct/reference-validation.d.ts

@@ -0,0 +1,55 @@
+/** Files whose cross-references this module understands. */
+export declare const REFERENCE_EXTENSIONS: Set<string>;
+/**
+ * `blocking` marks a broken reference — a name used that exists nowhere, or a
+ * state change that cannot take effect. `advisory` marks drift that is usually
+ * a defect but has legitimate uses (utility classes, a11y helpers).
+ *
+ * The severity is a priority label, not a gate. The CLI reports findings and
+ * feeds them to reconciliation; it does not refuse to write on a blocking
+ * finding, because a page that renders correctly can still trip one — the
+ * hidden-attribute check fires on real but cosmetic defects. Use
+ * {@link hasBlockingFindings} if you want a caller-side gate.
+ */
+export type ReferenceSeverity = "blocking" | "advisory";
+export type ReferenceFindingCode = "JS_SELECTOR_MISSING" | "HTML_ASSET_MISSING" | "STATE_CLASS_DEFEATED" | "HIDDEN_ATTRIBUTE_OVERRIDDEN" | "HTML_CLASS_UNSTYLED" | "CSS_SELECTOR_UNUSED";
+export interface ReferenceFinding {
+    code: ReferenceFindingCode;
+    severity: ReferenceSeverity;
+    /** Project-relative file the finding is about. */
+    path: string;
+    /** Bounded, single-line explanation safe to show and to send as a repair hint. */
+    detail: string;
+}
+export interface ReferenceFile {
+    /** Project-relative POSIX path. */
+    path: string;
+    content: string;
+    /** True when this file is a candidate from the current run. */
+    generated: boolean;
+}
+interface CssRule {
+    selectors: string[];
+    declarations: Map<string, string>;
+    order: number;
+}
+/**
+ * Walk style rules with brace awareness so rules nested in `@media`/`@supports`
+ * are still seen and statement at-rules such as `@import` do not leak into the
+ * next selector.
+ */
+export declare function scanCssRules(content: string): CssRule[];
+/** CSS specificity as (ids, classes+attributes+pseudo-classes, elements+pseudo-elements). */
+export declare function selectorSpecificity(selector: string): readonly [number, number, number];
+/**
+ * Cross-check the supplied web files against one another. Only files produced
+ * by this run are reported against, so a pre-existing inconsistency in the
+ * working tree never blocks a run that did not touch it.
+ */
+export declare function collectReferenceFindings(files: readonly ReferenceFile[]): ReferenceFinding[];
+/** True when any finding must stop the run before files are written. */
+export declare function hasBlockingFindings(findings: readonly ReferenceFinding[]): boolean;
+/** Group findings by the file that has to change, for bounded repair. */
+export declare function findingsByPath(findings: readonly ReferenceFinding[]): Map<string, ReferenceFinding[]>;
+export {};
+//# sourceMappingURL=reference-validation.d.ts.map

package/dist/agents/direct/reference-validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reference-validation.d.ts","sourceRoot":"","sources":["../../../src/agents/direct/reference-validation.ts"],"names":[],"mappings":"AAaA,4DAA4D;AAC5D,eAAO,MAAM,oBAAoB,aAA4D,CAAC;AAE9F;;;;;;;;;;GAUG;AACH,MAAM,MAAM,iBAAiB,GAAG,UAAU,GAAG,UAAU,CAAC;AAExD,MAAM,MAAM,oBAAoB,GAC5B,qBAAqB,GACrB,oBAAoB,GACpB,sBAAsB,GACtB,6BAA6B,GAC7B,qBAAqB,GACrB,qBAAqB,CAAC;AAE1B,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,oBAAoB,CAAC;IAC3B,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,kDAAkD;IAClD,IAAI,EAAE,MAAM,CAAC;IACb,kFAAkF;IAClF,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,aAAa;IAC5B,mCAAmC;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,+DAA+D;IAC/D,SAAS,EAAE,OAAO,CAAC;CACpB;AAoBD,UAAU,OAAO;IACf,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,YAAY,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAClC,KAAK,EAAE,MAAM,CAAC;CACf;AA2BD;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,EAAE,CA2CvD;AAED,6FAA6F;AAC7F,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAgBvF;AA4DD;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,GAAG,gBAAgB,EAAE,CA2M5F;AAED,wEAAwE;AACxE,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,SAAS,gBAAgB,EAAE,GAAG,OAAO,CAElF;AAED,yEAAyE;AACzE,wBAAgB,cAAc,CAC5B,QAAQ,EAAE,SAAS,gBAAgB,EAAE,GACpC,GAAG,CAAC,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAQjC"}

package/dist/agents/direct/reference-validation.js

@@ -0,0 +1,415 @@
+/**
+ * Deterministic cross-file reference checking for generated web output. It
+ * answers one question the per-file syntax gate cannot: do the files that were
+ * generated independently actually agree with each other? Source is never
+ * executed and no model request is issued — every finding comes from the same
+ * static extractors ProjectMemory already uses.
+ *
+ * This is reference checking, not verification. A clean result means the named
+ * references line up, never that the project behaves correctly.
+ */
+import { dirname, extname, resolve as resolvePath, sep } from "node:path";
+import { cssFacts, htmlFacts, javaScriptFacts } from "./project-contracts.js";
+/** Files whose cross-references this module understands. */
+export const REFERENCE_EXTENSIONS = new Set([".html", ".htm", ".css", ".js", ".jsx", ".mjs"]);
+const MAX_FINDINGS_PER_CODE = 12;
+const MAX_DETAIL_CHARS = 220;
+/** Only properties that can make content invisible are worth a blocking claim. */
+const VISIBILITY_PROPERTIES = new Set(["opacity", "display", "visibility"]);
+/**
+ * True when a declaration actually hides content. Comparing raw strings is not
+ * enough: `opacity:1 !important` and `opacity:1` differ textually but both
+ * reveal, and flagging that pair reports a working stylesheet as broken.
+ */
+function hidesContent(property, value) {
+    const normalized = value.replace(/!important/u, "").trim().toLowerCase();
+    if (property === "opacity")
+        return Number.parseFloat(normalized) === 0;
+    if (property === "display")
+        return normalized === "none";
+    if (property === "visibility")
+        return normalized === "hidden" || normalized === "collapse";
+    return false;
+}
+function oneLine(value, limit = MAX_DETAIL_CHARS) {
+    const sanitized = value
+        .replace(/[\u0000-\u0008\u000b-\u001f\u007f]/gu, " ")
+        .replace(/\s+/gu, " ")
+        .trim();
+    return sanitized.length <= limit ? sanitized : `${sanitized.slice(0, Math.max(0, limit - 1))}…`;
+}
+function toPosix(path) {
+    return path.split(sep).join("/").replace(/^\.\//u, "");
+}
+function parseDeclarations(body) {
+    const declarations = new Map();
+    for (const part of body.split(";")) {
+        const colon = part.indexOf(":");
+        if (colon === -1)
+            continue;
+        const property = part.slice(0, colon).trim().toLowerCase();
+        const value = part.slice(colon + 1).trim();
+        if (property.length === 0 || value.length === 0)
+            continue;
+        declarations.set(property, value);
+    }
+    return declarations;
+}
+/**
+ * Walk style rules with brace awareness so rules nested in `@media`/`@supports`
+ * are still seen and statement at-rules such as `@import` do not leak into the
+ * next selector.
+ */
+export function scanCssRules(content) {
+    const text = content.replace(/\/\*[\s\S]*?\*\//gu, " ");
+    const rules = [];
+    let prelude = "";
+    let order = 0;
+    let index = 0;
+    let groupDepth = 0;
+    while (index < text.length) {
+        const char = text[index];
+        if (char === "{") {
+            const head = prelude.trim();
+            prelude = "";
+            index += 1;
+            if (head.startsWith("@")) {
+                groupDepth += 1;
+                continue;
+            }
+            const end = text.indexOf("}", index);
+            const body = end === -1 ? text.slice(index) : text.slice(index, end);
+            const selectors = head.split(",").map((entry) => entry.trim()).filter((entry) => entry.length > 0);
+            if (selectors.length > 0) {
+                rules.push({ selectors, declarations: parseDeclarations(body), order });
+                order += 1;
+            }
+            index = end === -1 ? text.length : end + 1;
+            continue;
+        }
+        if (char === "}") {
+            if (groupDepth > 0)
+                groupDepth -= 1;
+            prelude = "";
+            index += 1;
+            continue;
+        }
+        // A statement at-rule (`@import …;`, `@charset …;`) ends here, not at a brace.
+        if (char === ";") {
+            prelude = "";
+            index += 1;
+            continue;
+        }
+        prelude += char;
+        index += 1;
+    }
+    return rules;
+}
+/** CSS specificity as (ids, classes+attributes+pseudo-classes, elements+pseudo-elements). */
+export function selectorSpecificity(selector) {
+    const cleaned = selector.replace(/\s*[>+~]\s*/gu, " ").trim();
+    const withoutPseudoElements = cleaned.replace(/::[A-Za-z-]+/gu, " ");
+    const ids = (cleaned.match(/#[A-Za-z0-9_-]+/gu) ?? []).length;
+    const classes = (cleaned.match(/\.[A-Za-z0-9_-]+/gu) ?? []).length;
+    const attributes = (cleaned.match(/\[[^\]]*\]/gu) ?? []).length;
+    const pseudoClasses = (withoutPseudoElements.match(/:[A-Za-z-]+/gu) ?? []).length;
+    const pseudoElements = (cleaned.match(/::[A-Za-z-]+/gu) ?? []).length;
+    const bare = withoutPseudoElements
+        .replace(/#[A-Za-z0-9_-]+/gu, " ")
+        .replace(/\.[A-Za-z0-9_-]+/gu, " ")
+        .replace(/\[[^\]]*\]/gu, " ")
+        .replace(/:[A-Za-z-]+(?:\([^)]*\))?/gu, " ")
+        .split(/\s+/u)
+        .filter((part) => /^[a-zA-Z][a-zA-Z0-9-]*$/u.test(part)).length;
+    return [ids, classes + attributes + pseudoClasses, bare + pseudoElements];
+}
+function comparesAtLeast(left, right) {
+    for (let index = 0; index < 3; index += 1) {
+        if (left[index] !== right[index])
+            return left[index] > right[index];
+    }
+    return true;
+}
+/** The rightmost compound selector — the element the rule actually styles. */
+function subjectCompound(selector) {
+    const parts = selector.replace(/\s*[>+~]\s*/gu, " ").trim().split(/\s+/u);
+    return parts[parts.length - 1] ?? "";
+}
+function compoundClasses(compound) {
+    return new Set((compound.match(/\.[A-Za-z0-9_-]+/gu) ?? []).map((entry) => entry.slice(1)));
+}
+function isSubset(left, right) {
+    for (const value of left)
+        if (!right.has(value))
+            return false;
+    return true;
+}
+function selectorClassTokens(selector) {
+    return (selector.match(/\.[A-Za-z0-9_-]+/gu) ?? []).map((entry) => entry.slice(1));
+}
+function selectorIdTokens(selector) {
+    return (selector.match(/#[A-Za-z0-9_-]+/gu) ?? []).map((entry) => entry.slice(1));
+}
+function isExternalReference(reference) {
+    return /^(?:[a-z][a-z0-9+.-]*:|\/\/|#|data:)/iu.test(reference);
+}
+/** Resolve an HTML-relative reference to a project-relative POSIX path. */
+function resolveReference(fromPath, reference) {
+    const withoutQuery = reference.split(/[?#]/u)[0] ?? "";
+    if (withoutQuery.length === 0)
+        return undefined;
+    if (withoutQuery.startsWith("/"))
+        return withoutQuery.slice(1);
+    const base = dirname(`/${fromPath}`);
+    const resolved = resolvePath(base, withoutQuery);
+    return toPosix(resolved).replace(/^\//u, "");
+}
+function push(findings, counts, finding) {
+    const seen = counts.get(finding.code) ?? 0;
+    if (seen >= MAX_FINDINGS_PER_CODE)
+        return;
+    counts.set(finding.code, seen + 1);
+    findings.push({ ...finding, detail: oneLine(finding.detail) });
+}
+/**
+ * Cross-check the supplied web files against one another. Only files produced
+ * by this run are reported against, so a pre-existing inconsistency in the
+ * working tree never blocks a run that did not touch it.
+ */
+export function collectReferenceFindings(files) {
+    const html = files.filter((file) => [".html", ".htm"].includes(extname(file.path).toLowerCase()));
+    const css = files.filter((file) => extname(file.path).toLowerCase() === ".css");
+    const scripts = files.filter((file) => [".js", ".jsx", ".mjs"].includes(extname(file.path).toLowerCase()));
+    const findings = [];
+    const counts = new Map();
+    if (html.length === 0 && css.length === 0 && scripts.length === 0)
+        return findings;
+    const knownPaths = new Set(files.map((file) => file.path));
+    const htmlByFile = new Map(html.map((file) => [file.path, htmlFacts(file.content)]));
+    const cssByFile = new Map(css.map((file) => [file.path, cssFacts(file.content)]));
+    const scriptByFile = new Map(scripts.map((file) => [file.path, javaScriptFacts(file.content)]));
+    const htmlClasses = new Set();
+    const htmlIds = new Set();
+    for (const facts of htmlByFile.values()) {
+        for (const value of facts.classes)
+            if (value.length > 0)
+                htmlClasses.add(value);
+        for (const value of facts.ids)
+            if (value.length > 0)
+                htmlIds.add(value);
+    }
+    const cssSelectorClasses = new Set();
+    const cssSelectorIds = new Set();
+    for (const facts of cssByFile.values()) {
+        for (const selector of facts.selectors) {
+            for (const token of selectorClassTokens(selector))
+                cssSelectorClasses.add(token);
+            for (const token of selectorIdTokens(selector))
+                cssSelectorIds.add(token);
+        }
+    }
+    const toggledClasses = new Set();
+    for (const facts of scriptByFile.values()) {
+        for (const value of facts.toggledClasses)
+            if (value.length > 0)
+                toggledClasses.add(value);
+    }
+    // Blocking: a script queries a class or id that no markup in the project defines.
+    if (html.length > 0) {
+        for (const file of scripts) {
+            if (!file.generated)
+                continue;
+            const facts = scriptByFile.get(file.path);
+            for (const selector of new Set(facts.selectors)) {
+                for (const token of selectorIdTokens(selector)) {
+                    if (!htmlIds.has(token)) {
+                        push(findings, counts, {
+                            code: "JS_SELECTOR_MISSING",
+                            severity: "blocking",
+                            path: file.path,
+                            detail: `${file.path} queries "${selector}" but no id "${token}" exists in the generated markup.`,
+                        });
+                    }
+                }
+                for (const token of selectorClassTokens(selector)) {
+                    if (!htmlClasses.has(token)) {
+                        push(findings, counts, {
+                            code: "JS_SELECTOR_MISSING",
+                            severity: "blocking",
+                            path: file.path,
+                            detail: `${file.path} queries "${selector}" but no element with class "${token}" exists in the generated markup.`,
+                        });
+                    }
+                }
+            }
+        }
+    }
+    // Blocking: markup links a stylesheet or script that the project does not contain.
+    for (const file of html) {
+        if (!file.generated)
+            continue;
+        const facts = htmlByFile.get(file.path);
+        for (const reference of new Set([...facts.stylesheets, ...facts.scripts])) {
+            if (isExternalReference(reference))
+                continue;
+            const resolved = resolveReference(file.path, reference);
+            if (resolved === undefined || knownPaths.has(resolved))
+                continue;
+            push(findings, counts, {
+                code: "HTML_ASSET_MISSING",
+                severity: "blocking",
+                path: file.path,
+                detail: `${file.path} references "${reference}" but ${resolved} is not part of this project.`,
+            });
+        }
+    }
+    const rulesByFile = new Map(css.map((file) => [file.path, scanCssRules(file.content)]));
+    // Blocking: a class the script toggles to reveal content is outranked by a
+    // rule that hides the same element, so adding the class can never take effect.
+    for (const [path, rules] of rulesByFile) {
+        const file = css.find((entry) => entry.path === path);
+        if (!file.generated)
+            continue;
+        for (const stateClass of toggledClasses) {
+            for (const revealing of rules) {
+                for (const revealSelector of revealing.selectors) {
+                    const revealSubject = subjectCompound(revealSelector);
+                    const revealClasses = compoundClasses(revealSubject);
+                    if (!revealClasses.has(stateClass))
+                        continue;
+                    for (const hiding of rules) {
+                        for (const hideSelector of hiding.selectors) {
+                            const hideClasses = compoundClasses(subjectCompound(hideSelector));
+                            if (hideClasses.has(stateClass) || !isSubset(hideClasses, revealClasses))
+                                continue;
+                            for (const [property, hideValue] of hiding.declarations) {
+                                if (!VISIBILITY_PROPERTIES.has(property))
+                                    continue;
+                                const revealValue = revealing.declarations.get(property);
+                                // Only a genuinely hiding value defeated by a revealing one is
+                                // a defect; two rules that both reveal are not in conflict.
+                                if (revealValue === undefined)
+                                    continue;
+                                if (!hidesContent(property, hideValue) || hidesContent(property, revealValue))
+                                    continue;
+                                const revealImportant = /!important/u.test(revealValue);
+                                const hideImportant = /!important/u.test(hideValue);
+                                if (revealImportant && !hideImportant)
+                                    continue;
+                                if (!hideImportant && !revealImportant
+                                    && !comparesAtLeast(selectorSpecificity(hideSelector), selectorSpecificity(revealSelector))) {
+                                    continue;
+                                }
+                                push(findings, counts, {
+                                    code: "STATE_CLASS_DEFEATED",
+                                    severity: "blocking",
+                                    path,
+                                    detail: `"${hideSelector}" sets ${property}:${hideValue} and outranks "${revealSelector}"`
+                                        + ` (${property}:${revealValue}), so adding the "${stateClass}" class never reveals the element.`,
+                                });
+                            }
+                        }
+                    }
+                }
+            }
+        }
+    }
+    // Blocking: the script hides elements with the `hidden` attribute while the
+    // stylesheet gives them a `display`, which silently defeats hiding.
+    const hidesWithAttribute = [...scriptByFile.values()].some((facts) => facts.togglesHiddenAttribute);
+    if (hidesWithAttribute) {
+        // Name the rule the script actually operates on rather than whichever rule
+        // happens to set `display` first, so the hint points at the real fix.
+        const queriedClasses = new Set();
+        for (const facts of scriptByFile.values()) {
+            for (const selector of facts.selectors) {
+                for (const token of selectorClassTokens(selector))
+                    queriedClasses.add(token);
+            }
+        }
+        for (const [path, rules] of rulesByFile) {
+            const file = css.find((entry) => entry.path === path);
+            if (!file.generated)
+                continue;
+            const handlesHidden = rules.some((rule) => rule.selectors.some((selector) => /\[hidden\]/u.test(selector)));
+            if (handlesHidden)
+                continue;
+            const laysOut = rules.filter((rule) => {
+                const display = rule.declarations.get("display");
+                return display !== undefined && !display.startsWith("none");
+            });
+            // Which element the script hides is a dataflow question this static pass
+            // cannot answer, so list the candidates rather than blaming one rule.
+            const candidates = laysOut
+                .flatMap((rule) => rule.selectors)
+                .filter((selector) => selectorClassTokens(subjectCompound(selector)).some((token) => queriedClasses.has(token)));
+            const named = (candidates.length > 0 ? candidates : laysOut.flatMap((rule) => rule.selectors)).slice(0, 3);
+            if (named.length === 0)
+                continue;
+            push(findings, counts, {
+                code: "HIDDEN_ATTRIBUTE_OVERRIDDEN",
+                severity: "blocking",
+                path,
+                detail: `A script toggles the hidden attribute, but ${path} has no [hidden] rule while`
+                    + ` ${named.map((selector) => `"${selector}"`).join(", ")} set an explicit display,`
+                    + ` so hidden elements still occupy layout. Add a [hidden] { display: none } rule.`,
+            });
+        }
+    }
+    // Advisory: markup class that no stylesheet styles.
+    if (css.length > 0) {
+        for (const file of html) {
+            if (!file.generated)
+                continue;
+            const facts = htmlByFile.get(file.path);
+            for (const value of new Set(facts.classes)) {
+                if (value.length === 0 || cssSelectorClasses.has(value) || toggledClasses.has(value))
+                    continue;
+                push(findings, counts, {
+                    code: "HTML_CLASS_UNSTYLED",
+                    severity: "advisory",
+                    path: file.path,
+                    detail: `${file.path} uses class "${value}" that no generated stylesheet defines a rule for.`,
+                });
+            }
+        }
+    }
+    // Advisory: stylesheet rule that no markup or script can ever match.
+    if (html.length > 0) {
+        for (const file of css) {
+            if (!file.generated)
+                continue;
+            const facts = cssByFile.get(file.path);
+            const reported = new Set();
+            for (const selector of facts.selectors) {
+                for (const token of selectorClassTokens(selector)) {
+                    if (htmlClasses.has(token) || toggledClasses.has(token) || reported.has(token))
+                        continue;
+                    reported.add(token);
+                    push(findings, counts, {
+                        code: "CSS_SELECTOR_UNUSED",
+                        severity: "advisory",
+                        path: file.path,
+                        detail: `${file.path} styles class "${token}" that no generated markup or script uses.`,
+                    });
+                }
+            }
+        }
+    }
+    return findings;
+}
+/** True when any finding must stop the run before files are written. */
+export function hasBlockingFindings(findings) {
+    return findings.some((finding) => finding.severity === "blocking");
+}
+/** Group findings by the file that has to change, for bounded repair. */
+export function findingsByPath(findings) {
+    const grouped = new Map();
+    for (const finding of findings) {
+        const bucket = grouped.get(finding.path) ?? [];
+        bucket.push(finding);
+        grouped.set(finding.path, bucket);
+    }
+    return grouped;
+}
+//# sourceMappingURL=reference-validation.js.map

package/dist/agents/direct/reference-validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reference-validation.js","sourceRoot":"","sources":["../../../src/agents/direct/reference-validation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,IAAI,WAAW,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAC1E,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAE9E,4DAA4D;AAC5D,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAwC9F,MAAM,qBAAqB,GAAG,EAAE,CAAC;AACjC,MAAM,gBAAgB,GAAG,GAAG,CAAC;AAC7B,kFAAkF;AAClF,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC;AAE5E;;;;GAIG;AACH,SAAS,YAAY,CAAC,QAAgB,EAAE,KAAa;IACnD,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACzE,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IACvE,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,UAAU,KAAK,MAAM,CAAC;IACzD,IAAI,QAAQ,KAAK,YAAY;QAAE,OAAO,UAAU,KAAK,QAAQ,IAAI,UAAU,KAAK,UAAU,CAAC;IAC3F,OAAO,KAAK,CAAC;AACf,CAAC;AAQD,SAAS,OAAO,CAAC,KAAa,EAAE,KAAK,GAAG,gBAAgB;IACtD,MAAM,SAAS,GAAG,KAAK;SACpB,OAAO,CAAC,sCAAsC,EAAE,GAAG,CAAC;SACpD,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC;SACrB,IAAI,EAAE,CAAC;IACV,OAAO,SAAS,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;AAClG,CAAC;AAED,SAAS,OAAO,CAAC,IAAY;IAC3B,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY;IACrC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC/C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,KAAK,KAAK,CAAC,CAAC;YAAE,SAAS;QAC3B,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAC3D,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC3C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAC1D,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,OAAe;IAC1C,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,oBAAoB,EAAE,GAAG,CAAC,CAAC;IACxD,MAAM,KAAK,GAAc,EAAE,CAAC;IAC5B,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,OAAO,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAE,CAAC;QAC1B,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjB,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;YAC5B,OAAO,GAAG,EAAE,CAAC;YACb,KAAK,IAAI,CAAC,CAAC;YACX,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBACzB,UAAU,IAAI,CAAC,CAAC;gBAChB,SAAS;YACX,CAAC;YACD,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YACrC,MAAM,IAAI,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACrE,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YACnG,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACzB,KAAK,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,YAAY,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;gBACxE,KAAK,IAAI,CAAC,CAAC;YACb,CAAC;YACD,KAAK,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;YAC3C,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjB,IAAI,UAAU,GAAG,CAAC;gBAAE,UAAU,IAAI,CAAC,CAAC;YACpC,OAAO,GAAG,EAAE,CAAC;YACb,KAAK,IAAI,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QACD,+EAA+E;QAC/E,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjB,OAAO,GAAG,EAAE,CAAC;YACb,KAAK,IAAI,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QACD,OAAO,IAAI,IAAI,CAAC;QAChB,KAAK,IAAI,CAAC,CAAC;IACb,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,6FAA6F;AAC7F,MAAM,UAAU,mBAAmB,CAAC,QAAgB;IAClD,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9D,MAAM,qBAAqB,GAAG,OAAO,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC;IACrE,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,mBAAmB,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IAC9D,MAAM,OAAO,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,oBAAoB,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IACnE,MAAM,UAAU,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IAChE,MAAM,aAAa,GAAG,CAAC,qBAAqB,CAAC,KAAK,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IAClF,MAAM,cAAc,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IACtE,MAAM,IAAI,GAAG,qBAAqB;SAC/B,OAAO,CAAC,mBAAmB,EAAE,GAAG,CAAC;SACjC,OAAO,CAAC,oBAAoB,EAAE,GAAG,CAAC;SAClC,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC;SAC5B,OAAO,CAAC,6BAA6B,EAAE,GAAG,CAAC;SAC3C,KAAK,CAAC,MAAM,CAAC;SACb,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;IAClE,OAAO,CAAC,GAAG,EAAE,OAAO,GAAG,UAAU,GAAG,aAAa,EAAE,IAAI,GAAG,cAAc,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,eAAe,CACtB,IAAuC,EACvC,KAAwC;IAExC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC1C,IAAI,IAAI,CAAC,KAAK,CAAE,KAAK,KAAK,CAAC,KAAK,CAAE;YAAE,OAAO,IAAI,CAAC,KAAK,CAAE,GAAG,KAAK,CAAC,KAAK,CAAE,CAAC;IAC1E,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8EAA8E;AAC9E,SAAS,eAAe,CAAC,QAAgB;IACvC,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1E,OAAO,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AACvC,CAAC;AAED,SAAS,eAAe,CAAC,QAAgB;IACvC,OAAO,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,oBAAoB,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC9F,CAAC;AAED,SAAS,QAAQ,CAAC,IAAyB,EAAE,KAA0B;IACrE,KAAK,MAAM,KAAK,IAAI,IAAI;QAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;IAC9D,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,mBAAmB,CAAC,QAAgB;IAC3C,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,oBAAoB,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AACrF,CAAC;AAED,SAAS,gBAAgB,CAAC,QAAgB;IACxC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,mBAAmB,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AACpF,CAAC;AAED,SAAS,mBAAmB,CAAC,SAAiB;IAC5C,OAAO,wCAAwC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;AAClE,CAAC;AAED,2EAA2E;AAC3E,SAAS,gBAAgB,CAAC,QAAgB,EAAE,SAAiB;IAC3D,MAAM,YAAY,GAAG,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACvD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAChD,IAAI,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,QAAQ,EAAE,CAAC,CAAC;IACrC,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IACjD,OAAO,OAAO,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;AAC/C,CAAC;AAED,SAAS,IAAI,CACX,QAA4B,EAC5B,MAAyC,EACzC,OAAyB;IAEzB,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,IAAI,IAAI,qBAAqB;QAAE,OAAO;IAC1C,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC;IACnC,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AACjE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAA+B;IACtE,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IAClG,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,KAAK,MAAM,CAAC,CAAC;IAChF,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IAC3G,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgC,CAAC;IACvD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IAEnF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3D,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IACrF,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAClF,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAEhG,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;QACxC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,OAAO;YAAE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChF,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,GAAG;YAAE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC1E,CAAC;IACD,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC7C,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QACvC,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YACvC,KAAK,MAAM,KAAK,IAAI,mBAAmB,CAAC,QAAQ,CAAC;gBAAE,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACjF,KAAK,MAAM,KAAK,IAAI,gBAAgB,CAAC,QAAQ,CAAC;gBAAE,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;IACD,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,KAAK,MAAM,KAAK,IAAI,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;QAC1C,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,cAAc;YAAE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC5F,CAAC;IAED,kFAAkF;IAClF,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;YAC3B,IAAI,CAAC,IAAI,CAAC,SAAS;gBAAE,SAAS;YAC9B,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC;YAC3C,KAAK,MAAM,QAAQ,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;gBAChD,KAAK,MAAM,KAAK,IAAI,gBAAgB,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC/C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;wBACxB,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE;4BACrB,IAAI,EAAE,qBAAqB;4BAC3B,QAAQ,EAAE,UAAU;4BACpB,IAAI,EAAE,IAAI,CAAC,IAAI;4BACf,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,aAAa,QAAQ,gBAAgB,KAAK,mCAAmC;yBAClG,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;gBACD,KAAK,MAAM,KAAK,IAAI,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAClD,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;wBAC5B,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE;4BACrB,IAAI,EAAE,qBAAqB;4BAC3B,QAAQ,EAAE,UAAU;4BACpB,IAAI,EAAE,IAAI,CAAC,IAAI;4BACf,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,aAAa,QAAQ,gCAAgC,KAAK,mCAAmC;yBAClH,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,mFAAmF;IACnF,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,CAAC,IAAI,CAAC,SAAS;YAAE,SAAS;QAC9B,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC;QACzC,KAAK,MAAM,SAAS,IAAI,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,WAAW,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;YAC1E,IAAI,mBAAmB,CAAC,SAAS,CAAC;gBAAE,SAAS;YAC7C,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACxD,IAAI,QAAQ,KAAK,SAAS,IAAI,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAAE,SAAS;YACjE,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE;gBACrB,IAAI,EAAE,oBAAoB;gBAC1B,QAAQ,EAAE,UAAU;gBACpB,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,gBAAgB,SAAS,SAAS,QAAQ,+BAA+B;aAC9F,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAExF,2EAA2E;IAC3E,+EAA+E;IAC/E,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,WAAW,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAE,CAAC;QACvD,IAAI,CAAC,IAAI,CAAC,SAAS;YAAE,SAAS;QAC9B,KAAK,MAAM,UAAU,IAAI,cAAc,EAAE,CAAC;YACxC,KAAK,MAAM,SAAS,IAAI,KAAK,EAAE,CAAC;gBAC9B,KAAK,MAAM,cAAc,IAAI,SAAS,CAAC,SAAS,EAAE,CAAC;oBACjD,MAAM,aAAa,GAAG,eAAe,CAAC,cAAc,CAAC,CAAC;oBACtD,MAAM,aAAa,GAAG,eAAe,CAAC,aAAa,CAAC,CAAC;oBACrD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC;wBAAE,SAAS;oBAC7C,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,CAAC;wBAC3B,KAAK,MAAM,YAAY,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;4BAC5C,MAAM,WAAW,GAAG,eAAe,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC;4BACnE,IAAI,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC;gCAAE,SAAS;4BACnF,KAAK,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;gCACxD,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,QAAQ,CAAC;oCAAE,SAAS;gCACnD,MAAM,WAAW,GAAG,SAAS,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gCACzD,+DAA+D;gCAC/D,4DAA4D;gCAC5D,IAAI,WAAW,KAAK,SAAS;oCAAE,SAAS;gCACxC,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,YAAY,CAAC,QAAQ,EAAE,WAAW,CAAC;oCAAE,SAAS;gCACxF,MAAM,eAAe,GAAG,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gCACxD,MAAM,aAAa,GAAG,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gCACpD,IAAI,eAAe,IAAI,CAAC,aAAa;oCAAE,SAAS;gCAChD,IAAI,CAAC,aAAa,IAAI,CAAC,eAAe;uCACjC,CAAC,eAAe,CAAC,mBAAmB,CAAC,YAAY,CAAC,EAAE,mBAAmB,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC;oCAC9F,SAAS;gCACX,CAAC;gCACD,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE;oCACrB,IAAI,EAAE,sBAAsB;oCAC5B,QAAQ,EAAE,UAAU;oCACpB,IAAI;oCACJ,MAAM,EAAE,IAAI,YAAY,UAAU,QAAQ,IAAI,SAAS,kBAAkB,cAAc,GAAG;0CACtF,KAAK,QAAQ,IAAI,WAAW,qBAAqB,UAAU,oCAAoC;iCACpG,CAAC,CAAC;4BACL,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,oEAAoE;IACpE,MAAM,kBAAkB,GAAG,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC;IACpG,IAAI,kBAAkB,EAAE,CAAC;QACvB,2EAA2E;QAC3E,sEAAsE;QACtE,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;QACzC,KAAK,MAAM,KAAK,IAAI,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;YAC1C,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;gBACvC,KAAK,MAAM,KAAK,IAAI,mBAAmB,CAAC,QAAQ,CAAC;oBAAE,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAC/E,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,WAAW,EAAE,CAAC;YACxC,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAE,CAAC;YACvD,IAAI,CAAC,IAAI,CAAC,SAAS;gBAAE,SAAS;YAC9B,MAAM,aAAa,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC5G,IAAI,aAAa;gBAAE,SAAS;YAC5B,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;gBACpC,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBACjD,OAAO,OAAO,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YAC9D,CAAC,CAAC,CAAC;YACH,yEAAyE;YACzE,sEAAsE;YACtE,MAAM,UAAU,GAAG,OAAO;iBACvB,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC;iBACjC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,mBAAmB,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACnH,MAAM,KAAK,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC3G,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YACjC,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE;gBACrB,IAAI,EAAE,6BAA6B;gBACnC,QAAQ,EAAE,UAAU;gBACpB,IAAI;gBACJ,MAAM,EAAE,8CAA8C,IAAI,6BAA6B;sBACnF,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,2BAA2B;sBAClF,iFAAiF;aACtF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,oDAAoD;IACpD,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnB,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;YACxB,IAAI,CAAC,IAAI,CAAC,SAAS;gBAAE,SAAS;YAC9B,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC;YACzC,KAAK,MAAM,KAAK,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC3C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC;oBAAE,SAAS;gBAC/F,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE;oBACrB,IAAI,EAAE,qBAAqB;oBAC3B,QAAQ,EAAE,UAAU;oBACpB,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,gBAAgB,KAAK,oDAAoD;iBAC9F,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,qEAAqE;IACrE,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,SAAS;gBAAE,SAAS;YAC9B,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC;YACxC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;YACnC,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;gBACvC,KAAK,MAAM,KAAK,IAAI,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAClD,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC;wBAAE,SAAS;oBACzF,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;oBACpB,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE;wBACrB,IAAI,EAAE,qBAAqB;wBAC3B,QAAQ,EAAE,UAAU;wBACpB,IAAI,EAAE,IAAI,CAAC,IAAI;wBACf,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,kBAAkB,KAAK,4CAA4C;qBACxF,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,mBAAmB,CAAC,QAAqC;IACvE,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC;AACrE,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,cAAc,CAC5B,QAAqC;IAErC,MAAM,OAAO,GAAG,IAAI,GAAG,EAA8B,CAAC;IACtD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC/C,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACrB,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/agents/direct/types.d.ts

@@ -1,4 +1,5 @@
 import type { StaticFileMemoryEntry } from "../../pipeline/file-memory.ts";
+import type { UnitTodoList } from "./unit-todos.ts";
 export interface LanguageProfile {
     /** Output file extension without a dot. */
     ext: string;
@@ -36,6 +37,14 @@ export interface UnitGenerationContext {
     fileMemory?: string;
     /** Target-specific current/projected repository evidence. */
     projectMemory?: string;
+    /** Shared contract agreed for this run, when planning is enabled. */
+    blueprint?: string;
+    /** Rendered todo list for this target, when a todo pass ran. */
+    todos?: string;
+    /** Previous complete candidate; present only on a refinement pass. */
+    currentDraft?: string;
+    /** Todo items the deterministic coverage check did not find in the draft. */
+    unaddressedTodos?: readonly string[];
 }
 export interface ProjectRelationship {
     path: string;
@@ -61,6 +70,14 @@ export type ConversionProgress = {
     kind: "start";
     unit: ConversionUnit;
     attempt: number;
+} | {
+    kind: "plan";
+    unit: ConversionUnit;
+} | {
+    kind: "refine";
+    unit: ConversionUnit;
+    pass: number;
+    unaddressed: number;
 } | {
     kind: "done";
     unit: ConversionUnit;
@@ -69,6 +86,17 @@ export type ConversionProgress = {
     unit: ConversionUnit;
     reason: string;
 };
+/** What one unit's planning passes produced, for honest run disclosure. */
+export interface UnitPlanningOutcome {
+    unit: ConversionUnit;
+    todoRequests: number;
+    codingRequests: number;
+    /** Set when a refinement was generated and then rejected by the ratchet. */
+    refinementRejected?: string;
+    addressed: number;
+    unaddressed: number;
+    unverifiable: number;
+}
 export interface GenerateUnitsOptions {
     /** Extra generation attempts when a unit trips the FileMemory guard or the provider errors. */
     retries?: number;
@@ -79,6 +107,15 @@ export interface GenerateUnitsOptions {
     projectMemory?: ProjectMemoryProvider;
     /** Total FileMemory + ProjectMemory character allowance for one request. */
     contextCharBudget?: number;
+    /**
+     * Per-unit todo planning. Returning undefined, or throwing, leaves the unit on
+     * the single-pass path: planning enriches context and must never fail a unit.
+     */
+    plan?: (unit: ConversionUnit, context: UnitGenerationContext) => Promise<UnitTodoList | undefined>;
+    /** Coding requests allowed per unit. 1 disables refinement entirely. */
+    maxCodingPasses?: number;
+    /** Collected per-unit planning outcomes, for run disclosure. */
+    onPlanningOutcome?: (outcome: UnitPlanningOutcome) => void;
 }
 export interface DirectDiscoveryNotice {
     code: "TARGET_EXISTS" | "UNSUPPORTED_MARKER_FILE" | "EXTENSION_CONFLICT" | "UNCONFIGURED_EXTENSION";
@@ -105,6 +142,14 @@ export interface GenerateOptions {
     fileMemory?: string;
     /** Compact current/projected repository evidence for this exact target. */
     projectMemory?: string;
+    /** Shared contract agreed for this run. */
+    blueprint?: string;
+    /** Rendered todo list for this target. */
+    todos?: string;
+    /** Previous complete candidate on a refinement pass. */
+    currentDraft?: string;
+    /** Todo items not found in the draft. */
+    unaddressedTodos?: readonly string[];
     signal?: AbortSignal;
 }
 export interface AppliedUnit {

package/dist/agents/direct/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/agents/direct/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAE3E,MAAM,WAAW,eAAe;IAC9B,2CAA2C;IAC3C,GAAG,EAAE,MAAM,CAAC;IACZ,mCAAmC;IACnC,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,GAAG,QAAQ,CAAC;IACxB,oCAAoC;IACpC,UAAU,EAAE,MAAM,CAAC;IACnB,4BAA4B;IAC5B,cAAc,EAAE,MAAM,CAAC;IACvB,gDAAgD;IAChD,MAAM,EAAE,MAAM,CAAC;IACf,qEAAqE;IACrE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,mEAAmE;IACnE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,wEAAwE;IACxE,KAAK,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC;IACvC,uFAAuF;IACvF,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,+DAA+D;IAC/D,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,wDAAwD;IACxD,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,MAAM,eAAe,GAAG,qBAAqB,CAAC;AAEpD,MAAM,WAAW,qBAAqB;IACpC,MAAM,EAAE,OAAO,CAAC;IAChB,wEAAwE;IACxE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,6DAA6D;IAC7D,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,SAAS,GAAG,SAAS,GAAG,WAAW,CAAC;IAC3C,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,qFAAqF;AACrF,MAAM,WAAW,qBAAqB;IACpC,SAAS,CAAC,IAAI,EAAE,cAAc,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAC7D,QAAQ,CAAC,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACnD,qFAAqF;IACrF,YAAY,CAAC,CAAC,IAAI,EAAE,cAAc,GAAG,SAAS,mBAAmB,EAAE,CAAC;CACrE;AAED,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,4EAA4E;IAC5E,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,wEAAwE;AACxE,MAAM,MAAM,kBAAkB,GAC1B;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,cAAc,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GACxD;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,cAAc,CAAA;CAAE,GACtC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,cAAc,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAE3D,MAAM,WAAW,oBAAoB;IACnC,+FAA+F;IAC/F,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,kBAAkB,KAAK,IAAI,CAAC;IACjD,8EAA8E;IAC9E,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IACjE,+EAA+E;IAC/E,aAAa,CAAC,EAAE,qBAAqB,CAAC;IACtC,4EAA4E;IAC5E,iBAAiB,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,qBAAqB;IACpC,IAAI,EACA,eAAe,GACf,yBAAyB,GACzB,oBAAoB,GACpB,wBAAwB,CAAC;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,qBAAqB;IACpC,KAAK,EAAE,cAAc,EAAE,CAAC;IACxB,OAAO,EAAE,qBAAqB,EAAE,CAAC;IACjC,yEAAyE;IACzE,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,yDAAyD;IACzD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,8DAA8D;IAC9D,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,6DAA6D;IAC7D,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,2EAA2E;IAC3E,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,MAAM,CAAC,EAAE,WAAW,CAAC;CACtB;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,cAAc,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;CACrB"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/agents/direct/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAC3E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAEpD,MAAM,WAAW,eAAe;IAC9B,2CAA2C;IAC3C,GAAG,EAAE,MAAM,CAAC;IACZ,mCAAmC;IACnC,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,GAAG,QAAQ,CAAC;IACxB,oCAAoC;IACpC,UAAU,EAAE,MAAM,CAAC;IACnB,4BAA4B;IAC5B,cAAc,EAAE,MAAM,CAAC;IACvB,gDAAgD;IAChD,MAAM,EAAE,MAAM,CAAC;IACf,qEAAqE;IACrE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,mEAAmE;IACnE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,wEAAwE;IACxE,KAAK,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC;IACvC,uFAAuF;IACvF,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,+DAA+D;IAC/D,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,wDAAwD;IACxD,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,MAAM,eAAe,GAAG,qBAAqB,CAAC;AAEpD,MAAM,WAAW,qBAAqB;IACpC,MAAM,EAAE,OAAO,CAAC;IAChB,wEAAwE;IACxE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,6DAA6D;IAC7D,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,qEAAqE;IACrE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,gEAAgE;IAChE,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,sEAAsE;IACtE,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,6EAA6E;IAC7E,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,SAAS,GAAG,SAAS,GAAG,WAAW,CAAC;IAC3C,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,qFAAqF;AACrF,MAAM,WAAW,qBAAqB;IACpC,SAAS,CAAC,IAAI,EAAE,cAAc,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAC7D,QAAQ,CAAC,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACnD,qFAAqF;IACrF,YAAY,CAAC,CAAC,IAAI,EAAE,cAAc,GAAG,SAAS,mBAAmB,EAAE,CAAC;CACrE;AAED,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,4EAA4E;IAC5E,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,wEAAwE;AACxE,MAAM,MAAM,kBAAkB,GAC1B;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,cAAc,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GACxD;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,cAAc,CAAA;CAAE,GACtC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,cAAc,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GAC3E;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,cAAc,CAAA;CAAE,GACtC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,cAAc,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAE3D,2EAA2E;AAC3E,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,cAAc,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;IACrB,cAAc,EAAE,MAAM,CAAC;IACvB,4EAA4E;IAC5E,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,oBAAoB;IACnC,+FAA+F;IAC/F,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,kBAAkB,KAAK,IAAI,CAAC;IACjD,8EAA8E;IAC9E,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IACjE,+EAA+E;IAC/E,aAAa,CAAC,EAAE,qBAAqB,CAAC;IACtC,4EAA4E;IAC5E,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B;;;OAGG;IACH,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,qBAAqB,KAAK,OAAO,CAAC,YAAY,GAAG,SAAS,CAAC,CAAC;IACnG,wEAAwE;IACxE,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,gEAAgE;IAChE,iBAAiB,CAAC,EAAE,CAAC,OAAO,EAAE,mBAAmB,KAAK,IAAI,CAAC;CAC5D;AAED,MAAM,WAAW,qBAAqB;IACpC,IAAI,EACA,eAAe,GACf,yBAAyB,GACzB,oBAAoB,GACpB,wBAAwB,CAAC;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,qBAAqB;IACpC,KAAK,EAAE,cAAc,EAAE,CAAC;IACxB,OAAO,EAAE,qBAAqB,EAAE,CAAC;IACjC,yEAAyE;IACzE,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,yDAAyD;IACzD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,8DAA8D;IAC9D,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,6DAA6D;IAC7D,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,2EAA2E;IAC3E,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,2CAA2C;IAC3C,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,0CAA0C;IAC1C,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,wDAAwD;IACxD,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,yCAAyC;IACzC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,MAAM,CAAC,EAAE,WAAW,CAAC;CACtB;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,cAAc,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;CACrB"}

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

@@ -0,0 +1,51 @@
+import { type BlueprintVocabularyKind } from "./project-blueprint.ts";
+export interface UnitTodoExpectation {
+    kind: BlueprintVocabularyKind;
+    names: string[];
+}
+export interface UnitTodo {
+    id: string;
+    requirement: string;
+    expects?: UnitTodoExpectation;
+}
+export interface UnitTodoList {
+    todos: UnitTodo[];
+}
+export interface TodoCoverage {
+    /** Todo ids whose expected artifacts were all found in the candidate. */
+    addressed: string[];
+    /** Todo ids that promised artifacts the candidate does not contain. */
+    unaddressed: string[];
+    /** Todo ids with nothing statically checkable; disclosed, never gating. */
+    unverifiable: string[];
+}
+/** A refinement may not shrink a file below this fraction of the previous pass. */
+export declare const MIN_REFINEMENT_LENGTH_RATIO = 0.6;
+/**
+ * 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 declare function parseUnitTodoList(output: string, allowedNames?: ReadonlySet<string>): UnitTodoList;
+/**
+ * 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 declare function todoCoverage(todos: readonly UnitTodo[], targetPath: string, code: string): TodoCoverage;
+/** Render unaddressed todos for a refinement request. */
+export declare function unaddressedRequirements(todos: readonly UnitTodo[], coverage: TodoCoverage): string[];
+/** Render a todo list into the block the coding prompt receives. */
+export declare function renderTodoList(todos: readonly UnitTodo[]): string;
+export interface ContractRegression {
+    /** Artifacts present in the previous pass and absent from the next one. */
+    lost: string[];
+    /** Next length divided by previous length. */
+    shrinkRatio: number;
+}
+/** Compare two passes over the same target. Empty `lost` plus an acceptable ratio means the refinement kept everything. */
+export declare function contractRegression(targetPath: string, previous: string, next: string): ContractRegression;
+/** The ratchet: a refinement is only accepted when it is a strict improvement in coverage terms. */
+export declare function acceptsRefinement(regression: ContractRegression): boolean;
+//# sourceMappingURL=unit-todos.d.ts.map