@llm4ts/flow 2.37.0 → 2.38.0

package/dist/Survey.d.ts

@@ -1,30 +1,113 @@
 import * as Effect from "effect/Effect";
 import * as Schema from "effect/Schema";
+import { PlanParseError } from "./FlowError.ts";
+import { type GraphRules } from "./GraphRules.ts";
 import type { CoverageRule } from "./SpecChecks.ts";
 import type { WorkspaceError, WorkspaceShape } from "./Workspace.ts";
+export declare const GraphOrigin: Schema.Literals<readonly ["scanner", "llm", "external"]>;
+export type GraphOrigin = typeof GraphOrigin.Type;
+export declare const GraphConfidence: Schema.Literals<readonly ["exact", "inferred"]>;
+export type GraphConfidence = typeof GraphConfidence.Type;
+export declare const GraphMechanism: Schema.Literals<readonly ["capture", "join:exact", "join:url", "contraction", "llm", "codegraph"]>;
+export type GraphMechanism = typeof GraphMechanism.Type;
+export declare const JoinMatch: Schema.Literals<readonly ["exact", "prefix", "extension"]>;
+export type JoinMatch = typeof JoinMatch.Type;
+declare const GraphEvidence_base: Schema.Class<GraphEvidence, Schema.Struct<{
+    readonly file: Schema.String;
+    readonly line: Schema.Int;
+    readonly snippet: Schema.String;
+}>, {}>;
+export declare class GraphEvidence extends GraphEvidence_base {
+}
 declare const SurveyNode_base: Schema.Class<SurveyNode, Schema.Struct<{
     readonly path: Schema.String;
     readonly name: Schema.String;
     readonly lines: Schema.Int;
     readonly units: Schema.Int;
+    readonly id: Schema.optionalKey<Schema.String>;
+    readonly kind: Schema.optionalKey<Schema.String>;
+    readonly label: Schema.optionalKey<Schema.String>;
+    readonly lineStart: Schema.optionalKey<Schema.Int>;
+    readonly lineEnd: Schema.optionalKey<Schema.Int>;
+    readonly attrs: Schema.optionalKey<Schema.$Record<Schema.String, Schema.String>>;
+    readonly origin: Schema.optionalKey<Schema.Literals<readonly ["scanner", "llm", "external"]>>;
+    /** A wiring record (a `web.xml` mapping), not a unit: contracted by the file projection. */
+    readonly descriptor: Schema.optionalKey<Schema.Boolean>;
+    /** The attr naming the unit this node stands for (a declaration's class). */
+    readonly anchor: Schema.optionalKey<Schema.String>;
 }>, {}>;
+/**
+ * A node of the estate graph. The four original fields describe a FILE node;
+ * the ADR 0030 fields are optional on the wire so a pre-0030 `graph.json`
+ * decodes and the four-field constructor keeps compiling — read them through
+ * `nodeId`, `nodeKind` and the other helpers below, never directly.
+ */
 export declare class SurveyNode extends SurveyNode_base {
 }
 declare const SurveyEdge_base: Schema.Class<SurveyEdge, Schema.Struct<{
     readonly from: Schema.String;
     readonly to: Schema.String;
     readonly kind: Schema.String;
+    readonly origin: Schema.optionalKey<Schema.Literals<readonly ["scanner", "llm", "external"]>>;
+    readonly confidence: Schema.optionalKey<Schema.Literals<readonly ["exact", "inferred"]>>;
+    /** The pack section that produced the edge. */
+    readonly rule: Schema.optionalKey<Schema.String>;
+    readonly mechanism: Schema.optionalKey<Schema.Literals<readonly ["capture", "join:exact", "join:url", "contraction", "llm", "codegraph"]>>;
+    readonly join: Schema.optionalKey<Schema.Literals<readonly ["exact", "prefix", "extension"]>>;
+    readonly evidence: Schema.optionalKey<typeof GraphEvidence>;
 }>, {}>;
 export declare class SurveyEdge extends SurveyEdge_base {
 }
+export declare const UnresolvedReason: Schema.Literals<readonly ["edge-target", "missing-attr", "join-from", "join-to", "isolated"]>;
+export type UnresolvedReason = typeof UnresolvedReason.Type;
+declare const Unresolved_base: Schema.Class<Unresolved, Schema.Struct<{
+    readonly reason: Schema.Literals<readonly ["edge-target", "missing-attr", "join-from", "join-to", "isolated"]>;
+    readonly rule: Schema.String;
+    readonly node: Schema.String;
+    readonly reference: Schema.optionalKey<Schema.String>;
+    readonly file: Schema.String;
+    readonly line: Schema.Int;
+}>, {}>;
+export declare class Unresolved extends Unresolved_base {
+}
+declare const Fill_base: Schema.Class<Fill, Schema.Struct<{
+    readonly node: Schema.String;
+    readonly key: Schema.String;
+    readonly value: Schema.String;
+    readonly evidence: typeof GraphEvidence;
+}>, {}>;
+/** An attr the LLM pass filled on an existing node, with the line that justifies it. */
+export declare class Fill extends Fill_base {
+}
 declare const SurveyGraph_base: Schema.Class<SurveyGraph, Schema.Struct<{
     readonly nodes: Schema.$Array<typeof SurveyNode>;
     readonly edges: Schema.$Array<typeof SurveyEdge>;
+    readonly unresolved: Schema.withConstructorDefault<Schema.withDecodingDefaultKey<Schema.$Array<typeof Unresolved>, never>>;
+    readonly fills: Schema.withConstructorDefault<Schema.withDecodingDefaultKey<Schema.$Array<typeof Fill>, never>>;
 }>, {}>;
 export declare class SurveyGraph extends SurveyGraph_base {
-    incoming(name: string): ReadonlyArray<SurveyEdge>;
-    outgoing(name: string): ReadonlyArray<SurveyEdge>;
+    incoming(id: string): ReadonlyArray<SurveyEdge>;
+    outgoing(id: string): ReadonlyArray<SurveyEdge>;
+    node(id: string): SurveyNode | undefined;
 }
+export declare const nodeId: (node: SurveyNode) => string;
+export declare const nodeKind: (node: SurveyNode) => string;
+export declare const nodeLabel: (node: SurveyNode) => string;
+export declare const nodeAttrs: (node: SurveyNode) => Readonly<Record<string, string>>;
+export declare const nodeLineStart: (node: SurveyNode) => number;
+export declare const nodeLineEnd: (node: SurveyNode) => number;
+export declare const isDescriptor: (node: SurveyNode) => boolean;
+export declare const edgeOrigin: (edge: SurveyEdge) => GraphOrigin;
+export declare const edgeConfidence: (edge: SurveyEdge) => GraphConfidence;
+/**
+ * The file-level view every pre-ADR-0030 consumer expects. Each node folds onto
+ * a unit (its `anchor` attr when that names a known unit, else its file's
+ * unit); descriptor nodes with outgoing edges are contracted (`a → d → b`
+ * becomes `a → b` under `a → d`'s kind); self loops drop; duplicates by
+ * (from, to, kind) drop. On a file-only graph this is the identity.
+ */
+export declare const projectToFiles: (graph: SurveyGraph) => SurveyGraph;
+export declare const graphFromJson: (text: string) => Effect.Effect<SurveyGraph, PlanParseError>;
 /**
  * The transitive dependency closure of `program` as repo-relative paths,
  * breadth-first, excluding the program itself. The `seen` set is required, not
@@ -54,9 +137,35 @@ export interface SurveyGraphOptions {
     /** Regex over repo-relative paths to leave out even when `sources` matches. */
     readonly exclude?: string;
 }
+export interface CodeGraphOptions {
+    readonly sources: string;
+    readonly exclude?: string;
+    readonly coverage: ReadonlyArray<CoverageRule>;
+    readonly rules: GraphRules;
+}
+export interface CodeGraphBuild {
+    readonly graph: SurveyGraph;
+    /** path → sha256 of the scanned contents; the cache's staleness key. */
+    readonly files: Readonly<Record<string, string>>;
+}
+/** Nodes and captured edges only; joins and the unresolved summary come from `applyFillsAndJoins`. */
+export declare const scanGraph: (paths: ReadonlyArray<string>, contents: ReadonlyMap<string, string>, options: CodeGraphOptions) => SurveyGraph;
+/** Directories `D` with some scanned path under `D/WEB-INF/`, sorted; the per-app scope of url joins. */
+export declare const appRoots: (paths: ReadonlyArray<string>) => ReadonlyArray<string>;
+/** The longest app root that prefixes `path`, or "" for the estate scope. */
+export declare const appOf: (path: string, roots: ReadonlyArray<string>) => string;
+/**
+ * Pure re-derivation: every `join:*` edge is dropped and rebuilt from the
+ * current attrs plus `fills`; `unresolved` is recomputed from scratch except
+ * for `edge-target` entries, which only the scanner knows. `paths` defaults
+ * to the node paths; pass the scanned list to compute app roots precisely.
+ */
+export declare const applyFillsAndJoins: (graph: SurveyGraph, fills: ReadonlyArray<Fill>, rules: GraphRules, paths?: ReadonlyArray<string>) => SurveyGraph;
+export declare const buildCodeGraph: (workspace: WorkspaceShape, options: CodeGraphOptions) => Effect.Effect<CodeGraphBuild, WorkspaceError, never>;
+/** The pre-ADR-0030 entry: Survey rules only, file nodes only. Delegates to `buildCodeGraph`. */
 export declare const surveyGraph: (workspace: WorkspaceShape, sources: string, units: readonly CoverageRule[], edgeRules: readonly CoverageRule[], options?: SurveyGraphOptions | undefined) => Effect.Effect<SurveyGraph, WorkspaceError, never>;
 export declare const mergeSurveyEdges: (graph: SurveyGraph, refined: ReadonlyArray<SurveyEdge>) => SurveyGraph;
-export declare const renderSurveyInventory: (graph: SurveyGraph) => string;
+export declare const renderSurveyInventory: (full: SurveyGraph) => string;
 /** The `graph.json` artifact: the graph as it is read back by later phases. */
 export declare const renderSurveyGraphJson: (graph: SurveyGraph) => string;
 /**

package/dist/Survey.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Survey.d.ts","sourceRoot":"","sources":["../src/Survey.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAA;AACnD,OAAO,KAAK,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;;;;;;;AAEpE,qBAAa,UAAW,SAAQ,eAK9B;CAAG;;;;;;AAEL,qBAAa,UAAW,SAAQ,eAI9B;CAAG;;;;;AAEL,qBAAa,WAAY,SAAQ,gBAG/B;IACA,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,CAAC,UAAU,CAAC;IAIjD,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,CAAC,UAAU,CAAC;CAGlD;AAED;;;;;;;;GAQG;AACH,eAAO,MAAM,UAAU,GACrB,OAAO,WAAW,EAClB,SAAS,MAAM,EACf,UAAU,MAAM,KACf,aAAa,CAAC,MAAM,CAsBtB,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,QAAQ,GAAI,MAAM,MAAM,KAAG,MAIvC,CAAA;AAED;;;;;;;;GAQG;AACH,eAAO,MAAM,WAAW,GAAI,WAAW,MAAM,EAAE,OAAO,WAAW,CAAC,MAAM,CAAC,KAAG,MAM3E,CAAA;AAOD,MAAM,WAAW,kBAAkB;IACjC,+EAA+E;IAC/E,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAC1B;AAED,eAAO,MAAM,WAAW,iNAuDtB,CAAA;AAEF,eAAO,MAAM,gBAAgB,GAC3B,OAAO,WAAW,EAClB,SAAS,aAAa,CAAC,UAAU,CAAC,KACjC,WA2BF,CAAA;AAED,eAAO,MAAM,qBAAqB,GAAI,OAAO,WAAW,KAAG,MAqB1D,CAAA;AAED,+EAA+E;AAC/E,eAAO,MAAM,qBAAqB,GAAI,OAAO,WAAW,KAAG,MACtB,CAAA;AAErC;;;;;;;GAOG;AACH,MAAM,WAAW,mBAAmB;IAClC,4EAA4E;IAC5E,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,YAAY,CAAC,CAAA;IAC3C,gFAAgF;IAChF,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAA;CACtC;AAmBD,eAAO,MAAM,kBAAkB,GAAI,OAAO,WAAW,EAAE,SAAS,mBAAmB,KAAG,MA4BxE,CAAA;AAEd,eAAO,MAAM,kBAAkB,GAC7B,OAAO,WAAW,EAClB,WAAW,MAAM,EACjB,SAAS,mBAAmB,KAC3B,MAyBW,CAAA"}
+{"version":3,"file":"Survey.d.ts","sourceRoot":"","sources":["../src/Survey.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAC/C,OAAO,EAML,KAAK,UAAU,EAGhB,MAAM,iBAAiB,CAAA;AACxB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAA;AACnD,OAAO,KAAK,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAEpE,eAAO,MAAM,WAAW,0DAAkD,CAAA;AAC1E,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAC,IAAI,CAAA;AACjD,eAAO,MAAM,eAAe,iDAAyC,CAAA;AACrE,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC,IAAI,CAAA;AACzD,eAAO,MAAM,cAAc,oGAOzB,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAA;AACvD,eAAO,MAAM,SAAS,4DAAoD,CAAA;AAC1E,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAA;;;;;;AAE7C,qBAAa,aAAc,SAAQ,kBAIjC;CAAG;;;;;;;;;;;;;IAoBH,4FAA4F;;IAE5F,6EAA6E;;;AApB/E;;;;;GAKG;AACH,qBAAa,UAAW,SAAQ,eAgB9B;CAAG;;;;;;;IAQH,+CAA+C;;;;;;AANjD,qBAAa,UAAW,SAAQ,eAW9B;CAAG;AAEL,eAAO,MAAM,gBAAgB,+FAM3B,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAA;;;;;;;;;AAE3D,qBAAa,UAAW,SAAQ,eAO9B;CAAG;;;;;;;AAEL,wFAAwF;AACxF,qBAAa,IAAK,SAAQ,SAKxB;CAAG;;;;;;;AAEL,qBAAa,WAAY,SAAQ,gBAW/B;IACA,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,aAAa,CAAC,UAAU,CAAC;IAI/C,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,aAAa,CAAC,UAAU,CAAC;IAI/C,IAAI,CAAC,EAAE,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS;CAGzC;AAgDD,eAAO,MAAM,MAAM,GAAI,MAAM,UAAU,KAAG,MAA8B,CAAA;AACxE,eAAO,MAAM,QAAQ,GAAI,MAAM,UAAU,KAAG,MAA6B,CAAA;AACzE,eAAO,MAAM,SAAS,GAAI,MAAM,UAAU,KAAG,MAAiC,CAAA;AAC9E,eAAO,MAAM,SAAS,GAAI,MAAM,UAAU,KAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAqB,CAAA;AACjG,eAAO,MAAM,aAAa,GAAI,MAAM,UAAU,KAAG,MAA6B,CAAA;AAC9E,eAAO,MAAM,WAAW,GAAI,MAAM,UAAU,KAAG,MAAoC,CAAA;AACnF,eAAO,MAAM,YAAY,GAAI,MAAM,UAAU,KAAG,OAAmC,CAAA;AACnF,eAAO,MAAM,UAAU,GAAI,MAAM,UAAU,KAAG,WAAuC,CAAA;AACrF,eAAO,MAAM,cAAc,GAAI,MAAM,UAAU,KAAG,eAA6C,CAAA;AAI/F;;;;;;GAMG;AACH,eAAO,MAAM,cAAc,GAAI,OAAO,WAAW,KAAG,WA0FnD,CAAA;AAED,eAAO,MAAM,aAAa,GAAI,MAAM,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,cAAc,CAYnF,CAAA;AAEH;;;;;;;;GAQG;AACH,eAAO,MAAM,UAAU,GACrB,OAAO,WAAW,EAClB,SAAS,MAAM,EACf,UAAU,MAAM,KACf,aAAa,CAAC,MAAM,CAuBtB,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,QAAQ,GAAI,MAAM,MAAM,KAAG,MAIvC,CAAA;AAED;;;;;;;;GAQG;AACH,eAAO,MAAM,WAAW,GAAI,WAAW,MAAM,EAAE,OAAO,WAAW,CAAC,MAAM,CAAC,KAAG,MAM3E,CAAA;AAED,MAAM,WAAW,kBAAkB;IACjC,+EAA+E;IAC/E,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAC1B;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,YAAY,CAAC,CAAA;IAC9C,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAC3B;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAA;IAC3B,wEAAwE;IACxE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;CACjD;AA2SD,sGAAsG;AACtG,eAAO,MAAM,SAAS,GACpB,OAAO,aAAa,CAAC,MAAM,CAAC,EAC5B,UAAU,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EACrC,SAAS,gBAAgB,KACxB,WAIF,CAAA;AAED,yGAAyG;AACzG,eAAO,MAAM,QAAQ,GAAI,OAAO,aAAa,CAAC,MAAM,CAAC,KAAG,aAAa,CAAC,MAAM,CAQlE,CAAA;AAEV,6EAA6E;AAC7E,eAAO,MAAM,KAAK,GAAI,MAAM,MAAM,EAAE,OAAO,aAAa,CAAC,MAAM,CAAC,KAAG,MAGJ,CAAA;AAmJ/D;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB,GAC7B,OAAO,WAAW,EAClB,OAAO,aAAa,CAAC,IAAI,CAAC,EAC1B,OAAO,UAAU,EACjB,QAAO,aAAa,CAAC,MAAM,CAAwC,KAClE,WA8CF,CAAA;AAED,eAAO,MAAM,cAAc,gHAsBzB,CAAA;AAEF,iGAAiG;AACjG,eAAO,MAAM,WAAW,iNActB,CAAA;AAEF,eAAO,MAAM,gBAAgB,GAC3B,OAAO,WAAW,EAClB,SAAS,aAAa,CAAC,UAAU,CAAC,KACjC,WA2BF,CAAA;AAED,eAAO,MAAM,qBAAqB,GAAI,MAAM,WAAW,KAAG,MA0BzD,CAAA;AAED,+EAA+E;AAC/E,eAAO,MAAM,qBAAqB,GAAI,OAAO,WAAW,KAAG,MACtB,CAAA;AAErC;;;;;;;GAOG;AACH,MAAM,WAAW,mBAAmB;IAClC,4EAA4E;IAC5E,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,YAAY,CAAC,CAAA;IAC3C,gFAAgF;IAChF,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAA;CACtC;AAmBD,eAAO,MAAM,kBAAkB,GAAI,OAAO,WAAW,EAAE,SAAS,mBAAmB,KAAG,MA4BxE,CAAA;AAEd,eAAO,MAAM,kBAAkB,GAC7B,OAAO,WAAW,EAClB,WAAW,MAAM,EACjB,SAAS,mBAAmB,KAC3B,MAyBW,CAAA"}