nodedex 0.1.0

package/dist/middleware/reflect/pass2b.js

@@ -0,0 +1,480 @@
+// ═══════════════════════════════════════════════════════════════════════════════
+// PASS 2b — FILL UNIQUE{}  (Week 2 step 2, debt #1, 2026-05-25)
+//
+// Role:  The second of three sub-passes in the Pass 2 split (see
+//        docs/PASS2-SPLIT-DESIGN.md §2 Pass ownership). Takes one item from
+//        Pass 2a (type already assigned) and fills the `unique{}` fields
+//        per the type's schema. NEVER changes the type. NEVER wires causal
+//        relations. PER-ITEM, parallelizable.
+//
+// What this pass DOES (§2 ownership):
+//   - UNIQUE FIELDS — populate using ONLY the assigned type's schema
+//   - The insight discriminator check (implication vs reason vs proposal)
+//   - Schema-shape self-check before emitting (structured output enforces it;
+//     Seam α validation is the hard gate)
+//
+// What this pass does NOT do (anti-examples, §2):
+//   - Change the `type` — read-only per Seam α contract; if 2b can't fill,
+//     it emits its best attempt, the seam validator routes back to 2a
+//   - Reclassify if the schema doesn't fit — that's the seam's job
+//   - Wire relations (`triggered_by_items`, `based_on_items`, `relations`) —
+//     that's Pass 2c
+//   - Touch other items' fields — 2b is strictly per-item
+//   - Use BATCH visibility — each item processed independently (parallelizable)
+//
+// Failure mode (per §3): if 2b can't fill the schema for the assigned type,
+// it just emits what it has. The Seam α validator (`validateSeamAlpha` in
+// pass2-seams.ts) catches the mismatch and routes back to 2a OR quarantines.
+// 2b is not in the route-back decision loop; it just tries.
+//
+// Status:
+//   - Standalone file. NOT wired into pipeline.ts yet (Week 2 wiring is the
+//     next step). Callable in tests with synthetic inputs.
+//   - `pass2.ts` is FROZEN per §4. This file does NOT replace it.
+//
+// Charter alignment:
+//   - Rule 6 (guards catch failure): 2b emits its best attempt; the SEAM
+//     catches mismatches. 2b never silently corrupts data.
+//   - Rule 7 (determinism is local): per-item structured output, deterministic
+//     schema per type, no batch interactions.
+//   - Rule 14 (store the path): the type 2a assigned is the path 2b walks;
+//     2b doesn't re-derive it.
+// ═══════════════════════════════════════════════════════════════════════════════
+import { CONFIG } from "./config.js";
+import { TYPE_UNIQUE_SCHEMA } from "./schema-validator.js";
+// ─── Prompt builder ────────────────────────────────────────────────────────────
+//
+// 2b's prompt is much shorter than 2a's because:
+//   - No dedup (Q0 is 2a's)
+//   - No type assignment (Q1 is 2a's)
+//   - No hierarchy / project / supersession (all 2a's)
+//   - No causal wiring (2c's)
+//   - No PROJECT GRAPH (no dedup needed)
+//   - No SCENE CARD (no classification needed)
+//
+// 2b sees only: this item's text + type + which fields to fill.
+// The schema is INJECTED per call from TYPE_UNIQUE_SCHEMA, so 2b prompts
+// don't enumerate all 18 type schemas every call (cost discipline per §7).
+//
+// The insight discriminator is preserved verbatim from monolith for the
+// insight type — that's the Bug-3-class fix this design targets at the
+// Seam α layer, but 2b still does the structural disambiguation in the
+// prompt as a first line of defense.
+/**
+ * Build the Pass 2b prompt for a single item. The type's schema is injected
+ * directly so the prompt is concise and type-specific.
+ *
+ * Exposed for tests (so prompt structure can be asserted without an LLM call).
+ */
+export function buildPass2bPrompt(item) {
+    const schema = TYPE_UNIQUE_SCHEMA[item.type];
+    // Novel / unknown type: 2a should have provided schema{} in the seam payload,
+    // but at the per-item-fill level we just instruct the model to fill whatever
+    // fields make sense; the seam validator will pass through novel types per
+    // its bypass rule (see validateSeamAlpha).
+    const isNovel = !schema;
+    const isFreeform = schema && schema.required.length === 0 && schema.optional.length === 0;
+    // Build the type-specific field guidance.
+    let fieldGuidance;
+    if (isNovel) {
+        fieldGuidance =
+            `This item's type is "${item.type}" — a novel type defined by Pass 2a.\n` +
+                `Fill 1-3 fields in unique{} that capture the essential structured data.\n` +
+                `Use short, lowercase, snake_case field names that describe the role of each value.`;
+    }
+    else if (isFreeform) {
+        fieldGuidance =
+            `This item's type is "${item.type}" — a freeform type with no required schema.\n` +
+                `If structured data is present in the text, capture it. Otherwise leave unique{} empty.`;
+    }
+    else {
+        const required = schema.required.join(", ");
+        const optional = schema.optional.join(", ");
+        fieldGuidance =
+            `This item's type is "${item.type}".\n` +
+                `REQUIRED fields (must all be present and non-empty): ${required}\n` +
+                (optional.length > 0 ? `OPTIONAL fields (include only if the text actually says them): ${optional}\n` : "") +
+                `Use ONLY these field names. Do not invent new fields. Do not include fields not listed above.`;
+    }
+    // Insight discriminator: preserved verbatim from the monolith UNIQUE FIELDS
+    // section. Only fires when the type is insight, but kept in every prompt
+    // (cheap and reinforces the discipline even when the type is something else).
+    const insightDiscriminator = item.type === "insight"
+        ? `\n\nINSIGHT FIELD DISCIPLINE: insight's second field is "implication" (what the observation MEANS going forward) — NOT "proposal" (that field belongs to hypothesis: an unverified guess) and NOT a bare "reason". If the text only gives an observation and a reason without a forward-looking implication, you cannot fill insight cleanly — emit whatever you have and let the seam validator route back. Do NOT invent an implication that isn't in the text.`
+        : "";
+    // Re-fill retry context (seam α route-back). Tells 2b exactly which required
+    // field the first attempt missed, and to LOOK HARDER for it in the text —
+    // without licensing fabrication (charter rule 4: don't ask for a weak skill;
+    // rule 14: don't invent path-content). The "leave empty if genuinely absent"
+    // escape preserves the seam's ability to quarantine a truly-unfillable item.
+    const retrySection = item.retryFailureDetail
+        ? `\n\nRETRY — a previous fill of this item failed schema validation: ${item.retryFailureDetail}.
+Re-read the text carefully. If the missing field's content IS present — for example a
+forward-looking consequence for "implication", or the action being described for
+"description" — extract and fill it now (the first pass may have been too conservative).
+If the required field is genuinely NOT in the text, leave it empty: the item will be set
+aside rather than saved incorrectly. Never invent content that isn't in the text.`
+        : "";
+    return `You receive ONE classified item from Pass 2a. Your job is to fill
+its unique{} fields per the assigned type's schema. DO NOT change the type.
+DO NOT wire causal relations (later pass handles that).
+
+${fieldGuidance}
+
+EXTRACTION RULES (apply regardless of type):
+- Omit fields that have no value in the text — do not fabricate.
+- Use verbatim language from the text when possible; light paraphrase OK for clarity.
+- Specific named things (a tool name, a number, a date) belong in unique{}.
+- Each field value should be a single concise string.${insightDiscriminator}${retrySection}
+
+OUTPUT FORMAT:
+{ "id": "<the item's id>", "unique": { <field>: <value>, ... } }
+`;
+}
+/**
+ * Output schema for a single 2b call.
+ *
+ * Defense in depth: `unique` is `type: "object"` with no constraint on which
+ * keys appear. This means we cannot prevent the model from emitting extra
+ * fields at the schema layer — `sanitizePass2bResult` (below) strips any
+ * fields not in the type's allowed set. The seam validator then runs the
+ * canonical `validateUniqueSchema` on what survives.
+ *
+ * Why not constrain the schema to the type's allowed keys?
+ *   - The per-type set would have to be built dynamically per call
+ *   - Structured output JSON schemas typically can't express "exactly these
+ *     keys or those keys" (the union shape varies)
+ *   - Sanitizer + seam validator gives layered defense without per-call
+ *     schema gymnastics
+ */
+const PASS2B_SCHEMA = {
+    type: "object",
+    properties: {
+        id: { type: "string" },
+        unique: {
+            type: "object",
+            // All known fields as optional strings; model fills what applies for the
+            // assigned type. Sanitizer strips anything outside the type's allowed set.
+            properties: {
+                choice: { type: "string" },
+                reason: { type: "string" },
+                alternatives_rejected: { type: "string" },
+                approach: { type: "string" },
+                alternative: { type: "string" },
+                limit: { type: "string" },
+                source: { type: "string" },
+                value: { type: "string" },
+                name: { type: "string" },
+                role: { type: "string" },
+                purpose: { type: "string" },
+                status: { type: "string" },
+                trigger_to_implement: { type: "string" },
+                question: { type: "string" },
+                why_matters: { type: "string" },
+                observation: { type: "string" },
+                implication: { type: "string" },
+                description: { type: "string" },
+                owner: { type: "string" },
+                outcome: { type: "string" },
+                proposal: { type: "string" },
+                evidence_for: { type: "string" },
+                evidence_against: { type: "string" },
+                definition: { type: "string" },
+                current_value: { type: "string" },
+                target: { type: "string" },
+                what_happened: { type: "string" },
+                date: { type: "string" },
+                lean: { type: "string" },
+                over: { type: "string" },
+                condition: { type: "string" },
+            },
+        },
+    },
+    required: ["id", "unique"],
+};
+// ─── Sanitizer ─────────────────────────────────────────────────────────────────
+//
+// Strip `unique{}` fields that aren't allowed for the assigned type.
+//
+// Why: the structured-output schema accepts ALL known fields as optional, so a
+// model emitting `{observation, reason}` for an insight (Bug-3 territory)
+// passes JSON-schema validation but FAILS the type-vs-schema validator. The
+// sanitizer removes the extras BEFORE the seam runs, so:
+//   - Seam validator sees only the fields that should be there
+//   - If required fields are missing, seam routes back / quarantines as designed
+//   - If extras were the model's misread, they're not preserved into the live graph
+//
+// For novel/freeform types: pass through unchanged (no canonical schema to
+// strip against).
+export function sanitizePass2bUnique(type, unique) {
+    const schema = TYPE_UNIQUE_SCHEMA[type];
+    // Coerce values to strings (the schema declares them as strings; defensive).
+    const coerced = {};
+    for (const [k, v] of Object.entries(unique ?? {})) {
+        if (v === null || v === undefined)
+            continue;
+        if (typeof v === "string" && v.trim() === "")
+            continue;
+        coerced[k] = typeof v === "string" ? v : String(v);
+    }
+    // Novel / unknown type: trust the model (no canonical schema to validate against).
+    if (!schema)
+        return { unique: coerced, strippedKeys: [] };
+    // Freeform (project/process/note): pass through.
+    if (schema.required.length === 0 && schema.optional.length === 0) {
+        return { unique: coerced, strippedKeys: [] };
+    }
+    const allowed = new Set([...schema.required, ...schema.optional]);
+    const strippedKeys = [];
+    const out = {};
+    for (const [k, v] of Object.entries(coerced)) {
+        if (allowed.has(k))
+            out[k] = v;
+        else
+            strippedKeys.push(k);
+    }
+    return { unique: out, strippedKeys };
+}
+export function sanitizePass2bResult(type, raw) {
+    const { unique, strippedKeys } = sanitizePass2bUnique(type, raw.unique ?? {});
+    return { result: { id: raw.id, unique }, strippedKeys };
+}
+// ─── LLM call ──────────────────────────────────────────────────────────────────
+//
+// Per-item LLM call. Returns the filled unique{} (sanitized). Mirrors the
+// rate-limit / model / attempts shape of callPass2aLLM so wiring is uniform.
+export async function callPass2bLLM(provider, item, thinkingBudget = 512, // Smaller than 2a — fill is structural, not reasoning-heavy
+// Multi-model routing (C, 2026-05-25): 2b is structural per-item fill
+// (Haiku-class territory per PASS2-SPLIT-DESIGN.md §7). Universal — string
+// model name, no provider assumption.
+modelOverride) {
+    const prompt = buildPass2bPrompt(item);
+    // User input: just the item's text + classification_reasoning so model has
+    // the context for why 2a picked this type. NO project graph, NO scene card.
+    const reasonLine = item.classification_reasoning
+        ? `\nCLASSIFICATION REASONING from Pass 2a: ${item.classification_reasoning}\n`
+        : "";
+    const userInput = `ITEM:\n  id: ${item.id}\n  type: ${item.type}\n  text: ${item.text}\n${reasonLine}`;
+    const r = await provider.generateStructured(prompt, userInput, PASS2B_SCHEMA, {
+        thinkingBudget,
+        maxOutputTokens: CONFIG.pass2.maxOutputTokens,
+        ...(modelOverride ? { modelOverride } : {}),
+    });
+    if (!r.result) {
+        return {
+            result: null,
+            thinking: r.thinking ?? "",
+            rateLimited: r.rateLimited,
+            model: r.model,
+            attempts: r.attempts,
+            usage: r.usage, // a failed/truncated call still burned tokens — surface for the batch roll-up
+        };
+    }
+    const { result: clean, strippedKeys } = sanitizePass2bResult(item.type, r.result);
+    if (strippedKeys.length > 0) {
+        // Sanitizer fired — model emitted fields outside the type's schema.
+        // Log loudly so the contract violation is auditable; the seam validator
+        // will then run on the sanitized output.
+        console.log(`Auto-Reflect Pass 2b: SANITIZER stripped ${strippedKeys.length} extra field(s) on ${item.id} [${item.type}]: ${strippedKeys.join(", ")}`);
+    }
+    return {
+        result: clean,
+        thinking: r.thinking ?? "",
+        rateLimited: r.rateLimited,
+        model: r.model,
+        attempts: r.attempts,
+        usage: r.usage,
+        strippedKeys: strippedKeys.length > 0 ? strippedKeys : undefined,
+    };
+}
+// ─── Batch helper ──────────────────────────────────────────────────────────────
+//
+// Calls callPass2bLLM for each item, with configurable parallelism. On
+// rate-limit, an item lands in `failures[]` with reason: 'rate_limited'; the
+// caller can retry-with-backoff or quarantine the item. Sequential fallback is
+// achieved by passing parallelism=1.
+//
+// Default parallelism = 10 — Stage C-1 (2026-05-30). Bumped from 5 after the
+// popup-dinner empirical baseline (28 items, Pass 2 = 143s wall ≈ 59.5% of the
+// 253s reflect run) showed Pass 2b chunked execution dominating Pass 2 wall.
+// At ~20 items, parallelism=5 = 4 chunks sequential; parallelism=10 = 2 chunks
+// ≈ 50% Pass 2b wall reduction when not provider-rate-limited. Existing
+// failure capture (failures[] with reason: 'rate_limited') means a 10-wide
+// burst is safe — 429'd items land in failures[] and the orchestrator
+// retry-with-backoff path handles them. Sequential fallback: parallelism=1.
+//
+// Buying-time-against: Debt 5 (atomic + arc extraction, atlas §9). Per-turn
+// Pass 2 will reshape under Variant A; until then, parallelism is the smallest
+// data-model-independent win on the table.
+//
+// Override precedence (high → low):
+//   1. options.parallelism — explicit caller arg (tests + future per-call tuning)
+//   2. NODEDEX_PASS2B_PARALLELISM env var — operator dial; mirrors NODEDEX_PASS2{A,B,C}_MODEL family
+//   3. DEFAULT_PASS2B_PARALLELISM — compile-time fallback
+const DEFAULT_PASS2B_PARALLELISM = 10;
+function parsePass2bParallelismEnv() {
+    const raw = process.env.NODEDEX_PASS2B_PARALLELISM;
+    if (!raw)
+        return undefined;
+    const n = Number.parseInt(raw, 10);
+    if (Number.isNaN(n) || n < 1)
+        return undefined;
+    return n;
+}
+export async function callPass2bBatch(provider, items, options) {
+    // Env-var dial — read per call so test overrides take effect without
+    // module reload. Bad / NaN / negative → fall through to DEFAULT.
+    const envParallelism = parsePass2bParallelismEnv();
+    const parallelism = Math.max(1, options?.parallelism ?? envParallelism ?? DEFAULT_PASS2B_PARALLELISM);
+    const thinkingBudget = options?.thinkingBudget;
+    const modelOverride = options?.modelOverride;
+    const results = [];
+    const failures = [];
+    const usage = { input: 0, thinking: 0, output: 0 };
+    // Simple chunked-parallelism: take `parallelism` items at a time, await all,
+    // then take the next chunk. Avoids requiring a heavier concurrency lib.
+    for (let i = 0; i < items.length; i += parallelism) {
+        const chunk = items.slice(i, i + parallelism);
+        const settled = await Promise.allSettled(chunk.map((item) => callPass2bLLM(provider, item, thinkingBudget, modelOverride).then((r) => ({ item, r }))));
+        for (const s of settled) {
+            if (s.status === "rejected") {
+                // Promise rejection (unusual — callPass2bLLM normally returns rateLimited
+                // or null instead of throwing); capture as llm_error.
+                failures.push({ id: "<unknown>", reason: "llm_error", detail: String(s.reason).slice(0, 200) });
+                continue;
+            }
+            const { item, r } = s.value;
+            // Roll up usage from every settled call — success or failure — since a
+            // truncated/failed call still consumed tokens at the provider.
+            if (r.usage) {
+                usage.input += r.usage.input ?? 0;
+                usage.thinking += r.usage.thinking ?? 0;
+                usage.output += r.usage.output ?? 0;
+            }
+            if (r.result) {
+                results.push(r.result);
+            }
+            else if (r.rateLimited) {
+                failures.push({ id: item.id, reason: "rate_limited" });
+            }
+            else {
+                failures.push({ id: item.id, reason: "llm_error", detail: "callPass2bLLM returned null result" });
+            }
+        }
+    }
+    return { results, failures, usage };
+}
+// ─── STAGE B — SINGLE-CALL BATCHED FILL (Debt 4 Stage B, 2026-06-13) ────────────
+//
+// The per-item fill above is correct but its fan-out dominates v2 front-half
+// wall time (~1 call per block; ~19 calls on a 3-turn arc). This fills N items
+// in ONE structured call: same TYPE_UNIQUE_SCHEMA, same sanitizer, same
+// never-fabricate rules — only the call SHAPE changes. The risk profile differs
+// from the known fused-call failure (COMPREHEND could not fill *while
+// comprehending*): here fill is still the ONLY job, just over several items.
+//
+// Resilience contract: batching may speed up, it must NEVER lose a fill —
+// any item missing from a batch response (or a whole failed chunk) FALLS BACK
+// to the proven per-item call. Flag: NODEDEX_V2_FILL_BATCH (default ON; =0
+// reverts the v2 front-half to the per-item path).
+export function v2FillBatchEnabled() {
+    return process.env.NODEDEX_V2_FILL_BATCH !== "0";
+}
+export function buildPass2bBatchPrompt() {
+    return `You receive SEVERAL classified items. For EACH item, fill its unique{}
+fields per the field list given WITH that item. DO NOT change any type. DO NOT
+wire causal relations. Items are independent — never copy content between items.
+
+EXTRACTION RULES (apply to every item):
+- Use ONLY the field names listed for that item. Do not invent new fields.
+- Omit fields that have no value in the item's text — do not fabricate.
+- Use verbatim language from the text when possible; light paraphrase OK.
+- Specific named things (a tool name, a number, a date) belong in unique{}.
+- Each field value is a single concise string.
+- When the text states content for an OPTIONAL field (a reason, a status, a
+  condition), fill it as its OWN field — do not fold it into the primary field.
+
+INSIGHT FIELD DISCIPLINE: insight's second field is "implication" (what the
+observation MEANS going forward) — NOT "proposal" (hypothesis territory) and NOT
+a bare "reason". If an insight's text has no forward-looking implication, emit
+what you have; never invent one.
+
+OUTPUT FORMAT:
+{ "items": [ { "id": "<item id>", "unique": { <field>: <value>, ... } }, ... ] }
+Return ONE entry per input item, using the exact input ids.`;
+}
+/** One compact schema line per item (the per-item prompt's fieldGuidance, condensed). */
+export function batchFieldLine(type) {
+    const schema = TYPE_UNIQUE_SCHEMA[type];
+    if (!schema)
+        return "novel type — fill 1-3 snake_case fields capturing the essential structured data";
+    if (schema.required.length === 0 && schema.optional.length === 0)
+        return "freeform — capture structured data if present, else leave unique{} empty";
+    const opt = schema.optional.length > 0 ? ` | OPTIONAL: ${schema.optional.join(", ")}` : "";
+    return `REQUIRED: ${schema.required.join(", ")}${opt}`;
+}
+const PASS2B_BATCH_SCHEMA = {
+    type: "object",
+    properties: {
+        items: { type: "array", items: PASS2B_SCHEMA },
+    },
+    required: ["items"],
+};
+export async function callPass2bBatchedFill(provider, items, opts = {}) {
+    const chunkSize = Math.max(1, opts.chunkSize ?? 12);
+    const usage = { input: 0, thinking: 0, output: 0 };
+    const results = [];
+    const fellBackIds = [];
+    let llmCalls = 0;
+    const addUsage = (u) => {
+        if (!u)
+            return;
+        usage.input += u.input ?? 0;
+        usage.thinking += u.thinking ?? 0;
+        usage.output += u.output ?? 0;
+    };
+    // The never-lose-a-fill floor: anything the batch path can't account for goes
+    // through the proven per-item call.
+    const perItemFallback = async (item) => {
+        llmCalls += 1;
+        fellBackIds.push(item.id);
+        const r = await callPass2bLLM(provider, item, 512, opts.modelOverride);
+        addUsage(r.usage);
+        if (r.result)
+            results.push(r.result);
+    };
+    for (let i = 0; i < items.length; i += chunkSize) {
+        const chunk = items.slice(i, i + chunkSize);
+        const userInput = chunk
+            .map((it) => `ITEM ${it.id}\n  type: ${it.type}\n  fields: ${batchFieldLine(it.type)}\n  text: ${it.text}`)
+            .join("\n\n");
+        llmCalls += 1;
+        const r = await provider.generateStructured(buildPass2bBatchPrompt(), userInput, PASS2B_BATCH_SCHEMA, {
+            thinkingBudget: opts.thinkingBudget ?? 1024,
+            maxOutputTokens: CONFIG.pass2.maxOutputTokens,
+            ...(opts.modelOverride ? { modelOverride: opts.modelOverride } : {}),
+        });
+        addUsage(r.usage);
+        const got = new Map();
+        if (r.result?.items) {
+            for (const e of r.result.items)
+                if (e && e.id)
+                    got.set(e.id, e.unique ?? {});
+        }
+        // A failed chunk (null result) leaves `got` empty → every chunk item falls back.
+        for (const it of chunk) {
+            const raw = got.get(it.id);
+            if (raw === undefined) {
+                await perItemFallback(it);
+                continue;
+            }
+            const { result: clean, strippedKeys } = sanitizePass2bResult(it.type, { id: it.id, unique: raw });
+            if (strippedKeys.length > 0) {
+                console.log(`Auto-Reflect Pass 2b(batch): SANITIZER stripped ${strippedKeys.length} extra field(s) on ${it.id} [${it.type}]: ${strippedKeys.join(", ")}`);
+            }
+            results.push(clean);
+        }
+    }
+    return { results, fellBackIds, llmCalls, usage };
+}
+//# sourceMappingURL=pass2b.js.map

package/dist/middleware/reflect/pass2b.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pass2b.js","sourceRoot":"","sources":["../../../src/middleware/reflect/pass2b.ts"],"names":[],"mappings":"AAAA,kFAAkF;AAClF,gEAAgE;AAChE,EAAE;AACF,iEAAiE;AACjE,4EAA4E;AAC5E,yEAAyE;AACzE,2EAA2E;AAC3E,8CAA8C;AAC9C,EAAE;AACF,sCAAsC;AACtC,qEAAqE;AACrE,0EAA0E;AAC1E,8EAA8E;AAC9E,0CAA0C;AAC1C,EAAE;AACF,kDAAkD;AAClD,2EAA2E;AAC3E,sEAAsE;AACtE,mEAAmE;AACnE,6EAA6E;AAC7E,qBAAqB;AACrB,0DAA0D;AAC1D,gFAAgF;AAChF,EAAE;AACF,4EAA4E;AAC5E,0EAA0E;AAC1E,6EAA6E;AAC7E,4DAA4D;AAC5D,EAAE;AACF,UAAU;AACV,4EAA4E;AAC5E,2DAA2D;AAC3D,kEAAkE;AAClE,EAAE;AACF,qBAAqB;AACrB,yEAAyE;AACzE,2DAA2D;AAC3D,+EAA+E;AAC/E,8CAA8C;AAC9C,2EAA2E;AAC3E,+BAA+B;AAC/B,kFAAkF;AAElF,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAmD3D,kFAAkF;AAClF,EAAE;AACF,iDAAiD;AACjD,4BAA4B;AAC5B,sCAAsC;AACtC,uDAAuD;AACvD,8BAA8B;AAC9B,yCAAyC;AACzC,+CAA+C;AAC/C,EAAE;AACF,gEAAgE;AAChE,yEAAyE;AACzE,2EAA2E;AAC3E,EAAE;AACF,wEAAwE;AACxE,uEAAuE;AACvE,uEAAuE;AACvE,qCAAqC;AAErC;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAiB;IACjD,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAE7C,8EAA8E;IAC9E,6EAA6E;IAC7E,0EAA0E;IAC1E,2CAA2C;IAC3C,MAAM,OAAO,GAAG,CAAC,MAAM,CAAC;IACxB,MAAM,UAAU,GAAG,MAAM,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC;IAE1F,0CAA0C;IAC1C,IAAI,aAAqB,CAAC;IAC1B,IAAI,OAAO,EAAE,CAAC;QACZ,aAAa;YACX,wBAAwB,IAAI,CAAC,IAAI,wCAAwC;gBACzE,2EAA2E;gBAC3E,oFAAoF,CAAC;IACzF,CAAC;SAAM,IAAI,UAAU,EAAE,CAAC;QACtB,aAAa;YACX,wBAAwB,IAAI,CAAC,IAAI,gDAAgD;gBACjF,wFAAwF,CAAC;IAC7F,CAAC;SAAM,CAAC;QACN,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,aAAa;YACX,wBAAwB,IAAI,CAAC,IAAI,MAAM;gBACvC,wDAAwD,QAAQ,IAAI;gBACpE,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,kEAAkE,QAAQ,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC3G,+FAA+F,CAAC;IACpG,CAAC;IAED,4EAA4E;IAC5E,yEAAyE;IACzE,8EAA8E;IAC9E,MAAM,oBAAoB,GACxB,IAAI,CAAC,IAAI,KAAK,SAAS;QACrB,CAAC,CAAC,mcAAmc;QACrc,CAAC,CAAC,EAAE,CAAC;IAET,6EAA6E;IAC7E,0EAA0E;IAC1E,6EAA6E;IAC7E,6EAA6E;IAC7E,6EAA6E;IAC7E,MAAM,YAAY,GAAG,IAAI,CAAC,kBAAkB;QAC1C,CAAC,CAAC,sEAAsE,IAAI,CAAC,kBAAkB;;;;;kFAKjB;QAC9E,CAAC,CAAC,EAAE,CAAC;IAEP,OAAO;;;;EAIP,aAAa;;;;;;uDAMwC,oBAAoB,GAAG,YAAY;;;;CAIzF,CAAC;AACF,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,aAAa,GAAG;IACpB,IAAI,EAAE,QAAQ;IACd,UAAU,EAAE;QACV,EAAE,EAAM,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC1B,MAAM,EAAE;YACN,IAAI,EAAE,QAAQ;YACd,yEAAyE;YACzE,2EAA2E;YAC3E,UAAU,EAAE;gBACV,MAAM,EAAiB,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,MAAM,EAAiB,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,qBAAqB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,QAAQ,EAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,WAAW,EAAY,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,KAAK,EAAkB,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,MAAM,EAAiB,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,KAAK,EAAkB,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,IAAI,EAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,IAAI,EAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,OAAO,EAAgB,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,MAAM,EAAiB,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,oBAAoB,EAAG,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,QAAQ,EAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,WAAW,EAAY,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,WAAW,EAAY,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,WAAW,EAAY,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,WAAW,EAAY,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,KAAK,EAAkB,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,OAAO,EAAgB,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,QAAQ,EAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,YAAY,EAAW,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,gBAAgB,EAAO,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,UAAU,EAAa,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,aAAa,EAAU,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,MAAM,EAAiB,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,aAAa,EAAU,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,IAAI,EAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,IAAI,EAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,IAAI,EAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzC,SAAS,EAAc,EAAE,IAAI,EAAE,QAAQ,EAAE;aAC1C;SACF;KACF;IACD,QAAQ,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC;CAC3B,CAAC;AAEF,kFAAkF;AAClF,EAAE;AACF,qEAAqE;AACrE,EAAE;AACF,+EAA+E;AAC/E,0EAA0E;AAC1E,4EAA4E;AAC5E,yDAAyD;AACzD,+DAA+D;AAC/D,iFAAiF;AACjF,oFAAoF;AACpF,EAAE;AACF,2EAA2E;AAC3E,kBAAkB;AAElB,MAAM,UAAU,oBAAoB,CAClC,IAAY,EACZ,MAA+B;IAE/B,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAExC,6EAA6E;IAC7E,MAAM,OAAO,GAA2B,EAAE,CAAC;IAC3C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE,CAAC;QAClD,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,SAAS;YAAE,SAAS;QAC5C,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,SAAS;QACvD,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC;IAED,mFAAmF;IACnF,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC;IAE1D,iDAAiD;IACjD,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC;IAC/C,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,QAAQ,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;IAClE,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7C,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;;YAC1B,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,YAAY,EAAE,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,IAAY,EACZ,GAAqD;IAErD,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,oBAAoB,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;IAC9E,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,YAAY,EAAE,CAAC;AAC1D,CAAC;AAED,kFAAkF;AAClF,EAAE;AACF,0EAA0E;AAC1E,6EAA6E;AAE7E,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,QAAqB,EACrB,IAAiB,EACjB,cAAc,GAAG,GAAG,EAAG,4DAA4D;AACnF,sEAAsE;AACtE,2EAA2E;AAC3E,sCAAsC;AACtC,aAAsB;IAUtB,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAEvC,2EAA2E;IAC3E,4EAA4E;IAC5E,MAAM,UAAU,GAAG,IAAI,CAAC,wBAAwB;QAC9C,CAAC,CAAC,4CAA4C,IAAI,CAAC,wBAAwB,IAAI;QAC/E,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,SAAS,GACb,gBAAgB,IAAI,CAAC,EAAE,aAAa,IAAI,CAAC,IAAI,aAAa,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;IAEvF,MAAM,CAAC,GAAG,MAAM,QAAQ,CAAC,kBAAkB,CACzC,MAAM,EACN,SAAS,EACT,aAAa,EACb;QACE,cAAc;QACd,eAAe,EAAE,MAAM,CAAC,KAAK,CAAC,eAAe;QAC7C,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC5C,CACF,CAAC;IAEF,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;QACd,OAAO;YACL,MAAM,EAAE,IAAI;YACZ,QAAQ,EAAE,CAAC,CAAC,QAAQ,IAAI,EAAE;YAC1B,WAAW,EAAE,CAAC,CAAC,WAAW;YAC1B,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,QAAQ,EAAE,CAAC,CAAC,QAAQ;YACpB,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,8EAA8E;SAC/F,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IAElF,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,oEAAoE;QACpE,wEAAwE;QACxE,yCAAyC;QACzC,OAAO,CAAC,GAAG,CAAC,4CAA4C,YAAY,CAAC,MAAM,sBAAsB,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,IAAI,MAAM,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzJ,CAAC;IAED,OAAO;QACL,MAAM,EAAE,KAAK;QACb,QAAQ,EAAE,CAAC,CAAC,QAAQ,IAAI,EAAE;QAC1B,WAAW,EAAE,CAAC,CAAC,WAAW;QAC1B,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,YAAY,EAAE,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS;KACjE,CAAC;AACJ,CAAC;AAED,kFAAkF;AAClF,EAAE;AACF,uEAAuE;AACvE,6EAA6E;AAC7E,+EAA+E;AAC/E,qCAAqC;AACrC,EAAE;AACF,6EAA6E;AAC7E,+EAA+E;AAC/E,6EAA6E;AAC7E,+EAA+E;AAC/E,wEAAwE;AACxE,2EAA2E;AAC3E,sEAAsE;AACtE,4EAA4E;AAC5E,EAAE;AACF,4EAA4E;AAC5E,+EAA+E;AAC/E,2CAA2C;AAC3C,EAAE;AACF,oCAAoC;AACpC,kFAAkF;AAClF,qGAAqG;AACrG,0DAA0D;AAE1D,MAAM,0BAA0B,GAAG,EAAE,CAAC;AAEtC,SAAS,yBAAyB;IAChC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,0BAA0B,CAAC;IACnD,IAAI,CAAC,GAAG;QAAE,OAAO,SAAS,CAAC;IAC3B,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IACnC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/C,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,QAAqB,EACrB,KAAoB,EACpB,OAMC;IAED,qEAAqE;IACrE,iEAAiE;IACjE,MAAM,cAAc,GAAG,yBAAyB,EAAE,CAAC;IACnD,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAC1B,CAAC,EACD,OAAO,EAAE,WAAW,IAAI,cAAc,IAAI,0BAA0B,CACrE,CAAC;IACF,MAAM,cAAc,GAAG,OAAO,EAAE,cAAc,CAAC;IAC/C,MAAM,aAAa,GAAG,OAAO,EAAE,aAAa,CAAC;IAE7C,MAAM,OAAO,GAAmB,EAAE,CAAC;IACnC,MAAM,QAAQ,GAAiF,EAAE,CAAC;IAClG,MAAM,KAAK,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IAEnD,6EAA6E;IAC7E,wEAAwE;IACxE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,WAAW,EAAE,CAAC;QACnD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC;QAC9C,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,UAAU,CACtC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACjB,aAAa,CAAC,QAAQ,EAAE,IAAI,EAAE,cAAc,EAAE,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CACxF,CACF,CAAC;QAEF,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAI,CAAC,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;gBAC5B,0EAA0E;gBAC1E,sDAAsD;gBACtD,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;gBAChG,SAAS;YACX,CAAC;YACD,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC;YAC5B,uEAAuE;YACvE,+DAA+D;YAC/D,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;gBACZ,KAAK,CAAC,KAAK,IAAO,CAAC,CAAC,KAAK,CAAC,KAAK,IAAO,CAAC,CAAC;gBACxC,KAAK,CAAC,QAAQ,IAAI,CAAC,CAAC,KAAK,CAAC,QAAQ,IAAI,CAAC,CAAC;gBACxC,KAAK,CAAC,MAAM,IAAM,CAAC,CAAC,KAAK,CAAC,MAAM,IAAM,CAAC,CAAC;YAC1C,CAAC;YACD,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;gBACb,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YACzB,CAAC;iBAAM,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;gBACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;YACzD,CAAC;iBAAM,CAAC;gBACN,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,oCAAoC,EAAE,CAAC,CAAC;YACpG,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AACtC,CAAC;AAED,mFAAmF;AACnF,EAAE;AACF,6EAA6E;AAC7E,+EAA+E;AAC/E,wEAAwE;AACxE,gFAAgF;AAChF,sEAAsE;AACtE,6EAA6E;AAC7E,EAAE;AACF,0EAA0E;AAC1E,8EAA8E;AAC9E,2EAA2E;AAC3E,mDAAmD;AAEnD,MAAM,UAAU,kBAAkB;IAChC,OAAO,OAAO,CAAC,GAAG,CAAC,qBAAqB,KAAK,GAAG,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,sBAAsB;IACpC,OAAO;;;;;;;;;;;;;;;;;;;;4DAoBmD,CAAC;AAC7D,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,CAAC,MAAM;QAAE,OAAO,iFAAiF,CAAC;IACtG,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,0EAA0E,CAAC;IACpJ,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3F,OAAO,aAAa,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC;AACzD,CAAC;AAED,MAAM,mBAAmB,GAAG;IAC1B,IAAI,EAAE,QAAQ;IACd,UAAU,EAAE;QACV,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE;KAC/C;IACD,QAAQ,EAAE,CAAC,OAAO,CAAC;CACpB,CAAC;AAEF,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,QAAqB,EACrB,KAAoB,EACpB,OAAgF,EAAE;IAOlF,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IACnD,MAAM,OAAO,GAAmB,EAAE,CAAC;IACnC,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,IAAI,QAAQ,GAAG,CAAC,CAAC;IAEjB,MAAM,QAAQ,GAAG,CAAC,CAA0D,EAAE,EAAE;QAC9E,IAAI,CAAC,CAAC;YAAE,OAAO;QACf,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;QAAC,KAAK,CAAC,QAAQ,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC;QAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC;IAChG,CAAC,CAAC;IAEF,8EAA8E;IAC9E,oCAAoC;IACpC,MAAM,eAAe,GAAG,KAAK,EAAE,IAAiB,EAAE,EAAE;QAClD,QAAQ,IAAI,CAAC,CAAC;QACd,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1B,MAAM,CAAC,GAAG,MAAM,aAAa,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;QACvE,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAClB,IAAI,CAAC,CAAC,MAAM;YAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACvC,CAAC,CAAC;IAEF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,SAAS,EAAE,CAAC;QACjD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC;QAC5C,MAAM,SAAS,GAAG,KAAK;aACpB,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,IAAI,eAAe,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,IAAI,EAAE,CAAC;aAC1G,IAAI,CAAC,MAAM,CAAC,CAAC;QAChB,QAAQ,IAAI,CAAC,CAAC;QACd,MAAM,CAAC,GAAG,MAAM,QAAQ,CAAC,kBAAkB,CACzC,sBAAsB,EAAE,EACxB,SAAS,EACT,mBAAmB,EACnB;YACE,cAAc,EAAE,IAAI,CAAC,cAAc,IAAI,IAAI;YAC3C,eAAe,EAAE,MAAM,CAAC,KAAK,CAAC,eAAe;YAC7C,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACrE,CACF,CAAC;QACF,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAElB,MAAM,GAAG,GAAG,IAAI,GAAG,EAAmC,CAAC;QACvD,IAAI,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC;YACpB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK;gBAAE,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE;oBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;QAC/E,CAAC;QACD,iFAAiF;QACjF,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;YACvB,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAC3B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBAAC,MAAM,eAAe,CAAC,EAAE,CAAC,CAAC;gBAAC,SAAS;YAAC,CAAC;YAC/D,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,GAAG,oBAAoB,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;YAClG,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5B,OAAO,CAAC,GAAG,CAAC,mDAAmD,YAAY,CAAC,MAAM,sBAAsB,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,IAAI,MAAM,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC5J,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AACnD,CAAC"}

package/dist/middleware/reflect/pass2c.d.ts

@@ -0,0 +1,113 @@
+import type { LLMProvider } from "../../engine/ai-provider.js";
+/**
+ * Input to Pass 2c — what 2c sees per item. All fields are READ-ONLY for 2c
+ * (Seam β contract, §1). `unique` is included so the model can reason about
+ * pair semantics (Q5: does item A contradict item B? requires reading both
+ * unique{}s), but 2c never emits a `unique` field on its output.
+ *
+ * `classification_reasoning` is included as context — the model can see WHY
+ * 2a picked the type, which helps Q3 (a dead_end's triggered_by is the
+ * decision that adopted the alternative, per REPLACEMENTS rule).
+ */
+export interface Pass2cInput {
+    id: string;
+    text: string;
+    type: string;
+    project?: string;
+    unique: Record<string, string>;
+    extends_item?: string;
+    supersedes_ref?: string;
+    resolved_ref?: string;
+    classification_reasoning?: string;
+}
+/**
+ * Wiring decisions for ONE item — the entire output of pass2c per item.
+ *
+ * Per the design discussion 2026-05-25 (Shape A vs Shape B): one item ↔ one
+ * wiring bundle, all three axes together. Reflects the conceptual unit ("what
+ * causal wiring did 2c decide for this item?") and avoids forcing every
+ * downstream consumer (composer, tests, telemetry, future enrichment) to JOIN
+ * across two arrays by id forever.
+ *
+ * The composer (`composeForDownstream`, future) splits this bundle into the
+ * shape Pass 3 expects: `causal_wiring[]` (triggered_by + based_on) and
+ * per-classified-item `relations[]`.
+ */
+export interface Pass2cItemWiring {
+    id: string;
+    triggered_by: string[];
+    based_on: string[];
+    relations: Array<{
+        type: string;
+        target: string;
+        reasoning: string;
+    }>;
+}
+/**
+ * Pass 2c result envelope. Single batch call → single result containing the
+ * wiring bundles for every input item.
+ *
+ * No `skipped[]` (2a already filtered), no `classified[]` (2c doesn't re-emit
+ * classification data — composer carries that forward from 2a/2b).
+ */
+export interface Pass2cResult {
+    wiring: Pass2cItemWiring[];
+}
+export declare const PASS2C_PROMPT = "You receive classified items from Pass 2a (type, project, refs)\nalready filled by Pass 2b (unique{}). Your ONE job: wire causal relations\nbetween these items (and to existing blocks in PROJECT GRAPH).\n\n\u2500\u2500 SEAM \u03B2 CONTRACT \u2014 READ-ONLY \u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\nDO NOT change any item's type. DO NOT touch unique{} fields. DO NOT change\ntext, id, project, supersedes_ref, resolved_ref, or extends_item. DO NOT add\nor remove items. DO NOT emit skipped[]. DO NOT re-dedup (Pass 2a did Q0).\nDO NOT re-classify (Pass 2a did Q1). If you think 2a or 2b got something\nwrong, EMIT ONLY YOUR WIRING DECISIONS anyway \u2014 the seam validator will\ncatch the mismatch.\n\n\u2500\u2500 STATE CONVENTION \u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\n\"State\" in this prompt = text in marked regions below (PROJECT GRAPH, SCENE\nCARD, ITEMS). Your training knowledge and \"what's commonly known about this\ndomain\" are NOT state. A causal link to an existing block is valid ONLY if a\nblock in PROJECT GRAPH has that exact label.\n\nFor EACH item: walk Q3 \u2192 Q4 \u2192 Q5 in order.\n\n\u2500\u2500 Q3: TRIGGERED_BY \u2014 \"In a world where (X) didn't happen, would (Y) still have occurred?\"\n  YES \u2192 no link. NO \u2192 X goes in triggered_by.\n  UNCERTAIN \u2192 no link. Wrong wiring (false narrative) costs more than missing wiring (recoverable).\n  CIRCULARITY GUARD: before adding A\u2192B, check \"Did I already put B\u2192A?\" YES \u2192 skip.\n  Use item IDs for batch, block labels for PROJECT GRAPH. Genesis \u2192 triggered_by: [].\n  REPLACEMENTS \"X\u2192Y\": dead_end for X is triggered_by the decision that adopted Y.\n  HIERARCHY: \"Did cause make the DECISION necessary, or only this mechanism?\"\n    Decision \u2192 triggered_by on parent. Mechanism only \u2192 triggered_by on child.\n\n\u2500\u2500 Q4: BASED_ON \u2014 \"Would this claim be UNSUPPORTED without that specific finding?\"\n  NO \u2192 no link. YES \u2192 based_on.\n  UNCERTAIN \u2192 no link. False evidence link costs more than missing one.\n  Applies to conclusions, decisions justified by findings.\n\n\u2500\u2500 Q5: SEMANTIC RELATIONS \u2014 for each item pair in this batch:\n  \"Does (X) directly contradict, support, or answer (Y)?\"\n  contradicts: opposite claims about the same specific thing.\n  supports: independent evidence strengthening the same claim.\n  resolves: (X) answers the question or settles the hypothesis (Y) poses.\n  Use ONLY these three relation types. Other relation kinds are emitted by\n  other passes (e.g. supersedes, extends, derived_from) \u2014 do not emit them here.\n\n  PER-RELATION REASONING: every emitted relation MUST carry a reasoning field\n  that NAMES the case (contradicts / supports / resolves) AND CITES the specific\n  claim from each item that grounded the decision \u2014 e.g. a contradicts entry\n  should read \"contradicts: item_5 claims X always Y; item_9 reports X did not Y in case Z\".\n  This is the audit trail downstream consumers (chains, agent inspection) read to\n  understand WHY this wire exists. A wire without grounded reasoning is corruption;\n  if you cannot cite a specific claim-pair, do not emit the relation.\n\n\u2500\u2500 SCENE CARD CONTEXT \u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\nCAUSAL LINKS in the scene card name explicit cause\u2192effect pairs the agent\nstated in this session \u2014 use them as Q3 input.\n\n\u2500\u2500 OUTPUT \u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\nFor EACH item, emit one wiring entry: { id, triggered_by[], based_on[], relations[] }.\nEach entry in relations[] is { type, target, reasoning } \u2014 reasoning REQUIRED per\nQ5 (names the case + cites the claim-pair). Use [] (empty array) for any axis\nwith no links \u2014 do not omit fields. The id MUST match an input item's id exactly.\nDo NOT emit wiring for items not in the input.\n\n";
+export declare const ALLOWED_PASS2C_RELATION_TYPES: ReadonlySet<string>;
+/**
+ * Strip forbidden keys from a single wiring entry. Returns the cleaned wiring
+ * + the list of stripped keys (so callers can audit-log contract violations).
+ *
+ * If `triggered_by` / `based_on` / `relations` are missing, default to empty
+ * arrays (the schema requires them; this is defensive). If `relations` items
+ * have type values outside ALLOWED_PASS2C_RELATION_TYPES, those entries are
+ * dropped — reported in `strippedRelationTypes`.
+ */
+export declare function sanitizePass2cItem(raw: Record<string, unknown>): {
+    item: Pass2cItemWiring;
+    stripped: string[];
+    strippedRelationTypes: string[];
+};
+/**
+ * Sanitize the full pass2c result. Aggregates per-item stripped keys + relation
+ * types so the caller can log the contract-violation surface.
+ */
+export declare function sanitizePass2cResult(raw: {
+    wiring?: any[];
+}): {
+    result: Pass2cResult;
+    totalStrippedFields: number;
+    perItemStripped: Array<{
+        id: string;
+        stripped: string[];
+    }>;
+    perItemStrippedRelationTypes: Array<{
+        id: string;
+        types: string[];
+    }>;
+};
+export declare function callPass2cLLM(provider: LLMProvider, items: Pass2cInput[], projectContext: string, thinkingBudget?: number, sceneCard?: string, modelOverride?: string): Promise<{
+    result: Pass2cResult | null;
+    thinking: string;
+    rateLimited: boolean;
+    model?: string;
+    attempts?: Array<{
+        model: string;
+        outcome: string;
+    }>;
+    usage?: {
+        input?: number;
+        thinking?: number;
+        output?: number;
+    };
+    strippedFields?: Array<{
+        id: string;
+        stripped: string[];
+    }>;
+    strippedRelationTypes?: Array<{
+        id: string;
+        types: string[];
+    }>;
+}>;
+//# sourceMappingURL=pass2c.d.ts.map

package/dist/middleware/reflect/pass2c.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pass2c.d.ts","sourceRoot":"","sources":["../../../src/middleware/reflect/pass2c.ts"],"names":[],"mappings":"AAqDA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAI/D;;;;;;;;;GASG;AACH,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,wBAAwB,CAAC,EAAE,MAAM,CAAC;CACnC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,QAAQ,EAAE,MAAM,EAAE,CAAC;IAKnB,SAAS,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACvE;AAED;;;;;;GAMG;AACH,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,gBAAgB,EAAE,CAAC;CAC5B;AAyBD,eAAO,MAAM,aAAa,+7JA6DzB,CAAC;AAyEF,eAAO,MAAM,6BAA6B,EAAE,WAAW,CAAC,MAAM,CAI5D,CAAC;AAEH;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG;IAChE,IAAI,EAAE,gBAAgB,CAAC;IACvB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,qBAAqB,EAAE,MAAM,EAAE,CAAC;CACjC,CA4CA;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,GAAG,EAAE;IAAE,MAAM,CAAC,EAAE,GAAG,EAAE,CAAA;CAAE,GAAG;IAC7D,MAAM,EAAE,YAAY,CAAC;IACrB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,eAAe,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;IAC3D,4BAA4B,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;CACtE,CAuBA;AAaD,wBAAsB,aAAa,CACjC,QAAQ,EAAE,WAAW,EACrB,KAAK,EAAE,WAAW,EAAE,EACpB,cAAc,EAAE,MAAM,EACtB,cAAc,SAAO,EACrB,SAAS,CAAC,EAAE,MAAM,EAIlB,aAAa,CAAC,EAAE,MAAM,GACrB,OAAO,CAAC;IACT,MAAM,EAAE,YAAY,GAAG,IAAI,CAAC;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,OAAO,CAAC;IACrB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACrD,KAAK,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC/D,cAAc,CAAC,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;IAC3D,qBAAqB,CAAC,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;CAChE,CAAC,CA+ED"}