@isaacriehm/cairn-core 0.1.0

package/dist/decision-capture/refinement.js

@@ -0,0 +1,439 @@
+/**
+ * Phase 14.x — assertion refinement.
+ *
+ * Lifts the loose `candidate_assertions:` set on an accepted decision into
+ * the strict `assertions:` shape that Layer-D sensors enforce.
+ *
+ * Flow:
+ *   read accepted decision file
+ *   → proposeStrictAssertions  (Tier-1 LLM)
+ *   → re-validate each lift via DecisionAssertion zod (auto-demote on fail)
+ *   → adapter.requestDialog: a) approve_all  b) approve_high_only
+ *                            c) demote_all   d) skip
+ *   → liftCandidatesToAssertions writes the file
+ *   → ledger regenerates so the new strict assertions become live
+ *
+ * The proposer runs READ-ONLY. The writer + dialog drive everything that
+ * touches the filesystem. A proposer failure (timeout, malformed JSON,
+ * subprocess crash) does NOT roll back the prior accept — it returns
+ * `proposer_failed: true` and leaves candidates under their loose
+ * `candidate_assertions:` field for the next refine pass.
+ */
+import { readFileSync } from "node:fs";
+import { join } from "node:path";
+import { logger } from "../logger.js";
+import { runClaude } from "../claude/index.js";
+import { DecisionAssertion } from "../ground/schemas.js";
+import { parseFrontmatter } from "../ground/frontmatter.js";
+import { REFINEMENT_PROPOSER_SYSTEM_PROMPT, buildRefinementProposerUserPrompt, } from "./refinement-prompt.js";
+import { REFINEMENT_PROPOSER_OUTPUT_SCHEMA } from "./refinement-schema.js";
+import { liftCandidatesToAssertions } from "./writer.js";
+const log = logger("decision-capture.refinement");
+const RATIONALE_DISPLAY_CAP = 240;
+/** Max chars in the refinement dialog prompt body. Discord caps at 2000. */
+const DIALOG_PROMPT_CHAR_CAP = 1_700;
+const CHOICE_APPROVE_ALL = "a";
+const CHOICE_APPROVE_HIGH_ONLY = "b";
+const CHOICE_DEMOTE_ALL = "c";
+const CHOICE_SKIP = "d";
+/**
+ * Single Tier-1 (Haiku default) LLM call producing one proposal per
+ * input candidate. The output is gated by the JSON Schema on the CLI
+ * side and re-validated structurally here.
+ */
+export async function proposeStrictAssertions(input) {
+    if (input.candidates.length === 0) {
+        return { output: { proposals: [] }, duration_ms: 0 };
+    }
+    const userPrompt = buildRefinementProposerUserPrompt(input);
+    log.info({
+        decision_id: input.decision_id,
+        candidates: input.candidates.length,
+        tier: input.tier,
+    }, "refinement-proposer dispatch");
+    const result = await runClaude({
+        tier: input.tier,
+        prompt: userPrompt,
+        system: REFINEMENT_PROPOSER_SYSTEM_PROMPT,
+        jsonSchema: REFINEMENT_PROPOSER_OUTPUT_SCHEMA,
+        timeoutMs: input.timeout_ms ?? 120_000,
+    });
+    if (!isRefinerOutput(result.parsed)) {
+        throw new Error(`refinement-proposer returned malformed output. preview: ${result.text.slice(0, 200)}`);
+    }
+    log.info({
+        decision_id: input.decision_id,
+        proposals: result.parsed.proposals.length,
+        duration_ms: result.durationMs,
+    }, "refinement-proposer complete");
+    return {
+        output: result.parsed,
+        duration_ms: result.durationMs,
+        ...(result.usage !== undefined
+            ? {
+                usage: {
+                    ...(result.usage["input_tokens"] !== undefined
+                        ? { input_tokens: result.usage["input_tokens"] }
+                        : {}),
+                    ...(result.usage["output_tokens"] !== undefined
+                        ? { output_tokens: result.usage["output_tokens"] }
+                        : {}),
+                },
+            }
+            : {}),
+    };
+}
+export async function runDecisionRefinement(args) {
+    const tier = args.tier ?? "haiku";
+    const propose = args.proposerOverride ?? proposeStrictAssertions;
+    const decision = readAcceptedDecision({
+        repoRoot: args.repoRoot,
+        decisionId: args.decisionId,
+    });
+    if (decision.candidates.length === 0) {
+        log.info({ decision_id: args.decisionId }, "no candidates to refine — skipping");
+        return emptyResult(args.decisionId, "skip");
+    }
+    let proposerResult = null;
+    try {
+        proposerResult = await propose({
+            decision_id: args.decisionId,
+            subject: decision.subject,
+            summary: decision.summary,
+            scope_globs: decision.scope_globs,
+            candidates: decision.candidates,
+            tier,
+            ...(args.proposerTimeoutMs !== undefined
+                ? { timeout_ms: args.proposerTimeoutMs }
+                : {}),
+        });
+    }
+    catch (err) {
+        log.error({ err: String(err), decision_id: args.decisionId }, "refinement-proposer threw — leaving candidates loose");
+        return { ...emptyResult(args.decisionId, "skip"), proposer_failed: true };
+    }
+    // Align proposals to candidates by id; fill gaps with auto-demote so a
+    // partial proposer response never silently drops a candidate.
+    const aligned = alignProposalsToCandidates({
+        decisionId: args.decisionId,
+        candidates: decision.candidates,
+        proposals: proposerResult.output.proposals,
+    });
+    // Re-validate each lift via the production zod. Anything that doesn't
+    // pass becomes a demote with the validation error in the rationale.
+    const validated = aligned.map((p) => validateLift(p));
+    const dialogPrompt = renderDialogPrompt({
+        decisionId: args.decisionId,
+        subject: decision.subject,
+        proposals: validated,
+    });
+    const dialogSpec = {
+        bundleId: `refine:${args.decisionId}`,
+        prompt: dialogPrompt,
+        choices: [
+            { id: CHOICE_APPROVE_ALL, label: "🟢 approve all (lift + demote per recs)" },
+            { id: CHOICE_APPROVE_HIGH_ONLY, label: "🟡 lift HIGH-confidence only" },
+            { id: CHOICE_DEMOTE_ALL, label: "🟠 demote all to human_review_hint" },
+            { id: CHOICE_SKIP, label: "🔴 skip refinement" },
+            { id: "e_other", label: "E) Other" },
+        ],
+        timeoutMs: args.dialogTimeoutMs ?? 60_000,
+    };
+    if (args.channelId !== undefined)
+        dialogSpec.channelId = args.channelId;
+    const response = await args.adapter.requestDialog(dialogSpec);
+    const choice = mapDialogChoice(response);
+    // Compose the final per-candidate verdict map from the operator's choice.
+    const finalVerdicts = applyOperatorChoice({
+        proposals: validated,
+        candidates: decision.candidates,
+        choice,
+    });
+    if (choice === "skip") {
+        log.info({ decision_id: args.decisionId }, "operator skipped refinement");
+        return {
+            decision_id: args.decisionId,
+            proposals: validated,
+            operator_choice: "skip",
+            lifted_count: 0,
+            demoted_count: 0,
+            skipped_count: validated.length,
+        };
+    }
+    const liftResult = liftCandidatesToAssertions({
+        repoRoot: args.repoRoot,
+        decisionId: args.decisionId,
+        verdicts: finalVerdicts,
+    });
+    log.info({
+        decision_id: args.decisionId,
+        operator_choice: choice,
+        lifted: liftResult.lifted_count,
+        demoted: liftResult.demoted_count,
+        kept_candidate: liftResult.skipped_count,
+    }, "refinement applied");
+    return {
+        decision_id: args.decisionId,
+        proposals: validated,
+        operator_choice: choice,
+        lifted_count: liftResult.lifted_count,
+        demoted_count: liftResult.demoted_count,
+        skipped_count: liftResult.skipped_count,
+    };
+}
+function readAcceptedDecision(args) {
+    const relPath = `.cairn/ground/decisions/${args.decisionId}.md`;
+    const abs = join(args.repoRoot, relPath);
+    const raw = readFileSync(abs, "utf8");
+    // parseFrontmatter validates with ProvenanceFrontmatter zod which is a
+    // passthrough — extra keys (candidate_assertions, scope_globs, title)
+    // survive in the returned object.
+    const parsed = parseFrontmatter(raw);
+    const fm = (parsed.frontmatter ?? {});
+    const candidatesRaw = fm["candidate_assertions"];
+    const candidates = Array.isArray(candidatesRaw)
+        ? candidatesRaw.flatMap((c, idx) => {
+            const kind = c["kind"];
+            const description = c["description"];
+            if (typeof kind !== "string" || typeof description !== "string") {
+                log.warn({ decision_id: args.decisionId, idx }, "dropping malformed candidate row from frontmatter");
+                return [];
+            }
+            const id = typeof c["id"] === "string"
+                ? c["id"]
+                : `${args.decisionId}-A${(idx + 1).toString().padStart(2, "0")}`;
+            const params = c["parameters"];
+            const out = {
+                id,
+                kind: kind,
+                description,
+                ...(params !== undefined && typeof params === "object" && params !== null
+                    ? { parameters: params }
+                    : {}),
+            };
+            return [out];
+        })
+        : [];
+    return {
+        subject: typeof fm["title"] === "string" ? fm["title"] : args.decisionId,
+        summary: extractSummaryFromBody(parsed.body),
+        scope_globs: Array.isArray(fm["scope_globs"])
+            ? fm["scope_globs"].filter((g) => typeof g === "string")
+            : [],
+        candidates,
+    };
+}
+function extractSummaryFromBody(body) {
+    // Body starts with `# DEC-NNNN — title\n\n## Summary\n<text>\n\n## ...`
+    const summaryHeader = body.indexOf("## Summary");
+    if (summaryHeader === -1)
+        return "";
+    const after = body.slice(summaryHeader + "## Summary".length);
+    const nextSection = after.search(/\n##\s/);
+    const slice = nextSection === -1 ? after : after.slice(0, nextSection);
+    return slice.trim();
+}
+function alignProposalsToCandidates(args) {
+    const byId = new Map();
+    for (const p of args.proposals)
+        byId.set(p.candidate_id, p);
+    return args.candidates.map((c, idx) => {
+        const id = c.id ?? `${args.decisionId}-A${(idx + 1).toString().padStart(2, "0")}`;
+        const found = byId.get(id);
+        if (found !== undefined)
+            return found;
+        log.warn({ decision_id: args.decisionId, candidate_id: id }, "proposer dropped a candidate — auto-demoting");
+        return {
+            candidate_id: id,
+            candidate_kind: c.kind,
+            status: "demote",
+            confidence_signal: "low",
+            rationale: "auto-demoted: proposer did not return a proposal for this candidate",
+        };
+    });
+}
+function validateLift(p) {
+    if (p.status !== "lift")
+        return p;
+    // human_review_hint always lifts cleanly: the strict shape only requires
+    // `description`. If the proposer didn't provide one, fall back to the
+    // candidate kind's name.
+    if (p.candidate_kind === "human_review_hint") {
+        const description = typeof p.strict_assertion?.["description"] === "string"
+            ? p.strict_assertion["description"]
+            : (p.rationale || "human review required");
+        return {
+            ...p,
+            strict_assertion: { description },
+        };
+    }
+    if (p.strict_assertion === undefined) {
+        const { strict_assertion: _omit, ...rest } = p;
+        void _omit;
+        return {
+            ...rest,
+            status: "demote",
+            rationale: `auto-demoted: lift verdict missing strict_assertion. Original rationale: ${p.rationale}`,
+        };
+    }
+    // Inject id + kind to match the discriminated DecisionAssertion zod.
+    // Note: id is a placeholder for validation only; the writer mints the
+    // canonical `<DEC-id>-A<NN>` id before persisting.
+    const candidate = {
+        id: p.candidate_id,
+        kind: p.candidate_kind,
+        ...p.strict_assertion,
+    };
+    const parse = DecisionAssertion.safeParse(candidate);
+    if (!parse.success) {
+        const { strict_assertion: _omit, ...rest } = p;
+        void _omit;
+        return {
+            ...rest,
+            status: "demote",
+            rationale: `auto-demoted: zod validation failed (${parse.error.issues.map((e) => `${e.path.join(".")}: ${e.message}`).slice(0, 2).join("; ")})`,
+        };
+    }
+    return p;
+}
+function mapDialogChoice(response) {
+    if (response.timedOut)
+        return "skip";
+    switch (response.choiceId) {
+        case CHOICE_APPROVE_ALL:
+            return "approve_all";
+        case CHOICE_APPROVE_HIGH_ONLY:
+            return "approve_high_only";
+        case CHOICE_DEMOTE_ALL:
+            return "demote_all";
+        case CHOICE_SKIP:
+            return "skip";
+        default:
+            // Unknown / E) Other → conservative skip; preserves candidates.
+            return "skip";
+    }
+}
+function applyOperatorChoice(args) {
+    const descById = new Map();
+    for (let i = 0; i < args.candidates.length; i++) {
+        const c = args.candidates[i];
+        if (c === undefined)
+            continue;
+        const id = c.id ?? `unknown-A${(i + 1).toString().padStart(2, "0")}`;
+        descById.set(id, c.description);
+    }
+    return args.proposals.map((p) => {
+        const description = descById.get(p.candidate_id) ?? p.rationale;
+        const base = {
+            candidate_id: p.candidate_id,
+            candidate_kind: p.candidate_kind,
+            candidate_description: description,
+            status: "skip",
+        };
+        if (args.choice === "skip") {
+            return { ...base, status: "skip" };
+        }
+        if (args.choice === "demote_all") {
+            return { ...base, status: "demote" };
+        }
+        if (args.choice === "approve_all") {
+            if (p.status === "lift") {
+                return p.strict_assertion !== undefined
+                    ? { ...base, status: "lift", strict_assertion: p.strict_assertion }
+                    : { ...base, status: "demote" };
+            }
+            return { ...base, status: p.status };
+        }
+        // approve_high_only
+        if (p.status === "lift" && p.confidence_signal === "high") {
+            return p.strict_assertion !== undefined
+                ? { ...base, status: "lift", strict_assertion: p.strict_assertion }
+                : { ...base, status: "skip" };
+        }
+        if (p.status === "demote") {
+            return { ...base, status: "demote" };
+        }
+        return { ...base, status: "skip" };
+    });
+}
+function renderDialogPrompt(args) {
+    const lines = [];
+    lines.push(`Refine ${args.decisionId} — ${args.proposals.length} candidate${args.proposals.length === 1 ? "" : "s"}`);
+    lines.push(`"${args.subject}"`);
+    lines.push("");
+    for (const p of args.proposals) {
+        const marker = p.status === "lift" && p.confidence_signal === "high"
+            ? "✅"
+            : p.status === "lift"
+                ? "🟡"
+                : p.status === "demote"
+                    ? "🟠"
+                    : "⚪";
+        const rationale = p.rationale.length > RATIONALE_DISPLAY_CAP
+            ? p.rationale.slice(0, RATIONALE_DISPLAY_CAP) + "…"
+            : p.rationale;
+        lines.push(`${marker} ${p.candidate_id} [${p.candidate_kind}] ${p.confidence_signal.toUpperCase()} → ${p.status}`);
+        lines.push(`   ${rationale}`);
+        if (p.status === "lift" && p.strict_assertion !== undefined) {
+            const preview = JSON.stringify(p.strict_assertion);
+            const previewClipped = preview.length > 160 ? preview.slice(0, 160) + "…" : preview;
+            lines.push(`   shape: ${previewClipped}`);
+        }
+    }
+    lines.push("");
+    const recLifts = args.proposals.filter((p) => p.status === "lift").length;
+    const recDemotes = args.proposals.filter((p) => p.status === "demote").length;
+    const recSkips = args.proposals.filter((p) => p.status === "skip").length;
+    const highOnly = args.proposals.filter((p) => p.status === "lift" && p.confidence_signal === "high").length;
+    lines.push(`Recs: lift=${recLifts}, demote=${recDemotes}, skip=${recSkips}. HIGH-only lifts=${highOnly}.`);
+    let body = lines.join("\n");
+    if (body.length > DIALOG_PROMPT_CHAR_CAP) {
+        body = body.slice(0, DIALOG_PROMPT_CHAR_CAP - 16) + "\n…[truncated]";
+    }
+    return body;
+}
+function emptyResult(decisionId, choice) {
+    return {
+        decision_id: decisionId,
+        proposals: [],
+        operator_choice: choice,
+        lifted_count: 0,
+        demoted_count: 0,
+        skipped_count: 0,
+    };
+}
+function isRefinerOutput(value) {
+    if (typeof value !== "object" || value === null)
+        return false;
+    const v = value;
+    if (!Array.isArray(v["proposals"]))
+        return false;
+    for (const p of v["proposals"]) {
+        if (typeof p !== "object" || p === null)
+            return false;
+        const pp = p;
+        if (typeof pp["candidate_id"] !== "string")
+            return false;
+        if (typeof pp["candidate_kind"] !== "string")
+            return false;
+        if (pp["status"] !== "lift" &&
+            pp["status"] !== "demote" &&
+            pp["status"] !== "skip") {
+            return false;
+        }
+        if (pp["confidence_signal"] !== "high" &&
+            pp["confidence_signal"] !== "medium" &&
+            pp["confidence_signal"] !== "low") {
+            return false;
+        }
+        if (typeof pp["rationale"] !== "string")
+            return false;
+        if (pp["strict_assertion"] !== undefined &&
+            (typeof pp["strict_assertion"] !== "object" ||
+                pp["strict_assertion"] === null)) {
+            return false;
+        }
+    }
+    return true;
+}
+//# sourceMappingURL=refinement.js.map

package/dist/decision-capture/refinement.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"refinement.js","sourceRoot":"","sources":["../../src/decision-capture/refinement.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AACtC,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAG/C,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EACL,iCAAiC,EACjC,iCAAiC,GAClC,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,iCAAiC,EAAE,MAAM,wBAAwB,CAAC;AAC3E,OAAO,EAAE,0BAA0B,EAAoB,MAAM,aAAa,CAAC;AAS3E,MAAM,GAAG,GAAG,MAAM,CAAC,6BAA6B,CAAC,CAAC;AAElD,MAAM,qBAAqB,GAAG,GAAG,CAAC;AAClC,4EAA4E;AAC5E,MAAM,sBAAsB,GAAG,KAAK,CAAC;AAErC,MAAM,kBAAkB,GAAG,GAAG,CAAC;AAC/B,MAAM,wBAAwB,GAAG,GAAG,CAAC;AACrC,MAAM,iBAAiB,GAAG,GAAG,CAAC;AAC9B,MAAM,WAAW,GAAG,GAAG,CAAC;AAQxB;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,KAAmB;IAEnB,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,OAAO,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC;IACvD,CAAC;IACD,MAAM,UAAU,GAAG,iCAAiC,CAAC,KAAK,CAAC,CAAC;IAC5D,GAAG,CAAC,IAAI,CACN;QACE,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM;QACnC,IAAI,EAAE,KAAK,CAAC,IAAI;KACjB,EACD,8BAA8B,CAC/B,CAAC;IAEF,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC;QAC7B,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,UAAU;QAClB,MAAM,EAAE,iCAAiC;QACzC,UAAU,EAAE,iCAA2C;QACvD,SAAS,EAAE,KAAK,CAAC,UAAU,IAAI,OAAO;KACvC,CAAC,CAAC;IAEH,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CACb,2DAA2D,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CACvF,CAAC;IACJ,CAAC;IAED,GAAG,CAAC,IAAI,CACN;QACE,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM;QACzC,WAAW,EAAE,MAAM,CAAC,UAAU;KAC/B,EACD,8BAA8B,CAC/B,CAAC;IAEF,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,WAAW,EAAE,MAAM,CAAC,UAAU;QAC9B,GAAG,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS;YAC5B,CAAC,CAAC;gBACE,KAAK,EAAE;oBACL,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,KAAK,SAAS;wBAC5C,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE;wBAChD,CAAC,CAAC,EAAE,CAAC;oBACP,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,KAAK,SAAS;wBAC7C,CAAC,CAAC,EAAE,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,EAAE;wBAClD,CAAC,CAAC,EAAE,CAAC;iBACR;aACF;YACH,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;AACJ,CAAC;AAwBD,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,IAA+B;IAE/B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,OAAO,CAAC;IAClC,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB,IAAI,uBAAuB,CAAC;IAEjE,MAAM,QAAQ,GAAG,oBAAoB,CAAC;QACpC,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,UAAU,EAAE,IAAI,CAAC,UAAU;KAC5B,CAAC,CAAC;IACH,IAAI,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrC,GAAG,CAAC,IAAI,CACN,EAAE,WAAW,EAAE,IAAI,CAAC,UAAU,EAAE,EAChC,oCAAoC,CACrC,CAAC;QACF,OAAO,WAAW,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAC9C,CAAC;IAED,IAAI,cAAc,GAA0B,IAAI,CAAC;IACjD,IAAI,CAAC;QACH,cAAc,GAAG,MAAM,OAAO,CAAC;YAC7B,WAAW,EAAE,IAAI,CAAC,UAAU;YAC5B,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,WAAW,EAAE,QAAQ,CAAC,WAAW;YACjC,UAAU,EAAE,QAAQ,CAAC,UAAU;YAC/B,IAAI;YACJ,GAAG,CAAC,IAAI,CAAC,iBAAiB,KAAK,SAAS;gBACtC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,iBAAiB,EAAE;gBACxC,CAAC,CAAC,EAAE,CAAC;SACR,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,KAAK,CACP,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,UAAU,EAAE,EAClD,sDAAsD,CACvD,CAAC;QACF,OAAO,EAAE,GAAG,WAAW,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC;IAC5E,CAAC;IAED,uEAAuE;IACvE,8DAA8D;IAC9D,MAAM,OAAO,GAAG,0BAA0B,CAAC;QACzC,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,SAAS,EAAE,cAAc,CAAC,MAAM,CAAC,SAAS;KAC3C,CAAC,CAAC;IAEH,sEAAsE;IACtE,oEAAoE;IACpE,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IAEtD,MAAM,YAAY,GAAG,kBAAkB,CAAC;QACtC,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,SAAS,EAAE,SAAS;KACrB,CAAC,CAAC;IACH,MAAM,UAAU,GAAe;QAC7B,QAAQ,EAAE,UAAU,IAAI,CAAC,UAAU,EAAE;QACrC,MAAM,EAAE,YAAY;QACpB,OAAO,EAAE;YACP,EAAE,EAAE,EAAE,kBAAkB,EAAE,KAAK,EAAE,yCAAyC,EAAE;YAC5E,EAAE,EAAE,EAAE,wBAAwB,EAAE,KAAK,EAAE,8BAA8B,EAAE;YACvE,EAAE,EAAE,EAAE,iBAAiB,EAAE,KAAK,EAAE,oCAAoC,EAAE;YACtE,EAAE,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,oBAAoB,EAAE;YAChD,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE;SACrC;QACD,SAAS,EAAE,IAAI,CAAC,eAAe,IAAI,MAAM;KAC1C,CAAC;IACF,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS;QAAE,UAAU,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;IAExE,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;IAEzC,0EAA0E;IAC1E,MAAM,aAAa,GAAG,mBAAmB,CAAC;QACxC,SAAS,EAAE,SAAS;QACpB,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,MAAM;KACP,CAAC,CAAC;IAEH,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACtB,GAAG,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,UAAU,EAAE,EAAE,6BAA6B,CAAC,CAAC;QAC1E,OAAO;YACL,WAAW,EAAE,IAAI,CAAC,UAAU;YAC5B,SAAS,EAAE,SAAS;YACpB,eAAe,EAAE,MAAM;YACvB,YAAY,EAAE,CAAC;YACf,aAAa,EAAE,CAAC;YAChB,aAAa,EAAE,SAAS,CAAC,MAAM;SAChC,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,0BAA0B,CAAC;QAC5C,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,QAAQ,EAAE,aAAa;KACxB,CAAC,CAAC;IAEH,GAAG,CAAC,IAAI,CACN;QACE,WAAW,EAAE,IAAI,CAAC,UAAU;QAC5B,eAAe,EAAE,MAAM;QACvB,MAAM,EAAE,UAAU,CAAC,YAAY;QAC/B,OAAO,EAAE,UAAU,CAAC,aAAa;QACjC,cAAc,EAAE,UAAU,CAAC,aAAa;KACzC,EACD,oBAAoB,CACrB,CAAC;IAEF,OAAO;QACL,WAAW,EAAE,IAAI,CAAC,UAAU;QAC5B,SAAS,EAAE,SAAS;QACpB,eAAe,EAAE,MAAM;QACvB,YAAY,EAAE,UAAU,CAAC,YAAY;QACrC,aAAa,EAAE,UAAU,CAAC,aAAa;QACvC,aAAa,EAAE,UAAU,CAAC,aAAa;KACxC,CAAC;AACJ,CAAC;AAWD,SAAS,oBAAoB,CAAC,IAG7B;IACC,MAAM,OAAO,GAAG,2BAA2B,IAAI,CAAC,UAAU,KAAK,CAAC;IAChE,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACzC,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACtC,uEAAuE;IACvE,sEAAsE;IACtE,kCAAkC;IAClC,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IACrC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,WAAW,IAAI,EAAE,CAA4B,CAAC;IACjE,MAAM,aAAa,GAAG,EAAE,CAAC,sBAAsB,CAAC,CAAC;IACjD,MAAM,UAAU,GAAyB,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC;QACnE,CAAC,CAAE,aAAgD,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE;YACnE,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;YACvB,MAAM,WAAW,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC;YACrC,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,WAAW,KAAK,QAAQ,EAAE,CAAC;gBAChE,GAAG,CAAC,IAAI,CACN,EAAE,WAAW,EAAE,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,EACrC,mDAAmD,CACpD,CAAC;gBACF,OAAO,EAAE,CAAC;YACZ,CAAC;YACD,MAAM,EAAE,GACN,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,QAAQ;gBACzB,CAAC,CAAE,CAAC,CAAC,IAAI,CAAY;gBACrB,CAAC,CAAC,GAAG,IAAI,CAAC,UAAU,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;YACrE,MAAM,MAAM,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC;YAC/B,MAAM,GAAG,GAAuB;gBAC9B,EAAE;gBACF,IAAI,EAAE,IAAkC;gBACxC,WAAW;gBACX,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI;oBACvE,CAAC,CAAC,EAAE,UAAU,EAAE,MAAiC,EAAE;oBACnD,CAAC,CAAC,EAAE,CAAC;aACR,CAAC;YACF,OAAO,CAAC,GAAG,CAAC,CAAC;QACf,CAAC,CAAC;QACJ,CAAC,CAAC,EAAE,CAAC;IAEP,OAAO;QACL,OAAO,EAAE,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAE,EAAE,CAAC,OAAO,CAAY,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU;QACpF,OAAO,EAAE,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC;QAC5C,WAAW,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC;YAC3C,CAAC,CAAE,EAAE,CAAC,aAAa,CAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;YACpF,CAAC,CAAC,EAAE;QACN,UAAU;KACX,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAY;IAC1C,wEAAwE;IACxE,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACjD,IAAI,aAAa,KAAK,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC;IACpC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IAC9D,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,WAAW,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;IACvE,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC;AACtB,CAAC;AAED,SAAS,0BAA0B,CAAC,IAInC;IACC,MAAM,IAAI,GAAG,IAAI,GAAG,EAA8B,CAAC;IACnD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS;QAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;IAC5D,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE;QACpC,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,CAAC,UAAU,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;QAClF,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC3B,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,GAAG,CAAC,IAAI,CACN,EAAE,WAAW,EAAE,IAAI,CAAC,UAAU,EAAE,YAAY,EAAE,EAAE,EAAE,EAClD,8CAA8C,CAC/C,CAAC;QACF,OAAO;YACL,YAAY,EAAE,EAAE;YAChB,cAAc,EAAE,CAAC,CAAC,IAAI;YACtB,MAAM,EAAE,QAAQ;YAChB,iBAAiB,EAAE,KAAK;YACxB,SAAS,EAAE,qEAAqE;SACjF,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,YAAY,CAAC,CAAqB;IACzC,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM;QAAE,OAAO,CAAC,CAAC;IAClC,yEAAyE;IACzE,sEAAsE;IACtE,yBAAyB;IACzB,IAAI,CAAC,CAAC,cAAc,KAAK,mBAAmB,EAAE,CAAC;QAC7C,MAAM,WAAW,GACf,OAAO,CAAC,CAAC,gBAAgB,EAAE,CAAC,aAAa,CAAC,KAAK,QAAQ;YACrD,CAAC,CAAE,CAAC,CAAC,gBAAgB,CAAC,aAAa,CAAY;YAC/C,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,uBAAuB,CAAC,CAAC;QAC/C,OAAO;YACL,GAAG,CAAC;YACJ,gBAAgB,EAAE,EAAE,WAAW,EAAE;SAClC,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACrC,MAAM,EAAE,gBAAgB,EAAE,KAAK,EAAE,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC;QAC/C,KAAK,KAAK,CAAC;QACX,OAAO;YACL,GAAG,IAAI;YACP,MAAM,EAAE,QAAQ;YAChB,SAAS,EAAE,4EAA4E,CAAC,CAAC,SAAS,EAAE;SACrG,CAAC;IACJ,CAAC;IAED,qEAAqE;IACrE,sEAAsE;IACtE,mDAAmD;IACnD,MAAM,SAAS,GAAG;QAChB,EAAE,EAAE,CAAC,CAAC,YAAY;QAClB,IAAI,EAAE,CAAC,CAAC,cAAc;QACtB,GAAG,CAAC,CAAC,gBAAgB;KACtB,CAAC;IACF,MAAM,KAAK,GAAG,iBAAiB,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IACrD,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;QACnB,MAAM,EAAE,gBAAgB,EAAE,KAAK,EAAE,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC;QAC/C,KAAK,KAAK,CAAC;QACX,OAAO;YACL,GAAG,IAAI;YACP,MAAM,EAAE,QAAQ;YAChB,SAAS,EAAE,wCAAwC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;SAChJ,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,eAAe,CAAC,QAIxB;IACC,IAAI,QAAQ,CAAC,QAAQ;QAAE,OAAO,MAAM,CAAC;IACrC,QAAQ,QAAQ,CAAC,QAAQ,EAAE,CAAC;QAC1B,KAAK,kBAAkB;YACrB,OAAO,aAAa,CAAC;QACvB,KAAK,wBAAwB;YAC3B,OAAO,mBAAmB,CAAC;QAC7B,KAAK,iBAAiB;YACpB,OAAO,YAAY,CAAC;QACtB,KAAK,WAAW;YACd,OAAO,MAAM,CAAC;QAChB;YACE,gEAAgE;YAChE,OAAO,MAAM,CAAC;IAClB,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,IAI5B;IACC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAChD,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,CAAC,KAAK,SAAS;YAAE,SAAS;QAC9B,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;QACrE,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC9B,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC;QAChE,MAAM,IAAI,GAAgB;YACxB,YAAY,EAAE,CAAC,CAAC,YAAY;YAC5B,cAAc,EAAE,CAAC,CAAC,cAAc;YAChC,qBAAqB,EAAE,WAAW;YAClC,MAAM,EAAE,MAAM;SACf,CAAC;QACF,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YAC3B,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QACrC,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;YACjC,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;QACvC,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;YAClC,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;gBACxB,OAAO,CAAC,CAAC,gBAAgB,KAAK,SAAS;oBACrC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC,gBAAgB,EAAE;oBACnE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;YACpC,CAAC;YACD,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;QACvC,CAAC;QACD,oBAAoB;QACpB,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,CAAC,iBAAiB,KAAK,MAAM,EAAE,CAAC;YAC1D,OAAO,CAAC,CAAC,gBAAgB,KAAK,SAAS;gBACrC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC,gBAAgB,EAAE;gBACnE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QAClC,CAAC;QACD,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YAC1B,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;QACvC,CAAC;QACD,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CAAC,IAI3B;IACC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,MAAM,IAAI,CAAC,SAAS,CAAC,MAAM,aAAa,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;IACtH,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC;IAChC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QAC/B,MAAM,MAAM,GACV,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,CAAC,iBAAiB,KAAK,MAAM;YACnD,CAAC,CAAC,GAAG;YACL,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM;gBACnB,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ;oBACrB,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,GAAG,CAAC;QACd,MAAM,SAAS,GACb,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,qBAAqB;YACxC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,qBAAqB,CAAC,GAAG,GAAG;YACnD,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAClB,KAAK,CAAC,IAAI,CACR,GAAG,MAAM,IAAI,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,cAAc,KAAK,CAAC,CAAC,iBAAiB,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,MAAM,EAAE,CACvG,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,MAAM,SAAS,EAAE,CAAC,CAAC;QAC9B,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;YAC5D,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;YACnD,MAAM,cAAc,GAClB,OAAO,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;YAC/D,KAAK,CAAC,IAAI,CAAC,aAAa,cAAc,EAAE,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IAC1E,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAC;IAC9E,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IAC1E,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CACpC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,IAAI,CAAC,CAAC,iBAAiB,KAAK,MAAM,CAC7D,CAAC,MAAM,CAAC;IACT,KAAK,CAAC,IAAI,CACR,cAAc,QAAQ,YAAY,UAAU,UAAU,QAAQ,qBAAqB,QAAQ,GAAG,CAC/F,CAAC;IAEF,IAAI,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,IAAI,IAAI,CAAC,MAAM,GAAG,sBAAsB,EAAE,CAAC;QACzC,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,sBAAsB,GAAG,EAAE,CAAC,GAAG,gBAAgB,CAAC;IACvE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,WAAW,CAClB,UAAkB,EAClB,MAA2C;IAE3C,OAAO;QACL,WAAW,EAAE,UAAU;QACvB,SAAS,EAAE,EAAE;QACb,eAAe,EAAE,MAAM;QACvB,YAAY,EAAE,CAAC;QACf,aAAa,EAAE,CAAC;QAChB,aAAa,EAAE,CAAC;KACjB,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACrC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC9D,MAAM,CAAC,GAAG,KAAgC,CAAC;IAC3C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACjD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,CAAc,EAAE,CAAC;QAC5C,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;QACtD,MAAM,EAAE,GAAG,CAA4B,CAAC;QACxC,IAAI,OAAO,EAAE,CAAC,cAAc,CAAC,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QACzD,IAAI,OAAO,EAAE,CAAC,gBAAgB,CAAC,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC3D,IACE,EAAE,CAAC,QAAQ,CAAC,KAAK,MAAM;YACvB,EAAE,CAAC,QAAQ,CAAC,KAAK,QAAQ;YACzB,EAAE,CAAC,QAAQ,CAAC,KAAK,MAAM,EACvB,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IACE,EAAE,CAAC,mBAAmB,CAAC,KAAK,MAAM;YAClC,EAAE,CAAC,mBAAmB,CAAC,KAAK,QAAQ;YACpC,EAAE,CAAC,mBAAmB,CAAC,KAAK,KAAK,EACjC,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,OAAO,EAAE,CAAC,WAAW,CAAC,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QACtD,IACE,EAAE,CAAC,kBAAkB,CAAC,KAAK,SAAS;YACpC,CAAC,OAAO,EAAE,CAAC,kBAAkB,CAAC,KAAK,QAAQ;gBACzC,EAAE,CAAC,kBAAkB,CAAC,KAAK,IAAI,CAAC,EAClC,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/decision-capture/schema.d.ts

@@ -0,0 +1,70 @@
+/**
+ * JSON Schema enforced by `claude --json-schema` for the decision-extractor
+ * output. Mirrors `DecisionExtractorOutput` exactly.
+ *
+ * Assertion kinds match the production set in `src/ground/schemas.ts`. The
+ * extractor's `parameters` is a free-form object; the cairn materializes
+ * the assertion into the draft as-is and lets sensors validate at evaluation
+ * time. Rejecting at extract time would block the operator's intent over
+ * a malformed parameter the agent might still get right on the next pass.
+ */
+export declare const DECISION_EXTRACTOR_OUTPUT_SCHEMA: {
+    readonly type: "object";
+    readonly additionalProperties: false;
+    readonly properties: {
+        readonly subject: {
+            readonly type: "string";
+            readonly minLength: 1;
+        };
+        readonly summary: {
+            readonly type: "string";
+            readonly minLength: 1;
+        };
+        readonly scope_globs: {
+            readonly type: "array";
+            readonly items: {
+                readonly type: "string";
+            };
+        };
+        readonly supersedes: {
+            readonly anyOf: readonly [{
+                readonly type: "string";
+                readonly pattern: "^DEC-\\d{4,}$";
+            }, {
+                readonly type: "null";
+            }];
+        };
+        readonly candidate_assertions: {
+            readonly type: "array";
+            readonly maxItems: 3;
+            readonly items: {
+                readonly type: "object";
+                readonly additionalProperties: false;
+                readonly properties: {
+                    readonly id: {
+                        readonly type: "string";
+                    };
+                    readonly kind: {
+                        readonly enum: readonly ["schema_must_contain", "text_must_match", "text_must_not_match", "index_must_exist", "ast_pattern", "file_must_not_be_modified", "query_must_filter_by", "route_must_have_guard", "event_must_emit", "service_method_must_call", "human_review_hint"];
+                    };
+                    readonly description: {
+                        readonly type: "string";
+                        readonly minLength: 1;
+                    };
+                    readonly parameters: {
+                        readonly type: "object";
+                        readonly additionalProperties: true;
+                    };
+                };
+                readonly required: readonly ["kind", "description"];
+            };
+        };
+        readonly confidence_signal: {
+            readonly enum: readonly ["high", "medium", "low"];
+        };
+        readonly not_a_decision: {
+            readonly type: "boolean";
+        };
+    };
+    readonly required: readonly ["subject", "summary", "scope_globs", "candidate_assertions", "confidence_signal", "not_a_decision"];
+};

package/dist/decision-capture/schema.js

@@ -0,0 +1,71 @@
+/**
+ * JSON Schema enforced by `claude --json-schema` for the decision-extractor
+ * output. Mirrors `DecisionExtractorOutput` exactly.
+ *
+ * Assertion kinds match the production set in `src/ground/schemas.ts`. The
+ * extractor's `parameters` is a free-form object; the cairn materializes
+ * the assertion into the draft as-is and lets sensors validate at evaluation
+ * time. Rejecting at extract time would block the operator's intent over
+ * a malformed parameter the agent might still get right on the next pass.
+ */
+export const DECISION_EXTRACTOR_OUTPUT_SCHEMA = {
+    type: "object",
+    additionalProperties: false,
+    properties: {
+        subject: { type: "string", minLength: 1 },
+        summary: { type: "string", minLength: 1 },
+        scope_globs: {
+            type: "array",
+            items: { type: "string" },
+        },
+        supersedes: {
+            anyOf: [
+                { type: "string", pattern: "^DEC-\\d{4,}$" },
+                { type: "null" },
+            ],
+        },
+        candidate_assertions: {
+            type: "array",
+            maxItems: 3,
+            items: {
+                type: "object",
+                additionalProperties: false,
+                properties: {
+                    id: { type: "string" },
+                    kind: {
+                        enum: [
+                            "schema_must_contain",
+                            "text_must_match",
+                            "text_must_not_match",
+                            "index_must_exist",
+                            "ast_pattern",
+                            "file_must_not_be_modified",
+                            "query_must_filter_by",
+                            "route_must_have_guard",
+                            "event_must_emit",
+                            "service_method_must_call",
+                            "human_review_hint",
+                        ],
+                    },
+                    description: { type: "string", minLength: 1 },
+                    parameters: {
+                        type: "object",
+                        additionalProperties: true,
+                    },
+                },
+                required: ["kind", "description"],
+            },
+        },
+        confidence_signal: { enum: ["high", "medium", "low"] },
+        not_a_decision: { type: "boolean" },
+    },
+    required: [
+        "subject",
+        "summary",
+        "scope_globs",
+        "candidate_assertions",
+        "confidence_signal",
+        "not_a_decision",
+    ],
+};
+//# sourceMappingURL=schema.js.map

package/dist/decision-capture/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/decision-capture/schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAG;IAC9C,IAAI,EAAE,QAAQ;IACd,oBAAoB,EAAE,KAAK;IAC3B,UAAU,EAAE;QACV,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE;QACzC,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE;QACzC,WAAW,EAAE;YACX,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC1B;QACD,UAAU,EAAE;YACV,KAAK,EAAE;gBACL,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,eAAe,EAAE;gBAC5C,EAAE,IAAI,EAAE,MAAM,EAAE;aACjB;SACF;QACD,oBAAoB,EAAE;YACpB,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,CAAC;YACX,KAAK,EAAE;gBACL,IAAI,EAAE,QAAQ;gBACd,oBAAoB,EAAE,KAAK;gBAC3B,UAAU,EAAE;oBACV,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACtB,IAAI,EAAE;wBACJ,IAAI,EAAE;4BACJ,qBAAqB;4BACrB,iBAAiB;4BACjB,qBAAqB;4BACrB,kBAAkB;4BAClB,aAAa;4BACb,2BAA2B;4BAC3B,sBAAsB;4BACtB,uBAAuB;4BACvB,iBAAiB;4BACjB,0BAA0B;4BAC1B,mBAAmB;yBACpB;qBACF;oBACD,WAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE;oBAC7C,UAAU,EAAE;wBACV,IAAI,EAAE,QAAQ;wBACd,oBAAoB,EAAE,IAAI;qBAC3B;iBACF;gBACD,QAAQ,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC;aAClC;SACF;QACD,iBAAiB,EAAE,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE;QACtD,cAAc,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;KACpC;IACD,QAAQ,EAAE;QACR,SAAS;QACT,SAAS;QACT,aAAa;QACb,sBAAsB;QACtB,mBAAmB;QACnB,gBAAgB;KACjB;CACO,CAAC"}