agentfootprint 13.0.0 → 14.0.0

package/dist/trace-toolpack/traceToolpack/backtrackView.js

@@ -0,0 +1,120 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.buildBacktrack = void 0;
+const tools_js_1 = require("../../tools/tools.js");
+const types_js_1 = require("../types.js");
+const parameterSchemas_js_1 = require("./parameterSchemas.js");
+const bounded_js_1 = require("../bounded.js");
+const foottrace_1 = require("foottrace");
+const valueLines_js_1 = require("./valueLines.js");
+// ── who_wrote ──────────────────────────────────────────────────────────────
+// ── backtrack — variable-first triage (the follow-up question shape) ──────
+/**
+ * `trace_slice` is STEP-addressed ("what fed step X?"). Follow-up questions
+ * arrive VARIABLE-addressed ("why did you say the quote is 11.88?" → "why is
+ * `quote` what it is?") — and for agent history, ELEMENT-addressed ("where
+ * did message 7 come from?"). This tool is that address translation, built
+ * on footprintjs' slice layer (`sliceForKey` / `elementProvenance`): anchor
+ * at the variable's last writer, walk backwards; or name one array element's
+ * birth step. Same honesty contracts as the rest of the pack — a missing
+ * slice states WHY (initial state / frozen args / a closure), element
+ * attribution carries its basis (append-verb exact vs prefix-inference),
+ * and reads-coverage warns when read tracking was off.
+ */
+function buildBacktrack(artifacts, index, opts) {
+    return (0, tools_js_1.defineTool)({
+        name: 'backtrack',
+        description: "Why is a state VARIABLE what it is? Anchors at the variable's last writer and walks the " +
+            'backward dependency chain (variable-first — you do not need a step id). For array ' +
+            "variables (e.g. 'history'), pass 'element' to ask which step produced element N instead. " +
+            "Optional 'before' (commit index) time-travels: the value as it stood before that point. " +
+            `Bounded by maxDepth (default ${opts.sliceMaxDepth}, max ${types_js_1.TOOLPACK_HARD_CAPS.sliceMaxDepth}) ` +
+            `and maxNodes (default ${opts.sliceMaxNodes}, max ${types_js_1.TOOLPACK_HARD_CAPS.sliceMaxNodes}).`,
+        inputSchema: {
+            type: 'object',
+            properties: {
+                variable: (0, parameterSchemas_js_1.keyProperty)(index, "The state key to explain, e.g. 'quote' or 'history'."),
+                element: {
+                    type: 'integer',
+                    description: 'Optional array index: ask which step PRODUCED this element (birth attribution) ' +
+                        'instead of slicing the whole variable.',
+                },
+                before: {
+                    type: 'integer',
+                    description: 'Optional exclusive commit index — explain the value as it stood BEFORE this point ' +
+                        "(chain from an element birth with: element_birth's commitIdx + 1).",
+                },
+                maxDepth: {
+                    type: 'integer',
+                    description: `Optional slice depth (default ${opts.sliceMaxDepth}, hard cap ${types_js_1.TOOLPACK_HARD_CAPS.sliceMaxDepth}).`,
+                },
+                maxNodes: {
+                    type: 'integer',
+                    description: `Optional node budget (default ${opts.sliceMaxNodes}, hard cap ${types_js_1.TOOLPACK_HARD_CAPS.sliceMaxNodes}).`,
+                },
+            },
+            required: ['variable'],
+            additionalProperties: false,
+        },
+        execute: ({ variable, element, before, maxDepth, maxNodes }) => {
+            const key = (0, bounded_js_1.normalizeKey)(variable, index.knownPaths);
+            // ── element mode: birth attribution ─────────────────────────────────
+            if (element !== undefined) {
+                const birth = (0, foottrace_1.elementProvenance)(index.commitLog, key, element, {
+                    ...(before !== undefined && { atIdx: before - 1 }),
+                });
+                if (!birth) {
+                    const prov = (0, foottrace_1.arrayProvenance)(index.commitLog, key, {
+                        ...(before !== undefined && { atIdx: before - 1 }),
+                    });
+                    if (prov.missing === 'not-an-array') {
+                        return (`'${(0, bounded_js_1.displayKey)(key)}': ${(0, valueLines_js_1.honestyLine)(index, 'not-an-array')}` +
+                            (0, valueLines_js_1.basisLines)(index, prov.basis ?? []) +
+                            `\nCall backtrack without 'element' to slice it.`);
+                    }
+                    if (prov.missing !== undefined) {
+                        return `'${(0, bounded_js_1.displayKey)(key)}': ${(0, valueLines_js_1.honestyLine)(index, prov.missing)}`;
+                    }
+                    return (`element ${element} is out of range for '${(0, bounded_js_1.displayKey)(key)}' ` +
+                        `(length ${prov.length}). Valid indices: 0..${(prov.length ?? 1) - 1}.`);
+                }
+                return (`'${(0, bounded_js_1.displayKey)(key)}'[${birth.index}] = ${(0, bounded_js_1.renderPreview)((0, bounded_js_1.boundedPreview)(birth.value, opts.previewChars))} — ` +
+                    `born at ${birth.runtimeStageId} ("${birth.stageName}", verb: ${birth.verb}, ` +
+                    `attribution: ${birth.basis}${birth.basis === 'append-verb' ? ' — engine-recorded, exact' : ''}). ` +
+                    `Drill the producer with trace_node('${birth.runtimeStageId}'), or ask why it wrote this ` +
+                    `with backtrack({variable: '${(0, bounded_js_1.displayKey)(key)}', before: ${birth.commitIdx + 1}}).` +
+                    // Only an INFERRED birth says why; an exact one keeps its bytes.
+                    (birth.basis === 'prefix-inference' ? (0, valueLines_js_1.basisLines)(index, [birth.basis]) : ''));
+            }
+            // ── slice mode: variable-first backward slice ────────────────────────
+            const depth = (0, bounded_js_1.clampParam)(maxDepth, opts.sliceMaxDepth, 1, types_js_1.TOOLPACK_HARD_CAPS.sliceMaxDepth);
+            const nodeBudget = (0, bounded_js_1.clampParam)(maxNodes, opts.sliceMaxNodes, 2, types_js_1.TOOLPACK_HARD_CAPS.sliceMaxNodes);
+            const keysReadOf = (id) => {
+                const node = index.nodes.get(id);
+                return node?.stageReads ? Object.keys(node.stageReads) : [];
+            };
+            const slice = (0, foottrace_1.sliceForKey)(index.commitLog, key, keysReadOf, {
+                maxDepth: depth,
+                maxNodes: nodeBudget,
+                ...(before !== undefined && { before }),
+                ...(artifacts.controlDeps ? { controlDeps: artifacts.controlDeps } : {}),
+            });
+            const lines = [
+                (0, bounded_js_1.displayText)((0, foottrace_1.formatSlice)(slice)),
+                '',
+                'drill any (stepId) with trace_node; fetch values with get_value; array variables take ' +
+                    "'element' for per-element attribution.",
+            ];
+            if (slice.root !== undefined && !artifacts.controlDeps) {
+                lines.push('⚠ control edges unavailable — artifacts carry no controlDeps lookup; decisions that ' +
+                    'routed execution are not shown.');
+            }
+            if (slice.root !== undefined && !index.hasReadTracking) {
+                lines.push('⚠ artifacts carry no per-step read tracking — the slice may show only the writer step.');
+            }
+            return lines.join('\n');
+        },
+    });
+}
+exports.buildBacktrack = buildBacktrack;
+//# sourceMappingURL=backtrackView.js.map

package/dist/trace-toolpack/traceToolpack/backtrackView.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"backtrackView.js","sourceRoot":"","sources":["../../../src/trace-toolpack/traceToolpack/backtrackView.ts"],"names":[],"mappings":";;;AAGA,mDAAkD;AAClD,0CAAiD;AACjD,+DAAoD;AACpD,8CAOuB;AACvB,yCAAyF;AACzF,mDAA0D;AAE1D,8EAA8E;AAE9E,6EAA6E;AAE7E;;;;;;;;;;;GAWG;AACH,SAAS,cAAc,CACrB,SAAiC,EACjC,KAAoB,EACpB,IAA6B;IAE7B,OAAO,IAAA,qBAAU,EAGf;QACA,IAAI,EAAE,WAAW;QACjB,WAAW,EACT,0FAA0F;YAC1F,oFAAoF;YACpF,2FAA2F;YAC3F,0FAA0F;YAC1F,gCAAgC,IAAI,CAAC,aAAa,SAAS,6BAAkB,CAAC,aAAa,IAAI;YAC/F,yBAAyB,IAAI,CAAC,aAAa,SAAS,6BAAkB,CAAC,aAAa,IAAI;QAC1F,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,QAAQ,EAAE,IAAA,iCAAW,EAAC,KAAK,EAAE,sDAAsD,CAAC;gBACpF,OAAO,EAAE;oBACP,IAAI,EAAE,SAAS;oBACf,WAAW,EACT,iFAAiF;wBACjF,wCAAwC;iBAC3C;gBACD,MAAM,EAAE;oBACN,IAAI,EAAE,SAAS;oBACf,WAAW,EACT,oFAAoF;wBACpF,oEAAoE;iBACvE;gBACD,QAAQ,EAAE;oBACR,IAAI,EAAE,SAAS;oBACf,WAAW,EAAE,iCAAiC,IAAI,CAAC,aAAa,cAAc,6BAAkB,CAAC,aAAa,IAAI;iBACnH;gBACD,QAAQ,EAAE;oBACR,IAAI,EAAE,SAAS;oBACf,WAAW,EAAE,iCAAiC,IAAI,CAAC,aAAa,cAAc,6BAAkB,CAAC,aAAa,IAAI;iBACnH;aACF;YACD,QAAQ,EAAE,CAAC,UAAU,CAAC;YACtB,oBAAoB,EAAE,KAAK;SAC5B;QACD,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE;YAC7D,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;YAErD,uEAAuE;YACvE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,MAAM,KAAK,GAAG,IAAA,6BAAiB,EAAC,KAAK,CAAC,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE;oBAC7D,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,MAAM,GAAG,CAAC,EAAE,CAAC;iBACnD,CAAC,CAAC;gBACH,IAAI,CAAC,KAAK,EAAE,CAAC;oBACX,MAAM,IAAI,GAAG,IAAA,2BAAe,EAAC,KAAK,CAAC,SAAS,EAAE,GAAG,EAAE;wBACjD,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,MAAM,GAAG,CAAC,EAAE,CAAC;qBACnD,CAAC,CAAC;oBACH,IAAI,IAAI,CAAC,OAAO,KAAK,cAAc,EAAE,CAAC;wBACpC,OAAO,CACL,IAAI,IAAA,uBAAU,EAAC,GAAG,CAAC,MAAM,IAAA,2BAAW,EAAC,KAAK,EAAE,cAAc,CAAC,EAAE;4BAC7D,IAAA,0BAAU,EAAC,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;4BACnC,iDAAiD,CAClD,CAAC;oBACJ,CAAC;oBACD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;wBAC/B,OAAO,IAAI,IAAA,uBAAU,EAAC,GAAG,CAAC,MAAM,IAAA,2BAAW,EAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;oBACrE,CAAC;oBACD,OAAO,CACL,WAAW,OAAO,yBAAyB,IAAA,uBAAU,EAAC,GAAG,CAAC,IAAI;wBAC9D,WAAW,IAAI,CAAC,MAAM,wBAAwB,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CACxE,CAAC;gBACJ,CAAC;gBACD,OAAO,CACL,IAAI,IAAA,uBAAU,EAAC,GAAG,CAAC,KAAK,KAAK,CAAC,KAAK,OAAO,IAAA,0BAAa,EACrD,IAAA,2BAAc,EAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,YAAY,CAAC,CAC/C,KAAK;oBACN,WAAW,KAAK,CAAC,cAAc,MAAM,KAAK,CAAC,SAAS,YAAY,KAAK,CAAC,IAAI,IAAI;oBAC9E,gBAAgB,KAAK,CAAC,KAAK,GACzB,KAAK,CAAC,KAAK,KAAK,aAAa,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,EAChE,KAAK;oBACL,uCAAuC,KAAK,CAAC,cAAc,+BAA+B;oBAC1F,8BAA8B,IAAA,uBAAU,EAAC,GAAG,CAAC,cAAc,KAAK,CAAC,SAAS,GAAG,CAAC,KAAK;oBACnF,iEAAiE;oBACjE,CAAC,KAAK,CAAC,KAAK,KAAK,kBAAkB,CAAC,CAAC,CAAC,IAAA,0BAAU,EAAC,KAAK,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAC7E,CAAC;YACJ,CAAC;YAED,wEAAwE;YACxE,MAAM,KAAK,GAAG,IAAA,uBAAU,EAAC,QAAQ,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC,EAAE,6BAAkB,CAAC,aAAa,CAAC,CAAC;YAC5F,MAAM,UAAU,GAAG,IAAA,uBAAU,EAC3B,QAAQ,EACR,IAAI,CAAC,aAAa,EAClB,CAAC,EACD,6BAAkB,CAAC,aAAa,CACjC,CAAC;YACF,MAAM,UAAU,GAAG,CAAC,EAAU,EAAY,EAAE;gBAC1C,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACjC,OAAO,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9D,CAAC,CAAC;YACF,MAAM,KAAK,GAAG,IAAA,uBAAW,EAAC,KAAK,CAAC,SAAS,EAAE,GAAG,EAAE,UAAU,EAAE;gBAC1D,QAAQ,EAAE,KAAK;gBACf,QAAQ,EAAE,UAAU;gBACpB,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,CAAC;gBACvC,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,SAAS,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACzE,CAAC,CAAC;YAEH,MAAM,KAAK,GAAa;gBACtB,IAAA,wBAAW,EAAC,IAAA,uBAAW,EAAC,KAAK,CAAC,CAAC;gBAC/B,EAAE;gBACF,wFAAwF;oBACtF,wCAAwC;aAC3C,CAAC;YACF,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC;gBACvD,KAAK,CAAC,IAAI,CACR,sFAAsF;oBACpF,iCAAiC,CACpC,CAAC;YACJ,CAAC;YACD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,eAAe,EAAE,CAAC;gBACvD,KAAK,CAAC,IAAI,CACR,wFAAwF,CACzF,CAAC;YACJ,CAAC;YACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAEQ,wCAAc"}

package/dist/trace-toolpack/traceToolpack/contextErrors.js

@@ -0,0 +1,357 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.buildFindContextErrors = void 0;
+const findingEvidence_js_1 = require("./findingEvidence.js");
+const valueLines_js_1 = require("./valueLines.js");
+const bounded_js_1 = require("../bounded.js");
+const structuralLimits_js_1 = require("./structuralLimits.js");
+const tools_js_1 = require("../../tools/tools.js");
+const types_js_1 = require("../types.js");
+/**
+ * The Context Integrity findings of this run — what it contradicted itself
+ * about, and the join from there to the state behind it.
+ *
+ * This tool READS. Every finding was already detected, judged and
+ * deduplicated at filing time (`contextErrorIdentity`), so nothing here
+ * re-runs a check or re-decides one: it enumerates what was filed and adds
+ * the one thing a findings stream cannot carry — the POINTERS. Each finding
+ * names the step it was filed at, the steps its witnesses came from, and
+ * (when a subject is a tracked state key) the writer behind it, in the exact
+ * shapes `trace_node` / `trace_slice` / `who_wrote` / `backtrack` /
+ * `find_in_trace` accept. The model's next call is never an id it had to
+ * assemble by hand.
+ *
+ * HONEST ABSENCE is the reason the tool exists in this family at all, and
+ * its sentences must never collapse into one:
+ *
+ *   - a kind no check can file  → UNANSWERABLE, said before any evidence is
+ *                                 read: which classes are filable is a fact
+ *                                 about the build, not about the run.
+ *   - no event tail at all      → NO EVIDENCE. Findings ride the event
+ *                                 stream; without it this run cannot be
+ *                                 reported on either way.
+ *   - a tail with no integrity  → no checker was registered, or the tail
+ *     events                      was capped before they landed.
+ *   - rows, but zero `checked`  → NOTHING WAS CHECKED. Every encounter was
+ *     encounters                  unreachable, out of scope, or never met —
+ *                                 silence, and never a clean bill.
+ *   - rows with real `checked`  → the checkers RAN and found nothing —
+ *     encounters, no findings     health, stated with the encounter count
+ *                                 that earned it and the rows that prove it,
+ *                                 and with the standing bound that a seam
+ *                                 nobody checks files nothing.
+ *
+ * The green sentence is the one that must be EARNED: it is chosen by summing
+ * the rows' `checked` counts, never by the mere absence of a finding.
+ */
+function buildFindContextErrors(artifacts, index, reader, opts) {
+    const isKnownStep = (id) => id !== undefined && (index.firstIdxOf.has(id) || index.nodes.has(id));
+    const readFindings = () => reader.eventsOf(findingEvidence_js_1.CONTEXT_ERROR_EVENT).map((event) => {
+        const error = event.payload;
+        const filedAt = event.meta.runtimeStageId;
+        const iteration = typeof error.iteration === 'number'
+            ? error.iteration
+            : typeof event.meta.iterIndex === 'number'
+                ? event.meta.iterIndex
+                : undefined;
+        return {
+            error,
+            ...(typeof filedAt === 'string' && filedAt !== '' && { filedAt }),
+            ...(iteration !== undefined && { iteration }),
+        };
+    });
+    const renderFinding = (filed, position) => {
+        const { error } = filed;
+        const kind = typeof error.kind === 'string' ? error.kind : '⚠ (kind not recorded)';
+        const seam = typeof error.seam === 'string' ? `@${error.seam}` : '@⚠ (seam not recorded)';
+        const stamps = [
+            typeof error.epoch === 'number' ? `epoch ${error.epoch}` : '',
+            filed.iteration !== undefined ? `iteration ${filed.iteration}` : '',
+            error.synthetic === true ? 'SYNTHETIC canary — not a real defect' : '',
+            (0, findingEvidence_js_1.isAdvisory)(filed) ? 'ADVISORY — counted apart from real defects' : '',
+        ].filter(Boolean);
+        const message = typeof error.message === 'string' && error.message !== ''
+            ? (0, valueLines_js_1.truncateText)((0, bounded_js_1.displayText)(error.message), structuralLimits_js_1.FINDING_MESSAGE_CHARS)
+            : '⚠ no message recorded on this finding';
+        const lines = [
+            `[${position}] ${kind} ${seam}${stamps.length > 0 ? ` · ${stamps.join(' · ')}` : ''} — ${message}`,
+        ];
+        // WHO it is about — plus the free-text bridge into ids for the first one.
+        const subjects = (0, findingEvidence_js_1.subjectsOf)(error.subjects);
+        if (subjects.length === 0) {
+            lines.push('    about: ⚠ no subjects recorded — the finding names no stamped identity.');
+        }
+        else {
+            const shown = subjects.slice(0, structuralLimits_js_1.FINDING_SUBJECT_CAP).map((s) => `${s.kind}:${s.id}`);
+            lines.push(`    about: ${shown.join(', ')}${subjects.length > structuralLimits_js_1.FINDING_SUBJECT_CAP
+                ? `, … +${subjects.length - structuralLimits_js_1.FINDING_SUBJECT_CAP} more`
+                : ''} → find_in_trace('${subjects[0].id}')`);
+            // THE STATE JOIN: when a subject names a key the commit log really
+            // wrote, answer the "and what was it?" question here rather than
+            // making the model guess which key to ask about.
+            for (const subject of subjects.slice(0, structuralLimits_js_1.FINDING_SUBJECT_CAP)) {
+                const path = (0, bounded_js_1.normalizeKey)(subject.id, index.knownPaths);
+                if (!index.knownPaths.has(path))
+                    continue;
+                const join = (0, findingEvidence_js_1.stateJoinFor)(index, path, opts.previewChars);
+                if (join !== undefined) {
+                    lines.push(`    state: ${join}`);
+                    break;
+                }
+            }
+        }
+        // WHERE it was filed — the step, when it is a step this run really ran.
+        if (filed.filedAt === undefined) {
+            lines.push('    filed at: ⚠ no step stamped on the event — it cannot be located in the trace.');
+        }
+        else if (isKnownStep(filed.filedAt)) {
+            lines.push(`    filed at ${filed.filedAt} → trace_node('${filed.filedAt}') · ` +
+                `trace_slice({ runtimeStageId: '${filed.filedAt}' })`);
+        }
+        else {
+            lines.push(`    filed at ${filed.filedAt} ⚠ — not a step in this run's execution tree (a run-boundary ` +
+                `marker, or evidence from another run), so the step drills cannot open it.`);
+        }
+        // THE TWO FACTS THAT DISAGREED — as ids, when the assertions were stamped.
+        const witnesses = (0, findingEvidence_js_1.witnessStepsOf)(error.witnesses);
+        if (witnesses.total === 0) {
+            lines.push('    witnesses: ⚠ none recorded — the proof did not travel with the finding.');
+        }
+        else {
+            const known = witnesses.ids.filter(isKnownStep);
+            const shown = known.slice(0, structuralLimits_js_1.FINDING_WITNESS_CAP);
+            lines.push(`    witnesses (${witnesses.total}): ` +
+                (shown.length > 0
+                    ? `${shown.join(', ')} → trace_node(<id>)`
+                    : '⚠ none carries a step id in this run') +
+                (witnesses.unstamped > 0
+                    ? ` · ⚠ ${witnesses.unstamped} assertion(s) carry no step stamp`
+                    : ''));
+        }
+        return lines;
+    };
+    const renderCheckers = (rows, header) => {
+        if (rows === undefined) {
+            return [
+                `CHECKERS: ⚠ no disposition accounting in this run's event tail — nothing records WHICH ` +
+                    `checks ran, so the absence of a finding at any other seam says nothing at all.`,
+            ];
+        }
+        if (rows.length === 0) {
+            return [
+                `CHECKERS: ⚠ none registered — this agent's configuration made no Context Integrity check ` +
+                    `applicable (a check registers only where its preconditions exist), so nothing was ` +
+                    `checked and nothing could be found. That is honest absence, not health.`,
+            ];
+        }
+        const lines = [header, ...rows.slice(0, structuralLimits_js_1.DISPOSITION_ROW_CAP).map(findingEvidence_js_1.dispositionLine)];
+        if (rows.length > structuralLimits_js_1.DISPOSITION_ROW_CAP) {
+            lines.push(`…and ${rows.length - structuralLimits_js_1.DISPOSITION_ROW_CAP} more check row(s) (output capped)`);
+        }
+        return lines;
+    };
+    return (0, tools_js_1.defineTool)({
+        name: 'find_context_errors',
+        description: 'What did this run CONTRADICT ITSELF about? Lists the Context Integrity findings the ' +
+            'library already caught — an invariant violated, an offered action whose inputs left ' +
+            'scope, an argument nothing served, a claim the record does not support, a lookup for a ' +
+            'value this run produced that came back empty — each with the ' +
+            'step it was filed at and the ' +
+            'exact drill that opens the state behind it. Call it EARLY when an answer looks wrong: a ' +
+            'contradiction the library already caught beats re-deriving one. Reads only; nothing is ' +
+            're-checked or re-judged. When no finding evidence was captured it says so plainly rather ' +
+            `than reporting a clean run. The finding type also names ${findingEvidence_js_1.UNFILABLE_CONTEXT_ERROR_KINDS.map((kind) => `'${kind}'`).join(' and ')}, and no check in this build files ${findingEvidence_js_1.UNFILABLE_CONTEXT_ERROR_KINDS.length === 1 ? 'it' : 'them'} — this tool cannot report on ` +
+            `that class${findingEvidence_js_1.UNFILABLE_CONTEXT_ERROR_KINDS.length === 1 ? '' : 'es'} at all, so its ` +
+            'silence about it is not evidence. ' +
+            `Bounded by limit (default ${structuralLimits_js_1.FINDINGS_DEFAULT}, hard cap ${types_js_1.TOOLPACK_HARD_CAPS.contextErrorsMax}).`,
+        inputSchema: {
+            type: 'object',
+            properties: {
+                kind: {
+                    type: 'string',
+                    enum: findingEvidence_js_1.CONTEXT_ERROR_KINDS,
+                    description: 'Optional: only findings of this defect class. Omit to see every finding. Only ' +
+                        'classes a check in this build can file are listed here.',
+                },
+                limit: {
+                    type: 'integer',
+                    description: `Findings to list (default ${structuralLimits_js_1.FINDINGS_DEFAULT}, hard cap ${types_js_1.TOOLPACK_HARD_CAPS.contextErrorsMax}).`,
+                },
+            },
+            additionalProperties: false,
+        },
+        execute: ({ kind, limit }) => {
+            // ── a question no build of this library can answer ──────────────────
+            // Ahead of every evidence check, because which classes are FILABLE is a
+            // property of the build, not of the run. The one exception is evidence
+            // itself: if the tail really does carry findings under that kind (a
+            // foreign filer, or a recording made by a build that shipped the
+            // check), listing them beats refusing them — the refusal claims nothing
+            // ever looked, and here something did.
+            if (kind !== undefined) {
+                const refusal = (0, findingEvidence_js_1.unanswerableKind)(kind);
+                const carried = artifacts.events !== undefined && readFindings().some((f) => f.error.kind === kind);
+                if (refusal !== undefined && !carried)
+                    return refusal;
+            }
+            // ── absence, stated in the sentence the situation deserves ──────────
+            if (artifacts.events === undefined) {
+                return (`find_context_errors: ⚠ NO FINDING EVIDENCE — these artifacts carry no event tail at ` +
+                    `all. Context Integrity findings ride the event stream (${findingEvidence_js_1.CONTEXT_ERROR_EVENT}), and ` +
+                    `the per-run accounting of which checks ran rides ${findingEvidence_js_1.DISPOSITION_EVENT}; with neither ` +
+                    `retained, this run cannot be reported on either way. That is "no evidence", NOT "no ` +
+                    `context errors". Capture the tail with recordRun(agent), or leave it on for a ` +
+                    `self-explaining agent (selfExplain({ include: { events: true } }) — the default).`);
+            }
+            const filed = readFindings();
+            const dispositionEvent = reader.eventsOf(findingEvidence_js_1.DISPOSITION_EVENT).at(-1);
+            const rows = dispositionEvent !== undefined && Array.isArray(dispositionEvent.payload.rows)
+                ? dispositionEvent.payload.rows
+                : dispositionEvent !== undefined
+                    ? []
+                    : undefined;
+            if (filed.length === 0 && dispositionEvent === undefined) {
+                return (`find_context_errors: ⚠ this run's event tail carries no Context Integrity events — ` +
+                    `neither findings (${findingEvidence_js_1.CONTEXT_ERROR_EVENT}) nor the per-run disposition accounting ` +
+                    `(${findingEvidence_js_1.DISPOSITION_EVENT}). Either no checker was registered for this agent's ` +
+                    `configuration, or the tail was capped or filtered before they were captured ` +
+                    `(${artifacts.events.length} event(s) retained). Read it as "no evidence", never as a ` +
+                    `clean bill of health.`);
+            }
+            // Canary material is quarantined from the real counts, everywhere the
+            // family reports — a synthetic finding is proof a check is ALIVE, not
+            // proof the run went wrong. Advisories are shown but counted apart for
+            // the same reason: a seam that filed one said it is not a defect.
+            const nonSynthetic = filed.filter((f) => f.error.synthetic !== true);
+            const synthetic = filed.length - nonSynthetic.length;
+            const real = nonSynthetic.filter((f) => !(0, findingEvidence_js_1.isAdvisory)(f));
+            const matching = kind === undefined ? nonSynthetic : nonSynthetic.filter((f) => f.error.kind === kind);
+            const posture = dispositionEvent !== undefined && typeof dispositionEvent.payload.posture === 'string'
+                ? dispositionEvent.payload.posture
+                : 'unknown';
+            const workExisted = dispositionEvent?.payload.workExisted === true;
+            const header = `CHECKERS (posture: ${posture} · ${workExisted ? 'the run did work a checker could see' : '⚠ the run did no checkable work'}):`;
+            // The rows count ENCOUNTERS that filed; the event stream is
+            // deduplicated by identity. When the two disagree, say which is which —
+            // a reader who sees "6" in a row and one finding in the list would
+            // otherwise conclude the list dropped five.
+            const rowFindings = (rows ?? []).reduce((sum, report) => sum + (typeof report.findings === 'number' ? report.findings : 0), 0);
+            const matchingAdvisories = matching.filter(findingEvidence_js_1.isAdvisory).length;
+            const matchingDefects = matching.length - matchingAdvisories;
+            // ── what the rows actually say a check DID ──────────────────────────
+            // The disposition rows are the only witness that a check ever looked,
+            // and a green headline is earned by `checked` encounters alone: an
+            // `unreachable` encounter is one the check could not see the evidence
+            // for, a `not-applicable` one is out of its scope by rule, and a
+            // registered check with zero encounters never met a subject. Summing
+            // them defensively — a tail parsed back from JSON can carry anything.
+            const sumRows = (pick) => (rows ?? []).reduce((sum, report) => {
+                const value = pick(report);
+                return sum + (typeof value === 'number' && Number.isFinite(value) ? value : 0);
+            }, 0);
+            const num = (value) => typeof value === 'number' && Number.isFinite(value) ? value : 0;
+            const totalChecked = sumRows((report) => report.checked);
+            const totalUnreachable = sumRows((report) => report.unreachable);
+            const totalNotApplicable = sumRows((report) => report.notApplicable);
+            const neverRanRows = (rows ?? []).filter((report) => num(report.checked) + num(report.notApplicable) + num(report.unreachable) === 0).length;
+            // Checks that CHECKED nothing — a superset of `neverRanRows`: a check
+            // whose every encounter was out of scope or unreachable also passed
+            // nothing. Named, because the headline must not average them away.
+            const silentChecks = (rows ?? [])
+                .filter((report) => num(report.checked) === 0)
+                .map((report) => `${typeof report.check === 'string' ? report.check : '?'} @${report.seam ?? '?'}`);
+            /** Nothing matched: WHICH absence is this? The rows decide, not the silence. */
+            const absenceHeadline = () => {
+                if (rows === undefined) {
+                    return (`CONTEXT ERRORS — ⚠ NONE FILED, AND NOTHING RECORDS WHICH CHECKS RAN. This tail ` +
+                        `carries no disposition accounting (${findingEvidence_js_1.DISPOSITION_EVENT}), so no check is known to ` +
+                        `have run and none is known to have passed. Read it as unmeasured, not as clean.`);
+                }
+                if (rows.length === 0) {
+                    return (`CONTEXT ERRORS — ⚠ NONE FILED, AND NO CHECK WAS REGISTERED. This agent's ` +
+                        `configuration made no Context Integrity check applicable, so nothing was checked ` +
+                        `and nothing could be found. That is honest absence, not health.`);
+                }
+                if (totalChecked === 0) {
+                    const why = [
+                        totalUnreachable > 0
+                            ? `${totalUnreachable} unreachable (no stamped identity edge, so the check could ` +
+                                `not see the evidence)`
+                            : '',
+                        totalNotApplicable > 0 ? `${totalNotApplicable} out of scope by rule` : '',
+                        neverRanRows > 0 ? `${neverRanRows} check(s) never met a subject at all` : '',
+                    ].filter(Boolean);
+                    return (`CONTEXT ERRORS — ⚠ NOTHING WAS CHECKED. The ${rows.length} registered check(s) ` +
+                        `below reached zero checked encounter(s)${why.length > 0 ? `: ${why.join(' · ')}` : ''}` +
+                        `. A check that never saw a subject cannot have passed one, so this is silence about ` +
+                        `every seam, not a clean run.`);
+                }
+                // Green, but not evenly. A headline that sums `checked` across every
+                // row reads as coverage the rows do not support: one busy check can
+                // carry a total while another registered check looked at NOTHING.
+                // The per-check rows already say so; a reader who stops at the
+                // headline must not get the rosier story. Same law as the rows —
+                // "ran 0×" is silence about that seam, never a pass.
+                if (silentChecks.length > 0) {
+                    const named = silentChecks.slice(0, structuralLimits_js_1.SILENT_CHECK_NAME_CAP).join(', ');
+                    const more = silentChecks.length > structuralLimits_js_1.SILENT_CHECK_NAME_CAP
+                        ? `, and ${silentChecks.length - structuralLimits_js_1.SILENT_CHECK_NAME_CAP} more`
+                        : '';
+                    return (`CONTEXT ERRORS — none filed, ⚠ AND COVERAGE IS PARTIAL. ` +
+                        `${rows.length - silentChecks.length} of ${rows.length} registered check(s) ` +
+                        `actually checked something (${totalChecked} checked encounter(s)) and found ` +
+                        `nothing; ${silentChecks.length} checked NOTHING at all — silent about its seam, ` +
+                        `not clean: ${named}${more}. This green covers only the checks that ran.`);
+                }
+                return (`CONTEXT ERRORS — none filed. All ${rows.length} registered check(s) below RAN ` +
+                    `(${totalChecked} checked encounter(s)); nothing they cover was violated.`);
+            };
+            const lines = [];
+            if (matching.length === 0 && nonSynthetic.length === 0 && rowFindings > 0) {
+                lines.push(`CONTEXT ERRORS — ⚠ EVIDENCE MISSING. The checker rows below report ${rowFindings} ` +
+                    `finding(s) filed by this run, and this event tail carries NONE of them — the tail ` +
+                    `was capped or filtered. The contradictions happened; their detail did not survive. ` +
+                    `This is the opposite of a clean run.`);
+            }
+            else if (matching.length === 0 && nonSynthetic.length > 0) {
+                const kinds = [...new Set(nonSynthetic.map((f) => String(f.error.kind ?? '?')))].join(', ');
+                lines.push(`CONTEXT ERRORS — no '${kind}' findings in this run. It filed ${nonSynthetic.length} ` +
+                    `finding(s) of other kinds: ${kinds}. Call again without 'kind' to see them.`);
+            }
+            else if (matching.length === 0) {
+                lines.push(absenceHeadline());
+            }
+            else {
+                const cap = (0, bounded_js_1.clampParam)(limit, structuralLimits_js_1.FINDINGS_DEFAULT, 1, types_js_1.TOOLPACK_HARD_CAPS.contextErrorsMax);
+                const shown = matching.slice(0, cap);
+                lines.push(`CONTEXT ERRORS — ${matchingDefects} finding(s) filed by this run's integrity checks` +
+                    (matchingAdvisories > 0
+                        ? `, plus ${matchingAdvisories} advisory (counted apart — a seam filed them as not ` +
+                            `a defect)`
+                        : '') +
+                    ` (showing ${shown.length} of ${matching.length}). Each was detected and deduplicated ` +
+                    `when it happened; nothing is re-judged here.`, '');
+                shown.forEach((entry, i) => lines.push(...renderFinding(entry, i + 1)));
+                if (shown.length < matching.length) {
+                    lines.push(`…${matching.length - shown.length} more finding(s) — raise limit (hard cap ` +
+                        `${types_js_1.TOOLPACK_HARD_CAPS.contextErrorsMax}) or filter with 'kind'.`);
+                }
+            }
+            if (synthetic > 0) {
+                lines.push(`(${synthetic} synthetic canary finding(s) filed in dev posture are quarantined from ` +
+                    `the count above — they prove a check can still catch its own defect.)`);
+            }
+            if (real.length > 0 && rowFindings > real.length) {
+                lines.push(`note: the rows below count every ENCOUNTER that filed (${rowFindings}); the list above ` +
+                    `is deduplicated by identity (${real.length} distinct defect(s)) — one defect ` +
+                    `re-detected on a later iteration stays ONE finding.`);
+            }
+            lines.push('', ...renderCheckers(rows, header), '', findingEvidence_js_1.INTEGRITY_BOUND);
+            lines.push(`Next: trace_node / trace_slice open the step a finding was filed at · who_wrote and ` +
+                `backtrack explain a state key · find_in_trace turns a subject's name into ids.`);
+            return lines.join('\n');
+        },
+    });
+}
+exports.buildFindContextErrors = buildFindContextErrors;
+//# sourceMappingURL=contextErrors.js.map

package/dist/trace-toolpack/traceToolpack/contextErrors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contextErrors.js","sourceRoot":"","sources":["../../../src/trace-toolpack/traceToolpack/contextErrors.ts"],"names":[],"mappings":";;;AAKA,6DAY8B;AAE9B,mDAA+C;AAC/C,8CAAsE;AACtE,+DAO+B;AAE/B,mDAAkD;AAClD,0CAAiD;AAEjD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,SAAS,sBAAsB,CAC7B,SAAiC,EACjC,KAAoB,EACpB,MAAsB,EACtB,IAA6B;IAE7B,MAAM,WAAW,GAAG,CAAC,EAAsB,EAAgB,EAAE,CAC3D,EAAE,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAExE,MAAM,YAAY,GAAG,GAAmB,EAAE,CACxC,MAAM,CAAC,QAAQ,CAAC,wCAAmB,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACjD,MAAM,KAAK,GAAG,KAAK,CAAC,OAAkE,CAAC;QACvF,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC;QAC1C,MAAM,SAAS,GACb,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ;YACjC,CAAC,CAAC,KAAK,CAAC,SAAS;YACjB,CAAC,CAAC,OAAO,KAAK,CAAC,IAAI,CAAC,SAAS,KAAK,QAAQ;gBAC1C,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS;gBACtB,CAAC,CAAC,SAAS,CAAC;QAChB,OAAO;YACL,KAAK;YACL,GAAG,CAAC,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YACjE,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,EAAE,SAAS,EAAE,CAAC;SAC9C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEL,MAAM,aAAa,GAAG,CAAC,KAAmB,EAAE,QAAgB,EAAY,EAAE;QACxE,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;QACxB,MAAM,IAAI,GAAG,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,uBAAuB,CAAC;QACnF,MAAM,IAAI,GAAG,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,wBAAwB,CAAC;QAC1F,MAAM,MAAM,GAAG;YACb,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;YAC7D,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE;YACnE,KAAK,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,sCAAsC,CAAC,CAAC,CAAC,EAAE;YACtE,IAAA,+BAAU,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,4CAA4C,CAAC,CAAC,CAAC,EAAE;SACtE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAClB,MAAM,OAAO,GACX,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,KAAK,EAAE;YACvD,CAAC,CAAC,IAAA,4BAAY,EAAC,IAAA,wBAAW,EAAC,KAAK,CAAC,OAAO,CAAC,EAAE,2CAAqB,CAAC;YACjE,CAAC,CAAC,uCAAuC,CAAC;QAC9C,MAAM,KAAK,GAAG;YACZ,IAAI,QAAQ,KAAK,IAAI,IAAI,IAAI,GAC3B,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EACnD,MAAM,OAAO,EAAE;SAChB,CAAC;QAEF,0EAA0E;QAC1E,MAAM,QAAQ,GAAG,IAAA,+BAAU,EAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC5C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,4EAA4E,CAAC,CAAC;QAC3F,CAAC;aAAM,CAAC;YACN,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,yCAAmB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACrF,KAAK,CAAC,IAAI,CACR,cAAc,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAC5B,QAAQ,CAAC,MAAM,GAAG,yCAAmB;gBACnC,CAAC,CAAC,QAAQ,QAAQ,CAAC,MAAM,GAAG,yCAAmB,OAAO;gBACtD,CAAC,CAAC,EACN,qBAAqB,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CACxC,CAAC;YACF,mEAAmE;YACnE,iEAAiE;YACjE,iDAAiD;YACjD,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,yCAAmB,CAAC,EAAE,CAAC;gBAC7D,MAAM,IAAI,GAAG,IAAA,yBAAY,EAAC,OAAO,CAAC,EAAE,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;gBACxD,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAC1C,MAAM,IAAI,GAAG,IAAA,iCAAY,EAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;gBAC1D,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;oBACvB,KAAK,CAAC,IAAI,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC;oBACjC,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QAED,wEAAwE;QACxE,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CACR,mFAAmF,CACpF,CAAC;QACJ,CAAC;aAAM,IAAI,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YACtC,KAAK,CAAC,IAAI,CACR,gBAAgB,KAAK,CAAC,OAAO,kBAAkB,KAAK,CAAC,OAAO,OAAO;gBACjE,kCAAkC,KAAK,CAAC,OAAO,MAAM,CACxD,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CACR,gBAAgB,KAAK,CAAC,OAAO,+DAA+D;gBAC1F,2EAA2E,CAC9E,CAAC;QACJ,CAAC;QAED,2EAA2E;QAC3E,MAAM,SAAS,GAAG,IAAA,mCAAc,EAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAClD,IAAI,SAAS,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,6EAA6E,CAAC,CAAC;QAC5F,CAAC;aAAM,CAAC;YACN,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;YAChD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,yCAAmB,CAAC,CAAC;YAClD,KAAK,CAAC,IAAI,CACR,kBAAkB,SAAS,CAAC,KAAK,KAAK;gBACpC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;oBACf,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,qBAAqB;oBAC1C,CAAC,CAAC,sCAAsC,CAAC;gBAC3C,CAAC,SAAS,CAAC,SAAS,GAAG,CAAC;oBACtB,CAAC,CAAC,QAAQ,SAAS,CAAC,SAAS,mCAAmC;oBAChE,CAAC,CAAC,EAAE,CAAC,CACV,CAAC;QACJ,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,cAAc,GAAG,CAAC,IAAwC,EAAE,MAAc,EAAY,EAAE;QAC5F,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,OAAO;gBACL,yFAAyF;oBACvF,gFAAgF;aACnF,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtB,OAAO;gBACL,2FAA2F;oBACzF,oFAAoF;oBACpF,yEAAyE;aAC5E,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,yCAAmB,CAAC,CAAC,GAAG,CAAC,oCAAe,CAAC,CAAC,CAAC;QACnF,IAAI,IAAI,CAAC,MAAM,GAAG,yCAAmB,EAAE,CAAC;YACtC,KAAK,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,MAAM,GAAG,yCAAmB,oCAAoC,CAAC,CAAC;QAC5F,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,OAAO,IAAA,qBAAU,EAA4C;QAC3D,IAAI,EAAE,qBAAqB;QAC3B,WAAW,EACT,sFAAsF;YACtF,sFAAsF;YACtF,yFAAyF;YACzF,+DAA+D;YAC/D,+BAA+B;YAC/B,0FAA0F;YAC1F,yFAAyF;YACzF,2FAA2F;YAC3F,2DAA2D,kDAA6B,CAAC,GAAG,CAC1F,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,GAAG,CACtB,CAAC,IAAI,CAAC,OAAO,CAAC,sCACb,kDAA6B,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MACtD,gCAAgC;YAChC,aAAa,kDAA6B,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,kBAAkB;YACrF,oCAAoC;YACpC,6BAA6B,sCAAgB,cAAc,6BAAkB,CAAC,gBAAgB,IAAI;QACpG,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,IAAI,EAAE;oBACJ,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,wCAAmB;oBACzB,WAAW,EACT,gFAAgF;wBAChF,yDAAyD;iBAC5D;gBACD,KAAK,EAAE;oBACL,IAAI,EAAE,SAAS;oBACf,WAAW,EAAE,6BAA6B,sCAAgB,cAAc,6BAAkB,CAAC,gBAAgB,IAAI;iBAChH;aACF;YACD,oBAAoB,EAAE,KAAK;SAC5B;QACD,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE;YAC3B,uEAAuE;YACvE,wEAAwE;YACxE,uEAAuE;YACvE,oEAAoE;YACpE,iEAAiE;YACjE,wEAAwE;YACxE,uCAAuC;YACvC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,MAAM,OAAO,GAAG,IAAA,qCAAgB,EAAC,IAAI,CAAC,CAAC;gBACvC,MAAM,OAAO,GACX,SAAS,CAAC,MAAM,KAAK,SAAS,IAAI,YAAY,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;gBACtF,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,OAAO;oBAAE,OAAO,OAAO,CAAC;YACxD,CAAC;YAED,uEAAuE;YACvE,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBACnC,OAAO,CACL,sFAAsF;oBACtF,0DAA0D,wCAAmB,SAAS;oBACtF,oDAAoD,sCAAiB,iBAAiB;oBACtF,sFAAsF;oBACtF,gFAAgF;oBAChF,mFAAmF,CACpF,CAAC;YACJ,CAAC;YAED,MAAM,KAAK,GAAG,YAAY,EAAE,CAAC;YAC7B,MAAM,gBAAgB,GAAG,MAAM,CAAC,QAAQ,CAAC,sCAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACnE,MAAM,IAAI,GACR,gBAAgB,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAC;gBAC5E,CAAC,CAAE,gBAAgB,CAAC,OAAO,CAAC,IAA+B;gBAC3D,CAAC,CAAC,gBAAgB,KAAK,SAAS;oBAChC,CAAC,CAAC,EAAE;oBACJ,CAAC,CAAC,SAAS,CAAC;YAEhB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;gBACzD,OAAO,CACL,qFAAqF;oBACrF,qBAAqB,wCAAmB,2CAA2C;oBACnF,IAAI,sCAAiB,uDAAuD;oBAC5E,8EAA8E;oBAC9E,IAAI,SAAS,CAAC,MAAM,CAAC,MAAM,4DAA4D;oBACvF,uBAAuB,CACxB,CAAC;YACJ,CAAC;YAED,sEAAsE;YACtE,sEAAsE;YACtE,uEAAuE;YACvE,kEAAkE;YAClE,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC;YACrE,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC;YACrD,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAA,+BAAU,EAAC,CAAC,CAAC,CAAC,CAAC;YACxD,MAAM,QAAQ,GACZ,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;YAExF,MAAM,OAAO,GACX,gBAAgB,KAAK,SAAS,IAAI,OAAO,gBAAgB,CAAC,OAAO,CAAC,OAAO,KAAK,QAAQ;gBACpF,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,OAAO;gBAClC,CAAC,CAAC,SAAS,CAAC;YAChB,MAAM,WAAW,GAAG,gBAAgB,EAAE,OAAO,CAAC,WAAW,KAAK,IAAI,CAAC;YACnE,MAAM,MAAM,GAAG,sBAAsB,OAAO,MAC1C,WAAW,CAAC,CAAC,CAAC,sCAAsC,CAAC,CAAC,CAAC,iCACzD,IAAI,CAAC;YAEL,4DAA4D;YAC5D,wEAAwE;YACxE,mEAAmE;YACnE,4CAA4C;YAC5C,MAAM,WAAW,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,MAAM,CACrC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAClF,CAAC,CACF,CAAC;YAEF,MAAM,kBAAkB,GAAG,QAAQ,CAAC,MAAM,CAAC,+BAAU,CAAC,CAAC,MAAM,CAAC;YAC9D,MAAM,eAAe,GAAG,QAAQ,CAAC,MAAM,GAAG,kBAAkB,CAAC;YAE7D,uEAAuE;YACvE,sEAAsE;YACtE,mEAAmE;YACnE,sEAAsE;YACtE,iEAAiE;YACjE,qEAAqE;YACrE,sEAAsE;YACtE,MAAM,OAAO,GAAG,CAAC,IAAsC,EAAU,EAAE,CACjE,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE;gBAClC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;gBAC3B,OAAO,GAAG,GAAG,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACjF,CAAC,EAAE,CAAC,CAAC,CAAC;YACR,MAAM,GAAG,GAAG,CAAC,KAAc,EAAU,EAAE,CACrC,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAClE,MAAM,YAAY,GAAG,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YACzD,MAAM,gBAAgB,GAAG,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;YACjE,MAAM,kBAAkB,GAAG,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;YACrE,MAAM,YAAY,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,MAAM,CACtC,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAC5F,CAAC,MAAM,CAAC;YACT,sEAAsE;YACtE,oEAAoE;YACpE,mEAAmE;YACnE,MAAM,YAAY,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;iBAC9B,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;iBAC7C,GAAG,CACF,CAAC,MAAM,EAAE,EAAE,CACT,GAAG,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,MAAM,CAAC,IAAI,IAAI,GAAG,EAAE,CACpF,CAAC;YAEJ,gFAAgF;YAChF,MAAM,eAAe,GAAG,GAAW,EAAE;gBACnC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;oBACvB,OAAO,CACL,iFAAiF;wBACjF,sCAAsC,sCAAiB,6BAA6B;wBACpF,iFAAiF,CAClF,CAAC;gBACJ,CAAC;gBACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACtB,OAAO,CACL,2EAA2E;wBAC3E,mFAAmF;wBACnF,iEAAiE,CAClE,CAAC;gBACJ,CAAC;gBACD,IAAI,YAAY,KAAK,CAAC,EAAE,CAAC;oBACvB,MAAM,GAAG,GAAG;wBACV,gBAAgB,GAAG,CAAC;4BAClB,CAAC,CAAC,GAAG,gBAAgB,6DAA6D;gCAChF,uBAAuB;4BACzB,CAAC,CAAC,EAAE;wBACN,kBAAkB,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,kBAAkB,uBAAuB,CAAC,CAAC,CAAC,EAAE;wBAC1E,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,YAAY,sCAAsC,CAAC,CAAC,CAAC,EAAE;qBAC9E,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;oBAClB,OAAO,CACL,+CAA+C,IAAI,CAAC,MAAM,uBAAuB;wBACjF,0CACE,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAC5C,EAAE;wBACF,sFAAsF;wBACtF,8BAA8B,CAC/B,CAAC;gBACJ,CAAC;gBACD,qEAAqE;gBACrE,oEAAoE;gBACpE,kEAAkE;gBAClE,+DAA+D;gBAC/D,iEAAiE;gBACjE,qDAAqD;gBACrD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC5B,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,2CAAqB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACtE,MAAM,IAAI,GACR,YAAY,CAAC,MAAM,GAAG,2CAAqB;wBACzC,CAAC,CAAC,SAAS,YAAY,CAAC,MAAM,GAAG,2CAAqB,OAAO;wBAC7D,CAAC,CAAC,EAAE,CAAC;oBACT,OAAO,CACL,0DAA0D;wBAC1D,GAAG,IAAI,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,OAAO,IAAI,CAAC,MAAM,uBAAuB;wBAC7E,+BAA+B,YAAY,mCAAmC;wBAC9E,YAAY,YAAY,CAAC,MAAM,mDAAmD;wBAClF,cAAc,KAAK,GAAG,IAAI,+CAA+C,CAC1E,CAAC;gBACJ,CAAC;gBACD,OAAO,CACL,oCAAoC,IAAI,CAAC,MAAM,iCAAiC;oBAChF,IAAI,YAAY,0DAA0D,CAC3E,CAAC;YACJ,CAAC,CAAC;YAEF,MAAM,KAAK,GAAa,EAAE,CAAC;YAC3B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;gBAC1E,KAAK,CAAC,IAAI,CACR,sEAAsE,WAAW,GAAG;oBAClF,oFAAoF;oBACpF,qFAAqF;oBACrF,sCAAsC,CACzC,CAAC;YACJ,CAAC;iBAAM,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5D,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC5F,KAAK,CAAC,IAAI,CACR,wBAAwB,IAAI,oCAAoC,YAAY,CAAC,MAAM,GAAG;oBACpF,8BAA8B,KAAK,0CAA0C,CAChF,CAAC;YACJ,CAAC;iBAAM,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACjC,KAAK,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC;YAChC,CAAC;iBAAM,CAAC;gBACN,MAAM,GAAG,GAAG,IAAA,uBAAU,EAAC,KAAK,EAAE,sCAAgB,EAAE,CAAC,EAAE,6BAAkB,CAAC,gBAAgB,CAAC,CAAC;gBACxF,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;gBACrC,KAAK,CAAC,IAAI,CACR,oBAAoB,eAAe,kDAAkD;oBACnF,CAAC,kBAAkB,GAAG,CAAC;wBACrB,CAAC,CAAC,UAAU,kBAAkB,sDAAsD;4BAClF,WAAW;wBACb,CAAC,CAAC,EAAE,CAAC;oBACP,aAAa,KAAK,CAAC,MAAM,OAAO,QAAQ,CAAC,MAAM,wCAAwC;oBACvF,8CAA8C,EAChD,EAAE,CACH,CAAC;gBACF,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;gBACxE,IAAI,KAAK,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;oBACnC,KAAK,CAAC,IAAI,CACR,IAAI,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,2CAA2C;wBAC3E,GAAG,6BAAkB,CAAC,gBAAgB,0BAA0B,CACnE,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;gBAClB,KAAK,CAAC,IAAI,CACR,IAAI,SAAS,yEAAyE;oBACpF,uEAAuE,CAC1E,CAAC;YACJ,CAAC;YACD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;gBACjD,KAAK,CAAC,IAAI,CACR,0DAA0D,WAAW,oBAAoB;oBACvF,gCAAgC,IAAI,CAAC,MAAM,oCAAoC;oBAC/E,qDAAqD,CACxD,CAAC;YACJ,CAAC;YAED,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,oCAAe,CAAC,CAAC;YACrE,KAAK,CAAC,IAAI,CACR,sFAAsF;gBACpF,gFAAgF,CACnF,CAAC;YACF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAEQ,wDAAsB"}