@descryy/mcp 0.11.3 → 0.11.5

package/dist/tools/validate.js

@@ -1,442 +0,0 @@
-/**
- * `validate` — §15 static validation: env/config checks.
- * Omits a var unless its read fails-on-absence AND declaration surface is complete
- * (18/107 wrong findings measured otherwise); refuses rather than `ok` when no reads
- * exist. Pass `files` for NEW_READ_UNDECLARED — catches accessor-shape-independent reads.
- * Add `changedLines` (from get_git_diff's patch) to verify against an added line rather
- * than a file scope, and get `defect` instead of `lead` back for it — see C2, UAT phase 4. */
-import { existsSync } from "node:fs";
-import { join } from "node:path";
-import { buildConfigGraph, checkAttributeExistence, checkEnvironment, checkMigrationIntegrity, checkObservedRoutes, checkOrmModelRegistration, checkRollbackReadiness, declaredRoutesFrom, scanConfigSurfaces, scanMigrations, } from "@descryy/core";
-import { EvidenceStore } from "@descryy/runtime-evidence-store";
-import { extractObservedRouteEvidence } from "../evidence/observed-route-evidence.js";
-import { optionalInteger, optionalStringArray, ToolInputError, } from "./kit.js";
-import { DEFAULT_EVIDENCE_RELATIVE_PATH } from "./observe-runtime.js";
-/**
- * Flattens every one of `validate`'s finding sources into one array: the
- * top-level env array plus the nested reports (`rollback`, `attributeExistence`,
- * `migrationIntegrity`, `ormRegistration`, `observedRoutes`).
- *
- * `validate` publishes findings across several separate sub-objects because
- * each check examines a different kind of evidence and discloses its own
- * `ran`/`examined`/`withheld` detail alongside its findings. A composer that
- * reads only one of them silently drops the rest — the exact failure UAT
- * phase 5 §4 found in `pre_push`, which read `data.findings` and nothing
- * else. This function is the one place that knows the full list, so a new
- * sub-check added here is inherited by every composer automatically instead
- * of requiring a second, easily-forgotten edit at each call site.
- */
-export function collectValidateFindings(data) {
-    return [
-        ...data.findings,
-        ...data.rollback.findings,
-        ...data.attributeExistence.findings,
-        ...data.migrationIntegrity.findings,
-        ...data.ormRegistration.findings,
-        ...data.observedRoutes.findings,
-    ];
-}
-const SCHEMA = {
-    type: "object",
-    properties: {
-        files: {
-            type: "array",
-            items: { type: "string" },
-            description: "Restrict the code side to these repo-relative files — the scoped-subgraph run. " +
-                "Configuration files are always read in full, because a declaration is repository-wide. " +
-                "Also enables a second, stronger env-var rule (NEW_READ_UNDECLARED): a variable read in " +
-                "one of these files and declared nowhere is reported regardless of whether the accessor " +
-                "fails on absence, catching a case the default rule structurally cannot.",
-        },
-        coverageFloor: {
-            type: "number",
-            minimum: 0,
-            maximum: 1,
-            description: "Fraction of required variables the repository must declare somewhere before any " +
-                "missing-variable finding is emitted. Default 0.6. Lowering it trades precision for " +
-                "recall on a repository whose configuration lives outside the code.",
-        },
-        maxFindings: {
-            type: "integer",
-            minimum: 1,
-            description: "Cap on findings returned. Default 25; overflow is disclosed, not dropped.",
-        },
-        changedLines: {
-            type: "array",
-            items: {
-                type: "object",
-                properties: {
-                    file: {
-                        type: "string",
-                        description: "A repo-relative path, matching one entry of \"files\".",
-                    },
-                    ranges: {
-                        type: "array",
-                        items: {
-                            type: "object",
-                            properties: {
-                                start: { type: "integer", minimum: 1 },
-                                end: { type: "integer", minimum: 1 },
-                            },
-                            required: ["start", "end"],
-                            additionalProperties: false,
-                        },
-                        description: "1-based, inclusive line ranges this file's diff actually added.",
-                    },
-                },
-                required: ["file", "ranges"],
-                additionalProperties: false,
-            },
-            description: "Which lines the diff actually added, per file — e.g. from get_git_diff's patch text run " +
-                "through addedLineRanges. Sharpens NEW_READ_UNDECLARED (which \"files\" alone already " +
-                "enables) from \"in a file this call scoped to\" to \"on a line this diff actually added\": " +
-                "without it, a pre-existing undeclared read in a file you touched for an unrelated reason is " +
-                "reported as a lead rather than a defect, because this call cannot tell it apart from a read " +
-                "the change just introduced. A file named in \"files\" but absent here is treated the same as " +
-                "when this argument is omitted entirely, for that file only.",
-        },
-    },
-    additionalProperties: false,
-};
-/** `changedLines`' wire shape ({ file, ranges }[], JSON-schema-friendly) into the
- *  `Map` `checkEnvironment` takes. Malformed input is refused, not silently dropped —
- *  a caller that thinks it narrowed the check and did not is worse off than one who
- *  never tried. */
-function parseChangedLines(args) {
-    const raw = args["changedLines"];
-    if (raw === undefined)
-        return undefined;
-    if (!Array.isArray(raw)) {
-        throw new ToolInputError('"changedLines" must be an array of { file, ranges }.');
-    }
-    const map = new Map();
-    for (const entry of raw) {
-        if (typeof entry !== "object" || entry === null) {
-            throw new ToolInputError('Each "changedLines" entry must be an object with "file" and "ranges".');
-        }
-        const row = entry;
-        const file = row["file"];
-        const ranges = row["ranges"];
-        if (typeof file !== "string" || file === "" || !Array.isArray(ranges)) {
-            throw new ToolInputError('Each "changedLines" entry needs a non-empty "file" and a "ranges" array.');
-        }
-        const parsedRanges = [];
-        for (const range of ranges) {
-            const r = typeof range === "object" && range !== null ? range : null;
-            const start = r?.["start"];
-            const end = r?.["end"];
-            if (typeof start !== "number" || typeof end !== "number") {
-                throw new ToolInputError(`"changedLines" entry for "${file}" has a range that is not { start, end }.`);
-            }
-            parsedRanges.push({ start, end });
-        }
-        map.set(file, parsedRanges);
-    }
-    return map;
-}
-/**
- * UAT phase 5 §5 (D2): reads `observe_runtime`'s own evidence database, if one
- * already exists, and checks its `NETWORK_RESPONSE`/`HTTP_ERROR` evidence
- * against the graph's declared routes.
- *
- * Never creates the database — this is a read tool, and `observe_runtime` (an
- * action tool) is the only thing with a legitimate reason to write one.
- */
-function readObservedRoutes(repoPath, provider) {
-    const evidencePath = join(repoPath, DEFAULT_EVIDENCE_RELATIVE_PATH);
-    if (!existsSync(evidencePath)) {
-        return {
-            findings: [],
-            examined: 0,
-            ran: false,
-            note: `No evidence database exists yet at ${evidencePath} — observe_runtime has not run against ` +
-                "this repository. observedRoutes did not run.",
-        };
-    }
-    const store = new EvidenceStore({ path: evidencePath });
-    try {
-        const events = [
-            ...store.query({ executionId: null, eventType: "NETWORK_REQUEST" }),
-            ...store.query({ executionId: null, eventType: "NETWORK_RESPONSE" }),
-            ...store.query({ executionId: null, eventType: "HTTP_ERROR" }),
-        ];
-        const observed = extractObservedRouteEvidence(events);
-        if (observed.length === 0) {
-            return {
-                findings: [],
-                examined: 0,
-                ran: false,
-                note: "The evidence database exists but holds no NETWORK_RESPONSE/HTTP_ERROR evidence with a " +
-                    "usable method, URL and status. observedRoutes did not run.",
-            };
-        }
-        const result = checkObservedRoutes(observed, declaredRoutesFrom(provider));
-        return { findings: result.findings, examined: result.examined, ran: true, note: null };
-    }
-    finally {
-        store.close();
-    }
-}
-async function run(args, ctx) {
-    const files = optionalStringArray(args, "files");
-    const maxFindings = optionalInteger(args, "maxFindings", 1);
-    const rawFloor = args["coverageFloor"];
-    const coverageFloor = typeof rawFloor === "number" && rawFloor >= 0 && rawFloor <= 1 ? rawFloor : undefined;
-    const changedLines = parseChangedLines(args);
-    ctx.progress("Reading configuration files");
-    const scan = scanConfigSurfaces(ctx.session.repoPath);
-    ctx.progress("Cross-checking against environment reads in the graph");
-    const provider = ctx.session.provider();
-    const checked = checkEnvironment(provider, scan, {
-        ...(files === undefined ? {} : { files }),
-        ...(maxFindings === undefined ? {} : { maxFindings }),
-        ...(coverageFloor === undefined ? {} : { coverageFloor }),
-        ...(changedLines === undefined ? {} : { changedLines }),
-    });
-    ctx.progress("Tracing what depends on each configuration variable");
-    const configGraph = buildConfigGraph(provider, scan);
-    ctx.progress("Reading migrations for destructive operations");
-    const rollback = checkRollbackReadiness(provider, scanMigrations(ctx.session.repoPath), {
-        ...(files === undefined ? {} : { files }),
-        ...(maxFindings === undefined ? {} : { maxFindings }),
-    });
-    ctx.progress("Checking attribute reads against declared types");
-    const attributeExistence = checkAttributeExistence(provider, {
-        ...(files === undefined ? {} : { files }),
-        ...(maxFindings === undefined ? {} : { maxFindings }),
-    });
-    ctx.progress("Checking migration location and revision chain");
-    const migrationIntegrity = checkMigrationIntegrity(provider, {
-        ...(files === undefined ? {} : { files }),
-        ...(maxFindings === undefined ? {} : { maxFindings }),
-    });
-    ctx.progress("Checking ORM models are reached by their package's __init__");
-    const ormRegistration = checkOrmModelRegistration(provider, {
-        ...(files === undefined ? {} : { files }),
-        ...(maxFindings === undefined ? {} : { maxFindings }),
-    });
-    ctx.progress("Checking observed HTTP responses against declared routes");
-    const observedRoutes = readObservedRoutes(ctx.session.repoPath, provider);
-    const report = checked.data;
-    const defects = report.findings.filter((f) => f.claim === "defect").length +
-        attributeExistence.data.findings.length +
-        migrationIntegrity.data.findings.length;
-    const leads = report.findings.length - report.findings.filter((f) => f.claim === "defect").length;
-    // Nothing compared at all: no config files, reads, migrations, attribute reads,
-    // or migration revisions — any one alone is a real answer, none of them is not.
-    const nothingToCheck = report.surfaces.length === 0 &&
-        !report.readsAvailable &&
-        !rollback.data.ran &&
-        !attributeExistence.data.ran &&
-        !migrationIntegrity.data.ran &&
-        !ormRegistration.data.ran &&
-        !observedRoutes.ran;
-    // A `files` scope matching zero FILE nodes means those files were never read into
-    // the graph (bad path, or unparsed) — not "read and clean". Same collapse as
-    // `contracts(paths)`, one level down.
-    const filesMatchedNothing = files !== undefined && report.reads.filesWithReads + report.reads.filesWithoutReads === 0;
-    // Leads and rollback findings are worth a look; defects are what this tool exists
-    // to catch. Never blur the two into one count (see EnvFindingReport.claim).
-    const otherFindings = leads + rollback.data.findings.length + ormRegistration.data.findings.length + observedRoutes.findings.length;
-    // A "Clean" verdict from a files scope matching nothing would misreport "checked,
-    // fine" when nothing was read. Only pure-Clean is downgraded — real findings from
-    // unscoped checks still surface.
-    const falseClean = filesMatchedNothing && defects === 0 && otherFindings === 0;
-    const verdict = falseClean
-        ? "not checked"
-        : defects > 0
-            ? `${defects} defect(s) found`
-            : otherFindings > 0
-                ? `No defects; ${otherFindings} lead(s)/rollback finding(s) to review`
-                : "Clean";
-    const scopeNotes = filesMatchedNothing
-        ? [
-            `0 of the ${(files ?? []).length} named file(s) matched a FILE node this graph's read side ` +
-                "considered — either the path is wrong, or the file was never read into the graph. The " +
-                "environment-read half of this report has nothing to say about them; it is not evidence " +
-                "they are clean.",
-        ]
-        : [];
-    // render.ts requires truncatedDetail whenever truncated=true. `truncated` folds 5
-    // independently-truncatable sources; shown/total cover the finding lists a
-    // maxFindings cap acts on — configGraph's own truncation stays prose-only.
-    // `observedRoutes` has no cap of its own (bounded by evidence volume, not by
-    // this tool), so it contributes the same count to both.
-    const shown = report.findings.length +
-        rollback.data.findings.length +
-        attributeExistence.data.findings.length +
-        migrationIntegrity.data.findings.length +
-        ormRegistration.data.findings.length +
-        observedRoutes.findings.length;
-    const total = report.findingsTotal +
-        rollback.data.findingsTotal +
-        attributeExistence.data.findingsTotal +
-        migrationIntegrity.data.findingsTotal +
-        ormRegistration.data.findingsTotal +
-        observedRoutes.findings.length;
-    const truncated = checked.truncated ||
-        rollback.truncated ||
-        attributeExistence.truncated ||
-        migrationIntegrity.truncated ||
-        ormRegistration.truncated ||
-        configGraph.truncated;
-    const truncatedDetail = truncated
-        ? { shown, total: Math.max(total, shown), more: null }
-        : undefined;
-    return {
-        result: {
-            ...checked,
-            data: {
-                findings: report.findings.map((f) => ({
-                    kind: f.kind,
-                    name: f.name,
-                    claim: f.claim,
-                    detail: f.detail,
-                    evidence: f.evidence,
-                    resolution: f.resolution,
-                })),
-                findingsTotal: report.findingsTotal,
-                surfaces: report.surfaces,
-                reads: report.reads,
-                coverage: report.coverage,
-                declaredNeverRead: report.declaredNeverRead,
-                readsAvailable: report.readsAvailable,
-                // §15.3's third check feeds the first. Only variables with a computable
-                // dependent set are carried — unknown count is not a zero, not worth a row.
-                configGraph: {
-                    counts: configGraph.data.counts,
-                    importsAvailable: configGraph.data.importsAvailable,
-                    mostDependedOn: configGraph.data.variables
-                        .filter((v) => v.dependents !== null && v.dependents > 0)
-                        .slice(0, 10)
-                        .map((v) => ({
-                        name: v.name,
-                        dependents: v.dependents,
-                        truncated: v.dependentsTruncated,
-                        readAt: v.readAt.slice(0, 3),
-                        sample: v.dependentSample,
-                    })),
-                },
-                rollback: {
-                    findings: rollback.data.findings,
-                    findingsTotal: rollback.data.findingsTotal,
-                    examined: rollback.data.examined,
-                    withheld: rollback.data.withheld,
-                    ran: rollback.data.ran,
-                    blockers: rollback.data.blockers,
-                },
-                attributeExistence: {
-                    findings: attributeExistence.data.findings,
-                    findingsTotal: attributeExistence.data.findingsTotal,
-                    examined: attributeExistence.data.examined,
-                    ran: attributeExistence.data.ran,
-                },
-                migrationIntegrity: {
-                    findings: migrationIntegrity.data.findings,
-                    findingsTotal: migrationIntegrity.data.findingsTotal,
-                    examined: migrationIntegrity.data.examined,
-                    migrationsDirectory: migrationIntegrity.data.migrationsDirectory,
-                    ran: migrationIntegrity.data.ran,
-                    withheld: migrationIntegrity.data.withheld,
-                },
-                ormRegistration: {
-                    findings: ormRegistration.data.findings,
-                    findingsTotal: ormRegistration.data.findingsTotal,
-                    examined: ormRegistration.data.examined,
-                    ran: ormRegistration.data.ran,
-                    withheld: ormRegistration.data.withheld,
-                },
-                observedRoutes: {
-                    findings: observedRoutes.findings,
-                    findingsTotal: observedRoutes.findings.length,
-                    examined: observedRoutes.examined,
-                    ran: observedRoutes.ran,
-                },
-            },
-            // Every check's disclosures reach the reader — dropping one half silently
-            // is the degradation rule 7 exists to prevent.
-            notes: [
-                ...scopeNotes,
-                ...(observedRoutes.note === null ? [] : [observedRoutes.note]),
-                ...checked.notes,
-                ...rollback.notes,
-                ...attributeExistence.notes,
-                ...migrationIntegrity.notes,
-                ...ormRegistration.notes,
-                ...configGraph.notes,
-            ],
-            truncated,
-            stamp: {
-                ...checked.stamp,
-                resolutionFloor: Math.min(checked.stamp.resolutionFloor, rollback.stamp.resolutionFloor, attributeExistence.stamp.resolutionFloor, migrationIntegrity.stamp.resolutionFloor, ormRegistration.stamp.resolutionFloor, configGraph.stamp.resolutionFloor),
-            },
-        },
-        // §11A.5's canonical name-level fact (exists or not) — the one claim R2 supports
-        // at class A. Value shape is never asserted here.
-        nameLevel: true,
-        ...(truncatedDetail === undefined ? {} : { truncatedDetail }),
-        ...(nothingToCheck
-            ? { state: "refused" }
-            : falseClean
-                ? { state: "empty" }
-                : {}),
-        headline: nothingToCheck
-            ? "No configuration files, environment reads, migrations or attribute reads were found, so " +
-                "there was nothing to check."
-            : falseClean
-                ? `0 of the ${(files ?? []).length} named file(s) matched anything on the read side. Not ` +
-                    "checked, not clean."
-                : `${verdict}. ${report.surfaces.length} configuration file(s) declare ` +
-                    `${countDeclared(report.surfaces)} variable(s); ` +
-                    `${report.reads.required} variable(s) are read through an accessor that fails when unset; ` +
-                    `${rollback.data.examined.operations} destructive migration operation(s) examined; ` +
-                    `${attributeExistence.data.examined.readEdgesExamined} attribute read(s) checked against ` +
-                    `a declared type; ${migrationIntegrity.data.examined.modulesWithRevision} migration(s) ` +
-                    "checked for location and revision-chain integrity; " +
-                    `${ormRegistration.data.examined.candidates} ORM model(s) inheriting a declarative base ` +
-                    "checked for package-import reachability; " +
-                    `${observedRoutes.examined} observed HTTP response(s) checked against declared routes.`,
-    };
-}
-function countDeclared(surfaces) {
-    return surfaces.reduce((total, s) => total + s.declared, 0);
-}
-export const validateTool = {
-    name: "validate",
-    class: "read",
-    tier: "conclusion",
-    // 1.1.0 (C2, UAT phase 4): without "changedLines", NEW_READ_UNDECLARED for a
-    // pre-existing read in a "files"-scoped file is now a `lead`, worded without
-    // an authorship claim, where it used to be a `defect` calling it "a new read
-    // this change introduces" — a claim `files` alone never supported. A caller
-    // that passes "changedLines" gets the stronger `defect` back, now genuinely
-    // verified against an added line rather than assumed from file scope.
-    version: "1.1.0",
-    title: "Environment and configuration checks",
-    description: "Cross-check the environment variables the code requires against the ones this repository " +
-        "declares. Reports a variable only when the code reads it with no fallback and no " +
-        "configuration file declares it, and only when the repository's declaration surface is " +
-        "complete enough for that absence to mean something — a variable supplied by a secrets " +
-        "manager or a platform is disclosed with a count, never reported as missing. Pass \"files\" " +
-        "(the diff you are about to push) to also catch a variable your change reads that no " +
-        "declaration surface declares, regardless of whether the accessor fails on absence — the " +
-        "usual shape on a codebase where almost no read is required; without \"changedLines\" this is " +
-        "reported as a lead, because a file-scoped read cannot yet be told apart from one the diff never " +
-        "touched. Pass \"changedLines\" (from get_git_diff's patch text) to sharpen it to a defect, " +
-        "verified against a line the diff actually added. Also reports variables set in " +
-        "one configuration file and documented in no example file, stated as a lead rather than a " +
-        "defect. Two further checks, both always defects because both are provable from the graph " +
-        "alone: an attribute read on a value whose declared type does not name it (from a READS " +
-        "edge's attrs.unresolvedFields), and a migration whose location or declared parent revision " +
-        "disagrees with the rest of the project's migrations (from attrs.migrationRevision, " +
-        "migrationDownRevision and migrationDir). Both are silent wherever the producer supplied no " +
-        "signal — absence of the attrs key is never read as a clean result. A fifth check reports a " +
-        "class inheriting an ORM declarative base (a MODEL node with an INHERITS edge) whose own " +
-        "module no __init__.py in its package reaches, directly or transitively — the shape behind a " +
-        "model silently missing from Base.metadata and having its table dropped by the next " +
-        "autogenerate. Always a lead, never a defect: an explicit scan/glob registration or a " +
-        "deliberately excluded model triggers it without being a bug.",
-    inputSchema: SCHEMA,
-    run,
-};
-//# sourceMappingURL=validate.js.map

package/dist/tools/validate.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/tools/validate.ts"],"names":[],"mappings":"AAAA;;;;;;8FAM8F;AAE9F,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EACL,gBAAgB,EAChB,uBAAuB,EACvB,gBAAgB,EAChB,uBAAuB,EACvB,mBAAmB,EACnB,yBAAyB,EACzB,sBAAsB,EACtB,kBAAkB,EAClB,kBAAkB,EAClB,cAAc,GACf,MAAM,eAAe,CAAC;AAqBvB,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAEhE,OAAO,EAAE,4BAA4B,EAAE,MAAM,wCAAwC,CAAC;AACtF,OAAO,EACL,eAAe,EACf,mBAAmB,EACnB,cAAc,GAGf,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,8BAA8B,EAAE,MAAM,sBAAsB,CAAC;AAiHtE;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,uBAAuB,CAAC,IAAkB;IACxD,OAAO;QACL,GAAG,IAAI,CAAC,QAAQ;QAChB,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ;QACzB,GAAG,IAAI,CAAC,kBAAkB,CAAC,QAAQ;QACnC,GAAG,IAAI,CAAC,kBAAkB,CAAC,QAAQ;QACnC,GAAG,IAAI,CAAC,eAAe,CAAC,QAAQ;QAChC,GAAG,IAAI,CAAC,cAAc,CAAC,QAAQ;KAChC,CAAC;AACJ,CAAC;AAED,MAAM,MAAM,GAAG;IACb,IAAI,EAAE,QAAQ;IACd,UAAU,EAAE;QACV,KAAK,EAAE;YACL,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,WAAW,EACT,iFAAiF;gBACjF,yFAAyF;gBACzF,yFAAyF;gBACzF,yFAAyF;gBACzF,yEAAyE;SAC5E;QACD,aAAa,EAAE;YACb,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,CAAC;YACV,OAAO,EAAE,CAAC;YACV,WAAW,EACT,kFAAkF;gBAClF,qFAAqF;gBACrF,oEAAoE;SACvE;QACD,WAAW,EAAE;YACX,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,CAAC;YACV,WAAW,EAAE,2EAA2E;SACzF;QACD,YAAY,EAAE;YACZ,IAAI,EAAE,OAAO;YACb,KAAK,EAAE;gBACL,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE;oBACV,IAAI,EAAE;wBACJ,IAAI,EAAE,QAAQ;wBACd,WAAW,EAAE,wDAAwD;qBACtE;oBACD,MAAM,EAAE;wBACN,IAAI,EAAE,OAAO;wBACb,KAAK,EAAE;4BACL,IAAI,EAAE,QAAQ;4BACd,UAAU,EAAE;gCACV,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE;gCACtC,GAAG,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE;6BACrC;4BACD,QAAQ,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC;4BAC1B,oBAAoB,EAAE,KAAK;yBAC5B;wBACD,WAAW,EAAE,iEAAiE;qBAC/E;iBACF;gBACD,QAAQ,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC;gBAC5B,oBAAoB,EAAE,KAAK;aAC5B;YACD,WAAW,EACT,0FAA0F;gBAC1F,uFAAuF;gBACvF,6FAA6F;gBAC7F,8FAA8F;gBAC9F,8FAA8F;gBAC9F,+FAA+F;gBAC/F,6DAA6D;SAChE;KACF;IACD,oBAAoB,EAAE,KAAK;CACnB,CAAC;AAEX;;;mBAGmB;AACnB,SAAS,iBAAiB,CACxB,IAA6B;IAE7B,MAAM,GAAG,GAAG,IAAI,CAAC,cAAc,CAAC,CAAC;IACjC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,cAAc,CAAC,sDAAsD,CAAC,CAAC;IACnF,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAuE,CAAC;IAC3F,KAAK,MAAM,KAAK,IAAI,GAAG,EAAE,CAAC;QACxB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YAChD,MAAM,IAAI,cAAc,CAAC,uEAAuE,CAAC,CAAC;QACpG,CAAC;QACD,MAAM,GAAG,GAAG,KAAgC,CAAC;QAC7C,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACzB,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC7B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YACtE,MAAM,IAAI,cAAc,CAAC,0EAA0E,CAAC,CAAC;QACvG,CAAC;QACD,MAAM,YAAY,GAAuD,EAAE,CAAC;QAC5E,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,CAAC,GAAG,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAE,KAAiC,CAAC,CAAC,CAAC,IAAI,CAAC;YAClG,MAAM,KAAK,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;YAC3B,MAAM,GAAG,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YACvB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;gBACzD,MAAM,IAAI,cAAc,CAAC,6BAA6B,IAAI,2CAA2C,CAAC,CAAC;YACzG,CAAC;YACD,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QACpC,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AASD;;;;;;;GAOG;AACH,SAAS,kBAAkB,CAAC,QAAgB,EAAE,QAA2B;IACvE,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,EAAE,8BAA8B,CAAC,CAAC;IACpE,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAC9B,OAAO;YACL,QAAQ,EAAE,EAAE;YACZ,QAAQ,EAAE,CAAC;YACX,GAAG,EAAE,KAAK;YACV,IAAI,EACF,sCAAsC,YAAY,yCAAyC;gBAC3F,8CAA8C;SACjD,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,aAAa,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;IACxD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG;YACb,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,iBAAiB,EAAE,CAAC;YACnE,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,kBAAkB,EAAE,CAAC;YACpE,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC;SAC/D,CAAC;QACF,MAAM,QAAQ,GAAG,4BAA4B,CAAC,MAAM,CAAC,CAAC;QACtD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,OAAO;gBACL,QAAQ,EAAE,EAAE;gBACZ,QAAQ,EAAE,CAAC;gBACX,GAAG,EAAE,KAAK;gBACV,IAAI,EACF,wFAAwF;oBACxF,4DAA4D;aAC/D,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,mBAAmB,CAAC,QAAQ,EAAE,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC3E,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACzF,CAAC;YAAS,CAAC;QACT,KAAK,CAAC,KAAK,EAAE,CAAC;IAChB,CAAC;AACH,CAAC;AAED,KAAK,UAAU,GAAG,CAAC,IAA6B,EAAE,GAAgB;IAChE,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,MAAM,WAAW,GAAG,eAAe,CAAC,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC;IAC5D,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC;IACvC,MAAM,aAAa,GACjB,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,IAAI,CAAC,IAAI,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;IACxF,MAAM,YAAY,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAE7C,GAAG,CAAC,QAAQ,CAAC,6BAA6B,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAEtD,GAAG,CAAC,QAAQ,CAAC,uDAAuD,CAAC,CAAC;IACtE,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;IACxC,MAAM,OAAO,GAAG,gBAAgB,CAAC,QAAQ,EAAE,IAAI,EAAE;QAC/C,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;QACzC,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;QACrD,GAAG,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC;QACzD,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC;KACxD,CAAC,CAAC;IAEH,GAAG,CAAC,QAAQ,CAAC,qDAAqD,CAAC,CAAC;IACpE,MAAM,WAAW,GAAG,gBAAgB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAErD,GAAG,CAAC,QAAQ,CAAC,+CAA+C,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAG,sBAAsB,CAAC,QAAQ,EAAE,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE;QACtF,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;QACzC,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;KACtD,CAAC,CAAC;IAEH,GAAG,CAAC,QAAQ,CAAC,iDAAiD,CAAC,CAAC;IAChE,MAAM,kBAAkB,GAAG,uBAAuB,CAAC,QAAQ,EAAE;QAC3D,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;QACzC,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;KACtD,CAAC,CAAC;IAEH,GAAG,CAAC,QAAQ,CAAC,gDAAgD,CAAC,CAAC;IAC/D,MAAM,kBAAkB,GAAG,uBAAuB,CAAC,QAAQ,EAAE;QAC3D,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;QACzC,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;KACtD,CAAC,CAAC;IAEH,GAAG,CAAC,QAAQ,CAAC,6DAA6D,CAAC,CAAC;IAC5E,MAAM,eAAe,GAAG,yBAAyB,CAAC,QAAQ,EAAE;QAC1D,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;QACzC,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;KACtD,CAAC,CAAC;IAEH,GAAG,CAAC,QAAQ,CAAC,0DAA0D,CAAC,CAAC;IACzE,MAAM,cAAc,GAAG,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAE1E,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAC5B,MAAM,OAAO,GACX,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,MAAM;QAC1D,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM;QACvC,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;IAC1C,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAC;IAElG,gFAAgF;IAChF,gFAAgF;IAChF,MAAM,cAAc,GAClB,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QAC5B,CAAC,MAAM,CAAC,cAAc;QACtB,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG;QAClB,CAAC,kBAAkB,CAAC,IAAI,CAAC,GAAG;QAC5B,CAAC,kBAAkB,CAAC,IAAI,CAAC,GAAG;QAC5B,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG;QACzB,CAAC,cAAc,CAAC,GAAG,CAAC;IAEtB,kFAAkF;IAClF,6EAA6E;IAC7E,sCAAsC;IACtC,MAAM,mBAAmB,GACvB,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,CAAC,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,iBAAiB,KAAK,CAAC,CAAC;IAE5F,kFAAkF;IAClF,4EAA4E;IAC5E,MAAM,aAAa,GACjB,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC;IAChH,kFAAkF;IAClF,kFAAkF;IAClF,iCAAiC;IACjC,MAAM,UAAU,GAAG,mBAAmB,IAAI,OAAO,KAAK,CAAC,IAAI,aAAa,KAAK,CAAC,CAAC;IAC/E,MAAM,OAAO,GAAG,UAAU;QACxB,CAAC,CAAC,aAAa;QACf,CAAC,CAAC,OAAO,GAAG,CAAC;YACX,CAAC,CAAC,GAAG,OAAO,kBAAkB;YAC9B,CAAC,CAAC,aAAa,GAAG,CAAC;gBACjB,CAAC,CAAC,eAAe,aAAa,wCAAwC;gBACtE,CAAC,CAAC,OAAO,CAAC;IAEhB,MAAM,UAAU,GAAa,mBAAmB;QAC9C,CAAC,CAAC;YACE,YAAY,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,4DAA4D;gBAC1F,wFAAwF;gBACxF,yFAAyF;gBACzF,iBAAiB;SACpB;QACH,CAAC,CAAC,EAAE,CAAC;IAEP,kFAAkF;IAClF,2EAA2E;IAC3E,2EAA2E;IAC3E,6EAA6E;IAC7E,wDAAwD;IACxD,MAAM,KAAK,GACT,MAAM,CAAC,QAAQ,CAAC,MAAM;QACtB,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM;QAC7B,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM;QACvC,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM;QACvC,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM;QACpC,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC;IACjC,MAAM,KAAK,GACT,MAAM,CAAC,aAAa;QACpB,QAAQ,CAAC,IAAI,CAAC,aAAa;QAC3B,kBAAkB,CAAC,IAAI,CAAC,aAAa;QACrC,kBAAkB,CAAC,IAAI,CAAC,aAAa;QACrC,eAAe,CAAC,IAAI,CAAC,aAAa;QAClC,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC;IACjC,MAAM,SAAS,GACb,OAAO,CAAC,SAAS;QACjB,QAAQ,CAAC,SAAS;QAClB,kBAAkB,CAAC,SAAS;QAC5B,kBAAkB,CAAC,SAAS;QAC5B,eAAe,CAAC,SAAS;QACzB,WAAW,CAAC,SAAS,CAAC;IACxB,MAAM,eAAe,GAAiC,SAAS;QAC7D,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE;QACtD,CAAC,CAAC,SAAS,CAAC;IAEd,OAAO;QACL,MAAM,EAAE;YACN,GAAG,OAAO;YACV,IAAI,EAAE;gBACJ,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBACpC,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,KAAK,EAAE,CAAC,CAAC,KAAK;oBACd,MAAM,EAAE,CAAC,CAAC,MAAM;oBAChB,QAAQ,EAAE,CAAC,CAAC,QAAQ;oBACpB,UAAU,EAAE,CAAC,CAAC,UAAU;iBACzB,CAAC,CAAC;gBACH,aAAa,EAAE,MAAM,CAAC,aAAa;gBACnC,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;gBAC3C,cAAc,EAAE,MAAM,CAAC,cAAc;gBACrC,wEAAwE;gBACxE,4EAA4E;gBAC5E,WAAW,EAAE;oBACX,MAAM,EAAE,WAAW,CAAC,IAAI,CAAC,MAAM;oBAC/B,gBAAgB,EAAE,WAAW,CAAC,IAAI,CAAC,gBAAgB;oBACnD,cAAc,EAAE,WAAW,CAAC,IAAI,CAAC,SAAS;yBACvC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,IAAI,IAAI,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC;yBACxD,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;yBACZ,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;wBACX,IAAI,EAAE,CAAC,CAAC,IAAI;wBACZ,UAAU,EAAE,CAAC,CAAC,UAAU;wBACxB,SAAS,EAAE,CAAC,CAAC,mBAAmB;wBAChC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;wBAC5B,MAAM,EAAE,CAAC,CAAC,eAAe;qBAC1B,CAAC,CAAC;iBACN;gBACD,QAAQ,EAAE;oBACR,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,QAAQ;oBAChC,aAAa,EAAE,QAAQ,CAAC,IAAI,CAAC,aAAa;oBAC1C,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,QAAQ;oBAChC,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,QAAQ;oBAChC,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,GAAG;oBACtB,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,QAAQ;iBACjC;gBACD,kBAAkB,EAAE;oBAClB,QAAQ,EAAE,kBAAkB,CAAC,IAAI,CAAC,QAAQ;oBAC1C,aAAa,EAAE,kBAAkB,CAAC,IAAI,CAAC,aAAa;oBACpD,QAAQ,EAAE,kBAAkB,CAAC,IAAI,CAAC,QAAQ;oBAC1C,GAAG,EAAE,kBAAkB,CAAC,IAAI,CAAC,GAAG;iBACjC;gBACD,kBAAkB,EAAE;oBAClB,QAAQ,EAAE,kBAAkB,CAAC,IAAI,CAAC,QAAQ;oBAC1C,aAAa,EAAE,kBAAkB,CAAC,IAAI,CAAC,aAAa;oBACpD,QAAQ,EAAE,kBAAkB,CAAC,IAAI,CAAC,QAAQ;oBAC1C,mBAAmB,EAAE,kBAAkB,CAAC,IAAI,CAAC,mBAAmB;oBAChE,GAAG,EAAE,kBAAkB,CAAC,IAAI,CAAC,GAAG;oBAChC,QAAQ,EAAE,kBAAkB,CAAC,IAAI,CAAC,QAAQ;iBAC3C;gBACD,eAAe,EAAE;oBACf,QAAQ,EAAE,eAAe,CAAC,IAAI,CAAC,QAAQ;oBACvC,aAAa,EAAE,eAAe,CAAC,IAAI,CAAC,aAAa;oBACjD,QAAQ,EAAE,eAAe,CAAC,IAAI,CAAC,QAAQ;oBACvC,GAAG,EAAE,eAAe,CAAC,IAAI,CAAC,GAAG;oBAC7B,QAAQ,EAAE,eAAe,CAAC,IAAI,CAAC,QAAQ;iBACxC;gBACD,cAAc,EAAE;oBACd,QAAQ,EAAE,cAAc,CAAC,QAAQ;oBACjC,aAAa,EAAE,cAAc,CAAC,QAAQ,CAAC,MAAM;oBAC7C,QAAQ,EAAE,cAAc,CAAC,QAAQ;oBACjC,GAAG,EAAE,cAAc,CAAC,GAAG;iBACxB;aACF;YACD,0EAA0E;YAC1E,+CAA+C;YAC/C,KAAK,EAAE;gBACL,GAAG,UAAU;gBACb,GAAG,CAAC,cAAc,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;gBAC9D,GAAG,OAAO,CAAC,KAAK;gBAChB,GAAG,QAAQ,CAAC,KAAK;gBACjB,GAAG,kBAAkB,CAAC,KAAK;gBAC3B,GAAG,kBAAkB,CAAC,KAAK;gBAC3B,GAAG,eAAe,CAAC,KAAK;gBACxB,GAAG,WAAW,CAAC,KAAK;aACrB;YACD,SAAS;YACT,KAAK,EAAE;gBACL,GAAG,OAAO,CAAC,KAAK;gBAChB,eAAe,EAAE,IAAI,CAAC,GAAG,CACvB,OAAO,CAAC,KAAK,CAAC,eAAe,EAC7B,QAAQ,CAAC,KAAK,CAAC,eAAe,EAC9B,kBAAkB,CAAC,KAAK,CAAC,eAAe,EACxC,kBAAkB,CAAC,KAAK,CAAC,eAAe,EACxC,eAAe,CAAC,KAAK,CAAC,eAAe,EACrC,WAAW,CAAC,KAAK,CAAC,eAAe,CACM;aAC1C;SACF;QACD,iFAAiF;QACjF,kDAAkD;QAClD,SAAS,EAAE,IAAI;QACf,GAAG,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC;QAC7D,GAAG,CAAC,cAAc;YAChB,CAAC,CAAC,EAAE,KAAK,EAAE,SAAkB,EAAE;YAC/B,CAAC,CAAC,UAAU;gBACV,CAAC,CAAC,EAAE,KAAK,EAAE,OAAgB,EAAE;gBAC7B,CAAC,CAAC,EAAE,CAAC;QACT,QAAQ,EAAE,cAAc;YACtB,CAAC,CAAC,0FAA0F;gBAC1F,6BAA6B;YAC/B,CAAC,CAAC,UAAU;gBACV,CAAC,CAAC,YAAY,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,wDAAwD;oBACxF,qBAAqB;gBACvB,CAAC,CAAC,GAAG,OAAO,KAAK,MAAM,CAAC,QAAQ,CAAC,MAAM,iCAAiC;oBACtE,GAAG,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC,gBAAgB;oBACjD,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,mEAAmE;oBAC3F,GAAG,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,gDAAgD;oBACpF,GAAG,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,iBAAiB,qCAAqC;oBAC1F,oBAAoB,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,mBAAmB,gBAAgB;oBACxF,qDAAqD;oBACrD,GAAG,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,8CAA8C;oBACzF,2CAA2C;oBAC3C,GAAG,cAAc,CAAC,QAAQ,6DAA6D;KAC9F,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,QAAkD;IACvE,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;AAC9D,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAmB;IAC1C,IAAI,EAAE,UAAU;IAChB,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,YAAY;IAClB,6EAA6E;IAC7E,6EAA6E;IAC7E,6EAA6E;IAC7E,4EAA4E;IAC5E,4EAA4E;IAC5E,sEAAsE;IACtE,OAAO,EAAE,OAAO;IAChB,KAAK,EAAE,sCAAsC;IAC7C,WAAW,EACT,2FAA2F;QAC3F,mFAAmF;QACnF,wFAAwF;QACxF,wFAAwF;QACxF,6FAA6F;QAC7F,sFAAsF;QACtF,0FAA0F;QAC1F,+FAA+F;QAC/F,kGAAkG;QAClG,6FAA6F;QAC7F,iFAAiF;QACjF,2FAA2F;QAC3F,2FAA2F;QAC3F,yFAAyF;QACzF,6FAA6F;QAC7F,qFAAqF;QACrF,6FAA6F;QAC7F,6FAA6F;QAC7F,0FAA0F;QAC1F,8FAA8F;QAC9F,qFAAqF;QACrF,uFAAuF;QACvF,8DAA8D;IAChE,WAAW,EAAE,MAA4C;IACzD,GAAG;CACJ,CAAC"}

package/dist/tools/verb.d.ts

@@ -1,46 +0,0 @@
-/**
- * Per-verb argument validation for a merged tool.
- *
- * ## Why a merged tool needs this at all
- *
- * The dispatch loop refuses any argument no schema declares
- * (`server.ts`'s `unknownArgumentKeys`, built for UAT phase 5's F12 after
- * `browser_start_session({ profile })` silently read `environment` and issued
- * the wrong consent sentence). That check reads one flat `inputSchema`.
- *
- * A merged tool has one schema for many verbs, so its schema must declare the
- * *union* of every verb's properties. `text` is then a declared property of the
- * `browser` tool as a whole, and `browser({ verb: "snapshot", text: "hi" })`
- * sails through the dispatch gate — the same silent-acceptance defect, one
- * level further down, and invisible to the test that caught it the first time.
- *
- * So the strength the flat schema loses is re-established here, per verb. This
- * is the price of merging, paid explicitly rather than absorbed.
- *
- * ## Why it names the other verb
- *
- * "unknown argument" is true but useless when the argument is real and the verb
- * is wrong — the caller who sent `text` to `snapshot` did not misspell
- * anything, they picked the wrong verb. Saying *`"text"` belongs to `type`*
- * turns a refusal the caller must debug into one they can act on, which is the
- * same reason `ToolInputError` exists separately from a thrown `Error`.
- */
-export interface VerbSpec<V extends string = string> {
-    readonly verb: V;
-    /** Properties this verb accepts, beyond the shared ones. */
-    readonly accepts: readonly string[];
-}
-/**
- * Resolve and validate the verb of a merged tool call.
- *
- * Refuses, rather than defaulting or ignoring, on: a missing verb, an unknown
- * verb, and any property that belongs to a different verb. Returns the verb so
- * the caller can switch on a value already known to be valid.
- *
- * `shared` are properties every verb accepts — a session id, a budget. A
- * property in neither `shared` nor any verb's `accepts` is not this function's
- * to judge: the dispatch gate already refused it against the declared schema,
- * and re-refusing it here would put the tool's property list in two places.
- */
-export declare function selectVerb<V extends string>(args: Record<string, unknown>, key: string, specs: readonly VerbSpec<V>[], shared?: readonly string[]): V;
-//# sourceMappingURL=verb.d.ts.map

package/dist/tools/verb.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"verb.d.ts","sourceRoot":"","sources":["../../src/tools/verb.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAIH,MAAM,WAAW,QAAQ,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM;IACjD,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACjB,4DAA4D;IAC5D,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,UAAU,CAAC,CAAC,SAAS,MAAM,EACzC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,GAAG,EAAE,MAAM,EACX,KAAK,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EAAE,EAC7B,MAAM,GAAE,SAAS,MAAM,EAAO,GAC7B,CAAC,CAwCH"}

package/dist/tools/verb.js

@@ -1,78 +0,0 @@
-/**
- * Per-verb argument validation for a merged tool.
- *
- * ## Why a merged tool needs this at all
- *
- * The dispatch loop refuses any argument no schema declares
- * (`server.ts`'s `unknownArgumentKeys`, built for UAT phase 5's F12 after
- * `browser_start_session({ profile })` silently read `environment` and issued
- * the wrong consent sentence). That check reads one flat `inputSchema`.
- *
- * A merged tool has one schema for many verbs, so its schema must declare the
- * *union* of every verb's properties. `text` is then a declared property of the
- * `browser` tool as a whole, and `browser({ verb: "snapshot", text: "hi" })`
- * sails through the dispatch gate — the same silent-acceptance defect, one
- * level further down, and invisible to the test that caught it the first time.
- *
- * So the strength the flat schema loses is re-established here, per verb. This
- * is the price of merging, paid explicitly rather than absorbed.
- *
- * ## Why it names the other verb
- *
- * "unknown argument" is true but useless when the argument is real and the verb
- * is wrong — the caller who sent `text` to `snapshot` did not misspell
- * anything, they picked the wrong verb. Saying *`"text"` belongs to `type`*
- * turns a refusal the caller must debug into one they can act on, which is the
- * same reason `ToolInputError` exists separately from a thrown `Error`.
- */
-import { ToolInputError } from "./kit.js";
-/**
- * Resolve and validate the verb of a merged tool call.
- *
- * Refuses, rather than defaulting or ignoring, on: a missing verb, an unknown
- * verb, and any property that belongs to a different verb. Returns the verb so
- * the caller can switch on a value already known to be valid.
- *
- * `shared` are properties every verb accepts — a session id, a budget. A
- * property in neither `shared` nor any verb's `accepts` is not this function's
- * to judge: the dispatch gate already refused it against the declared schema,
- * and re-refusing it here would put the tool's property list in two places.
- */
-export function selectVerb(args, key, specs, shared = []) {
-    const raw = args[key];
-    if (raw === undefined || raw === null || raw === "") {
-        throw new ToolInputError(`"${key}" is required — one of: ${specs.map((s) => s.verb).join(", ")}`);
-    }
-    if (typeof raw !== "string")
-        throw new ToolInputError(`"${key}" must be a string`);
-    const spec = specs.find((s) => s.verb === raw);
-    if (spec === undefined) {
-        throw new ToolInputError(`"${key}" must be one of: ${specs.map((s) => s.verb).join(", ")}`);
-    }
-    // Where each property that is not this verb's does belong. Built per call
-    // rather than hoisted: the specs are a handful of entries, and a module-level
-    // cache keyed on a caller-supplied array is a lifetime question this does not
-    // need to have.
-    const ownerOf = new Map();
-    for (const other of specs) {
-        if (other.verb === spec.verb)
-            continue;
-        for (const property of other.accepts) {
-            if (spec.accepts.includes(property))
-                continue;
-            // First owner wins only for the message; the refusal is the same either
-            // way, and listing every owner of a property shared by two other verbs
-            // would bury the one fact the caller needs.
-            if (!ownerOf.has(property))
-                ownerOf.set(property, other.verb);
-        }
-    }
-    const strays = Object.keys(args).filter((property) => property !== key && !shared.includes(property) && ownerOf.has(property));
-    if (strays.length > 0) {
-        const detail = strays.map((property) => `"${property}" belongs to ${ownerOf.get(property)}`).join("; ");
-        throw new ToolInputError(`${spec.verb} does not accept ${strays.map((p) => `"${p}"`).join(", ")} — ${detail}. ` +
-            `${spec.verb} accepts: ${[...shared, ...spec.accepts].join(", ") || "no arguments beyond the verb"}.`);
-    }
-    return spec.verb;
-}
-//# sourceMappingURL=verb.js.map

package/dist/tools/verb.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"verb.js","sourceRoot":"","sources":["../../src/tools/verb.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAQ1C;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,UAAU,CACxB,IAA6B,EAC7B,GAAW,EACX,KAA6B,EAC7B,SAA4B,EAAE;IAE9B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACtB,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,EAAE,EAAE,CAAC;QACpD,MAAM,IAAI,cAAc,CAAC,IAAI,GAAG,2BAA2B,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpG,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,MAAM,IAAI,cAAc,CAAC,IAAI,GAAG,oBAAoB,CAAC,CAAC;IAEnF,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;IAC/C,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,cAAc,CAAC,IAAI,GAAG,qBAAqB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC9F,CAAC;IAED,0EAA0E;IAC1E,8EAA8E;IAC9E,8EAA8E;IAC9E,gBAAgB;IAChB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;QAC1B,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;YAAE,SAAS;QACvC,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YACrC,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC;gBAAE,SAAS;YAC9C,wEAAwE;YACxE,uEAAuE;YACvE,4CAA4C;YAC5C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CACrC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CACtF,CAAC;IACF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,QAAQ,gBAAgB,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxG,MAAM,IAAI,cAAc,CACtB,GAAG,IAAI,CAAC,IAAI,oBAAoB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,MAAM,IAAI;YACpF,GAAG,IAAI,CAAC,IAAI,aAAa,CAAC,GAAG,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,8BAA8B,GAAG,CACxG,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC,IAAI,CAAC;AACnB,CAAC"}

package/dist/tools/verification-status.d.ts

@@ -1,38 +0,0 @@
-/** `verification_status`, §4 technique 6: coverage is a separate axis and call, paid once, only
- *  when asked. Wraps `computeVerificationStatus` (the static half). Never names a language (rule
- *  1) — an earlier extension-guessing design tripped the boundary lint, so it now asks each
- *  loaded adapter's `ownsPath` instead. Resolves a ref by node id first, then file (the file's own
- *  informative `FILE` node when one carries real resolution, else the weakest-resolution member
- *  among whatever real (non-stub) evidence exists for that file — a `git-history`-produced FILE
- *  node at resolution 0 is a per-touched-file identity marker, not analysis, and must never win by
- *  merely being present; see `representativeForFile`) — neither way found means `notExercised`. */
-import type { ResolutionLevel } from "@descryy/ir";
-import { type ToolDefinition } from "./kit.ts";
-export interface VerificationStatusExercisedItem {
-    readonly ref: string;
-    readonly resolution: ResolutionLevel;
-}
-export interface VerificationStatusData {
-    readonly checked: readonly string[];
-    readonly exercised: readonly VerificationStatusExercisedItem[];
-    readonly notExercised: readonly {
-        readonly scope: string;
-        readonly reason: string;
-    }[];
-    /** The runtime half: refs a real test run bore on and how those tests finished. Empty means
-     *  either "nothing covers this" or "no suite run yet" — the notes disambiguate. */
-    readonly verifiedByTests: readonly VerificationStatusTestedItem[];
-}
-export interface VerificationStatusTestedItem {
-    readonly ref: string;
-    /** `false` when reached via a static `TESTS` edge, not observed directly — the run witnessed the
-     *  test execute, not that it touched this ref. Carried per item, not just in a disclosure. */
-    readonly direct: boolean;
-    readonly tests: readonly {
-        readonly qualifiedName: string;
-        readonly outcome: string;
-        readonly runId: string;
-    }[];
-}
-export declare const verificationStatusTool: ToolDefinition;
-//# sourceMappingURL=verification-status.d.ts.map

package/dist/tools/verification-status.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"verification-status.d.ts","sourceRoot":"","sources":["../../src/tools/verification-status.ts"],"names":[],"mappings":"AAAA;;;;;;;mGAOmG;AAUnG,OAAO,KAAK,EAA4B,eAAe,EAAE,MAAM,aAAa,CAAC;AAE7E,OAAO,EAKL,KAAK,cAAc,EACpB,MAAM,UAAU,CAAC;AAqBlB,MAAM,WAAW,+BAA+B;IAC9C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;CACtC;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,SAAS,EAAE,SAAS,+BAA+B,EAAE,CAAC;IAC/D,QAAQ,CAAC,YAAY,EAAE,SAAS;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACtF;uFACmF;IACnF,QAAQ,CAAC,eAAe,EAAE,SAAS,4BAA4B,EAAE,CAAC;CACnE;AAED,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB;kGAC8F;IAC9F,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,SAAS;QACvB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;QAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;KACxB,EAAE,CAAC;CACL;AAyLD,eAAO,MAAM,sBAAsB,EAAE,cAkBpC,CAAC"}