@momentiq/dark-factory-cli 2.13.1 → 2.14.0

package/dist/commands/objectives.js

@@ -0,0 +1,545 @@
+// `df objectives` — Objectives authoring commands for verifiable-objectives
+// (momentiq-ai/dark-factory#207, objectives Phase 1).
+//
+// Subcommands:
+//   hash    — print the canonical sha256 of a criterion text (for manifest authoring)
+//   derive  — generate a .darkfactory/objectives.yaml from cycle-doc exit criteria (Task 5)
+//   check   — verify text-hash bindings in an existing manifest (Task 6)
+//
+// Exit codes: 0 success / 1 semantic failure / 2 usage error.
+import { createHash } from "node:crypto";
+import { existsSync, mkdirSync, readFileSync, writeFileSync } from "node:fs";
+import { dirname, join, resolve } from "node:path";
+import { canonicalizeCriterion, parseObjectivesManifest, SOURCE_LOCATOR_RE, } from "@momentiq/dark-factory-schemas";
+import { parse as yamlParse, stringify as yamlStringify } from "yaml";
+import { readCycleDoc } from "../mcp/cycle-doc/parser.js";
+export function parseObjectivesArgs(rest) {
+    const sub = rest[0];
+    const subRest = rest.slice(1);
+    if (sub === undefined || sub === "") {
+        return { subcommand: undefined };
+    }
+    if (sub === "hash") {
+        return parseHashArgs(subRest);
+    }
+    if (sub === "derive") {
+        return parseDeriveArgs(subRest);
+    }
+    if (sub === "check") {
+        return parseCheckArgs(subRest);
+    }
+    return { error: `unknown subcommand: ${sub}` };
+}
+function parseHashArgs(rest) {
+    let text;
+    for (let i = 0; i < rest.length; i++) {
+        const a = rest[i] ?? "";
+        if (a === "--text") {
+            const next = rest[i + 1];
+            if (next === undefined || next.startsWith("--")) {
+                return { error: "--text requires a value." };
+            }
+            text = next;
+            i++;
+            continue;
+        }
+        if (a.startsWith("--text=")) {
+            text = a.slice("--text=".length);
+            continue;
+        }
+        // Flags that are not yet implemented
+        if (a === "--locator" || a === "--cycle") {
+            return {
+                error: `${a} is not yet implemented — use --text "<criterion>" to hash a criterion directly.`,
+            };
+        }
+        if (a.startsWith("--locator=") || a.startsWith("--cycle=")) {
+            const flag = a.startsWith("--locator=") ? "--locator" : "--cycle";
+            return {
+                error: `${flag} is not yet implemented — use --text "<criterion>" to hash a criterion directly.`,
+            };
+        }
+        return { error: `unknown flag or positional arg: ${a}` };
+    }
+    if (text === undefined) {
+        return { error: "--text is required (e.g. --text \"- **EC1**: Criterion text\")." };
+    }
+    return { subcommand: "hash", text };
+}
+function parseDeriveArgs(rest) {
+    let cycle;
+    let apply = false;
+    let json = false;
+    let cwd = process.cwd();
+    for (let i = 0; i < rest.length; i++) {
+        const a = rest[i] ?? "";
+        if (a === "--cycle") {
+            const next = rest[i + 1];
+            if (next === undefined || next.startsWith("--")) {
+                return { error: "--cycle requires a value (e.g. --cycle 23)." };
+            }
+            cycle = next;
+            i++;
+            continue;
+        }
+        if (a.startsWith("--cycle=")) {
+            cycle = a.slice("--cycle=".length);
+            continue;
+        }
+        if (a === "--cwd") {
+            const next = rest[i + 1];
+            if (next === undefined || next.startsWith("--")) {
+                return { error: "--cwd requires a value." };
+            }
+            cwd = next;
+            i++;
+            continue;
+        }
+        if (a.startsWith("--cwd=")) {
+            cwd = a.slice("--cwd=".length);
+            continue;
+        }
+        if (a === "--apply") {
+            apply = true;
+            continue;
+        }
+        if (a === "--json") {
+            json = true;
+            continue;
+        }
+        return { error: `unknown flag or positional arg: ${a}` };
+    }
+    if (cycle === undefined || cycle === "") {
+        return { error: "--cycle is required (e.g. --cycle 23)." };
+    }
+    // Normalize a `cycle23` / `cycle 23` style value down to the bare number the
+    // id + source.ref use (`cycle<N>#ec<k>`, `{kind:"cycle", ref:"<N>"}`). The
+    // cycle-doc parser keys on the `cycle<N>` id form, so we rebuild that below.
+    const ref = cycle.replace(/^cycle/i, "").trim();
+    if (ref === "" || !/^\d+(?:\.\d+)*$/.test(ref)) {
+        return { error: `--cycle must be a cycle number (e.g. 23 or cycle23), got ${JSON.stringify(cycle)}.` };
+    }
+    return { subcommand: "derive", cycle: ref, apply, json, cwd };
+}
+function parseCheckArgs(rest) {
+    let json = false;
+    let cwd = process.cwd();
+    for (let i = 0; i < rest.length; i++) {
+        const a = rest[i] ?? "";
+        if (a === "--cwd") {
+            const next = rest[i + 1];
+            if (next === undefined || next.startsWith("--")) {
+                return { error: "--cwd requires a value." };
+            }
+            cwd = next;
+            i++;
+            continue;
+        }
+        if (a.startsWith("--cwd=")) {
+            cwd = a.slice("--cwd=".length);
+            continue;
+        }
+        if (a === "--json") {
+            json = true;
+            continue;
+        }
+        return { error: `unknown flag or positional arg: ${a}` };
+    }
+    return { subcommand: "check", json, cwd };
+}
+// ---------------------------------------------------------------------------
+// Exit-criteria extraction — the hash-consistency core.
+//
+// This MUST enumerate list items and assign criterion ids IDENTICALLY to the
+// Python gate validator's resolver (`validate_cycle_doc.py` `_list_items` +
+// `_find_criterion`), or a derived manifest's text-hash sha256 will not match
+// what the validator recomputes and every objective fails the gate.
+//
+//   - Item enumeration mirrors `_list_items`: a line is an item iff it matches
+//     `^\s*(?:[-*+]|\d+[.)])\s+` (dash/star/plus or `N.`/`N)` markers).
+//   - Id assignment mirrors `_find_criterion`'s resolution, inverted: the
+//     validator resolves `ec<k>` by (1) an explicit `EC<k>` label match, else
+//     (2) positional (`ec<N>` → Nth item). So we read each item's OWN `EC<k>`
+//     label (the validator's label regex, constrained to the `EC<digits>`
+//     exit-criterion convention so every id stays valid per OBJECTIVE_ID_RE);
+//     when no `EC<k>` label is present we fall back to positional `ec<index>`.
+//     Round-tripping is verified: `_find_criterion(section, <our id>)` returns
+//     the exact line we hashed, across in-order / out-of-order / mixed / plain
+//     / numbered docs (see the unit tests).
+//
+// The sha256 we emit is `sha256(canonicalizeCriterion(<raw item line>))` — the
+// FULL raw line, exactly the `ctext` the validator feeds to
+// `canonicalize_criterion`. `canonicalizeCriterion` (the shared schema mirror)
+// strips the marker + label + emphasis itself, so feeding the raw line is what
+// keeps the two sides byte-identical.
+// ---------------------------------------------------------------------------
+// Mirror of the validator's `_list_items` item-detection regex.
+const ITEM_RE = /^\s*(?:[-*+]|\d+[.)])\s+/;
+// Mirror of the validator's `_find_criterion` label regex, constrained to the
+// `EC<digits>` exit-criterion convention and capturing the number. Requires a
+// trailing separator `[:.)–—-]` exactly like the validator (so a bare
+// "`EC1` foo" with no separator correctly falls through to positional, matching
+// the validator's resolution).
+const EC_LABEL_RE = /^\s*(?:[-*+]|\d+[.)])\s*\*{0,2}EC(\d+)\*{0,2}\s*[:.)–—-]/i;
+// Display-text derivation: strip the list marker, then a leading `EC<k>` token
+// (bold/backtick-wrapped, with or without a separator), then residual emphasis,
+// and fold whitespace. This is the human-facing `text` field only — it is NOT
+// the hash input (the hash uses `canonicalizeCriterion(<raw line>)`), so its
+// exact shape carries no cross-impl contract; it just reads cleanly.
+function criterionDisplayText(rawLine) {
+    let s = rawLine.normalize("NFC");
+    s = s.replace(/^\s*(?:[-*+]|\d+[.)])\s+/, ""); // list marker
+    s = s.replace(/^\s*[`*]{0,2}EC\d+[`*]{0,2}\s*(?:[:.)–—-]\s+)?/i, ""); // EC<k> label token
+    s = s.replace(/[*`]/g, ""); // residual emphasis / code ticks
+    s = s.replace(/\s+/g, " ").trim();
+    return s;
+}
+/**
+ * Enumerate a `## Exit criteria` section body's items and assign each a
+ * validator-compatible criterion id. See the block comment above for the
+ * cross-impl-consistency contract this upholds.
+ */
+export function extractExitCriteria(sectionBody) {
+    const out = [];
+    const lines = sectionBody.split(/\r?\n/);
+    const items = lines.filter((ln) => ITEM_RE.test(ln));
+    for (let i = 0; i < items.length; i++) {
+        const raw = items[i] ?? "";
+        const labelMatch = EC_LABEL_RE.exec(raw);
+        const id = labelMatch ? `ec${parseInt(labelMatch[1] ?? "", 10)}` : `ec${i + 1}`;
+        out.push({ id, text: criterionDisplayText(raw), raw });
+    }
+    return out;
+}
+function sha256Hex(s) {
+    return createHash("sha256").update(s, "utf8").digest("hex");
+}
+const MANIFEST_RELATIVE_PATH = join(".darkfactory", "objectives.yaml");
+const HELP = [
+    "df objectives — objectives authoring commands for verifiable-objectives.",
+    "",
+    "Usage:",
+    "  df objectives <subcommand> [flags]",
+    "",
+    "Subcommands:",
+    "  hash     Print the canonical sha256 of a criterion text.",
+    "  derive   Generate .darkfactory/objectives.yaml from cycle-doc exit criteria.",
+    "  check    Verify text-hash bindings in an existing manifest.",
+    "",
+    "Flags (hash):",
+    "  --text <criterion>  Criterion text to hash (required).",
+    "",
+    "Flags (derive):",
+    "  --cycle <N>         Cycle number whose Exit criteria to derive from (required).",
+    "  --apply             Write .darkfactory/objectives.yaml (default: print to stdout).",
+    "  --cwd <path>        Repository root to operate in (default: process cwd).",
+    "  --json              Emit the manifest object as JSON instead of YAML.",
+    "",
+    "Flags (check):",
+    "  --cwd <path>        Repository root containing .darkfactory/objectives.yaml (default: process cwd).",
+    "  --json              Emit a structured JSON result.",
+    "",
+    "  --help, -h          Show this message.",
+    "",
+    "Exit codes:",
+    "  0  success",
+    "  1  semantic failure",
+    "  2  usage / flag error",
+    "",
+].join("\n");
+export async function cmdObjectives(rest, io, deps = {}) {
+    if (rest.includes("--help") || rest.includes("-h")) {
+        io.stdout(`${HELP}`);
+        return 0;
+    }
+    const parsed = parseObjectivesArgs(rest);
+    if ("error" in parsed) {
+        io.stderr(`df objectives: ${parsed.error}\nRun \`df objectives --help\` for usage.\n`);
+        return 2;
+    }
+    if (parsed.subcommand === undefined) {
+        io.stdout(`${HELP}`);
+        return 2;
+    }
+    if (parsed.subcommand === "hash") {
+        const digest = createHash("sha256").update(canonicalizeCriterion(parsed.text), "utf8").digest("hex");
+        io.stdout(digest + "\n");
+        return 0;
+    }
+    if (parsed.subcommand === "derive") {
+        return cmdDerive(parsed, io, deps);
+    }
+    if (parsed.subcommand === "check") {
+        return cmdCheck(parsed, io, deps);
+    }
+    // Should not reach here since parseObjectivesArgs handles unknown subcommands
+    io.stdout(`${HELP}`);
+    return 2;
+}
+async function cmdDerive(opts, io, deps) {
+    const read = deps.readCycleDoc ?? readCycleDoc;
+    const cycleDocId = `cycle${opts.cycle}`;
+    const doc = await read(opts.cwd, cycleDocId);
+    if (doc === null) {
+        io.stderr(`df objectives derive: cycle doc ${cycleDocId} not found under ` +
+            `${join(opts.cwd, "docs/roadmap/cycles")} — nothing to derive.\n`);
+        return 1;
+    }
+    const section = doc.sections["exit_criteria"];
+    if (section === undefined || section.trim() === "") {
+        io.stderr(`df objectives derive: cycle doc ${cycleDocId} has no '## Exit criteria' section ` +
+            "(or it is empty) — nothing to derive.\n");
+        return 1;
+    }
+    const criteria = extractExitCriteria(section);
+    if (criteria.length === 0) {
+        io.stderr(`df objectives derive: cycle doc ${cycleDocId} '## Exit criteria' section has no ` +
+            "list items — nothing to derive.\n");
+        return 1;
+    }
+    // Duplicate-id guard: a cycle doc with two identically-labeled EC items
+    // (e.g. two `**EC1**` entries) produces criteria with the same id. That is an
+    // authoring error in the cycle doc — duplicate objective ids make proof/evidence
+    // binding ambiguous and are REJECTED by `parseObjectivesManifest`. Fail here
+    // with a clear, actionable message rather than letting the self-validation
+    // round-trip below throw an opaque "internal error".
+    const seenIds = new Set();
+    const duplicateIds = new Set();
+    for (const c of criteria) {
+        const fullId = `${cycleDocId}#${c.id}`;
+        if (seenIds.has(fullId))
+            duplicateIds.add(fullId);
+        seenIds.add(fullId);
+    }
+    if (duplicateIds.size > 0) {
+        io.stderr(`df objectives derive: ${cycleDocId} exit criteria has duplicate criterion ` +
+            `id(s): ${[...duplicateIds].join(", ")}. Criterion labels (e.g. \`EC1\`) must be ` +
+            `unique — fix the cycle doc to use distinct labels, then re-run.\n`);
+        return 1;
+    }
+    // Idempotence: preserve hand-edited `attestedBy` bindings from an existing
+    // manifest by objective id. Re-running refreshes text/hash + reconciles
+    // added/removed criteria, but never clobbers bindings the agent authored.
+    const manifestPath = resolve(opts.cwd, MANIFEST_RELATIVE_PATH);
+    const preservedBindings = loadPreservedBindings(manifestPath, io);
+    const objectives = criteria.map((c) => {
+        const id = `${cycleDocId}#${c.id}`;
+        const locator = `exit_criteria#${c.id}`;
+        // Defensive: the locator is built from `exit_criteria` + an `ec<k>` id, both
+        // of which satisfy SOURCE_LOCATOR_RE by construction — assert it so a future
+        // id-scheme change can't silently emit an unparseable locator.
+        if (!SOURCE_LOCATOR_RE.test(locator)) {
+            throw new Error(`internal: derived locator ${JSON.stringify(locator)} is malformed`);
+        }
+        const sha256 = sha256Hex(canonicalizeCriterion(c.raw));
+        return {
+            id,
+            source: { kind: "cycle", ref: opts.cycle },
+            text: c.text,
+            attestedBy: preservedBindings.get(id) ?? [],
+            enforced: false,
+            sourceCriterion: { kind: "text-hash", locator, sha256 },
+        };
+    });
+    const manifest = { schemaVersion: 1, objectives };
+    // Validate our own output against the schema parser — a derived manifest that
+    // can't round-trip is a bug, surfaced loudly here rather than at gate time.
+    try {
+        parseObjectivesManifest(manifest);
+    }
+    catch (err) {
+        io.stderr(`df objectives derive: internal error — derived manifest failed schema validation: ${err instanceof Error ? err.message : String(err)}\n`);
+        return 1;
+    }
+    if (opts.json) {
+        io.stdout(`${JSON.stringify(manifest, null, 2)}\n`);
+    }
+    const yaml = yamlStringify(manifest);
+    if (opts.apply) {
+        mkdirSync(dirname(manifestPath), { recursive: true });
+        writeFileSync(manifestPath, yaml, "utf8");
+        if (!opts.json) {
+            io.stdout(`Wrote ${objectives.length} objective${objectives.length === 1 ? "" : "s"} to ` +
+                `${MANIFEST_RELATIVE_PATH}\n`);
+        }
+        return 0;
+    }
+    if (!opts.json) {
+        io.stdout(yaml);
+    }
+    return 0;
+}
+async function cmdCheck(opts, io, deps) {
+    const read = deps.readCycleDoc ?? readCycleDoc;
+    const manifestPath = resolve(opts.cwd, MANIFEST_RELATIVE_PATH);
+    if (!existsSync(manifestPath)) {
+        const msg = `No ${MANIFEST_RELATIVE_PATH} found under ${opts.cwd} — nothing to check.`;
+        if (opts.json) {
+            io.stdout(JSON.stringify({ ok: true, note: msg, results: [] }, null, 2) + "\n");
+        }
+        else {
+            io.stdout(`note: ${msg}\n`);
+        }
+        return 0;
+    }
+    let manifest;
+    try {
+        const raw = readFileSync(manifestPath, "utf8");
+        manifest = parseObjectivesManifest(yamlParse(raw));
+    }
+    catch (err) {
+        io.stderr(`df objectives check: ${MANIFEST_RELATIVE_PATH} could not be parsed: ${err instanceof Error ? err.message : String(err)}\n`);
+        return 1;
+    }
+    const results = [];
+    let anyFail = false;
+    for (const obj of manifest.objectives) {
+        const sc = obj.sourceCriterion;
+        if (sc === undefined) {
+            results.push({ id: obj.id, status: "note", message: "no sourceCriterion binding — skipped." });
+            continue;
+        }
+        if (sc.kind === "human-reviewed") {
+            results.push({ id: obj.id, status: "note", message: "human-reviewed — skipped." });
+            continue;
+        }
+        if (sc.kind === "inferred") {
+            results.push({
+                id: obj.id,
+                status: "note",
+                message: "inferred (awaiting ratification) — skipped.",
+            });
+            continue;
+        }
+        // sc.kind === "text-hash"
+        // Parse the locator: `<section>#<criterion-id>`
+        const hashMatch = /^([^#]+)#(.+)$/.exec(sc.locator);
+        if (!hashMatch) {
+            results.push({ id: obj.id, status: "fail", message: `malformed locator: ${sc.locator}` });
+            anyFail = true;
+            continue;
+        }
+        const sectionSlug = hashMatch[1];
+        const criterionId = hashMatch[2];
+        // Only `exit_criteria` is currently resolvable.
+        if (sectionSlug !== "exit_criteria") {
+            results.push({
+                id: obj.id,
+                status: "fail",
+                message: `unsupported section in locator: ${sectionSlug} (only exit_criteria is supported).`,
+            });
+            anyFail = true;
+            continue;
+        }
+        // Derive cycle id from the objective id (`cycle<N>#ec<k>` → `cycle<N>`).
+        const cycleIdMatch = /^(cycle[^#]+)#/.exec(obj.id);
+        if (!cycleIdMatch || !obj.source || obj.source.kind !== "cycle") {
+            results.push({
+                id: obj.id,
+                status: "fail",
+                message: `cannot derive cycle doc id from objective id: ${obj.id}`,
+            });
+            anyFail = true;
+            continue;
+        }
+        const cycleDocId = `cycle${obj.source.ref}`;
+        const doc = await read(opts.cwd, cycleDocId);
+        if (doc === null) {
+            results.push({
+                id: obj.id,
+                status: "fail",
+                message: `cycle doc ${cycleDocId} not found under ${join(opts.cwd, "docs/roadmap/cycles")}.`,
+            });
+            anyFail = true;
+            continue;
+        }
+        const section = doc.sections[sectionSlug];
+        if (section === undefined || section.trim() === "") {
+            results.push({
+                id: obj.id,
+                status: "fail",
+                message: `cycle doc ${cycleDocId} has no '${sectionSlug}' section.`,
+            });
+            anyFail = true;
+            continue;
+        }
+        const criteria = extractExitCriteria(section);
+        const criterion = criteria.find((c) => c.id === criterionId);
+        if (criterion === undefined) {
+            results.push({
+                id: obj.id,
+                status: "fail",
+                message: `criterion ${criterionId} not found in ${cycleDocId} '${sectionSlug}' (${criteria.length} items found).`,
+            });
+            anyFail = true;
+            continue;
+        }
+        const actualSha256 = sha256Hex(canonicalizeCriterion(criterion.raw));
+        if (actualSha256 !== sc.sha256) {
+            results.push({
+                id: obj.id,
+                status: "fail",
+                message: `text-hash mismatch for ${criterionId} in ${cycleDocId}: ` +
+                    `declared ${sc.sha256.slice(0, 12)}… ≠ actual ${actualSha256.slice(0, 12)}… ` +
+                    `(criterion text may have changed — re-run \`df objectives derive\` to refresh).`,
+            });
+            anyFail = true;
+            continue;
+        }
+        results.push({ id: obj.id, status: "ok", message: `text-hash verified (${sc.sha256.slice(0, 12)}…).` });
+    }
+    if (opts.json) {
+        io.stdout(JSON.stringify({ ok: !anyFail, results: results.map((r) => ({ id: r.id, status: r.status, message: r.message })) }, null, 2) + "\n");
+    }
+    else {
+        for (const r of results) {
+            if (r.status === "ok") {
+                io.stdout(`ok      ${r.id}: ${r.message}\n`);
+            }
+            else if (r.status === "fail") {
+                io.stdout(`FAIL    ${r.id}: ${r.message}\n`);
+            }
+            else {
+                io.stdout(`note    ${r.id}: ${r.message}\n`);
+            }
+        }
+        if (!anyFail && results.length > 0) {
+            io.stdout(`\nAll ${results.length} objective${results.length === 1 ? "" : "s"} ok.\n`);
+        }
+        else if (!anyFail && results.length === 0) {
+            io.stdout("No objectives to check.\n");
+        }
+    }
+    return anyFail ? 1 : 0;
+}
+/**
+ * Read an existing manifest (if any) and return a map of objective id →
+ * `attestedBy` bindings to preserve across a re-derive. A malformed/unreadable
+ * existing manifest is non-fatal (we warn and derive fresh) — the worst case is
+ * losing hand-edits the operator can re-add, which is strictly safer than
+ * refusing to derive.
+ */
+function loadPreservedBindings(manifestPath, io) {
+    const preserved = new Map();
+    if (!existsSync(manifestPath)) {
+        return preserved;
+    }
+    let parsed;
+    try {
+        const existing = readFileSync(manifestPath, "utf8");
+        parsed = parseObjectivesManifest(yamlParse(existing));
+    }
+    catch (err) {
+        io.stderr(`df objectives derive: warning — existing ${MANIFEST_RELATIVE_PATH} could not be ` +
+            `parsed (${err instanceof Error ? err.message : String(err)}); deriving fresh, ` +
+            "hand-edited attestedBy bindings are NOT preserved.\n");
+        return preserved;
+    }
+    for (const obj of parsed.objectives) {
+        if (obj.attestedBy.length > 0) {
+            preserved.set(obj.id, obj.attestedBy);
+        }
+    }
+    return preserved;
+}
+//# sourceMappingURL=objectives.js.map

package/dist/commands/objectives.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"objectives.js","sourceRoot":"","sources":["../../src/commands/objectives.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAC5E,sDAAsD;AACtD,EAAE;AACF,eAAe;AACf,sFAAsF;AACtF,4FAA4F;AAC5F,yEAAyE;AACzE,EAAE;AACF,8DAA8D;AAC9D,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7E,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEnD,OAAO,EACL,qBAAqB,EACrB,uBAAuB,EACvB,iBAAiB,GAGlB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,SAAS,IAAI,aAAa,EAAE,MAAM,MAAM,CAAC;AAEtE,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAwC1D,MAAM,UAAU,mBAAmB,CAAC,IAAc;IAChD,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAE9B,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,EAAE,EAAE,CAAC;QACpC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC;IACnC,CAAC;IAED,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;QACnB,OAAO,aAAa,CAAC,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;QACrB,OAAO,eAAe,CAAC,OAAO,CAAC,CAAC;IAClC,CAAC;IAED,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC;QACpB,OAAO,cAAc,CAAC,OAAO,CAAC,CAAC;IACjC,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,uBAAuB,GAAG,EAAE,EAAE,CAAC;AACjD,CAAC;AAED,SAAS,aAAa,CAAC,IAAc;IACnC,IAAI,IAAwB,CAAC;IAE7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAExB,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;YACnB,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACzB,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChD,OAAO,EAAE,KAAK,EAAE,0BAA0B,EAAE,CAAC;YAC/C,CAAC;YACD,IAAI,GAAG,IAAI,CAAC;YACZ,CAAC,EAAE,CAAC;YACJ,SAAS;QACX,CAAC;QAED,IAAI,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;YAC5B,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;YACjC,SAAS;QACX,CAAC;QAED,qCAAqC;QACrC,IAAI,CAAC,KAAK,WAAW,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACzC,OAAO;gBACL,KAAK,EACH,GAAG,CAAC,kFAAkF;aACzF,CAAC;QACJ,CAAC;QAED,IAAI,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;YAC3D,MAAM,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;YAClE,OAAO;gBACL,KAAK,EACH,GAAG,IAAI,kFAAkF;aAC5F,CAAC;QACJ,CAAC;QAED,OAAO,EAAE,KAAK,EAAE,mCAAmC,CAAC,EAAE,EAAE,CAAC;IAC3D,CAAC;IAED,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,EAAE,KAAK,EAAE,iEAAiE,EAAE,CAAC;IACtF,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,eAAe,CAAC,IAAc;IACrC,IAAI,KAAyB,CAAC;IAC9B,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,IAAI,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;IAExB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAExB,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACpB,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACzB,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChD,OAAO,EAAE,KAAK,EAAE,6CAA6C,EAAE,CAAC;YAClE,CAAC;YACD,KAAK,GAAG,IAAI,CAAC;YACb,CAAC,EAAE,CAAC;YACJ,SAAS;QACX,CAAC;QACD,IAAI,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;YAC7B,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YACnC,SAAS;QACX,CAAC;QAED,IAAI,CAAC,KAAK,OAAO,EAAE,CAAC;YAClB,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACzB,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChD,OAAO,EAAE,KAAK,EAAE,yBAAyB,EAAE,CAAC;YAC9C,CAAC;YACD,GAAG,GAAG,IAAI,CAAC;YACX,CAAC,EAAE,CAAC;YACJ,SAAS;QACX,CAAC;QACD,IAAI,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC3B,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAC/B,SAAS;QACX,CAAC;QAED,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YACpB,KAAK,GAAG,IAAI,CAAC;YACb,SAAS;QACX,CAAC;QACD,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;YACnB,IAAI,GAAG,IAAI,CAAC;YACZ,SAAS;QACX,CAAC;QAED,OAAO,EAAE,KAAK,EAAE,mCAAmC,CAAC,EAAE,EAAE,CAAC;IAC3D,CAAC;IAED,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,EAAE,EAAE,CAAC;QACxC,OAAO,EAAE,KAAK,EAAE,wCAAwC,EAAE,CAAC;IAC7D,CAAC;IAED,6EAA6E;IAC7E,2EAA2E;IAC3E,6EAA6E;IAC7E,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAChD,IAAI,GAAG,KAAK,EAAE,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/C,OAAO,EAAE,KAAK,EAAE,4DAA4D,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;IACzG,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAChE,CAAC;AAED,SAAS,cAAc,CAAC,IAAc;IACpC,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,IAAI,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;IAExB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAExB,IAAI,CAAC,KAAK,OAAO,EAAE,CAAC;YAClB,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACzB,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChD,OAAO,EAAE,KAAK,EAAE,yBAAyB,EAAE,CAAC;YAC9C,CAAC;YACD,GAAG,GAAG,IAAI,CAAC;YACX,CAAC,EAAE,CAAC;YACJ,SAAS;QACX,CAAC;QACD,IAAI,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC3B,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAC/B,SAAS;QACX,CAAC;QAED,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;YACnB,IAAI,GAAG,IAAI,CAAC;YACZ,SAAS;QACX,CAAC;QAED,OAAO,EAAE,KAAK,EAAE,mCAAmC,CAAC,EAAE,EAAE,CAAC;IAC3D,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAC5C,CAAC;AAED,8EAA8E;AAC9E,wDAAwD;AACxD,EAAE;AACF,6EAA6E;AAC7E,4EAA4E;AAC5E,8EAA8E;AAC9E,oEAAoE;AACpE,EAAE;AACF,+EAA+E;AAC/E,wEAAwE;AACxE,0EAA0E;AAC1E,8EAA8E;AAC9E,8EAA8E;AAC9E,0EAA0E;AAC1E,8EAA8E;AAC9E,+EAA+E;AAC/E,+EAA+E;AAC/E,+EAA+E;AAC/E,4CAA4C;AAC5C,EAAE;AACF,+EAA+E;AAC/E,4DAA4D;AAC5D,+EAA+E;AAC/E,+EAA+E;AAC/E,sCAAsC;AACtC,8EAA8E;AAE9E,gEAAgE;AAChE,MAAM,OAAO,GAAG,0BAA0B,CAAC;AAE3C,8EAA8E;AAC9E,8EAA8E;AAC9E,sEAAsE;AACtE,gFAAgF;AAChF,+BAA+B;AAC/B,MAAM,WAAW,GAAG,2DAA2D,CAAC;AAEhF,+EAA+E;AAC/E,gFAAgF;AAChF,8EAA8E;AAC9E,6EAA6E;AAC7E,qEAAqE;AACrE,SAAS,oBAAoB,CAAC,OAAe;IAC3C,IAAI,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,0BAA0B,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc;IAC7D,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,iDAAiD,EAAE,EAAE,CAAC,CAAC,CAAC,oBAAoB;IAC1F,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,iCAAiC;IAC7D,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAClC,OAAO,CAAC,CAAC;AACX,CAAC;AAWD;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,WAAmB;IACrD,MAAM,GAAG,GAAyB,EAAE,CAAC;IACrC,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACrD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC3B,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QAChF,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,oBAAoB,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,SAAS,CAAC,CAAS;IAC1B,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9D,CAAC;AAED,MAAM,sBAAsB,GAAG,IAAI,CAAC,cAAc,EAAE,iBAAiB,CAAC,CAAC;AAEvE,MAAM,IAAI,GAAG;IACX,0EAA0E;IAC1E,EAAE;IACF,QAAQ;IACR,sCAAsC;IACtC,EAAE;IACF,cAAc;IACd,4DAA4D;IAC5D,gFAAgF;IAChF,+DAA+D;IAC/D,EAAE;IACF,eAAe;IACf,0DAA0D;IAC1D,EAAE;IACF,iBAAiB;IACjB,mFAAmF;IACnF,sFAAsF;IACtF,6EAA6E;IAC7E,yEAAyE;IACzE,EAAE;IACF,gBAAgB;IAChB,uGAAuG;IACvG,sDAAsD;IACtD,EAAE;IACF,0CAA0C;IAC1C,EAAE;IACF,aAAa;IACb,cAAc;IACd,uBAAuB;IACvB,yBAAyB;IACzB,EAAE;CACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,IAAc,EACd,EAAgB,EAChB,OAAuB,EAAE;IAEzB,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,EAAE,CAAC,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC;QACrB,OAAO,CAAC,CAAC;IACX,CAAC;IAED,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAEzC,IAAI,OAAO,IAAI,MAAM,EAAE,CAAC;QACtB,EAAE,CAAC,MAAM,CAAC,kBAAkB,MAAM,CAAC,KAAK,6CAA6C,CAAC,CAAC;QACvF,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACpC,EAAE,CAAC,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC;QACrB,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,MAAM,CAAC,UAAU,KAAK,MAAM,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACrG,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;QACzB,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,MAAM,CAAC,UAAU,KAAK,QAAQ,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC,MAAM,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;IACrC,CAAC;IAED,IAAI,MAAM,CAAC,UAAU,KAAK,OAAO,EAAE,CAAC;QAClC,OAAO,QAAQ,CAAC,MAAM,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;IACpC,CAAC;IAED,8EAA8E;IAC9E,EAAE,CAAC,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC;IACrB,OAAO,CAAC,CAAC;AACX,CAAC;AAED,KAAK,UAAU,SAAS,CACtB,IAAmB,EACnB,EAAgB,EAChB,IAAoB;IAEpB,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC;IAC/C,MAAM,UAAU,GAAG,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC;IAExC,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IAC7C,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;QACjB,EAAE,CAAC,MAAM,CACP,mCAAmC,UAAU,mBAAmB;YAC9D,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,qBAAqB,CAAC,yBAAyB,CACpE,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IAED,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;IAC9C,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACnD,EAAE,CAAC,MAAM,CACP,mCAAmC,UAAU,qCAAqC;YAChF,yCAAyC,CAC5C,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IAED,MAAM,QAAQ,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAC9C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,EAAE,CAAC,MAAM,CACP,mCAAmC,UAAU,qCAAqC;YAChF,mCAAmC,CACtC,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IAED,wEAAwE;IACxE,8EAA8E;IAC9E,iFAAiF;IACjF,6EAA6E;IAC7E,2EAA2E;IAC3E,qDAAqD;IACrD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,GAAG,UAAU,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC;QACvC,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAClD,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACtB,CAAC;IACD,IAAI,YAAY,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QAC1B,EAAE,CAAC,MAAM,CACP,yBAAyB,UAAU,yCAAyC;YAC1E,UAAU,CAAC,GAAG,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,4CAA4C;YAClF,mEAAmE,CACtE,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IAED,2EAA2E;IAC3E,wEAAwE;IACxE,0EAA0E;IAC1E,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,sBAAsB,CAAC,CAAC;IAC/D,MAAM,iBAAiB,GAAG,qBAAqB,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;IAElE,MAAM,UAAU,GAAgB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACjD,MAAM,EAAE,GAAG,GAAG,UAAU,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,iBAAiB,CAAC,CAAC,EAAE,EAAE,CAAC;QACxC,6EAA6E;QAC7E,6EAA6E;QAC7E,+DAA+D;QAC/D,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YACrC,MAAM,IAAI,KAAK,CAAC,6BAA6B,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;QACvF,CAAC;QACD,MAAM,MAAM,GAAG,SAAS,CAAC,qBAAqB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACvD,OAAO;YACL,EAAE;YACF,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE;YAC1C,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,UAAU,EAAE,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE;YAC3C,QAAQ,EAAE,KAAK;YACf,eAAe,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,EAAE;SACxD,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,QAAQ,GAAuB,EAAE,aAAa,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC;IAEtE,8EAA8E;IAC9E,4EAA4E;IAC5E,IAAI,CAAC;QACH,uBAAuB,CAAC,QAAQ,CAAC,CAAC;IACpC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,EAAE,CAAC,MAAM,CACP,qFACE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CACjD,IAAI,CACL,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACd,EAAE,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC;IAED,MAAM,IAAI,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IAErC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,SAAS,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACtD,aAAa,CAAC,YAAY,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAC1C,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACf,EAAE,CAAC,MAAM,CACP,SAAS,UAAU,CAAC,MAAM,aAAa,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,MAAM;gBAC7E,GAAG,sBAAsB,IAAI,CAChC,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACf,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AA0BD,KAAK,UAAU,QAAQ,CACrB,IAAkB,EAClB,EAAgB,EAChB,IAAoB;IAEpB,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC;IAC/C,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,sBAAsB,CAAC,CAAC;IAE/D,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAC9B,MAAM,GAAG,GAAG,MAAM,sBAAsB,gBAAgB,IAAI,CAAC,GAAG,sBAAsB,CAAC;QACvF,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACd,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;QAClF,CAAC;aAAM,CAAC;YACN,EAAE,CAAC,MAAM,CAAC,SAAS,GAAG,IAAI,CAAC,CAAC;QAC9B,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,QAAQ,CAAC;IACb,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,YAAY,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;QAC/C,QAAQ,GAAG,uBAAuB,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;IACrD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,EAAE,CAAC,MAAM,CACP,wBAAwB,sBAAsB,yBAC5C,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CACjD,IAAI,CACL,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IAED,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,IAAI,OAAO,GAAG,KAAK,CAAC;IAEpB,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;QACtC,MAAM,EAAE,GAAG,GAAG,CAAC,eAAe,CAAC;QAE/B,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,uCAAuC,EAAE,CAAC,CAAC;YAC/F,SAAS;QACX,CAAC;QAED,IAAI,EAAE,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YACjC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,2BAA2B,EAAE,CAAC,CAAC;YACnF,SAAS;QACX,CAAC;QAED,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC3B,OAAO,CAAC,IAAI,CAAC;gBACX,EAAE,EAAE,GAAG,CAAC,EAAE;gBACV,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,6CAA6C;aACvD,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,0BAA0B;QAC1B,gDAAgD;QAChD,MAAM,SAAS,GAAG,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;QACpD,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,sBAAsB,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YAC1F,OAAO,GAAG,IAAI,CAAC;YACf,SAAS;QACX,CAAC;QACD,MAAM,WAAW,GAAG,SAAS,CAAC,CAAC,CAAE,CAAC;QAClC,MAAM,WAAW,GAAG,SAAS,CAAC,CAAC,CAAE,CAAC;QAElC,gDAAgD;QAChD,IAAI,WAAW,KAAK,eAAe,EAAE,CAAC;YACpC,OAAO,CAAC,IAAI,CAAC;gBACX,EAAE,EAAE,GAAG,CAAC,EAAE;gBACV,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,mCAAmC,WAAW,qCAAqC;aAC7F,CAAC,CAAC;YACH,OAAO,GAAG,IAAI,CAAC;YACf,SAAS;QACX,CAAC;QAED,yEAAyE;QACzE,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnD,IAAI,CAAC,YAAY,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAChE,OAAO,CAAC,IAAI,CAAC;gBACX,EAAE,EAAE,GAAG,CAAC,EAAE;gBACV,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,iDAAiD,GAAG,CAAC,EAAE,EAAE;aACnE,CAAC,CAAC;YACH,OAAO,GAAG,IAAI,CAAC;YACf,SAAS;QACX,CAAC;QACD,MAAM,UAAU,GAAG,QAAQ,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;QAE5C,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QAC7C,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,OAAO,CAAC,IAAI,CAAC;gBACX,EAAE,EAAE,GAAG,CAAC,EAAE;gBACV,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,aAAa,UAAU,oBAAoB,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,qBAAqB,CAAC,GAAG;aAC7F,CAAC,CAAC;YACH,OAAO,GAAG,IAAI,CAAC;YACf,SAAS;QACX,CAAC;QAED,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QAC1C,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YACnD,OAAO,CAAC,IAAI,CAAC;gBACX,EAAE,EAAE,GAAG,CAAC,EAAE;gBACV,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,aAAa,UAAU,YAAY,WAAW,YAAY;aACpE,CAAC,CAAC;YACH,OAAO,GAAG,IAAI,CAAC;YACf,SAAS;QACX,CAAC;QAED,MAAM,QAAQ,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;QAC9C,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,WAAW,CAAC,CAAC;QAC7D,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,OAAO,CAAC,IAAI,CAAC;gBACX,EAAE,EAAE,GAAG,CAAC,EAAE;gBACV,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,aAAa,WAAW,iBAAiB,UAAU,KAAK,WAAW,MAAM,QAAQ,CAAC,MAAM,gBAAgB;aAClH,CAAC,CAAC;YACH,OAAO,GAAG,IAAI,CAAC;YACf,SAAS;QACX,CAAC;QAED,MAAM,YAAY,GAAG,SAAS,CAAC,qBAAqB,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;QACrE,IAAI,YAAY,KAAK,EAAE,CAAC,MAAM,EAAE,CAAC;YAC/B,OAAO,CAAC,IAAI,CAAC;gBACX,EAAE,EAAE,GAAG,CAAC,EAAE;gBACV,MAAM,EAAE,MAAM;gBACd,OAAO,EACL,0BAA0B,WAAW,OAAO,UAAU,IAAI;oBAC1D,YAAY,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI;oBAC7E,iFAAiF;aACpF,CAAC,CAAC;YACH,OAAO,GAAG,IAAI,CAAC;YACf,SAAS;QACX,CAAC;QAED,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,uBAAuB,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC;IAC1G,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACd,EAAE,CAAC,MAAM,CACP,IAAI,CAAC,SAAS,CACZ,EAAE,EAAE,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EACnG,IAAI,EACJ,CAAC,CACF,GAAG,IAAI,CACT,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;gBACtB,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC;YAC/C,CAAC;iBAAM,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;gBAC/B,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC;YAC/C,CAAC;iBAAM,CAAC;gBACN,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC;YAC/C,CAAC;QACH,CAAC;QACD,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnC,EAAE,CAAC,MAAM,CAAC,SAAS,OAAO,CAAC,MAAM,aAAa,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC;QACzF,CAAC;aAAM,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5C,EAAE,CAAC,MAAM,CAAC,2BAA2B,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACzB,CAAC;AAED;;;;;;GAMG;AACH,SAAS,qBAAqB,CAC5B,YAAoB,EACpB,EAAgB;IAEhB,MAAM,SAAS,GAAG,IAAI,GAAG,EAAmC,CAAC;IAC7D,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAC9B,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,MAA0B,CAAC;IAC/B,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,YAAY,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;QACpD,MAAM,GAAG,uBAAuB,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;IACxD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,EAAE,CAAC,MAAM,CACP,4CAA4C,sBAAsB,gBAAgB;YAChF,WAAW,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,qBAAqB;YAChF,sDAAsD,CACzD,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACpC,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/cycle-doc-validator/validate_cycle_doc.py

@@ -1205,6 +1205,10 @@ def validate_objectives(
     route_ids = _route_ids(repo_root)
     declared = _declared_refs(trailers)
     errors: list[str] = []
+    # Objective ids must be UNIQUE within a manifest (mirrors the TS
+    # parseObjectivesManifest reject): a duplicate id makes proof/evidence binding
+    # ambiguous. Tracked across the loop below.
+    seen_ids: set[str] = set()
     for idx, obj in enumerate(objectives):
         loc = f"{OBJECTIVES_MANIFEST_PATH} objectives[{idx}]"
         if not isinstance(obj, dict):
@@ -1215,6 +1219,10 @@ def validate_objectives(
             errors.append(
                 f"{loc}.id: expected 'cycle<N>#ec<k>' or 'issue<N>#ac<k>', got {oid!r}"
             )
+        if isinstance(oid, str):
+            if oid in seen_ids:
+                errors.append(f"{loc}.id: duplicate objective id: {oid!r}")
+            seen_ids.add(oid)
         text = obj.get("text")
         if not isinstance(text, str) or not text:
             errors.append(f"{loc}.text: expected a non-empty string")
@@ -1327,9 +1335,29 @@ def validate_objectives(
                         "(v1 verifies in-repo cycle docs) — recorded, not verified",
                         file=sys.stderr,
                     )
+            elif sc_kind == "inferred":
+                # Drafted-to-source (e.g. LLM-inferred) but NOT yet ratified →
+                # structural-validate only, then a NON-BLOCKING note. Never
+                # hash-verified (it is by definition not yet a ratified criterion);
+                # ratification flips it to text-hash, which IS verified above.
+                sloc, ssha = sc.get("locator"), sc.get("sha256")
+                if not isinstance(sloc, str) or not SOURCE_LOCATOR_RE.match(sloc):
+                    errors.append(
+                        f"{loc}.sourceCriterion.locator: expected '<section-slug>#<criterion-id>', got {sloc!r}"
+                    )
+                elif not isinstance(ssha, str) or not SHA256_HEX_RE.match(ssha):
+                    errors.append(
+                        f"{loc}.sourceCriterion.sha256: expected lowercase-hex SHA-256 (64 chars), got {ssha!r}"
+                    )
+                else:
+                    print(
+                        f"[objectives] {loc}.sourceCriterion: inferred — drafted-to-source, "
+                        "awaiting ratification (recorded, not verified)",
+                        file=sys.stderr,
+                    )
             else:
                 errors.append(
-                    f"{loc}.sourceCriterion.kind: expected 'text-hash' | 'human-reviewed', got {sc_kind!r}"
+                    f"{loc}.sourceCriterion.kind: expected 'text-hash' | 'human-reviewed' | 'inferred', got {sc_kind!r}"
                 )
         elif sc is not None:
             errors.append(f"{loc}.sourceCriterion: expected a mapping")

package/dist/evidence/prove.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"prove.d.ts","sourceRoot":"","sources":["../../src/evidence/prove.ts"],"names":[],"mappings":"AAsBA,OAAO,EAGL,KAAK,gBAAgB,EACrB,KAAK,YAAY,EAEjB,KAAK,SAAS,EAKd,KAAK,aAAa,EACnB,MAAM,gCAAgC,CAAC;AASxC,MAAM,WAAW,kBAAkB;IACjC,QAAQ,EAAE,MAAM,CAAC;CAClB;AAGD,MAAM,WAAW,mBAAmB;IAClC,MAAM,EAAE,YAAY,CAAC;IACrB,OAAO,CAAC,EAAE,aAAa,CAAC;CACzB;AAED,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,MAAM,CAAC;IAEf,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,EAAE,SAAS,EAAE,CAAC;IAExB,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAEhD,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAE1B,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;IAEnD,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACpC;AAqED,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,GAAG,gBAAgB,CA8B3F;AAED,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE,WAAW,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;CACrB;AAQD,wBAAsB,kBAAkB,CACtC,GAAG,EAAE,MAAM,EACX,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,oBAAoB,GAAG,IAAI,CAAC,CAiEtC"}
+{"version":3,"file":"prove.d.ts","sourceRoot":"","sources":["../../src/evidence/prove.ts"],"names":[],"mappings":"AAsBA,OAAO,EAGL,KAAK,gBAAgB,EACrB,KAAK,YAAY,EAEjB,KAAK,SAAS,EAKd,KAAK,aAAa,EACnB,MAAM,gCAAgC,CAAC;AASxC,MAAM,WAAW,kBAAkB;IACjC,QAAQ,EAAE,MAAM,CAAC;CAClB;AAGD,MAAM,WAAW,mBAAmB;IAClC,MAAM,EAAE,YAAY,CAAC;IACrB,OAAO,CAAC,EAAE,aAAa,CAAC;CACzB;AAED,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,MAAM,CAAC;IAEf,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,EAAE,SAAS,EAAE,CAAC;IAExB,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAEhD,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAE1B,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;IAEnD,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACpC;AAqED,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,GAAG,gBAAgB,CAgC3F;AAED,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE,WAAW,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;CACrB;AAQD,wBAAsB,kBAAkB,CACtC,GAAG,EAAE,MAAM,EACX,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,oBAAoB,GAAG,IAAI,CAAC,CAiEtC"}

package/dist/evidence/prove.js

@@ -92,7 +92,9 @@ export function buildProofRecord(inputs, generatedAt) {
             ? "agent-asserted"
             : o.sourceCriterion.kind === "human-reviewed"
                 ? "human-reviewed"
-                : "source-bound";
+                : o.sourceCriterion.kind === "inferred"
+                    ? "inferred"
+                    : "source-bound";
         return { id: o.id, text: o.text, enforced: o.enforced, status, bindings, sourceVerification };
     });
     const summary = { proven: 0, pending: 0, failed: 0, total: objectives.length };