@aroman22/codegraph-vba-darwin-arm64 1.15.0 → 1.17.0

package/lib/dist/graph/behavior-evidence.d.ts

@@ -0,0 +1,162 @@
+import { QueryBuilder } from '../db/queries';
+/**
+ * The consumer compatibility payload.
+ *
+ * Field types are fixed by the consumer that reads them (Dysflow's
+ * `CodeGraphBehaviorEvidence`) and must not be widened here.
+ */
+export interface CodeGraphBehaviorEvidence {
+    /** Name of the procedure the event is bound to. */
+    handler: string;
+    /**
+     * One root-to-leaf execution path, handler first, callees in the order the
+     * graph stores them (by node id, so the output is stable across runs).
+     * Distinct branches are separate entries — they are never concatenated into
+     * a single sequence the runtime would not take. A path that re-enters a
+     * procedure already on it ends there, repeating that name once.
+     */
+    callPath: string[];
+    /** Tables reached along this path, directly or through a saved query. */
+    tables?: string[];
+    /** See {@link BEHAVIOR_EFFECT_VOCABULARY}. */
+    effects?: string[];
+}
+/**
+ * The closed vocabulary of `effects` strings. Anything outside this list is a
+ * bug, not a new fact.
+ *
+ * - `read:<name>` / `write:<name>` — a data reference the extractor typed.
+ * - `data-access:<name>` — a data reference whose direction is unknown.
+ *   NOT a read and NOT a write; it means the index cannot say.
+ * - `opens-form:<Name>` / `opens-report:<Name>` — an Access object opened.
+ * - `raises-event:<Name>` — an event raised from the path.
+ */
+export declare const BEHAVIOR_EFFECT_VOCABULARY: readonly ["read:<name>", "write:<name>", "data-access:<name>", "opens-form:<Name>", "opens-report:<Name>", "raises-event:<Name>"];
+/** How a handler is bound to the thing it answers for. */
+export type BehaviorBindingScope = 
+/** `<Control>_<Event>` code-behind on a control. */
+'control'
+/** The form's or report's own lifecycle event. */
+ | 'form'
+/** An `=Expression()` property on the control or layout. */
+ | 'expression'
+/** The request named a procedure directly; no binding was involved. */
+ | 'direct';
+export interface BehaviorEvidenceRequest {
+    /** Stable node id. The unambiguous form — always prefer it. */
+    nodeId?: string;
+    /** Control, handler or layout name. Requires `layout` when not unique. */
+    name?: string;
+    /**
+     * Layout context for `name`: a form/report name or its layout file name.
+     * Without it an ambiguous name is REFUSED, never silently narrowed to the
+     * first match.
+     */
+    layout?: string;
+    /** Call-path depth budget. Default 5, clamped to 1..20. */
+    maxCallDepth?: number;
+    /** Maximum evidence entries. Default 50, clamped to 1..500. */
+    maxResults?: number;
+}
+export interface BehaviorEvidenceTarget {
+    id: string;
+    name: string;
+    kind: string;
+    filePath: string;
+    /** Owning form/report, from the layout's `contains` edge. */
+    layout: string | null;
+}
+export interface BehaviorHandlerContext {
+    handler: string;
+    handlerId: string;
+    /** Access event name (`Click`, `Load`, …), or null when not bound. */
+    event: string | null;
+    scope: BehaviorBindingScope;
+    provenance: string;
+    /** `file:line` of the wiring site. */
+    location: string;
+    /** `metadata.synthesizedBy` of the binding edge, when present. */
+    wiredBy: string | null;
+}
+export interface BehaviorDataEvidence {
+    /** Procedure the reference was attributed to. */
+    procedure: string;
+    name: string;
+    /** Node kind of the referenced object (`class`, `table`, `query`, …). */
+    targetKind: string;
+    access: 'read' | 'write' | 'unknown';
+    /** `metadata.synthesizedBy` of the reference edge. */
+    via: string | null;
+    /** Set when the table was reached through a saved query. */
+    throughQuery?: string;
+    /**
+     * `edge-source` — the reference edge starts at the procedure itself.
+     * `source-line` — it starts at the module node and was attributed to this
+     * procedure because the edge's line falls inside its range.
+     */
+    attributedBy: 'edge-source' | 'source-line';
+    location: string;
+}
+export interface BehaviorAmbiguity {
+    name: string;
+    matches: Array<{
+        id: string;
+        kind: string;
+        filePath: string;
+        layout: string | null;
+    }>;
+}
+export interface BehaviorUnresolvedReference {
+    /** Procedure the unresolved reference sits in, when it could be attributed. */
+    procedure: string | null;
+    referenceName: string;
+    referenceKind: string;
+    location: string;
+}
+export interface BehaviorEvidenceResult {
+    /** What the request resolved to, or null when it resolved to nothing. */
+    target: BehaviorEvidenceTarget | null;
+    /** The consumer compatibility payload. */
+    evidence: CodeGraphBehaviorEvidence[];
+    context: {
+        handlers: BehaviorHandlerContext[];
+        data: BehaviorDataEvidence[];
+        unresolved: BehaviorUnresolvedReference[];
+        /** Populated only when a name matched more than one node. */
+        ambiguous: BehaviorAmbiguity[];
+        truncated: {
+            /** A path hit `maxCallDepth` and was cut short. */
+            callDepth: boolean;
+            /** Entries were dropped at `maxResults`. */
+            results: boolean;
+            /** A path re-entered a procedure already on it. */
+            cycle: boolean;
+        };
+        /** See {@link BEHAVIOR_EVIDENCE_NOTES}. */
+        notes: string[];
+    };
+}
+/**
+ * The closed vocabulary of `context.notes`.
+ *
+ * - `MISSING_TARGET_SELECTOR` — neither `nodeId` nor `name` was given.
+ * - `TARGET_NOT_FOUND` — nothing in the index matches. A lookup miss, not
+ *   proof the control has no behavior.
+ * - `AMBIGUOUS_TARGET` — the name matches several nodes; see
+ *   `context.ambiguous`. No evidence is returned, and nothing is guessed.
+ * - `NO_HANDLER_BOUND` — the target exists but no handler is wired to it in
+ *   the index. Access macros and `[Event Procedure]` entries with no
+ *   code-behind land here.
+ * - `STATIC_SOURCE_EVIDENCE` — always present. The answer comes from indexed
+ *   exported source: it does not prove the code ran, and it says nothing
+ *   about whether the `.accdb` binary matches the export.
+ */
+export declare const BEHAVIOR_EVIDENCE_NOTES: readonly ["MISSING_TARGET_SELECTOR", "TARGET_NOT_FOUND", "AMBIGUOUS_TARGET", "NO_HANDLER_BOUND", "STATIC_SOURCE_EVIDENCE"];
+/**
+ * Assembles behavior evidence for one control, layout or handler.
+ *
+ * Pure read path over {@link QueryBuilder}: no new SQL, no second traversal
+ * implementation, no writes.
+ */
+export declare function buildBehaviorEvidence(queries: QueryBuilder, request: BehaviorEvidenceRequest): BehaviorEvidenceResult;
+//# sourceMappingURL=behavior-evidence.d.ts.map

package/lib/dist/graph/behavior-evidence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"behavior-evidence.d.ts","sourceRoot":"","sources":["../../src/graph/behavior-evidence.ts"],"names":[],"mappings":"AAsCA,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAG7C;;;;;GAKG;AACH,MAAM,WAAW,yBAAyB;IACxC,mDAAmD;IACnD,OAAO,EAAE,MAAM,CAAC;IAChB;;;;;;OAMG;IACH,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,yEAAyE;IACzE,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB,8CAA8C;IAC9C,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;CACpB;AAED;;;;;;;;;GASG;AACH,eAAO,MAAM,0BAA0B,mIAO7B,CAAC;AAEX,0DAA0D;AAC1D,MAAM,MAAM,oBAAoB;AAC9B,oDAAoD;AAClD,SAAS;AACX,kDAAkD;GAChD,MAAM;AACR,4DAA4D;GAC1D,YAAY;AACd,uEAAuE;GACrE,QAAQ,CAAC;AAEb,MAAM,WAAW,uBAAuB;IACtC,+DAA+D;IAC/D,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,0EAA0E;IAC1E,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;;;OAIG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,2DAA2D;IAC3D,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,+DAA+D;IAC/D,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,sBAAsB;IACrC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,6DAA6D;IAC7D,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CACvB;AAED,MAAM,WAAW,sBAAsB;IACrC,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,sEAAsE;IACtE,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,KAAK,EAAE,oBAAoB,CAAC;IAC5B,UAAU,EAAE,MAAM,CAAC;IACnB,sCAAsC;IACtC,QAAQ,EAAE,MAAM,CAAC;IACjB,kEAAkE;IAClE,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;CACxB;AAED,MAAM,WAAW,oBAAoB;IACnC,iDAAiD;IACjD,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,yEAAyE;IACzE,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC;IACrC,sDAAsD;IACtD,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IACnB,4DAA4D;IAC5D,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,YAAY,EAAE,aAAa,GAAG,aAAa,CAAC;IAC5C,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC,CAAC;CACvF;AAED,MAAM,WAAW,2BAA2B;IAC1C,+EAA+E;IAC/E,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,sBAAsB;IACrC,yEAAyE;IACzE,MAAM,EAAE,sBAAsB,GAAG,IAAI,CAAC;IACtC,0CAA0C;IAC1C,QAAQ,EAAE,yBAAyB,EAAE,CAAC;IACtC,OAAO,EAAE;QACP,QAAQ,EAAE,sBAAsB,EAAE,CAAC;QACnC,IAAI,EAAE,oBAAoB,EAAE,CAAC;QAC7B,UAAU,EAAE,2BAA2B,EAAE,CAAC;QAC1C,6DAA6D;QAC7D,SAAS,EAAE,iBAAiB,EAAE,CAAC;QAC/B,SAAS,EAAE;YACT,mDAAmD;YACnD,SAAS,EAAE,OAAO,CAAC;YACnB,4CAA4C;YAC5C,OAAO,EAAE,OAAO,CAAC;YACjB,mDAAmD;YACnD,KAAK,EAAE,OAAO,CAAC;SAChB,CAAC;QACF,2CAA2C;QAC3C,KAAK,EAAE,MAAM,EAAE,CAAC;KACjB,CAAC;CACH;AAED;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,uBAAuB,4HAM1B,CAAC;AAuEX;;;;;GAKG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,YAAY,EACrB,OAAO,EAAE,uBAAuB,GAC/B,sBAAsB,CAgXxB"}