@descryy/mcp 0.11.4 → 0.11.5

package/dist/tools/observe.js

@@ -1,330 +0,0 @@
-/**
- * `observe` — merges `observe_runtime` and `observe_tests` into one action-class tool
- * (documents/plans/mcp-surface-consolidation.md, group 1). Dispatches on "verb" to the exact
- * `run`/`describeAction` bodies each absorbed tool already had (see observe-runtime.ts,
- * observe-tests.ts) — extracted, not reimplemented, so behaviour is unchanged per verb.
- *
- * The schema below restates both tools' arguments under one flat, `additionalProperties: false`
- * shape — required by the merge itself, since a merged tool has one schema for two verbs. It is
- * also deliberately far shorter than `observe_runtime`'s own prose (that tool alone was 10,646
- * schema bytes, 14% of the whole registry). Nothing here drops an argument, an enum value, a
- * default, or a conditional-requirement rule — only the narrative explaining each one. The real
- * behaviour (every disclosure, every refusal) still lives in the reused `run`/`describeAction`
- * bodies, untouched by this trim.
- */
-import { SAFETY_LEVELS, PROFILE_MODES } from "@descryy/runtime-environment-profile";
-import { selectVerb } from "./verb.js";
-import { run as runRuntime, describeAction as describeRuntimeAction, DEFAULT_EVIDENCE_RELATIVE_PATH, } from "./observe-runtime.js";
-import { run as runTests, describeAction as describeTestsAction } from "./observe-tests.js";
-/** Mirrors observe-runtime.ts's own module-local `READINESS_KINDS` — kept as a literal here
- *  rather than imported so this schema module has no other reason to reach into that file's
- *  internals beyond the two functions it reuses. */
-const READINESS_KINDS = ["http", "tcp-port", "command"];
-const VERB_SPECS = [
-    {
-        verb: "runtime",
-        accepts: [
-            "profile",
-            "services",
-            "adapter",
-            "scopeByService",
-            "observeForMs",
-            "environmentTier",
-            "fidelityLevel",
-            "evidencePath",
-            "resourceLimits",
-            "filesystemPolicy",
-            "networkPolicy",
-            "sandboxBackend",
-            "journey",
-            "database",
-        ],
-    },
-    { verb: "tests", accepts: ["command", "cwd"] },
-];
-/** `timeoutMs` means a different thing per verb (whole-execution budget vs. suite timeout) but
- *  is the same key in both schemas — shared so neither verb refuses the other's caller for
- *  sending it. `confirmToken` is the handshake's own field, not either tool's. */
-const SHARED_PROPS = ["confirmToken", "timeoutMs"];
-const SCHEMA = {
-    type: "object",
-    properties: {
-        verb: {
-            type: "string",
-            enum: ["runtime", "tests"],
-            description: 'Which observation to run. "runtime": boot or attach to services and record what they ' +
-                'witness. "tests": run the test suite and record which tests executed.',
-        },
-        // --- runtime only ---
-        profile: {
-            type: "object",
-            description: "runtime only, REQUIRED. Target environment. Every field is explicit, never inferred from " +
-                'another — a profile named "staging" with safetyLevel "readOnly" is read-only, and so is ' +
-                'one named "local".',
-            properties: {
-                name: { type: "string", description: "Free-form. Matched against no vocabulary." },
-                url: { type: "string", description: "The target's base URL. Must parse." },
-                safetyLevel: {
-                    type: "string",
-                    enum: [...SAFETY_LEVELS],
-                    description: 'Booting a service is a write; "readOnly" refuses a run that spawns anything. An ' +
-                        'all-"attach" run spawns nothing and is permitted under "readOnly".',
-                },
-                credentialRef: { type: "string", description: "An opaque key into a credential store — never the secret." },
-                mode: { type: "string", enum: [...PROFILE_MODES] },
-            },
-            required: ["name", "url", "safetyLevel", "credentialRef", "mode"],
-            additionalProperties: false,
-        },
-        services: {
-            type: "object",
-            description: "runtime only, REQUIRED. One entry per service, keyed by name. At least one required; each " +
-                'needs exactly one of "command" or "attach".',
-            additionalProperties: {
-                type: "object",
-                properties: {
-                    command: { type: "string", description: 'How to start it. Omit when using "attach".' },
-                    cwd: {
-                        type: "string",
-                        description: 'Directory the service starts in, relative to the repo root. Required with "command"; ' +
-                            'required with "attach" only when readiness is a "command" check.',
-                    },
-                    port: {
-                        type: "integer",
-                        description: 'Readiness port. With "attach": REQUIRED when readiness is "http"/"tcp-port" — an ' +
-                            'attached target\'s port cannot be inferred. With "command": omit for an ephemeral ' +
-                            "port passed as PORT; set only if your command hardcodes one, and it must match.",
-                    },
-                    dependsOn: {
-                        type: "array",
-                        items: { type: "string" },
-                        description: "Service names that must be ready first.",
-                    },
-                    env: { type: "object", additionalProperties: { type: "string" } },
-                    attach: {
-                        type: "object",
-                        description: "Observe an already-running process instead of spawning one. Never executed, signalled, or limited.",
-                        properties: {
-                            pid: { type: "integer" },
-                            logFilePath: { type: "string", description: "A file the target already writes its stdout/stderr to." },
-                        },
-                        required: ["pid", "logFilePath"],
-                        additionalProperties: false,
-                    },
-                    readiness: {
-                        type: "object",
-                        description: "Required per service. Only http/tcp-port/command are expressible here — log-pattern " +
-                            "and custom-hook need a function and are unreachable through this tool.",
-                        properties: {
-                            kind: { type: "string", enum: [...READINESS_KINDS] },
-                            path: { type: "string", description: 'kind "http": appended to http://127.0.0.1:<port>. Defaults to "/".' },
-                            expectedStatus: { type: "integer", description: 'kind "http": defaults to any 2xx/3xx.' },
-                            host: { type: "string", description: 'kind "tcp-port": defaults to 127.0.0.1.' },
-                            command: { type: "string", description: 'kind "command": the executable to run.' },
-                            args: { type: "array", items: { type: "string" }, description: 'kind "command".' },
-                            timeoutMs: { type: "integer", description: "Defaults to 30000." },
-                        },
-                        required: ["kind"],
-                        additionalProperties: false,
-                    },
-                },
-                required: ["readiness"],
-                additionalProperties: false,
-            },
-        },
-        adapter: {
-            type: "object",
-            description: "runtime only, REQUIRED. Runtime adapter to observe with, as a module specifier imported at " +
-                "call time. This server bundles none of descry-runtime's language adapters by design — " +
-                "install one alongside it and name it here.",
-            properties: {
-                module: { type: "string" },
-                export: { type: "string", description: "Defaults to the sole create*RuntimeAdapter export; name one if there are two." },
-                options: { type: "object", description: "Passed to the factory. Adapter-specific and opaque here." },
-            },
-            required: ["module"],
-            additionalProperties: false,
-        },
-        scopeByService: {
-            type: "object",
-            description: "runtime only. Service name → which repository its symbols resolve in. An unlisted service " +
-                "is left unresolved rather than guessed. Defaults to this session's own repo for every service.",
-            additionalProperties: {
-                type: "object",
-                properties: {
-                    repo: { type: "string" },
-                    repoRoot: { type: "string", description: "Absolute on-disk root, for translating observed absolute paths." },
-                    cwd: { type: "string" },
-                },
-                required: ["repo"],
-                additionalProperties: false,
-            },
-        },
-        observeForMs: {
-            type: "integer",
-            description: 'runtime only. How long to drain collector output after services are ready. Defaults to ' +
-                '5000. There is no "done" signal at this layer, so you state the window.',
-        },
-        timeoutMs: {
-            type: "integer",
-            description: 'Timeout budget, in ms. verb "runtime": whole-execution budget, default 60000. verb ' +
-                '"tests": how long to let the suite run, default 600000.',
-        },
-        environmentTier: {
-            type: "string",
-            enum: ["tier-0-ci-attached", "tier-1-preview", "tier-2-container", "tier-2b-api-only", "tier-3-static-only"],
-            description: 'runtime only. Recorded on the execution. Defaults to "tier-2-container"; never derived ' +
-                "from profile.mode — declared fields are never inferred from a neighbour.",
-        },
-        fidelityLevel: {
-            type: "integer",
-            enum: [1, 2, 3, 4],
-            description: "runtime only. 1 rule-aware stub · 2 real code + disposable DB · 3 real code + redacted " +
-                "recordings · 4 real staging. Defaults to 2.",
-        },
-        evidencePath: {
-            type: "string",
-            description: `runtime only. Where the evidence database lives. Defaults to ${DEFAULT_EVIDENCE_RELATIVE_PATH} under the repo root.`,
-        },
-        resourceLimits: {
-            type: "object",
-            description: "runtime only. OS-enforced caps on a spawned service (prlimit); never applied to an " +
-                "attached one. Absent means unconstrained, which every reply discloses.",
-            properties: {
-                maxMemoryBytes: { type: "integer", description: "Virtual address space cap (prlimit --as)." },
-                maxCpuSeconds: { type: "integer", description: "CPU time cap, in seconds (prlimit --cpu)." },
-                maxProcesses: { type: "integer", description: "Process count cap, per real uid (prlimit --nproc)." },
-            },
-            additionalProperties: false,
-        },
-        filesystemPolicy: {
-            type: "object",
-            description: "runtime only. Confines a spawned service's filesystem to its own cwd plus these roots — " +
-                "real on Linux (a bwrap mount namespace); refuses the run rather than silently going " +
-                "unenforced elsewhere. Absent means unconstrained.",
-            properties: {
-                allowedRoots: {
-                    type: "array",
-                    items: { type: "string" },
-                    description: "Absolute paths visible read-write in addition to the service's own cwd.",
-                },
-            },
-            required: ["allowedRoots"],
-            additionalProperties: false,
-        },
-        networkPolicy: {
-            type: "object",
-            description: 'runtime only. Only { mode: "allow", hosts: [] } (full denial) is actually enforced today ' +
-                "— any other shape refuses the run rather than starting unconstrained. Absent means unconstrained.",
-            properties: {
-                mode: { type: "string", enum: ["allow", "deny"] },
-                hosts: { type: "array", items: { type: "string" } },
-            },
-            required: ["mode", "hosts"],
-            additionalProperties: false,
-        },
-        sandboxBackend: {
-            type: "string",
-            enum: ["bwrap", "container"],
-            description: 'runtime only. Mechanism enforcing filesystemPolicy/networkPolicy. Defaults to "bwrap" ' +
-                '(Linux). "container" is the only option on macOS/Windows and does not compose with resourceLimits.',
-        },
-        journey: {
-            type: "object",
-            description: "runtime only. Drive a real browser inside this run's readiness window, so browser and backend " +
-                'evidence share one executionId. Omit for backend-only. Declare exactly one of "scenario" or ' +
-                '"startUrl"; no journey is invented.',
-            properties: {
-                service: { type: "string", description: "Which declared service the browser evidence is attributed to. Optional." },
-                scenario: {
-                    type: "string",
-                    description: "A committed scenario under descry/scenarios/, replayed in the readiness window from its own targetUrl.",
-                },
-                startUrl: { type: "string", description: 'Navigate here and observe, with no steps. Mutually exclusive with "scenario".' },
-                recordVideo: { type: "boolean", description: "Off by default. Returned as a VIDEO evidence artifact." },
-                headless: { type: "boolean", description: "Defaults to true." },
-                settleForMs: {
-                    type: "integer",
-                    description: "How long the page stays alive after the last step for late console/network activity. Defaults to 1000.",
-                },
-            },
-            additionalProperties: false,
-        },
-        database: {
-            type: "object",
-            description: "runtime only. The Postgres channel: where to tail the server's statement log from, so queries " +
-                "issued during the observation window become DATABASE_QUERY evidence. Node services get the " +
-                "node:sqlite preload with no declaration. Omit for no Postgres channel — the reply discloses it.",
-            properties: {
-                statementLog: {
-                    type: "object",
-                    description: "Never turns Postgres logging on — reads whatever the deployment already produces.",
-                    properties: {
-                        kind: { type: "string", enum: ["file", "dockerContainer"] },
-                        path: { type: "string", description: 'kind "file": a log file the deployment already writes to.' },
-                        container: { type: "string", description: 'kind "dockerContainer": tails `docker logs -f` for this container.' },
-                    },
-                    required: ["kind"],
-                    additionalProperties: false,
-                },
-                service: { type: "string", description: "Which declared service the DATABASE_QUERY evidence is attributed to. Optional." },
-            },
-            required: ["statementLog"],
-            additionalProperties: false,
-        },
-        // --- tests only ---
-        command: {
-            type: "string",
-            description: "tests only, REQUIRED. The test command, exactly as typed in a terminal. Matched against " +
-                "ten known runner families, never sniffed from package.json or a lockfile — an unrecognised " +
-                "command is refused by name. Executes your code, hence the two-call confirmation.",
-        },
-        cwd: {
-            type: "string",
-            description: "tests only. Where to run the command. Relative paths resolve against the repo root; absent means the repo root.",
-        },
-        // --- shared ---
-        confirmToken: {
-            type: "string",
-            description: "The token from an unconfirmed call. Required to actually run: call once without it for a " +
-                "description and a token, again with it to execute — with the arguments frozen when the token was minted, not " +
-                "time. A conflicting argument on the confirming call is discarded, not applied, and the " +
-                "reply discloses which.",
-        },
-    },
-    required: ["verb"],
-    additionalProperties: false,
-};
-async function run(args, ctx) {
-    const verb = selectVerb(args, "verb", VERB_SPECS, SHARED_PROPS);
-    return verb === "runtime" ? runRuntime(args, ctx) : runTests(args, ctx);
-}
-/** One `describeAction` for two verbs — the requirement this merge cannot get wrong (UAT phase 5
- *  F12: `browser_start_session` once issued a consent sentence for the wrong verb). `selectVerb`
- *  decides which verb the call names before either absorbed `describeAction` sees it, so each one
- *  only ever describes the run it was actually asked to describe. */
-function describeAction(args, ctx) {
-    const verb = selectVerb(args, "verb", VERB_SPECS, SHARED_PROPS);
-    return verb === "runtime" ? describeRuntimeAction(args, ctx) : describeTestsAction(args);
-}
-export const observeTool = {
-    name: "observe",
-    class: "action",
-    tier: "evidence",
-    version: "1.0.0",
-    title: "Observe a running application or a test run",
-    description: 'Two ways to gather runtime evidence, chosen by "verb". "runtime": boot or attach to declared ' +
-        "services, watch them with a runtime adapter, and record what was witnessed as R4 graph edges " +
-        '— the resolution level static analysis cannot reach. "tests": run the project\'s test suite ' +
-        "and record which TEST_CASE nodes actually ran, needing no application booted. Both take a " +
-        "two-call confirmation: the first call performs nothing and returns a confirmToken describing " +
-        "what it would do; call again with confirmToken to run it. " +
-        '"runtime" before calling: this observes an app you can already run — it does not get you to a ' +
-        "runnable state (dependencies, env, migrations are yours to prepare). Overriding some env vars " +
-        "does not isolate the run from the app's own config file — anything unoverridden is still read " +
-        "from it, including values naming other environments.",
-    inputSchema: SCHEMA,
-    run,
-    describeAction,
-};
-//# sourceMappingURL=observe.js.map

package/dist/tools/observe.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"observe.js","sourceRoot":"","sources":["../../src/tools/observe.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,sCAAsC,CAAC;AAEpF,OAAO,EAAE,UAAU,EAAiB,MAAM,WAAW,CAAC;AAGtD,OAAO,EACL,GAAG,IAAI,UAAU,EACjB,cAAc,IAAI,qBAAqB,EACvC,8BAA8B,GAC/B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,GAAG,IAAI,QAAQ,EAAE,cAAc,IAAI,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAkB5F;;oDAEoD;AACpD,MAAM,eAAe,GAAG,CAAC,MAAM,EAAE,UAAU,EAAE,SAAS,CAAU,CAAC;AAEjE,MAAM,UAAU,GAAqC;IACnD;QACE,IAAI,EAAE,SAAS;QACf,OAAO,EAAE;YACP,SAAS;YACT,UAAU;YACV,SAAS;YACT,gBAAgB;YAChB,cAAc;YACd,iBAAiB;YACjB,eAAe;YACf,cAAc;YACd,gBAAgB;YAChB,kBAAkB;YAClB,eAAe;YACf,gBAAgB;YAChB,SAAS;YACT,UAAU;SACX;KACF;IACD,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE;CAC/C,CAAC;AAEF;;kFAEkF;AAClF,MAAM,YAAY,GAAG,CAAC,cAAc,EAAE,WAAW,CAAU,CAAC;AAE5D,MAAM,MAAM,GAAG;IACb,IAAI,EAAE,QAAQ;IACd,UAAU,EAAE;QACV,IAAI,EAAE;YACJ,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,SAAS,EAAE,OAAO,CAAC;YAC1B,WAAW,EACT,uFAAuF;gBACvF,uEAAuE;SAC1E;QACD,uBAAuB;QACvB,OAAO,EAAE;YACP,IAAI,EAAE,QAAQ;YACd,WAAW,EACT,2FAA2F;gBAC3F,0FAA0F;gBAC1F,oBAAoB;YACtB,UAAU,EAAE;gBACV,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,2CAA2C,EAAE;gBAClF,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,oCAAoC,EAAE;gBAC1E,WAAW,EAAE;oBACX,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,CAAC,GAAG,aAAa,CAAC;oBACxB,WAAW,EACT,kFAAkF;wBAClF,oEAAoE;iBACvE;gBACD,aAAa,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,2DAA2D,EAAE;gBAC3G,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,aAAa,CAAC,EAAE;aACnD;YACD,QAAQ,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,CAAC;YACjE,oBAAoB,EAAE,KAAK;SAC5B;QACD,QAAQ,EAAE;YACR,IAAI,EAAE,QAAQ;YACd,WAAW,EACT,4FAA4F;gBAC5F,6CAA6C;YAC/C,oBAAoB,EAAE;gBACpB,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE;oBACV,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,4CAA4C,EAAE;oBACtF,GAAG,EAAE;wBACH,IAAI,EAAE,QAAQ;wBACd,WAAW,EACT,uFAAuF;4BACvF,kEAAkE;qBACrE;oBACD,IAAI,EAAE;wBACJ,IAAI,EAAE,SAAS;wBACf,WAAW,EACT,mFAAmF;4BACnF,oFAAoF;4BACpF,iFAAiF;qBACpF;oBACD,SAAS,EAAE;wBACT,IAAI,EAAE,OAAO;wBACb,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;wBACzB,WAAW,EAAE,yCAAyC;qBACvD;oBACD,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,oBAAoB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;oBACjE,MAAM,EAAE;wBACN,IAAI,EAAE,QAAQ;wBACd,WAAW,EAAE,oGAAoG;wBACjH,UAAU,EAAE;4BACV,GAAG,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;4BACxB,WAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,wDAAwD,EAAE;yBACvG;wBACD,QAAQ,EAAE,CAAC,KAAK,EAAE,aAAa,CAAC;wBAChC,oBAAoB,EAAE,KAAK;qBAC5B;oBACD,SAAS,EAAE;wBACT,IAAI,EAAE,QAAQ;wBACd,WAAW,EACT,sFAAsF;4BACtF,wEAAwE;wBAC1E,UAAU,EAAE;4BACV,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,eAAe,CAAC,EAAE;4BACpD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,oEAAoE,EAAE;4BAC3G,cAAc,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,uCAAuC,EAAE;4BACzF,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,yCAAyC,EAAE;4BAChF,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,wCAAwC,EAAE;4BAClF,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,WAAW,EAAE,iBAAiB,EAAE;4BAClF,SAAS,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,oBAAoB,EAAE;yBAClE;wBACD,QAAQ,EAAE,CAAC,MAAM,CAAC;wBAClB,oBAAoB,EAAE,KAAK;qBAC5B;iBACF;gBACD,QAAQ,EAAE,CAAC,WAAW,CAAC;gBACvB,oBAAoB,EAAE,KAAK;aAC5B;SACF;QACD,OAAO,EAAE;YACP,IAAI,EAAE,QAAQ;YACd,WAAW,EACT,6FAA6F;gBAC7F,wFAAwF;gBACxF,4CAA4C;YAC9C,UAAU,EAAE;gBACV,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;gBAC1B,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,+EAA+E,EAAE;gBACxH,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,0DAA0D,EAAE;aACrG;YACD,QAAQ,EAAE,CAAC,QAAQ,CAAC;YACpB,oBAAoB,EAAE,KAAK;SAC5B;QACD,cAAc,EAAE;YACd,IAAI,EAAE,QAAQ;YACd,WAAW,EACT,4FAA4F;gBAC5F,gGAAgG;YAClG,oBAAoB,EAAE;gBACpB,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE;oBACV,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACxB,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,iEAAiE,EAAE;oBAC5G,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;iBACxB;gBACD,QAAQ,EAAE,CAAC,MAAM,CAAC;gBAClB,oBAAoB,EAAE,KAAK;aAC5B;SACF;QACD,YAAY,EAAE;YACZ,IAAI,EAAE,SAAS;YACf,WAAW,EACT,yFAAyF;gBACzF,yEAAyE;SAC5E;QACD,SAAS,EAAE;YACT,IAAI,EAAE,SAAS;YACf,WAAW,EACT,qFAAqF;gBACrF,yDAAyD;SAC5D;QACD,eAAe,EAAE;YACf,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,oBAAoB,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,oBAAoB,CAAC;YAC5G,WAAW,EACT,yFAAyF;gBACzF,0EAA0E;SAC7E;QACD,aAAa,EAAE;YACb,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAClB,WAAW,EACT,yFAAyF;gBACzF,6CAA6C;SAChD;QACD,YAAY,EAAE;YACZ,IAAI,EAAE,QAAQ;YACd,WAAW,EAAE,gEAAgE,8BAA8B,uBAAuB;SACnI;QACD,cAAc,EAAE;YACd,IAAI,EAAE,QAAQ;YACd,WAAW,EACT,qFAAqF;gBACrF,wEAAwE;YAC1E,UAAU,EAAE;gBACV,cAAc,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,2CAA2C,EAAE;gBAC7F,aAAa,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,2CAA2C,EAAE;gBAC5F,YAAY,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,oDAAoD,EAAE;aACrG;YACD,oBAAoB,EAAE,KAAK;SAC5B;QACD,gBAAgB,EAAE;YAChB,IAAI,EAAE,QAAQ;YACd,WAAW,EACT,0FAA0F;gBAC1F,sFAAsF;gBACtF,mDAAmD;YACrD,UAAU,EAAE;gBACV,YAAY,EAAE;oBACZ,IAAI,EAAE,OAAO;oBACb,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACzB,WAAW,EAAE,yEAAyE;iBACvF;aACF;YACD,QAAQ,EAAE,CAAC,cAAc,CAAC;YAC1B,oBAAoB,EAAE,KAAK;SAC5B;QACD,aAAa,EAAE;YACb,IAAI,EAAE,QAAQ;YACd,WAAW,EACT,2FAA2F;gBAC3F,mGAAmG;YACrG,UAAU,EAAE;gBACV,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE;gBACjD,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;aACpD;YACD,QAAQ,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC;YAC3B,oBAAoB,EAAE,KAAK;SAC5B;QACD,cAAc,EAAE;YACd,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,OAAO,EAAE,WAAW,CAAC;YAC5B,WAAW,EACT,wFAAwF;gBACxF,oGAAoG;SACvG;QACD,OAAO,EAAE;YACP,IAAI,EAAE,QAAQ;YACd,WAAW,EACT,gGAAgG;gBAChG,8FAA8F;gBAC9F,qCAAqC;YACvC,UAAU,EAAE;gBACV,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,yEAAyE,EAAE;gBACnH,QAAQ,EAAE;oBACR,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,wGAAwG;iBACtH;gBACD,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,+EAA+E,EAAE;gBAC1H,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,wDAAwD,EAAE;gBACvG,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,mBAAmB,EAAE;gBAC/D,WAAW,EAAE;oBACX,IAAI,EAAE,SAAS;oBACf,WAAW,EAAE,wGAAwG;iBACtH;aACF;YACD,oBAAoB,EAAE,KAAK;SAC5B;QACD,QAAQ,EAAE;YACR,IAAI,EAAE,QAAQ;YACd,WAAW,EACT,gGAAgG;gBAChG,6FAA6F;gBAC7F,iGAAiG;YACnG,UAAU,EAAE;gBACV,YAAY,EAAE;oBACZ,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,mFAAmF;oBAChG,UAAU,EAAE;wBACV,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,iBAAiB,CAAC,EAAE;wBAC3D,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,2DAA2D,EAAE;wBAClG,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,oEAAoE,EAAE;qBACjH;oBACD,QAAQ,EAAE,CAAC,MAAM,CAAC;oBAClB,oBAAoB,EAAE,KAAK;iBAC5B;gBACD,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,gFAAgF,EAAE;aAC3H;YACD,QAAQ,EAAE,CAAC,cAAc,CAAC;YAC1B,oBAAoB,EAAE,KAAK;SAC5B;QACD,qBAAqB;QACrB,OAAO,EAAE;YACP,IAAI,EAAE,QAAQ;YACd,WAAW,EACT,0FAA0F;gBAC1F,6FAA6F;gBAC7F,kFAAkF;SACrF;QACD,GAAG,EAAE;YACH,IAAI,EAAE,QAAQ;YACd,WAAW,EAAE,iHAAiH;SAC/H;QACD,iBAAiB;QACjB,YAAY,EAAE;YACZ,IAAI,EAAE,QAAQ;YACd,WAAW,EACT,2FAA2F;gBAC3F,+GAA+G;gBAC/G,yFAAyF;gBACzF,wBAAwB;SAC3B;KACF;IACD,QAAQ,EAAE,CAAC,MAAM,CAAC;IAClB,oBAAoB,EAAE,KAAK;CACnB,CAAC;AAEX,KAAK,UAAU,GAAG,CAAC,IAA6B,EAAE,GAAgB;IAChE,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;IAChE,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AAC1E,CAAC;AAED;;;qEAGqE;AACrE,SAAS,cAAc,CAAC,IAA6B,EAAE,GAAgB;IACrE,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;IAChE,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,qBAAqB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;AAC3F,CAAC;AAED,MAAM,CAAC,MAAM,WAAW,GAAmB;IACzC,IAAI,EAAE,SAAS;IACf,KAAK,EAAE,QAAQ;IACf,IAAI,EAAE,UAAU;IAChB,OAAO,EAAE,OAAO;IAChB,KAAK,EAAE,6CAA6C;IACpD,WAAW,EACT,+FAA+F;QAC/F,+FAA+F;QAC/F,8FAA8F;QAC9F,4FAA4F;QAC5F,+FAA+F;QAC/F,4DAA4D;QAC5D,gGAAgG;QAChG,gGAAgG;QAChG,gGAAgG;QAChG,sDAAsD;IACxD,WAAW,EAAE,MAA4C;IACzD,GAAG;IACH,cAAc;CACf,CAAC"}

package/dist/tools/pr-analysis.d.ts

@@ -1,189 +0,0 @@
-/**
- * `pr-analysis` — "what should I test before I open this PR?"
- *
- * The blast radius of a diff, intersected with the tests that cover it. The
- * useful half of the answer is the second list: **what is affected and has no
- * covering test.** A green suite proves nothing about that set, and it is the
- * only part of a PR review that a test run cannot supply.
- *
- * ## `base...head`, three dots
- *
- * `changedFiles` diffs against the merge base rather than the two tips. On a
- * branch a week behind `main`, two dots would fold every change made on `main`
- * since the branch point into "this PR", and the blast radius would belong to
- * somebody else's work. This is stated here as well as at the git call because
- * it is the kind of thing that gets "simplified" later.
- *
- * ## Absence of a test is not evidence of absence
- *
- * `TESTS` edges come from adapters, and every adapter's recall is below 100% by
- * design — precision over recall, when in doubt omit the edge. So "no covering
- * test" means "no test that this graph can link", and the difference is
- * disclosed. Reporting the untested list without it would turn a measured recall
- * gap into a confident accusation.
- *
- * ## One node map, three id lists
- *
- * `affected`, `untested` and `tests` overlap heavily by construction — an
- * affected node with no covering test is in two of them — and each used to
- * carry the whole node inline, so the same fields were serialized up to three
- * times in one reply. `indexPrAnalysisNodes` collapses that: the lists name
- * ids, `nodes` holds each node once. Tool version 2.0.0 for it.
- */
-import { type BriefNode, type ToolDefinition } from "./kit.ts";
-/**
- * A node in the change's blast radius, named by id into `nodes`.
- *
- * It used to carry the whole node inline, and so did `untested` and `tests` —
- * three lists over one heavily-overlapping population, every member
- * serialized up to three times. An affected node with no covering test is in
- * two of them by construction, which is the normal case rather than the
- * unusual one, so the duplication scaled with exactly the answer a caller
- * most wants. One map, three id lists.
- */
-export interface AffectedRef {
-    readonly id: string;
-    readonly score: number;
-    readonly depth: number;
-    /** 1-based position in this answer, highest score first. */
-    readonly rank: number;
-    /**
-     * `top` / `notable` / `rest` by rank, never by an absolute score threshold.
-     * This score is `weightedBfs`'s confidence decay — `changeRisk` passes only a
-     * budget, so it takes the default `weightFor` — and §12.7's tiers were
-     * calibrated against `scoping/`'s designed weights instead. See
-     * `prominence.ts`'s header for why reusing them here would be a calibrated
-     * label on an uncalibrated number.
-     */
-    readonly prominence: "top" | "notable" | "rest";
-}
-/**
- * The three lists and the one node map they name into.
- *
- * `nodes` holds each node once, whichever lists mention it. A caller reads a
- * list, then looks each id up — never the reverse, and never by scanning.
- */
-export interface PrAnalysisLists {
-    readonly nodes: Readonly<Record<string, BriefNode>>;
-    readonly affected: readonly AffectedRef[];
-    readonly untested: readonly string[];
-    readonly tests: readonly string[];
-}
-/** What `briefNode` accepts — the graph-node shape these three lists arrive as. */
-interface IndexableNode {
-    readonly id: string;
-    readonly type: string;
-    readonly name: string;
-    readonly file: string | null;
-    readonly range: {
-        readonly startLine: number;
-        readonly endLine: number;
-    } | null;
-    readonly language: string | null;
-    readonly resolution: number;
-}
-/**
- * Collapse three overlapping node lists into one map plus three id lists.
- *
- * Order within each list is preserved exactly — it is the ranking the query
- * layer produced, and re-sorting it here would silently change which nodes a
- * caller's own `limit` keeps.
- */
-export declare function indexPrAnalysisNodes(affected: readonly {
-    readonly node: IndexableNode;
-    readonly score: number;
-    readonly depth: number;
-}[], untested: readonly IndexableNode[], tests: readonly IndexableNode[]): PrAnalysisLists;
-/** Shared by every branch: what was diffed, and what came out of git. */
-export interface PrAnalysisRange {
-    /**
-     * Which change set this answer is about — declared by the caller.
-     *
-     * `range` is `base...head`. `working-tree` is the change as it stands,
-     * uncommitted. Stated because the two answer different questions and a reply
-     * that did not say which one it answered would be readable as either — which
-     * is precisely how a composite came to describe 25 committed files under a
-     * headline about the 2 uncommitted ones passed to it.
-     */
-    readonly mode: "range" | "working-tree";
-    /** Null in working-tree mode: there is no second ref to compare against. */
-    readonly base: string | null;
-    readonly head: string | null;
-    /** Present in working-tree mode only. */
-    readonly workingTree?: {
-        readonly scope: "unstaged" | "staged" | "all";
-        readonly includeUntracked: boolean;
-    };
-    /** Paths in `base...head` — three dots, so somebody else's work on base is not folded in. */
-    readonly files: readonly string[];
-}
-/**
- * git rejected the range, so nothing downstream ran.
- *
- * The narrowest of the four shapes, and the tell is what is absent: no
- * `missing`, because no path was ever looked up. Narrow on `!("affected" in data)`.
- */
-export type PrAnalysisGitFailure = PrAnalysisRange;
-/**
- * The diff is empty. A real answer: there is nothing to assess.
- *
- * The three lists are present and empty on purpose — the absence here **is**
- * a fact about the change. No `missing`, because there was nothing to resolve.
- */
-export interface PrAnalysisEmptyDiff extends PrAnalysisRange, PrAnalysisLists {
-}
-/**
- * The diff resolved to no graph node at all, so no blast radius was computed.
- *
- * Distinguished from `PrAnalysisEmptyDiff` by `missing`, which names every
- * path the graph has never heard of. The empty lists here mean *nothing was
- * examined* rather than *nothing is affected*.
- */
-export interface PrAnalysisUnresolved extends PrAnalysisEmptyDiff {
-    readonly missing: readonly string[];
-}
-/**
- * The full answer.
- *
- * `untested` is the half a test run cannot supply, and it means *no test is
- * linked to the node in this graph* — adapters omit an edge they cannot prove,
- * so a genuinely covered symbol can appear here. A gap to check, never a
- * proven hole. Narrow on `"changedSymbols" in data`.
- */
-export interface PrAnalysisReport extends PrAnalysisRange, PrAnalysisLists {
-    readonly missing: readonly string[];
-    /**
-     * Nodes whose declared range actually intersects an added line in the diff
-     * (F5, UAT Phase 5) — the honest reading of "changed symbol". Previously
-     * this field held `symbolsInChangedFiles` under this name: every node whose
-     * *file* was touched, whether or not the diff's hunks came near it — a
-     * `useMemo` edit measured as "43 changed symbols" for a two-hunk change,
-     * which then over-seeded blast radius from every symbol in every touched
-     * file. A node with no known range (a git-history-only symbol, or one in a
-     * file whose patch was withheld by the diff's own size budget) cannot be
-     * proven to intersect anything and is never counted here — rule 2: an
-     * unprovable membership is omitted from the strong claim, not assumed into
-     * it. A wholly deleted file's symbols are counted here as 0 for the same
-     * reason (a deletion has no added lines to intersect), never as a false "no
-     * symbols changed" — they remain in `symbolsInChangedFiles` and still seed
-     * the blast radius below.
-     */
-    readonly changedSymbols: number;
-    /**
-     * Every node declared in a touched file, regardless of which lines moved —
-     * what `changedSymbols` used to be called. Genuinely useful for "what else
-     * lives here", a different question from "what changed", and this is what
-     * blast radius still seeds from: a line-precise seed set would silently
-     * lose a deleted file's symbols (a deletion has no added lines to
-     * intersect) and any file whose patch was withheld by the diff's size
-     * budget, both real, common cases this tool must not go blind to.
-     */
-    readonly symbolsInChangedFiles: number;
-    readonly affectedTotal: number;
-    readonly untestedTotal: number;
-    readonly testsTotal: number;
-}
-export type PrAnalysisData = PrAnalysisGitFailure | PrAnalysisEmptyDiff | PrAnalysisUnresolved | PrAnalysisReport;
-export declare const prAnalysisTool: ToolDefinition;
-export {};
-//# sourceMappingURL=pr-analysis.d.ts.map

package/dist/tools/pr-analysis.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"pr-analysis.d.ts","sourceRoot":"","sources":["../../src/tools/pr-analysis.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAeH,OAAO,EAQL,KAAK,SAAS,EAEd,KAAK,cAAc,EACpB,MAAM,UAAU,CAAC;AAIlB;;;;;;;;;GASG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,4DAA4D;IAC5D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;;;;OAOG;IACH,QAAQ,CAAC,UAAU,EAAE,KAAK,GAAG,SAAS,GAAG,MAAM,CAAC;CACjD;AAED;;;;;GAKG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IACpD,QAAQ,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,CAAC;IAC1C,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED,mFAAmF;AACnF,UAAU,aAAa;IACrB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IAChF,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,EAAE,EACrG,QAAQ,EAAE,SAAS,aAAa,EAAE,EAClC,KAAK,EAAE,SAAS,aAAa,EAAE,GAC9B,eAAe,CAmBjB;AAED,yEAAyE;AACzE,MAAM,WAAW,eAAe;IAC9B;;;;;;;;OAQG;IACH,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,cAAc,CAAC;IACxC,4EAA4E;IAC5E,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,yCAAyC;IACzC,QAAQ,CAAC,WAAW,CAAC,EAAE;QACrB,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG,QAAQ,GAAG,KAAK,CAAC;QAC9C,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;KACpC,CAAC;IACF,6FAA6F;IAC7F,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,GAAG,eAAe,CAAC;AAEnD;;;;;GAKG;AACH,MAAM,WAAW,mBAAoB,SAAQ,eAAe,EAAE,eAAe;CAAG;AAEhF;;;;;;GAMG;AACH,MAAM,WAAW,oBAAqB,SAAQ,mBAAmB;IAC/D,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,gBAAiB,SAAQ,eAAe,EAAE,eAAe;IACxE,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC;;;;;;;;;;;;;;;OAeG;IACH,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC;;;;;;;;OAQG;IACH,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,MAAM,cAAc,GACtB,oBAAoB,GACpB,mBAAmB,GACnB,oBAAoB,GACpB,gBAAgB,CAAC;AAgWrB,eAAO,MAAM,cAAc,EAAE,cAiB5B,CAAC"}