@descryy/mcp 0.6.0 → 0.7.1

package/dist/tools/contracts.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"contracts.d.ts","sourceRoot":"","sources":["../../src/tools/contracts.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAGH,OAAO,KAAK,EACV,aAAa,EACb,aAAa,EACb,mBAAmB,EACnB,WAAW,EACX,YAAY,EACZ,eAAe,EACf,cAAc,EACf,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAU,eAAe,EAAE,MAAM,aAAa,CAAC;AAE3D,OAAO,EAIL,KAAK,SAAS,EAEd,KAAK,cAAc,EACpB,MAAM,UAAU,CAAC;AAGlB,8DAA8D;AAC9D,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC;;;OAGG;IACH,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,sGAAsG;IACtG,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,UAAU,EAAE,KAAK,GAAG,SAAS,GAAG,MAAM,CAAC;IAChD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,yDAAyD;IACzD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,+EAA+E;IAC/E,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC;;;;;OAKG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAA;KAAE,CAAC;IACnF,kEAAkE;IAClE,QAAQ,CAAC,OAAO,EAAE,SAAS,SAAS,EAAE,CAAC;IACvC,2DAA2D;IAC3D,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC;CACvC;AAED,wEAAwE;AACxE,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,uCAAuC;IACvC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,wCAAwC;IACxC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,SAAS,eAAe,EAAE,CAAC;IACjD,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,0FAA0F;IAC1F,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;CAC/B;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,wDAAwD;IACxD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,wDAAwD;IACxD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,kFAAkF;IAClF,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,uCAAuC;IACvC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,SAAS,mBAAmB,EAAE,CAAC;IAClD,QAAQ,CAAC,eAAe,EAAE,SAAS,2BAA2B,EAAE,CAAC;IACjE,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC;IACpD,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC;IACrC;;;;;OAKG;IACH,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,qGAAqG;IACrG,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,oFAAoF;IACpF,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAmOD,eAAO,MAAM,aAAa,EAAE,cAe3B,CAAC"}
+{"version":3,"file":"contracts.d.ts","sourceRoot":"","sources":["../../src/tools/contracts.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,EACV,aAAa,EACb,aAAa,EACb,mBAAmB,EACnB,WAAW,EACX,YAAY,EACZ,eAAe,EACf,cAAc,EACf,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAU,eAAe,EAAE,MAAM,aAAa,CAAC;AAE3D,OAAO,EAIL,KAAK,SAAS,EAEd,KAAK,cAAc,EACpB,MAAM,UAAU,CAAC;AAGlB,8DAA8D;AAC9D,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,yGAAyG;IACzG,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,sGAAsG;IACtG,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8JAA8J;IAC9J,QAAQ,CAAC,UAAU,EAAE,KAAK,GAAG,SAAS,GAAG,MAAM,CAAC;IAChD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,yDAAyD;IACzD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,+EAA+E;IAC/E,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,gKAAgK;IAChK,QAAQ,CAAC,QAAQ,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAA;KAAE,CAAC;IACnF,kEAAkE;IAClE,QAAQ,CAAC,OAAO,EAAE,SAAS,SAAS,EAAE,CAAC;IACvC,2DAA2D;IAC3D,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC;CACvC;AAED,wEAAwE;AACxE,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC;IACnC,uCAAuC;IACvC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,wCAAwC;IACxC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,SAAS,eAAe,EAAE,CAAC;IACjD,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,0FAA0F;IAC1F,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;CAC/B;AAED,yMAAyM;AACzM,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,wDAAwD;IACxD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,wDAAwD;IACxD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,kFAAkF;IAClF,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,uCAAuC;IACvC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED,2LAA2L;AAC3L,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,SAAS,mBAAmB,EAAE,CAAC;IAClD,QAAQ,CAAC,eAAe,EAAE,SAAS,2BAA2B,EAAE,CAAC;IACjE,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC;IACpD,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC;IACrC,qJAAqJ;IACrJ,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,qGAAqG;IACrG,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,oFAAoF;IACpF,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAiND,eAAO,MAAM,aAAa,EAAE,cAe3B,CAAC"}

package/dist/tools/contracts.js

@@ -1,45 +1,7 @@
 /**
- * `contracts` — "does the caller agree with the thing it is calling?"
- *
- * §13, in two halves that fail independently.
- *
- * **The path half runs today.** A call that reaches no route, a route nothing
- * calls. Name-level facts, so R2 evidence supports them at class A.
- *
- * **The shape half needs both producers to attach something they do not attach
- * yet**, and it names exactly what — see `engine.ts`. It reports
- * `refused` with those names rather than an empty mismatch list, because
- * "no contract mismatches found" is a false statement when nothing was compared.
- *
- * ## Why the tool is `ok` when only the path half ran
- *
- * The path half produced a real answer over real evidence. Marking the whole
- * call `refused` because a second check did not run would hide a genuine
- * finding behind a caveat about a different question. The shape half's status is
- * carried in `data.shapes.ran` and in the blockers, where a reader can act on it.
- *
- * The one case that *is* `refused` outright: no endpoints in the graph.
- * Then neither half looked at anything.
- *
- * ## A filter matching nothing is not a clean bill of health
- *
- * UAT round 3, Suggestion 5. `paths: ["/reviews"]` on a repository whose
- * `/reviews` route was never parsed as an `API_ROUTE` at all returned
- * `state: "ok"`, `"Clean at path level."`, `findings: []` — indistinguishable
- * from "checked `/reviews` and it is fine." Zero endpoints matched the filter,
- * not zero problems with the endpoint it named. So a `paths` filter that
- * matches no `API_ENDPOINT` in the graph now reports `state: "empty"` with an
- * explicit count, before the "clean" verdict can be reached at all.
- *
- * ## Claim: defect versus lead
- *
- * UAT round 3, Suggestion 6, following `EnvFinding.claim`'s precedent
- * (`validate`). `CALL_NOT_SERVED` and every shape mismatch are `defect` —
- * provable from this graph (and, for a mismatch, a type checker) alone.
- * `ROUTE_NOT_CALLED` is `lead` — a mobile client, another service, or an
- * external consumer would not appear in this graph, so "nothing calls it" is
- * never provable, only worth a look. This is orthogonal to `prominence`,
- * which still orders by evidence strength alone.
+ * `contracts` — path half (name-level, R2→A) runs today; shape half (§13)
+ * needs producer-attached shapes, reporting `refused` with named blockers
+ * rather than an empty list. `defect` is provable here alone; `lead` is not.
  */
 import { checkContracts, withProminence } from "@descryy/core";
 import { briefNode, optionalInteger, optionalStringArray, } from "./kit.js";
@@ -89,10 +51,8 @@ async function run(args, ctx) {
     });
     const { paths, shapes } = checked.data;
     const notes = [...checked.notes];
-    // Filtering happens after the check rather than before it, so the counts a
-    // reader sees — how many endpoints exist, how many joined — describe the whole
-    // graph. A denominator that silently shrinks with the filter would make a
-    // narrow query look like a healthy repository.
+    // Filtering happens after the check so the counts describe the whole graph
+    // — a shrinking denominator would make a narrow query look healthy.
     const matchesPath = (template) => filters === undefined || filters.some((f) => template.includes(f));
     const findings = paths.findings.filter((f) => matchesPath(f.pathTemplate) && touchesFiles([...f.callers, ...f.routes], fileScope));
     const mismatches = shapes.mismatches.filter((m) => matchesPath(String(m.endpoint.attrs["pathTemplate"] ?? m.endpoint.name)) &&
@@ -105,20 +65,9 @@ async function run(args, ctx) {
         notes.push(`Filtered to findings touching ${fileScope.length} named file(s). The counts below describe ` +
             "the whole graph; the lists describe the filter.");
     }
-    // UAT round 3, Suggestion 5: a `paths` filter matching zero endpoints in the
-    // graph is not a clean result — it means the filter named something this
-    // graph never parsed as a route or endpoint at all, which is a different
-    // claim than "checked it and it is fine." Checked against the full,
-    // unfiltered endpoint set so a filter that matches one clean endpoint (a
-    // real, checked, empty result) is not confused with one that matches none.
-    //
-    // API_ROUTE is checked too, not only API_ENDPOINT: a declared-but-unmounted
-    // route (ROUTE_NOT_MOUNTED) has no API_ENDPOINT at all by construction — the
-    // route node is the only thing in this graph that ever named its path — so a
-    // filter matching only that route must still be treated as "matched
-    // something real", never collapsed into "0 endpoint(s) matched this
-    // filter." Precisely the reviews.py case: filtering to "/reviews" must reach
-    // the finding rather than fall through to this refusal.
+    // A `paths` filter matching zero endpoints means it named something never
+    // parsed as a route/endpoint — a different claim than "checked, fine."
+    // API_ROUTE is checked too: an unmounted route has no API_ENDPOINT at all.
     let pathsMatchedNothing = false;
     if (filters !== undefined) {
         const endpoints = provider.nodesOfType("API_ENDPOINT");
@@ -134,29 +83,19 @@ async function run(args, ctx) {
             "evidence; which of them is a defect versus a lead is a separate axis (claim), not a ranking.");
     }
     // Zero API_ENDPOINT nodes usually means nothing to check — but not when the
-    // mount check found a real, independently-provable ROUTE_NOT_MOUNTED finding
-    // with no endpoint anywhere in the graph (a repo whose only declared route is
-    // an unmounted one). Refusing outright would bury that finding behind a
-    // refusal about a different question.
+    // mount check found an independent ROUTE_NOT_MOUNTED finding with no
+    // endpoint in the graph; refusing then would bury a real finding.
     const nothingToCheck = paths.checked.endpoints === 0 && paths.findingsTotal === 0;
-    // MK-7: the leading clause, graded on the axis that actually matters —
-    // `claim`. A lead is worth a look; a defect is the thing this tool exists
-    // to catch, and every one here is provable from this graph alone —
-    // `contracts.ts`'s own header on `nearMiss` is what keeps a mere
-    // typo-shaped call out of the defect count, so a nonzero one is never a
-    // "maybe".
+    // MK-7: graded on `claim` — a lead is worth a look; a defect is provable
+    // from this graph alone (`nearMiss` keeps a mere typo out of the count).
     const verdict = defects > 0
         ? `${defects} defect(s) found`
         : leads > 0
             ? `No defects; ${leads} lead(s) to review`
             : "Clean at path level";
-    // Hand-off from Lane 2 (B6): render.ts now refuses to relay a `truncated`
-    // answer with no `truncatedDetail` rather than substituting a sentinel, so
-    // this has to be supplied whenever `checked.truncated` is set. `total`
-    // describes the whole, unfiltered graph — the same convention `checked`
-    // above already uses — which is an honest upper bound on `shown` since a
-    // `paths`/`files` filter here can only ever remove items from what core
-    // already capped, never add to them.
+    // render.ts refuses a `truncated` answer with no `truncatedDetail`, so this
+    // must be supplied whenever `checked.truncated` is set; `total` is the
+    // whole unfiltered graph, an honest upper bound on `shown`.
     const truncatedDetail = checked.truncated
         ? { shown: findings.length, total: Math.max(paths.findingsTotal, findings.length), more: null }
         : undefined;
@@ -172,6 +111,8 @@ async function run(args, ctx) {
                     .sort((a, b) => b.resolution - a.resolution)
                     .map((f) => ({
                     kind: f.kind,
+                    // Whether this asserts a fault. Carried as a field because the
+                    // sentence below already said it and nothing could read prose.
                     claim: f.claim,
                     method: f.method,
                     path: f.pathTemplate,
@@ -190,6 +131,10 @@ async function run(args, ctx) {
                     writer: briefNode(m.writer),
                     differences: m.differences,
                     resolution: m.resolution,
+                    // A field the reading side needs and the writing side does not
+                    // supply. There is no benign reading of that, so every mismatch is a
+                    // fault claim — unlike an uncalled route, whose usual explanation is
+                    // a consumer outside the graph.
                     claim: m.claim,
                 })),
                 checked: paths.checked,
@@ -215,10 +160,9 @@ async function run(args, ctx) {
                 ]
                 : notes,
         },
-        // A path finding is a claim about names — this route exists, that one does
-        // not — which R2 fully supports. A shape mismatch is not, and `engine.ts`
-        // caps each one individually; this flag governs the answer's own headline
-        // claim, which is the path half.
+        // A path finding is a name-level claim (R2 fully supports); a shape
+        // mismatch is not — `engine.ts` caps each individually. This flags the
+        // answer's own headline claim, the path half.
         nameLevel: true,
         ...(truncatedDetail === undefined ? {} : { truncatedDetail }),
         ...(nothingToCheck

package/dist/tools/contracts.js.map

@@ -1 +1 @@
-{"version":3,"file":"contracts.js","sourceRoot":"","sources":["../../src/tools/contracts.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAEH,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAY/D,OAAO,EACL,SAAS,EACT,eAAe,EACf,mBAAmB,GAIpB,MAAM,UAAU,CAAC;AA2GlB,MAAM,MAAM,GAAG;IACb,IAAI,EAAE,QAAQ;IACd,UAAU,EAAE;QACV,KAAK,EAAE;YACL,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,WAAW,EACT,wFAAwF;gBACxF,wFAAwF;SAC3F;QACD,KAAK,EAAE;YACL,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,WAAW,EACT,0FAA0F;gBAC1F,uFAAuF;gBACvF,qDAAqD;SACxD;QACD,SAAS,EAAE;YACT,IAAI,EAAE,SAAS;YACf,WAAW,EACT,yFAAyF;gBACzF,iCAAiC;SACpC;QACD,WAAW,EAAE;YACX,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,CAAC;YACV,WAAW,EAAE,gFAAgF;SAC9F;KACF;IACD,oBAAoB,EAAE,KAAK;CACnB,CAAC;AAEX,yGAAyG;AACzG,SAAS,YAAY,CAAC,KAAwB,EAAE,KAAoC;IAClF,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7F,CAAC;AAED,KAAK,UAAU,GAAG,CAChB,IAA6B,EAC7B,GAAgB;IAEhB,MAAM,OAAO,GAAG,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnD,MAAM,SAAS,GAAG,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACrD,MAAM,WAAW,GAAG,eAAe,CAAC,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC;IAC5D,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,IAAI,CAAC;IAE7C,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;IACxC,GAAG,CAAC,QAAQ,CAAC,iCAAiC,CAAC,CAAC;IAChD,MAAM,OAAO,GAAG,cAAc,CAAC,QAAQ,EAAE;QACvC,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;QACrD,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1C,CAAC,CAAC;IAEH,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IACvC,MAAM,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAEjC,2EAA2E;IAC3E,+EAA+E;IAC/E,0EAA0E;IAC1E,+CAA+C;IAC/C,MAAM,WAAW,GAAG,CAAC,QAAgB,EAAW,EAAE,CAChD,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAErE,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CACpC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,CAC3F,CAAC;IACF,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CACzC,CAAC,CAAC,EAAE,EAAE,CACJ,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACxE,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,CAChD,CAAC;IAEF,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CACR,kCAAkC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe;YACtF,gEAAgE,CACnE,CAAC;IACJ,CAAC;IACD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CACR,iCAAiC,SAAS,CAAC,MAAM,4CAA4C;YAC3F,iDAAiD,CACpD,CAAC;IACJ,CAAC;IAED,6EAA6E;IAC7E,yEAAyE;IACzE,yEAAyE;IACzE,oEAAoE;IACpE,yEAAyE;IACzE,2EAA2E;IAC3E,EAAE;IACF,4EAA4E;IAC5E,6EAA6E;IAC7E,6EAA6E;IAC7E,oEAAoE;IACpE,oEAAoE;IACpE,6EAA6E;IAC7E,wDAAwD;IACxD,IAAI,mBAAmB,GAAG,KAAK,CAAC;IAChC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,SAAS,GAAG,QAAQ,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC;QACvD,MAAM,MAAM,GAAG,QAAQ,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;QACjD,MAAM,OAAO,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/F,mBAAmB,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtF,CAAC;IAED,MAAM,OAAO,GACX,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC;IAC1E,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IAChE,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CACR,4FAA4F;YAC1F,4FAA4F;YAC5F,8FAA8F,CACjG,CAAC;IACJ,CAAC;IACD,4EAA4E;IAC5E,6EAA6E;IAC7E,8EAA8E;IAC9E,wEAAwE;IACxE,sCAAsC;IACtC,MAAM,cAAc,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,KAAK,CAAC,IAAI,KAAK,CAAC,aAAa,KAAK,CAAC,CAAC;IAElF,uEAAuE;IACvE,0EAA0E;IAC1E,mEAAmE;IACnE,iEAAiE;IACjE,wEAAwE;IACxE,WAAW;IACX,MAAM,OAAO,GACX,OAAO,GAAG,CAAC;QACT,CAAC,CAAC,GAAG,OAAO,kBAAkB;QAC9B,CAAC,CAAC,KAAK,GAAG,CAAC;YACT,CAAC,CAAC,eAAe,KAAK,oBAAoB;YAC1C,CAAC,CAAC,qBAAqB,CAAC;IAE9B,0EAA0E;IAC1E,2EAA2E;IAC3E,uEAAuE;IACvE,wEAAwE;IACxE,yEAAyE;IACzE,wEAAwE;IACxE,qCAAqC;IACrC,MAAM,eAAe,GAAiC,OAAO,CAAC,SAAS;QACrE,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE;QAC/F,CAAC,CAAC,SAAS,CAAC;IAEd,OAAO;QACL,MAAM,EAAE;YACN,GAAG,OAAO;YACV,IAAI,EAAE;gBACJ,QAAQ,EAAE,cAAc;gBACtB,oEAAoE;gBACpE,mEAAmE;gBACnE,sDAAsD;gBACtD,CAAC,GAAG,QAAQ,CAAC;qBACV,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC;qBAC3C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBACX,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,KAAK,EAAE,CAAC,CAAC,KAAK;oBACd,MAAM,EAAE,CAAC,CAAC,MAAM;oBAChB,IAAI,EAAE,CAAC,CAAC,YAAY;oBACpB,MAAM,EAAE,CAAC,CAAC,MAAM;oBAChB,UAAU,EAAE,CAAC,CAAC,UAAU;oBACxB,GAAG,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI;wBACrB,CAAC,CAAC,EAAE;wBACJ,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;oBACzE,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC;oBAC7C,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC;iBAC5C,CAAC,CAAC,CACN;gBACD,eAAe,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBACtC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI;oBACzB,SAAS,EAAE,CAAC,CAAC,SAAS;oBACtB,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;oBAC3B,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;oBAC3B,WAAW,EAAE,CAAC,CAAC,WAAW;oBAC1B,UAAU,EAAE,CAAC,CAAC,UAAU;oBACxB,KAAK,EAAE,CAAC,CAAC,KAAK;iBACf,CAAC,CAAC;gBACH,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,MAAM,EAAE;oBACN,GAAG,EAAE,MAAM,CAAC,GAAG;oBACf,UAAU,EAAE,MAAM,CAAC,UAAU;oBAC7B,YAAY,EAAE,MAAM,CAAC,YAAY;oBACjC,YAAY,EAAE,MAAM,CAAC,YAAY;oBACjC,WAAW,EAAE,MAAM,CAAC,WAAW;oBAC/B,QAAQ,EAAE,MAAM,CAAC,QAAQ;iBAC1B;gBACD,wBAAwB,EAAE,KAAK,CAAC,wBAAwB;gBACxD,OAAO;gBACP,KAAK;aACN;YACD,KAAK,EAAE,mBAAmB;gBACxB,CAAC,CAAC;oBACE,yBAAyB,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe;wBACrF,sFAAsF;wBACtF,qFAAqF;wBACrF,mBAAmB;oBACrB,GAAG,KAAK;iBACT;gBACH,CAAC,CAAC,KAAK;SACV;QACD,2EAA2E;QAC3E,0EAA0E;QAC1E,0EAA0E;QAC1E,iCAAiC;QACjC,SAAS,EAAE,IAAI;QACf,GAAG,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC;QAC7D,GAAG,CAAC,cAAc;YAChB,CAAC,CAAC,EAAE,KAAK,EAAE,SAAkB,EAAE;YAC/B,CAAC,CAAC,mBAAmB;gBACnB,CAAC,CAAC,EAAE,KAAK,EAAE,OAAgB,EAAE;gBAC7B,CAAC,CAAC,EAAE,CAAC;QACT,QAAQ,EAAE,cAAc;YACtB,CAAC,CAAC,sEAAsE;YACxE,CAAC,CAAC,mBAAmB;gBACnB,CAAC,CAAC,4DAA4D;gBAC9D,CAAC,CAAC,GAAG,OAAO,KAAK,KAAK,CAAC,OAAO,CAAC,MAAM,OAAO,KAAK,CAAC,OAAO,CAAC,SAAS,yBAAyB;oBAC1F,uBAAuB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,iDAAiD,GAAG;KACpG,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,aAAa,GAAmB;IAC3C,IAAI,EAAE,WAAW;IACjB,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,YAAY;IAClB,OAAO,EAAE,OAAO;IAChB,KAAK,EAAE,sCAAsC;IAC7C,WAAW,EACT,6FAA6F;QAC7F,+FAA+F;QAC/F,+FAA+F;QAC/F,6FAA6F;QAC7F,6FAA6F;QAC7F,qCAAqC;IACvC,WAAW,EAAE,MAA4C;IACzD,GAAG;CACJ,CAAC"}
+{"version":3,"file":"contracts.js","sourceRoot":"","sources":["../../src/tools/contracts.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAY/D,OAAO,EACL,SAAS,EACT,eAAe,EACf,mBAAmB,GAIpB,MAAM,UAAU,CAAC;AAoElB,MAAM,MAAM,GAAG;IACb,IAAI,EAAE,QAAQ;IACd,UAAU,EAAE;QACV,KAAK,EAAE;YACL,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,WAAW,EACT,wFAAwF;gBACxF,wFAAwF;SAC3F;QACD,KAAK,EAAE;YACL,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,WAAW,EACT,0FAA0F;gBAC1F,uFAAuF;gBACvF,qDAAqD;SACxD;QACD,SAAS,EAAE;YACT,IAAI,EAAE,SAAS;YACf,WAAW,EACT,yFAAyF;gBACzF,iCAAiC;SACpC;QACD,WAAW,EAAE;YACX,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,CAAC;YACV,WAAW,EAAE,gFAAgF;SAC9F;KACF;IACD,oBAAoB,EAAE,KAAK;CACnB,CAAC;AAEX,yGAAyG;AACzG,SAAS,YAAY,CAAC,KAAwB,EAAE,KAAoC;IAClF,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC7F,CAAC;AAED,KAAK,UAAU,GAAG,CAChB,IAA6B,EAC7B,GAAgB;IAEhB,MAAM,OAAO,GAAG,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnD,MAAM,SAAS,GAAG,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACrD,MAAM,WAAW,GAAG,eAAe,CAAC,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC;IAC5D,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,IAAI,CAAC;IAE7C,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;IACxC,GAAG,CAAC,QAAQ,CAAC,iCAAiC,CAAC,CAAC;IAChD,MAAM,OAAO,GAAG,cAAc,CAAC,QAAQ,EAAE;QACvC,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;QACrD,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1C,CAAC,CAAC;IAEH,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IACvC,MAAM,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAEjC,2EAA2E;IAC3E,oEAAoE;IACpE,MAAM,WAAW,GAAG,CAAC,QAAgB,EAAW,EAAE,CAChD,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAErE,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CACpC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,CAC3F,CAAC;IACF,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CACzC,CAAC,CAAC,EAAE,EAAE,CACJ,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACxE,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,CAChD,CAAC;IAEF,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CACR,kCAAkC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe;YACtF,gEAAgE,CACnE,CAAC;IACJ,CAAC;IACD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CACR,iCAAiC,SAAS,CAAC,MAAM,4CAA4C;YAC3F,iDAAiD,CACpD,CAAC;IACJ,CAAC;IAED,0EAA0E;IAC1E,uEAAuE;IACvE,2EAA2E;IAC3E,IAAI,mBAAmB,GAAG,KAAK,CAAC;IAChC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,SAAS,GAAG,QAAQ,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC;QACvD,MAAM,MAAM,GAAG,QAAQ,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;QACjD,MAAM,OAAO,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/F,mBAAmB,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtF,CAAC;IAED,MAAM,OAAO,GACX,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC;IAC1E,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC;IAChE,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CACR,4FAA4F;YAC1F,4FAA4F;YAC5F,8FAA8F,CACjG,CAAC;IACJ,CAAC;IACD,4EAA4E;IAC5E,qEAAqE;IACrE,kEAAkE;IAClE,MAAM,cAAc,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,KAAK,CAAC,IAAI,KAAK,CAAC,aAAa,KAAK,CAAC,CAAC;IAElF,yEAAyE;IACzE,yEAAyE;IACzE,MAAM,OAAO,GACX,OAAO,GAAG,CAAC;QACT,CAAC,CAAC,GAAG,OAAO,kBAAkB;QAC9B,CAAC,CAAC,KAAK,GAAG,CAAC;YACT,CAAC,CAAC,eAAe,KAAK,oBAAoB;YAC1C,CAAC,CAAC,qBAAqB,CAAC;IAE9B,4EAA4E;IAC5E,uEAAuE;IACvE,4DAA4D;IAC5D,MAAM,eAAe,GAAiC,OAAO,CAAC,SAAS;QACrE,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE;QAC/F,CAAC,CAAC,SAAS,CAAC;IAEd,OAAO;QACL,MAAM,EAAE;YACN,GAAG,OAAO;YACV,IAAI,EAAE;gBACJ,QAAQ,EAAE,cAAc;gBACtB,oEAAoE;gBACpE,mEAAmE;gBACnE,sDAAsD;gBACtD,CAAC,GAAG,QAAQ,CAAC;qBACV,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC;qBAC3C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBACX,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,+DAA+D;oBAC/D,+DAA+D;oBAC/D,KAAK,EAAE,CAAC,CAAC,KAAK;oBACd,MAAM,EAAE,CAAC,CAAC,MAAM;oBAChB,IAAI,EAAE,CAAC,CAAC,YAAY;oBACpB,MAAM,EAAE,CAAC,CAAC,MAAM;oBAChB,UAAU,EAAE,CAAC,CAAC,UAAU;oBACxB,GAAG,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI;wBACrB,CAAC,CAAC,EAAE;wBACJ,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;oBACzE,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC;oBAC7C,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC;iBAC5C,CAAC,CAAC,CACN;gBACD,eAAe,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBACtC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI;oBACzB,SAAS,EAAE,CAAC,CAAC,SAAS;oBACtB,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;oBAC3B,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;oBAC3B,WAAW,EAAE,CAAC,CAAC,WAAW;oBAC1B,UAAU,EAAE,CAAC,CAAC,UAAU;oBACxB,+DAA+D;oBAC/D,qEAAqE;oBACrE,qEAAqE;oBACrE,gCAAgC;oBAChC,KAAK,EAAE,CAAC,CAAC,KAAK;iBACf,CAAC,CAAC;gBACH,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,MAAM,EAAE;oBACN,GAAG,EAAE,MAAM,CAAC,GAAG;oBACf,UAAU,EAAE,MAAM,CAAC,UAAU;oBAC7B,YAAY,EAAE,MAAM,CAAC,YAAY;oBACjC,YAAY,EAAE,MAAM,CAAC,YAAY;oBACjC,WAAW,EAAE,MAAM,CAAC,WAAW;oBAC/B,QAAQ,EAAE,MAAM,CAAC,QAAQ;iBAC1B;gBACD,wBAAwB,EAAE,KAAK,CAAC,wBAAwB;gBACxD,OAAO;gBACP,KAAK;aACN;YACD,KAAK,EAAE,mBAAmB;gBACxB,CAAC,CAAC;oBACE,yBAAyB,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe;wBACrF,sFAAsF;wBACtF,qFAAqF;wBACrF,mBAAmB;oBACrB,GAAG,KAAK;iBACT;gBACH,CAAC,CAAC,KAAK;SACV;QACD,oEAAoE;QACpE,uEAAuE;QACvE,8CAA8C;QAC9C,SAAS,EAAE,IAAI;QACf,GAAG,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC;QAC7D,GAAG,CAAC,cAAc;YAChB,CAAC,CAAC,EAAE,KAAK,EAAE,SAAkB,EAAE;YAC/B,CAAC,CAAC,mBAAmB;gBACnB,CAAC,CAAC,EAAE,KAAK,EAAE,OAAgB,EAAE;gBAC7B,CAAC,CAAC,EAAE,CAAC;QACT,QAAQ,EAAE,cAAc;YACtB,CAAC,CAAC,sEAAsE;YACxE,CAAC,CAAC,mBAAmB;gBACnB,CAAC,CAAC,4DAA4D;gBAC9D,CAAC,CAAC,GAAG,OAAO,KAAK,KAAK,CAAC,OAAO,CAAC,MAAM,OAAO,KAAK,CAAC,OAAO,CAAC,SAAS,yBAAyB;oBAC1F,uBAAuB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,iDAAiD,GAAG;KACpG,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,aAAa,GAAmB;IAC3C,IAAI,EAAE,WAAW;IACjB,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,YAAY;IAClB,OAAO,EAAE,OAAO;IAChB,KAAK,EAAE,sCAAsC;IAC7C,WAAW,EACT,6FAA6F;QAC7F,+FAA+F;QAC/F,+FAA+F;QAC/F,6FAA6F;QAC7F,6FAA6F;QAC7F,qCAAqC;IACvC,WAAW,EAAE,MAA4C;IACzD,GAAG;CACJ,CAAC"}

package/dist/tools/cross-pr.d.ts

@@ -11,22 +11,20 @@
  * | hidden dependency | 14.8 | `CHANGES_WITH` edges, already in the graph | **runs** |
  * | overlap scoring | 14.3 | stored PR scopes | **runs, over whatever is stored** |
  * | superseded | 14.5 | git blob ids at head and at base's tip | **runs** |
- * | migration heads | 14.6 | migration revision + parents | **runs when a producer supplies them; declared blocked otherwise** |
+ * | migration heads | 14.6 | base's and head's migration files, read directly from git | **runs** |
  *
  * §14.8 is first because it is the one that costs nothing: 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.
  *
- * **Migration heads is the one check here independent of the diff itself** —
- * it reads the migration revision chain the graph already carries, not a
- * comparison of base's and head's own migration state, so it can answer even
- * on the two early-return paths where the diff never resolves. It was
- * declared blocked until a producer emitted `migrationRevision`/
- * `migrationDownRevision`/`migrationDir`; now that one does, `blocked` is
- * computed per call rather than fixed, and drops this entry the moment the
- * input exists — the same "declared, never silently omitted" contract stays,
- * it just stops applying to this check.
+ * **Migration heads answers the diff-precise question this section once said
+ * was out of scope for an MCP tool call** — `readMigrationsAcrossChange`
+ * (`sources/migrations/across-change.ts`) reads base's and head's migration
+ * files directly with `git ls-tree`/`git show`, so it needs no language
+ * adapter and no re-resolution of the graph against two commits. `ran` is
+ * false only when neither side has a migration format this producer
+ * recognises — never because a producer has not run yet.
  *
  * ## Why a check that still cannot run is declared rather than omitted
  *
@@ -48,7 +46,7 @@
  * actual conflict — that distinction is left to the migration-integrity
  * checks in `validate`, which are provable from the graph alone.
  */
-import type { DiffType, HiddenDependencyReport, IncomparablePair, NodeVerdict, OverlapFinding, SupersededReport } from "@descryy/core";
+import type { DiffType, HiddenDependencyReport, MigrationsAcrossChange, IncomparablePair, NodeVerdict, OverlapFinding, SupersededReport } from "@descryy/core";
 import type { ReliabilityClass } from "@descryy/ir";
 import { type BriefNode, type ToolDefinition } from "./kit.ts";
 /**
@@ -125,41 +123,55 @@ export interface SupersededCheck {
         readonly verdict: NodeVerdict;
     }[];
 }
-/**
- * §14.6 — *"would merging these changes leave more than one migration head?"*
- * Independent of the diff succeeding: it reads the migration revision chain
- * already in the graph, not a comparison of base's and head's own state.
- */
-export interface MigrationHeadsCheck {
-    /** False when no module in the graph carried a migration revision — the producer this check waited for has not run. */
-    readonly ran: boolean;
-    /** Revisions with no other migration in this graph naming them as a parent. */
-    readonly heads: readonly string[];
-    /** True when there is more than one head — the fork a manual merge revision is needed to resolve. */
-    readonly verdict: boolean;
-    readonly disclosure: string;
-}
 /** git rejected the range: no diff-dependent check ran, and `blocked` is all there is to say. */
 export interface CrossPrGitFailure {
     readonly blocked: readonly BlockedCheck[];
-    readonly migrationHeads: MigrationHeadsCheck;
+    readonly migrationHeads: MigrationHeadCheck;
 }
 /** The diff is empty. A real answer: there is nothing to collide with. */
 export interface CrossPrEmptyDiff extends CrossPrGitFailure {
     readonly changedFiles: number;
 }
 /**
- * The full answer — three checks that can run, one that cannot.
+ * §14.6 — the heads this merge would leave.
  *
- * Each check carries its own `ran`, because one check producing a real answer
- * is a real answer and burying it behind a caveat about a different question
- * is what `contracts.ts` refuses for the same reason.
+ * The set is base's migrations plus this change's, because that is the set the
+ * migration runner sees after the merge. `ran` is false when neither side had a
+ * migration format this producer recognises, which is **not** the same as a
+ * clean answer: a repository whose framework declares no DAG cannot have this
+ * failure at all, and one whose files were unreadable simply was not read.
  */
+export interface MigrationHeadCheck {
+    readonly ran: boolean;
+    /** Base's single head, or null when base has none or already forks. */
+    readonly baseHead: string | null;
+    /** At most one — either the merged set has a single head or it does not. */
+    readonly conflict: MigrationsAcrossChange["report"]["conflict"];
+    readonly dependencies: MigrationsAcrossChange["report"]["dependencies"];
+    readonly duplicateRevisions: MigrationsAcrossChange["report"]["duplicateRevisions"];
+    /** False when any parent list could not be read, so the DAG read is partial. */
+    readonly complete: boolean;
+    readonly checked: MigrationsAcrossChange["report"]["checked"];
+    /** Files declined, with the reason recorded rather than guessed. */
+    readonly refused: readonly {
+        file: string;
+        reason: string;
+    }[];
+    /**
+     * Well-formed migrations sitting where no migration tool looks.
+     *
+     * Reported separately from the head computation because they are not in it —
+     * the runner cannot see them either, so "the merge leaves one head" can be
+     * true and incomplete in the same breath.
+     */
+    readonly misplaced: MigrationsAcrossChange["misplaced"];
+}
 export interface CrossPrReport extends CrossPrEmptyDiff {
     readonly resolvedNodes: number;
     readonly hiddenDependencies: HiddenDependencyCheck;
     readonly overlaps: OverlapCheck;
     readonly superseded: SupersededCheck;
+    readonly migrationHeads: MigrationHeadCheck;
 }
 export type CrossPrData = CrossPrGitFailure | CrossPrEmptyDiff | CrossPrReport;
 export declare const crossPrTool: ToolDefinition;

package/dist/tools/cross-pr.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cross-pr.d.ts","sourceRoot":"","sources":["../../src/tools/cross-pr.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AAaH,OAAO,KAAK,EACV,QAAQ,EACR,sBAAsB,EACtB,gBAAgB,EAChB,WAAW,EACX,cAAc,EACd,gBAAgB,EACjB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAEpD,OAAO,EAML,KAAK,SAAS,EAEd,KAAK,cAAc,EACpB,MAAM,UAAU,CAAC;AAIlB;;;;;;GAMG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,kDAAkD;IAClD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,uBAAwB,SAAQ,SAAS;IACxD,QAAQ,CAAC,SAAS,EAAE,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC1F,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,qBAAqB;IACpC,2FAA2F;IAC3F,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,SAAS,uBAAuB,EAAE,CAAC;IACtD,uFAAuF;IACvF,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,sBAAsB,CAAC,SAAS,CAAC,CAAC;IACpD,+DAA+D;IAC/D,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;CAC/C;AAED,MAAM,WAAW,YAAY;IAC3B,gFAAgF;IAChF,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,SAAS,cAAc,EAAE,CAAC;IAC7C,uFAAuF;IACvF,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,uGAAuG;IACvG,QAAQ,CAAC,YAAY,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACnD,QAAQ,CAAC,OAAO,EAAE,oBAAoB,CAAC;CACxC;AAED,yFAAyF;AACzF,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEF,MAAM,WAAW,eAAe;IAC9B,kFAAkF;IAClF,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IAC5C,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,8FAA8F;IAC9F,QAAQ,CAAC,SAAS,EAAE,SAAS;QAC3B,kEAAkE;QAClE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;QAClC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;QAC5B,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;KAC/B,EAAE,CAAC;CACL;AAED;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAClC,uHAAuH;IACvH,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,+EAA+E;IAC/E,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,qGAAqG;IACrG,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,iGAAiG;AACjG,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;IAC1C,QAAQ,CAAC,cAAc,EAAE,mBAAmB,CAAC;CAC9C;AAED,0EAA0E;AAC1E,MAAM,WAAW,gBAAiB,SAAQ,iBAAiB;IACzD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B;AAED;;;;;;GAMG;AACH,MAAM,WAAW,aAAc,SAAQ,gBAAgB;IACrD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,kBAAkB,EAAE,qBAAqB,CAAC;IACnD,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;CACtC;AAED,MAAM,MAAM,WAAW,GAAG,iBAAiB,GAAG,gBAAgB,GAAG,aAAa,CAAC;AAuQ/E,eAAO,MAAM,WAAW,EAAE,cAmBzB,CAAC"}
+{"version":3,"file":"cross-pr.d.ts","sourceRoot":"","sources":["../../src/tools/cross-pr.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAaH,OAAO,KAAK,EACV,QAAQ,EACR,sBAAsB,EACtB,sBAAsB,EACtB,gBAAgB,EAChB,WAAW,EACX,cAAc,EACd,gBAAgB,EACjB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAEpD,OAAO,EAML,KAAK,SAAS,EAEd,KAAK,cAAc,EACpB,MAAM,UAAU,CAAC;AAIlB;;;;;;GAMG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,kDAAkD;IAClD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,uBAAwB,SAAQ,SAAS;IACxD,QAAQ,CAAC,SAAS,EAAE,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC1F,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,qBAAqB;IACpC,2FAA2F;IAC3F,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,SAAS,uBAAuB,EAAE,CAAC;IACtD,uFAAuF;IACvF,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,sBAAsB,CAAC,SAAS,CAAC,CAAC;IACpD,+DAA+D;IAC/D,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;CAC/C;AAED,MAAM,WAAW,YAAY;IAC3B,gFAAgF;IAChF,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,SAAS,cAAc,EAAE,CAAC;IAC7C,uFAAuF;IACvF,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,uGAAuG;IACvG,QAAQ,CAAC,YAAY,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACnD,QAAQ,CAAC,OAAO,EAAE,oBAAoB,CAAC;CACxC;AAED,yFAAyF;AACzF,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEF,MAAM,WAAW,eAAe;IAC9B,kFAAkF;IAClF,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IAC5C,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,8FAA8F;IAC9F,QAAQ,CAAC,SAAS,EAAE,SAAS;QAC3B,kEAAkE;QAClE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;QAClC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;QAC5B,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;KAC/B,EAAE,CAAC;CACL;AAED,iGAAiG;AACjG,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;IAC1C,QAAQ,CAAC,cAAc,EAAE,kBAAkB,CAAC;CAC7C;AAED,0EAA0E;AAC1E,MAAM,WAAW,gBAAiB,SAAQ,iBAAiB;IACzD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,uEAAuE;IACvE,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,4EAA4E;IAC5E,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,CAAC;IAChE,QAAQ,CAAC,YAAY,EAAE,sBAAsB,CAAC,QAAQ,CAAC,CAAC,cAAc,CAAC,CAAC;IACxE,QAAQ,CAAC,kBAAkB,EAAE,sBAAsB,CAAC,QAAQ,CAAC,CAAC,oBAAoB,CAAC,CAAC;IACpF,gFAAgF;IAChF,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,sBAAsB,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,CAAC;IAC9D,oEAAoE;IACpE,QAAQ,CAAC,OAAO,EAAE,SAAS;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC9D;;;;;;OAMG;IACH,QAAQ,CAAC,SAAS,EAAE,sBAAsB,CAAC,WAAW,CAAC,CAAC;CACzD;AAED,MAAM,WAAW,aAAc,SAAQ,gBAAgB;IACrD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,kBAAkB,EAAE,qBAAqB,CAAC;IACnD,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,QAAQ,CAAC,cAAc,EAAE,kBAAkB,CAAC;CAC7C;AAED,MAAM,MAAM,WAAW,GAAG,iBAAiB,GAAG,gBAAgB,GAAG,aAAa,CAAC;AAoS/E,eAAO,MAAM,WAAW,EAAE,cAmBzB,CAAC"}

package/dist/tools/cross-pr.js

@@ -11,22 +11,20 @@
  * | hidden dependency | 14.8 | `CHANGES_WITH` edges, already in the graph | **runs** |
  * | overlap scoring | 14.3 | stored PR scopes | **runs, over whatever is stored** |
  * | superseded | 14.5 | git blob ids at head and at base's tip | **runs** |
- * | migration heads | 14.6 | migration revision + parents | **runs when a producer supplies them; declared blocked otherwise** |
+ * | migration heads | 14.6 | base's and head's migration files, read directly from git | **runs** |
  *
  * §14.8 is first because it is the one that costs nothing: 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.
  *
- * **Migration heads is the one check here independent of the diff itself** —
- * it reads the migration revision chain the graph already carries, not a
- * comparison of base's and head's own migration state, so it can answer even
- * on the two early-return paths where the diff never resolves. It was
- * declared blocked until a producer emitted `migrationRevision`/
- * `migrationDownRevision`/`migrationDir`; now that one does, `blocked` is
- * computed per call rather than fixed, and drops this entry the moment the
- * input exists — the same "declared, never silently omitted" contract stays,
- * it just stops applying to this check.
+ * **Migration heads answers the diff-precise question this section once said
+ * was out of scope for an MCP tool call** — `readMigrationsAcrossChange`
+ * (`sources/migrations/across-change.ts`) reads base's and head's migration
+ * files directly with `git ls-tree`/`git show`, so it needs no language
+ * adapter and no re-resolution of the graph against two commits. `ran` is
+ * false only when neither side has a migration format this producer
+ * recognises — never because a producer has not run yet.
  *
  * ## Why a check that still cannot run is declared rather than omitted
  *
@@ -48,7 +46,7 @@
  * actual conflict — that distinction is left to the migration-integrity
  * checks in `validate`, which are provable from the graph alone.
  */
-import { changedFiles, checkMigrationHeads, findHiddenDependencies, findOverlaps, findSuperseded, nodesInFiles, ScopeStore, supersededCandidates, } from "@descryy/core";
+import { changedFiles, findHiddenDependencies, findOverlaps, findSuperseded, nodesInFiles, readMigrationsAcrossChange, ScopeStore, supersededCandidates, } from "@descryy/core";
 import { answer, briefNode, optionalInteger, optionalString, requiredString, } from "./kit.js";
 import { capped } from "../capped.js";
 const SCHEMA = {
@@ -71,16 +69,7 @@ const SCHEMA = {
  * Named here rather than in prose so the reply carries them as data a caller
  * can act on. Each says what would have to exist, not merely that it does not.
  */
-const BLOCKED = [
-    {
-        check: "migration-heads",
-        section: "14.6",
-        question: "Would merging these changes leave more than one migration head?",
-        needs: "a producer emitting each migration's revision and declared parents. The check is " +
-            "framework-agnostic by design — a revision, its parents and which change adds it is the " +
-            "shape every migration tool has — so this is one adapter, not one per framework.",
-    },
-];
+const BLOCKED = [];
 async function run(args, ctx) {
     const base = requiredString(args, "base");
     const head = optionalString(args, "head") ?? "HEAD";
@@ -98,33 +87,60 @@ async function run(args, ctx) {
         // carve-out that lifts a name-level fact to A begins at R2.
         nameLevel: true,
     };
-    // §14.6 — independent of whether the diff itself succeeds: it reads the
-    // migration revision chain already in the graph, not a comparison of
-    // base's and head's own migration state. Computed once, up front, so every
-    // return path below — including the two that never reach a diff — can
-    // report a real answer instead of "blocked" now that a producer supplies
-    // this input.
-    const migrationHeadsResult = checkMigrationHeads(session.provider());
-    const headsRan = migrationHeadsResult.data.ran;
-    const headCount = migrationHeadsResult.data.heads.length;
+    // §14.6 — independent of whether the main diff below succeeds: it reads
+    // base's and head's migration files directly from git (`ls-tree`/`show`),
+    // not a comparison that needs the graph or the changed-file list. Computed
+    // once, up front, so both early-return paths below — a rejected range and a
+    // genuinely empty diff — still get a real answer rather than one about a
+    // question this check never asked.
+    ctx.progress("Reading migrations on both sides");
+    let migrations = null;
+    let migrationFailure = null;
+    try {
+        migrations = await readMigrationsAcrossChange(session.repoPath, base, head);
+    }
+    catch (error) {
+        // One check failing is not four checks failing. Recorded rather than
+        // thrown, and `ran: false` with a reason is what the caller reads.
+        migrationFailure = error.message.trim();
+    }
     const migrationHeads = {
-        ran: headsRan,
-        heads: migrationHeadsResult.data.heads,
-        verdict: headCount > 1,
-        disclosure: !headsRan
-            ? "No module in the graph carries a migration revision — a producer has not supplied this " +
-                "input yet."
-            : headCount > 1
-                ? `${headCount} migration heads found (${migrationHeadsResult.data.heads.join(", ")}). ` +
-                    "Merging further changes onto more than one of them needs a manual merge revision."
-                : `${migrationHeadsResult.data.examined.modulesWithRevision} migration(s) examined; the ` +
-                    "chain has a single head.",
+        ran: migrations?.report.analysed === true,
+        baseHead: migrations?.baseHead ?? null,
+        conflict: migrations?.report.conflict ?? null,
+        dependencies: migrations?.report.dependencies ?? [],
+        duplicateRevisions: migrations?.report.duplicateRevisions ?? [],
+        complete: migrations?.report.complete ?? false,
+        checked: migrations?.report.checked ?? {
+            changes: 0,
+            migrations: 0,
+            withUnknownParents: 0,
+            heads: 0,
+        },
+        refused: [
+            ...(migrations?.base.refusals ?? []),
+            ...(migrations?.change.refusals ?? []),
+        ].map((r) => ({ file: r.file, reason: r.reason })),
+        misplaced: migrations?.misplaced ?? [],
     };
-    // Declared rather than silently omitted, the same precedent `contracts.ts`
-    // set: only the checks that genuinely still have no input stay in
-    // `blocked` on this call.
-    const blocked = headsRan ? [] : BLOCKED;
-    const migrationHeadsNotes = migrationHeadsResult.notes;
+    const migrationHeadsNotes = [];
+    if (migrationFailure !== null) {
+        migrationHeadsNotes.push(`The migration head check could not read one of the two revisions: ${migrationFailure}. ` +
+            "That is a failure of this check, not a finding that the merge leaves one head.");
+    }
+    else if (migrations !== null) {
+        migrationHeadsNotes.push(...migrations.notes);
+        if (migrationHeads.misplaced.length > 0) {
+            migrationHeadsNotes.push(`${migrationHeads.misplaced.length} well-formed migration(s) are in a location no ` +
+                "migration tool looks at, so nothing will run them and they are not in the head " +
+                `computation: ${migrationHeads.misplaced.map((m) => m.file).join(", ")}.`);
+        }
+        if (!migrationHeads.ran) {
+            migrationHeadsNotes.push("No migration format this producer recognises was found on either side, so no head " +
+                "computation ran. Two of the four common families declare no DAG at all and cannot " +
+                "have this failure; a repository using one of them is not being told it is clean.");
+        }
+    }
     ctx.progress(`Diffing ${base}...${head}`, 1, 3);
     let files;
     try {
@@ -135,7 +151,7 @@ async function run(args, ctx) {
             ...envelope,
             headline: `Could not diff ${base}...${head}.`,
             state: "refused",
-            data: { blocked, migrationHeads },
+            data: { blocked: BLOCKED, migrationHeads },
             notes: [
                 `git rejected the range: ${error.message.trim()}.`,
                 "No check ran, which is not a finding that this change collides with nothing.",
@@ -147,7 +163,7 @@ async function run(args, ctx) {
         return answer({
             ...envelope,
             headline: "The diff is empty.",
-            data: { changedFiles: 0, blocked, migrationHeads },
+            data: { changedFiles: 0, blocked: BLOCKED, migrationHeads },
             notes: ["An empty diff is a real answer: there is nothing to collide with.", ...migrationHeadsNotes],
         });
     }
@@ -194,15 +210,15 @@ async function run(args, ctx) {
         notes.push(`${remainingCap.detail.total - remainingCap.detail.shown} further file(s) not yet matched to ` +
             `base are not listed — the reply is capped at ${limit}. Raise "limit" to see them.`);
     }
-    if (blocked.length > 0) {
-        notes.push(`${blocked.length} of the four multi-PR checks did not run because nothing produces their ` +
-            `input yet: ${blocked.map((b) => b.check).join(", ")}. Each is listed in "blocked" with ` +
+    if (BLOCKED.length > 0) {
+        notes.push(`${BLOCKED.length} of the four multi-PR checks did not run because nothing produces their ` +
+            `input yet: ${BLOCKED.map((b) => b.check).join(", ")}. Each is listed in "blocked" with ` +
             "what it is waiting for. Their absence is not a clean result.");
     }
     // `refused` only when NOTHING looked at anything. One check producing a
     // real answer is a real answer, and burying it behind a caveat about a
     // different question is what `contracts.ts` refuses for the same reason.
-    const anythingRan = hidden.data.analysed || scopes.length >= 2 || superseded.analysed || headsRan;
+    const anythingRan = hidden.data.analysed || scopes.length >= 2 || superseded.analysed || migrationHeads.ran;
     // B8 (part 2) — `truncated` used to forward only `hidden.truncated`, so
     // capping in `overlaps` or in `remaining` (above) went undisclosed on the
     // wire even when the prose said so. Three checks can each independently
@@ -257,8 +273,8 @@ async function run(args, ctx) {
                     disclosure: superseded.disclosure,
                     remaining: remainingCap.shown,
                 },
-                blocked,
                 migrationHeads,
+                blocked: BLOCKED,
             },
             stamp: hidden.stamp,
             truncated: anyCheckTruncated,
@@ -273,8 +289,11 @@ async function run(args, ctx) {
             ? `${verdict}. ${hidden.data.findings.length} historically coupled file(s) were not touched; ` +
                 `${overlaps.findings.length} overlapping change pair(s) scored above the conflict ` +
                 `threshold; ${superseded.superseded ? "this change's work is already on base" : `${superseded.counts.alreadyInBase} of ${superseded.counts.total} touched file(s) already match base`}; ` +
-                `${headsRan ? (migrationHeads.verdict ? `${migrationHeads.heads.length} migration heads found` : "a single migration head") : "migration heads not checked"}. ` +
-                `${blocked.length} of four checks could not run.`
+                `${!migrationHeads.ran
+                    ? "no migration DAG was read"
+                    : migrationHeads.conflict === null
+                        ? `the merge leaves ${migrationHeads.checked.heads} migration head`
+                        : "the merge would leave more than one migration head"}; ${BLOCKED.length} of four checks could not run.`
             : "No multi-PR check was able to run on this change. That is a statement about the " +
                 "evidence available, not about the change.",
     };
@@ -288,13 +307,13 @@ export const crossPrTool = {
     description: "What this change collides with that reading its diff alone would not show: files it " +
         "historically moves with and did not touch this time (§14.8), other in-flight changes " +
         "editing the same important nodes (§14.3), whether the work is already on base by another " +
-        "route (§14.5), and whether the migration revision chain has forked into more than one head " +
-        "(§14.6, from attrs.migrationRevision/migrationDownRevision — runs whenever a producer " +
-        "supplies them, declared blocked otherwise). Findings are Class C hints about how people " +
-        "edit this repository, never claims about what breaks; a migration-head fork is reported the " +
-        "same way, because this check cannot yet tell a legitimate merge-in-progress from a real " +
-        "conflict. A check with no input yet is declared with what it is waiting for rather than " +
-        "silently omitted.",
+        "route (§14.5), and whether merging it would leave the migration runner with more than one " +
+        "head (§14.6, computed over base's migrations and this change's together, read directly from " +
+        "git — no language adapter needed). Findings are Class C hints about how people edit this " +
+        "repository, never claims about what breaks; a migration-head fork is reported the same way, " +
+        "because this check cannot yet tell a legitimate merge-in-progress from a real conflict. Any " +
+        "check whose input no producer writes is declared in \"blocked\" with what it is waiting for " +
+        "rather than silently omitted.",
     inputSchema: SCHEMA,
     run,
 };