@descryy/mcp 0.11.4 → 0.11.5

package/dist/tools/analyze.d.ts

@@ -1,163 +0,0 @@
-/** `analyze` — the only tool that writes to the graph. Disclosures matter most: a
- *  query can't report a gap it wasn't told about. Discloses: sources that failed or
- *  didn't claim the repo (§20.2 — not-analysable ≠ clean), each source's resolution
- *  reached (caps reliability, rule 3), id collisions (DEC-024), evicted files, and the
- *  cross-repo join count. No config → `repo` defaults to dir name, hashed into every id (DEC-004). */
-import type { IRBatch, UnresolvedRef } from "@descryy/ir";
-import { getCachedFiles } from "@descryy/core";
-import type { BuildResult, JoinMetric, StoreCounts } from "@descryy/core";
-import { type ToolDefinition } from "./kit.ts";
-import { type DetectionEvidence, type LoadedSource } from "../registry.ts";
-export { configDriftNote } from "../session.ts";
-/** What one source read, and how well. `reachedResolution` is what rule 3 caps everything
- *  above it by — a run degraded to R0 looks identical to a healthy one until this is read. */
-export interface SourceRun {
-    readonly source: string;
-    /** The *installed artifact's* version, read from its own nearest `package.json`
-     *  (`LoadedSource.packageVersion`) — distinct from `source` above, which is the
-     *  adapter's self-declared `producedBy` string and can drift from what actually
-     *  shipped. `null` when no `package.json` encloses the resolved module (a bare
-     *  path-specifier source with no package boundary). Previously this real value
-     *  only ever reached a human via `sourceProvenanceNote`'s prose `notes` string —
-     *  never as a field a caller could parse programmatically. */
-    readonly installedVersion: string | null;
-    readonly files: number;
-    readonly nodes: number;
-    readonly edges: number;
-    /** Refusal-ledger rows: gaps this source disclosed rather than guessed at. */
-    readonly unresolved: number;
-    /** Files attempted but not parsed — absent from the graph, not confirmed clean. Never
-     *  counted in `files`; see `IRBatch.skippedFiles`. */
-    readonly skippedFiles: number;
-    readonly reachedResolution: number;
-    /** Wall-clock time this source took, including the git-history reader. */
-    readonly ms: number;
-}
-/** `skippedFiles`/`unresolved`: absent means an adapter compiled against an older
- *  `@descryy/ir`, not malformed — a real adapter once crashed here on `.length` of
- *  undefined despite returning 1000+ good nodes. Absent ⇒ old producer; wrong type ⇒ broken, never defaulted away. */
-export declare function optionalBatchLists(batch: IRBatch): {
-    readonly skippedFiles: IRBatch["skippedFiles"];
-    readonly unresolved: IRBatch["unresolved"];
-};
-/** Distinguishes "the adapter failed" from "Descry's own code broke handling its
- *  output" — before this, a `TypeError` thrown in this file was reported as the
- *  adapter failing, sending users to debug working code instead of reporting our bug. */
-/**
- * F2 (UAT phase 4 F3 / Part 13 §13.3.2): which build actually ran. A bare
- * specifier can resolve to more than one installed copy with the same
- * name — CJS resolution walks upward through `node_modules`, so a stray
- * install above the repository silently wins over the intended one, and
- * `producedBy` alone cannot tell them apart (it carries the module's own
- * self-declared version, which can drift from what actually shipped).
- * This is the disclosure that makes "why are my results different from
- * yours" answerable instead of a debugging session.
- */
-export declare function sourceProvenanceNote(entry: LoadedSource): string;
-export declare function sourceFailureNote(sourceId: string, error: unknown, phase: "emit" | "engine"): string;
-export interface AnalyzeData {
-    readonly repo: string;
-    readonly workspace: string | null;
-    readonly commitSha: string;
-    readonly graphPath: string;
-    /** One entry per source that ran. An empty array is the not-analysable case. */
-    readonly sources: readonly SourceRun[];
-    /** Configured sources whose module would not import. Not clean — unread. */
-    readonly sourcesFailed: readonly {
-        readonly module: string;
-        readonly reason: string;
-    }[];
-    /** Sources that loaded and did not claim this repository, with why. */
-    readonly sourcesSkipped: readonly {
-        readonly source: string;
-        readonly reason: string;
-    }[];
-    /** Row counts in the store after this run. */
-    readonly stored: StoreCounts;
-    readonly merge: {
-        /** Node ids more than one source supplied — this is the cross-language join, not an error. */
-        readonly mergedNodes: number;
-        readonly mergedEdges: number;
-        /** Two different things under one id. There is no correct merge, so they are reported (DEC-024). */
-        readonly collisions: number;
-        /** Edges dropped because an endpoint resolved to nothing. Never stubbed. */
-        readonly droppedEdges: number;
-        readonly rejections: number;
-    };
-    /** Per workspace-scoped node type: how many exist and how many two repositories both supplied. */
-    readonly crossRepoJoins: BuildResult["crossRepoJoins"];
-    readonly written: {
-        readonly nodes: number;
-        readonly edges: number;
-        readonly unresolved: number;
-        readonly orphanedEdges: number;
-        /** Files a previous run owned and this one did not re-supply. Their rows are gone. */
-        readonly evictedFiles: number;
-    };
-    /** Edges minted from human-confirmed answers, capped at reliability class B by DEC-223. */
-    readonly minted: {
-        readonly edges: number;
-        readonly orphaned: number;
-        readonly unjoinable: number;
-        readonly evictedFiles: number;
-    };
-}
-/**
- * P6-B1 — the run stopped at the heap fence, before the phase that would have
- * aborted the process.
- *
- * A distinct shape rather than a zeroed `AnalyzeData`, for the same reason
- * `scope` has `ScopeNotSeeded`: a halted run has no source table, no merge
- * counts and no stored totals, and reporting zeros for them would say the
- * repository is empty rather than that Descry stopped looking. Narrow on
- * `"halted" in data`.
- */
-export interface AnalyzeHalted {
-    readonly halted: "heap";
-    /** The phase that was refused — what would have run next, not what failed. */
-    readonly phase: string;
-    readonly heapUsedMib: number;
-    readonly heapLimitMib: number;
-    /** Sources that had already emitted when the fence tripped. Read, then discarded unwritten. */
-    readonly sourcesRead: readonly SourceRun[];
-}
-export type AnalyzeResult = AnalyzeData | AnalyzeHalted;
-/** Gap 6 step 3: attempts whole-producer cache reuse for one `LanguageAdapter`
- *  source, so a repeat `analyze` run can skip `emit()` (and the re-parse inside
- *  it) entirely when nothing this producer read has changed. Every failure path
- *  here returns `{ reused: false }` rather than throwing — declining to reuse is
- *  always safe, and the caller's normal `emit()` path is the fallback. See
- *  `planIncrementalReuse`'s doc (`@descryy/core`) for why this is whole-producer,
- *  never per-file. */
-export declare function attemptIncrementalReuse(params: {
-    readonly driver: Parameters<typeof getCachedFiles>[0];
-    readonly producedBy: string;
-    readonly repo: string;
-    readonly repoPath: string;
-    readonly repoFileListing: readonly string[] | null;
-    readonly commitSha: string;
-    readonly workspace: string | undefined;
-}): Promise<{
-    readonly reused: true;
-    readonly batch: IRBatch;
-} | {
-    readonly reused: false;
-    readonly reason: string;
-}>;
-export declare function refusalSummaryField(unresolved: readonly UnresolvedRef[]): {
-    readonly count: number;
-    readonly exemplar: string;
-    readonly handle: string;
-} | undefined;
-/** Single-repo half of the joins disclosure. In the ordinary case — one repo in scope —
- *  every join metric's `suppliedByTwoOrMoreRepos: 0` looks like `NO_CROSS_REPO_JOIN`'s
- *  failure case; this states outright it's just scope, not a failed join. */
-export declare function crossRepoJoinNote(joins: readonly JoinMetric[]): string | undefined;
-/** Turns one adapter's `DetectionResult.evidence` into the same kind of disclosed note the
- *  `skippedFiles` rollup below builds — grouped by `reason` where an entry is a
- *  `StructuredSkipEntry`, left under an "other" bucket, verbatim, where it is still the
- *  legacy plain-string shape (`isStructuredSkipEntry`, `@descryy/ir`). `null` on an empty
- *  list — nothing to disclose, not a note saying so. */
-export declare function summariseDetectionEvidence(evidence: DetectionEvidence): string | null;
-export declare const analyzeTool: ToolDefinition;
-//# sourceMappingURL=analyze.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"analyze.d.ts","sourceRoot":"","sources":["../../src/tools/analyze.ts"],"names":[],"mappings":"AAAA;;;;sGAIsG;AAMtG,OAAO,KAAK,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAE1D,OAAO,EAUL,cAAc,EASf,MAAM,eAAe,CAAC;AAEvB,OAAO,KAAK,EAAE,WAAW,EAAmB,UAAU,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAE3F,OAAO,EAA6D,KAAK,cAAc,EAAE,MAAM,UAAU,CAAC;AAI1G,OAAO,EAA8B,KAAK,iBAAiB,EAAE,KAAK,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAIvG,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAEhD;8FAC8F;AAC9F,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB;;;;;;kEAM8D;IAC9D,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IACzC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,8EAA8E;IAC9E,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B;0DACsD;IACtD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,0EAA0E;IAC1E,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB;AAED;;sHAEsH;AACtH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,GAAG;IAClD,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC;IAC/C,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;CAC5C,CAaA;AAED;;yFAEyF;AACzF;;;;;;;;;GASG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM,CAahE;AAED,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,MAAM,GAAG,QAAQ,GACvB,MAAM,CASR;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,gFAAgF;IAChF,QAAQ,CAAC,OAAO,EAAE,SAAS,SAAS,EAAE,CAAC;IACvC,4EAA4E;IAC5E,QAAQ,CAAC,aAAa,EAAE,SAAS;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACxF,uEAAuE;IACvE,QAAQ,CAAC,cAAc,EAAE,SAAS;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACzF,8CAA8C;IAC9C,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE;QACd,8FAA8F;QAC9F,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;QAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;QAC7B,oGAAoG;QACpG,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAC5B,4EAA4E;QAC5E,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;KAC7B,CAAC;IACF,kGAAkG;IAClG,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC,gBAAgB,CAAC,CAAC;IACvD,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAC5B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;QAC/B,sFAAsF;QACtF,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;KAC/B,CAAC;IACF,2FAA2F;IAC3F,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;KAC/B,CAAC;CACH;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,8EAA8E;IAC9E,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,+FAA+F;IAC/F,QAAQ,CAAC,WAAW,EAAE,SAAS,SAAS,EAAE,CAAC;CAC5C;AAED,MAAM,MAAM,aAAa,GAAG,WAAW,GAAG,aAAa,CAAC;AA2CxD;;;;;;sBAMsB;AACtB,wBAAsB,uBAAuB,CAAC,MAAM,EAAE;IACpD,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAAC;IACnD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,CAAC;CACxC,GAAG,OAAO,CAAC;IAAE,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,CAyCpH;AAED,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,SAAS,aAAa,EAAE,GACnC;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAAG,SAAS,CAI5F;AAED;;6EAE6E;AAC7E,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,GAAG,MAAM,GAAG,SAAS,CAUlF;AAED;;;;wDAIwD;AACxD,wBAAgB,0BAA0B,CAAC,QAAQ,EAAE,iBAAiB,GAAG,MAAM,GAAG,IAAI,CAoBrF;AAwmBD,eAAO,MAAM,WAAW,EAAE,cAazB,CAAC"}