prismatica 0.2.0 → 0.3.1

package/dist/assurance/proofinputs.js

@@ -288,67 +288,95 @@ async function isOwnersDecisionFor(home, contract, relPath, ref) {
     return verifySignature(decisionMessage(decision.contractId, decision.patchId, decision.decision), decision.signature, decision.publicKey);
 }
 /**
- * Every uncommitted path in `home` that is NOT one of this change's own
- * lifecycle outputs — the list `check` and `review` refuse on.
+ * Every dirty entry in `home`, classified against this change's own
+ * lifecycle-output allowlist — the one place that allowlist is applied, shared
+ * by `uncommittedProofInputs` (the working-tree refusal, as display strings)
+ * and `nonExemptDirtyPaths` (the exact paths `next` builds a checkpoint commit
+ * from).
  *
  * `dirtyEntries`, never `dirtyPaths`: plain porcelain collapses a brand-new
  * untracked DIRECTORY to a single entry, so on a lane's first `check` the whole
  * of `.prismatica/evidence/` arrives as one path and no per-file test can be
- * applied to it.
- *
- * A `renamed` or `unmerged` entry is refused BEFORE any exemption is consulted.
- * Neither is a shape this sequence can produce — every record here is written
- * in place — and a staged rename is reported as ONE entry whose path is the
- * DESTINATION, so testing the path alone would tolerate `git mv` of a committed
- * report into `evidence/<id>/` while the record itself left the tree.
+ * applied to it. A `renamed` or `unmerged` entry is classified `unsafe` BEFORE
+ * any exemption is consulted.
  */
-export async function uncommittedProofInputs(home, contract) {
-    const refused = [];
+async function classifyDirtyEntries(home, contract) {
     const contractRel = laneRelative(home, contractPath(home, contract.id));
+    const result = [];
     for (const entry of await git.dirtyEntries(home)) {
         if (entry.change === 'renamed') {
-            refused.push(entry.renamedFrom ? `${entry.renamedFrom} → ${entry.path}` : entry.path);
+            result.push({
+                path: entry.path,
+                display: entry.renamedFrom ? `${entry.renamedFrom} → ${entry.path}` : entry.path,
+                exempt: false,
+                unsafe: true,
+            });
             continue;
         }
         if (entry.change === 'unmerged') {
-            refused.push(entry.path);
+            result.push({ path: entry.path, display: entry.path, exempt: false, unsafe: true });
             continue;
         }
+        let exempt = false;
         if (isCheckEvidenceFile(home, contract.id, entry.path)) {
-            continue;
+            exempt = true;
         }
-        if (entry.path === laneRelative(home, ledgerPath(home))) {
-            if (await isAppendedLog(home, ledgerPath(home), entry.path, ledgerExtendsByAppend)) {
-                continue;
-            }
-            refused.push(entry.path);
-            continue;
+        else if (entry.path === laneRelative(home, ledgerPath(home))) {
+            exempt = await isAppendedLog(home, ledgerPath(home), entry.path, ledgerExtendsByAppend);
         }
-        if (entry.path === laneRelative(home, readyLogPath(home))) {
+        else if (entry.path === laneRelative(home, readyLogPath(home))) {
             // `review` appends a drafted-attempt event past its own cleanliness gate,
             // so the very next `check` sees this file uncommitted in the ordinary
             // loop. Tolerated on the ledger's terms and no others.
-            if (await isAppendedLog(home, readyLogPath(home), entry.path, readyLogExtendsByAppend)) {
-                continue;
-            }
-            refused.push(entry.path);
-            continue;
+            exempt = await isAppendedLog(home, readyLogPath(home), entry.path, readyLogExtendsByAppend);
         }
-        if (isReplaceableReview(home, contract.id, entry.path)) {
-            continue;
+        else if (isReplaceableReview(home, contract.id, entry.path)) {
+            exempt = true;
         }
-        if (entry.path === contractRel) {
+        else if (entry.path === contractRel) {
             // Prismatica's own stage bump and nothing else. A contract with no
             // committed version at HEAD fails closed: the terms this run is about
             // are then on no pull request at all.
             const committed = parseContract(await git.showFile(home, 'HEAD', contractRel));
-            if (committed && isForwardStageOnly(contract, committed)) {
-                continue;
-            }
+            exempt = Boolean(committed && isForwardStageOnly(contract, committed));
         }
-        refused.push(entry.path);
+        result.push({ path: entry.path, display: entry.path, exempt, unsafe: false });
     }
-    return refused;
+    return result;
+}
+/**
+ * Every uncommitted path in `home` that is NOT one of this change's own
+ * lifecycle outputs — the list `check` and `review` refuse on.
+ */
+export async function uncommittedProofInputs(home, contract) {
+    const entries = await classifyDirtyEntries(home, contract);
+    return entries.filter((entry) => entry.unsafe || !entry.exempt).map((entry) => entry.display);
+}
+/**
+ * The exact non-exempt dirty paths `next` needs for a checkpoint commit —
+ * implementation plus any dirty contract, pack, Flow report, Delta, proposal
+ * or canonical record, over the SAME allowlist `check` and `review` refuse on
+ * (never a second, independent approximation of it). `blocked` is true when a
+ * rename or unmerged conflict sits among the non-exempt entries: `paths` then
+ * excludes it, because a plain `git add <path>` cannot safely resolve either,
+ * and the caller must route to manual resolution instead of a malformed
+ * command.
+ *
+ * `exemptPaths` is this change's own lifecycle outputs — the ledger, this
+ * change's evidence, a draft review, the ready log, a forward-only contract
+ * stage bump — read off the SAME classifier pass, never a second list.
+ * `check` and `review` still tolerate them uncommitted; `next` is the only
+ * caller that also needs to know they exist, so it can fold them into the
+ * one checkpoint commit that gets the lane clean enough for Ship.
+ */
+export async function nonExemptDirtyPaths(home, contract) {
+    const entries = await classifyDirtyEntries(home, contract);
+    const nonExempt = entries.filter((entry) => !entry.exempt);
+    return {
+        paths: nonExempt.filter((entry) => !entry.unsafe).map((entry) => entry.path),
+        blocked: nonExempt.some((entry) => entry.unsafe),
+        exemptPaths: entries.filter((entry) => entry.exempt).map((entry) => entry.path),
+    };
 }
 /**
  * Whether a check recorded at `checkedHead` still binds `head` (the current

package/dist/assurance/proofinputs.js.map

@@ -1 +1 @@
-{"version":3,"file":"proofinputs.js","sourceRoot":"","sources":["../../src/assurance/proofinputs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AACH,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,KAAK,GAAG,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAC9D,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,mBAAmB,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAClG,OAAO,EACL,YAAY,EACZ,cAAc,EACd,cAAc,EACd,iBAAiB,EACjB,sBAAsB,EACtB,YAAY,GAEb,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,8BAA8B,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzE,qFAAqF;AACrF,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,MAAc;IACvD,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC/D,CAAC;AAED;;;;;GAKG;AACH,MAAM,aAAa,GAAG,wCAAwC,CAAC;AAE/D;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAY,EAAE,UAAkB,EAAE,OAAe;IACnF,MAAM,WAAW,GAAG,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;IAC/F,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,WAAW,GAAG,CAAC,EAAE,CAAC;QAC3C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;AACnE,CAAC;AAED,kEAAkE;AAClE,SAAS,WAAW,CAAC,IAAY;IAC/B,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,MAAM,CAAC,MAA4C,EAAE,IAAY;IACxE,IAAI,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC,CAAC,kDAAkD;IAClE,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,SAAS,eAAe,CACtB,QAAuB,EACvB,WAAmB,EACnB,OAAkC;IAElC,MAAM,IAAI,GAAG,WAAW,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,CAAC;IACzC,IAAI,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC;QACxD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AACnD,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,qBAAqB,CAAC,QAAuB,EAAE,WAAmB;IAChF,OAAO,eAAe,CAAC,QAAQ,EAAE,WAAW,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,iBAAiB,EAAE,IAAI,CAAC,CAAC,CAAC;AAC3F,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CAAC,QAAuB,EAAE,WAAmB;IAClF,OAAO,eAAe,CAAC,QAAQ,EAAE,WAAW,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,sBAAsB,EAAE,IAAI,CAAC,CAAC,CAAC;AAChG,CAAC;AAED;;;;GAIG;AACH,KAAK,UAAU,aAAa,CAC1B,IAAY,EACZ,IAAY,EACZ,OAAe,EACf,WAAsE;IAEtE,MAAM,OAAO,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACzE,OAAO,WAAW,CAAC,MAAM,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;AACzE,CAAC;AAED;;;;;GAKG;AACH,SAAS,kBAAkB,CAAC,KAAe,EAAE,MAAgB;IAC3D,OAAO,CACL,8BAA8B,CAAC,KAAK,EAAE,MAAM,CAAC;QAC7C,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CACnD,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,IAAmB;IACxC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC;QACH,OAAO,mBAAmB,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC,IAAI,CAAC;IACxD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,SAAS,mBAAmB,CAAC,IAAY,EAAE,UAAkB,EAAE,OAAe;IAC5E,IAAI,OAAO,KAAK,YAAY,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC;QACjE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAC1C,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC;QACH,OAAO,mBAAmB,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,YAAY,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,OAAO,CAAC;IACjG,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC,CAAC,kDAAkD;IAClE,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,KAAK,UAAU,gBAAgB,CAAC,IAAY,EAAE,GAAW;IACvD,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,YAAY,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjF,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC;QACH,OAAO,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,IAAI,IAAI,CAAC;IACtE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,KAAK,UAAU,mBAAmB,CAChC,IAAY,EACZ,QAAkB,EAClB,OAAe,EACf,GAAW;IAEX,IAAI,OAAO,KAAK,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACpE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;IACpD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,QAAQ,CAAC;IACb,IAAI,CAAC;QACH,QAAQ,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACpD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC,CAAC,kDAAkD;IAClE,CAAC;IACD,4EAA4E;IAC5E,0EAA0E;IAC1E,kBAAkB;IAClB,IAAI,QAAQ,CAAC,EAAE,KAAK,QAAQ,CAAC,EAAE,IAAI,QAAQ,CAAC,UAAU,KAAK,QAAQ,CAAC,EAAE,EAAE,CAAC;QACvE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACnD,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;QAC/D,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,eAAe,CACpB,eAAe,CAAC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC,EACzE,QAAQ,CAAC,SAAS,EAClB,QAAQ,CAAC,SAAS,CACnB,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,IAAY,EAAE,QAAkB;IAC3E,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,WAAW,GAAG,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IACxE,KAAK,MAAM,KAAK,IAAI,MAAM,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC/B,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,WAAW,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACtF,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YAChC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACzB,SAAS;QACX,CAAC;QACD,IAAI,mBAAmB,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACvD,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YACxD,IAAI,MAAM,aAAa,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,IAAI,EAAE,qBAAqB,CAAC,EAAE,CAAC;gBACnF,SAAS;YACX,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACzB,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YAC1D,0EAA0E;YAC1E,sEAAsE;YACtE,uDAAuD;YACvD,IAAI,MAAM,aAAa,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,IAAI,EAAE,uBAAuB,CAAC,EAAE,CAAC;gBACvF,SAAS;YACX,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACzB,SAAS;QACX,CAAC;QACD,IAAI,mBAAmB,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACvD,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC/B,mEAAmE;YACnE,sEAAsE;YACtE,sCAAsC;YACtC,MAAM,SAAS,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;YAC/E,IAAI,SAAS,IAAI,kBAAkB,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,CAAC;gBACzD,SAAS;YACX,CAAC;QACH,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,IAAY,EACZ,QAAkB,EAClB,WAAmB,EACnB,IAAI,GAAG,MAAM;IAEb,IAAI,MAAc,CAAC;IACnB,IAAI,CAAC;QACH,MAAM,GAAG,MAAM,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC,CAAC,8DAA8D;IAC9E,CAAC;IACD,IAAI,MAAM,KAAK,WAAW,EAAE,CAAC;QAC3B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,OAAiB,CAAC;IACtB,IAAI,CAAC;QACH,OAAO,GAAG,MAAM,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;IAC3D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC,CAAC,2DAA2D;IAC3E,CAAC;IACD,MAAM,WAAW,GAAG,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IACxE,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IACpE,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,IAAI,mBAAmB,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC;YACjD,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,YAAY,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YAClD,yEAAyE;YACzE,uEAAuE;YACvE,sEAAsE;YACtE,0EAA0E;YAC1E,qEAAqE;YACrE,oEAAoE;YACpE,uDAAuD;YACvD,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YACpD,SAAS,CAAC,iEAAiE;QAC7E,CAAC;QACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,SAAS,CAAC,gEAAgE;QAC5E,CAAC;QACD,IAAI,MAAM,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;YAC5D,SAAS,CAAC,gEAAgE;QAC5E,CAAC;QACD,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;YACjF,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;YAC3E,IAAI,MAAM,IAAI,KAAK,IAAI,kBAAkB,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC;gBACzD,SAAS;YACX,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}
+{"version":3,"file":"proofinputs.js","sourceRoot":"","sources":["../../src/assurance/proofinputs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AACH,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,KAAK,GAAG,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAC9D,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,mBAAmB,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAClG,OAAO,EACL,YAAY,EACZ,cAAc,EACd,cAAc,EACd,iBAAiB,EACjB,sBAAsB,EACtB,YAAY,GAEb,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,8BAA8B,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzE,qFAAqF;AACrF,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,MAAc;IACvD,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC/D,CAAC;AAED;;;;;GAKG;AACH,MAAM,aAAa,GAAG,wCAAwC,CAAC;AAE/D;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAY,EAAE,UAAkB,EAAE,OAAe;IACnF,MAAM,WAAW,GAAG,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;IAC/F,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,WAAW,GAAG,CAAC,EAAE,CAAC;QAC3C,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;AACnE,CAAC;AAED,kEAAkE;AAClE,SAAS,WAAW,CAAC,IAAY;IAC/B,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,MAAM,CAAC,MAA4C,EAAE,IAAY;IACxE,IAAI,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC,CAAC,kDAAkD;IAClE,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,SAAS,eAAe,CACtB,QAAuB,EACvB,WAAmB,EACnB,OAAkC;IAElC,MAAM,IAAI,GAAG,WAAW,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,CAAC;IACzC,IAAI,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC;QACxD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AACnD,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,qBAAqB,CAAC,QAAuB,EAAE,WAAmB;IAChF,OAAO,eAAe,CAAC,QAAQ,EAAE,WAAW,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,iBAAiB,EAAE,IAAI,CAAC,CAAC,CAAC;AAC3F,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CAAC,QAAuB,EAAE,WAAmB;IAClF,OAAO,eAAe,CAAC,QAAQ,EAAE,WAAW,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,sBAAsB,EAAE,IAAI,CAAC,CAAC,CAAC;AAChG,CAAC;AAED;;;;GAIG;AACH,KAAK,UAAU,aAAa,CAC1B,IAAY,EACZ,IAAY,EACZ,OAAe,EACf,WAAsE;IAEtE,MAAM,OAAO,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACzE,OAAO,WAAW,CAAC,MAAM,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;AACzE,CAAC;AAED;;;;;GAKG;AACH,SAAS,kBAAkB,CAAC,KAAe,EAAE,MAAgB;IAC3D,OAAO,CACL,8BAA8B,CAAC,KAAK,EAAE,MAAM,CAAC;QAC7C,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CACnD,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,IAAmB;IACxC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC;QACH,OAAO,mBAAmB,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC,IAAI,CAAC;IACxD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,SAAS,mBAAmB,CAAC,IAAY,EAAE,UAAkB,EAAE,OAAe;IAC5E,IAAI,OAAO,KAAK,YAAY,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC;QACjE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAC1C,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC;QACH,OAAO,mBAAmB,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,YAAY,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,OAAO,CAAC;IACjG,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC,CAAC,kDAAkD;IAClE,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,KAAK,UAAU,gBAAgB,CAAC,IAAY,EAAE,GAAW;IACvD,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,YAAY,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjF,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC;QACH,OAAO,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,IAAI,IAAI,CAAC;IACtE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,KAAK,UAAU,mBAAmB,CAChC,IAAY,EACZ,QAAkB,EAClB,OAAe,EACf,GAAW;IAEX,IAAI,OAAO,KAAK,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACpE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;IACpD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,QAAQ,CAAC;IACb,IAAI,CAAC;QACH,QAAQ,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACpD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC,CAAC,kDAAkD;IAClE,CAAC;IACD,4EAA4E;IAC5E,0EAA0E;IAC1E,kBAAkB;IAClB,IAAI,QAAQ,CAAC,EAAE,KAAK,QAAQ,CAAC,EAAE,IAAI,QAAQ,CAAC,UAAU,KAAK,QAAQ,CAAC,EAAE,EAAE,CAAC;QACvE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACnD,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;QAC/D,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,eAAe,CACpB,eAAe,CAAC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC,EACzE,QAAQ,CAAC,SAAS,EAClB,QAAQ,CAAC,SAAS,CACnB,CAAC;AACJ,CAAC;AAqBD;;;;;;;;;;;;GAYG;AACH,KAAK,UAAU,oBAAoB,CACjC,IAAY,EACZ,QAAkB;IAElB,MAAM,WAAW,GAAG,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IACxE,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,KAAK,MAAM,KAAK,IAAI,MAAM,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC/B,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,OAAO,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,WAAW,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI;gBAChF,MAAM,EAAE,KAAK;gBACb,MAAM,EAAE,IAAI;aACb,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YAChC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YACpF,SAAS;QACX,CAAC;QACD,IAAI,MAAM,GAAG,KAAK,CAAC;QACnB,IAAI,mBAAmB,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACvD,MAAM,GAAG,IAAI,CAAC;QAChB,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YAC/D,MAAM,GAAG,MAAM,aAAa,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;QAC1F,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YACjE,0EAA0E;YAC1E,sEAAsE;YACtE,uDAAuD;YACvD,MAAM,GAAG,MAAM,aAAa,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,IAAI,EAAE,uBAAuB,CAAC,CAAC;QAC9F,CAAC;aAAM,IAAI,mBAAmB,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9D,MAAM,GAAG,IAAI,CAAC;QAChB,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACtC,mEAAmE;YACnE,sEAAsE;YACtE,sCAAsC;YACtC,MAAM,SAAS,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;YAC/E,MAAM,GAAG,OAAO,CAAC,SAAS,IAAI,kBAAkB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;QACzE,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,IAAY,EAAE,QAAkB;IAC3E,MAAM,OAAO,GAAG,MAAM,oBAAoB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC3D,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AAChG,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,IAAY,EACZ,QAAkB;IAElB,MAAM,OAAO,GAAG,MAAM,oBAAoB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC3D,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC3D,OAAO;QACL,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;QAC5E,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC;QAChD,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;KAChF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,IAAY,EACZ,QAAkB,EAClB,WAAmB,EACnB,IAAI,GAAG,MAAM;IAEb,IAAI,MAAc,CAAC;IACnB,IAAI,CAAC;QACH,MAAM,GAAG,MAAM,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC,CAAC,8DAA8D;IAC9E,CAAC;IACD,IAAI,MAAM,KAAK,WAAW,EAAE,CAAC;QAC3B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,OAAiB,CAAC;IACtB,IAAI,CAAC;QACH,OAAO,GAAG,MAAM,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;IAC3D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC,CAAC,2DAA2D;IAC3E,CAAC;IACD,MAAM,WAAW,GAAG,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IACxE,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IACpE,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,IAAI,mBAAmB,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC;YACjD,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,YAAY,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YAClD,yEAAyE;YACzE,uEAAuE;YACvE,sEAAsE;YACtE,0EAA0E;YAC1E,qEAAqE;YACrE,oEAAoE;YACpE,uDAAuD;YACvD,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YACpD,SAAS,CAAC,iEAAiE;QAC7E,CAAC;QACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,SAAS,CAAC,gEAAgE;QAC5E,CAAC;QACD,IAAI,MAAM,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;YAC5D,SAAS,CAAC,gEAAgE;QAC5E,CAAC;QACD,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;YACjF,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;YAC3E,IAAI,MAAM,IAAI,KAAK,IAAI,kBAAkB,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC;gBACzD,SAAS;YACX,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/atlas/labels.js

@@ -64,10 +64,10 @@ export const FLOW_STEP_FIELD = {
     changes: { label: 'Changes', hint: 'What data or state changes.' },
     assumes: { label: 'Only if', hint: 'This step only works when these are true.' },
 };
-// ── Mechanics (agent-owned, collapsed by default) ──────────────────────────────
+// ── Mechanics (proposed like any other Flow content, collapsed by default) ────
 export const MECHANICS_FIELD = {
     label: 'Where it lives in the code',
-    hint: 'Kept current by agents automatically — never needs your approval.',
+    hint: 'An agent proposes it, like any other Flow content — canonical mechanics only change once you run `flow approve`.',
 };
 // ── Evidence — attached per step/rule, never a whole-flow claim ───────────────
 /** The four states from R8: manually verified / test verified / code inferred / stale — plus unknown. */

package/dist/atlas/labels.js.map

@@ -1 +1 @@
-{"version":3,"file":"labels.js","sourceRoot":"","sources":["../../src/atlas/labels.ts"],"names":[],"mappings":"AAaA,iFAAiF;AAEjF,MAAM,CAAC,MAAM,UAAU,GAGnB;IACF,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,0CAA0C,EAAE;IACzE,UAAU,EAAE;QACV,KAAK,EAAE,aAAa;QACpB,IAAI,EAAE,yDAAyD;KAChE;IACD,KAAK,EAAE;QACL,KAAK,EAAE,aAAa;QACpB,IAAI,EAAE,kEAAkE;KACzE;IACD,KAAK,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,oCAAoC,EAAE;IACrE,QAAQ,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,2CAA2C,EAAE;IACnF,UAAU,EAAE;QACV,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,yEAAyE;KAChF;IACD,KAAK,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,2DAA2D,EAAE;IAC5F,QAAQ,EAAE;QACR,KAAK,EAAE,UAAU;QACjB,IAAI,EAAE,sDAAsD;KAC7D;CACF,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAqD;IACvF,KAAK,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,0CAA0C,EAAE;IAC3E,OAAO,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,yCAAyC,EAAE;IAC9E,KAAK,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,mCAAmC,EAAE;CACxE,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,wCAAwC,CAAC;AAElF,0EAA0E;AAC1E,MAAM,CAAC,MAAM,iBAAiB,GAAc;IAC1C,KAAK,EAAE,QAAQ;IACf,IAAI,EAAE,mCAAmC;CAC1C,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAA+B;IAC3D,KAAK,EAAE,WAAW;IAClB,OAAO,EAAE,SAAS;IAClB,IAAI,EAAE,MAAM;IACZ,SAAS,EAAE,WAAW;CACvB,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAA0C;IAC7E,SAAS,EAAE,wBAAwB;IACnC,mBAAmB,EAAE,+BAA+B;IACpD,gBAAgB,EAAE,uBAAuB;IACzC,GAAG,EAAE,mBAAmB;IACxB,MAAM,EAAE,yBAAyB;CAClC,CAAC;AAEF,iFAAiF;AAEjF,MAAM,CAAC,MAAM,eAAe,GAGxB;IACF,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,uCAAuC,EAAE;IACtE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,eAAe,EAAE;IAChD,KAAK,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,gDAAgD,EAAE;IACjF,OAAO,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,6BAA6B,EAAE;IAClE,OAAO,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,2CAA2C,EAAE;CACjF,CAAC;AAEF,kFAAkF;AAElF,MAAM,CAAC,MAAM,eAAe,GAAc;IACxC,KAAK,EAAE,4BAA4B;IACnC,IAAI,EAAE,mEAAmE;CAC1E,CAAC;AAEF,iFAAiF;AAEjF,yGAAyG;AACzG,MAAM,CAAC,MAAM,oBAAoB,GAAyD;IACxF,MAAM,EAAE,mBAAmB;IAC3B,IAAI,EAAE,eAAe;IACrB,QAAQ,EAAE,eAAe;IACzB,KAAK,EAAE,OAAO;IACd,OAAO,EAAE,SAAS;CACnB,CAAC;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAc;IAC5C,KAAK,EAAE,eAAe;IACtB,IAAI,EAAE,oDAAoD;CAC3D,CAAC;AAEF,+EAA+E;AAE/E,MAAM,CAAC,MAAM,UAAU,GAAc;IACnC,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,qDAAqD;CAC5D,CAAC;AAEF,gFAAgF;AAEhF;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,uDAAuD,CAAC;AAEtF,uEAAuE;AACvE,MAAM,CAAC,MAAM,yBAAyB,GAAG,8CAA8C,CAAC;AAExF,oFAAoF;AAEpF,MAAM,CAAC,MAAM,WAAW,GAGpB;IACF,KAAK,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,2CAA2C,EAAE;IAC5E,KAAK,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE;IACpD,OAAO,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,qBAAqB,EAAE;IAC1D,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,uBAAuB,EAAE;IACtD,WAAW,EAAE,EAAE,KAAK,EAAE,iBAAiB,EAAE,IAAI,EAAE,2CAA2C,EAAE;IAC5F,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,sCAAsC,EAAE;CAC3E,CAAC"}
+{"version":3,"file":"labels.js","sourceRoot":"","sources":["../../src/atlas/labels.ts"],"names":[],"mappings":"AAaA,iFAAiF;AAEjF,MAAM,CAAC,MAAM,UAAU,GAGnB;IACF,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,0CAA0C,EAAE;IACzE,UAAU,EAAE;QACV,KAAK,EAAE,aAAa;QACpB,IAAI,EAAE,yDAAyD;KAChE;IACD,KAAK,EAAE;QACL,KAAK,EAAE,aAAa;QACpB,IAAI,EAAE,kEAAkE;KACzE;IACD,KAAK,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,oCAAoC,EAAE;IACrE,QAAQ,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,2CAA2C,EAAE;IACnF,UAAU,EAAE;QACV,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,yEAAyE;KAChF;IACD,KAAK,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,2DAA2D,EAAE;IAC5F,QAAQ,EAAE;QACR,KAAK,EAAE,UAAU;QACjB,IAAI,EAAE,sDAAsD;KAC7D;CACF,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAqD;IACvF,KAAK,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,0CAA0C,EAAE;IAC3E,OAAO,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,yCAAyC,EAAE;IAC9E,KAAK,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,mCAAmC,EAAE;CACxE,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,wCAAwC,CAAC;AAElF,0EAA0E;AAC1E,MAAM,CAAC,MAAM,iBAAiB,GAAc;IAC1C,KAAK,EAAE,QAAQ;IACf,IAAI,EAAE,mCAAmC;CAC1C,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAA+B;IAC3D,KAAK,EAAE,WAAW;IAClB,OAAO,EAAE,SAAS;IAClB,IAAI,EAAE,MAAM;IACZ,SAAS,EAAE,WAAW;CACvB,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAA0C;IAC7E,SAAS,EAAE,wBAAwB;IACnC,mBAAmB,EAAE,+BAA+B;IACpD,gBAAgB,EAAE,uBAAuB;IACzC,GAAG,EAAE,mBAAmB;IACxB,MAAM,EAAE,yBAAyB;CAClC,CAAC;AAEF,iFAAiF;AAEjF,MAAM,CAAC,MAAM,eAAe,GAGxB;IACF,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,uCAAuC,EAAE;IACtE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,eAAe,EAAE;IAChD,KAAK,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,gDAAgD,EAAE;IACjF,OAAO,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,6BAA6B,EAAE;IAClE,OAAO,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,2CAA2C,EAAE;CACjF,CAAC;AAEF,iFAAiF;AAEjF,MAAM,CAAC,MAAM,eAAe,GAAc;IACxC,KAAK,EAAE,4BAA4B;IACnC,IAAI,EAAE,kHAAkH;CACzH,CAAC;AAEF,iFAAiF;AAEjF,yGAAyG;AACzG,MAAM,CAAC,MAAM,oBAAoB,GAAyD;IACxF,MAAM,EAAE,mBAAmB;IAC3B,IAAI,EAAE,eAAe;IACrB,QAAQ,EAAE,eAAe;IACzB,KAAK,EAAE,OAAO;IACd,OAAO,EAAE,SAAS;CACnB,CAAC;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAc;IAC5C,KAAK,EAAE,eAAe;IACtB,IAAI,EAAE,oDAAoD;CAC3D,CAAC;AAEF,+EAA+E;AAE/E,MAAM,CAAC,MAAM,UAAU,GAAc;IACnC,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,qDAAqD;CAC5D,CAAC;AAEF,gFAAgF;AAEhF;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,uDAAuD,CAAC;AAEtF,uEAAuE;AACvE,MAAM,CAAC,MAAM,yBAAyB,GAAG,8CAA8C,CAAC;AAExF,oFAAoF;AAEpF,MAAM,CAAC,MAAM,WAAW,GAGpB;IACF,KAAK,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,2CAA2C,EAAE;IAC5E,KAAK,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE;IACpD,OAAO,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,qBAAqB,EAAE;IAC1D,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,uBAAuB,EAAE;IACtD,WAAW,EAAE,EAAE,KAAK,EAAE,iBAAiB,EAAE,IAAI,EAAE,2CAA2C,EAAE;IAC5F,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,sCAAsC,EAAE;CAC3E,CAAC"}

package/dist/atlas/next.js

@@ -1,5 +1,6 @@
 import { UNDERSTAND_CTA, UNDERSTAND_IMPORT_COMMAND } from './labels.js';
 import { shellQuote } from '../shellquote.js';
+import { clampTitle } from '../title.js';
 /**
  * The ONE way Prismatica ever tells the owner to catch main up. Shared by
  * `next`'s rule 11, `frame`'s stale-base refusal and `close`'s follow-through
@@ -40,7 +41,14 @@ function forChange(change) {
             after: `prismatica open ${change.builder} ${change.id}`,
         };
     }
-    if (!change.hasCommittedWork && change.dirtyCodePaths.length === 0) {
+    // No code diff at all yet — even though `frame`/`pack` typically leave the
+    // freshly written contract and pack themselves uncommitted, that is not
+    // "work to check": the agent's own first commit sweeps them in along with
+    // the code (see the checkpoint-commit branch below). Gating this on
+    // `hasCommittedWork` alone, rather than on `checkpointPaths` too, is what
+    // keeps a freshly packed lane routed to `open` instead of a premature
+    // commit nagging the owner before the agent has done anything.
+    if (!change.hasCommittedWork) {
         return {
             rule: 7,
             command: `prismatica open ${change.builder} ${change.id}`,
@@ -58,16 +66,50 @@ function forChange(change) {
             after: `prismatica open ${change.builder} ${change.id}`,
         };
     }
-    if (change.dirtyCodePaths.length > 0) {
-        const quotedPaths = change.dirtyCodePaths.map(shellQuote).join(' ');
-        const inLane = `git -C ${shellQuote(change.lane)}`;
+    // Flow Report belongs BEFORE Check: the complete working-tree impact is
+    // resolved first, so the report file lands in the SAME checkpoint commit as
+    // the code it explains, rather than a Check → Flow Report → commit →
+    // second Check cycle.
+    if (change.flowReportGaps.length > 0) {
+        return {
+            rule: 7,
+            // `--auto`, because the bare command has no arguments to act on and
+            // simply errors. `--auto` records what the diff proves and then prints
+            // the exact per-flow commands for everything it deliberately would not
+            // decide, so this is one paste that always moves the change forward.
+            command: 'prismatica flow report --auto',
+            why: change.flowReportGaps.join('; '),
+            after: 'prismatica next',
+        };
+    }
+    if (change.checkpointBlocked) {
         return {
             rule: 7,
-            command: `${inLane} add ${quotedPaths} && ${inLane} commit -m ${shellQuote(change.title)}`,
-            why: `"${change.id}" has uncommitted work in the lane`,
+            command: `git -C ${shellQuote(change.lane)} status`,
+            why: `"${change.id}" has a rename or an unresolved conflict — resolve it by hand before the next checkpoint commit`,
             after: `prismatica check ${change.id}`,
         };
     }
+    if (change.checkpointPaths.length > 0) {
+        // Widened to also name this change's own exempt records, in the same
+        // classifier pass's order, so the commit it prints never leaves one of
+        // them behind for a second owner loop. `after` asks `prismatica next`
+        // rather than re-running Check: every path this can now include —
+        // implementation plus the ledger, evidence, a draft review or a forward
+        // stage bump — is already tolerated by `checkStillBinds` across this
+        // exact commit, so the previous Check stays current and re-checking
+        // would only write a fresh ledger row and dirty the lane again.
+        const quotedPaths = [...change.checkpointPaths, ...change.checkpointRecordPaths]
+            .map(shellQuote)
+            .join(' ');
+        const inLane = `git -C ${shellQuote(change.lane)}`;
+        return {
+            rule: 7,
+            command: `${inLane} add ${quotedPaths} && ${inLane} commit -m ${shellQuote(clampTitle(change.title))}`,
+            why: `"${change.id}" has uncommitted work that Check requires committed`,
+            after: 'prismatica next',
+        };
+    }
     if (change.lastCheck !== 'pass') {
         if (!change.readyCheckAttemptAvailable) {
             return {
@@ -87,18 +129,6 @@ function forChange(change) {
             after: 'prismatica next',
         };
     }
-    if (change.flowReportGaps.length > 0) {
-        return {
-            rule: 7,
-            // `--auto`, because the bare command has no arguments to act on and
-            // simply errors. `--auto` records what the diff proves and then prints
-            // the exact per-flow commands for everything it deliberately would not
-            // decide, so this is one paste that always moves the change forward.
-            command: 'prismatica flow report --auto',
-            why: change.flowReportGaps.join('; '),
-            after: 'prismatica next',
-        };
-    }
     // A reviewer who said no outranks everything downstream, at EVERY tier above
     // light — this used to be reachable only through the heavy-tier decision
     // branch below, so a normal-tier `request_changes` fell straight through to
@@ -184,6 +214,25 @@ function forChange(change) {
                 after: `prismatica check ${change.id}`,
             };
         }
+        // Only exempt records are dirty — the reported dogfood failure: `check`,
+        // `review`, `seal` and `accept` all leave their own lifecycle outputs
+        // uncommitted by design (see `checkpointPaths` above, which is empty by
+        // the time we reach here), but Ship's `requireExactCleanLane` refuses on
+        // ANY dirty path. Placed after `failed` and before `unknown` on purpose:
+        // by this point `merged`/`ready`/`pending`/`failed` have already
+        // returned, so this only ever intercepts the two returns below whose
+        // command would otherwise hit Ship's clean-HEAD preflight — the ordinary
+        // ready-to-ship fallthrough and the gh-unavailable `unknown` case.
+        if (change.checkpointRecordPaths.length > 0) {
+            const quotedPaths = change.checkpointRecordPaths.map(shellQuote).join(' ');
+            const inLane = `git -C ${shellQuote(change.lane)}`;
+            return {
+                rule: 7,
+                command: `${inLane} add ${quotedPaths} && ${inLane} commit -m ${shellQuote(clampTitle(change.title))}`,
+                why: `"${change.id}" has generated records that still need committing before Ship's clean-lane check will pass`,
+                after: `prismatica ship ${change.id}`,
+            };
+        }
         if (change.prState === 'unknown') {
             return {
                 rule: 7,
@@ -294,6 +343,20 @@ export function decideNext(state) {
             after: 'prismatica next',
         };
     }
+    // A release contract that reached main with no release record yet. Checked
+    // BEFORE `awaitingVerification` for two reasons: a release contract can
+    // never satisfy that candidate pool honestly (it never gets a passport), and
+    // when both an ordinary awaiting-verification contract and an in-flight
+    // release exist at once, finishing the release — the narrower, owner-only,
+    // resumable transaction — is the more useful next step.
+    if (state.releaseInFlight) {
+        return {
+            rule: 13,
+            command: 'prismatica release publish',
+            why: `"${state.releaseInFlight.contractId}" merged with no release record for ${state.releaseInFlight.version} yet`,
+            after: 'prismatica next',
+        };
+    }
     // A change that reached main and never got its passport. Below everything
     // above it on purpose: an open change is live work, and this one has already
     // shipped — but "all quiet" is wrong while the record of whether it actually

package/dist/atlas/next.js.map

@@ -1 +1 @@
-{"version":3,"file":"next.js","sourceRoot":"","sources":["../../src/atlas/next.ts"],"names":[],"mappings":"AAsBA,OAAO,EAAE,cAAc,EAAE,yBAAyB,EAAE,MAAM,aAAa,CAAC;AACxE,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AA6K9C;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,eAAe,CAAC,QAAgB,EAAE,UAAkB;IAClE,OAAO,UAAU,UAAU,CAAC,QAAQ,CAAC,0BAA0B,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;AAC1F,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,gBAAgB,CAC9B,iBAAyB,EACzB,oBAAwC;IAExC,OAAO,oBAAoB,KAAK,SAAS,IAAI,iBAAiB,IAAI,oBAAoB,CAAC;AACzF,CAAC;AAED,SAAS,SAAS,CAAC,MAAuB;IACxC,IAAI,MAAM,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;QAC7B,OAAO;YACL,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,mBAAmB,MAAM,CAAC,EAAE,EAAE;YACvC,GAAG,EAAE,IAAI,MAAM,CAAC,EAAE,kCAAkC;YACpD,KAAK,EAAE,mBAAmB,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,EAAE,EAAE;SACxD,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnE,OAAO;YACL,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,mBAAmB,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,EAAE,EAAE;YACzD,GAAG,EAAE,IAAI,MAAM,CAAC,EAAE,0CAA0C;YAC5D,KAAK,EAAE,iBAAiB;SACzB,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,yBAAyB,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,UAAU,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,MAAM,MAAM,GAAG,uBAAuB,MAAM,CAAC,EAAE,KAAK,CAAC;QACrD,OAAO;YACL,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,GAAG,MAAM,QAAQ,UAAU,CAAC,MAAM,CAAC,OAAO,MAAM,cAAc,UAAU,CAAC,gCAAgC,MAAM,CAAC,EAAE,EAAE,CAAC,EAAE;YAChI,GAAG,EAAE,IAAI,MAAM,CAAC,EAAE,+DAA+D;YACjF,KAAK,EAAE,mBAAmB,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,EAAE,EAAE;SACxD,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrC,MAAM,WAAW,GAAG,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpE,MAAM,MAAM,GAAG,UAAU,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,OAAO;YACL,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,GAAG,MAAM,QAAQ,WAAW,OAAO,MAAM,cAAc,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;YAC1F,GAAG,EAAE,IAAI,MAAM,CAAC,EAAE,oCAAoC;YACtD,KAAK,EAAE,oBAAoB,MAAM,CAAC,EAAE,EAAE;SACvC,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,SAAS,KAAK,MAAM,EAAE,CAAC;QAChC,IAAI,CAAC,MAAM,CAAC,0BAA0B,EAAE,CAAC;YACvC,OAAO;gBACL,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,2BAA2B,MAAM,CAAC,EAAE,EAAE;gBAC/C,GAAG,EAAE,IAAI,MAAM,CAAC,EAAE,iEAAiE;aACpF,CAAC;QACJ,CAAC;QACD,OAAO;YACL,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,oBAAoB,MAAM,CAAC,EAAE,EAAE;YACxC,GAAG,EACD,MAAM,CAAC,SAAS,KAAK,MAAM;gBACzB,CAAC,CAAC,IAAI,MAAM,CAAC,EAAE,2BAA2B;gBAC1C,CAAC,CAAC,MAAM,CAAC,SAAS,KAAK,OAAO;oBAC5B,CAAC,CAAC,IAAI,MAAM,CAAC,EAAE,2EAA2E;oBAC1F,CAAC,CAAC,IAAI,MAAM,CAAC,EAAE,4BAA4B;YACjD,KAAK,EAAE,iBAAiB;SACzB,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrC,OAAO;YACL,IAAI,EAAE,CAAC;YACP,oEAAoE;YACpE,uEAAuE;YACvE,uEAAuE;YACvE,qEAAqE;YACrE,OAAO,EAAE,+BAA+B;YACxC,GAAG,EAAE,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC;YACrC,KAAK,EAAE,iBAAiB;SACzB,CAAC;IACJ,CAAC;IACD,6EAA6E;IAC7E,yEAAyE;IACzE,4EAA4E;IAC5E,0EAA0E;IAC1E,qDAAqD;IACrD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC5B,IAAI,MAAM,CAAC,WAAW,KAAK,wBAAwB,EAAE,CAAC;YACpD,OAAO;gBACL,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,mBAAmB,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,EAAE,EAAE;gBACzD,GAAG,EAAE,IAAI,MAAM,CAAC,EAAE,0EAA0E;gBAC5F,KAAK,EAAE,oBAAoB,MAAM,CAAC,EAAE,EAAE;aACvC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,WAAW,KAAK,yBAAyB,EAAE,CAAC;YACrD,OAAO;gBACL,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,qBAAqB,MAAM,CAAC,EAAE,wBAAwB;gBAC/D,GAAG,EACD,MAAM,CAAC,WAAW,KAAK,cAAc;oBACnC,CAAC,CAAC,IAAI,MAAM,CAAC,EAAE,0DAA0D;oBACzE,CAAC,CAAC,IAAI,MAAM,CAAC,EAAE,kEAAkE;gBACrF,KAAK,EAAE,mBAAmB,MAAM,CAAC,EAAE,EAAE;aACtC,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC5B,4EAA4E;QAC5E,4EAA4E;QAC5E,qDAAqD;QACrD,IAAI,MAAM,CAAC,aAAa,KAAK,kBAAkB,EAAE,CAAC;YAChD,OAAO;gBACL,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,mBAAmB,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,EAAE,EAAE;gBACzD,GAAG,EAAE,IAAI,MAAM,CAAC,EAAE,wCAAwC;gBAC1D,KAAK,EAAE,oBAAoB,MAAM,CAAC,EAAE,EAAE;aACvC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,aAAa,KAAK,gBAAgB,EAAE,CAAC;YAC9C,OAAO;gBACL,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,qBAAqB,MAAM,CAAC,EAAE,EAAE;gBACzC,GAAG,EACD,MAAM,CAAC,aAAa,KAAK,gBAAgB;oBACvC,CAAC,CAAC,IAAI,MAAM,CAAC,EAAE,8EAA8E;oBAC7F,CAAC,CAAC,IAAI,MAAM,CAAC,EAAE,kEAAkE;gBACrF,KAAK,EAAE,mBAAmB,MAAM,CAAC,EAAE,EAAE;aACtC,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,yEAAyE;QACzE,sEAAsE;QACtE,mEAAmE;QACnE,wDAAwD;QACxD,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;YAChC,OAAO;gBACL,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,oBAAoB,MAAM,CAAC,EAAE,EAAE;gBACxC,GAAG,EAAE,IAAI,MAAM,CAAC,EAAE,2DAA2D;gBAC7E,KAAK,EAAE,mBAAmB,MAAM,CAAC,EAAE,WAAW;aAC/C,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;YAC/B,OAAO;gBACL,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,oBAAoB,MAAM,CAAC,EAAE,EAAE;gBACxC,GAAG,EAAE,IAAI,MAAM,CAAC,EAAE,wEAAwE;gBAC1F,KAAK,EAAE,oBAAoB,MAAM,CAAC,EAAE,EAAE;aACvC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YACjC,OAAO;gBACL,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,gBAAgB,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,iBAAiB;gBAChF,GAAG,EAAE,IAAI,MAAM,CAAC,EAAE,iEAAiE;gBACnF,KAAK,EAAE,oBAAoB,MAAM,CAAC,EAAE,EAAE;aACvC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;YAChC,OAAO;gBACL,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,mBAAmB,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,EAAE,EAAE;gBACzD,GAAG,EAAE,IAAI,MAAM,CAAC,EAAE,uDAAuD;gBACzE,KAAK,EAAE,oBAAoB,MAAM,CAAC,EAAE,EAAE;aACvC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YACjC,OAAO;gBACL,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,mBAAmB,MAAM,CAAC,EAAE,EAAE;gBACvC,GAAG,EAAE,IAAI,MAAM,CAAC,EAAE,+HAA+H;gBACjJ,KAAK,EAAE,iBAAiB;aACzB,CAAC;QACJ,CAAC;QACD,OAAO;YACL,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,mBAAmB,MAAM,CAAC,EAAE,EAAE;YACvC,GAAG,EAAE,IAAI,MAAM,CAAC,EAAE,oBAAoB;YACtC,KAAK,EAAE,mBAAmB,MAAM,CAAC,EAAE,WAAW;SAC/C,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE,CAAC;QACP,OAAO,EAAE,mBAAmB,MAAM,CAAC,EAAE,WAAW;QAChD,GAAG,EAAE,IAAI,MAAM,CAAC,EAAE,mEAAmE;QACrF,KAAK,EAAE,iBAAiB;KACzB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,KAAgB;IACzC,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,iBAAiB;YAC1B,GAAG,EAAE,0CAA0C;YAC/C,KAAK,EAAE,iBAAiB;SACzB,CAAC;IACJ,CAAC;IACD,0EAA0E;IAC1E,wEAAwE;IACxE,mEAAmE;IACnE,uEAAuE;IACvE,sEAAsE;IACtE,yEAAyE;IACzE,+DAA+D;IAC/D,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,kBAAkB,EAAE,CAAC;QACxD,OAAO;YACL,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,KAAK,CAAC,kBAAkB,CAAC,OAAO;YACzC,GAAG,EAAE,KAAK,CAAC,kBAAkB,CAAC,GAAG;YACjC,KAAK,EAAE,iBAAiB;SACzB,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,KAAK,CAAC,IAAI,KAAK,CAAC,iBAAiB,KAAK,CAAC,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,EAAE,CAAC;QAC7F,OAAO;YACL,IAAI,EAAE,CAAC;YACP,yEAAyE;YACzE,yEAAyE;YACzE,kEAAkE;YAClE,uEAAuE;YACvE,sEAAsE;YACtE,wEAAwE;YACxE,+BAA+B;YAC/B,OAAO,EAAE,cAAc;YACvB,GAAG,EAAE,kIAAkI;YACvI,KAAK,EAAE,yBAAyB;YAChC,OAAO,EAAE,IAAI;SACd,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,iBAAiB,GAAG,CAAC,EAAE,CAAC;QAChC,OAAO;YACL,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,iBAAiB;YAC1B,GAAG,EAAE,GAAG,KAAK,CAAC,iBAAiB,8CAA8C;YAC7E,KAAK,EAAE,iBAAiB;SACzB,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,kBAAkB,GAAG,CAAC,IAAI,KAAK,CAAC,oBAAoB,GAAG,CAAC,EAAE,CAAC;QACnE,OAAO;YACL,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,iBAAiB;YAC1B,GAAG,EAAE,6CAA6C;YAClD,KAAK,EAAE,iBAAiB;SACzB,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,qBAAqB,EAAE,CAAC;QAChC,OAAO;YACL,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,iCAAiC,KAAK,CAAC,qBAAqB,CAAC,EAAE,EAAE;YAC1E,GAAG,EAAE,UAAU,KAAK,CAAC,qBAAqB,CAAC,EAAE,0DAA0D;YACvG,KAAK,EAAE,iBAAiB;SACzB,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC;IACD,uEAAuE;IACvE,uEAAuE;IACvE,0EAA0E;IAC1E,kEAAkE;IAClE,wBAAwB;IACxB,IAAI,KAAK,CAAC,wBAAwB,IAAI,CAAC,EAAE,CAAC;QACxC,OAAO;YACL,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,iBAAiB;YAC1B,GAAG,EAAE,GAAG,KAAK,CAAC,wBAAwB,wFAAwF;YAC9H,KAAK,EAAE,iBAAiB;SACzB,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QACpB,OAAO;YACL,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,0BAA0B,KAAK,CAAC,SAAS,CAAC,MAAM,WAAW,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE;YAC1F,GAAG,EAAE,qBAAqB,KAAK,CAAC,SAAS,CAAC,IAAI,QAAQ,KAAK,CAAC,SAAS,CAAC,MAAM,gCAAgC;YAC5G,KAAK,EAAE,iBAAiB;SACzB,CAAC;IACJ,CAAC;IACD,0EAA0E;IAC1E,6EAA6E;IAC7E,6EAA6E;IAC7E,0EAA0E;IAC1E,6EAA6E;IAC7E,0EAA0E;IAC1E,4EAA4E;IAC5E,+CAA+C;IAC/C,IAAI,KAAK,CAAC,oBAAoB,EAAE,CAAC;QAC/B,OAAO;YACL,IAAI,EAAE,EAAE;YACR,OAAO,EAAE,mBAAmB,KAAK,CAAC,oBAAoB,CAAC,EAAE,WAAW;YACpE,GAAG,EAAE,IAAI,KAAK,CAAC,oBAAoB,CAAC,EAAE,4FAA4F;YAClI,KAAK,EAAE,iBAAiB;SACzB,CAAC;IACJ,CAAC;IACD,0EAA0E;IAC1E,0EAA0E;IAC1E,2EAA2E;IAC3E,qEAAqE;IACrE,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACrB,OAAO;YACL,IAAI,EAAE,EAAE;YACR,OAAO,EAAE,eAAe,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC;YAChF,GAAG,EAAE,SAAS,KAAK,CAAC,UAAU,CAAC,UAAU,QAAQ,KAAK,CAAC,UAAU,CAAC,KAAK,kFAAkF;YACzJ,KAAK,EAAE,iBAAiB;SACzB,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,iBAAiB,EAAE,GAAG,EAAE,yCAAyC,EAAE,CAAC;AAClG,CAAC"}
+{"version":3,"file":"next.js","sourceRoot":"","sources":["../../src/atlas/next.ts"],"names":[],"mappings":"AAsBA,OAAO,EAAE,cAAc,EAAE,yBAAyB,EAAE,MAAM,aAAa,CAAC;AACxE,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAwNzC;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,eAAe,CAAC,QAAgB,EAAE,UAAkB;IAClE,OAAO,UAAU,UAAU,CAAC,QAAQ,CAAC,0BAA0B,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;AAC1F,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,gBAAgB,CAC9B,iBAAyB,EACzB,oBAAwC;IAExC,OAAO,oBAAoB,KAAK,SAAS,IAAI,iBAAiB,IAAI,oBAAoB,CAAC;AACzF,CAAC;AAED,SAAS,SAAS,CAAC,MAAuB;IACxC,IAAI,MAAM,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;QAC7B,OAAO;YACL,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,mBAAmB,MAAM,CAAC,EAAE,EAAE;YACvC,GAAG,EAAE,IAAI,MAAM,CAAC,EAAE,kCAAkC;YACpD,KAAK,EAAE,mBAAmB,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,EAAE,EAAE;SACxD,CAAC;IACJ,CAAC;IACD,2EAA2E;IAC3E,wEAAwE;IACxE,0EAA0E;IAC1E,oEAAoE;IACpE,0EAA0E;IAC1E,sEAAsE;IACtE,+DAA+D;IAC/D,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC;QAC7B,OAAO;YACL,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,mBAAmB,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,EAAE,EAAE;YACzD,GAAG,EAAE,IAAI,MAAM,CAAC,EAAE,0CAA0C;YAC5D,KAAK,EAAE,iBAAiB;SACzB,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,yBAAyB,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,UAAU,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,MAAM,MAAM,GAAG,uBAAuB,MAAM,CAAC,EAAE,KAAK,CAAC;QACrD,OAAO;YACL,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,GAAG,MAAM,QAAQ,UAAU,CAAC,MAAM,CAAC,OAAO,MAAM,cAAc,UAAU,CAAC,gCAAgC,MAAM,CAAC,EAAE,EAAE,CAAC,EAAE;YAChI,GAAG,EAAE,IAAI,MAAM,CAAC,EAAE,+DAA+D;YACjF,KAAK,EAAE,mBAAmB,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,EAAE,EAAE;SACxD,CAAC;IACJ,CAAC;IACD,wEAAwE;IACxE,4EAA4E;IAC5E,qEAAqE;IACrE,sBAAsB;IACtB,IAAI,MAAM,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrC,OAAO;YACL,IAAI,EAAE,CAAC;YACP,oEAAoE;YACpE,uEAAuE;YACvE,uEAAuE;YACvE,qEAAqE;YACrE,OAAO,EAAE,+BAA+B;YACxC,GAAG,EAAE,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC;YACrC,KAAK,EAAE,iBAAiB;SACzB,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,iBAAiB,EAAE,CAAC;QAC7B,OAAO;YACL,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,UAAU,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS;YACnD,GAAG,EAAE,IAAI,MAAM,CAAC,EAAE,iGAAiG;YACnH,KAAK,EAAE,oBAAoB,MAAM,CAAC,EAAE,EAAE;SACvC,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtC,qEAAqE;QACrE,uEAAuE;QACvE,sEAAsE;QACtE,kEAAkE;QAClE,wEAAwE;QACxE,qEAAqE;QACrE,oEAAoE;QACpE,gEAAgE;QAChE,MAAM,WAAW,GAAG,CAAC,GAAG,MAAM,CAAC,eAAe,EAAE,GAAG,MAAM,CAAC,qBAAqB,CAAC;aAC7E,GAAG,CAAC,UAAU,CAAC;aACf,IAAI,CAAC,GAAG,CAAC,CAAC;QACb,MAAM,MAAM,GAAG,UAAU,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,OAAO;YACL,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,GAAG,MAAM,QAAQ,WAAW,OAAO,MAAM,cAAc,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE;YACtG,GAAG,EAAE,IAAI,MAAM,CAAC,EAAE,sDAAsD;YACxE,KAAK,EAAE,iBAAiB;SACzB,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,SAAS,KAAK,MAAM,EAAE,CAAC;QAChC,IAAI,CAAC,MAAM,CAAC,0BAA0B,EAAE,CAAC;YACvC,OAAO;gBACL,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,2BAA2B,MAAM,CAAC,EAAE,EAAE;gBAC/C,GAAG,EAAE,IAAI,MAAM,CAAC,EAAE,iEAAiE;aACpF,CAAC;QACJ,CAAC;QACD,OAAO;YACL,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,oBAAoB,MAAM,CAAC,EAAE,EAAE;YACxC,GAAG,EACD,MAAM,CAAC,SAAS,KAAK,MAAM;gBACzB,CAAC,CAAC,IAAI,MAAM,CAAC,EAAE,2BAA2B;gBAC1C,CAAC,CAAC,MAAM,CAAC,SAAS,KAAK,OAAO;oBAC5B,CAAC,CAAC,IAAI,MAAM,CAAC,EAAE,2EAA2E;oBAC1F,CAAC,CAAC,IAAI,MAAM,CAAC,EAAE,4BAA4B;YACjD,KAAK,EAAE,iBAAiB;SACzB,CAAC;IACJ,CAAC;IACD,6EAA6E;IAC7E,yEAAyE;IACzE,4EAA4E;IAC5E,0EAA0E;IAC1E,qDAAqD;IACrD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC5B,IAAI,MAAM,CAAC,WAAW,KAAK,wBAAwB,EAAE,CAAC;YACpD,OAAO;gBACL,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,mBAAmB,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,EAAE,EAAE;gBACzD,GAAG,EAAE,IAAI,MAAM,CAAC,EAAE,0EAA0E;gBAC5F,KAAK,EAAE,oBAAoB,MAAM,CAAC,EAAE,EAAE;aACvC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,WAAW,KAAK,yBAAyB,EAAE,CAAC;YACrD,OAAO;gBACL,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,qBAAqB,MAAM,CAAC,EAAE,wBAAwB;gBAC/D,GAAG,EACD,MAAM,CAAC,WAAW,KAAK,cAAc;oBACnC,CAAC,CAAC,IAAI,MAAM,CAAC,EAAE,0DAA0D;oBACzE,CAAC,CAAC,IAAI,MAAM,CAAC,EAAE,kEAAkE;gBACrF,KAAK,EAAE,mBAAmB,MAAM,CAAC,EAAE,EAAE;aACtC,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC5B,4EAA4E;QAC5E,4EAA4E;QAC5E,qDAAqD;QACrD,IAAI,MAAM,CAAC,aAAa,KAAK,kBAAkB,EAAE,CAAC;YAChD,OAAO;gBACL,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,mBAAmB,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,EAAE,EAAE;gBACzD,GAAG,EAAE,IAAI,MAAM,CAAC,EAAE,wCAAwC;gBAC1D,KAAK,EAAE,oBAAoB,MAAM,CAAC,EAAE,EAAE;aACvC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,aAAa,KAAK,gBAAgB,EAAE,CAAC;YAC9C,OAAO;gBACL,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,qBAAqB,MAAM,CAAC,EAAE,EAAE;gBACzC,GAAG,EACD,MAAM,CAAC,aAAa,KAAK,gBAAgB;oBACvC,CAAC,CAAC,IAAI,MAAM,CAAC,EAAE,8EAA8E;oBAC7F,CAAC,CAAC,IAAI,MAAM,CAAC,EAAE,kEAAkE;gBACrF,KAAK,EAAE,mBAAmB,MAAM,CAAC,EAAE,EAAE;aACtC,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,yEAAyE;QACzE,sEAAsE;QACtE,mEAAmE;QACnE,wDAAwD;QACxD,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;YAChC,OAAO;gBACL,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,oBAAoB,MAAM,CAAC,EAAE,EAAE;gBACxC,GAAG,EAAE,IAAI,MAAM,CAAC,EAAE,2DAA2D;gBAC7E,KAAK,EAAE,mBAAmB,MAAM,CAAC,EAAE,WAAW;aAC/C,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;YAC/B,OAAO;gBACL,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,oBAAoB,MAAM,CAAC,EAAE,EAAE;gBACxC,GAAG,EAAE,IAAI,MAAM,CAAC,EAAE,wEAAwE;gBAC1F,KAAK,EAAE,oBAAoB,MAAM,CAAC,EAAE,EAAE;aACvC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YACjC,OAAO;gBACL,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,gBAAgB,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,iBAAiB;gBAChF,GAAG,EAAE,IAAI,MAAM,CAAC,EAAE,iEAAiE;gBACnF,KAAK,EAAE,oBAAoB,MAAM,CAAC,EAAE,EAAE;aACvC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;YAChC,OAAO;gBACL,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,mBAAmB,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,EAAE,EAAE;gBACzD,GAAG,EAAE,IAAI,MAAM,CAAC,EAAE,uDAAuD;gBACzE,KAAK,EAAE,oBAAoB,MAAM,CAAC,EAAE,EAAE;aACvC,CAAC;QACJ,CAAC;QACD,yEAAyE;QACzE,sEAAsE;QACtE,wEAAwE;QACxE,yEAAyE;QACzE,yEAAyE;QACzE,iEAAiE;QACjE,qEAAqE;QACrE,yEAAyE;QACzE,mEAAmE;QACnE,IAAI,MAAM,CAAC,qBAAqB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5C,MAAM,WAAW,GAAG,MAAM,CAAC,qBAAqB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC3E,MAAM,MAAM,GAAG,UAAU,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YACnD,OAAO;gBACL,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,GAAG,MAAM,QAAQ,WAAW,OAAO,MAAM,cAAc,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE;gBACtG,GAAG,EAAE,IAAI,MAAM,CAAC,EAAE,6FAA6F;gBAC/G,KAAK,EAAE,mBAAmB,MAAM,CAAC,EAAE,EAAE;aACtC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YACjC,OAAO;gBACL,IAAI,EAAE,CAAC;gBACP,OAAO,EAAE,mBAAmB,MAAM,CAAC,EAAE,EAAE;gBACvC,GAAG,EAAE,IAAI,MAAM,CAAC,EAAE,+HAA+H;gBACjJ,KAAK,EAAE,iBAAiB;aACzB,CAAC;QACJ,CAAC;QACD,OAAO;YACL,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,mBAAmB,MAAM,CAAC,EAAE,EAAE;YACvC,GAAG,EAAE,IAAI,MAAM,CAAC,EAAE,oBAAoB;YACtC,KAAK,EAAE,mBAAmB,MAAM,CAAC,EAAE,WAAW;SAC/C,CAAC;IACJ,CAAC;IACD,OAAO;QACL,IAAI,EAAE,CAAC;QACP,OAAO,EAAE,mBAAmB,MAAM,CAAC,EAAE,WAAW;QAChD,GAAG,EAAE,IAAI,MAAM,CAAC,EAAE,mEAAmE;QACrF,KAAK,EAAE,iBAAiB;KACzB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,KAAgB;IACzC,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,iBAAiB;YAC1B,GAAG,EAAE,0CAA0C;YAC/C,KAAK,EAAE,iBAAiB;SACzB,CAAC;IACJ,CAAC;IACD,0EAA0E;IAC1E,wEAAwE;IACxE,mEAAmE;IACnE,uEAAuE;IACvE,sEAAsE;IACtE,yEAAyE;IACzE,+DAA+D;IAC/D,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,kBAAkB,EAAE,CAAC;QACxD,OAAO;YACL,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,KAAK,CAAC,kBAAkB,CAAC,OAAO;YACzC,GAAG,EAAE,KAAK,CAAC,kBAAkB,CAAC,GAAG;YACjC,KAAK,EAAE,iBAAiB;SACzB,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,KAAK,CAAC,IAAI,KAAK,CAAC,iBAAiB,KAAK,CAAC,IAAI,KAAK,CAAC,kBAAkB,KAAK,CAAC,EAAE,CAAC;QAC7F,OAAO;YACL,IAAI,EAAE,CAAC;YACP,yEAAyE;YACzE,yEAAyE;YACzE,kEAAkE;YAClE,uEAAuE;YACvE,sEAAsE;YACtE,wEAAwE;YACxE,+BAA+B;YAC/B,OAAO,EAAE,cAAc;YACvB,GAAG,EAAE,kIAAkI;YACvI,KAAK,EAAE,yBAAyB;YAChC,OAAO,EAAE,IAAI;SACd,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,iBAAiB,GAAG,CAAC,EAAE,CAAC;QAChC,OAAO;YACL,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,iBAAiB;YAC1B,GAAG,EAAE,GAAG,KAAK,CAAC,iBAAiB,8CAA8C;YAC7E,KAAK,EAAE,iBAAiB;SACzB,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,kBAAkB,GAAG,CAAC,IAAI,KAAK,CAAC,oBAAoB,GAAG,CAAC,EAAE,CAAC;QACnE,OAAO;YACL,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,iBAAiB;YAC1B,GAAG,EAAE,6CAA6C;YAClD,KAAK,EAAE,iBAAiB;SACzB,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,qBAAqB,EAAE,CAAC;QAChC,OAAO;YACL,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,iCAAiC,KAAK,CAAC,qBAAqB,CAAC,EAAE,EAAE;YAC1E,GAAG,EAAE,UAAU,KAAK,CAAC,qBAAqB,CAAC,EAAE,0DAA0D;YACvG,KAAK,EAAE,iBAAiB;SACzB,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC;IACD,uEAAuE;IACvE,uEAAuE;IACvE,0EAA0E;IAC1E,kEAAkE;IAClE,wBAAwB;IACxB,IAAI,KAAK,CAAC,wBAAwB,IAAI,CAAC,EAAE,CAAC;QACxC,OAAO;YACL,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,iBAAiB;YAC1B,GAAG,EAAE,GAAG,KAAK,CAAC,wBAAwB,wFAAwF;YAC9H,KAAK,EAAE,iBAAiB;SACzB,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QACpB,OAAO;YACL,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,0BAA0B,KAAK,CAAC,SAAS,CAAC,MAAM,WAAW,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE;YAC1F,GAAG,EAAE,qBAAqB,KAAK,CAAC,SAAS,CAAC,IAAI,QAAQ,KAAK,CAAC,SAAS,CAAC,MAAM,gCAAgC;YAC5G,KAAK,EAAE,iBAAiB;SACzB,CAAC;IACJ,CAAC;IACD,2EAA2E;IAC3E,wEAAwE;IACxE,6EAA6E;IAC7E,wEAAwE;IACxE,2EAA2E;IAC3E,wDAAwD;IACxD,IAAI,KAAK,CAAC,eAAe,EAAE,CAAC;QAC1B,OAAO;YACL,IAAI,EAAE,EAAE;YACR,OAAO,EAAE,4BAA4B;YACrC,GAAG,EAAE,IAAI,KAAK,CAAC,eAAe,CAAC,UAAU,uCAAuC,KAAK,CAAC,eAAe,CAAC,OAAO,MAAM;YACnH,KAAK,EAAE,iBAAiB;SACzB,CAAC;IACJ,CAAC;IACD,0EAA0E;IAC1E,6EAA6E;IAC7E,6EAA6E;IAC7E,0EAA0E;IAC1E,6EAA6E;IAC7E,0EAA0E;IAC1E,4EAA4E;IAC5E,+CAA+C;IAC/C,IAAI,KAAK,CAAC,oBAAoB,EAAE,CAAC;QAC/B,OAAO;YACL,IAAI,EAAE,EAAE;YACR,OAAO,EAAE,mBAAmB,KAAK,CAAC,oBAAoB,CAAC,EAAE,WAAW;YACpE,GAAG,EAAE,IAAI,KAAK,CAAC,oBAAoB,CAAC,EAAE,4FAA4F;YAClI,KAAK,EAAE,iBAAiB;SACzB,CAAC;IACJ,CAAC;IACD,0EAA0E;IAC1E,0EAA0E;IAC1E,2EAA2E;IAC3E,qEAAqE;IACrE,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACrB,OAAO;YACL,IAAI,EAAE,EAAE;YACR,OAAO,EAAE,eAAe,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC;YAChF,GAAG,EAAE,SAAS,KAAK,CAAC,UAAU,CAAC,UAAU,QAAQ,KAAK,CAAC,UAAU,CAAC,KAAK,kFAAkF;YACzJ,KAAK,EAAE,iBAAiB;SACzB,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,iBAAiB,EAAE,GAAG,EAAE,yCAAyC,EAAE,CAAC;AAClG,CAAC"}

package/dist/board/html.js

@@ -62,7 +62,7 @@ const STATE_HINT = {
     planned: 'state: planned — a contract exists; no agent is building yet',
     building: 'state: building — an agent is working in the change’s lane',
     checking: 'state: checking — checks and review are proving the work',
-    needs_you: 'state: needs_you — a decision only the owner can make',
+    needs_you: 'state: needs_you — an owner-only action is waiting',
     shipping: 'state: shipping — the PR is at the merge gate',
     live: 'state: live — shipped, verified, passport written',
 };
@@ -122,7 +122,7 @@ function renderNeedsYou(items) {
     if (items.length === 0) {
         return `<div class="empty">
       <p class="empty-title">Nothing is waiting on you.</p>
-      <p class="empty-sub">When a change needs your decision, it appears here first.</p>
+      <p class="empty-sub">When a change needs an action from you, it appears here first.</p>
     </div>`;
     }
     return filterEmpty('needs') + items
@@ -319,11 +319,12 @@ function renderApps(apps) {
         .join('\n');
     return `<div class="panel"><table class="apps"><thead><tr><th>App</th><th>Last shipped</th><th title="in-flight changes vs the WIP limit">Open</th><th title="the merge gate — the one choke point">Gate</th><th>Red flags</th><th>Checks</th></tr></thead><tbody>${rows}</tbody></table></div>`;
 }
-function renderReleases(releases, pendingVerification, legacyReleases, intents) {
+function renderReleases(releases, pendingVerification, legacyReleases, releaseRecords, intents) {
     // The empty state claims nothing exists yet — false, and confusing to show
-    // directly above a list of pending or legacy contracts that plainly do.
+    // directly above a list of pending or legacy contracts (or npm release
+    // records) that plainly do.
     const passports = releases.length === 0
-        ? pendingVerification.length === 0 && legacyReleases.length === 0
+        ? pendingVerification.length === 0 && legacyReleases.length === 0 && releaseRecords.length === 0
             ? `<div class="empty">
           <p class="empty-title">Nothing has shipped yet.</p>
           <p class="empty-sub">A release appears here only after its change merges, deploys, and passes a live check — with a tested way back.</p>
@@ -406,7 +407,34 @@ function renderReleases(releases, pendingVerification, legacyReleases, intents)
                 .join('')}</ul></article>`)
                 .join('\n') +
             '</div>';
-    return passports + pendingBlock + legacyBlock + intentBlock + filterEmpty('releases');
+    // An npm release record — `release prepare`/`release publish`'s own
+    // write-once outcome, distinct from a passport: `published` means the npm
+    // registry itself confirmed this exact version and artifact; `superseded`
+    // means the registry confirmed it was never published or staged at all.
+    const releaseRecordsBlock = releaseRecords.length === 0
+        ? ''
+        : `<div class="rel-group"><h3 class="subhead">npm releases</h3>
+        <p class="sentence t-muted">Written only after the npm registry itself independently confirmed the claim.</p>` +
+            releaseRecords
+                .map((item) => {
+                const { release } = item;
+                const published = release.outcome === 'published';
+                return `<article class="release" data-app="${escapeHtml(item.app)}">
+        <div class="release-head">
+          <span class="dot" style="background:${published ? STATE_TONE.live.dot : STATE_TONE.planned.dot}"></span>
+          <h4 class="card-title">${escapeHtml(release.version)}</h4>
+          ${appChip(item.app)}
+          <span class="chip${published ? ' st-proven' : ''}" title="${published ? 'the npm registry confirmed this exact version and artifact' : 'the registry confirmed this version was never published or staged'}">${published ? 'published' : 'superseded'}</span>
+        </div>
+        <p class="sentence">${published ? `Integrity: ${escapeHtml(release.integrity ?? '(unknown)')} · dist-tag: ${escapeHtml(release.distTag ?? '(unknown)')}` : `Closed ${escapeHtml(release.at.slice(0, 10))} — nothing was ever published`}${release.recoveryRoutes.length > 0
+                    ? ` · ${release.recoveryRoutes.map((route) => escapeHtml(route)).join('; ')}`
+                    : ''}</p>
+        <nav class="links">${release.pr ? `<a class="rl" href="${escapeHtml(release.pr)}" title="the pull request it merged through">PR</a>` : ''}${recordLink(item.repo, 'releases', release.version, 'release', 'the full release record')}</nav>
+      </article>`;
+            })
+                .join('\n') +
+            '</div>';
+    return passports + pendingBlock + legacyBlock + releaseRecordsBlock + intentBlock + filterEmpty('releases');
 }
 // ── Understand (Flows + Rules) ───────────────────────────────────────────────
 function flowActionForm(repo, id, action, confirmKind, title, label, cls) {
@@ -1259,7 +1287,7 @@ function sideNav(model, active) {
       <a href="${active === 'understand' ? '/#needs' : '#needs'}" title="${escapeHtml(needsYouTitle)}"><span class="n-dot"></span>Needs you ${badge(needsYouTotal, true, 'needs')}</a>
       <a href="${active === 'understand' ? '/#work' : '#work'}"><span class="n-dot"></span>Work ${badge(model.cards.length, false, 'work')}</a>
       <a href="${active === 'understand' ? '/#apps' : '#apps'}"><span class="n-dot"></span>Apps ${badge(model.apps.length, false, 'apps')}</a>
-      <a href="${active === 'understand' ? '/#releases' : '#releases'}"><span class="n-dot"></span>Releases ${badge(model.releases.length + model.pendingVerification.length + model.legacyReleases.length, false, 'releases')}</a>
+      <a href="${active === 'understand' ? '/#releases' : '#releases'}"><span class="n-dot"></span>Releases ${badge(model.releases.length + model.pendingVerification.length + model.legacyReleases.length + model.releaseRecords.length, false, 'releases')}</a>
       <a href="/understand" class="${active === 'understand' ? 'active' : ''}" title="what each app does, in plain language — Flows and Rules"><span class="n-dot"></span>Understand ${badge(model.understandPending, true)}</a>
     </nav>
     <div class="side-controls">
@@ -1334,7 +1362,7 @@ export function renderBoardPage(model) {
 ${renderAppScope(model)}
 ${renderStartAction(model)}
 <section id="needs">
-  <div class="sec-head"><h2>Needs you</h2><span class="sec-sub" title="everything waiting on the owner, across every app">decisions only you can make</span></div>
+  <div class="sec-head"><h2>Needs you</h2><span class="sec-sub" title="everything waiting on the owner, across every app">owner-only actions waiting</span></div>
   ${renderNeedsYou(model.needsYou)}
 </section>
 <section id="work">
@@ -1348,7 +1376,7 @@ ${renderStartAction(model)}
 </section>
 <section id="releases">
   <div class="sec-head"><h2>Releases</h2><span class="sec-sub" title="verified, pending and legacy release records">verified releases, pending verification and legacy records</span></div>
-  ${renderReleases(model.releases, model.pendingVerification, model.legacyReleases, model.intents)}
+  ${renderReleases(model.releases, model.pendingVerification, model.legacyReleases, model.releaseRecords, model.intents)}
 </section>`;
     return pageShell('Prismatica — board', main, model);
 }