@descryy/core 0.3.0 → 0.5.0

package/dist/multipr/mechanical.js

@@ -1,101 +1,11 @@
 /**
- * §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 { reliabilityCap, reliabilityNote } from "@descryy/ir";
-/**
- * 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 const CONTEXT_LINES = 3;
 /** Every reason this module declines, as data — a refusal is a row, never a silence. */
 const REASONS = {
@@ -106,8 +16,7 @@ const REASONS = {
         "an unreadable hunk is not an absent one",
 };
 function hunksFor(hunks, node) {
-    // A shared node without a file cannot be matched to a hunk. That is a refusal
-    // below, not a filter that silently returns nothing here.
+    // No file means no hunk can be matched — refused below, not filtered silently.
     if (node.file === undefined)
         return [];
     return hunks.filter((hunk) => hunk.file === node.file);
@@ -144,10 +53,8 @@ function classifyOne(node, aHunks, bHunks, contextLines) {
     if (all.some((hunk) => hunk.baseLines < 0 || hunk.headLines < 0 || hunk.baseStart < 0)) {
         return { ...base, verdict: "UNCLASSIFIABLE", reason: REASONS.negativeLines };
     }
-    // Condition 1 — every hunk on BOTH sides is a pure insertion. One modified
-    // base line anywhere at this node makes the whole overlap semantic; there is
-    // no partial auto-apply, because a partially applied overlap is a merge
-    // nobody reviewed.
+    // Condition 1: every hunk on both sides is a pure insertion. One modified
+    // base line makes the whole overlap semantic — no partial auto-apply.
     const modifying = all.filter((hunk) => hunk.baseLines > 0);
     if (modifying.length > 0) {
         const where = modifying
@@ -163,9 +70,8 @@ function classifyOne(node, aHunks, bHunks, contextLines) {
                 "overlap is a merge nobody reviewed.",
         };
     }
-    // Condition 2 — no insertion point from one side within the context window of
-    // one from the other. Exact equality is not the test: git conflicts on
-    // overlapping context, so this uses git's own margin.
+    // Condition 2: no insertion point from either side within the context window
+    // of the other — uses git's own margin, not exact-equality.
     const collisions = [];
     for (const a of aHunks) {
         for (const b of bHunks) {
@@ -200,14 +106,8 @@ function classifyOne(node, aHunks, bHunks, contextLines) {
         resolution: { kind: "keep-both", order },
     };
 }
-/**
- * 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 function classifyOverlaps(shared, aHunks, bHunks, options = {}) {
     const contextLines = options.contextLines ?? CONTEXT_LINES;
     const classifications = shared.map((node) => classifyOne(node, hunksFor(aHunks, node), hunksFor(bHunks, node), contextLines));
@@ -218,9 +118,8 @@ export function classifyOverlaps(shared, aHunks, bHunks, options = {}) {
         semantic: classifications.filter((c) => c.verdict === "SEMANTIC").length,
         unclassifiable: classifications.filter((c) => c.verdict === "UNCLASSIFIABLE").length,
     };
-    // The baseline precondition, same shape as `hidden-dependency.ts`: nothing was
-    // read, so nothing can be concluded — and "nothing was mechanical" is a
-    // conclusion.
+    // Same precondition shape as hidden-dependency.ts: nothing read means
+    // nothing can be concluded — "nothing was mechanical" is a conclusion.
     const analysed = counts.withHunksBothSides > 0;
     const notes = [];
     if (!analysed && shared.length > 0) {
@@ -249,19 +148,9 @@ export function classifyOverlaps(shared, aHunks, bHunks, options = {}) {
     };
     return { data: { classifications, analysed, checked: counts }, stamp, truncated: false, notes };
 }
-/**
- * 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 async function applyMechanical(classification, hooks) {
     if (classification.verdict !== "MECHANICAL" || classification.resolution === undefined) {
         return {
@@ -289,9 +178,8 @@ export async function applyMechanical(classification, hooks) {
         ok = await hooks.verify();
     }
     catch (error) {
-        // Verification could not answer. Revert anyway — the change is live and
-        // unverified, which is the state §14.4 exists to prevent — but report that
-        // we do not know rather than that it was bad.
+        // Verification couldn't answer. Revert anyway, but report "don't know",
+        // not "it was bad".
         try {
             await hooks.revert();
         }
@@ -322,12 +210,8 @@ export async function applyMechanical(classification, hooks) {
     }
     return { status: "applied", verified: true };
 }
-/**
- * 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 function pairReliability(a, b) {
     return reliabilityCap(a < b ? a : b, false);
 }

package/dist/multipr/mechanical.js.map

@@ -1 +1 @@
-{"version":3,"file":"mechanical.js","sourceRoot":"","sources":["../../src/multipr/mechanical.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2FG;AAGH,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAK9D;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC;AAiF/B,wFAAwF;AACxF,MAAM,OAAO,GAAG;IACd,QAAQ,EAAE,gEAAgE;IAC1E,QAAQ,EAAE,gEAAgE;IAC1E,aAAa,EAAE,qEAAqE;IACpF,aAAa,EACX,4EAA4E;QAC5E,yCAAyC;CACnC,CAAC;AAEX,SAAS,QAAQ,CACf,KAA0B,EAC1B,IAAgB;IAEhB,8EAA8E;IAC9E,0DAA0D;IAC1D,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACvC,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,WAAW,CAClB,IAAgB,EAChB,MAA2B,EAC3B,MAA2B,EAC3B,YAAoB;IAEpB,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;IACrC,MAAM,UAAU,GACd,GAAG,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,gDAAgD;QAC1F,0FAA0F;QAC1F,+CAA+C,CAAC;IAClD,MAAM,IAAI,GAAG;QACX,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,WAAW;QACX,gBAAgB,EAAE,IAAI,CAAC,UAAU;QACjC,SAAS,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAA8B;QACtE,UAAU;KACX,CAAC;IAEF,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO;YACL,GAAG,IAAI;YACP,OAAO,EAAE,gBAAgB;YACzB,MAAM,EACJ,kFAAkF;gBAClF,mFAAmF;gBACnF,2EAA2E;SAC9E,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/C,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,OAAO,CAAC,aAAa,EAAE,CAAC;IAC/E,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC;IACjG,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC;IAEjG,MAAM,GAAG,GAAG,CAAC,GAAG,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC;IACnC,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,IAAI,IAAI,CAAC,SAAS,GAAG,CAAC,IAAI,IAAI,CAAC,SAAS,GAAG,CAAC,CAAC,EAAE,CAAC;QACvF,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,OAAO,CAAC,aAAa,EAAE,CAAC;IAC/E,CAAC;IAED,2EAA2E;IAC3E,6EAA6E;IAC7E,wEAAwE;IACxE,mBAAmB;IACnB,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC;IAC3D,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,SAAS;aACpB,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;aACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,SAAS,cAAc,CAAC;aAC9E,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,OAAO;YACL,GAAG,IAAI;YACP,OAAO,EAAE,UAAU;YACnB,MAAM,EACJ,GAAG,SAAS,CAAC,MAAM,OAAO,GAAG,CAAC,MAAM,gDAAgD;gBACpF,IAAI,KAAK,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,2CAA2C;gBACxF,iFAAiF;gBACjF,qCAAqC;SACxC,CAAC;IACJ,CAAC;IAED,8EAA8E;IAC9E,uEAAuE;IACvE,sDAAsD;IACtD,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;YAChD,IAAI,GAAG,IAAI,YAAY,EAAE,CAAC;gBACxB,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,SAAS,QAAQ,CAAC,CAAC,SAAS,KAAK,GAAG,iBAAiB,CAAC,CAAC;YACxF,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,GAAG,IAAI;YACP,OAAO,EAAE,UAAU;YACnB,MAAM,EACJ,4BAA4B,YAAY,qCAAqC;gBAC7E,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK;gBAC/E,gFAAgF;gBAChF,mFAAmF;gBACnF,eAAe;SAClB,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAG;QACZ,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAY,EAAE,IAAI,EAAE,CAAC,CAAC;QACvD,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAY,EAAE,IAAI,EAAE,CAAC,CAAC;KACxD,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAEtF,OAAO;QACL,GAAG,IAAI;QACP,OAAO,EAAE,YAAY;QACrB,MAAM,EACJ,OAAO,GAAG,CAAC,MAAM,+DAA+D;YAChF,kCAAkC,YAAY,uCAAuC;YACrF,sFAAsF;YACtF,uFAAuF;QACzF,UAAU,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE;KACzC,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAC9B,MAA6B,EAC7B,MAA2B,EAC3B,MAA2B,EAC3B,UAA6B,EAAE;IAE/B,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,IAAI,aAAa,CAAC;IAE3D,MAAM,eAAe,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAC1C,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,YAAY,CAAC,CAChF,CAAC;IAEF,MAAM,MAAM,GAAG;QACb,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,kBAAkB,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM;QAClG,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,YAAY,CAAC,CAAC,MAAM;QAC5E,QAAQ,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,UAAU,CAAC,CAAC,MAAM;QACxE,cAAc,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,gBAAgB,CAAC,CAAC,MAAM;KACrF,CAAC;IAEF,+EAA+E;IAC/E,wEAAwE;IACxE,cAAc;IACd,MAAM,QAAQ,GAAG,MAAM,CAAC,kBAAkB,GAAG,CAAC,CAAC;IAE/C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,CAAC,QAAQ,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CACR,mFAAmF;YACjF,uFAAuF;YACvF,mFAAmF;YACnF,oFAAoF;YACpF,aAAa,CAChB,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,cAAc,GAAG,CAAC,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CACR,GAAG,MAAM,CAAC,cAAc,6DAA6D;YACnF,2CAA2C,CAC9C,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,UAAU,GAAG,CAAC,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CACR,GAAG,MAAM,CAAC,UAAU,sEAAsE;YACxF,uFAAuF;YACvF,8DAA8D,CACjE,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,CAClC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,gBAAgB,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,EAC1E,CAAC,CACF,CAAC;IACF,MAAM,KAAK,GAAe,OAAO,CAAC,KAAK,IAAI;QACzC,SAAS,EAAE,IAAI;QACf,YAAY,EAAE,IAAI;QAClB,eAAe,EAAE,CAAC;QAClB,YAAY,EAAE,CAAC;QACf,eAAe,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK;KACjD,CAAC;IAEF,OAAO,EAAE,IAAI,EAAE,EAAE,eAAe,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAClG,CAAC;AA0BD;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,cAAwC,EACxC,KAAiB;IAEjB,IAAI,cAAc,CAAC,OAAO,KAAK,YAAY,IAAI,cAAc,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACvF,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,GAAG,EACD,cAAc,cAAc,CAAC,OAAO,wCAAwC;gBAC5E,iBAAiB,cAAc,CAAC,MAAM,EAAE;SAC3C,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,GAAG,EACD,8EAA8E;gBAC9E,qFAAqF;gBACrF,kBAAkB;SACrB,CAAC;IACJ,CAAC;IAED,IAAI,CAAC;QACH,MAAM,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;IAC/C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,yCAAyC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;IAC9F,CAAC;IAED,IAAI,EAAW,CAAC;IAChB,IAAI,CAAC;QACH,EAAE,GAAG,MAAM,KAAK,CAAC,MAAM,EAAE,CAAC;IAC5B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,wEAAwE;QACxE,2EAA2E;QAC3E,8CAA8C;QAC9C,IAAI,CAAC;YACH,MAAM,KAAK,CAAC,MAAM,EAAE,CAAC;QACvB,CAAC;QAAC,OAAO,WAAW,EAAE,CAAC;YACrB,OAAO;gBACL,MAAM,EAAE,qBAAqB;gBAC7B,GAAG,EACD,uBAAuB,MAAM,CAAC,KAAK,CAAC,2BAA2B,MAAM,CAAC,WAAW,CAAC,KAAK;oBACvF,kEAAkE;aACrE,CAAC;QACJ,CAAC;QACD,OAAO;YACL,MAAM,EAAE,qBAAqB;YAC7B,GAAG,EAAE,mDAAmD,MAAM,CAAC,KAAK,CAAC,6CAA6C;SACnH,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,EAAE,EAAE,CAAC;QACR,IAAI,CAAC;YACH,MAAM,KAAK,CAAC,MAAM,EAAE,CAAC;QACvB,CAAC;QAAC,OAAO,WAAW,EAAE,CAAC;YACrB,OAAO;gBACL,MAAM,EAAE,qBAAqB;gBAC7B,GAAG,EACD,6CAA6C,MAAM,CAAC,WAAW,CAAC,sBAAsB;oBACtF,8CAA8C;aACjD,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,kDAAkD,EAAE,CAAC;IACzF,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AAC/C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,CAAkB,EAAE,CAAkB;IACpE,OAAO,cAAc,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AAC9C,CAAC"}
+{"version":3,"file":"mechanical.js","sourceRoot":"","sources":["../../src/multipr/mechanical.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAK9D;2EAC2E;AAC3E,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC;AA8D/B,wFAAwF;AACxF,MAAM,OAAO,GAAG;IACd,QAAQ,EAAE,gEAAgE;IAC1E,QAAQ,EAAE,gEAAgE;IAC1E,aAAa,EAAE,qEAAqE;IACpF,aAAa,EACX,4EAA4E;QAC5E,yCAAyC;CACnC,CAAC;AAEX,SAAS,QAAQ,CACf,KAA0B,EAC1B,IAAgB;IAEhB,+EAA+E;IAC/E,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACvC,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,WAAW,CAClB,IAAgB,EAChB,MAA2B,EAC3B,MAA2B,EAC3B,YAAoB;IAEpB,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;IACrC,MAAM,UAAU,GACd,GAAG,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,gDAAgD;QAC1F,0FAA0F;QAC1F,+CAA+C,CAAC;IAClD,MAAM,IAAI,GAAG;QACX,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,WAAW;QACX,gBAAgB,EAAE,IAAI,CAAC,UAAU;QACjC,SAAS,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAA8B;QACtE,UAAU;KACX,CAAC;IAEF,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO;YACL,GAAG,IAAI;YACP,OAAO,EAAE,gBAAgB;YACzB,MAAM,EACJ,kFAAkF;gBAClF,mFAAmF;gBACnF,2EAA2E;SAC9E,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/C,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,OAAO,CAAC,aAAa,EAAE,CAAC;IAC/E,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC;IACjG,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC;IAEjG,MAAM,GAAG,GAAG,CAAC,GAAG,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC;IACnC,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,IAAI,IAAI,CAAC,SAAS,GAAG,CAAC,IAAI,IAAI,CAAC,SAAS,GAAG,CAAC,CAAC,EAAE,CAAC;QACvF,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,OAAO,CAAC,aAAa,EAAE,CAAC;IAC/E,CAAC;IAED,0EAA0E;IAC1E,sEAAsE;IACtE,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC;IAC3D,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,SAAS;aACpB,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;aACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,SAAS,cAAc,CAAC;aAC9E,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,OAAO;YACL,GAAG,IAAI;YACP,OAAO,EAAE,UAAU;YACnB,MAAM,EACJ,GAAG,SAAS,CAAC,MAAM,OAAO,GAAG,CAAC,MAAM,gDAAgD;gBACpF,IAAI,KAAK,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,2CAA2C;gBACxF,iFAAiF;gBACjF,qCAAqC;SACxC,CAAC;IACJ,CAAC;IAED,6EAA6E;IAC7E,4DAA4D;IAC5D,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;YAChD,IAAI,GAAG,IAAI,YAAY,EAAE,CAAC;gBACxB,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,SAAS,QAAQ,CAAC,CAAC,SAAS,KAAK,GAAG,iBAAiB,CAAC,CAAC;YACxF,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,GAAG,IAAI;YACP,OAAO,EAAE,UAAU;YACnB,MAAM,EACJ,4BAA4B,YAAY,qCAAqC;gBAC7E,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK;gBAC/E,gFAAgF;gBAChF,mFAAmF;gBACnF,eAAe;SAClB,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAG;QACZ,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAY,EAAE,IAAI,EAAE,CAAC,CAAC;QACvD,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAY,EAAE,IAAI,EAAE,CAAC,CAAC;KACxD,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAEtF,OAAO;QACL,GAAG,IAAI;QACP,OAAO,EAAE,YAAY;QACrB,MAAM,EACJ,OAAO,GAAG,CAAC,MAAM,+DAA+D;YAChF,kCAAkC,YAAY,uCAAuC;YACrF,sFAAsF;YACtF,uFAAuF;QACzF,UAAU,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE;KACzC,CAAC;AACJ,CAAC;AAED;uFACuF;AACvF,MAAM,UAAU,gBAAgB,CAC9B,MAA6B,EAC7B,MAA2B,EAC3B,MAA2B,EAC3B,UAA6B,EAAE;IAE/B,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,IAAI,aAAa,CAAC;IAE3D,MAAM,eAAe,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAC1C,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,YAAY,CAAC,CAChF,CAAC;IAEF,MAAM,MAAM,GAAG;QACb,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,kBAAkB,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM;QAClG,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,YAAY,CAAC,CAAC,MAAM;QAC5E,QAAQ,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,UAAU,CAAC,CAAC,MAAM;QACxE,cAAc,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,gBAAgB,CAAC,CAAC,MAAM;KACrF,CAAC;IAEF,sEAAsE;IACtE,uEAAuE;IACvE,MAAM,QAAQ,GAAG,MAAM,CAAC,kBAAkB,GAAG,CAAC,CAAC;IAE/C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,CAAC,QAAQ,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CACR,mFAAmF;YACjF,uFAAuF;YACvF,mFAAmF;YACnF,oFAAoF;YACpF,aAAa,CAChB,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,cAAc,GAAG,CAAC,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CACR,GAAG,MAAM,CAAC,cAAc,6DAA6D;YACnF,2CAA2C,CAC9C,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,UAAU,GAAG,CAAC,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CACR,GAAG,MAAM,CAAC,UAAU,sEAAsE;YACxF,uFAAuF;YACvF,8DAA8D,CACjE,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,CAClC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,gBAAgB,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,EAC1E,CAAC,CACF,CAAC;IACF,MAAM,KAAK,GAAe,OAAO,CAAC,KAAK,IAAI;QACzC,SAAS,EAAE,IAAI;QACf,YAAY,EAAE,IAAI;QAClB,eAAe,EAAE,CAAC;QAClB,YAAY,EAAE,CAAC;QACf,eAAe,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK;KACjD,CAAC;IAEF,OAAO,EAAE,IAAI,EAAE,EAAE,eAAe,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAClG,CAAC;AAoBD;;sFAEsF;AACtF,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,cAAwC,EACxC,KAAiB;IAEjB,IAAI,cAAc,CAAC,OAAO,KAAK,YAAY,IAAI,cAAc,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACvF,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,GAAG,EACD,cAAc,cAAc,CAAC,OAAO,wCAAwC;gBAC5E,iBAAiB,cAAc,CAAC,MAAM,EAAE;SAC3C,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,GAAG,EACD,8EAA8E;gBAC9E,qFAAqF;gBACrF,kBAAkB;SACrB,CAAC;IACJ,CAAC;IAED,IAAI,CAAC;QACH,MAAM,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;IAC/C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,yCAAyC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;IAC9F,CAAC;IAED,IAAI,EAAW,CAAC;IAChB,IAAI,CAAC;QACH,EAAE,GAAG,MAAM,KAAK,CAAC,MAAM,EAAE,CAAC;IAC5B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,wEAAwE;QACxE,oBAAoB;QACpB,IAAI,CAAC;YACH,MAAM,KAAK,CAAC,MAAM,EAAE,CAAC;QACvB,CAAC;QAAC,OAAO,WAAW,EAAE,CAAC;YACrB,OAAO;gBACL,MAAM,EAAE,qBAAqB;gBAC7B,GAAG,EACD,uBAAuB,MAAM,CAAC,KAAK,CAAC,2BAA2B,MAAM,CAAC,WAAW,CAAC,KAAK;oBACvF,kEAAkE;aACrE,CAAC;QACJ,CAAC;QACD,OAAO;YACL,MAAM,EAAE,qBAAqB;YAC7B,GAAG,EAAE,mDAAmD,MAAM,CAAC,KAAK,CAAC,6CAA6C;SACnH,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,EAAE,EAAE,CAAC;QACR,IAAI,CAAC;YACH,MAAM,KAAK,CAAC,MAAM,EAAE,CAAC;QACvB,CAAC;QAAC,OAAO,WAAW,EAAE,CAAC;YACrB,OAAO;gBACL,MAAM,EAAE,qBAAqB;gBAC7B,GAAG,EACD,6CAA6C,MAAM,CAAC,WAAW,CAAC,sBAAsB;oBACtF,8CAA8C;aACjD,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,kDAAkD,EAAE,CAAC;IACzF,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AAC/C,CAAC;AAED;qEACqE;AACrE,MAAM,UAAU,eAAe,CAAC,CAAkB,EAAE,CAAkB;IACpE,OAAO,cAAc,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AAC9C,CAAC"}

package/dist/multipr/migration-heads.d.ts

@@ -1,73 +1,9 @@
-/**
- * §14.6 — two open changes each adding a migration from the same parent, caught
- * before the merge that turns it into a broken deploy.
- *
- * ## What this computes, and why it is the real computation rather than a proxy
- *
- * Migrations form a DAG: each revision names its parent(s), and a **head** is a
- * revision nothing else descends from. Every migration runner refuses to run
- * with more than one — Alembic's *"Multiple head revisions are present"* is the
- * canonical spelling, and the equivalent exists in every tool that versions
- * migrations at all.
- *
- * The obvious shortcut is to group migrations by declared parent and flag any
- * parent claimed by two different changes. **That is wrong**, and wrong in the
- * direction that produces false findings: a merge migration declaring two
- * parents exists precisely to resolve such a fork, and the shortcut cannot see
- * it. So this computes heads over the union the way the runner does. The check
- * is only worth its Class A ceiling if it computes what the tool computes.
- *
- * ## Nothing here names a framework, and that is §14.6's own argument
- *
- * §14.6 says the SQL adapter makes this work identically across ORMs and raw-SQL
- * tooling "rather than being written once per framework". So the input is a
- * revision, its declared parents and where it came from — the shape every
- * migration tool has, whatever it calls the fields. Reading `down_revision` out
- * of an Alembic file, `dependencies` out of a Django one or a timestamp chain
- * out of a Rails one is producer work. Rule 1: none of those words appear below
- * this sentence.
- *
- * ## The class, and a disagreement with §15.2 that is already settled
- *
- * §15.2 lists "migration head conflict" as **Class A — deterministically
- * verifiable, a structural fact, not an inference**. That is right about the
- * *inference*: given both parent lists, the conclusion follows with no
- * judgement at all. It is not right unconditionally, because the parent lists
- * still have to be obtained, and reading `down_revision` with a regex is R0
- * evidence however certain the arithmetic on top of it.
- *
- * This is the same disagreement the env/config check hit, and §15.3 already
- * records the resolution: **the Class column is a ceiling, not a floor** —
- * "corrected after the env/config check was built and the two disagreed". So A
- * is what this check reaches when the records come from the framework's own
- * migration history (DEC-115's promotion path, R3), and a source-read set lands
- * where its evidence lands. DEC-058 at the finding level: the claim carries the
- * resolution of its own evidence, not of the run.
- *
- * That is now the second check to disagree with §15.2's column in the same
- * direction, which is worth someone's attention as a pattern rather than as two
- * incidents.
- *
- * ## An unread migration is not a migration with no parents
- *
- * An initial migration genuinely has zero parents. A migration whose parent line
- * could not be read has *unknown* parents. Both are "no parents in the record",
- * and collapsing them silently corrupts the head computation — an unread
- * migration might be exactly the merge that resolves the fork being reported.
- *
- * So `parents` is `readonly string[] | "unknown"` and the empty array cannot be
- * used to mean the second thing. The distinction is made unrepresentable at the
- * type rather than handled downstream, which is the repair
- * `bench/lib/README.md` asks for at construction time rather than afterwards.
- */
+/** §14.6 — head conflicts computed as the real DAG union computes them, not naive parent-grouping
+ *  (false-positives on legit merge migrations). No framework named (rule 1). Class ceiling per
+ *  §15.2/§15.3: A only when read at R3; a partial DAG (`parents: "unknown"`, never `[]`) caps at C. */
 import type { ReliabilityClass, ResolutionLevel } from "@descryy/ir";
-/**
- * One migration a change adds.
- *
- * `parents` is the declared parent revision(s): empty for an initial migration,
- * more than one for a merge migration, and `"unknown"` when the producer could
- * not read them. **Never `[]` for the last case.**
- */
+/** One migration a change adds. `parents`: empty for initial, multiple for merge, "unknown" when
+ *  unreadable. Never `[]` for the unreadable case. */
 export interface MigrationRecord {
     readonly prId: string;
     /** The revision identifier this migration declares for itself. */
@@ -100,37 +36,23 @@ export interface CrossPrDependency {
     readonly disclosure: string;
 }
 export interface MigrationHeadReport {
-    /**
-     * At most one: either the merged set has a single head or it does not. The
-     * conflict names every change involved rather than being reported pairwise,
-     * because three changes forking from one parent is one problem, not three.
-     */
+    /** At most one — a single head, or not. Named across every change involved rather than
+     *  reported pairwise: three changes forking from one parent is one problem, not three. */
     readonly conflict: HeadConflict | null;
-    /**
-     * Ordering constraints between changes. Not conflicts — merging in the stated
-     * order is fine, and merging in the other order is not.
-     */
+    /** Ordering constraints between changes — not conflicts. Merging in the stated order is fine;
+     *  the other order isn't. */
     readonly dependencies: readonly CrossPrDependency[];
     /** Two changes declaring the same revision identifier. Always a defect. */
     readonly duplicateRevisions: readonly {
         revision: string;
         prIds: readonly string[];
     }[];
-    /**
-     * False when no change in the set adds a migration at all.
-     *
-     * **Not the same as "no conflict".** A set with no migrations and a set whose
-     * migrations form a clean chain both report `conflict: null`.
-     */
+    /** False when no change adds a migration at all. Not the same as "no conflict" — a set with
+     *  no migrations and one with a clean chain both report `conflict: null`. */
     readonly analysed: boolean;
-    /**
-     * False when any record's parents were unknown, so the DAG read is partial.
-     *
-     * A finding computed over a partial DAG is conditional on what was not read —
-     * an unread migration may be the merge that resolves it — and its class is
-     * capped at C for that reason alone, regardless of the resolution of the
-     * records that *were* read.
-     */
+    /** False when any record's parents were unknown — the DAG read is partial. A finding over a
+     *  partial DAG is capped at class C regardless of read resolution: an unread migration might
+     *  be exactly the merge that resolves it. */
     readonly complete: boolean;
     readonly checked: {
         readonly changes: number;
@@ -141,20 +63,11 @@ export interface MigrationHeadReport {
     readonly notes: readonly string[];
 }
 export interface MigrationHeadOptions {
-    /**
-     * The head revision of the base branch, when the caller knows it.
-     *
-     * Supplying it enables one extra check — a migration branching from a
-     * revision that is *not* the current head is building on stale history — and
-     * its absence is disclosed rather than assumed away.
-     */
+    /** Base branch's head revision, when known. Enables one extra check — a migration branching
+     *  from a non-head revision is building on stale history; its absence is disclosed, not assumed away. */
     readonly baseHead?: string;
 }
-/**
- * Head conflicts across a set of in-flight changes.
- *
- * Pure over records: no store, no graph, no framework. The producer that reads
- * migration files decides `resolution`; this function propagates it.
- */
+/** Head conflicts across in-flight changes. Pure over records — no store, no graph, no framework;
+ *  the producer that reads migration files decides `resolution`, this just propagates it. */
 export declare function findMigrationHeadConflicts(records: readonly MigrationRecord[], options?: MigrationHeadOptions): MigrationHeadReport;
 //# sourceMappingURL=migration-heads.d.ts.map

package/dist/multipr/migration-heads.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"migration-heads.d.ts","sourceRoot":"","sources":["../../src/multipr/migration-heads.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6DG;AAGH,OAAO,KAAK,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAErE;;;;;;GAMG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,kEAAkE;IAClE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,CAAC;IAChD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,iEAAiE;IACjE,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;CACtC;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,YAAY;IAC3B,iEAAiE;IACjE,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,CAAC;IACzC,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,gFAAgF;AAChF,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,8DAA8D;IAC9D,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,mBAAmB;IAClC;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,EAAE,YAAY,GAAG,IAAI,CAAC;IACvC;;;OAGG;IACH,QAAQ,CAAC,YAAY,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACpD,2EAA2E;IAC3E,QAAQ,CAAC,kBAAkB,EAAE,SAAS;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,EAAE,CAAC;IACvF;;;;;OAKG;IACH,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B;;;;;;;OAOG;IACH,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAC5B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;QACpC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;KACxB,CAAC;IACF,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED,MAAM,WAAW,oBAAoB;IACnC;;;;;;OAMG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;GAKG;AACH,wBAAgB,0BAA0B,CACxC,OAAO,EAAE,SAAS,eAAe,EAAE,EACnC,OAAO,GAAE,oBAAyB,GACjC,mBAAmB,CAqKrB"}
+{"version":3,"file":"migration-heads.d.ts","sourceRoot":"","sources":["../../src/multipr/migration-heads.ts"],"names":[],"mappings":"AAAA;;uGAEuG;AAGvG,OAAO,KAAK,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAErE;sDACsD;AACtD,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,kEAAkE;IAClE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,CAAC;IAChD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,iEAAiE;IACjE,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;CACtC;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,YAAY;IAC3B,iEAAiE;IACjE,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,CAAC;IACzC,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,gFAAgF;AAChF,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,8DAA8D;IAC9D,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,mBAAmB;IAClC;8FAC0F;IAC1F,QAAQ,CAAC,QAAQ,EAAE,YAAY,GAAG,IAAI,CAAC;IACvC;iCAC6B;IAC7B,QAAQ,CAAC,YAAY,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACpD,2EAA2E;IAC3E,QAAQ,CAAC,kBAAkB,EAAE,SAAS;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,EAAE,CAAC;IACvF;iFAC6E;IAC7E,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B;;iDAE6C;IAC7C,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAC5B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;QACpC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;KACxB,CAAC;IACF,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED,MAAM,WAAW,oBAAoB;IACnC;6GACyG;IACzG,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED;6FAC6F;AAC7F,wBAAgB,0BAA0B,CACxC,OAAO,EAAE,SAAS,eAAe,EAAE,EACnC,OAAO,GAAE,oBAAyB,GACjC,mBAAmB,CA+JrB"}

package/dist/multipr/migration-heads.js

@@ -1,72 +1,9 @@
-/**
- * §14.6 — two open changes each adding a migration from the same parent, caught
- * before the merge that turns it into a broken deploy.
- *
- * ## What this computes, and why it is the real computation rather than a proxy
- *
- * Migrations form a DAG: each revision names its parent(s), and a **head** is a
- * revision nothing else descends from. Every migration runner refuses to run
- * with more than one — Alembic's *"Multiple head revisions are present"* is the
- * canonical spelling, and the equivalent exists in every tool that versions
- * migrations at all.
- *
- * The obvious shortcut is to group migrations by declared parent and flag any
- * parent claimed by two different changes. **That is wrong**, and wrong in the
- * direction that produces false findings: a merge migration declaring two
- * parents exists precisely to resolve such a fork, and the shortcut cannot see
- * it. So this computes heads over the union the way the runner does. The check
- * is only worth its Class A ceiling if it computes what the tool computes.
- *
- * ## Nothing here names a framework, and that is §14.6's own argument
- *
- * §14.6 says the SQL adapter makes this work identically across ORMs and raw-SQL
- * tooling "rather than being written once per framework". So the input is a
- * revision, its declared parents and where it came from — the shape every
- * migration tool has, whatever it calls the fields. Reading `down_revision` out
- * of an Alembic file, `dependencies` out of a Django one or a timestamp chain
- * out of a Rails one is producer work. Rule 1: none of those words appear below
- * this sentence.
- *
- * ## The class, and a disagreement with §15.2 that is already settled
- *
- * §15.2 lists "migration head conflict" as **Class A — deterministically
- * verifiable, a structural fact, not an inference**. That is right about the
- * *inference*: given both parent lists, the conclusion follows with no
- * judgement at all. It is not right unconditionally, because the parent lists
- * still have to be obtained, and reading `down_revision` with a regex is R0
- * evidence however certain the arithmetic on top of it.
- *
- * This is the same disagreement the env/config check hit, and §15.3 already
- * records the resolution: **the Class column is a ceiling, not a floor** —
- * "corrected after the env/config check was built and the two disagreed". So A
- * is what this check reaches when the records come from the framework's own
- * migration history (DEC-115's promotion path, R3), and a source-read set lands
- * where its evidence lands. DEC-058 at the finding level: the claim carries the
- * resolution of its own evidence, not of the run.
- *
- * That is now the second check to disagree with §15.2's column in the same
- * direction, which is worth someone's attention as a pattern rather than as two
- * incidents.
- *
- * ## An unread migration is not a migration with no parents
- *
- * An initial migration genuinely has zero parents. A migration whose parent line
- * could not be read has *unknown* parents. Both are "no parents in the record",
- * and collapsing them silently corrupts the head computation — an unread
- * migration might be exactly the merge that resolves the fork being reported.
- *
- * So `parents` is `readonly string[] | "unknown"` and the empty array cannot be
- * used to mean the second thing. The distinction is made unrepresentable at the
- * type rather than handled downstream, which is the repair
- * `bench/lib/README.md` asks for at construction time rather than afterwards.
- */
+/** §14.6 — head conflicts computed as the real DAG union computes them, not naive parent-grouping
+ *  (false-positives on legit merge migrations). No framework named (rule 1). Class ceiling per
+ *  §15.2/§15.3: A only when read at R3; a partial DAG (`parents: "unknown"`, never `[]`) caps at C. */
 import { reliabilityCap, reliabilityNote } from "@descryy/ir";
-/**
- * Head conflicts across a set of in-flight changes.
- *
- * Pure over records: no store, no graph, no framework. The producer that reads
- * migration files decides `resolution`; this function propagates it.
- */
+/** Head conflicts across in-flight changes. Pure over records — no store, no graph, no framework;
+ *  the producer that reads migration files decides `resolution`, this just propagates it. */
 export function findMigrationHeadConflicts(records, options = {}) {
     const notes = [];
     const changes = new Set(records.map((r) => r.prId)).size;
@@ -86,9 +23,8 @@ export function findMigrationHeadConflicts(records, options = {}) {
     const unknown = records.filter((r) => r.parents === "unknown");
     const known = records.filter((r) => r.parents !== "unknown");
     const complete = unknown.length === 0;
-    // Two changes minting the same revision id is a defect on its own, and it also
-    // makes the DAG ill-formed — so it is detected before the heads are computed
-    // rather than being allowed to distort them.
+    // Same-revision-id defect also makes the DAG ill-formed, so it's detected before heads are
+    // computed rather than allowed to distort them.
     const byRevision = new Map();
     for (const r of records) {
         const list = byRevision.get(r.revision);
@@ -100,10 +36,8 @@ export function findMigrationHeadConflicts(records, options = {}) {
     const duplicateRevisions = [...byRevision]
         .filter(([, rs]) => new Set(rs.map((r) => r.prId)).size > 1)
         .map(([revision, rs]) => ({ revision, prIds: [...new Set(rs.map((r) => r.prId))].sort() }));
-    // A revision is a head when nothing in the merged set declares it as a parent.
-    // Only revisions the set DECLARES are candidates: a parent that nothing here
-    // declares lives in the base history and has, by construction, at least one
-    // child — the migration that named it.
+    // A revision is a head when nothing in the merged set declares it as a parent. Only revisions
+    // the set declares are candidates — an undeclared parent lives in base history with a child already.
     const claimedAsParent = new Set();
     for (const r of known) {
         for (const p of r.parents)
@@ -113,14 +47,12 @@ export function findMigrationHeadConflicts(records, options = {}) {
         .filter((r) => !claimedAsParent.has(r.revision))
         .map((r) => ({ revision: r.revision, prId: r.prId, file: r.file }))
         .sort((a, b) => a.revision.localeCompare(b.revision));
-    // The weakest record decides the class — the same pair rule overlap scoring
-    // uses, for the same reason: a claim resting on several observations cannot
-    // be asserted at the strength of its best one.
+    // Weakest record decides the class (same rule overlap scoring uses) — a claim resting on
+    // several observations can't be asserted at the strength of its best one.
     const weakest = known.reduce((min, r) => (r.resolution < min ? r.resolution : min), 4);
     const evidenceClass = reliabilityCap(weakest, true);
-    // A revision identifier is a name, so the R2 carve-out applies — but a partial
-    // DAG makes the conclusion conditional on something unread, which no amount of
-    // resolution on the read records repairs.
+    // A revision id is a name, so the R2 carve-out applies — but a partial DAG makes the
+    // conclusion conditional on something unread, which no read-record resolution repairs.
     const reliability = complete ? evidenceClass : "C";
     let disclosure = reliabilityNote(weakest, true);
     if (!complete) {
@@ -138,9 +70,8 @@ export function findMigrationHeadConflicts(records, options = {}) {
             disclosure,
         }
         : null;
-    // A migration whose parent only exists inside another open change. Not a
-    // conflict — the merged set still has one head — but merging in the wrong
-    // order leaves a revision pointing at a parent that is not there yet.
+    // A migration whose parent exists only in another open change. Not a conflict (one head still),
+    // but merging in the wrong order leaves a revision pointing at a parent not there yet.
     const revisionOwner = new Map();
     for (const r of records)
         if (!revisionOwner.has(r.revision))

package/dist/multipr/migration-heads.js.map

@@ -1 +1 @@
-{"version":3,"file":"migration-heads.js","sourceRoot":"","sources":["../../src/multipr/migration-heads.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6DG;AAEH,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AA+F9D;;;;;GAKG;AACH,MAAM,UAAU,0BAA0B,CACxC,OAAmC,EACnC,UAAgC,EAAE;IAElC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IAEzD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CACR,wFAAwF;YACtF,qFAAqF,CACxF,CAAC;QACF,OAAO;YACL,QAAQ,EAAE,IAAI;YACd,YAAY,EAAE,EAAE;YAChB,kBAAkB,EAAE,EAAE;YACtB,QAAQ,EAAE,KAAK;YACf,QAAQ,EAAE,IAAI;YACd,OAAO,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,kBAAkB,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;YACpE,KAAK;SACN,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC;IAC7D,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC;IAEtC,+EAA+E;IAC/E,6EAA6E;IAC7E,6CAA6C;IAC7C,MAAM,UAAU,GAAG,IAAI,GAAG,EAA6B,CAAC;IACxD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACxC,IAAI,IAAI,KAAK,SAAS;YAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;;YACnD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IACD,MAAM,kBAAkB,GAAG,CAAC,GAAG,UAAU,CAAC;SACvC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;SAC3D,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;IAE9F,+EAA+E;IAC/E,6EAA6E;IAC7E,4EAA4E;IAC5E,uCAAuC;IACvC,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAA4B;YAAE,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACzE,CAAC;IAED,MAAM,KAAK,GAAoB,KAAK;SACjC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;SAC/C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;SAClE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IAExD,4EAA4E;IAC5E,4EAA4E;IAC5E,+CAA+C;IAC/C,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAC1B,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,EACrD,CAAC,CACF,CAAC;IACF,MAAM,aAAa,GAAG,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACpD,+EAA+E;IAC/E,+EAA+E;IAC/E,0CAA0C;IAC1C,MAAM,WAAW,GAAqB,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC;IAErE,IAAI,UAAU,GAAG,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAChD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,UAAU;YACR,IAAI,OAAO,CAAC,MAAM,uEAAuE;gBACzF,uFAAuF;gBACvF,oFAAoF;gBACpF,eAAe,CAAC;IACpB,CAAC;IAED,MAAM,QAAQ,GACZ,KAAK,CAAC,MAAM,GAAG,CAAC;QACd,CAAC,CAAC;YACE,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;YACpD,KAAK;YACL,WAAW;YACX,UAAU;SACX;QACH,CAAC,CAAC,IAAI,CAAC;IAEX,yEAAyE;IACzE,0EAA0E;IAC1E,sEAAsE;IACtE,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;YAAE,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IAEnG,MAAM,YAAY,GAAwB,EAAE,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,KAAK,MAAM,MAAM,IAAI,CAAC,CAAC,OAA4B,EAAE,CAAC;YACpD,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACxC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,CAAC,CAAC,IAAI;gBAAE,SAAS;YACtD,YAAY,CAAC,IAAI,CAAC;gBAChB,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,iBAAiB,EAAE,MAAM;gBACzB,aAAa,EAAE,KAAK;gBACpB,WAAW;gBACX,UAAU;aACX,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CACR,iBAAiB,QAAQ,CAAC,KAAK,CAAC,MAAM,qBAAqB,KAAK,CAAC,MAAM,oBAAoB;YACzF,oFAAoF;YACpF,0EAA0E,CAC7E,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzB,CAAC;IACD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,KAAK,CAAC,IAAI,CACR,GAAG,OAAO,CAAC,MAAM,OAAO,OAAO,CAAC,MAAM,oDAAoD;YACxF,iCAAiC,OAAO;iBACrC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;iBACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;iBAClB,IAAI,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,uCAAuC;YACtF,sFAAsF;YACtF,uCAAuC,CAC1C,CAAC;IACJ,CAAC;IACD,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CACR,GAAG,kBAAkB,CAAC,MAAM,gEAAgE;YAC1F,0EAA0E,CAC7E,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CACR,sFAAsF;YACpF,sFAAsF,CACzF,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CACxB,CAAC,CAAC,EAAE,EAAE,CACH,CAAC,CAAC,OAA6B,CAAC,MAAM,GAAG,CAAC;YAC3C,CAAE,CAAC,CAAC,OAA6B,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAS,CAAC;YAC7D,CAAE,CAAC,CAAC,OAA6B,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CACtE,CAAC;QACF,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,KAAK,CAAC,IAAI,CACR,GAAG,KAAK,CAAC,MAAM,0EAA0E;gBACvF,+EAA+E;gBAC/E,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC5C,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO;QACL,QAAQ;QACR,YAAY;QACZ,kBAAkB;QAClB,QAAQ,EAAE,IAAI;QACd,QAAQ;QACR,OAAO,EAAE;YACP,OAAO;YACP,UAAU,EAAE,OAAO,CAAC,MAAM;YAC1B,kBAAkB,EAAE,OAAO,CAAC,MAAM;YAClC,KAAK,EAAE,KAAK,CAAC,MAAM;SACpB;QACD,KAAK;KACN,CAAC;AACJ,CAAC"}
+{"version":3,"file":"migration-heads.js","sourceRoot":"","sources":["../../src/multipr/migration-heads.ts"],"names":[],"mappings":"AAAA;;uGAEuG;AAEvG,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAuE9D;6FAC6F;AAC7F,MAAM,UAAU,0BAA0B,CACxC,OAAmC,EACnC,UAAgC,EAAE;IAElC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;IAEzD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CACR,wFAAwF;YACtF,qFAAqF,CACxF,CAAC;QACF,OAAO;YACL,QAAQ,EAAE,IAAI;YACd,YAAY,EAAE,EAAE;YAChB,kBAAkB,EAAE,EAAE;YACtB,QAAQ,EAAE,KAAK;YACf,QAAQ,EAAE,IAAI;YACd,OAAO,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,kBAAkB,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;YACpE,KAAK;SACN,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC;IAC7D,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC;IAEtC,2FAA2F;IAC3F,gDAAgD;IAChD,MAAM,UAAU,GAAG,IAAI,GAAG,EAA6B,CAAC;IACxD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACxC,IAAI,IAAI,KAAK,SAAS;YAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;;YACnD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IACD,MAAM,kBAAkB,GAAG,CAAC,GAAG,UAAU,CAAC;SACvC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;SAC3D,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;IAE9F,8FAA8F;IAC9F,qGAAqG;IACrG,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAA4B;YAAE,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACzE,CAAC;IAED,MAAM,KAAK,GAAoB,KAAK;SACjC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;SAC/C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;SAClE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IAExD,yFAAyF;IACzF,0EAA0E;IAC1E,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAC1B,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,EACrD,CAAC,CACF,CAAC;IACF,MAAM,aAAa,GAAG,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACpD,qFAAqF;IACrF,uFAAuF;IACvF,MAAM,WAAW,GAAqB,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC;IAErE,IAAI,UAAU,GAAG,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAChD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,UAAU;YACR,IAAI,OAAO,CAAC,MAAM,uEAAuE;gBACzF,uFAAuF;gBACvF,oFAAoF;gBACpF,eAAe,CAAC;IACpB,CAAC;IAED,MAAM,QAAQ,GACZ,KAAK,CAAC,MAAM,GAAG,CAAC;QACd,CAAC,CAAC;YACE,KAAK,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;YACpD,KAAK;YACL,WAAW;YACX,UAAU;SACX;QACH,CAAC,CAAC,IAAI,CAAC;IAEX,gGAAgG;IAChG,uFAAuF;IACvF,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;YAAE,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IAEnG,MAAM,YAAY,GAAwB,EAAE,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,KAAK,MAAM,MAAM,IAAI,CAAC,CAAC,OAA4B,EAAE,CAAC;YACpD,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACxC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,CAAC,CAAC,IAAI;gBAAE,SAAS;YACtD,YAAY,CAAC,IAAI,CAAC;gBAChB,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,iBAAiB,EAAE,MAAM;gBACzB,aAAa,EAAE,KAAK;gBACpB,WAAW;gBACX,UAAU;aACX,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CACR,iBAAiB,QAAQ,CAAC,KAAK,CAAC,MAAM,qBAAqB,KAAK,CAAC,MAAM,oBAAoB;YACzF,oFAAoF;YACpF,0EAA0E,CAC7E,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzB,CAAC;IACD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,KAAK,CAAC,IAAI,CACR,GAAG,OAAO,CAAC,MAAM,OAAO,OAAO,CAAC,MAAM,oDAAoD;YACxF,iCAAiC,OAAO;iBACrC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;iBACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;iBAClB,IAAI,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,uCAAuC;YACtF,sFAAsF;YACtF,uCAAuC,CAC1C,CAAC;IACJ,CAAC;IACD,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CACR,GAAG,kBAAkB,CAAC,MAAM,gEAAgE;YAC1F,0EAA0E,CAC7E,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CACR,sFAAsF;YACpF,sFAAsF,CACzF,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CACxB,CAAC,CAAC,EAAE,EAAE,CACH,CAAC,CAAC,OAA6B,CAAC,MAAM,GAAG,CAAC;YAC3C,CAAE,CAAC,CAAC,OAA6B,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAS,CAAC;YAC7D,CAAE,CAAC,CAAC,OAA6B,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CACtE,CAAC;QACF,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,KAAK,CAAC,IAAI,CACR,GAAG,KAAK,CAAC,MAAM,0EAA0E;gBACvF,+EAA+E;gBAC/E,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC5C,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO;QACL,QAAQ;QACR,YAAY;QACZ,kBAAkB;QAClB,QAAQ,EAAE,IAAI;QACd,QAAQ;QACR,OAAO,EAAE;YACP,OAAO;YACP,UAAU,EAAE,OAAO,CAAC,MAAM;YAC1B,kBAAkB,EAAE,OAAO,CAAC,MAAM;YAClC,KAAK,EAAE,KAAK,CAAC,MAAM;SACpB;QACD,KAAK;KACN,CAAC;AACJ,CAAC"}