@descryy/core 0.3.0 → 0.5.0

package/dist/scoping/score.js

@@ -1,32 +1,10 @@
-/**
- * The impact score — §12.4.
- *
- *     NewScore = ParentScore × EdgeWeight × ChangeCouplingFactor
- *                            × IncidentCorrelationFactor × EdgeConfidence
- *
- * Both history factors **default to 1.0** so a brand-new file, or a repo with no
- * logged incidents, is not unfairly under-scored. `EdgeConfidence` defaults to
- * the edge's own value, which is 1.0 for a well-resolved adapter — so in a clean
- * R3 repository the last three terms vanish and the formula is just weight
- * decay. They do their work in a degraded one, which is the point.
- *
- * **The formula is applied in two parts, not as one product per hop.** Path
- * decay uses only `EdgeWeight × EdgeConfidence`, which is strictly below 1 and
- * therefore always terminates; the two history factors are applied once to a
- * node's final score. See the long note in `weights.ts` for why the literal
- * per-hop form cannot hold alongside §12.3 and §12.7, and DEC-037 for the
- * decision. The short version: compounding a node's incident history at every
- * hop of a path that merely passes through it counts the same evidence
- * repeatedly.
- */
-/**
- * Per-node history factors, computed once and cached.
- *
- * Both are looked up on the node being *entered*, not on the edge: "this file
- * has been involved in incidents" and "this file moves with the change" are
- * properties of the destination, and computing them per edge would multiply the
- * same boost in twice for a node reached two ways.
- */
+/** §12.4 impact score: ParentScore × EdgeWeight × ChangeCouplingFactor ×
+ *  IncidentCorrelationFactor × EdgeConfidence. History factors default 1.0
+ *  (new file/no incidents isn't under-scored). Applied in two parts, not
+ *  per-hop: path decay uses EdgeWeight×EdgeConfidence only (<1, terminates);
+ *  history factors apply once to a node's final score (DEC-037, §12.3/§12.7). */
+/** Per-node history factors, computed once and cached — looked up on the
+ *  node entered, not the edge, or a node reached two ways double-boosts. */
 export class HistoryFactors {
     #provider;
     #config;
@@ -38,19 +16,9 @@ export class HistoryFactors {
         this.#config = config;
         this.#seeds = seeds;
     }
-    /**
-     * §12.4's `ChangeCouplingFactor`, from `CHANGES_WITH` edges (§11.7).
-     *
-     * Boosts a node that historically moves with something in the diff. Two things
-     * make this narrower than it first appears, and both are honest limits rather
-     * than bugs:
-     *
-     * - `CHANGES_WITH` is **file-to-file**, so this only fires for `FILE` nodes.
-     *   A `FUNCTION` never has co-change history of its own.
-     * - The edge is stored in one canonical direction (DEC-036), so both
-     *   directions must be read. This is the one edge type where `outgoing` alone
-     *   is wrong.
-     */
+    /** §12.4's `ChangeCouplingFactor` (`CHANGES_WITH`, §11.7). File-to-file
+     *  only — a `FUNCTION` has no co-change history. Stored in one canonical
+     *  direction (DEC-036), so both `outgoing`/`incoming` must be read. */
     couplingFor(nodeId) {
         const cached = this.#coupling.get(nodeId);
         if (cached !== undefined)
@@ -73,13 +41,9 @@ export class HistoryFactors {
         this.#coupling.set(nodeId, factor);
         return factor;
     }
-    /**
-     * §12.4's `IncidentCorrelationFactor`, from `INCIDENT_CORRELATED` edges (§11.6).
-     *
-     * Saturating rather than linear: the third incident on a file says much less
-     * than the first, and an unbounded count would let one pathological file
-     * dominate every blast radius it appears in.
-     */
+    /** §12.4's `IncidentCorrelationFactor` (`INCIDENT_CORRELATED`, §11.6).
+     *  Saturating, not linear — an unbounded count would let one pathological
+     *  file dominate every blast radius. */
     incidentFor(nodeId) {
         const cached = this.#incident.get(nodeId);
         if (cached !== undefined)
@@ -91,34 +55,20 @@ export class HistoryFactors {
         return factor;
     }
 }
-/**
- * The per-hop decay: `EdgeWeight × EdgeConfidence`, and nothing else.
- *
- * Strictly below 1 for any valid configuration, so the path score decreases
- * monotonically and traversal terminates on any graph, cyclic or not. That is
- * the whole termination argument, and it does not depend on what the history
- * factors happen to be — which is what makes it a guarantee rather than a hope.
- */
+/** Per-hop decay: `EdgeWeight × EdgeConfidence` only — strictly <1, so path
+ *  score decreases monotonically and traversal terminates on any graph. */
 export function hopDecay(edge, config) {
     return config.edgeWeights[edge.type] * edge.confidence;
 }
-/**
- * A node's final score: its best path decay, adjusted once by its own history.
- *
- * Capped at `maxScore` because §12.7 tiers on absolute thresholds — a boosted
- * score above 1.0 would put a two-hop node above the diff itself.
- */
+/** A node's final score: best path decay, adjusted once by its own history.
+ *  Capped at `maxScore` (§12.7 tiers on absolute thresholds). */
 export function finalScore(pathScore, nodeId, config, history) {
     const boosted = pathScore * history.couplingFor(nodeId) * history.incidentFor(nodeId);
     return Math.min(boosted, config.maxScore);
 }
-/**
- * The largest amount any node's score can be raised by history.
- *
- * Pruning happens on the *unboosted* path score, so the prune point must be
- * lowered by this much — otherwise a node that would clear the threshold once
- * boosted is discarded before its boost is ever computed.
- */
+/** Largest boost history can add. Pruning runs on the unboosted path score,
+ *  so the prune point must be lowered by this much or a boostable node is
+ *  discarded before its boost is computed. */
 export function maxBoost(config) {
     return config.maxCouplingFactor * config.maxIncidentFactor;
 }

package/dist/scoping/score.js.map

@@ -1 +1 @@
-{"version":3,"file":"score.js","sourceRoot":"","sources":["../../src/scoping/score.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAOH;;;;;;;GAOG;AACH,MAAM,OAAO,cAAc;IAChB,SAAS,CAAoB;IAC7B,OAAO,CAAgB;IACvB,MAAM,CAAsB;IAC5B,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE/C,YAAY,QAA2B,EAAE,MAAqB,EAAE,KAA0B;QACxF,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC;QAC1B,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC;QACtB,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;IACtB,CAAC;IAED;;;;;;;;;;;;OAYG;IACH,WAAW,CAAC,MAAc;QACxB,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC1C,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QAExC,MAAM,KAAK,GAAe,CAAC,cAAc,CAAC,CAAC;QAC3C,MAAM,KAAK,GAAG;YACZ,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC;YAC7C,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC;SAC9C,CAAC;QAEF,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YACzD,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC;gBAAE,SAAS;YACtC,2EAA2E;YAC3E,wEAAwE;YACxE,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC;QAC1D,CAAC;QAED,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,GAAG,CAAC,CAAC,CAAC;QAC/D,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACnC,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;;;;;OAMG;IACH,WAAW,CAAC,MAAc;QACxB,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC1C,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QAExC,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,qBAAqB,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC;QACzF,MAAM,SAAS,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QACxD,MAAM,MAAM,GAAG,CAAC,GAAG,SAAS,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,GAAG,CAAC,CAAC,CAAC;QACpE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACnC,OAAO,MAAM,CAAC;IAChB,CAAC;CACF;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,QAAQ,CAAC,IAAY,EAAE,MAAqB;IAC1D,OAAO,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC;AACzD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CACxB,SAAiB,EACjB,MAAc,EACd,MAAqB,EACrB,OAAuB;IAEvB,MAAM,OAAO,GAAG,SAAS,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IACtF,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;AAC5C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,QAAQ,CAAC,MAAqB;IAC5C,OAAO,MAAM,CAAC,iBAAiB,GAAG,MAAM,CAAC,iBAAiB,CAAC;AAC7D,CAAC"}
+{"version":3,"file":"score.js","sourceRoot":"","sources":["../../src/scoping/score.ts"],"names":[],"mappings":"AAAA;;;;iFAIiF;AAOjF;4EAC4E;AAC5E,MAAM,OAAO,cAAc;IAChB,SAAS,CAAoB;IAC7B,OAAO,CAAgB;IACvB,MAAM,CAAsB;IAC5B,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE/C,YAAY,QAA2B,EAAE,MAAqB,EAAE,KAA0B;QACxF,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC;QAC1B,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC;QACtB,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;IACtB,CAAC;IAED;;2EAEuE;IACvE,WAAW,CAAC,MAAc;QACxB,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC1C,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QAExC,MAAM,KAAK,GAAe,CAAC,cAAc,CAAC,CAAC;QAC3C,MAAM,KAAK,GAAG;YACZ,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC;YAC7C,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC;SAC9C,CAAC;QAEF,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YACzD,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC;gBAAE,SAAS;YACtC,2EAA2E;YAC3E,wEAAwE;YACxE,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC;QAC1D,CAAC;QAED,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,GAAG,CAAC,CAAC,CAAC;QAC/D,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACnC,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;4CAEwC;IACxC,WAAW,CAAC,MAAc;QACxB,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC1C,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QAExC,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,qBAAqB,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC;QACzF,MAAM,SAAS,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QACxD,MAAM,MAAM,GAAG,CAAC,GAAG,SAAS,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,GAAG,CAAC,CAAC,CAAC;QACpE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACnC,OAAO,MAAM,CAAC;IAChB,CAAC;CACF;AAED;2EAC2E;AAC3E,MAAM,UAAU,QAAQ,CAAC,IAAY,EAAE,MAAqB;IAC1D,OAAO,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC;AACzD,CAAC;AAED;iEACiE;AACjE,MAAM,UAAU,UAAU,CACxB,SAAiB,EACjB,MAAc,EACd,MAAqB,EACrB,OAAuB;IAEvB,MAAM,OAAO,GAAG,SAAS,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IACtF,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;AAC5C,CAAC;AAED;;8CAE8C;AAC9C,MAAM,UAAU,QAAQ,CAAC,MAAqB;IAC5C,OAAO,MAAM,CAAC,iBAAiB,GAAG,MAAM,CAAC,iBAAiB,CAAC;AAC7D,CAAC"}

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"}