@descryy/core 0.3.0 → 0.5.0

package/dist/multipr/hidden-dependency.d.ts

@@ -1,46 +1,7 @@
 /**
- * §14.8 — the historically coupled file that was **not** touched.
- *
- * `CHANGES_WITH` queried in the opposite direction from diff scoping. Scoping
- * asks *what else does this change reach*; this asks *what usually moves with
- * this and did not this time*.
- *
- * ## Why this is the first multi-PR check built
- *
- * §14.8 calls it nearly free, and the reason is worth stating rather than
- * assuming: **the edges already exist**, it needs no per-PR storage, and it
- * works at R0 in any language with no adapter beyond file paths. For a
- * repository whose language has no adapter at all, this is the check that
- * still fires. Every other check in §14 needs either a persisted per-PR
- * subgraph (§14.2) or a UI framework extractor (§14.7).
- *
- * ## Everything here is Class C and that is not a limitation to be fixed
- *
- * DEC-033 is explicit: co-change is evidence about **people**, not about
- * program structure. *"These two files usually change together"* is a hint for
- * a human, never a claim about what breaks. The git source emits at R0,
- * §11A.5 caps any finding resting on it at C, and no amount of support count
- * changes that — a pair that co-changed two hundred times is a stronger hint
- * and still a hint.
- *
- * So this module reports a *nudge* and says so in the words it hands back. A
- * caller that renders these as defects has broken principle 4 at the last
- * gate, and the note travels with the finding to make that hard.
- *
- * ## The empty answer is two different answers
- *
- * A pull request with no hidden dependencies and a graph that never read any
- * history produce **the same empty list**. That conflation is the single most
- * expensive defect this project has: an absent carrier read as an empty one
- * shipped three static-validation checks dead, and a shape reader that
- * filtered for the wrong spelling answered "no fields" for 77 of 77 nodes
- * that visibly declared them.
- *
- * So `analysed` is false when the graph holds no `CHANGES_WITH` edge for any
- * changed file, and the caller is told *the history was not read* rather than
- * *nothing is coupled*. A repository younger than the support floor, a graph
- * built without the git source, and a genuinely uncoupled change are three
- * different statements.
+ * §14.8 — the historically coupled file not touched this time. `CHANGES_WITH` queried in reverse of diff scoping. Nearly free: edges already exist, R0, no adapter needed beyond file paths.
+ * Always Class C (DEC-033, §11A.5): co-change is evidence about people, never program structure — a nudge, not a defect claim.
+ * `analysed: false` means history wasn't read; a caller must not read that as "nothing is coupled" — conflating the two was this project's costliest defect.
  */
 import type { IRNode } from "@descryy/ir";
 import type { ReliabilityClass } from "@descryy/ir";
@@ -68,14 +29,8 @@ export interface HiddenDependencyReport {
     readonly findings: readonly HiddenDependency[];
     /** The count before `limit` capped it — P27's disclosed remainder: a structured field, not only a prose note. */
     readonly findingsTotal: number;
-    /**
-     * False when no changed file had a single `CHANGES_WITH` edge.
-     *
-     * **An empty `findings` with `analysed: false` means the history was not
-     * read, not that nothing is coupled.** The two are different answers to
-     * different questions and collapsing them is §20.2's second category
-     * swallowing its fourth.
-     */
+    /** False when no changed file had a `CHANGES_WITH` edge — means history wasn't
+     *  read, not that nothing is coupled (§20.2's second category vs its fourth). */
     readonly analysed: boolean;
     readonly checked: {
         /** Changed paths the caller supplied. */
@@ -87,34 +42,19 @@ export interface HiddenDependencyReport {
         /** Coupled files considered before the support floor and the cap. */
         readonly candidates: number;
     };
-    /**
-     * Changed paths with no `FILE` node in the graph.
-     *
-     * Not "these have no hidden dependencies" — nothing looked at them. A path
-     * the graph never read is a path with no blast radius only if you conflate
-     * the two.
-     */
+    /** Changed paths with no `FILE` node — not "no hidden dependencies", nothing
+     *  looked at them. */
     readonly unresolvedChanged: readonly string[];
 }
 export interface HiddenDependencyOptions {
-    /**
-     * Minimum co-change support to surface. Defaults to the edge's own floor,
-     * because an edge that exists already cleared DEC-033's support and
-     * confidence floors — raising it here is a second, separate judgement and
-     * belongs to the caller.
-     */
+    /** Minimum co-change support to surface. Defaults to the edge's own floor —
+     *  raising it further is the caller's separate judgement. */
     readonly minSupport?: number;
-    /**
-     * Hard cap on findings, per rule 5. Truncation is reported, never silent.
-     */
+    /** Hard cap on findings (rule 5). Truncation is reported, never silent. */
     readonly limit?: number;
 }
-/**
- * Files coupled to the change that the change did not touch.
- *
- * @param changedIds `FILE` node ids the pull request touched
- * @param unresolvedChanged paths the caller could not resolve to a node — passed
- *   in rather than discovered, because only the caller knows what it asked for
- */
+/** Files coupled to the change that the change did not touch.
+ *  `unresolvedChanged` is passed in, not discovered — only the caller knows
+ *  what it asked for. */
 export declare function findHiddenDependencies(provider: AdjacencyProvider, changedIds: readonly string[], unresolvedChanged?: readonly string[], options?: HiddenDependencyOptions): QueryResult<HiddenDependencyReport>;
 //# sourceMappingURL=hidden-dependency.d.ts.map

package/dist/multipr/hidden-dependency.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"hidden-dependency.d.ts","sourceRoot":"","sources":["../../src/multipr/hidden-dependency.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAEH,OAAO,KAAK,EAAU,MAAM,EAAE,MAAM,aAAa,CAAC;AAElD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,KAAK,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAG3E,iFAAiF;AACjF,MAAM,WAAW,gBAAgB;IAC/B,6CAA6C;IAC7C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,kEAAkE;IAClE,QAAQ,CAAC,SAAS,EAAE,SAAS;QAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,iDAAiD;QACjD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,+DAA+D;QAC/D,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;KACrC,EAAE,CAAC;IACJ,wEAAwE;IACxE,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,uEAAuE;IACvE,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC;IACvC,sDAAsD;IACtD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,QAAQ,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC/C,iHAAiH;IACjH,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B;;;;;;;OAOG;IACH,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE;QAChB,yCAAyC;QACzC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,iEAAiE;QACjE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,8DAA8D;QAC9D,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;QAC7B,qEAAqE;QACrE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;KAC7B,CAAC;IACF;;;;;;OAMG;IACH,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;CAC/C;AAED,MAAM,WAAW,uBAAuB;IACtC;;;;;OAKG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B;;OAEG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAuCD;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,iBAAiB,EAC3B,UAAU,EAAE,SAAS,MAAM,EAAE,EAC7B,iBAAiB,GAAE,SAAS,MAAM,EAAO,EACzC,OAAO,GAAE,uBAA4B,GACpC,WAAW,CAAC,sBAAsB,CAAC,CAyHrC"}
+{"version":3,"file":"hidden-dependency.d.ts","sourceRoot":"","sources":["../../src/multipr/hidden-dependency.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAU,MAAM,EAAE,MAAM,aAAa,CAAC;AAElD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,KAAK,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAG3E,iFAAiF;AACjF,MAAM,WAAW,gBAAgB;IAC/B,6CAA6C;IAC7C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,kEAAkE;IAClE,QAAQ,CAAC,SAAS,EAAE,SAAS;QAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,iDAAiD;QACjD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,+DAA+D;QAC/D,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;KACrC,EAAE,CAAC;IACJ,wEAAwE;IACxE,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,uEAAuE;IACvE,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC;IACvC,sDAAsD;IACtD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,QAAQ,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC/C,iHAAiH;IACjH,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B;qFACiF;IACjF,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE;QAChB,yCAAyC;QACzC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,iEAAiE;QACjE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,8DAA8D;QAC9D,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;QAC7B,qEAAqE;QACrE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;KAC7B,CAAC;IACF;0BACsB;IACtB,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;CAC/C;AAED,MAAM,WAAW,uBAAuB;IACtC;iEAC6D;IAC7D,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,2EAA2E;IAC3E,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAkCD;;yBAEyB;AACzB,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,iBAAiB,EAC3B,UAAU,EAAE,SAAS,MAAM,EAAE,EAC7B,iBAAiB,GAAE,SAAS,MAAM,EAAO,EACzC,OAAO,GAAE,uBAA4B,GACpC,WAAW,CAAC,sBAAsB,CAAC,CAsHrC"}

package/dist/multipr/hidden-dependency.js

@@ -1,56 +1,12 @@
 /**
- * §14.8 — the historically coupled file that was **not** touched.
- *
- * `CHANGES_WITH` queried in the opposite direction from diff scoping. Scoping
- * asks *what else does this change reach*; this asks *what usually moves with
- * this and did not this time*.
- *
- * ## Why this is the first multi-PR check built
- *
- * §14.8 calls it nearly free, and the reason is worth stating rather than
- * assuming: **the edges already exist**, it needs no per-PR storage, and it
- * works at R0 in any language with no adapter beyond file paths. For a
- * repository whose language has no adapter at all, this is the check that
- * still fires. Every other check in §14 needs either a persisted per-PR
- * subgraph (§14.2) or a UI framework extractor (§14.7).
- *
- * ## Everything here is Class C and that is not a limitation to be fixed
- *
- * DEC-033 is explicit: co-change is evidence about **people**, not about
- * program structure. *"These two files usually change together"* is a hint for
- * a human, never a claim about what breaks. The git source emits at R0,
- * §11A.5 caps any finding resting on it at C, and no amount of support count
- * changes that — a pair that co-changed two hundred times is a stronger hint
- * and still a hint.
- *
- * So this module reports a *nudge* and says so in the words it hands back. A
- * caller that renders these as defects has broken principle 4 at the last
- * gate, and the note travels with the finding to make that hard.
- *
- * ## The empty answer is two different answers
- *
- * A pull request with no hidden dependencies and a graph that never read any
- * history produce **the same empty list**. That conflation is the single most
- * expensive defect this project has: an absent carrier read as an empty one
- * shipped three static-validation checks dead, and a shape reader that
- * filtered for the wrong spelling answered "no fields" for 77 of 77 nodes
- * that visibly declared them.
- *
- * So `analysed` is false when the graph holds no `CHANGES_WITH` edge for any
- * changed file, and the caller is told *the history was not read* rather than
- * *nothing is coupled*. A repository younger than the support floor, a graph
- * built without the git source, and a genuinely uncoupled change are three
- * different statements.
+ * §14.8 — the historically coupled file not touched this time. `CHANGES_WITH` queried in reverse of diff scoping. Nearly free: edges already exist, R0, no adapter needed beyond file paths.
+ * Always Class C (DEC-033, §11A.5): co-change is evidence about people, never program structure — a nudge, not a defect claim.
+ * `analysed: false` means history wasn't read; a caller must not read that as "nothing is coupled" — conflating the two was this project's costliest defect.
  */
 import { reliabilityCap, reliabilityNote } from "@descryy/ir";
 const DEFAULT_LIMIT = 10;
-/**
- * `CHANGES_WITH` is stored in one canonical direction (DEC-036), so both
- * directions must be walked. Reading only `outgoing` halves the answer and
- * produces no error — the same silent-halving shape as an undirected edge
- * traversed one way in scoping, which is why `traverse.ts` carries the same
- * set.
- */
+/** `CHANGES_WITH` stores one canonical direction (DEC-036); both must be walked
+ *  or the answer silently halves, no error. */
 function coupledNeighbours(provider, id) {
     const out = [];
     const seen = new Set();
@@ -73,13 +29,9 @@ function coupledNeighbours(provider, id) {
     walk(provider.incoming(id, options), (e) => e.from);
     return out;
 }
-/**
- * Files coupled to the change that the change did not touch.
- *
- * @param changedIds `FILE` node ids the pull request touched
- * @param unresolvedChanged paths the caller could not resolve to a node — passed
- *   in rather than discovered, because only the caller knows what it asked for
- */
+/** Files coupled to the change that the change did not touch.
+ *  `unresolvedChanged` is passed in, not discovered — only the caller knows
+ *  what it asked for. */
 export function findHiddenDependencies(provider, changedIds, unresolvedChanged = [], options = {}) {
     const limit = options.limit ?? DEFAULT_LIMIT;
     const minSupport = options.minSupport ?? 0;
@@ -90,7 +42,7 @@ export function findHiddenDependencies(provider, changedIds, unresolvedChanged =
         if (node !== undefined)
             changedNodes.set(id, node);
     }
-    // candidate id -> the changed files it is coupled to
+    // candidate id -> changed files it is coupled to
     const candidates = new Map();
     let withHistory = 0;
     for (const [id, node] of changedNodes) {
@@ -111,10 +63,8 @@ export function findHiddenDependencies(provider, changedIds, unresolvedChanged =
             entry.links.push({ node, support: n.support, observedConfidence: n.observedConfidence });
         }
     }
-    // R0 evidence, and the claim is name-level: this file is or is not in the
-    // diff. §11A.5 caps it at C either way — R0's name-level row is still C, and
-    // only R2 buys the A carve-out. Computed rather than written down so that a
-    // change to the table cannot leave this stale.
+    // R0, name-level claim: §11A.5 caps this at C regardless (only R2 buys the A
+    // carve-out). Computed, not hardcoded, so a table change can't leave this stale.
     const reliability = reliabilityCap(0, true);
     const disclosure = `${reliabilityNote(0, true)} Co-change is evidence about how people have edited ` +
         "this repository, not about what the program does — a strongly coupled pair is a " +
@@ -139,8 +89,7 @@ export function findHiddenDependencies(provider, changedIds, unresolvedChanged =
     findings.sort((a, b) => b.strongestSupport - a.strongestSupport || a.node.file.localeCompare(b.node.file));
     const kept = findings.slice(0, limit);
     const truncated = findings.length > limit;
-    // The baseline precondition. Nothing was read, so nothing can be concluded —
-    // and "no hidden dependencies" is a conclusion.
+    // Nothing was read, so nothing can be concluded — and "no hidden deps" is a conclusion.
     const analysed = withHistory > 0;
     const notes = [];
     if (!analysed) {

package/dist/multipr/hidden-dependency.js.map

@@ -1 +1 @@
-{"version":3,"file":"hidden-dependency.js","sourceRoot":"","sources":["../../src/multipr/hidden-dependency.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAGH,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAwE9D,MAAM,aAAa,GAAG,EAAE,CAAC;AAEzB;;;;;;GAMG;AACH,SAAS,iBAAiB,CACxB,QAA2B,EAC3B,EAAU;IAEV,MAAM,GAAG,GAAkE,EAAE,CAAC;IAC9E,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,OAAO,GAAG,EAAE,KAAK,EAAE,CAAC,cAAc,CAAU,EAAE,CAAC;IAErD,MAAM,IAAI,GAAG,CAAC,KAAwB,EAAE,KAA4B,EAAQ,EAAE;QAC5E,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;YACxB,IAAI,GAAG,KAAK,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC1C,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YAC7B,GAAG,CAAC,IAAI,CAAC;gBACP,EAAE,EAAE,GAAG;gBACP,OAAO,EAAE,OAAO,GAAG,CAAC,SAAS,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;gBAChE,kBAAkB,EAChB,OAAO,GAAG,CAAC,oBAAoB,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC;aAChF,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC;IAEF,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAClD,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACpD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CACpC,QAA2B,EAC3B,UAA6B,EAC7B,oBAAuC,EAAE,EACzC,UAAmC,EAAE;IAErC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,aAAa,CAAC;IAC7C,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;IAEpC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC/C,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAI,IAAI,KAAK,SAAS;YAAE,YAAY,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IACrD,CAAC;IAED,qDAAqD;IACrD,MAAM,UAAU,GAAG,IAAI,GAAG,EAGvB,CAAC;IACJ,IAAI,WAAW,GAAG,CAAC,CAAC;IAEpB,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,YAAY,EAAE,CAAC;QACtC,MAAM,UAAU,GAAG,iBAAiB,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QACnD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;YAAE,WAAW,IAAI,CAAC,CAAC;QAE5C,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,0EAA0E;YAC1E,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAAE,SAAS;YAChC,IAAI,CAAC,CAAC,OAAO,GAAG,UAAU;gBAAE,SAAS;YAErC,IAAI,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACjC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,KAAK,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;gBACzD,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YAC9B,CAAC;YACD,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,kBAAkB,EAAE,CAAC,CAAC,kBAAkB,EAAE,CAAC,CAAC;QAC3F,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,6EAA6E;IAC7E,4EAA4E;IAC5E,+CAA+C;IAC/C,MAAM,WAAW,GAAG,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC5C,MAAM,UAAU,GACd,GAAG,eAAe,CAAC,CAAC,EAAE,IAAI,CAAC,sDAAsD;QACjF,kFAAkF;QAClF,oCAAoC,CAAC;IAEvC,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,KAAK,MAAM,CAAC,EAAE,KAAK,CAAC,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI;YAAE,SAAS;QAClC,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;QACrE,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,SAAS,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC3B,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,kBAAkB,EAAE,CAAC,CAAC,kBAAkB;aACzC,CAAC,CAAC;YACH,gBAAgB,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,CAAC;YACxC,WAAW;YACX,UAAU;SACX,CAAC,CAAC;IACL,CAAC;IAED,QAAQ,CAAC,IAAI,CACX,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,gBAAgB,GAAG,CAAC,CAAC,gBAAgB,IAAI,CAAC,CAAC,IAAI,CAAC,IAAK,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAK,CAAC,CAC9F,CAAC;IAEF,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACtC,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC;IAE1C,6EAA6E;IAC7E,gDAAgD;IAChD,MAAM,QAAQ,GAAG,WAAW,GAAG,CAAC,CAAC;IAEjC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,KAAK,CAAC,IAAI,CACR,kFAAkF;YAChF,+EAA+E;YAC/E,gFAAgF;YAChF,4EAA4E;YAC5E,yBAAyB,CAC5B,CAAC;IACJ,CAAC;IACD,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CACR,GAAG,iBAAiB,CAAC,MAAM,0DAA0D;YACnF,YAAY;YACZ,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI;YAC3F,2EAA2E,CAC9E,CAAC;IACJ,CAAC;IACD,IAAI,SAAS,EAAE,CAAC;QACd,KAAK,CAAC,IAAI,CACR,GAAG,QAAQ,CAAC,MAAM,wCAAwC,IAAI,CAAC,MAAM,YAAY;YAC/E,iCAAiC,CACpC,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzB,CAAC;IAED,MAAM,KAAK,GAAe,EAAE,GAAG,QAAQ,CAAC,SAAS,EAAE,EAAE,eAAe,EAAE,CAAC,EAAE,CAAC;IAE1E,OAAO;QACL,IAAI,EAAE;YACJ,QAAQ,EAAE,IAAI;YACd,aAAa,EAAE,QAAQ,CAAC,MAAM;YAC9B,QAAQ;YACR,OAAO,EAAE;gBACP,OAAO,EAAE,UAAU,CAAC,MAAM;gBAC1B,QAAQ,EAAE,YAAY,CAAC,IAAI;gBAC3B,WAAW;gBACX,UAAU,EAAE,UAAU,CAAC,IAAI;aAC5B;YACD,iBAAiB;SAClB;QACD,KAAK;QACL,SAAS;QACT,KAAK;KACN,CAAC;AACJ,CAAC"}
+{"version":3,"file":"hidden-dependency.js","sourceRoot":"","sources":["../../src/multipr/hidden-dependency.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAuD9D,MAAM,aAAa,GAAG,EAAE,CAAC;AAEzB;+CAC+C;AAC/C,SAAS,iBAAiB,CACxB,QAA2B,EAC3B,EAAU;IAEV,MAAM,GAAG,GAAkE,EAAE,CAAC;IAC9E,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,OAAO,GAAG,EAAE,KAAK,EAAE,CAAC,cAAc,CAAU,EAAE,CAAC;IAErD,MAAM,IAAI,GAAG,CAAC,KAAwB,EAAE,KAA4B,EAAQ,EAAE;QAC5E,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;YACxB,IAAI,GAAG,KAAK,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC1C,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YAC7B,GAAG,CAAC,IAAI,CAAC;gBACP,EAAE,EAAE,GAAG;gBACP,OAAO,EAAE,OAAO,GAAG,CAAC,SAAS,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;gBAChE,kBAAkB,EAChB,OAAO,GAAG,CAAC,oBAAoB,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC;aAChF,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC;IAEF,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAClD,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACpD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;yBAEyB;AACzB,MAAM,UAAU,sBAAsB,CACpC,QAA2B,EAC3B,UAA6B,EAC7B,oBAAuC,EAAE,EACzC,UAAmC,EAAE;IAErC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,aAAa,CAAC;IAC7C,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;IAEpC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC/C,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAI,IAAI,KAAK,SAAS;YAAE,YAAY,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IACrD,CAAC;IAED,iDAAiD;IACjD,MAAM,UAAU,GAAG,IAAI,GAAG,EAGvB,CAAC;IACJ,IAAI,WAAW,GAAG,CAAC,CAAC;IAEpB,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,YAAY,EAAE,CAAC;QACtC,MAAM,UAAU,GAAG,iBAAiB,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QACnD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;YAAE,WAAW,IAAI,CAAC,CAAC;QAE5C,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,0EAA0E;YAC1E,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAAE,SAAS;YAChC,IAAI,CAAC,CAAC,OAAO,GAAG,UAAU;gBAAE,SAAS;YAErC,IAAI,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACjC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,KAAK,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;gBACzD,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YAC9B,CAAC;YACD,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,kBAAkB,EAAE,CAAC,CAAC,kBAAkB,EAAE,CAAC,CAAC;QAC3F,CAAC;IACH,CAAC;IAED,6EAA6E;IAC7E,iFAAiF;IACjF,MAAM,WAAW,GAAG,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC5C,MAAM,UAAU,GACd,GAAG,eAAe,CAAC,CAAC,EAAE,IAAI,CAAC,sDAAsD;QACjF,kFAAkF;QAClF,oCAAoC,CAAC;IAEvC,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,KAAK,MAAM,CAAC,EAAE,KAAK,CAAC,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI;YAAE,SAAS;QAClC,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;QACrE,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,SAAS,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC3B,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,kBAAkB,EAAE,CAAC,CAAC,kBAAkB;aACzC,CAAC,CAAC;YACH,gBAAgB,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,CAAC;YACxC,WAAW;YACX,UAAU;SACX,CAAC,CAAC;IACL,CAAC;IAED,QAAQ,CAAC,IAAI,CACX,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,gBAAgB,GAAG,CAAC,CAAC,gBAAgB,IAAI,CAAC,CAAC,IAAI,CAAC,IAAK,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAK,CAAC,CAC9F,CAAC;IAEF,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACtC,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC;IAE1C,wFAAwF;IACxF,MAAM,QAAQ,GAAG,WAAW,GAAG,CAAC,CAAC;IAEjC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,KAAK,CAAC,IAAI,CACR,kFAAkF;YAChF,+EAA+E;YAC/E,gFAAgF;YAChF,4EAA4E;YAC5E,yBAAyB,CAC5B,CAAC;IACJ,CAAC;IACD,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CACR,GAAG,iBAAiB,CAAC,MAAM,0DAA0D;YACnF,YAAY;YACZ,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI;YAC3F,2EAA2E,CAC9E,CAAC;IACJ,CAAC;IACD,IAAI,SAAS,EAAE,CAAC;QACd,KAAK,CAAC,IAAI,CACR,GAAG,QAAQ,CAAC,MAAM,wCAAwC,IAAI,CAAC,MAAM,YAAY;YAC/E,iCAAiC,CACpC,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzB,CAAC;IAED,MAAM,KAAK,GAAe,EAAE,GAAG,QAAQ,CAAC,SAAS,EAAE,EAAE,eAAe,EAAE,CAAC,EAAE,CAAC;IAE1E,OAAO;QACL,IAAI,EAAE;YACJ,QAAQ,EAAE,IAAI;YACd,aAAa,EAAE,QAAQ,CAAC,MAAM;YAC9B,QAAQ;YACR,OAAO,EAAE;gBACP,OAAO,EAAE,UAAU,CAAC,MAAM;gBAC1B,QAAQ,EAAE,YAAY,CAAC,IAAI;gBAC3B,WAAW;gBACX,UAAU,EAAE,UAAU,CAAC,IAAI;aAC5B;YACD,iBAAiB;SAClB;QACD,KAAK;QACL,SAAS;QACT,KAAK;KACN,CAAC;AACJ,CAAC"}

package/dist/multipr/mechanical.d.ts

@@ -1,121 +1,23 @@
 /**
- * §14.4 — is this overlap two people adding lines, or two people disagreeing?
- *
- * `overlap.ts` surfaces a shared node and stops, and says why it stops: *"§14.4's
- * mechanical-versus-semantic classification needs the actual diff lines at the
- * shared node, which this module never sees … Guessing 'mechanical' without
- * reading the lines would be the one place in this system where a wrong guess
- * edits somebody's branch."* This is that module, and it reads the lines.
- *
- * ## The bar here is higher than anywhere else in §14, not lower
- *
- * §14.4 is the **single documented exception** to approval-before-code-change
- * (§9, rule 8). Every other check in this package tells a human to look at
- * something. A `MECHANICAL` verdict may be **auto-applied** — it edits a branch
- * without asking.
- *
- * So rule 2 inverts in consequence, and the asymmetry is the whole design:
- *
- * > A missed mechanical resolution costs a human thirty seconds of `git
- * > mergetool`. A false one silently rewrites two people's work into something
- * > neither wrote and reports success.
- *
- * `MECHANICAL` is therefore claimed **only when every condition is affirmatively
- * established**, never when nothing contradicts it. Absent hunks, a hunk whose
- * shape cannot be read, a file this module cannot reason about — each produces
- * `UNCLASSIFIABLE` with a reason, and `UNCLASSIFIABLE` never auto-applies.
- * `SEMANTIC` is the answer when the lines were read and disagree; that is a
- * different sentence from "the lines were not read", and the two are kept apart
- * for the reason they are kept apart everywhere else in this package.
- *
- * ## What "only add new, non-overlapping lines" has to mean to be safe
- *
- * §14.4's diamond asks whether both changes *"only add new, non-overlapping
- * lines"*. Read literally that is a test on the post-image, and the post-images
- * of two branches are not comparable — they are two different files. The test
- * that means anything is on the **base**:
- *
- *  1. **Every hunk on both sides is a pure insertion** — it consumes zero base
- *     lines (`baseLines === 0`). One modified or deleted base line anywhere at
- *     this node makes the whole overlap `SEMANTIC`. Not "the modified hunks are
- *     semantic and the rest are mechanical": a partially auto-applied overlap is
- *     a merge nobody reviewed.
- *
- *  2. **No two insertion points from opposite sides fall within the context
- *     window.** Two insertions at base lines 10 and 12 do not touch the same
- *     line and git still refuses them, because their three-line contexts
- *     overlap. Matching git's own margin rather than testing for exact equality
- *     is the difference between a rule about text and a rule about what the
- *     merge will actually do.
- *
- * The margin is `CONTEXT_LINES`, and it is deliberately the *conservative*
- * direction: a real mechanical case inside the margin is reported `SEMANTIC` and
- * a human resolves it in half a minute.
- *
- * ## Two claims, two different sources of authority — and only one of them
- * gates the apply
- *
- * This finding rests on two separate things and it is worth being exact about
- * which does what, because conflating them would either block safe applies or
- * permit unsafe ones:
- *
- * | claim | rests on | governs |
- * | --- | --- | --- |
- * | *both changes touch this node* | the graph | whether this is **surfaced**, and the reliability class |
- * | *these hunks merge without conflict* | the diff text | whether this may be **applied** |
- *
- * The reliability class follows `overlap.ts` — the weaker of the two sides'
- * resolutions, per DEC-058 and §11A.5 — and it describes how much to trust that
- * this overlap *matters*. It does not gate the apply, and that is not a
- * loosening: if the graph were wrong about the node, "keep both non-adjacent
- * pure insertions" is still exactly as safe, because the textual claim never
- * depended on the graph being right. Gating the apply on the graph's resolution
- * would be borrowing authority from the wrong evidence.
- *
- * A caller wanting the stricter rule can require class A itself. The point is
- * that the module states which evidence carries which claim rather than folding
- * both into one number.
- *
- * ## Verify-after is not a recommendation and is not expressible as one
- *
- * §14.4 makes the post-apply verification **mandatory** (§19). A `verifyAfter:
- * true` field on a result would be advisory, and an advisory obligation is one
- * `if` away from being skipped by a caller in a hurry.
- *
- * So the apply path is `applyMechanical(plan, { apply, verify })` and **both
- * callbacks are required by the type**. There is no overload that applies
- * without verifying. A `verify` returning false produces `"reverted"`, and a
- * `verify` that throws produces `"verification-failed"` — which is *not* the
- * same outcome and is not collapsed into it, because "the change broke
- * something" and "we could not tell whether the change broke something" are the
- * two categories §20.2 exists to keep apart.
+ * §14.4 mechanical-vs-semantic overlap check — the one documented exception to
+ * approval-before-code-change (§9 rule 8): MECHANICAL auto-applies only when every
+ * hunk on both sides is a pure insertion and insertion points sit >CONTEXT_LINES apart on the base; else UNCLASSIFIABLE/SEMANTIC. Reliability (DEC-058) never gates the apply; verify-after is mandatory (§19).
  */
 import type { ResolutionLevel } from "@descryy/ir";
 import type { ReliabilityClass } from "@descryy/ir";
 import type { GraphStamp, QueryResult } from "../query/provider.ts";
 import type { SharedNode } from "./overlap.ts";
-/**
- * git's default diff context. Two insertions closer than this on the base
- * produce overlapping context and git declines to merge them, so this module
- * declines too.
- */
+/** git's default diff context. Two insertions closer than this on the base
+ *  overlap and git declines to merge them, so this module declines too. */
 export declare const CONTEXT_LINES = 3;
-/**
- * One hunk of a change, described against the **base** image.
- *
- * Deliberately not a patch: this module never applies text, so it needs the
- * *shape* of the change and not its content. Describing the shape against the
- * base is what makes two branches comparable at all — their post-images are two
- * different files and comparing those answers nothing.
- */
+/** One hunk of a change, described against the base image — not a patch, since
+ *  post-images of two branches are different files and not comparable. */
 export interface DiffHunk {
     readonly file: string;
     /** First base line the hunk touches, 1-indexed. For a pure insertion, the line it follows. */
     readonly baseStart: number;
-    /**
-     * Base lines consumed. **Zero means a pure insertion**; anything above zero
-     * means at least one existing line was modified or deleted.
-     */
+    /** Base lines consumed. Zero means a pure insertion; above zero means an
+     *  existing line was modified or deleted. */
     readonly baseLines: number;
     /** Lines produced. Reported, never used for classification — see the docstring. */
     readonly headLines: number;
@@ -124,10 +26,8 @@ export type MechanicalVerdict = "MECHANICAL" | "SEMANTIC" | "UNCLASSIFIABLE";
 /** The resolution a `MECHANICAL` verdict proposes. Always "keep both". */
 export interface KeepBothResolution {
     readonly kind: "keep-both";
-    /**
-     * The two sides' hunks in base order — the order an applier must write them
-     * in. Deterministic so that applying twice is applying the same thing.
-     */
+    /** The two sides' hunks in base order — deterministic, so applying twice
+     *  applies the same thing. */
     readonly order: readonly {
         readonly side: "a" | "b";
         readonly hunk: DiffHunk;
@@ -136,12 +36,8 @@ export interface KeepBothResolution {
 export interface MechanicalClassification {
     readonly nodeId: string;
     readonly verdict: MechanicalVerdict;
-    /**
-     * Why, in one sentence, always present — including for `MECHANICAL`.
-     *
-     * A verdict that explains only its refusals trains a reader to skim the
-     * approvals, which are the ones that edit a branch.
-     */
+    /** Why, in one sentence, always present — including for MECHANICAL, the
+     *  verdict that actually edits a branch. */
     readonly reason: string;
     /** Present only for `MECHANICAL`. */
     readonly resolution?: KeepBothResolution;
@@ -155,13 +51,8 @@ export interface MechanicalClassification {
 }
 export interface MechanicalReport {
     readonly classifications: readonly MechanicalClassification[];
-    /**
-     * False when no shared node had hunks on **both** sides.
-     *
-     * An empty `classifications` with `analysed: false` means the diffs were not
-     * supplied, not that nothing was mechanical — the same distinction
-     * `hidden-dependency.ts` draws for co-change history, and for the same reason.
-     */
+    /** False when no shared node had hunks on both sides — means diffs weren't
+     *  supplied, not that nothing was mechanical (cf. hidden-dependency.ts). */
     readonly analysed: boolean;
     readonly checked: {
         readonly shared: number;
@@ -176,24 +67,12 @@ export interface MechanicalOptions {
     readonly contextLines?: number;
     readonly stamp?: GraphStamp;
 }
-/**
- * Classify every surfaced overlap between two changes.
- *
- * @param shared the nodes `findOverlaps` surfaced — this module does not decide
- *   what is worth looking at, only what may be done about it
- * @param aHunks side A's hunks, against the base both sides share
- * @param bHunks side B's hunks, against the same base
- */
+/** Classify every surfaced overlap between two changes. `shared` is what
+ *  findOverlaps surfaced; `aHunks`/`bHunks` are each side's hunks vs the same base. */
 export declare function classifyOverlaps(shared: readonly SharedNode[], aHunks: readonly DiffHunk[], bHunks: readonly DiffHunk[], options?: MechanicalOptions): QueryResult<MechanicalReport>;
-/**
- * What happened when a mechanical resolution was applied.
- *
- * `"reverted"` and `"verification-failed"` are separate on purpose. The first
- * means verification ran and said no; the second means verification could not
- * say. Collapsing them would report "the change was bad" for a case that is
- * actually "we do not know", which is §20.2's second category swallowing its
- * fourth — the most expensive defect shape in this project.
- */
+/** What happened when a mechanical resolution was applied. "reverted" (verify
+ *  said no) and "verification-failed" (verify could not say) stay separate —
+ *  collapsing them would report "bad" for a "we don't know" case (§20.2). */
 export type ApplyOutcome = {
     readonly status: "applied";
     readonly verified: true;
@@ -215,25 +94,11 @@ export interface ApplyHooks {
     /** Called when `verify` says no. Absent means the caller cannot undo, which is refused up front. */
     readonly revert?: (() => void | Promise<void>) | undefined;
 }
-/**
- * Apply one mechanical resolution, then verify — in that order, always both.
- *
- * The mandatory verification of §14.4/§19 is enforced by the *type*: `verify` is
- * a required member of `ApplyHooks`, so a caller that wants to skip it has to
- * write a function that lies, which is a different and more visible act than
- * omitting an optional field.
- *
- * Refuses outright, before touching anything, when the verdict is not
- * `MECHANICAL` or when no `revert` was supplied — auto-applying a change that
- * cannot be undone if verification fails is the exception's precondition, not a
- * detail of it.
- */
+/** Apply one mechanical resolution, then verify — always both. §14.4/§19's
+ *  mandatory verification is enforced by the type: `verify` is required on
+ *  `ApplyHooks`. Refuses upfront if verdict isn't MECHANICAL or no `revert` given. */
 export declare function applyMechanical(classification: MechanicalClassification, hooks: ApplyHooks): Promise<ApplyOutcome>;
-/**
- * The reliability class this module would report for a pair of resolutions.
- *
- * Exported so `overlap.ts`'s rule and this one cannot drift apart silently: both
- * take the weaker of the two sides, per DEC-058.
- */
+/** Reliability class for a pair of resolutions — the weaker side, per DEC-058.
+ *  Exported so overlap.ts's rule can't drift apart from this one. */
 export declare function pairReliability(a: ResolutionLevel, b: ResolutionLevel): ReliabilityClass;
 //# sourceMappingURL=mechanical.d.ts.map

package/dist/multipr/mechanical.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"mechanical.d.ts","sourceRoot":"","sources":["../../src/multipr/mechanical.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2FG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAEnD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACpE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE/C;;;;GAIG;AACH,eAAO,MAAM,aAAa,IAAI,CAAC;AAE/B;;;;;;;GAOG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8FAA8F;IAC9F,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;OAGG;IACH,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,mFAAmF;IACnF,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,MAAM,iBAAiB,GAAG,YAAY,GAAG,UAAU,GAAG,gBAAgB,CAAC;AAE7E,0EAA0E;AAC1E,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B;;;OAGG;IACH,QAAQ,CAAC,KAAK,EAAE,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,GAAG,GAAG,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;KAAE,EAAE,CAAC;CAClF;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;IACpC;;;;;OAKG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,qCAAqC;IACrC,QAAQ,CAAC,UAAU,CAAC,EAAE,kBAAkB,CAAC;IACzC,0FAA0F;IAC1F,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC;IACvC,QAAQ,CAAC,gBAAgB,EAAE,eAAe,CAAC;IAC3C,0EAA0E;IAC1E,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC9C,sDAAsD;IACtD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,eAAe,EAAE,SAAS,wBAAwB,EAAE,CAAC;IAC9D;;;;;;OAMG;IACH,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;QACpC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;KACjC,CAAC;CACH;AAED,MAAM,WAAW,iBAAiB;IAChC,qFAAqF;IACrF,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC;CAC7B;AA8HD;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,SAAS,UAAU,EAAE,EAC7B,MAAM,EAAE,SAAS,QAAQ,EAAE,EAC3B,MAAM,EAAE,SAAS,QAAQ,EAAE,EAC3B,OAAO,GAAE,iBAAsB,GAC9B,WAAW,CAAC,gBAAgB,CAAC,CAyD/B;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,YAAY,GACpB;IAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAChE;IAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzD,MAAM,WAAW,UAAU;IACzB,8EAA8E;IAC9E,QAAQ,CAAC,KAAK,EAAE,CAAC,UAAU,EAAE,kBAAkB,KAAK,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACzE,4EAA4E;IAC5E,QAAQ,CAAC,MAAM,EAAE,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAClD,oGAAoG;IACpG,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,SAAS,CAAC;CAC5D;AAED;;;;;;;;;;;;GAYG;AACH,wBAAsB,eAAe,CACnC,cAAc,EAAE,wBAAwB,EACxC,KAAK,EAAE,UAAU,GAChB,OAAO,CAAC,YAAY,CAAC,CA+DvB;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,eAAe,GAAG,gBAAgB,CAExF"}
+{"version":3,"file":"mechanical.d.ts","sourceRoot":"","sources":["../../src/multipr/mechanical.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAEnD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACpE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE/C;2EAC2E;AAC3E,eAAO,MAAM,aAAa,IAAI,CAAC;AAE/B;0EAC0E;AAC1E,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8FAA8F;IAC9F,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;iDAC6C;IAC7C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,mFAAmF;IACnF,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,MAAM,iBAAiB,GAAG,YAAY,GAAG,UAAU,GAAG,gBAAgB,CAAC;AAE7E,0EAA0E;AAC1E,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B;kCAC8B;IAC9B,QAAQ,CAAC,KAAK,EAAE,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,GAAG,GAAG,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;KAAE,EAAE,CAAC;CAClF;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;IACpC;gDAC4C;IAC5C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,qCAAqC;IACrC,QAAQ,CAAC,UAAU,CAAC,EAAE,kBAAkB,CAAC;IACzC,0FAA0F;IAC1F,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC;IACvC,QAAQ,CAAC,gBAAgB,EAAE,eAAe,CAAC;IAC3C,0EAA0E;IAC1E,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC9C,sDAAsD;IACtD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,eAAe,EAAE,SAAS,wBAAwB,EAAE,CAAC;IAC9D;gFAC4E;IAC5E,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;QACpC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;KACjC,CAAC;CACH;AAED,MAAM,WAAW,iBAAiB;IAChC,qFAAqF;IACrF,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC;CAC7B;AA0HD;uFACuF;AACvF,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,SAAS,UAAU,EAAE,EAC7B,MAAM,EAAE,SAAS,QAAQ,EAAE,EAC3B,MAAM,EAAE,SAAS,QAAQ,EAAE,EAC3B,OAAO,GAAE,iBAAsB,GAC9B,WAAW,CAAC,gBAAgB,CAAC,CAwD/B;AAED;;6EAE6E;AAC7E,MAAM,MAAM,YAAY,GACpB;IAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAChE;IAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzD,MAAM,WAAW,UAAU;IACzB,8EAA8E;IAC9E,QAAQ,CAAC,KAAK,EAAE,CAAC,UAAU,EAAE,kBAAkB,KAAK,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACzE,4EAA4E;IAC5E,QAAQ,CAAC,MAAM,EAAE,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAClD,oGAAoG;IACpG,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,SAAS,CAAC;CAC5D;AAED;;sFAEsF;AACtF,wBAAsB,eAAe,CACnC,cAAc,EAAE,wBAAwB,EACxC,KAAK,EAAE,UAAU,GAChB,OAAO,CAAC,YAAY,CAAC,CA8DvB;AAED;qEACqE;AACrE,wBAAgB,eAAe,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,eAAe,GAAG,gBAAgB,CAExF"}