code-auditor-mcp 4.1.1 → 5.0.1

package/dist/analyzers/tsExpressionDescriptor.js

@@ -0,0 +1,374 @@
+/**
+ * TS within-file-provenance split — the classify arm + the serializable descriptor
+ * (Spec 70 Item 4 / Item 3).
+ *
+ * `computeTsWithinFileProvenance` (receiverResolution.ts) reaches a fixed point
+ * over a file's AST: package-import seeds → propagation → wrapper classes →
+ * DB-returning functions, ≤10 passes. The phase model's collapse of the
+ * double-parse needs that same result *without* a second parse, so the work is
+ * split the way Go already splits it (`buildGoBindingEnv` = extract,
+ * `classifyGoBindings` = classify):
+ *
+ *   • extract  — `extractTsWithinFileProvenance` (provenance.ts, where the AST
+ *                walkers live) projects everything the fixed point reads into a
+ *                serializable {@link TsWithinFileProvenanceExtract}.
+ *   • classify — this module re-runs the fixed point over the projection, with no
+ *                AST, no adapter, and no source text.
+ *
+ * The two are pinned byte-identical by `spec70-ts-within-file-parity.spec.ts`:
+ * `classifyTsWithinFileProvenance(extractTsWithinFileProvenance(ast, …))` must
+ * equal `computeTsWithinFileProvenance(ast, …)` for every fixture.
+ *
+ * The descriptor is a **closed set** — five structured shapes plus an `unproven`
+ * residue — not a general expression serializer. It projects exactly the shapes
+ * `tryPropagateFromExpression` / `tryCallProvenance` / `delegatesToProvenanced`
+ * dispatch on, and nothing else.
+ */
+import { classifyRootIdentifier } from './receiverRoot.js';
+const _residueIsOnlyUnproven = true;
+// @ts-expect-error — a structured kind lacking a classify arm would widen this to a non-never type
+const _missingDescriptorArm = 'unproven';
+// ═══════════════════════════════════════════════════════════════════════════
+// Classify helpers — descriptor mirrors of the provenance.ts node walkers
+// ═══════════════════════════════════════════════════════════════════════════
+/** Mirror of `lookupEvidence`: evidence for `name`, or null when empty/unprovenanced. */
+function lookupEvidence(provenanceMap, name) {
+    if (name && provenanceMap.has(name))
+        return provenanceMap.get(name);
+    return null;
+}
+/**
+ * Mirror of `resolveReceiverText` (the `getMemberExpressionReceiver` descent). A
+ * bare identifier yields its name; a member yields its full source text (no further
+ * descent — `getNodeText` of the object); a call descends into its callee; anything
+ * else (`this`/`super`/literal — all `unproven` here) yields null.
+ */
+function resolveReceiverRootText(desc) {
+    if (!desc)
+        return null;
+    switch (desc.kind) {
+        case 'identifier':
+            return desc.name;
+        case 'member':
+            return desc.text;
+        case 'call':
+            return resolveReceiverRootText(desc.callee);
+        default:
+            return null;
+    }
+}
+/**
+ * Mirror of `resolveReceiverRoot`: resolve a member/call/identifier descriptor to
+ * its leftmost root identifier, descending through builder-chain calls and
+ * `this`/`super` first-segments. A `this`/`super` object collapses to `unproven`
+ * in the descriptor, so it is recovered from the member's folded `text` — the
+ * property after `this.`/`super.` is the same first segment `resolveReceiverRoot`
+ * returns. A literal receiver resolves to null, matching the source.
+ */
+function resolveDescriptorRoot(desc) {
+    if (!desc)
+        return null;
+    switch (desc.kind) {
+        case 'identifier':
+            return desc.name;
+        case 'member':
+            if (desc.receiver?.kind === 'unproven') {
+                const text = desc.text ?? '';
+                if ((text.startsWith('this.') || text.startsWith('super.')) && desc.property) {
+                    return desc.property;
+                }
+                return null; // a literal receiver — not an identifier root
+            }
+            return resolveDescriptorRoot(desc.receiver);
+        case 'call':
+            return resolveDescriptorRoot(desc.callee);
+        case 'await':
+            return desc.operand ? resolveDescriptorRoot(desc.operand) : null;
+        default:
+            return null;
+    }
+}
+/**
+ * Mirror of `delegatesToProvenanced`: a call delegates when its callee is a
+ * provenanced identifier, or a member whose receiver (full text or any dotted
+ * segment) is provenanced *and* whose root's declaration is DB-shaped. The root
+ * disposition comes from `classifyRootIdentifier` with an empty provenance env, so
+ * the receiver's own declaration (a JS global / primitive / literal → not-handle)
+ * is consulted rather than its propagated provenance — `join` is
+ * `Array.prototype.join` and also `SQL JOIN`, so the method name cannot decide.
+ */
+function delegatesToProvenanced(callee, provenanceMap, bindings) {
+    if (!callee)
+        return false;
+    if (callee.kind === 'identifier') {
+        return provenanceMap.has(callee.name);
+    }
+    if (callee.kind === 'member') {
+        const receiver = resolveReceiverRootText(callee.receiver);
+        if (!receiver)
+            return false;
+        const receiverProvenanced = provenanceMap.has(receiver) ||
+            // Compound receivers ("env.DB", "db.users") — match any dotted segment.
+            receiver.split('.').some((part) => provenanceMap.has(part));
+        if (!receiverProvenanced)
+            return false;
+        const root = resolveDescriptorRoot(callee);
+        if (root === null)
+            return false;
+        const env = {
+            provenance: new Map(),
+            bindings,
+            adapter: undefined,
+            sourceCode: '',
+        };
+        return classifyRootIdentifier(root, env) !== 'not-handle';
+    }
+    return false;
+}
+/** Mirror of `tryProvenancedArgument` (S5f — higher-order wrapper forwards a handle). */
+function classifyProvenancedArgument(args, provenanceMap, localFunctions, calleeName) {
+    if (localFunctions && calleeName && localFunctions.has(calleeName))
+        return null;
+    for (const arg of args) {
+        const evidence = classifyTsExpression(arg, provenanceMap, localFunctions);
+        if (evidence) {
+            return {
+                identifier: evidence.identifier,
+                reason: 'wrapper',
+                source: `higher-order wrapper forwards DB handle \`${evidence.identifier}\``,
+                chain: evidence.chain,
+            };
+        }
+    }
+    return null;
+}
+/** Mirror of `tryCallProvenance` (rules 2/3 + S5f). */
+function classifyCall(desc, provenanceMap, localFunctions) {
+    const callee = desc.callee;
+    if (!callee)
+        return null;
+    if (callee.kind === 'identifier') {
+        const evidence = lookupEvidence(provenanceMap, callee.name);
+        if (evidence)
+            return evidence;
+        const argEvidence = classifyProvenancedArgument(desc.args, provenanceMap, localFunctions, callee.name);
+        if (argEvidence)
+            return argEvidence;
+    }
+    if (callee.kind === 'member') {
+        const receiver = resolveReceiverRootText(callee.receiver);
+        const evidence = lookupEvidence(provenanceMap, receiver);
+        if (evidence)
+            return evidence;
+    }
+    return null;
+}
+/**
+ * Mirror of `tryPropagateFromExpression` over the descriptor. Returns the
+ * DB-provenanced evidence the expression names, or null when it names none.
+ */
+function classifyTsExpression(desc, provenanceMap, localFunctions) {
+    switch (desc.kind) {
+        case 'await':
+            return desc.operand ? classifyTsExpression(desc.operand, provenanceMap, localFunctions) : null;
+        case 'new':
+            return lookupEvidence(provenanceMap, desc.ctorName);
+        case 'call':
+            return classifyCall(desc, provenanceMap, localFunctions);
+        case 'identifier':
+            return lookupEvidence(provenanceMap, desc.name);
+        case 'member':
+            return lookupEvidence(provenanceMap, resolveReceiverRootText(desc.receiver));
+        case 'unproven':
+            return null;
+    }
+}
+/** Mirror of `applyPropagationRule` over one projected rule. */
+function classifyPropagationRule(rule, provenanceMap, localFunctions) {
+    switch (rule.kind) {
+        case 'variable-declarator': {
+            if (!rule.value)
+                return false;
+            const propagated = classifyTsExpression(rule.value, provenanceMap, localFunctions);
+            if (!propagated)
+                return false;
+            let mutated = false;
+            for (const varName of rule.names) {
+                if (!provenanceMap.has(varName)) {
+                    provenanceMap.set(varName, {
+                        identifier: varName,
+                        reason: 'propagation',
+                        source: propagated.source,
+                        chain: [...propagated.chain, propagated.identifier],
+                        packageName: propagated.packageName,
+                    });
+                    mutated = true;
+                }
+            }
+            return mutated;
+        }
+        case 'default-parameter': {
+            const propagated = classifyTsExpression(rule.value, provenanceMap, localFunctions);
+            if (propagated && !provenanceMap.has(rule.name)) {
+                provenanceMap.set(rule.name, {
+                    identifier: rule.name,
+                    reason: 'propagation',
+                    source: `default parameter = ${propagated.source}`,
+                    chain: [...propagated.chain, propagated.identifier],
+                    packageName: propagated.packageName,
+                });
+                return true;
+            }
+            return false;
+        }
+        case 'class-field': {
+            const propagated = classifyTsExpression(rule.value, provenanceMap, localFunctions);
+            if (propagated && !provenanceMap.has(rule.field)) {
+                provenanceMap.set(rule.field, {
+                    identifier: rule.field,
+                    reason: 'propagation',
+                    source: `class field initialized from ${propagated.source}`,
+                    chain: [...propagated.chain, propagated.identifier],
+                    packageName: propagated.packageName,
+                });
+                return true;
+            }
+            return false;
+        }
+        case 'member-assignment': {
+            const propagated = classifyTsExpression(rule.value, provenanceMap, localFunctions);
+            if (propagated && !provenanceMap.has(rule.field)) {
+                provenanceMap.set(rule.field, {
+                    identifier: rule.field,
+                    reason: 'propagation',
+                    source: `this.${rule.field} assigned from ${propagated.source}`,
+                    chain: [...propagated.chain, propagated.identifier],
+                    packageName: propagated.packageName,
+                });
+                return true;
+            }
+            return false;
+        }
+    }
+}
+// ═══════════════════════════════════════════════════════════════════════════
+// The fixed point (classify)
+// ═══════════════════════════════════════════════════════════════════════════
+/**
+ * Mirror of `propagateProvenance` over the projection's rule list.
+ * @param extract - The provenance-free within-file projection (rules + seeds).
+ * @param provenanceMap - The starting provenance map to propagate into.
+ * @returns The map after the propagation rules reach a fixed point.
+ */
+export function propagateProvenanceFromExtract(extract, provenanceMap) {
+    const map = new Map(provenanceMap);
+    const localFunctions = extract.localFunctions;
+    let changed = true;
+    let iterations = 0;
+    const MAX_ITERATIONS = 10;
+    while (changed && iterations < MAX_ITERATIONS) {
+        changed = false;
+        iterations++;
+        for (const rule of extract.propagationRules) {
+            if (classifyPropagationRule(rule, map, localFunctions))
+                changed = true;
+        }
+    }
+    return map;
+}
+/** Mirror of `detectDbWrappers` (functions then classes) over the projection. */
+function detectDbWrappersFromExtract(extract, provenanceMap) {
+    detectDbWrapperFunctionsFromExtract(extract, provenanceMap);
+    for (const cls of extract.wrapperClasses) {
+        if (provenanceMap.has(cls.name))
+            continue;
+        const isWrapper = cls.classCalls.some((cc) => {
+            if (cc.kind === 'new') {
+                return cc.ctorName !== null && provenanceMap.has(cc.ctorName);
+            }
+            return cc.isD1Rest || delegatesToProvenanced(cc.callee, provenanceMap, extract.bindings);
+        });
+        if (isWrapper) {
+            provenanceMap.set(cls.name, {
+                identifier: cls.name,
+                reason: 'wrapper',
+                source: 'class body constructs or calls a DB driver',
+                chain: [],
+            });
+        }
+    }
+    return provenanceMap;
+}
+/**
+ * Mirror of `detectDbWrappers`' *function* arm over the projection — the exact
+ * step `buildProvenanceContext` runs (functions only, no classes). The build-side
+ * provenance the four receiver consumers read stops at function wrappers; the
+ * classify-side fixed point (`classifyTsWithinFileProvenance`) additionally scans
+ * classes and returning functions, so the two need distinct mirrors.
+ * @param extract - The provenance-free within-file projection (wrapper functions).
+ * @param provenanceMap - The provenance map to fold wrapper names into.
+ * @returns The map with any function wrappers marked provenanced.
+ */
+export function detectDbWrapperFunctionsFromExtract(extract, provenanceMap) {
+    for (const fn of extract.wrapperFunctions) {
+        if (provenanceMap.has(fn.name))
+            continue;
+        const isWrapper = fn.ownCalls.some((call) => call.isD1Rest || delegatesToProvenanced(call.callee, provenanceMap, extract.bindings));
+        if (isWrapper) {
+            provenanceMap.set(fn.name, {
+                identifier: fn.name,
+                reason: 'wrapper',
+                source: 'function body performs a DB operation',
+                chain: [],
+            });
+        }
+    }
+    return provenanceMap;
+}
+/** Mirror of `detectDbReturningFunctions` over the projection. */
+function detectDbReturningFunctionsFromExtract(extract, provenanceMap) {
+    for (const fn of extract.returningFunctions) {
+        if (provenanceMap.has(fn.name))
+            continue;
+        // `functionReturnsProvenanced` calls `tryPropagateFromExpression` with NO
+        // localFunctions argument, so S5f's local-function guard is absent here.
+        const returnsProvenanced = fn.returnExprs.some((expr) => classifyTsExpression(expr, provenanceMap, undefined) !== null);
+        if (returnsProvenanced) {
+            provenanceMap.set(fn.name, {
+                identifier: fn.name,
+                reason: 'propagation',
+                source: 'returns a DB-provenanced construction',
+                chain: [],
+            });
+        }
+    }
+    return provenanceMap;
+}
+/**
+ * Re-run `computeTsWithinFileProvenance`'s fixed point over a serializable
+ * projection, with no AST. `classifyTsWithinFileProvenance(
+ * extractTsWithinFileProvenance(ast, …), extraSeeds)` must equal
+ * `computeTsWithinFileProvenance(ast, …, extraSeeds)` — pinned by the parity spec.
+ * @param extract - The provenance-free within-file projection to classify.
+ * @param extraSeeds - Additional cross-file provenanced names to seed the map with.
+ * @returns The file's provenance map after the fixed point converges.
+ */
+export function classifyTsWithinFileProvenance(extract, extraSeeds = new Map()) {
+    const seeds = new Map(extract.seeds);
+    for (const [name, evidence] of extraSeeds) {
+        if (!seeds.has(name))
+            seeds.set(name, evidence);
+    }
+    let prov = new Map(seeds);
+    const MAX_PASSES = 10;
+    for (let pass = 0; pass < MAX_PASSES; pass++) {
+        const before = prov.size;
+        prov = propagateProvenanceFromExtract(extract, prov);
+        prov = detectDbWrappersFromExtract(extract, prov);
+        prov = detectDbReturningFunctionsFromExtract(extract, prov);
+        if (prov.size === before)
+            break;
+    }
+    return prov;
+}
+//# sourceMappingURL=tsExpressionDescriptor.js.map

package/dist/analyzers/tsExpressionDescriptor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tsExpressionDescriptor.js","sourceRoot":"","sources":["../../src/analyzers/tsExpressionDescriptor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,EAAE,sBAAsB,EAAwC,MAAM,mBAAmB,CAAC;AAoCjG,MAAM,sBAAsB,GAA+D,IAAI,CAAC;AAEhG,mGAAmG;AACnG,MAAM,qBAAqB,GAAkD,UAAU,CAAC;AAuDxF,8EAA8E;AAC9E,0EAA0E;AAC1E,8EAA8E;AAE9E,yFAAyF;AACzF,SAAS,cAAc,CACrB,aAAsD,EACtD,IAAmB;IAEnB,IAAI,IAAI,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,aAAa,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;IACrE,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAS,uBAAuB,CAAC,IAAmC;IAClE,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,YAAY;YACf,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,uBAAuB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9C;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,qBAAqB,CAAC,IAAmC;IAChE,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,YAAY;YACf,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,KAAK,QAAQ;YACX,IAAI,IAAI,CAAC,QAAQ,EAAE,IAAI,KAAK,UAAU,EAAE,CAAC;gBACvC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC;gBAC7B,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;oBAC7E,OAAO,IAAI,CAAC,QAAQ,CAAC;gBACvB,CAAC;gBACD,OAAO,IAAI,CAAC,CAAC,8CAA8C;YAC7D,CAAC;YACD,OAAO,qBAAqB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC9C,KAAK,MAAM;YACT,OAAO,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5C,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACnE;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,sBAAsB,CAC7B,MAAqC,EACrC,aAAsD,EACtD,QAAsC;IAEtC,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAE1B,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACjC,OAAO,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,uBAAuB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC1D,IAAI,CAAC,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC5B,MAAM,mBAAmB,GACvB,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC;YAC3B,wEAAwE;YACxE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9D,IAAI,CAAC,mBAAmB;YAAE,OAAO,KAAK,CAAC;QACvC,MAAM,IAAI,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;QAC3C,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;QAChC,MAAM,GAAG,GAAG;YACV,UAAU,EAAE,IAAI,GAAG,EAAE;YACrB,QAAQ;YACR,OAAO,EAAE,SAAS;YAClB,UAAU,EAAE,EAAE;SACiB,CAAC;QAClC,OAAO,sBAAsB,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,YAAY,CAAC;IAC5D,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,yFAAyF;AACzF,SAAS,2BAA2B,CAClC,IAAuC,EACvC,aAAsD,EACtD,cAA+C,EAC/C,UAAkB;IAElB,IAAI,cAAc,IAAI,UAAU,IAAI,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAEhF,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,QAAQ,GAAG,oBAAoB,CAAC,GAAG,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;QAC1E,IAAI,QAAQ,EAAE,CAAC;YACb,OAAO;gBACL,UAAU,EAAE,QAAQ,CAAC,UAAU;gBAC/B,MAAM,EAAE,SAAS;gBACjB,MAAM,EAAE,6CAA6C,QAAQ,CAAC,UAAU,IAAI;gBAC5E,KAAK,EAAE,QAAQ,CAAC,KAAK;aACtB,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,uDAAuD;AACvD,SAAS,YAAY,CACnB,IAAuD,EACvD,aAAsD,EACtD,cAA+C;IAE/C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAEzB,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACjC,MAAM,QAAQ,GAAG,cAAc,CAAC,aAAa,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;QAC5D,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC;QAC9B,MAAM,WAAW,GAAG,2BAA2B,CAAC,IAAI,CAAC,IAAI,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;QACvG,IAAI,WAAW;YAAE,OAAO,WAAW,CAAC;IACtC,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,uBAAuB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC1D,MAAM,QAAQ,GAAG,cAAc,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;QACzD,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC;IAChC,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,SAAS,oBAAoB,CAC3B,IAA4B,EAC5B,aAAsD,EACtD,cAA+C;IAE/C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,OAAO,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACjG,KAAK,KAAK;YACR,OAAO,cAAc,CAAC,aAAa,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtD,KAAK,MAAM;YACT,OAAO,YAAY,CAAC,IAAI,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;QAC3D,KAAK,YAAY;YACf,OAAO,cAAc,CAAC,aAAa,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAClD,KAAK,QAAQ;YACX,OAAO,cAAc,CAAC,aAAa,EAAE,uBAAuB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC/E,KAAK,UAAU;YACb,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,gEAAgE;AAChE,SAAS,uBAAuB,CAC9B,IAAqB,EACrB,aAA8C,EAC9C,cAAmC;IAEnC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,IAAI,CAAC,IAAI,CAAC,KAAK;gBAAE,OAAO,KAAK,CAAC;YAC9B,MAAM,UAAU,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;YACnF,IAAI,CAAC,UAAU;gBAAE,OAAO,KAAK,CAAC;YAC9B,IAAI,OAAO,GAAG,KAAK,CAAC;YACpB,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACjC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;oBAChC,aAAa,CAAC,GAAG,CAAC,OAAO,EAAE;wBACzB,UAAU,EAAE,OAAO;wBACnB,MAAM,EAAE,aAAa;wBACrB,MAAM,EAAE,UAAU,CAAC,MAAM;wBACzB,KAAK,EAAE,CAAC,GAAG,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,UAAU,CAAC;wBACnD,WAAW,EAAE,UAAU,CAAC,WAAW;qBACpC,CAAC,CAAC;oBACH,OAAO,GAAG,IAAI,CAAC;gBACjB,CAAC;YACH,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,MAAM,UAAU,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;YACnF,IAAI,UAAU,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChD,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE;oBAC3B,UAAU,EAAE,IAAI,CAAC,IAAI;oBACrB,MAAM,EAAE,aAAa;oBACrB,MAAM,EAAE,uBAAuB,UAAU,CAAC,MAAM,EAAE;oBAClD,KAAK,EAAE,CAAC,GAAG,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,UAAU,CAAC;oBACnD,WAAW,EAAE,UAAU,CAAC,WAAW;iBACpC,CAAC,CAAC;gBACH,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,UAAU,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;YACnF,IAAI,UAAU,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjD,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE;oBAC5B,UAAU,EAAE,IAAI,CAAC,KAAK;oBACtB,MAAM,EAAE,aAAa;oBACrB,MAAM,EAAE,gCAAgC,UAAU,CAAC,MAAM,EAAE;oBAC3D,KAAK,EAAE,CAAC,GAAG,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,UAAU,CAAC;oBACnD,WAAW,EAAE,UAAU,CAAC,WAAW;iBACpC,CAAC,CAAC;gBACH,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,MAAM,UAAU,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC;YACnF,IAAI,UAAU,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjD,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE;oBAC5B,UAAU,EAAE,IAAI,CAAC,KAAK;oBACtB,MAAM,EAAE,aAAa;oBACrB,MAAM,EAAE,QAAQ,IAAI,CAAC,KAAK,kBAAkB,UAAU,CAAC,MAAM,EAAE;oBAC/D,KAAK,EAAE,CAAC,GAAG,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,UAAU,CAAC;oBACnD,WAAW,EAAE,UAAU,CAAC,WAAW;iBACpC,CAAC,CAAC;gBACH,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,6BAA6B;AAC7B,8EAA8E;AAE9E;;;;;GAKG;AACH,MAAM,UAAU,8BAA8B,CAC5C,OAAsC,EACtC,aAAsD;IAEtD,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC;IACnC,MAAM,cAAc,GAAG,OAAO,CAAC,cAAc,CAAC;IAC9C,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,MAAM,cAAc,GAAG,EAAE,CAAC;IAE1B,OAAO,OAAO,IAAI,UAAU,GAAG,cAAc,EAAE,CAAC;QAC9C,OAAO,GAAG,KAAK,CAAC;QAChB,UAAU,EAAE,CAAC;QACb,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,gBAAgB,EAAE,CAAC;YAC5C,IAAI,uBAAuB,CAAC,IAAI,EAAE,GAAG,EAAE,cAAc,CAAC;gBAAE,OAAO,GAAG,IAAI,CAAC;QACzE,CAAC;IACH,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC;AAED,iFAAiF;AACjF,SAAS,2BAA2B,CAClC,OAAsC,EACtC,aAA8C;IAE9C,mCAAmC,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;IAE5D,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;QACzC,IAAI,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAC1C,MAAM,SAAS,GAAG,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE;YAC3C,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBACtB,OAAO,EAAE,CAAC,QAAQ,KAAK,IAAI,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;YAChE,CAAC;YACD,OAAO,EAAE,CAAC,QAAQ,IAAI,sBAAsB,CAAC,EAAE,CAAC,MAAM,EAAE,aAAa,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC3F,CAAC,CAAC,CAAC;QACH,IAAI,SAAS,EAAE,CAAC;YACd,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE;gBAC1B,UAAU,EAAE,GAAG,CAAC,IAAI;gBACpB,MAAM,EAAE,SAAS;gBACjB,MAAM,EAAE,4CAA4C;gBACpD,KAAK,EAAE,EAAE;aACV,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,aAAa,CAAC;AACvB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,mCAAmC,CACjD,OAAsC,EACtC,aAA8C;IAE9C,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,gBAAgB,EAAE,CAAC;QAC1C,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;YAAE,SAAS;QACzC,MAAM,SAAS,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAChC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,IAAI,sBAAsB,CAAC,IAAI,CAAC,MAAM,EAAE,aAAa,EAAE,OAAO,CAAC,QAAQ,CAAC,CAChG,CAAC;QACF,IAAI,SAAS,EAAE,CAAC;YACd,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE;gBACzB,UAAU,EAAE,EAAE,CAAC,IAAI;gBACnB,MAAM,EAAE,SAAS;gBACjB,MAAM,EAAE,uCAAuC;gBAC/C,KAAK,EAAE,EAAE;aACV,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,aAAa,CAAC;AACvB,CAAC;AAED,kEAAkE;AAClE,SAAS,qCAAqC,CAC5C,OAAsC,EACtC,aAA8C;IAE9C,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,kBAAkB,EAAE,CAAC;QAC5C,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;YAAE,SAAS;QACzC,0EAA0E;QAC1E,yEAAyE;QACzE,MAAM,kBAAkB,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAC5C,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,aAAa,EAAE,SAAS,CAAC,KAAK,IAAI,CACxE,CAAC;QACF,IAAI,kBAAkB,EAAE,CAAC;YACvB,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE;gBACzB,UAAU,EAAE,EAAE,CAAC,IAAI;gBACnB,MAAM,EAAE,aAAa;gBACrB,MAAM,EAAE,uCAAuC;gBAC/C,KAAK,EAAE,EAAE;aACV,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,aAAa,CAAC;AACvB,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,8BAA8B,CAC5C,OAAsC,EACtC,aAAsD,IAAI,GAAG,EAAE;IAE/D,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,UAAU,EAAE,CAAC;QAC1C,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAClD,CAAC;IAED,IAAI,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IAC1B,MAAM,UAAU,GAAG,EAAE,CAAC;IACtB,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,UAAU,EAAE,IAAI,EAAE,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC;QACzB,IAAI,GAAG,8BAA8B,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACrD,IAAI,GAAG,2BAA2B,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAClD,IAAI,GAAG,qCAAqC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC5D,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,MAAM;IAClC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/analyzers/universal/UniversalConventionsAnalyzer.d.ts

@@ -54,6 +54,12 @@ export declare class UniversalConventionsAnalyzer extends UniversalAnalyzer {
      * that have error handling but use a different shape.
      *
      * Functions with NO error handling are excluded — never flagged.
+     *
+     * `body IS NOT NULL` is NOT the row filter (Spec 64 R1). The detector is
+     * TypeScript-shaped, so a row in an unhandled language is reported (via a
+     * `cannot-fire` diagnostic) rather than silently skipped, and a handled-
+     * language row with a missing body (e.g. an overload signature) is reported as
+     * an index defect rather than folded into "no error handling".
      */
     private detectErrorHandlingViolations;
     /**

package/dist/analyzers/universal/UniversalConventionsAnalyzer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"UniversalConventionsAnalyzer.d.ts","sourceRoot":"","sources":["../../../src/analyzers/universal/UniversalConventionsAnalyzer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,EAAE,iBAAiB,EAAE,MAAM,sCAAsC,CAAC;AAEzE,OAAO,KAAK,EAAE,cAAc,EAAa,yBAAyB,EAAE,MAAM,gBAAgB,CAAC;AAmB3F,eAAO,MAAM,0BAA0B,EAAE,yBAKxC,CAAC;AAgDF;;GAEG;AACH,qBAAa,4BAA6B,SAAQ,iBAAiB;IACjE,QAAQ,CAAC,IAAI,iBAAiB;IAC9B,QAAQ,CAAC,WAAW,sEACiD;IACrE,QAAQ,CAAC,QAAQ,WAAW;IAE5B;;;;;;;OAOG;IACG,OAAO,CACX,KAAK,EAAE,MAAM,EAAE,EACf,MAAM,GAAE,GAAQ,EAChB,OAAO,GAAE,GAAQ,GAChB,OAAO,CAAC,cAAc,CAAC;IAyC1B,6EAA6E;IAC7E,OAAO,CAAC,UAAU;IAoBlB,yCAAyC;IACnC,UAAU,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IAIlC;;OAEG;IACH,OAAO,CAAC,eAAe;IAwCvB;;;OAGG;IACH,OAAO,CAAC,yBAAyB;IAsCjC;;;OAGG;IACH,OAAO,CAAC,0BAA0B;IAmDlC;;;;;OAKG;IACH,OAAO,CAAC,6BAA6B;IA4BrC;;;OAGG;IACH,OAAO,CAAC,2BAA2B;IA6BnC;;;;OAIG;IACH,OAAO,CAAC,sBAAsB;CAyB/B"}
+{"version":3,"file":"UniversalConventionsAnalyzer.d.ts","sourceRoot":"","sources":["../../../src/analyzers/universal/UniversalConventionsAnalyzer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,EAAE,iBAAiB,EAAE,MAAM,sCAAsC,CAAC;AAEzE,OAAO,KAAK,EAAE,cAAc,EAAa,yBAAyB,EAAmC,MAAM,gBAAgB,CAAC;AAkB5H,eAAO,MAAM,0BAA0B,EAAE,yBAKxC,CAAC;AA0DF;;GAEG;AACH,qBAAa,4BAA6B,SAAQ,iBAAiB;IACjE,QAAQ,CAAC,IAAI,iBAAiB;IAC9B,QAAQ,CAAC,WAAW,sEACiD;IACrE,QAAQ,CAAC,QAAQ,WAAW;IAE5B;;;;;;;OAOG;IACG,OAAO,CACX,KAAK,EAAE,MAAM,EAAE,EACf,MAAM,GAAE,GAAQ,EAChB,OAAO,GAAE,GAAQ,GAChB,OAAO,CAAC,cAAc,CAAC;IA0C1B,6EAA6E;IAC7E,OAAO,CAAC,UAAU;IAsBlB,yCAAyC;IACnC,UAAU,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;IAIlC;;OAEG;IACH,OAAO,CAAC,eAAe;IA0CvB;;;OAGG;IACH,OAAO,CAAC,yBAAyB;IAsCjC;;;OAGG;IACH,OAAO,CAAC,0BAA0B;IAmDlC;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,6BAA6B;IAoErC;;;OAGG;IACH,OAAO,CAAC,2BAA2B;IA6BnC;;;;OAIG;IACH,OAAO,CAAC,sBAAsB;CAyB/B"}