@descryy/core 0.4.0 → 0.5.0

package/dist/scoping/tiers.d.ts

@@ -1,12 +1,6 @@
 /**
- * Scope tiers — §12.7.
- *
- * | Tier | Criteria | Treatment |
- * | --- | --- | --- |
- * | 1 | Directly changed (the diff itself) | Always included |
- * | 2 | Impact score > ~0.7 | Included |
- * | 3 | Impact score ~0.3–0.7 | Included if budget allows |
- * | 4 | Impact score < ~0.3 | Dropped under budget pressure |
+ * Scope tiers (§12.7): 1 = seed, always included. 2 = score > 0.7, included.
+ * 3 = score 0.3–0.7, included if budget allows. 4 = score < 0.3, dropped under budget pressure.
  */
 export type ScopeTier = 1 | 2 | 3 | 4;
 export declare const TIER_THRESHOLDS: {
@@ -14,14 +8,8 @@ export declare const TIER_THRESHOLDS: {
     readonly tier3: 0.3;
 };
 export declare function tierFor(score: number, isSeed: boolean): ScopeTier;
-/**
- * Node budgets by trigger — DEC-007 / §12.6 for pre-push/pr/nightly.
- * `ide-hover` added P28: architecture §7.5 calls hover out as needing the
- * tightest budget of the seven AI-layer triggers but never gives a figure —
- * no DEC, no blueprint number, unlike the other three. 50 is a deliberate
- * starting value (a quarter of pre-push's 200), not a measurement; tune from
- * data like the rest.
- */
+/** Node budgets by trigger (DEC-007/§12.6 for pre-push/pr/nightly). `ide-hover`
+ *  (P28) has no DEC number; 50 is a starting value (quarter of pre-push), not measured. */
 export declare const NODE_BUDGETS: {
     readonly "pre-push": 200;
     readonly "ide-hover": 50;

package/dist/scoping/tiers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tiers.d.ts","sourceRoot":"","sources":["../../src/scoping/tiers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,MAAM,MAAM,SAAS,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAEtC,eAAO,MAAM,eAAe;;;CAAsC,CAAC;AAEnE,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,GAAG,SAAS,CAKjE;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,YAAY;;;;;CAKf,CAAC;AAEX,MAAM,MAAM,OAAO,GAAG,MAAM,OAAO,YAAY,CAAC"}
+{"version":3,"file":"tiers.d.ts","sourceRoot":"","sources":["../../src/scoping/tiers.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,MAAM,MAAM,SAAS,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAEtC,eAAO,MAAM,eAAe;;;CAAsC,CAAC;AAEnE,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,GAAG,SAAS,CAKjE;AAED;2FAC2F;AAC3F,eAAO,MAAM,YAAY;;;;;CAKf,CAAC;AAEX,MAAM,MAAM,OAAO,GAAG,MAAM,OAAO,YAAY,CAAC"}

package/dist/scoping/tiers.js

@@ -1,12 +1,6 @@
 /**
- * Scope tiers — §12.7.
- *
- * | Tier | Criteria | Treatment |
- * | --- | --- | --- |
- * | 1 | Directly changed (the diff itself) | Always included |
- * | 2 | Impact score > ~0.7 | Included |
- * | 3 | Impact score ~0.3–0.7 | Included if budget allows |
- * | 4 | Impact score < ~0.3 | Dropped under budget pressure |
+ * Scope tiers (§12.7): 1 = seed, always included. 2 = score > 0.7, included.
+ * 3 = score 0.3–0.7, included if budget allows. 4 = score < 0.3, dropped under budget pressure.
  */
 export const TIER_THRESHOLDS = { tier2: 0.7, tier3: 0.3 };
 export function tierFor(score, isSeed) {
@@ -18,14 +12,8 @@ export function tierFor(score, isSeed) {
         return 3;
     return 4;
 }
-/**
- * Node budgets by trigger — DEC-007 / §12.6 for pre-push/pr/nightly.
- * `ide-hover` added P28: architecture §7.5 calls hover out as needing the
- * tightest budget of the seven AI-layer triggers but never gives a figure —
- * no DEC, no blueprint number, unlike the other three. 50 is a deliberate
- * starting value (a quarter of pre-push's 200), not a measurement; tune from
- * data like the rest.
- */
+/** Node budgets by trigger (DEC-007/§12.6 for pre-push/pr/nightly). `ide-hover`
+ *  (P28) has no DEC number; 50 is a starting value (quarter of pre-push), not measured. */
 export const NODE_BUDGETS = {
     "pre-push": 200,
     "ide-hover": 50,

package/dist/scoping/tiers.js.map

@@ -1 +1 @@
-{"version":3,"file":"tiers.js","sourceRoot":"","sources":["../../src/scoping/tiers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAIH,MAAM,CAAC,MAAM,eAAe,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAW,CAAC;AAEnE,MAAM,UAAU,OAAO,CAAC,KAAa,EAAE,MAAe;IACpD,IAAI,MAAM;QAAE,OAAO,CAAC,CAAC;IACrB,IAAI,KAAK,GAAG,eAAe,CAAC,KAAK;QAAE,OAAO,CAAC,CAAC;IAC5C,IAAI,KAAK,IAAI,eAAe,CAAC,KAAK;QAAE,OAAO,CAAC,CAAC;IAC7C,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,UAAU,EAAE,GAAG;IACf,WAAW,EAAE,EAAE;IACf,EAAE,EAAE,KAAK;IACT,OAAO,EAAE,KAAK;CACN,CAAC"}
+{"version":3,"file":"tiers.js","sourceRoot":"","sources":["../../src/scoping/tiers.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,MAAM,CAAC,MAAM,eAAe,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAW,CAAC;AAEnE,MAAM,UAAU,OAAO,CAAC,KAAa,EAAE,MAAe;IACpD,IAAI,MAAM;QAAE,OAAO,CAAC,CAAC;IACrB,IAAI,KAAK,GAAG,eAAe,CAAC,KAAK;QAAE,OAAO,CAAC,CAAC;IAC5C,IAAI,KAAK,IAAI,eAAe,CAAC,KAAK;QAAE,OAAO,CAAC,CAAC;IAC7C,OAAO,CAAC,CAAC;AACX,CAAC;AAED;2FAC2F;AAC3F,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,UAAU,EAAE,GAAG;IACf,WAAW,EAAE,EAAE;IACf,EAAE,EAAE,KAAK;IACT,OAAO,EAAE,KAAK;CACN,CAAC"}

package/dist/scoping/traverse.d.ts

@@ -1,29 +1,7 @@
 /**
- * Diff scoping — §12.5's algorithm.
- *
- * Seeds are the changed nodes at score 1.0. Expansion is best-first on score and
- * stops when the score falls below the threshold — **never on hop count**, which
- * is the entire argument of §12.2: a delete reaching a payment gateway four hops
- * away matters, a logging import one hop away does not, and hop-count scoping
- * cannot tell them apart.
- *
- * ## Tier 1 is budget-exempt, and reported separately
- *
- * The diff itself is not a *result* of scoping, it is its input. A PR touching
- * 1,200 files would otherwise consume the entire 1,000-node PR budget on tier 1
- * alone and report zero impact — the answer would be least useful exactly when
- * the change is largest. Seeds are therefore always included and never counted
- * against the budget, and `budgetUsed` reports only what expansion spent.
- *
- * ## Pruning happens on the unboosted score
- *
- * A node's history boost is applied to its final score, not per hop (DEC-037),
- * so expansion cannot know a node's boosted score until it has been reached. The
- * prune point is therefore lowered by the largest boost the configuration
- * permits — otherwise a node that *would* clear the threshold once boosted is
- * discarded before its boost is ever computed. Admissible, in the A* sense: it
- * can keep a node that later scores below threshold, never drop one that would
- * have scored above it.
+ * §12.5 diff scoping: seeds are changed nodes at score 1.0; best-first expansion stops on score below
+ * threshold, never on hop count (§12.2). Tier 1 (the diff) is always included, budget-exempt, reported
+ * separately. Pruning uses the unboosted score, lowered by the max boost (DEC-037) — admissible: never drops a node that would clear the threshold once boosted.
  */
 import type { IREdge, IRNode } from "@descryy/ir";
 import type { AdjacencyProvider, QueryResult } from "../query/provider.ts";

package/dist/scoping/traverse.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"traverse.d.ts","sourceRoot":"","sources":["../../src/scoping/traverse.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,KAAK,EAAY,MAAM,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAE5D,OAAO,KAAK,EAAE,iBAAiB,EAAc,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAIvF,OAAO,EAAyB,KAAK,SAAS,EAAE,KAAK,OAAO,EAAE,MAAM,YAAY,CAAC;AACjF,OAAO,EAIL,KAAK,aAAa,EACnB,MAAM,cAAc,CAAC;AAEtB,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,qEAAqE;IACrE,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;CAC7B;AAED,MAAM,WAAW,KAAK;IACpB,iEAAiE;IACjE,QAAQ,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,CAAC;IACxC,mEAAmE;IACnE,QAAQ,CAAC,QAAQ,EAAE,SAAS,UAAU,EAAE,CAAC;IACzC,6EAA6E;IAC7E,QAAQ,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,8EAA8E;IAC9E,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC;IAChC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,mFAAmF;IACnF,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC;AASD,wBAAgB,WAAW,CACzB,QAAQ,EAAE,iBAAiB,EAC3B,UAAU,EAAE,SAAS,MAAM,EAAE,EAC7B,OAAO,GAAE,YAAiB,GACzB,WAAW,CAAC,KAAK,CAAC,CAsKpB"}
+{"version":3,"file":"traverse.d.ts","sourceRoot":"","sources":["../../src/scoping/traverse.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAY,MAAM,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAE5D,OAAO,KAAK,EAAE,iBAAiB,EAAc,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAIvF,OAAO,EAAyB,KAAK,SAAS,EAAE,KAAK,OAAO,EAAE,MAAM,YAAY,CAAC;AACjF,OAAO,EAIL,KAAK,aAAa,EACnB,MAAM,cAAc,CAAC;AAEtB,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,qEAAqE;IACrE,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;CAC7B;AAED,MAAM,WAAW,KAAK;IACpB,iEAAiE;IACjE,QAAQ,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,CAAC;IACxC,mEAAmE;IACnE,QAAQ,CAAC,QAAQ,EAAE,SAAS,UAAU,EAAE,CAAC;IACzC,6EAA6E;IAC7E,QAAQ,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,8EAA8E;IAC9E,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC;IAChC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,mFAAmF;IACnF,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC;AAKD,wBAAgB,WAAW,CACzB,QAAQ,EAAE,iBAAiB,EAC3B,UAAU,EAAE,SAAS,MAAM,EAAE,EAC7B,OAAO,GAAE,YAAiB,GACzB,WAAW,CAAC,KAAK,CAAC,CA6JpB"}

package/dist/scoping/traverse.js

@@ -1,49 +1,21 @@
 /**
- * Diff scoping — §12.5's algorithm.
- *
- * Seeds are the changed nodes at score 1.0. Expansion is best-first on score and
- * stops when the score falls below the threshold — **never on hop count**, which
- * is the entire argument of §12.2: a delete reaching a payment gateway four hops
- * away matters, a logging import one hop away does not, and hop-count scoping
- * cannot tell them apart.
- *
- * ## Tier 1 is budget-exempt, and reported separately
- *
- * The diff itself is not a *result* of scoping, it is its input. A PR touching
- * 1,200 files would otherwise consume the entire 1,000-node PR budget on tier 1
- * alone and report zero impact — the answer would be least useful exactly when
- * the change is largest. Seeds are therefore always included and never counted
- * against the budget, and `budgetUsed` reports only what expansion spent.
- *
- * ## Pruning happens on the unboosted score
- *
- * A node's history boost is applied to its final score, not per hop (DEC-037),
- * so expansion cannot know a node's boosted score until it has been reached. The
- * prune point is therefore lowered by the largest boost the configuration
- * permits — otherwise a node that *would* clear the threshold once boosted is
- * discarded before its boost is ever computed. Admissible, in the A* sense: it
- * can keep a node that later scores below threshold, never drop one that would
- * have scored above it.
+ * §12.5 diff scoping: seeds are changed nodes at score 1.0; best-first expansion stops on score below
+ * threshold, never on hop count (§12.2). Tier 1 (the diff) is always included, budget-exempt, reported
+ * separately. Pruning uses the unboosted score, lowered by the max boost (DEC-037) — admissible: never drops a node that would clear the threshold once boosted.
  */
 import { createResolutionFloor } from "../query/resolution-floor.js";
 import { attenuationFor } from "./fanout.js";
 import { finalScore, HistoryFactors, hopDecay, maxBoost } from "./score.js";
 import { NODE_BUDGETS, tierFor } from "./tiers.js";
 import { DEFAULT_SCOPING_CONFIG, ScopingConfigError, validateScopingConfig, } from "./weights.js";
-/**
- * `CHANGES_WITH` is stored in one canonical direction (DEC-036), so scoping must
- * read it both ways. Every other edge type is genuinely directional: impact
- * flows from a changed callee to its callers, not the reverse.
- */
+/** `CHANGES_WITH` is stored in one canonical direction (DEC-036), so scoping must read it both ways. */
 const UNDIRECTED = new Set(["CHANGES_WITH"]);
 export function scopeChange(provider, changedIds, options = {}) {
     const config = options.config ?? DEFAULT_SCOPING_CONFIG;
     // Refuse to start rather than fail mid-traversal — DEC-028.
     validateScopingConfig(config);
-    // DEC-067: `perNodeLimit` truncates the very count attenuation is derived
-    // from, so a limit at or below the last finite boundary would put a hub in a
-    // gentler bucket than it belongs in and under-attenuate it. Refused rather
-    // than silently mis-bucketed.
+    // DEC-067: `perNodeLimit` truncates the count attenuation is derived from,
+    // so a limit at/below the last boundary would under-attenuate a hub.
     const finite = config.fanOutBuckets.filter((b) => Number.isFinite(b.upTo));
     const lastBoundary = finite.length === 0 ? 0 : finite[finite.length - 1].upTo;
     if (options.perNodeLimit !== undefined && options.perNodeLimit <= lastBoundary) {
@@ -59,17 +31,15 @@ export function scopeChange(provider, changedIds, options = {}) {
     const pruneAt = config.threshold / maxBoost(config);
     const best = new Map();
     const queue = [];
-    // R0, not R4, when no edge is ever traversed — see `createResolutionFloor`.
-    // An isolated node is a walk that examined nothing, and a bare `let floor = 4`
-    // would report that as the strongest evidence tier in the system.
+    // R0, not R4, when no edge is traversed — a bare `let floor = 4` would
+    // report an isolated node as the strongest evidence tier there is.
     const floor = createResolutionFloor();
     for (const id of changedIds) {
         best.set(id, { score: 1, depth: 0, via: null });
         queue.push({ id, score: 1, depth: 0 });
     }
-    // Best-first. A binary heap would be faster, but expansion is bounded by the
-    // score threshold rather than by the queue, so the queue stays small in
-    // practice and a sorted pop keeps the algorithm readable.
+    // Best-first. A heap would be faster, but the queue stays small in
+    // practice (bounded by the score threshold), so a sorted pop stays readable.
     while (queue.length > 0) {
         queue.sort((a, b) => b.score - a.score);
         const current = queue.shift();
@@ -90,11 +60,8 @@ export function scopeChange(provider, changedIds, options = {}) {
             if (UNDIRECTED.has(edge.type))
                 candidates.push({ edge, next: edge.to });
         }
-        // DEC-067. `candidates.length` is this node's operational fan-out — the
-        // number of ways expansion can explode out of it — and it is already in
-        // hand, so no index or second query is needed. The seed exemption lives
-        // inside `attenuationFor`: a hub that was *changed* expands at full
-        // strength, a hub that was merely *reached* does not.
+        // DEC-067: `candidates.length` is this node's fan-out. The seed exemption
+        // lives in `attenuationFor` — a changed hub expands at full strength, a merely-reached one doesn't.
         const attenuation = attenuationFor(candidates.length, current.depth, config.fanOutBuckets);
         for (const { edge, next } of candidates) {
             // Attenuation can only shrink a score, so `pruneAt` stays admissible —
@@ -151,10 +118,8 @@ export function scopeChange(provider, changedIds, options = {}) {
     }
     const resolutionFloor = floor.value();
     if (!floor.observed()) {
-        // R0 here means "no edge was followed", which is a different fact from "an
-        // edge was followed and resolved no better than R0" — and the sentence
-        // below would state the second. Naming the real one, rather than letting a
-        // reader infer a badly-resolved walk where no walk happened.
+        // R0 here means "no edge was followed" — different from "an edge was
+        // followed and resolved no better than R0", which the else-branch states.
         notes.push("No edge was traversed from the changed node(s) at all, so this radius rests on no edge " +
             "evidence. That is not a finding that nothing is affected: the graph holds no traversable " +
             "edge touching them, which a graph built without the source that would carry those edges " +

package/dist/scoping/traverse.js.map

@@ -1 +1 @@
-{"version":3,"file":"traverse.js","sourceRoot":"","sources":["../../src/scoping/traverse.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAKH,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC5E,OAAO,EAAE,YAAY,EAAE,OAAO,EAAgC,MAAM,YAAY,CAAC;AACjF,OAAO,EACL,sBAAsB,EACtB,kBAAkB,EAClB,qBAAqB,GAEtB,MAAM,cAAc,CAAC;AAgCtB;;;;GAIG;AACH,MAAM,UAAU,GAA0B,IAAI,GAAG,CAAW,CAAC,cAAc,CAAC,CAAC,CAAC;AAE9E,MAAM,UAAU,WAAW,CACzB,QAA2B,EAC3B,UAA6B,EAC7B,UAAwB,EAAE;IAE1B,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,sBAAsB,CAAC;IACxD,4DAA4D;IAC5D,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAE9B,0EAA0E;IAC1E,6EAA6E;IAC7E,2EAA2E;IAC3E,8BAA8B;IAC9B,MAAM,MAAM,GAAG,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3E,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,IAAI,CAAC;IAC/E,IAAI,OAAO,CAAC,YAAY,KAAK,SAAS,IAAI,OAAO,CAAC,YAAY,IAAI,YAAY,EAAE,CAAC;QAC/E,MAAM,IAAI,kBAAkB,CAC1B,gBAAgB,OAAO,CAAC,YAAY,4CAA4C;YAC9E,IAAI,YAAY,wEAAwE;YACxF,sEAAsE,YAAY,GAAG,CACxF,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAY,OAAO,CAAC,OAAO,IAAI,IAAI,CAAC;IACjD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,YAAY,CAAC,OAAO,CAAC,CAAC;IACvD,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,MAAM,CAAC,iBAAiB,CAAC;IAC9D,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;IAClC,MAAM,OAAO,GAAG,IAAI,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IAE5D,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IACpD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAgE,CAAC;IACrF,MAAM,KAAK,GAAmD,EAAE,CAAC;IACjE,4EAA4E;IAC5E,+EAA+E;IAC/E,kEAAkE;IAClE,MAAM,KAAK,GAAG,qBAAqB,EAAE,CAAC;IAEtC,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QAC5B,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;QAChD,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACzC,CAAC;IAED,6EAA6E;IAC7E,wEAAwE;IACxE,0DAA0D;IAC1D,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QACxC,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK;YAAE,SAAS,CAAC,cAAc;QAChF,IAAI,OAAO,CAAC,KAAK,IAAI,QAAQ;YAAE,SAAS;QAExC,0EAA0E;QAC1E,2CAA2C;QAC3C,MAAM,SAAS,GAAG,OAAO,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC;QAC5F,MAAM,UAAU,GAAqC,QAAQ;aAC1D,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,CAAC;aAC/B,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAE9C,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,CAAC;YAC5D,wEAAwE;YACxE,gEAAgE;YAChE,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QAC1E,CAAC;QAED,wEAAwE;QACxE,wEAAwE;QACxE,wEAAwE;QACxE,oEAAoE;QACpE,sDAAsD;QACtD,MAAM,WAAW,GAAG,cAAc,CAAC,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;QAE3F,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,UAAU,EAAE,CAAC;YACxC,uEAAuE;YACvE,wEAAwE;YACxE,6CAA6C;YAC7C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,GAAG,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,WAAW,CAAC;YACnE,wEAAwE;YACxE,8DAA8D;YAC9D,IAAI,KAAK,GAAG,OAAO;gBAAE,SAAS;YAE9B,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAChC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,KAAK,IAAI,KAAK;gBAAE,SAAS;YAChE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAE/B,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;YAC/D,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;IAED,4EAA4E;IAE5E,MAAM,OAAO,GAAiB,EAAE,CAAC;IACjC,MAAM,QAAQ,GAAiB,EAAE,CAAC;IAElC,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QACxE,sEAAsE;QACtE,4EAA4E;QAC5E,IAAI,CAAC,MAAM,IAAI,KAAK,GAAG,MAAM,CAAC,SAAS;YAAE,SAAS;QAClD,MAAM,MAAM,GAAe;YACzB,IAAI;YACJ,KAAK;YACL,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC;YAC5B,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,GAAG,EAAE,KAAK,CAAC,GAAG;SACf,CAAC;QACF,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC7C,CAAC;IAED,+EAA+E;IAC/E,uEAAuE;IACvE,mDAAmD;IACnD,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACjF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAE3D,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAEvC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,SAAS,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC;QAC9C,KAAK,CAAC,IAAI,CACR,OAAO,OAAO,cAAc,MAAM,uBAAuB,OAAO,CAAC,MAAM,gBAAgB;YACrF,iDAAiD,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,kBAAkB;YACvF,yCAAyC,CAC5C,CAAC;IACJ,CAAC;IACD,MAAM,eAAe,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;IACtC,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC;QACtB,2EAA2E;QAC3E,uEAAuE;QACvE,2EAA2E;QAC3E,6DAA6D;QAC7D,KAAK,CAAC,IAAI,CACR,yFAAyF;YACvF,2FAA2F;YAC3F,0FAA0F;YAC1F,0DAA0D,CAC7D,CAAC;IACJ,CAAC;SAAM,IAAI,eAAe,IAAI,CAAC,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CACR,6DAA6D,eAAe,eAAe;YACzF,gFAAgF,CACnF,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,MAAM,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CACR,4BAA4B,OAAO,CAAC,MAAM,mCAAmC,MAAM,QAAQ;YACzF,yFAAyF;YACzF,YAAY,CACf,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAe,EAAE,GAAG,QAAQ,CAAC,SAAS,EAAE,EAAE,eAAe,EAAE,CAAC;IACvE,OAAO;QACL,IAAI,EAAE;YACJ,OAAO;YACP,QAAQ;YACR,OAAO;YACP,MAAM;YACN,UAAU,EAAE,QAAQ,CAAC,MAAM;SAC5B;QACD,KAAK;QACL,SAAS,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC;QAC7B,KAAK;KACN,CAAC;AACJ,CAAC"}
+{"version":3,"file":"traverse.js","sourceRoot":"","sources":["../../src/scoping/traverse.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAKH,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC5E,OAAO,EAAE,YAAY,EAAE,OAAO,EAAgC,MAAM,YAAY,CAAC;AACjF,OAAO,EACL,sBAAsB,EACtB,kBAAkB,EAClB,qBAAqB,GAEtB,MAAM,cAAc,CAAC;AAgCtB,wGAAwG;AACxG,MAAM,UAAU,GAA0B,IAAI,GAAG,CAAW,CAAC,cAAc,CAAC,CAAC,CAAC;AAE9E,MAAM,UAAU,WAAW,CACzB,QAA2B,EAC3B,UAA6B,EAC7B,UAAwB,EAAE;IAE1B,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,sBAAsB,CAAC;IACxD,4DAA4D;IAC5D,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAE9B,2EAA2E;IAC3E,qEAAqE;IACrE,MAAM,MAAM,GAAG,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3E,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,IAAI,CAAC;IAC/E,IAAI,OAAO,CAAC,YAAY,KAAK,SAAS,IAAI,OAAO,CAAC,YAAY,IAAI,YAAY,EAAE,CAAC;QAC/E,MAAM,IAAI,kBAAkB,CAC1B,gBAAgB,OAAO,CAAC,YAAY,4CAA4C;YAC9E,IAAI,YAAY,wEAAwE;YACxF,sEAAsE,YAAY,GAAG,CACxF,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAY,OAAO,CAAC,OAAO,IAAI,IAAI,CAAC;IACjD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,YAAY,CAAC,OAAO,CAAC,CAAC;IACvD,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,MAAM,CAAC,iBAAiB,CAAC;IAC9D,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;IAClC,MAAM,OAAO,GAAG,IAAI,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IAE5D,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IACpD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAgE,CAAC;IACrF,MAAM,KAAK,GAAmD,EAAE,CAAC;IACjE,uEAAuE;IACvE,mEAAmE;IACnE,MAAM,KAAK,GAAG,qBAAqB,EAAE,CAAC;IAEtC,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QAC5B,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;QAChD,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACzC,CAAC;IAED,mEAAmE;IACnE,6EAA6E;IAC7E,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QACxC,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK;YAAE,SAAS,CAAC,cAAc;QAChF,IAAI,OAAO,CAAC,KAAK,IAAI,QAAQ;YAAE,SAAS;QAExC,0EAA0E;QAC1E,2CAA2C;QAC3C,MAAM,SAAS,GAAG,OAAO,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC;QAC5F,MAAM,UAAU,GAAqC,QAAQ;aAC1D,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,CAAC;aAC/B,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAE9C,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,CAAC;YAC5D,wEAAwE;YACxE,gEAAgE;YAChE,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QAC1E,CAAC;QAED,0EAA0E;QAC1E,oGAAoG;QACpG,MAAM,WAAW,GAAG,cAAc,CAAC,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;QAE3F,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,UAAU,EAAE,CAAC;YACxC,uEAAuE;YACvE,wEAAwE;YACxE,6CAA6C;YAC7C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,GAAG,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,WAAW,CAAC;YACnE,wEAAwE;YACxE,8DAA8D;YAC9D,IAAI,KAAK,GAAG,OAAO;gBAAE,SAAS;YAE9B,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAChC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,KAAK,IAAI,KAAK;gBAAE,SAAS;YAChE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAE/B,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;YAC/D,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;IAED,4EAA4E;IAE5E,MAAM,OAAO,GAAiB,EAAE,CAAC;IACjC,MAAM,QAAQ,GAAiB,EAAE,CAAC;IAElC,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QACxE,sEAAsE;QACtE,4EAA4E;QAC5E,IAAI,CAAC,MAAM,IAAI,KAAK,GAAG,MAAM,CAAC,SAAS;YAAE,SAAS;QAClD,MAAM,MAAM,GAAe;YACzB,IAAI;YACJ,KAAK;YACL,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC;YAC5B,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,GAAG,EAAE,KAAK,CAAC,GAAG;SACf,CAAC;QACF,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC7C,CAAC;IAED,+EAA+E;IAC/E,uEAAuE;IACvE,mDAAmD;IACnD,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACjF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAE3D,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAEvC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,SAAS,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC;QAC9C,KAAK,CAAC,IAAI,CACR,OAAO,OAAO,cAAc,MAAM,uBAAuB,OAAO,CAAC,MAAM,gBAAgB;YACrF,iDAAiD,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,kBAAkB;YACvF,yCAAyC,CAC5C,CAAC;IACJ,CAAC;IACD,MAAM,eAAe,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;IACtC,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC;QACtB,qEAAqE;QACrE,0EAA0E;QAC1E,KAAK,CAAC,IAAI,CACR,yFAAyF;YACvF,2FAA2F;YAC3F,0FAA0F;YAC1F,0DAA0D,CAC7D,CAAC;IACJ,CAAC;SAAM,IAAI,eAAe,IAAI,CAAC,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CACR,6DAA6D,eAAe,eAAe;YACzF,gFAAgF,CACnF,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,MAAM,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CACR,4BAA4B,OAAO,CAAC,MAAM,mCAAmC,MAAM,QAAQ;YACzF,yFAAyF;YACzF,YAAY,CACf,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAe,EAAE,GAAG,QAAQ,CAAC,SAAS,EAAE,EAAE,eAAe,EAAE,CAAC;IACvE,OAAO;QACL,IAAI,EAAE;YACJ,OAAO;YACP,QAAQ;YACR,OAAO;YACP,MAAM;YACN,UAAU,EAAE,QAAQ,CAAC,MAAM;SAC5B;QACD,KAAK;QACL,SAAS,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC;QAC7B,KAAK;KACN,CAAC;AACJ,CAAC"}

package/dist/scoping/weights.d.ts

@@ -1,53 +1,6 @@
 /**
- * Scoring configuration for diff scoping — §12.4.
- *
- * ## The one number in the architecture that cannot be used as written
- *
- * §12.3's worked example decays a `CALLS` edge by **×1.0** on its first hop and
- * by **×0.95** on its third. The 0.95 is the usable one; 1.0 is not, for two
- * independent reasons:
- *
- * 1. **It breaks the premise of the whole engine.** §12.2 argues that hop count
- *    is a poor proxy for importance and that expansion must stop on *score*. An
- *    edge weight of 1.0 means a `CALLS` chain never decays — every node reachable
- *    by calls scores exactly 1.0 forever, so the stopping rule degenerates into
- *    "stop when the budget runs out", which is hop-count scoping wearing a
- *    different name.
- * 2. **It does not terminate.** With `EdgeConfidence` at 1.0 for an R3 edge, the
- *    hop factor is exactly 1.0, and on a `CALLS` cycle the traversal never ends.
- *    DEC-028 requires the factor to be strictly inside (0, 1).
- *
- * The defaults below therefore use 0.95, and §12.3's stated outcome still holds:
- * the payment gateway three hops out survives and `logger.ts` two hops out is
- * dropped. That test discriminates on the *shape* of the decay, not on whether
- * the first hop was 1.00 or 0.95.
- *
- * ## Three parts of the architecture cannot all be true — and the resolution
- *
- * Writing this file surfaced a genuine inconsistency between §12.3, §12.4 and
- * §12.7. Any two can hold; all three cannot.
- *
- * - **§12.3** needs *high* weights. Its worked example decays `CALLS` and
- *   `PROPAGATES_TO` at ~0.95 so a three-hop chain still scores 0.90.
- * - **§12.7** tiers on *absolute* thresholds — tier 2 above 0.7, tier 4 below
- *   0.3 — which are only meaningful if a few hops of a strong edge stay high.
- *   Scale the weights down for headroom and the payment gateway §12.3 calls
- *   critical lands in tier 4, "dropped under budget pressure".
- * - **§12.4** multiplies by `ChangeCouplingFactor` and
- *   `IncidentCorrelationFactor` *at every hop*, and both are boosts above 1.0.
- *   A weight of 0.95 with any coupling above 1.053 makes the hop factor exceed
- *   1.0, at which point the score stops decaying and a cycle never terminates.
- *
- * **Resolution: the history factors adjust a node's score once, they do not
- * compound per hop.** Path decay is the product of `edgeWeight × confidence`
- * over the hops, strictly below 1 at every step, so termination is structural.
- * Coupling and incident are then applied to the node's final score.
- *
- * This keeps §12.3's numbers exactly, keeps §12.7's thresholds meaningful, and
- * keeps §12.4's terms doing the work they were introduced for. It is also more
- * defensible than the literal formula: compounding a node's incident history at
- * every hop of a path that merely *passes through* it counts the same evidence
- * repeatedly, which the multiplicative form does silently. See DEC-037.
+ * Diff-scoping weights (§12.4). §12.3's worked example uses ×1.0 for a CALLS hop, which is unusable: it never decays and doesn't terminate on a cycle. DEC-028 requires the edge factor strictly inside (0, 1); defaults use 0.95.
+ * §12.3 (high weights), §12.7 (absolute tier thresholds) and §12.4 (per-hop coupling/incident boosts) can't all hold at once — resolved by applying coupling/incident once to a node's final score, not per hop, so path decay stays structurally below 1 and terminates (DEC-037).
  */
 import { type EdgeType } from "@descryy/ir";
 import { type FanOutBucket } from "./fanout.ts";
@@ -58,40 +11,23 @@ export interface ScopingConfig {
     readonly maxCouplingFactor: number;
     /** Ceiling on §12.4's `IncidentCorrelationFactor`. 1.0 disables the boost. */
     readonly maxIncidentFactor: number;
-    /**
-     * Ceiling on a node's final boosted score. Scores are compared against §12.7's
-     * absolute tier thresholds, so they must stay on the same scale as an
-     * unboosted one.
-     */
+    /** Ceiling on a node's final boosted score — kept on the same scale as an
+     *  unboosted one for §12.7's absolute tier thresholds. */
     readonly maxScore: number;
     /** §12.6: expansion halts once the score falls below this. Not a hop count. */
     readonly threshold: number;
-    /**
-     * DEC-067's fan-out attenuation table, applied to expansion out of a hub that
-     * traversal *arrived at* — never to a seed, and never to an edge's weight.
-     */
+    /** DEC-067's fan-out attenuation, applied to a hub traversal arrived at —
+     *  never to a seed or an edge's weight. */
     readonly fanOutBuckets: readonly FanOutBucket[];
 }
-/**
- * Default weights.
- *
- * **Tuning, not architecture.** §12 is marked `DECIDED, TUNING OPEN` and §32
- * items 1 and 4 list edge weights as values to set from real traversal data.
- * These are starting points chosen to reproduce §12.3's example, and the three
- * that matter are the ones that example names: `CALLS`, `PROPAGATES_TO` and
- * `IMPORTS`.
- */
+/** Default weights — tuning, not architecture (§12 `DECIDED, TUNING OPEN`, §32
+ *  items 1/4). Starting points chosen to reproduce §12.3's example. */
 export declare const DEFAULT_EDGE_WEIGHTS: Readonly<Record<EdgeType, number>>;
 export declare const DEFAULT_SCOPING_CONFIG: ScopingConfig;
 export declare class ScopingConfigError extends Error {
     readonly name = "ScopingConfigError";
 }
-/**
- * Refuse a configuration that could fail to terminate — DEC-028's config-load half.
- *
- * The check is per edge type because the failure is: one type's weight, boosted
- * to its declared maxima, reaching 1.0. A global average would hide exactly the
- * case that matters.
- */
+/** Refuses a config that could fail to terminate (DEC-028's config-load half).
+ *  Checked per edge type — a global average would hide one type reaching 1.0. */
 export declare function validateScopingConfig(config: ScopingConfig): void;
 //# sourceMappingURL=weights.d.ts.map

package/dist/scoping/weights.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"weights.d.ts","sourceRoot":"","sources":["../../src/scoping/weights.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AAEH,OAAO,EAAc,KAAK,QAAQ,EAAE,MAAM,aAAa,CAAC;AAExD,OAAO,EAA0C,KAAK,YAAY,EAAE,MAAM,aAAa,CAAC;AAExF,MAAM,WAAW,aAAa;IAC5B,uFAAuF;IACvF,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;IACzD,yEAAyE;IACzE,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,8EAA8E;IAC9E,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,+EAA+E;IAC/E,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;OAGG;IACH,QAAQ,CAAC,aAAa,EAAE,SAAS,YAAY,EAAE,CAAC;CACjD;AAED;;;;;;;;GAQG;AACH,eAAO,MAAM,oBAAoB,EAAE,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CA2BnE,CAAC;AAEF,eAAO,MAAM,sBAAsB,EAAE,aAUpC,CAAC;AAEF,qBAAa,kBAAmB,SAAQ,KAAK;IAC3C,SAAkB,IAAI,wBAAwB;CAC/C;AAED;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,aAAa,GAAG,IAAI,CAmEjE"}
+{"version":3,"file":"weights.d.ts","sourceRoot":"","sources":["../../src/scoping/weights.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAc,KAAK,QAAQ,EAAE,MAAM,aAAa,CAAC;AAExD,OAAO,EAA0C,KAAK,YAAY,EAAE,MAAM,aAAa,CAAC;AAExF,MAAM,WAAW,aAAa;IAC5B,uFAAuF;IACvF,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;IACzD,yEAAyE;IACzE,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,8EAA8E;IAC9E,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC;8DAC0D;IAC1D,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,+EAA+E;IAC/E,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;+CAC2C;IAC3C,QAAQ,CAAC,aAAa,EAAE,SAAS,YAAY,EAAE,CAAC;CACjD;AAED;uEACuE;AACvE,eAAO,MAAM,oBAAoB,EAAE,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAqBnE,CAAC;AAEF,eAAO,MAAM,sBAAsB,EAAE,aAQpC,CAAC;AAEF,qBAAa,kBAAmB,SAAQ,KAAK;IAC3C,SAAkB,IAAI,wBAAwB;CAC/C;AAED;iFACiF;AACjF,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,aAAa,GAAG,IAAI,CA8DjE"}

package/dist/scoping/weights.js

@@ -1,65 +1,11 @@
 /**
- * Scoring configuration for diff scoping — §12.4.
- *
- * ## The one number in the architecture that cannot be used as written
- *
- * §12.3's worked example decays a `CALLS` edge by **×1.0** on its first hop and
- * by **×0.95** on its third. The 0.95 is the usable one; 1.0 is not, for two
- * independent reasons:
- *
- * 1. **It breaks the premise of the whole engine.** §12.2 argues that hop count
- *    is a poor proxy for importance and that expansion must stop on *score*. An
- *    edge weight of 1.0 means a `CALLS` chain never decays — every node reachable
- *    by calls scores exactly 1.0 forever, so the stopping rule degenerates into
- *    "stop when the budget runs out", which is hop-count scoping wearing a
- *    different name.
- * 2. **It does not terminate.** With `EdgeConfidence` at 1.0 for an R3 edge, the
- *    hop factor is exactly 1.0, and on a `CALLS` cycle the traversal never ends.
- *    DEC-028 requires the factor to be strictly inside (0, 1).
- *
- * The defaults below therefore use 0.95, and §12.3's stated outcome still holds:
- * the payment gateway three hops out survives and `logger.ts` two hops out is
- * dropped. That test discriminates on the *shape* of the decay, not on whether
- * the first hop was 1.00 or 0.95.
- *
- * ## Three parts of the architecture cannot all be true — and the resolution
- *
- * Writing this file surfaced a genuine inconsistency between §12.3, §12.4 and
- * §12.7. Any two can hold; all three cannot.
- *
- * - **§12.3** needs *high* weights. Its worked example decays `CALLS` and
- *   `PROPAGATES_TO` at ~0.95 so a three-hop chain still scores 0.90.
- * - **§12.7** tiers on *absolute* thresholds — tier 2 above 0.7, tier 4 below
- *   0.3 — which are only meaningful if a few hops of a strong edge stay high.
- *   Scale the weights down for headroom and the payment gateway §12.3 calls
- *   critical lands in tier 4, "dropped under budget pressure".
- * - **§12.4** multiplies by `ChangeCouplingFactor` and
- *   `IncidentCorrelationFactor` *at every hop*, and both are boosts above 1.0.
- *   A weight of 0.95 with any coupling above 1.053 makes the hop factor exceed
- *   1.0, at which point the score stops decaying and a cycle never terminates.
- *
- * **Resolution: the history factors adjust a node's score once, they do not
- * compound per hop.** Path decay is the product of `edgeWeight × confidence`
- * over the hops, strictly below 1 at every step, so termination is structural.
- * Coupling and incident are then applied to the node's final score.
- *
- * This keeps §12.3's numbers exactly, keeps §12.7's thresholds meaningful, and
- * keeps §12.4's terms doing the work they were introduced for. It is also more
- * defensible than the literal formula: compounding a node's incident history at
- * every hop of a path that merely *passes through* it counts the same evidence
- * repeatedly, which the multiplicative form does silently. See DEC-037.
+ * Diff-scoping weights (§12.4). §12.3's worked example uses ×1.0 for a CALLS hop, which is unusable: it never decays and doesn't terminate on a cycle. DEC-028 requires the edge factor strictly inside (0, 1); defaults use 0.95.
+ * §12.3 (high weights), §12.7 (absolute tier thresholds) and §12.4 (per-hop coupling/incident boosts) can't all hold at once — resolved by applying coupling/incident once to a node's final score, not per hop, so path decay stays structurally below 1 and terminates (DEC-037).
  */
 import { EDGE_TYPES } from "@descryy/ir";
 import { DEFAULT_FANOUT_BUCKETS, maxAttenuation } from "./fanout.js";
-/**
- * Default weights.
- *
- * **Tuning, not architecture.** §12 is marked `DECIDED, TUNING OPEN` and §32
- * items 1 and 4 list edge weights as values to set from real traversal data.
- * These are starting points chosen to reproduce §12.3's example, and the three
- * that matter are the ones that example names: `CALLS`, `PROPAGATES_TO` and
- * `IMPORTS`.
- */
+/** Default weights — tuning, not architecture (§12 `DECIDED, TUNING OPEN`, §32
+ *  items 1/4). Starting points chosen to reproduce §12.3's example. */
 export const DEFAULT_EDGE_WEIGHTS = {
     // Structural: a change here really does reach the other side.
     CALLS: 0.95,
@@ -69,21 +15,15 @@ export const DEFAULT_EDGE_WEIGHTS = {
     RETURNS: 0.85,
     WRITES: 0.8,
     READS: 0.75,
-    // A shape dependency is structural and real — change the type and the
-    // declaration that embeds it may stop compiling — but it is weaker than a
-    // call: the dependant names the type, it does not execute anything. Placed
-    // between READS and IMPLEMENTS, and provisional like every other value here.
+    // Shape dependency: structural but weaker than a call (names the type, doesn't execute it).
     USES_TYPE: 0.7,
     IMPLEMENTS: 0.7,
     INHERITS: 0.7,
-    // §12.3's example: an import is a weak signal and must decay fast, or
-    // `logger.ts` survives and the engine reports noise as impact.
+    // §12.3's example: must decay fast or `logger.ts` survives as noise.
     IMPORTS: 0.4,
-    // Tests are reached deliberately by the test-discovery query rather than by
-    // impact decay, so this only needs to be non-zero.
+    // Reached deliberately by test-discovery, not impact decay — just needs non-zero.
     TESTS: 0.5,
-    // History, not structure. Everything from the git source is R0 and capped at
-    // 0.5 confidence already (DEC-019); a low weight keeps it as a hint.
+    // History not structure; R0, already capped at 0.5 confidence (DEC-019) — low weight keeps it a hint.
     CHANGES_WITH: 0.35,
     INCIDENT_CORRELATED: 0.3,
     FIXED_BY: 0.3,
@@ -94,21 +34,14 @@ export const DEFAULT_SCOPING_CONFIG = {
     maxCouplingFactor: 1.3,
     maxIncidentFactor: 1.2,
     maxScore: 1,
-    // §12.3's example drops `logger.ts` at 0.16 and keeps `utils.ts` at 0.40, so
-    // the prune point sits between them. Above it, §12.7's tier 4 (below 0.3) is
-    // kept but is the first thing budget pressure discards.
+    // Between §12.3's dropped logger.ts (0.16) and kept utils.ts (0.40).
     threshold: 0.2,
 };
 export class ScopingConfigError extends Error {
     name = "ScopingConfigError";
 }
-/**
- * Refuse a configuration that could fail to terminate — DEC-028's config-load half.
- *
- * The check is per edge type because the failure is: one type's weight, boosted
- * to its declared maxima, reaching 1.0. A global average would hide exactly the
- * case that matters.
- */
+/** Refuses a config that could fail to terminate (DEC-028's config-load half).
+ *  Checked per edge type — a global average would hide one type reaching 1.0. */
 export function validateScopingConfig(config) {
     if (!(config.maxScore > 0) || config.maxScore > 1) {
         throw new ScopingConfigError(`maxScore must be within (0, 1]; got ${config.maxScore}`);
@@ -120,7 +53,7 @@ export function validateScopingConfig(config) {
     if (!(config.threshold > 0) || config.threshold >= 1) {
         throw new ScopingConfigError(`threshold must be within (0, 1); got ${config.threshold}`);
     }
-    // DEC-067's table, checked before it can reach the termination assertion.
+    // DEC-067's table, checked before the termination assertion.
     const buckets = config.fanOutBuckets;
     if (buckets.length === 0) {
         throw new ScopingConfigError("fanOutBuckets must not be empty; use a single open bucket to disable attenuation");
@@ -140,13 +73,8 @@ export function validateScopingConfig(config) {
     if (buckets[buckets.length - 1].upTo !== Number.POSITIVE_INFINITY) {
         throw new ScopingConfigError(`the last fan-out bucket must be open (upTo: Infinity), or a node above ${previous} falls in no bucket`);
     }
-    // DEC-028's config-load half, widened by DEC-067. Because history factors no
-    // longer compound per hop, the requirement is on the weight alone — and
-    // `maxConfidence` is 1.0 by definition, so a weight of 1.0 is exactly the
-    // non-terminating case. Attenuation multiplies into the same product, so a
-    // multiplier above 1.0 would make a weight that decays on its own stop
-    // decaying in transit. DEC-067 requires this check to widen *before* such a
-    // value ships, so it is written now while every multiplier is still <= 1.
+    // DEC-028's config-load half, widened by DEC-067: weight × maxAttenuation ×
+    // maxConfidence(1.0) must stay < 1, since history factors no longer compound per hop.
     const largest = maxAttenuation(buckets);
     const offenders = [];
     for (const type of EDGE_TYPES) {

package/dist/scoping/weights.js.map

@@ -1 +1 @@
-{"version":3,"file":"weights.js","sourceRoot":"","sources":["../../src/scoping/weights.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AAEH,OAAO,EAAE,UAAU,EAAiB,MAAM,aAAa,CAAC;AAExD,OAAO,EAAE,sBAAsB,EAAE,cAAc,EAAqB,MAAM,aAAa,CAAC;AAwBxF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAuC;IACtE,8DAA8D;IAC9D,KAAK,EAAE,IAAI;IACX,aAAa,EAAE,IAAI;IACnB,UAAU,EAAE,GAAG;IACf,QAAQ,EAAE,GAAG;IACb,OAAO,EAAE,IAAI;IACb,MAAM,EAAE,GAAG;IACX,KAAK,EAAE,IAAI;IACX,sEAAsE;IACtE,0EAA0E;IAC1E,2EAA2E;IAC3E,6EAA6E;IAC7E,SAAS,EAAE,GAAG;IACd,UAAU,EAAE,GAAG;IACf,QAAQ,EAAE,GAAG;IACb,sEAAsE;IACtE,+DAA+D;IAC/D,OAAO,EAAE,GAAG;IACZ,4EAA4E;IAC5E,mDAAmD;IACnD,KAAK,EAAE,GAAG;IACV,6EAA6E;IAC7E,qEAAqE;IACrE,YAAY,EAAE,IAAI;IAClB,mBAAmB,EAAE,GAAG;IACxB,QAAQ,EAAE,GAAG;CACd,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAkB;IACnD,WAAW,EAAE,oBAAoB;IACjC,aAAa,EAAE,sBAAsB;IACrC,iBAAiB,EAAE,GAAG;IACtB,iBAAiB,EAAE,GAAG;IACtB,QAAQ,EAAE,CAAC;IACX,6EAA6E;IAC7E,6EAA6E;IAC7E,wDAAwD;IACxD,SAAS,EAAE,GAAG;CACf,CAAC;AAEF,MAAM,OAAO,kBAAmB,SAAQ,KAAK;IACzB,IAAI,GAAG,oBAAoB,CAAC;CAC/C;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAAqB;IACzD,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,GAAG,CAAC,CAAC,IAAI,MAAM,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,kBAAkB,CAAC,uCAAuC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;IACzF,CAAC;IACD,IAAI,MAAM,CAAC,iBAAiB,GAAG,CAAC,IAAI,MAAM,CAAC,iBAAiB,GAAG,CAAC,EAAE,CAAC;QACjE,MAAM,IAAI,kBAAkB,CAC1B,2FAA2F;YACzF,+EAA+E,CAClF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,GAAG,CAAC,CAAC,IAAI,MAAM,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,kBAAkB,CAAC,wCAAwC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC;IAC3F,CAAC;IAED,0EAA0E;IAC1E,MAAM,OAAO,GAAG,MAAM,CAAC,aAAa,CAAC;IACrC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,kBAAkB,CAAC,kFAAkF,CAAC,CAAC;IACnH,CAAC;IACD,IAAI,QAAQ,GAAG,CAAC,CAAC,CAAC;IAClB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,GAAG,QAAQ,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,kBAAkB,CAC1B,uDAAuD,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,IAAI,qBAAqB,QAAQ,EAAE,CACxH,CAAC;QACJ,CAAC;QACD,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC;QACvB,IAAI,CAAC,CAAC,MAAM,CAAC,UAAU,GAAG,CAAC,CAAC,EAAE,CAAC;YAC7B,MAAM,IAAI,kBAAkB,CAC1B,0BAA0B,MAAM,CAAC,KAAK,qBAAqB,MAAM,CAAC,UAAU,eAAe;gBACzF,wFAAwF;gBACxF,+BAA+B,CAClC,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,IAAI,KAAK,MAAM,CAAC,iBAAiB,EAAE,CAAC;QACnE,MAAM,IAAI,kBAAkB,CAC1B,0EAA0E,QAAQ,qBAAqB,CACxG,CAAC;IACJ,CAAC;IAED,6EAA6E;IAC7E,wEAAwE;IACxE,0EAA0E;IAC1E,2EAA2E;IAC3E,uEAAuE;IACvE,4EAA4E;IAC5E,0EAA0E;IAC1E,MAAM,OAAO,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IACxC,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,MAAM,GAAG,OAAO,IAAI,CAAC,EAAE,CAAC;YAC3C,SAAS,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,MAAM,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC;QAC7F,CAAC;IACH,CAAC;IAED,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,kBAAkB,CAC1B,wFAAwF;YACtF,mDAAmD,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc;YACrF,wFAAwF;YACxF,4CAA4C;YAC5C,wFAAwF;YACxF,iBAAiB,CACpB,CAAC;IACJ,CAAC;AACH,CAAC"}
+{"version":3,"file":"weights.js","sourceRoot":"","sources":["../../src/scoping/weights.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,UAAU,EAAiB,MAAM,aAAa,CAAC;AAExD,OAAO,EAAE,sBAAsB,EAAE,cAAc,EAAqB,MAAM,aAAa,CAAC;AAmBxF;uEACuE;AACvE,MAAM,CAAC,MAAM,oBAAoB,GAAuC;IACtE,8DAA8D;IAC9D,KAAK,EAAE,IAAI;IACX,aAAa,EAAE,IAAI;IACnB,UAAU,EAAE,GAAG;IACf,QAAQ,EAAE,GAAG;IACb,OAAO,EAAE,IAAI;IACb,MAAM,EAAE,GAAG;IACX,KAAK,EAAE,IAAI;IACX,4FAA4F;IAC5F,SAAS,EAAE,GAAG;IACd,UAAU,EAAE,GAAG;IACf,QAAQ,EAAE,GAAG;IACb,qEAAqE;IACrE,OAAO,EAAE,GAAG;IACZ,kFAAkF;IAClF,KAAK,EAAE,GAAG;IACV,sGAAsG;IACtG,YAAY,EAAE,IAAI;IAClB,mBAAmB,EAAE,GAAG;IACxB,QAAQ,EAAE,GAAG;CACd,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAkB;IACnD,WAAW,EAAE,oBAAoB;IACjC,aAAa,EAAE,sBAAsB;IACrC,iBAAiB,EAAE,GAAG;IACtB,iBAAiB,EAAE,GAAG;IACtB,QAAQ,EAAE,CAAC;IACX,qEAAqE;IACrE,SAAS,EAAE,GAAG;CACf,CAAC;AAEF,MAAM,OAAO,kBAAmB,SAAQ,KAAK;IACzB,IAAI,GAAG,oBAAoB,CAAC;CAC/C;AAED;iFACiF;AACjF,MAAM,UAAU,qBAAqB,CAAC,MAAqB;IACzD,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,GAAG,CAAC,CAAC,IAAI,MAAM,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,kBAAkB,CAAC,uCAAuC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;IACzF,CAAC;IACD,IAAI,MAAM,CAAC,iBAAiB,GAAG,CAAC,IAAI,MAAM,CAAC,iBAAiB,GAAG,CAAC,EAAE,CAAC;QACjE,MAAM,IAAI,kBAAkB,CAC1B,2FAA2F;YACzF,+EAA+E,CAClF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,GAAG,CAAC,CAAC,IAAI,MAAM,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,kBAAkB,CAAC,wCAAwC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC;IAC3F,CAAC;IAED,6DAA6D;IAC7D,MAAM,OAAO,GAAG,MAAM,CAAC,aAAa,CAAC;IACrC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,kBAAkB,CAAC,kFAAkF,CAAC,CAAC;IACnH,CAAC;IACD,IAAI,QAAQ,GAAG,CAAC,CAAC,CAAC;IAClB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,GAAG,QAAQ,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,kBAAkB,CAC1B,uDAAuD,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,IAAI,qBAAqB,QAAQ,EAAE,CACxH,CAAC;QACJ,CAAC;QACD,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC;QACvB,IAAI,CAAC,CAAC,MAAM,CAAC,UAAU,GAAG,CAAC,CAAC,EAAE,CAAC;YAC7B,MAAM,IAAI,kBAAkB,CAC1B,0BAA0B,MAAM,CAAC,KAAK,qBAAqB,MAAM,CAAC,UAAU,eAAe;gBACzF,wFAAwF;gBACxF,+BAA+B,CAClC,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,IAAI,KAAK,MAAM,CAAC,iBAAiB,EAAE,CAAC;QACnE,MAAM,IAAI,kBAAkB,CAC1B,0EAA0E,QAAQ,qBAAqB,CACxG,CAAC;IACJ,CAAC;IAED,4EAA4E;IAC5E,sFAAsF;IACtF,MAAM,OAAO,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IACxC,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,MAAM,GAAG,OAAO,IAAI,CAAC,EAAE,CAAC;YAC3C,SAAS,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,MAAM,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC;QAC7F,CAAC;IACH,CAAC;IAED,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,kBAAkB,CAC1B,wFAAwF;YACtF,mDAAmD,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc;YACrF,wFAAwF;YACxF,4CAA4C;YAC5C,wFAAwF;YACxF,iBAAiB,CACpB,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/sources/confirmed/incidents.d.ts

@@ -1,38 +1,8 @@
-/**
- * The `IRSource` that projects developer-confirmed incidents into the graph.
- *
- * ## Why a source, and not a direct write
- *
- * A `ConfirmedIncident` lives in `.descry/config.json` because it is testimony
- * — a developer fixed something and said so, and no commit records that they
- * said it (see the type's own doc). But a store is derived data: DEC-017 drops
- * every derived table on a schema change and rebuilds from source. So a
- * confirmed incident written *only* into the graph would survive until the next
- * IR-version bump and then vanish, which is the failure the EARNED partition
- * exists to prevent — arriving through a writer that simply did not think about
- * it.
- *
- * Making this a source solves it by construction. The file is the record; the
- * graph is a projection of the record; every `analyze` re-projects. There is no
- * migration to write and no earned table to extend, and the same discipline
- * every other producer in this system already follows applies unchanged: a
- * batch in, `writeBatch` out, invalidation by producer id.
- *
- * ## Identity
- *
- * The `INCIDENT` node keys on `confirmed:<confirmedAt>:<summary>` — the moment
- * the developer said it, plus what they said. Deliberately **not** the file set:
- * node ids never contain a path (renames churn them and silently destroy
- * incident links), and a developer correcting the file list of an incident they
- * already recorded is editing one incident rather than creating a second.
- *
- * ## What it does not do
- *
- * It mints no `FIX_PATTERN` unless the record names a fixing commit, and it
- * never infers one from HEAD. "The developer confirmed an incident" and "the
- * developer confirmed which commit fixed it" are separate claims, and only the
- * second one licenses a `FIXED_BY` edge.
- */
+/** IRSource projecting developer-confirmed incidents (`.descry/config.json`)
+ *  into the graph. A source, not a direct write: a store is derived data
+ *  (DEC-017 drops it on schema bump), so a direct write would silently
+ *  vanish. `INCIDENT` keys on `confirmed:<at>:<summary>`, never the file
+ *  set (no paths in node ids). Mints `FIX_PATTERN` only when a commit is named — never inferred from HEAD. */
 import { type ConfirmedIncident, type IdentityScope, type IRSource } from "@descryy/ir";
 export declare const CONFIRMED_INCIDENT_SOURCE_ID = "confirmed-incidents";
 export declare const CONFIRMED_INCIDENT_SOURCE_VERSION = "0.1.0";

package/dist/sources/confirmed/incidents.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"incidents.d.ts","sourceRoot":"","sources":["../../../src/sources/confirmed/incidents.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,EAIL,KAAK,iBAAiB,EACtB,KAAK,aAAa,EAIlB,KAAK,QAAQ,EAEd,MAAM,aAAa,CAAC;AAErB,eAAO,MAAM,4BAA4B,wBAAwB,CAAC;AAClE,eAAO,MAAM,iCAAiC,UAAU,CAAC;AAGzD,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,gFAAgF;IAChF,QAAQ,CAAC,SAAS,EAAE,SAAS,iBAAiB,EAAE,CAAC;CAClD;AAED,2EAA2E;AAC3E,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,iBAAiB,GAAG,MAAM,CAE7F;AAED,wBAAgB,6BAA6B,CAAC,OAAO,EAAE,8BAA8B,GAAG,QAAQ,CA0I/F"}
+{"version":3,"file":"incidents.d.ts","sourceRoot":"","sources":["../../../src/sources/confirmed/incidents.ts"],"names":[],"mappings":"AAAA;;;;8GAI8G;AAE9G,OAAO,EAIL,KAAK,iBAAiB,EACtB,KAAK,aAAa,EAIlB,KAAK,QAAQ,EAEd,MAAM,aAAa,CAAC;AAErB,eAAO,MAAM,4BAA4B,wBAAwB,CAAC;AAClE,eAAO,MAAM,iCAAiC,UAAU,CAAC;AAGzD,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,gFAAgF;IAChF,QAAQ,CAAC,SAAS,EAAE,SAAS,iBAAiB,EAAE,CAAC;CAClD;AAED,2EAA2E;AAC3E,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,iBAAiB,GAAG,MAAM,CAE7F;AAED,wBAAgB,6BAA6B,CAAC,OAAO,EAAE,8BAA8B,GAAG,QAAQ,CAsI/F"}