universal-physics-tensor 9.0.0 → 10.0.0

package/dist/cli/commands/confront.js

@@ -39,7 +39,7 @@ const HELP = `upt confront [be-XX] [--bridge=be-XX] [--rigor=stringent|moderate|
         separately from its stated agreement bound.
         be-53 is not in that registry. \`upt confront be-53\` refuses: a
         confrontation needs a caller-supplied measured-coupling table and a
-        running procedure (requestYangMillsConfrontation). The refusal names
+        running procedure, neither of which the library ships. The refusal names
         each missing input, prints no residual, and does not change the
         catalog status. It is not a pass and not a fail. The one-loop
         coefficient's sign is oneLoopCoefficientStatement, not this command.`;
@@ -119,13 +119,19 @@ function statisticDistribution(outcomes) {
     const n = (k) => outcomes.filter((o) => o.kind === k).length;
     return { sigmaTests: n('value'), limits: n('upper-bound'), consistencyRatios: n('consistency'), tables: n('table') };
 }
-/** A fraction as a percentage; exponent form below 0.05% so a tiny nonzero value never prints as 0.0%. */
-function percent(x) {
-    const p = x * 100;
-    return `${p !== 0 && Math.abs(p) < 0.05 ? p.toExponential(1) : p.toFixed(1)}%`;
+/** A fraction as a percentage: a statistic, three significant digits (`-43.7%`, `±150%`), never fifteen. */
+function percent(fmt, x) {
+    return `${fmt(x * 100, 3)}%`;
 }
-function signedPercent(x) {
-    return `${x > 0 ? '+' : ''}${percent(x)}`;
+function signedPercent(fmt, x) {
+    return `${x > 0 ? '+' : ''}${percent(fmt, x)}`;
+}
+/** Count by rigor tier, over the confrontations given. */
+function rigorDistributionOf(tiers) {
+    const counts = { stringent: 0, moderate: 0, loose: 0 };
+    for (const tier of tiers)
+        counts[tier] += 1;
+    return counts;
 }
 const NOT_RECORDED = 'not recorded — the record states nothing on this; that is not "none"';
 function sourceLine(refs) {
@@ -192,7 +198,8 @@ async function run(ctx) {
             out(`catalog id ${bridgeId} refused. Missing: ${missing}.`);
             out(`This is not a pass and not a fail. The catalog status of catalog id ${bridgeId} is unchanged.`);
         }
-        return 1;
+        // The refusal is the result the command computed: exit 0, as a path with no composite claim.
+        return 0;
     }
     let entries = bridgeId === undefined
         ? api.listConfrontations()
@@ -240,7 +247,8 @@ async function run(ctx) {
         emitJson({
             command: 'confront',
             epistemics,
-            rigorDistribution: api.rigorDistribution(),
+            // Over the confrontations this invocation ran, as the other two distributions are.
+            rigorDistribution: rigorDistributionOf(results.map((r) => r.rigor)),
             statisticDistribution: statisticDistribution(results.map((r) => r.outcome)),
             dataHandlingDistribution: dataHandlingDistribution(results.map((r) => r.outcome)),
             result: jsonResults,
@@ -275,12 +283,12 @@ async function run(ctx) {
         out(`  be-${bridgeId} [${rigor}]: ${title}`);
         switch (outcome.kind) {
             case 'value': {
-                const margin = wantFrontier ? ` · margin ${(1 - outcome.residualInSigma).toFixed(2)}σ to the 1σ acceptance threshold` : '';
+                const margin = wantFrontier ? ` · margin ${api.formatQuantity(1 - outcome.residualInSigma, 3)}σ to the 1σ acceptance threshold` : '';
                 // A derived "observed" value is labelled derived, and the quantity that
                 // was actually measured is shown beside it (persona finding L6).
                 const m = outcome.measured;
                 const observedLabel = m ? `derived ${m.derivation} =` : 'observed';
-                out(`    predicted ${outcome.predicted} · ${observedLabel} ${outcome.observed} ± ${outcome.sigma} ${outcome.units} · residual ${outcome.residualInSigma.toFixed(2)}σ · ${outcome.withinObserved ? 'within 1σ ✓' : 'outside 1σ'}${margin}`);
+                out(`    predicted ${api.formatQuantity(outcome.predicted)} · ${observedLabel} ${api.formatQuantity(outcome.observed)} ± ${api.formatQuantity(outcome.sigma)} ${outcome.units} · residual ${api.formatQuantity(outcome.residualInSigma, 3)}σ · ${outcome.withinObserved ? 'within 1σ ✓' : 'outside 1σ'}${margin}`);
                 if (m) {
                     out(`    measured: ${m.quantity} = ${m.value} ± ${m.sigma} (${m.source}); the value above is derived from it, not observed`);
                 }
@@ -316,10 +324,10 @@ async function run(ctx) {
                     ? `rule: ${c.rule} · ${c.withinBound ? 'compatible ✓' : 'BELOW THE LIMIT'}`
                     : c.agreementBound === null
                         ? 'no agreement bound in this outcome, so no compatibility decision'
-                        : `agreement bound ±${percent(c.agreementBound)} (the record's stated tolerance, not a measured difference) · ` +
+                        : `agreement bound ±${percent(api.formatQuantity, c.agreementBound)} (the record's stated tolerance, not a measured difference) · ` +
                             `|difference| ≤ bound: ${c.withinBound ? 'compatible ✓' : 'OUTSIDE BOUND'}`;
                 out(`    predicted ${outcome.predicted} approaches ${outcome.approaches} ${outcome.units} · ` +
-                    `actual difference ${signedPercent(c.relativeDifference)} = ${c.definition} · ${verdict}`);
+                    `actual difference ${signedPercent(api.formatQuantity, c.relativeDifference)} = ${c.definition} · ${verdict}`);
                 if (wantSensitivity)
                     out(`    sensitivity: n/a for ${outcome.kind}-kind`);
                 break;
@@ -327,7 +335,7 @@ async function run(ctx) {
             case 'table':
                 out(`    ${outcome.rows.length} rows (${outcome.units}):`);
                 for (const row of outcome.rows) {
-                    out(`      ${row.label}: predicted ${row.predicted} · observed ${row.observed} ± ${row.sigma} · ${row.residualInSigma.toFixed(2)}σ`);
+                    out(`      ${row.label}: predicted ${api.formatQuantity(row.predicted)} · observed ${api.formatQuantity(row.observed)} ± ${api.formatQuantity(row.sigma)} · ${api.formatQuantity(row.residualInSigma, 3)}σ`);
                 }
                 if (wantSensitivity)
                     out(`    sensitivity: n/a for ${outcome.kind}-kind`);

package/dist/cli/commands/confront.js.map

@@ -1 +1 @@
-{"version":3,"file":"confront.js","sourceRoot":"","sources":["../../../src/cli/commands/confront.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,eAAe,EAAiC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEnD,MAAM,KAAK,GAAe;IACxB,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,iEAAiE,EAAE;IAC5H,EAAE,IAAI,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,qEAAqE,EAAE;IACjI,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,qDAAqD,EAAE;IAC/G;QACE,IAAI,EAAE,YAAY;QAClB,UAAU,EAAE,MAAM;QAClB,WAAW,EAAE,mGAAmG;KACjH;IACD,SAAS;CACV,CAAC;AAEF,MAAM,IAAI,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;6EA4BgE,CAAC;AAE9E,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;AAEhE,sFAAsF;AACtF,SAAS,mBAAmB,CAC1B,OAA+D;IAE/D,OAAO,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,OAAO,CAAC,eAAe,KAAK,QAAQ;QACvF,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,eAAe;QAC7B,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,MAAM,UAAU,GACd,oGAAoG,CAAC;AACvG,MAAM,sBAAsB,GAC1B,uFAAuF;IACvF,kFAAkF,CAAC;AAErF,SAAS,cAAc,CAAC,GAAsB,EAAE,GAAW,EAAE,GAA0B;IACrF,IAAI,CAAC;QACH,OAAO,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,QAAQ,CAChB,GAAG,KAAK,MAAM;YACZ,CAAC,CAAC,mCAAmC,GAAG,sBAAsB;YAC9D,CAAC,CAAC,kBAAkB,GAAG,uEAAuE,CACjG,CAAC;IACJ,CAAC;AACH,CAAC;AAED,2FAA2F;AAC3F,SAAS,gBAAgB,CAAC,GAAsB,EAAE,IAAwB;IACxE,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,UAAU,CAClB,6CAA6C,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;YACpF,qEAAqE,CACxE,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACtC,MAAM,QAAQ,GAAG,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3G,MAAM,cAAc,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CAAE,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3H,IAAI,QAAQ,KAAK,SAAS,IAAI,cAAc,KAAK,SAAS,IAAI,QAAQ,KAAK,cAAc,EAAE,CAAC;QAC1F,MAAM,IAAI,UAAU,CAClB,+BAA+B,cAAc,oBAAoB,QAAQ,yBAAyB,CACnG,CAAC;IACJ,CAAC;IACD,OAAO,QAAQ,IAAI,cAAc,CAAC;AACpC,CAAC;AAED,MAAM,gBAAgB,GAAG,8CAA8C,CAAC;AAIxE;;;;GAIG;AACH,SAAS,WAAW,CAAC,CAAU;IAC7B,MAAM,QAAQ,GAAG,oDAAoD,CAAC;IACtE,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,OAAO;YACV,OAAO;gBACL,MAAM,EAAE,qBAAqB;gBAC7B,SAAS,EAAE,eAAe;gBAC1B,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,QAAQ,CAAC,QAAQ,OAAO,CAAC,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,QAAQ;aACpG,CAAC;QACJ,KAAK,aAAa;YAChB,OAAO,CAAC,CAAC,WAAW,KAAK,eAAe;gBACtC,CAAC,CAAC,EAAE,MAAM,EAAE,gDAAgD,EAAE,SAAS,EAAE,gCAAgC,EAAE,QAAQ,EAAE,QAAQ,EAAE;gBAC/H,CAAC,CAAC,EAAE,MAAM,EAAE,uBAAuB,EAAE,SAAS,EAAE,mBAAmB,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;QAC9F,KAAK,aAAa;YAChB,IAAI,CAAC,CAAC,WAAW,KAAK,aAAa,EAAE,CAAC;gBACpC,OAAO;oBACL,MAAM,EAAE,wEAAwE;oBAChF,SAAS,EAAE,sFAAsF;oBACjG,QAAQ,EAAE,QAAQ;iBACnB,CAAC;YACJ,CAAC;YACD,OAAO;gBACL,MAAM,EAAE,2BAA2B;gBACnC,SAAS,EACP,CAAC,CAAC,eAAe,KAAK,iBAAiB;oBACrC,CAAC,CAAC,iHAAiH;oBACnH,CAAC,CAAC,kHAAkH;gBACxH,QAAQ,EAAE,QAAQ;aACnB,CAAC;QACJ,KAAK,OAAO;YACV,OAAO,EAAE,MAAM,EAAE,6BAA6B,EAAE,SAAS,EAAE,4CAA4C,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;IAClI,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,QAA4B;IACzD,MAAM,CAAC,GAAG,CAAC,CAAkB,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;IAC9E,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,aAAa,CAAC,EAAE,iBAAiB,EAAE,CAAC,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;AACvH,CAAC;AAED,0GAA0G;AAC1G,SAAS,OAAO,CAAC,CAAS;IACxB,MAAM,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;IAClB,OAAO,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;AACjF,CAAC;AAED,SAAS,aAAa,CAAC,CAAS;IAC9B,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;AAC5C,CAAC;AAED,MAAM,YAAY,GAAG,sEAAsE,CAAC;AAI5F,SAAS,UAAU,CAAC,IAAgB;IAClC,OAAO,YAAY,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AACrJ,CAAC;AAED,SAAS,iBAAiB,CAAC,CAAU;IACnC,MAAM,CAAC,GAAG,CAAC,CAAC,aAAa,CAAC;IAC1B,OAAO,CAAC,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,IAAI,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC;AAC1F,CAAC;AAED,SAAS,gBAAgB,CAAC,CAAU;IAClC,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC;IACzB,QAAQ,CAAC,CAAC,KAAK,EAAE,CAAC;QAChB,KAAK,qBAAqB;YACxB,OAAO,6CAA6C,CAAC,CAAC,SAAS,IAAI,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5F,KAAK,cAAc;YACjB,OAAO,UAAU,CAAC,CAAC,MAAM,MAAM,CAAC,CAAC,SAAS,IAAI,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;QACvE,KAAK,cAAc;YACjB,OAAO,YAAY,CAAC;IACxB,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAAC,QAA4B;IAC5D,MAAM,GAAG,GAAG,CAAC,CAAoC,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;IACjH,MAAM,GAAG,GAAG,CAAC,CAAmC,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;IAC/G,OAAO;QACL,aAAa,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,WAAW,EAAE,GAAG,CAAC,cAAc,CAAC,EAAE;QAC9E,YAAY,EAAE;YACZ,iBAAiB,EAAE,GAAG,CAAC,qBAAqB,CAAC;YAC7C,WAAW,EAAE,GAAG,CAAC,cAAc,CAAC;YAChC,WAAW,EAAE,GAAG,CAAC,cAAc,CAAC;SACjC;KACF,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IAC/B,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IACtD,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC1C,MAAM,SAAS,GAAG,SAAS,IAAI,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9F,IAAI,SAAS,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,QAAQ,CAAC,kCAAkC,SAAS,uCAAuC,CAAC,CAAC;IACzG,CAAC;IAED,IAAI,QAAQ,KAAK,SAAS,IAAI,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,WAAW,KAAK,IAAI,EAAE,CAAC;QAC/E,MAAM,OAAO,GAAG,GAAG,CAAC,+BAA+B,CAAC,EAAE,CAAC,CAAC;QACxD,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,IAAI,QAAQ,CAAC,4BAA4B,QAAQ,yDAAyD,CAAC,CAAC;QACpH,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,QAAQ,EAAE,CAAC;YACb,QAAQ,CACN;gBACE,OAAO,EAAE,UAAU;gBACnB,MAAM,EAAE;oBACN,QAAQ;oBACR,MAAM,EAAE,SAAS;oBACjB,OAAO,EAAE,OAAO,CAAC,OAAO;oBACxB,IAAI,EAAE,KAAK;oBACX,IAAI,EAAE,KAAK;oBACX,aAAa,EAAE,WAAW;iBAC3B;aACF,EACD,GAAG,CAAC,KAAK,CACV,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,cAAc,QAAQ,sBAAsB,OAAO,GAAG,CAAC,CAAC;YAC5D,GAAG,CAAC,uEAAuE,QAAQ,gBAAgB,CAAC,CAAC;QACvG,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,OAAO,GACT,QAAQ,KAAK,SAAS;QACpB,CAAC,CAAC,GAAG,CAAC,kBAAkB,EAAE;QAC1B,CAAC,CAAC,CAAC,GAAG,EAAE;YACJ,MAAM,GAAG,GAAG,GAAG,CAAC,kBAAkB,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC;YAC1E,IAAI,CAAC,GAAG;gBAAE,MAAM,IAAI,QAAQ,CAAC,oDAAoD,QAAQ,EAAE,CAAC,CAAC;YAC7F,OAAO,CAAC,GAAG,CAAC,CAAC;QACf,CAAC,CAAC,EAAE,CAAC;IAEX,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,SAAS,CAAC,CAAC;IACpF,CAAC;IAED,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAClC,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,OAAO,EAAE,CAAC,CAAC,GAAG,EAAE;QAChB,KAAK,EAAE,GAAG,CAAC,kBAAkB,CAAC,CAAC,CAAC,QAAQ,CAAC;KAC1C,CAAC,CAAC,CAAC;IAEJ,IAAI,YAAY,EAAE,CAAC;QACjB,oFAAoF;QACpF,oFAAoF;QACpF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACpB,MAAM,EAAE,GAAG,mBAAmB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAC1C,MAAM,EAAE,GAAG,mBAAmB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAC1C,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI;gBAAE,OAAO,CAAC,CAAC;YACzC,IAAI,EAAE,KAAK,IAAI;gBAAE,OAAO,CAAC,CAAC;YAC1B,IAAI,EAAE,KAAK,IAAI;gBAAE,OAAO,CAAC,CAAC,CAAC;YAC3B,OAAO,EAAE,GAAG,EAAE,CAAC;QACjB,CAAC,CAAC,CAAC;IACL,CAAC;IAED,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACtC,QAAQ,EAAE,CAAC,CAAC,QAAQ;YACpB,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,GAAG,CAAC,eAAe,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO;gBAC/C,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,OAAO,EAAE,WAAW,EAAE,GAAG,CAAC,mBAAmB,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE;gBACpE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YACd,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,qBAAqB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACjG,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC;SAClC,CAAC,CAAC,CAAC;QACJ,MAAM,UAAU,GAAG,eAAe,CAAC,CAAC,CAAC,UAAU,GAAG,sBAAsB,CAAC,CAAC,CAAC,UAAU,CAAC;QACtF,QAAQ,CACN;YACE,OAAO,EAAE,UAAU;YACnB,UAAU;YACV,iBAAiB,EAAE,GAAG,CAAC,iBAAiB,EAAE;YAC1C,qBAAqB,EAAE,qBAAqB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAC3E,wBAAwB,EAAE,wBAAwB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACjF,MAAM,EAAE,WAAW;SACpB,EACD,GAAG,CAAC,KAAK,CACV,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IAED,GAAG,CAAC,oDAAoD,CAAC,CAAC;IAC1D,GAAG,CAAC,GAAG,GAAG,UAAU,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC;IAC9E,sGAAsG;IACtG,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QAClD,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QACtC,GAAG,CACD,UAAU,CAAC,CAAC,SAAS,gBAAgB,CAAC,CAAC,QAAQ,eAAe,CAAC,CAAC,KAAK,gBAAgB,OAAO,CAAC,MAAM,sBAAsB,CAC1H,CAAC;QACF,MAAM,CAAC,GAAG,qBAAqB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QAC/D,GAAG,CACD,iBAAiB,CAAC,CAAC,UAAU,uBAAuB,CAAC,CAAC,MAAM,aAAa,CAAC,CAAC,iBAAiB,sBAAsB;YAChH,2CAA2C,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CACvF,CAAC;QACF,MAAM,CAAC,GAAG,wBAAwB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QAClE,GAAG,CACD,+BAA+B,CAAC,CAAC,aAAa,CAAC,QAAQ,uBAAuB,CAAC,CAAC,aAAa,CAAC,WAAW,IAAI;YAC3G,iBAAiB,CAAC,CAAC,YAAY,CAAC,iBAAiB,0BAA0B,CAAC,CAAC,YAAY,CAAC,WAAW,kBAAkB;YACvH,KAAK,CAAC,CAAC,YAAY,CAAC,WAAW,qDAAqD,CACvF,CAAC;QACF,IAAI,YAAY,EAAE,CAAC;YACjB,GAAG,CACD,uGAAuG;gBACrG,sFAAsF,CACzF,CAAC;QACJ,CAAC;QACD,GAAG,CAAC,EAAE,CAAC,CAAC;IACV,CAAC;SAAM,CAAC;QACN,GAAG,CAAC,EAAE,CAAC,CAAC;IACV,CAAC;IACD,KAAK,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,OAAO,EAAE,CAAC;QAC1D,GAAG,CAAC,QAAQ,QAAQ,KAAK,KAAK,MAAM,KAAK,EAAE,CAAC,CAAC;QAC7C,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;YACrB,KAAK,OAAO,EAAE,CAAC;gBACb,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,kCAAkC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC3H,wEAAwE;gBACxE,iEAAiE;gBACjE,MAAM,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC;gBAC3B,MAAM,aAAa,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC;gBACnE,GAAG,CACD,iBAAiB,OAAO,CAAC,SAAS,MAAM,aAAa,IAAI,OAAO,CAAC,QAAQ,MAAM,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,eAAe,OAAO,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,YAAY,GAAG,MAAM,EAAE,CACtO,CAAC;gBACF,IAAI,CAAC,EAAE,CAAC;oBACN,GAAG,CAAC,iBAAiB,CAAC,CAAC,QAAQ,MAAM,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,MAAM,qDAAqD,CAAC,CAAC;gBAC/H,CAAC;gBACD,IAAI,eAAe,EAAE,CAAC;oBACpB,MAAM,MAAM,GAAG,GAAG,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;oBACjD,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;wBAClB,GAAG,CAAC,gCAAgC,gBAAgB,IAAI,CAAC,CAAC;wBAC1D,KAAK,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,MAAM,EAAE,CAAC;4BAC3C,GAAG,CAAC,SAAS,KAAK,KAAK,UAAU,EAAE,CAAC,CAAC;wBACvC,CAAC;oBACH,CAAC;yBAAM,CAAC;wBACN,GAAG,CAAC,iDAAiD,QAAQ,EAAE,CAAC,CAAC;oBACnE,CAAC;gBACH,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,aAAa,EAAE,CAAC;gBACnB,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC5D,GAAG,CACD,OAAO,CAAC,WAAW,KAAK,eAAe;oBACrC,CAAC,CAAC,2BAA2B,OAAO,CAAC,SAAS,SAAS,OAAO,CAAC,KAAK,uCAAuC;wBACvG,wBAAwB,OAAO,CAAC,KAAK,4CAA4C;wBACjF,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,cAAc,GAAG,MAAM,EAAE;oBACrE,CAAC,CAAC,iBAAiB,OAAO,CAAC,SAAS,IAAI,OAAO,CAAC,KAAK,2BAA2B,OAAO,CAAC,KAAK,KAAK;wBAC9F,6BAA6B,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,UAAU,GAAG,MAAM,EAAE,CAChG,CAAC;gBACF,IAAI,eAAe;oBAAE,GAAG,CAAC,4BAA4B,OAAO,CAAC,IAAI,OAAO,CAAC,CAAC;gBAC1E,MAAM;YACR,CAAC;YACD,KAAK,aAAa,EAAE,CAAC;gBACnB,MAAM,CAAC,GAAG,GAAG,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC;gBAC7C,MAAM,OAAO,GACX,CAAC,CAAC,IAAI,KAAK,kCAAkC;oBAC3C,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,iBAAiB,EAAE;oBAC3E,CAAC,CAAC,CAAC,CAAC,cAAc,KAAK,IAAI;wBACzB,CAAC,CAAC,kEAAkE;wBACpE,CAAC,CAAC,oBAAoB,OAAO,CAAC,CAAC,CAAC,cAAc,CAAC,gEAAgE;4BAC7G,yBAAyB,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,eAAe,EAAE,CAAC;gBACpF,GAAG,CACD,iBAAiB,OAAO,CAAC,SAAS,eAAe,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,KAAK,KAAK;oBACvF,qBAAqB,aAAa,CAAC,CAAC,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,UAAU,MAAM,OAAO,EAAE,CAC5F,CAAC;gBACF,IAAI,eAAe;oBAAE,GAAG,CAAC,4BAA4B,OAAO,CAAC,IAAI,OAAO,CAAC,CAAC;gBAC1E,MAAM;YACR,CAAC;YACD,KAAK,OAAO;gBACV,GAAG,CAAC,OAAO,OAAO,CAAC,IAAI,CAAC,MAAM,UAAU,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC;gBAC3D,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;oBAC/B,GAAG,CACD,SAAS,GAAG,CAAC,KAAK,eAAe,GAAG,CAAC,SAAS,eAAe,GAAG,CAAC,QAAQ,MAAM,GAAG,CAAC,KAAK,MAAM,GAAG,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAChI,CAAC;gBACJ,CAAC;gBACD,IAAI,eAAe;oBAAE,GAAG,CAAC,4BAA4B,OAAO,CAAC,IAAI,OAAO,CAAC,CAAC;gBAC1E,MAAM;QACV,CAAC;QACD,MAAM,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;QAChC,GAAG,CAAC,kBAAkB,EAAE,CAAC,MAAM,iBAAiB,EAAE,CAAC,SAAS,gBAAgB,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC3F,GAAG,CAAC,sBAAsB,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACxD,GAAG,CAAC,qBAAqB,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACtD,IAAI,OAAO,CAAC,UAAU,CAAC,IAAI;YAAE,GAAG,CAAC,cAAc,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;QAC1E,GAAG,CAAC,eAAe,OAAO,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAY;IAC9B,IAAI,EAAE,UAAU;IAChB,OAAO,EAAE,EAAE;IACX,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC;IAC9B,OAAO,EAAE,6DAA6D;IACtE,OAAO,EAAE,oBAAoB;IAC7B,KAAK,EAAE,MAAM;IACb,GAAG;CACJ,CAAC;AACF,eAAe,CAAC,OAAO,CAAC,CAAC"}
+{"version":3,"file":"confront.js","sourceRoot":"","sources":["../../../src/cli/commands/confront.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,eAAe,EAAiC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAGnD,MAAM,KAAK,GAAe;IACxB,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,iEAAiE,EAAE;IAC5H,EAAE,IAAI,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,qEAAqE,EAAE;IACjI,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,qDAAqD,EAAE;IAC/G;QACE,IAAI,EAAE,YAAY;QAClB,UAAU,EAAE,MAAM;QAClB,WAAW,EAAE,mGAAmG;KACjH;IACD,SAAS;CACV,CAAC;AAEF,MAAM,IAAI,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;6EA4BgE,CAAC;AAE9E,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;AAEhE,sFAAsF;AACtF,SAAS,mBAAmB,CAC1B,OAA+D;IAE/D,OAAO,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,OAAO,CAAC,eAAe,KAAK,QAAQ;QACvF,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,eAAe;QAC7B,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,MAAM,UAAU,GACd,oGAAoG,CAAC;AACvG,MAAM,sBAAsB,GAC1B,uFAAuF;IACvF,kFAAkF,CAAC;AAErF,SAAS,cAAc,CAAC,GAAsB,EAAE,GAAW,EAAE,GAA0B;IACrF,IAAI,CAAC;QACH,OAAO,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,QAAQ,CAChB,GAAG,KAAK,MAAM;YACZ,CAAC,CAAC,mCAAmC,GAAG,sBAAsB;YAC9D,CAAC,CAAC,kBAAkB,GAAG,uEAAuE,CACjG,CAAC;IACJ,CAAC;AACH,CAAC;AAED,2FAA2F;AAC3F,SAAS,gBAAgB,CAAC,GAAsB,EAAE,IAAwB;IACxE,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,UAAU,CAClB,6CAA6C,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;YACpF,qEAAqE,CACxE,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACtC,MAAM,QAAQ,GAAG,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3G,MAAM,cAAc,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CAAE,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3H,IAAI,QAAQ,KAAK,SAAS,IAAI,cAAc,KAAK,SAAS,IAAI,QAAQ,KAAK,cAAc,EAAE,CAAC;QAC1F,MAAM,IAAI,UAAU,CAClB,+BAA+B,cAAc,oBAAoB,QAAQ,yBAAyB,CACnG,CAAC;IACJ,CAAC;IACD,OAAO,QAAQ,IAAI,cAAc,CAAC;AACpC,CAAC;AAED,MAAM,gBAAgB,GAAG,8CAA8C,CAAC;AAIxE;;;;GAIG;AACH,SAAS,WAAW,CAAC,CAAU;IAC7B,MAAM,QAAQ,GAAG,oDAAoD,CAAC;IACtE,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,OAAO;YACV,OAAO;gBACL,MAAM,EAAE,qBAAqB;gBAC7B,SAAS,EAAE,eAAe;gBAC1B,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,QAAQ,CAAC,QAAQ,OAAO,CAAC,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,QAAQ;aACpG,CAAC;QACJ,KAAK,aAAa;YAChB,OAAO,CAAC,CAAC,WAAW,KAAK,eAAe;gBACtC,CAAC,CAAC,EAAE,MAAM,EAAE,gDAAgD,EAAE,SAAS,EAAE,gCAAgC,EAAE,QAAQ,EAAE,QAAQ,EAAE;gBAC/H,CAAC,CAAC,EAAE,MAAM,EAAE,uBAAuB,EAAE,SAAS,EAAE,mBAAmB,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;QAC9F,KAAK,aAAa;YAChB,IAAI,CAAC,CAAC,WAAW,KAAK,aAAa,EAAE,CAAC;gBACpC,OAAO;oBACL,MAAM,EAAE,wEAAwE;oBAChF,SAAS,EAAE,sFAAsF;oBACjG,QAAQ,EAAE,QAAQ;iBACnB,CAAC;YACJ,CAAC;YACD,OAAO;gBACL,MAAM,EAAE,2BAA2B;gBACnC,SAAS,EACP,CAAC,CAAC,eAAe,KAAK,iBAAiB;oBACrC,CAAC,CAAC,iHAAiH;oBACnH,CAAC,CAAC,kHAAkH;gBACxH,QAAQ,EAAE,QAAQ;aACnB,CAAC;QACJ,KAAK,OAAO;YACV,OAAO,EAAE,MAAM,EAAE,6BAA6B,EAAE,SAAS,EAAE,4CAA4C,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;IAClI,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,QAA4B;IACzD,MAAM,CAAC,GAAG,CAAC,CAAkB,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;IAC9E,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,aAAa,CAAC,EAAE,iBAAiB,EAAE,CAAC,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;AACvH,CAAC;AAKD,4GAA4G;AAC5G,SAAS,OAAO,CAAC,GAAQ,EAAE,CAAS;IAClC,OAAO,GAAG,GAAG,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC;AAC/B,CAAC;AAED,SAAS,aAAa,CAAC,GAAQ,EAAE,CAAS;IACxC,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC;AACjD,CAAC;AAED,0DAA0D;AAC1D,SAAS,mBAAmB,CAAC,KAA2B;IACtD,MAAM,MAAM,GAA8B,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAClF,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,YAAY,GAAG,sEAAsE,CAAC;AAI5F,SAAS,UAAU,CAAC,IAAgB;IAClC,OAAO,YAAY,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AACrJ,CAAC;AAED,SAAS,iBAAiB,CAAC,CAAU;IACnC,MAAM,CAAC,GAAG,CAAC,CAAC,aAAa,CAAC;IAC1B,OAAO,CAAC,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,IAAI,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC;AAC1F,CAAC;AAED,SAAS,gBAAgB,CAAC,CAAU;IAClC,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC;IACzB,QAAQ,CAAC,CAAC,KAAK,EAAE,CAAC;QAChB,KAAK,qBAAqB;YACxB,OAAO,6CAA6C,CAAC,CAAC,SAAS,IAAI,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5F,KAAK,cAAc;YACjB,OAAO,UAAU,CAAC,CAAC,MAAM,MAAM,CAAC,CAAC,SAAS,IAAI,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;QACvE,KAAK,cAAc;YACjB,OAAO,YAAY,CAAC;IACxB,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAAC,QAA4B;IAC5D,MAAM,GAAG,GAAG,CAAC,CAAoC,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;IACjH,MAAM,GAAG,GAAG,CAAC,CAAmC,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;IAC/G,OAAO;QACL,aAAa,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,WAAW,EAAE,GAAG,CAAC,cAAc,CAAC,EAAE;QAC9E,YAAY,EAAE;YACZ,iBAAiB,EAAE,GAAG,CAAC,qBAAqB,CAAC;YAC7C,WAAW,EAAE,GAAG,CAAC,cAAc,CAAC;YAChC,WAAW,EAAE,GAAG,CAAC,cAAc,CAAC;SACjC;KACF,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IAC/B,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IACtD,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC1C,MAAM,SAAS,GAAG,SAAS,IAAI,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9F,IAAI,SAAS,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,QAAQ,CAAC,kCAAkC,SAAS,uCAAuC,CAAC,CAAC;IACzG,CAAC;IAED,IAAI,QAAQ,KAAK,SAAS,IAAI,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,WAAW,KAAK,IAAI,EAAE,CAAC;QAC/E,MAAM,OAAO,GAAG,GAAG,CAAC,+BAA+B,CAAC,EAAE,CAAC,CAAC;QACxD,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,IAAI,QAAQ,CAAC,4BAA4B,QAAQ,yDAAyD,CAAC,CAAC;QACpH,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,QAAQ,EAAE,CAAC;YACb,QAAQ,CACN;gBACE,OAAO,EAAE,UAAU;gBACnB,MAAM,EAAE;oBACN,QAAQ;oBACR,MAAM,EAAE,SAAS;oBACjB,OAAO,EAAE,OAAO,CAAC,OAAO;oBACxB,IAAI,EAAE,KAAK;oBACX,IAAI,EAAE,KAAK;oBACX,aAAa,EAAE,WAAW;iBAC3B;aACF,EACD,GAAG,CAAC,KAAK,CACV,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,cAAc,QAAQ,sBAAsB,OAAO,GAAG,CAAC,CAAC;YAC5D,GAAG,CAAC,uEAAuE,QAAQ,gBAAgB,CAAC,CAAC;QACvG,CAAC;QACD,6FAA6F;QAC7F,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,OAAO,GACT,QAAQ,KAAK,SAAS;QACpB,CAAC,CAAC,GAAG,CAAC,kBAAkB,EAAE;QAC1B,CAAC,CAAC,CAAC,GAAG,EAAE;YACJ,MAAM,GAAG,GAAG,GAAG,CAAC,kBAAkB,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC;YAC1E,IAAI,CAAC,GAAG;gBAAE,MAAM,IAAI,QAAQ,CAAC,oDAAoD,QAAQ,EAAE,CAAC,CAAC;YAC7F,OAAO,CAAC,GAAG,CAAC,CAAC;QACf,CAAC,CAAC,EAAE,CAAC;IAEX,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,SAAS,CAAC,CAAC;IACpF,CAAC;IAED,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAClC,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,OAAO,EAAE,CAAC,CAAC,GAAG,EAAE;QAChB,KAAK,EAAE,GAAG,CAAC,kBAAkB,CAAC,CAAC,CAAC,QAAQ,CAAC;KAC1C,CAAC,CAAC,CAAC;IAEJ,IAAI,YAAY,EAAE,CAAC;QACjB,oFAAoF;QACpF,oFAAoF;QACpF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACpB,MAAM,EAAE,GAAG,mBAAmB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAC1C,MAAM,EAAE,GAAG,mBAAmB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAC1C,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI;gBAAE,OAAO,CAAC,CAAC;YACzC,IAAI,EAAE,KAAK,IAAI;gBAAE,OAAO,CAAC,CAAC;YAC1B,IAAI,EAAE,KAAK,IAAI;gBAAE,OAAO,CAAC,CAAC,CAAC;YAC3B,OAAO,EAAE,GAAG,EAAE,CAAC;QACjB,CAAC,CAAC,CAAC;IACL,CAAC;IAED,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,WAAW,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACtC,QAAQ,EAAE,CAAC,CAAC,QAAQ;YACpB,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,GAAG,CAAC,eAAe,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO;gBAC/C,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,OAAO,EAAE,WAAW,EAAE,GAAG,CAAC,mBAAmB,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE;gBACpE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YACd,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,qBAAqB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACjG,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC;SAClC,CAAC,CAAC,CAAC;QACJ,MAAM,UAAU,GAAG,eAAe,CAAC,CAAC,CAAC,UAAU,GAAG,sBAAsB,CAAC,CAAC,CAAC,UAAU,CAAC;QACtF,QAAQ,CACN;YACE,OAAO,EAAE,UAAU;YACnB,UAAU;YACV,mFAAmF;YACnF,iBAAiB,EAAE,mBAAmB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACnE,qBAAqB,EAAE,qBAAqB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAC3E,wBAAwB,EAAE,wBAAwB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACjF,MAAM,EAAE,WAAW;SACpB,EACD,GAAG,CAAC,KAAK,CACV,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IAED,GAAG,CAAC,oDAAoD,CAAC,CAAC;IAC1D,GAAG,CAAC,GAAG,GAAG,UAAU,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC;IAC9E,sGAAsG;IACtG,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QAClD,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QACtC,GAAG,CACD,UAAU,CAAC,CAAC,SAAS,gBAAgB,CAAC,CAAC,QAAQ,eAAe,CAAC,CAAC,KAAK,gBAAgB,OAAO,CAAC,MAAM,sBAAsB,CAC1H,CAAC;QACF,MAAM,CAAC,GAAG,qBAAqB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QAC/D,GAAG,CACD,iBAAiB,CAAC,CAAC,UAAU,uBAAuB,CAAC,CAAC,MAAM,aAAa,CAAC,CAAC,iBAAiB,sBAAsB;YAChH,2CAA2C,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CACvF,CAAC;QACF,MAAM,CAAC,GAAG,wBAAwB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QAClE,GAAG,CACD,+BAA+B,CAAC,CAAC,aAAa,CAAC,QAAQ,uBAAuB,CAAC,CAAC,aAAa,CAAC,WAAW,IAAI;YAC3G,iBAAiB,CAAC,CAAC,YAAY,CAAC,iBAAiB,0BAA0B,CAAC,CAAC,YAAY,CAAC,WAAW,kBAAkB;YACvH,KAAK,CAAC,CAAC,YAAY,CAAC,WAAW,qDAAqD,CACvF,CAAC;QACF,IAAI,YAAY,EAAE,CAAC;YACjB,GAAG,CACD,uGAAuG;gBACrG,sFAAsF,CACzF,CAAC;QACJ,CAAC;QACD,GAAG,CAAC,EAAE,CAAC,CAAC;IACV,CAAC;SAAM,CAAC;QACN,GAAG,CAAC,EAAE,CAAC,CAAC;IACV,CAAC;IACD,KAAK,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,OAAO,EAAE,CAAC;QAC1D,GAAG,CAAC,QAAQ,QAAQ,KAAK,KAAK,MAAM,KAAK,EAAE,CAAC,CAAC;QAC7C,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;YACrB,KAAK,OAAO,EAAE,CAAC;gBACb,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,aAAa,GAAG,CAAC,cAAc,CAAC,CAAC,GAAG,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC,kCAAkC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrI,wEAAwE;gBACxE,iEAAiE;gBACjE,MAAM,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC;gBAC3B,MAAM,aAAa,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC;gBACnE,GAAG,CACD,iBAAiB,GAAG,CAAC,cAAc,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,aAAa,IAAI,GAAG,CAAC,cAAc,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,cAAc,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,KAAK,eAAe,GAAG,CAAC,cAAc,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC,OAAO,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,YAAY,GAAG,MAAM,EAAE,CAC9S,CAAC;gBACF,IAAI,CAAC,EAAE,CAAC;oBACN,GAAG,CAAC,iBAAiB,CAAC,CAAC,QAAQ,MAAM,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,MAAM,qDAAqD,CAAC,CAAC;gBAC/H,CAAC;gBACD,IAAI,eAAe,EAAE,CAAC;oBACpB,MAAM,MAAM,GAAG,GAAG,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;oBACjD,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;wBAClB,GAAG,CAAC,gCAAgC,gBAAgB,IAAI,CAAC,CAAC;wBAC1D,KAAK,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,MAAM,EAAE,CAAC;4BAC3C,GAAG,CAAC,SAAS,KAAK,KAAK,UAAU,EAAE,CAAC,CAAC;wBACvC,CAAC;oBACH,CAAC;yBAAM,CAAC;wBACN,GAAG,CAAC,iDAAiD,QAAQ,EAAE,CAAC,CAAC;oBACnE,CAAC;gBACH,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,aAAa,EAAE,CAAC;gBACnB,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC5D,GAAG,CACD,OAAO,CAAC,WAAW,KAAK,eAAe;oBACrC,CAAC,CAAC,2BAA2B,OAAO,CAAC,SAAS,SAAS,OAAO,CAAC,KAAK,uCAAuC;wBACvG,wBAAwB,OAAO,CAAC,KAAK,4CAA4C;wBACjF,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,cAAc,GAAG,MAAM,EAAE;oBACrE,CAAC,CAAC,iBAAiB,OAAO,CAAC,SAAS,IAAI,OAAO,CAAC,KAAK,2BAA2B,OAAO,CAAC,KAAK,KAAK;wBAC9F,6BAA6B,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,UAAU,GAAG,MAAM,EAAE,CAChG,CAAC;gBACF,IAAI,eAAe;oBAAE,GAAG,CAAC,4BAA4B,OAAO,CAAC,IAAI,OAAO,CAAC,CAAC;gBAC1E,MAAM;YACR,CAAC;YACD,KAAK,aAAa,EAAE,CAAC;gBACnB,MAAM,CAAC,GAAG,GAAG,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC;gBAC7C,MAAM,OAAO,GACX,CAAC,CAAC,IAAI,KAAK,kCAAkC;oBAC3C,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,iBAAiB,EAAE;oBAC3E,CAAC,CAAC,CAAC,CAAC,cAAc,KAAK,IAAI;wBACzB,CAAC,CAAC,kEAAkE;wBACpE,CAAC,CAAC,oBAAoB,OAAO,CAAC,GAAG,CAAC,cAAc,EAAE,CAAC,CAAC,cAAc,CAAC,gEAAgE;4BACjI,yBAAyB,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,eAAe,EAAE,CAAC;gBACpF,GAAG,CACD,iBAAiB,OAAO,CAAC,SAAS,eAAe,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,KAAK,KAAK;oBACvF,qBAAqB,aAAa,CAAC,GAAG,CAAC,cAAc,EAAE,CAAC,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,UAAU,MAAM,OAAO,EAAE,CAChH,CAAC;gBACF,IAAI,eAAe;oBAAE,GAAG,CAAC,4BAA4B,OAAO,CAAC,IAAI,OAAO,CAAC,CAAC;gBAC1E,MAAM;YACR,CAAC;YACD,KAAK,OAAO;gBACV,GAAG,CAAC,OAAO,OAAO,CAAC,IAAI,CAAC,MAAM,UAAU,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC;gBAC3D,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;oBAC/B,GAAG,CACD,SAAS,GAAG,CAAC,KAAK,eAAe,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,eAAe,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,eAAe,EAAE,CAAC,CAAC,GAAG,CACxM,CAAC;gBACJ,CAAC;gBACD,IAAI,eAAe;oBAAE,GAAG,CAAC,4BAA4B,OAAO,CAAC,IAAI,OAAO,CAAC,CAAC;gBAC1E,MAAM;QACV,CAAC;QACD,MAAM,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;QAChC,GAAG,CAAC,kBAAkB,EAAE,CAAC,MAAM,iBAAiB,EAAE,CAAC,SAAS,gBAAgB,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC3F,GAAG,CAAC,sBAAsB,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACxD,GAAG,CAAC,qBAAqB,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACtD,IAAI,OAAO,CAAC,UAAU,CAAC,IAAI;YAAE,GAAG,CAAC,cAAc,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;QAC1E,GAAG,CAAC,eAAe,OAAO,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAY;IAC9B,IAAI,EAAE,UAAU;IAChB,OAAO,EAAE,EAAE;IACX,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC;IAC9B,OAAO,EAAE,6DAA6D;IACtE,OAAO,EAAE,oBAAoB;IAC7B,KAAK,EAAE,MAAM;IACb,GAAG;CACJ,CAAC;AACF,eAAe,CAAC,OAAO,CAAC,CAAC","sourcesContent":["/**\n * `upt confront` — run the catalog's committed real-data confrontations and\n * report predicted-vs-observed with the epistemics that confrontation ≠\n * confirmation. Not graph-parameterized (no --source).\n */\nimport type { FlagSpec } from '../args.js';\nimport { registerCommand, type Command, type CommandCtx } from '../command.js';\nimport { commandHelp, JSON_FLAG } from '../flag-help.js';\nimport { CliError, UsageError } from '../errors.js';\nimport { emitJson } from '../output.js';\nimport { publishedUrl } from '../published-url.js';\nimport type { RigorTier } from '../../cli-api.js';\n\nconst FLAGS: FlagSpec[] = [\n  { name: '--bridge', valueStyle: 'attached', description: 'Select one bridge id, the same selection as a positional be-XX.' },\n  { name: '--sensitivity', valueStyle: 'none', description: 'Rank the prediction\\'s input elasticities. Value-kind records only.' },\n  { name: '--rigor', valueStyle: 'attached', description: 'Show one rigor tier: stringent, moderate, or loose.' },\n  {\n    name: '--frontier',\n    valueStyle: 'none',\n    description: 'Rank the σ-tests by margin to this tool\\'s 1σ acceptance line. That line is a software criterion.',\n  },\n  JSON_FLAG,\n];\n\nconst HELP = `upt confront [be-XX] [--bridge=be-XX] [--rigor=stringent|moderate|loose] [--frontier] [--sensitivity] [--json]\n        Run the catalog's committed real-data confrontations (predicted vs\n        observed), each tagged with its RIGOR tier. A positional be-XX is the\n        same selection as --bridge (the form \\`upt explain be-XX\\` prints);\n        the two must name the same bridge when both are given. A positional\n        that is not a bridge id is an error. It is not ignored.\n        --rigor=<tier> shows only that tier (the precision core, or the loose\n        tail that needs better data); --frontier ranks the σ-tests by margin to\n        this tool's 1σ acceptance threshold (a software criterion, not a\n        scientific exclusion level; the smallest margin is the most at-risk\n        under new data);\n        --sensitivity adds an input-elasticity ranking (value-kind only).\n        Each record states its statistical object (point estimate ± 1σ,\n        one-sided limit, or a consistency ratio with no σ), the criterion\n        applied, whether the observed number is derived, its preprocessing,\n        its independence from the prediction (no fitted parameter, a shared\n        input, or not recorded — never implied), and the record's notes.\n        Each statement cites the GitHub URL of the file it quotes, with a\n        verbatim quote or a declared symbol; that the cited text exists\n        does not make the statement true.\n        Consistency ratios are counted apart and never as precision tests;\n        each prints its actual difference (observed − predicted)/predicted\n        separately from its stated agreement bound.\n        be-53 is not in that registry. \\`upt confront be-53\\` refuses: a\n        confrontation needs a caller-supplied measured-coupling table and a\n        running procedure, neither of which the library ships. The refusal names\n        each missing input, prints no residual, and does not change the\n        catalog status. It is not a pass and not a fail. The one-loop\n        coefficient's sign is oneLoopCoefficientStatement, not this command.`;\n\nconst RIGOR_TIERS = new Set(['stringent', 'moderate', 'loose']);\n\n/** σ-headroom to the 1σ acceptance threshold for a value outcome; null for others. */\nfunction frontierMarginSigma(\n  outcome: { kind: string; residualInSigma?: number } | undefined,\n): number | null {\n  return outcome && outcome.kind === 'value' && typeof outcome.residualInSigma === 'number'\n    ? 1 - outcome.residualInSigma\n    : null;\n}\n\nconst EPISTEMICS =\n  'confrontation is consistency, not confirmation; a passing confrontation does not prove the bridge.';\nconst SENSITIVITY_EPISTEMICS =\n  ' sensitivity (elasticity) ranks which input the prediction depends on most STRONGLY; ' +\n  'it is NOT which input dominates the uncertainty budget (that needs input sigma).';\n\nfunction parseSelection(api: CommandCtx['api'], raw: string, via: 'flag' | 'positional'): number {\n  try {\n    return api.parseBridgeId(raw);\n  } catch {\n    throw new CliError(\n      via === 'flag'\n        ? `upt confront: invalid --bridge='${raw}' (expected be-<id>)`\n        : `upt confront: '${raw}' is not a bridge id (expected be-<id>). A positional is not ignored.`,\n    );\n  }\n}\n\n/** The bridge a positional id and/or `--bridge` select, or undefined for the full list. */\nfunction selectedBridgeId(api: CommandCtx['api'], args: CommandCtx['args']): number | undefined {\n  if (args.positionals.length > 1) {\n    throw new UsageError(\n      `upt confront: unexpected extra arguments (${args.positionals.slice(1).join(', ')}). ` +\n        'Give one bridge id, e.g. `upt confront be-58`, or `--bridge=be-58`.',\n    );\n  }\n  const flag = args.flags.get('bridge');\n  const fromFlag = flag && flag.length > 0 ? parseSelection(api, flag[flag.length - 1]!, 'flag') : undefined;\n  const fromPositional = args.positionals.length === 1 ? parseSelection(api, args.positionals[0]!, 'positional') : undefined;\n  if (fromFlag !== undefined && fromPositional !== undefined && fromFlag !== fromPositional) {\n    throw new UsageError(\n      `upt confront: positional be-${fromPositional} and --bridge=be-${fromFlag} name different bridges`,\n    );\n  }\n  return fromFlag ?? fromPositional;\n}\n\nconst SENSITIVITY_NOTE = 'strongest dependence, not uncertainty budget';\n\ntype Outcome = ReturnType<CommandCtx['api']['listConfrontations']>[number]['run'] extends () => infer O ? O : never;\n\n/**\n * The statistical object a confrontation compares, the criterion it applies,\n * and where its observed number comes from — read from the outcome's kind and\n * fields only.\n */\nfunction statisticOf(o: Outcome): { object: string; criterion: string; observed: string } {\n  const reported = 'as reported by the source (no derivation recorded)';\n  switch (o.kind) {\n    case 'value':\n      return {\n        object: 'point estimate ± 1σ',\n        criterion: 'residual ≤ 1σ',\n        observed: o.measured ? `derived from ${o.measured.quantity} by ${o.measured.derivation}` : reported,\n      };\n    case 'upper-bound':\n      return o.predictedIs === 'encoded-bound'\n        ? { object: 'one-sided upper limit against an encoded range', criterion: 'observed limit ≤ encoded bound', observed: reported }\n        : { object: 'one-sided upper limit', criterion: 'predicted ≤ limit', observed: reported };\n    case 'consistency':\n      if (o.predictedIs === 'lower-limit') {\n        return {\n          object: 'lower limit claimed by the bridge, against a reference value with no σ',\n          criterion: 'observed ≥ predicted lower limit — one-sided, not a σ-residual; not a precision test',\n          observed: reported,\n        };\n      }\n      return {\n        object: 'reference value with no σ',\n        criterion:\n          o.fractionalGapIs === 'agreement-bound'\n            ? \"|actual difference| ≤ the record's stated agreement bound — a tolerance, not a σ-residual; not a precision test\"\n            : 'none — the outcome carries no agreement bound; the difference is reported, not thresholded; not a precision test',\n        observed: reported,\n      };\n    case 'table':\n      return { object: 'per-row point estimate ± 1σ', criterion: 'residual per row, reported not thresholded', observed: reported };\n  }\n}\n\nfunction statisticDistribution(outcomes: readonly Outcome[]) {\n  const n = (k: Outcome['kind']) => outcomes.filter((o) => o.kind === k).length;\n  return { sigmaTests: n('value'), limits: n('upper-bound'), consistencyRatios: n('consistency'), tables: n('table') };\n}\n\n/** The one number formatter, as every command reads it: through `ctx.api`. */\ntype Fmt = CommandCtx['api']['formatQuantity'];\n\n/** A fraction as a percentage: a statistic, three significant digits (`-43.7%`, `±150%`), never fifteen. */\nfunction percent(fmt: Fmt, x: number): string {\n  return `${fmt(x * 100, 3)}%`;\n}\n\nfunction signedPercent(fmt: Fmt, x: number): string {\n  return `${x > 0 ? '+' : ''}${percent(fmt, x)}`;\n}\n\n/** Count by rigor tier, over the confrontations given. */\nfunction rigorDistributionOf(tiers: readonly RigorTier[]): Record<RigorTier, number> {\n  const counts: Record<RigorTier, number> = { stringent: 0, moderate: 0, loose: 0 };\n  for (const tier of tiers) counts[tier] += 1;\n  return counts;\n}\n\nconst NOT_RECORDED = 'not recorded — the record states nothing on this; that is not \"none\"';\n\ntype SourceRefs = Extract<Outcome['preprocessing'], { state: 'recorded' }>['source'];\n\nfunction sourceLine(refs: SourceRefs): string {\n  return `[source: ${refs.map((r) => ('quote' in r ? `${publishedUrl(r.file)} \"${r.quote}\"` : `${publishedUrl(r.file)} #${r.symbol}`)).join('; ')}]`;\n}\n\nfunction preprocessingLine(o: Outcome): string {\n  const p = o.preprocessing;\n  return p.state === 'recorded' ? `${p.statement} ${sourceLine(p.source)}` : NOT_RECORDED;\n}\n\nfunction independenceLine(o: Outcome): string {\n  const i = o.independence;\n  switch (i.state) {\n    case 'no-fitted-parameter':\n      return `no parameter fitted to this measurement — ${i.statement} ${sourceLine(i.source)}`;\n    case 'shares-input':\n      return `shares ${i.shared} — ${i.statement} ${sourceLine(i.source)}`;\n    case 'not-recorded':\n      return NOT_RECORDED;\n  }\n}\n\nfunction dataHandlingDistribution(outcomes: readonly Outcome[]) {\n  const pre = (s: Outcome['preprocessing']['state']) => outcomes.filter((o) => o.preprocessing.state === s).length;\n  const ind = (s: Outcome['independence']['state']) => outcomes.filter((o) => o.independence.state === s).length;\n  return {\n    preprocessing: { recorded: pre('recorded'), notRecorded: pre('not-recorded') },\n    independence: {\n      noFittedParameter: ind('no-fitted-parameter'),\n      sharesInput: ind('shares-input'),\n      notRecorded: ind('not-recorded'),\n    },\n  };\n}\n\nasync function run(ctx: CommandCtx): Promise<number> {\n  const { args, api, out } = ctx;\n  const bridgeId = selectedBridgeId(api, args);\n  const wantJson = args.flags.has('json');\n  const wantSensitivity = args.flags.has('sensitivity');\n  const wantFrontier = args.flags.has('frontier');\n  const rigorFlag = args.flags.get('rigor');\n  const rigorTier = rigorFlag && rigorFlag.length ? rigorFlag[rigorFlag.length - 1] : undefined;\n  if (rigorTier !== undefined && !RIGOR_TIERS.has(rigorTier)) {\n    throw new CliError(`upt confront: invalid --rigor='${rigorTier}' (expected stringent|moderate|loose)`);\n  }\n\n  if (bridgeId !== undefined && api.catalogEntry(bridgeId)?.callerTable === true) {\n    const refusal = api.requestCallerTableConfrontation({});\n    if (refusal.status !== 'refused') {\n      throw new CliError(`upt confront: catalog id ${bridgeId} without a table and a running procedure did not refuse`);\n    }\n    const missing = refusal.missing.join('; ');\n    if (wantJson) {\n      emitJson(\n        {\n          command: 'confront',\n          result: {\n            bridgeId,\n            status: 'refused',\n            missing: refusal.missing,\n            pass: false,\n            fail: false,\n            catalogStatus: 'unchanged',\n          },\n        },\n        ctx.write,\n      );\n    } else {\n      out(`catalog id ${bridgeId} refused. Missing: ${missing}.`);\n      out(`This is not a pass and not a fail. The catalog status of catalog id ${bridgeId} is unchanged.`);\n    }\n    // The refusal is the result the command computed: exit 0, as a path with no composite claim.\n    return 0;\n  }\n\n  let entries =\n    bridgeId === undefined\n      ? api.listConfrontations()\n      : (() => {\n          const one = api.listConfrontations().find((e) => e.bridgeId === bridgeId);\n          if (!one) throw new CliError(`upt confront: no confrontation registered for be-${bridgeId}`);\n          return [one];\n        })();\n\n  if (rigorTier !== undefined) {\n    entries = entries.filter((e) => api.confrontationRigor(e.bridgeId) === rigorTier);\n  }\n\n  const results = entries.map((e) => ({\n    bridgeId: e.bridgeId,\n    title: e.title,\n    outcome: e.run(),\n    rigor: api.confrontationRigor(e.bridgeId),\n  }));\n\n  if (wantFrontier) {\n    // Frontier = closest to the threshold: value-kind by σ-headroom ASCENDING (smallest\n    // margin = most at-risk under new data); non-σ outcomes (bounds/consistency) after.\n    results.sort((a, b) => {\n      const ma = frontierMarginSigma(a.outcome);\n      const mb = frontierMarginSigma(b.outcome);\n      if (ma === null && mb === null) return 0;\n      if (ma === null) return 1;\n      if (mb === null) return -1;\n      return ma - mb;\n    });\n  }\n\n  if (wantJson) {\n    const jsonResults = results.map((r) => ({\n      bridgeId: r.bridgeId,\n      rigor: r.rigor,\n      ...(wantSensitivity && r.outcome.kind === 'value'\n        ? { ...r.outcome, sensitivity: api.decidingMeasurement(r.bridgeId) }\n        : r.outcome),\n      ...(r.outcome.kind === 'consistency' ? { comparison: api.consistencyComparison(r.outcome) } : {}),\n      statistic: statisticOf(r.outcome),\n    }));\n    const epistemics = wantSensitivity ? EPISTEMICS + SENSITIVITY_EPISTEMICS : EPISTEMICS;\n    emitJson(\n      {\n        command: 'confront',\n        epistemics,\n        // Over the confrontations this invocation ran, as the other two distributions are.\n        rigorDistribution: rigorDistributionOf(results.map((r) => r.rigor)),\n        statisticDistribution: statisticDistribution(results.map((r) => r.outcome)),\n        dataHandlingDistribution: dataHandlingDistribution(results.map((r) => r.outcome)),\n        result: jsonResults,\n      },\n      ctx.write,\n    );\n    return 0;\n  }\n\n  out('\\nReal-data confrontations — predicted vs observed');\n  out('(' + EPISTEMICS + (wantSensitivity ? SENSITIVITY_EPISTEMICS : '') + ')');\n  // The spine is a RIGOR HIERARCHY, not N equal confirmations (docs/research/pi-instrument-results.md).\n  if (results.length > 1) {\n    const d = { stringent: 0, moderate: 0, loose: 0 };\n    for (const r of results) d[r.rigor]++;\n    out(\n      `rigor: ${d.stringent} stringent · ${d.moderate} moderate · ${d.loose} loose — NOT ${results.length} equal confirmations`,\n    );\n    const s = statisticDistribution(results.map((r) => r.outcome));\n    out(\n      `by statistic: ${s.sigmaTests} σ-residual tests · ${s.limits} limits · ${s.consistencyRatios} consistency ratios ` +\n        `(no σ; never counted as precision tests)${s.tables ? ` · ${s.tables} tables` : ''}`,\n    );\n    const h = dataHandlingDistribution(results.map((r) => r.outcome));\n    out(\n      `preprocessing: recorded for ${h.preprocessing.recorded} · not recorded for ${h.preprocessing.notRecorded}; ` +\n        `independence: ${h.independence.noFittedParameter} no fitted parameter · ${h.independence.sharesInput} share an input ` +\n        `· ${h.independence.notRecorded} not recorded (independence is not goodness of fit)`,\n    );\n    if (wantFrontier) {\n      out(\n        'frontier: σ-tests ordered by margin to the 1σ acceptance threshold (residual ≤ 1σ passes; a software ' +\n          'criterion, not a scientific exclusion level; smallest = most at-risk under new data)',\n      );\n    }\n    out('');\n  } else {\n    out('');\n  }\n  for (const { bridgeId, title, rigor, outcome } of results) {\n    out(`  be-${bridgeId} [${rigor}]: ${title}`);\n    switch (outcome.kind) {\n      case 'value': {\n        const margin = wantFrontier ? ` · margin ${api.formatQuantity(1 - outcome.residualInSigma, 3)}σ to the 1σ acceptance threshold` : '';\n        // A derived \"observed\" value is labelled derived, and the quantity that\n        // was actually measured is shown beside it (persona finding L6).\n        const m = outcome.measured;\n        const observedLabel = m ? `derived ${m.derivation} =` : 'observed';\n        out(\n          `    predicted ${api.formatQuantity(outcome.predicted)} · ${observedLabel} ${api.formatQuantity(outcome.observed)} ± ${api.formatQuantity(outcome.sigma)} ${outcome.units} · residual ${api.formatQuantity(outcome.residualInSigma, 3)}σ · ${outcome.withinObserved ? 'within 1σ ✓' : 'outside 1σ'}${margin}`\n        );\n        if (m) {\n          out(`    measured: ${m.quantity} = ${m.value} ± ${m.sigma} (${m.source}); the value above is derived from it, not observed`);\n        }\n        if (wantSensitivity) {\n          const ranked = api.decidingMeasurement(bridgeId);\n          if (ranked.length) {\n            out(`    sensitivity (elasticity, ${SENSITIVITY_NOTE}):`);\n            for (const { input, elasticity } of ranked) {\n              out(`      ${input}: ${elasticity}`);\n            }\n          } else {\n            out(`    sensitivity: no ranked-input model for be-${bridgeId}`);\n          }\n        }\n        break;\n      }\n      case 'upper-bound': {\n        const caveat = outcome.caveat ? ` · ${outcome.caveat}` : '';\n        out(\n          outcome.predictedIs === 'encoded-bound'\n            ? `    encoded bound |x| ≤ ${outcome.predicted}, x = ${outcome.units} (a range, not a point prediction) · ` +\n                `observed upper limit ${outcome.bound} · rule: observed limit ≤ encoded bound · ` +\n                `${outcome.satisfied ? 'compatible ✓' : 'INCOMPATIBLE'}${caveat}`\n            : `    predicted ${outcome.predicted} ${outcome.units} · observed upper limit ${outcome.bound} · ` +\n                `rule: predicted ≤ limit · ${outcome.satisfied ? 'not excluded ✓' : 'EXCLUDED'}${caveat}`,\n        );\n        if (wantSensitivity) out(`    sensitivity: n/a for ${outcome.kind}-kind`);\n        break;\n      }\n      case 'consistency': {\n        const c = api.consistencyComparison(outcome);\n        const verdict =\n          c.rule === 'observed ≥ predicted lower limit'\n            ? `rule: ${c.rule} · ${c.withinBound ? 'compatible ✓' : 'BELOW THE LIMIT'}`\n            : c.agreementBound === null\n              ? 'no agreement bound in this outcome, so no compatibility decision'\n              : `agreement bound ±${percent(api.formatQuantity, c.agreementBound)} (the record's stated tolerance, not a measured difference) · ` +\n                `|difference| ≤ bound: ${c.withinBound ? 'compatible ✓' : 'OUTSIDE BOUND'}`;\n        out(\n          `    predicted ${outcome.predicted} approaches ${outcome.approaches} ${outcome.units} · ` +\n            `actual difference ${signedPercent(api.formatQuantity, c.relativeDifference)} = ${c.definition} · ${verdict}`,\n        );\n        if (wantSensitivity) out(`    sensitivity: n/a for ${outcome.kind}-kind`);\n        break;\n      }\n      case 'table':\n        out(`    ${outcome.rows.length} rows (${outcome.units}):`);\n        for (const row of outcome.rows) {\n          out(\n            `      ${row.label}: predicted ${api.formatQuantity(row.predicted)} · observed ${api.formatQuantity(row.observed)} ± ${api.formatQuantity(row.sigma)} · ${api.formatQuantity(row.residualInSigma, 3)}σ`\n          );\n        }\n        if (wantSensitivity) out(`    sensitivity: n/a for ${outcome.kind}-kind`);\n        break;\n    }\n    const st = statisticOf(outcome);\n    out(`    statistic: ${st.object} · criterion: ${st.criterion} · observed: ${st.observed}`);\n    out(`    preprocessing: ${preprocessingLine(outcome)}`);\n    out(`    independence: ${independenceLine(outcome)}`);\n    if (outcome.provenance.note) out(`    notes: ${outcome.provenance.note}`);\n    out(`    source: ${outcome.provenance.citation}`);\n  }\n  return 0;\n}\n\nexport const command: Command = {\n  name: 'confront',\n  aliases: [],\n  flags: FLAGS,\n  help: commandHelp(HELP, FLAGS),\n  summary: 'Run the committed predicted-versus-observed confrontations.',\n  example: 'upt confront be-58',\n  group: 'data',\n  run,\n};\nregisterCommand(command);\n"]}

package/dist/cli/commands/connectors.js.map

@@ -1 +1 @@
-{"version":3,"file":"connectors.js","sourceRoot":"","sources":["../../../src/cli/commands/connectors.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,eAAe,EAAiC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAClE,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEnD,MAAM,KAAK,GAAe;IACxB,UAAU,CAAC,MAAM,EAAE,kFAAkF,CAAC;IACtG,SAAS;CACV,CAAC;AAEF,MAAM,IAAI,GAAG;;;;;;;;qEAQwD,CAAC;AAEtE,MAAM,UAAU,GACd,uFAAuF;IACvF,qCAAqC,CAAC;AAExC,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IAC/B,kEAAkE;IAClE,sEAAsE;IACtE,qEAAqE;IACrE,kBAAkB;IAClB,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IACxG,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;IAChE,MAAM,CAAC,GAAG,GAAG,CAAC,uBAAuB,CAAC,KAAK,CAAC,CAAC;IAE7C,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,QAAQ,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAC/H,OAAO,CAAC,CAAC;IACX,CAAC;IAED,GAAG,CAAC,kFAAkF,CAAC,CAAC;IACxF,GAAG,CAAC,8EAA8E,KAAK,GAAG,CAAC,CAAC;IAC5F,GAAG,CAAC,KAAK,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;IACxC,GAAG,CAAC,qFAAqF,CAAC,CAAC;IAC3F,GAAG,CAAC,uCAAuC,CAAC,CAAC;IAC7C,GAAG,CACD,KAAK,CAAC,CAAC,gBAAgB,CAAC,MAAM,6DAA6D;QACzF,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,2BAA2B,CAC5D,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC;IAC1B,MAAM,OAAO,GAAG,CAAC,CAAwB,EAAE,EAAE;QAC3C,IAAI,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,YAAY,CAAC,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC5F,OAAO,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC;IAC/D,CAAC,CAAC;IACF,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,6BAA6B,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC;IAC3G,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,gCAAgC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,KAAK,UAAU,CAAC,CAAC,CAAC;IACjH,YAAY,CACV,GAAG,EACH,GAAG,EACH,8CAA8C,EAC9C,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAC3D,CAAC;IACF,GAAG,CAAC,+DAA+D,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtG,GAAG,CAAC,mDAAmD,YAAY,CAAC,4CAA4C,CAAC,GAAG,CAAC,CAAC;IACtH,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,YAAY,CACnB,GAAsB,EACtB,GAA4B,EAC5B,OAAe,EACf,IAMG;IAEH,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAC9B,GAAG,CAAC,OAAO,CAAC,CAAC;IACb,IAAI,UAAU,GAAG,EAAE,CAAC;IACpB,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,IAAI,CAAC,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;YAChC,GAAG,CAAC,UAAU,CAAC,CAAC,UAAU,cAAc,CAAC,CAAC;YAC1C,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC;QAC5B,CAAC;QACD,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc,GAAG,KAAK,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QACrG,MAAM,GAAG,GAAG,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,YAAY,CAAC,KAAK,SAAS;YAC/E,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC;QAC1D,IAAI,GAAG,KAAK,SAAS;YAAE,GAAG,CAAC,aAAa,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;IACzD,CAAC;IACD,GAAG,CAAC,EAAE,CAAC,CAAC;AACV,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAY;IAC9B,IAAI,EAAE,YAAY;IAClB,OAAO,EAAE,CAAC,SAAS,CAAC;IACpB,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC;IAC9B,OAAO,EAAE,uFAAuF;IAChG,OAAO,EAAE,gBAAgB;IACzB,KAAK,EAAE,WAAW;IAClB,GAAG;CACJ,CAAC;AAEF,eAAe,CAAC,OAAO,CAAC,CAAC"}
+{"version":3,"file":"connectors.js","sourceRoot":"","sources":["../../../src/cli/commands/connectors.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,eAAe,EAAiC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAClE,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEnD,MAAM,KAAK,GAAe;IACxB,UAAU,CAAC,MAAM,EAAE,kFAAkF,CAAC;IACtG,SAAS;CACV,CAAC;AAEF,MAAM,IAAI,GAAG;;;;;;;;qEAQwD,CAAC;AAEtE,MAAM,UAAU,GACd,uFAAuF;IACvF,qCAAqC,CAAC;AAExC,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IAC/B,kEAAkE;IAClE,sEAAsE;IACtE,qEAAqE;IACrE,kBAAkB;IAClB,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IACxG,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;IAChE,MAAM,CAAC,GAAG,GAAG,CAAC,uBAAuB,CAAC,KAAK,CAAC,CAAC;IAE7C,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,QAAQ,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAC/H,OAAO,CAAC,CAAC;IACX,CAAC;IAED,GAAG,CAAC,kFAAkF,CAAC,CAAC;IACxF,GAAG,CAAC,8EAA8E,KAAK,GAAG,CAAC,CAAC;IAC5F,GAAG,CAAC,KAAK,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;IACxC,GAAG,CAAC,qFAAqF,CAAC,CAAC;IAC3F,GAAG,CAAC,uCAAuC,CAAC,CAAC;IAC7C,GAAG,CACD,KAAK,CAAC,CAAC,gBAAgB,CAAC,MAAM,6DAA6D;QACzF,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,2BAA2B,CAC5D,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC;IAC1B,MAAM,OAAO,GAAG,CAAC,CAAwB,EAAE,EAAE;QAC3C,IAAI,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,YAAY,CAAC,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC5F,OAAO,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC;IAC/D,CAAC,CAAC;IACF,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,6BAA6B,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC;IAC3G,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,gCAAgC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,KAAK,UAAU,CAAC,CAAC,CAAC;IACjH,YAAY,CACV,GAAG,EACH,GAAG,EACH,8CAA8C,EAC9C,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAC3D,CAAC;IACF,GAAG,CAAC,+DAA+D,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtG,GAAG,CAAC,mDAAmD,YAAY,CAAC,4CAA4C,CAAC,GAAG,CAAC,CAAC;IACtH,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,YAAY,CACnB,GAAsB,EACtB,GAA4B,EAC5B,OAAe,EACf,IAMG;IAEH,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAC9B,GAAG,CAAC,OAAO,CAAC,CAAC;IACb,IAAI,UAAU,GAAG,EAAE,CAAC;IACpB,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,IAAI,CAAC,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;YAChC,GAAG,CAAC,UAAU,CAAC,CAAC,UAAU,cAAc,CAAC,CAAC;YAC1C,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC;QAC5B,CAAC;QACD,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc,GAAG,KAAK,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QACrG,MAAM,GAAG,GAAG,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,YAAY,CAAC,KAAK,SAAS;YAC/E,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC;QAC1D,IAAI,GAAG,KAAK,SAAS;YAAE,GAAG,CAAC,aAAa,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;IACzD,CAAC;IACD,GAAG,CAAC,EAAE,CAAC,CAAC;AACV,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAY;IAC9B,IAAI,EAAE,YAAY;IAClB,OAAO,EAAE,CAAC,SAAS,CAAC;IACpB,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC;IAC9B,OAAO,EAAE,uFAAuF;IAChG,OAAO,EAAE,gBAAgB;IACzB,KAAK,EAAE,WAAW;IAClB,GAAG;CACJ,CAAC;AAEF,eAAe,CAAC,OAAO,CAAC,CAAC","sourcesContent":["/**\n * `upt connectors` — of the isolated bridges, which could connect to the\n * anchored core via a same-dimension identification. Transposed verbatim\n * from bin/upt.mjs's `connectorsCmd()` (lines 780-798), plus `--source`\n * (module-level `GRAPH` in the old CLI was always the catalog graph) and\n * `--json`.\n */\nimport type { FlagSpec } from '../args.js';\nimport { registerCommand, type Command, type CommandCtx } from '../command.js';\nimport { commandHelp, JSON_FLAG, sourceFlag } from '../flag-help.js';\nimport { resolveGraph, coreAnchor, coreLine } from '../graphs.js';\nimport { emitJson } from '../output.js';\nimport { publishedUrl } from '../published-url.js';\n\nconst FLAGS: FlagSpec[] = [\n  sourceFlag('both', 'Which graph to read: catalog, canonical, or both. This command defaults to both.'),\n  JSON_FLAG,\n];\n\nconst HELP = `upt connectors [--source=catalog|canonical|both]\n        Of the graph's ISOLATED bridges/laws, which could connect to the\n        anchored core via a same-dimension identification? The structural\n        frontier. A recorded decoy or entailed pair is printed under that\n        verdict, with the ledger's grounds. A pair with no ledger row is\n        unadjudicated. A shared name token is a token.\n        --source defaults to 'both' (catalog + canonical) for the honest,\n        all-known-physics answer; --source=catalog isolates the catalog-only\n        tail. The isolated count is printed for the source selected.`;\n\nconst EPISTEMICS =\n  '⚠ A REVIEW SURFACE: same dimension is a WEAK prior. A shared name token is a token.\\n' +\n  '  A recorded verdict is the ledger.';\n\nasync function run(ctx: CommandCtx): Promise<number> {\n  const { args, api, out } = ctx;\n  // connectors asks a pure connectivity question, so it defaults to\n  // --source=both (catalog + canonical) rather than graphs.ts's catalog\n  // fallback used by the other --source commands (e.g. discover, which\n  // keeps catalog).\n  const sourceFlags = args.flags.has('source') ? args.flags : new Map(args.flags).set('source', ['both']);\n  const { graph, label, source } = resolveGraph(api, sourceFlags);\n  const r = api.proposeOrphanConnectors(graph);\n\n  if (args.flags.has('json')) {\n    emitJson({ command: 'connectors', source, anchor: { core: coreAnchor(graph) }, epistemics: EPISTEMICS, result: r }, ctx.write);\n    return 0;\n  }\n\n  out('\\nOrphan connectors — same-dimension identifications that would pull an ISOLATED');\n  out(`bridge into the anchored core (the graph's structural frontier).  [source: ${label}]`);\n  out(`  ${coreLine(coreAnchor(graph))}`);\n  out('⚠ A REVIEW SURFACE: same dimension is a WEAK prior. A shared name token is a token.');\n  out('  A recorded verdict is the ledger.\\n');\n  out(\n    `  ${r.connectedOrphans.length} of the isolated bridges share a name token with the core; ` +\n      `${r.unconnectedOrphans.length} are truly unconnected.\\n`\n  );\n  const rows = r.connectors;\n  const verdict = (c: (typeof rows)[number]) => {\n    if (api.candidateIdIfSlug(c.orphanQuantity, c.coreQuantity) === undefined) return undefined;\n    return api.adjudicationFor(c.orphanQuantity, c.coreQuantity);\n  };\n  printVerdict(api, out, '  DECOY (recorded verdict):', rows.filter((c) => verdict(c)?.verdict === 'decoy'));\n  printVerdict(api, out, '  ENTAILED (recorded verdict):', rows.filter((c) => verdict(c)?.verdict === 'entailed'));\n  printVerdict(\n    api,\n    out,\n    '  UNADJUDICATED (a shared token is a token):',\n    rows.filter((c) => c.sameKind && verdict(c) === undefined),\n  );\n  out(`\\n  truly unconnected (no same-dimension bridge into them): ${r.unconnectedOrphans.join(', ')}`);\n  out(`\\n  The isolated-bridge review is written up in ${publishedUrl('docs/research/Orphan-Connector-Analysis.md')}.`);\n  return 0;\n}\n\nfunction printVerdict(\n  api: CommandCtx['api'],\n  out: (line?: string) => void,\n  heading: string,\n  rows: readonly {\n    orphanEdge: string;\n    orphanQuantity: string;\n    coreQuantity: string;\n    coreEdge: string;\n    dim: string;\n  }[],\n): void {\n  if (rows.length === 0) return;\n  out(heading);\n  let lastOrphan = '';\n  for (const c of rows) {\n    if (c.orphanEdge !== lastOrphan) {\n      out(`    ── ${c.orphanEdge} (isolated):`);\n      lastOrphan = c.orphanEdge;\n    }\n    out(`        ${(c.orphanQuantity + ' ≟ ' + c.coreQuantity).padEnd(54)} [${c.dim}]  → ${c.coreEdge}`);\n    const row = api.candidateIdIfSlug(c.orphanQuantity, c.coreQuantity) === undefined\n      ? undefined\n      : api.adjudicationFor(c.orphanQuantity, c.coreQuantity);\n    if (row !== undefined) out(`          ${row.grounds}`);\n  }\n  out('');\n}\n\nexport const command: Command = {\n  name: 'connectors',\n  aliases: ['orphans'],\n  flags: FLAGS,\n  help: commandHelp(HELP, FLAGS),\n  summary: 'Find same-dimension identifications that would pull an isolated bridge into the core.',\n  example: 'upt connectors',\n  group: 'discovery',\n  run,\n};\n\nregisterCommand(command);\n"]}

package/dist/cli/commands/coverage.js.map

@@ -1 +1 @@
-{"version":3,"file":"coverage.js","sourceRoot":"","sources":["../../../src/cli/commands/coverage.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,eAAe,EAAiC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAExC,MAAM,KAAK,GAAe,CAAC,SAAS,CAAC,CAAC;AAEtC,MAAM,IAAI,GAAG;;;yDAG4C,CAAC;AAE1D,MAAM,UAAU,GAAG,qEAAqE,CAAC;AAEzF,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IAC/B,MAAM,CAAC,GAAG,GAAG,CAAC,aAAa,EAAE,CAAC;IAE9B,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,QAAQ,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAChF,OAAO,CAAC,CAAC;IACX,CAAC;IAED,GAAG,CAAC,oEAAoE,CAAC,CAAC;IAC1E,GAAG,CAAC,UAAU,GAAG,IAAI,CAAC,CAAC;IACvB,GAAG,CAAC,KAAK,CAAC,CAAC,KAAK,6BAA6B,CAAC,CAAC;IAC/C,GAAG,CAAC,0BAA0B,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,6BAA6B,CAAC,CAAC;IACxF,GAAG,CAAC,0BAA0B,CAAC,CAAC,MAAM,CAAC,kBAAkB,CAAC,wCAAwC,CAAC,CAAC;IACpG,GAAG,CAAC,0BAA0B,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,0CAA0C,CAAC,CAAC;IAClG,GAAG,CAAC,0BAA0B,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,8BAA8B,CAAC,CAAC;IAC9E,GAAG,CACD,cAAc,CAAC,CAAC,wBAAwB,kCAAkC;QACxE,GAAG,CAAC,CAAC,eAAe,uBAAuB,CAC9C,CAAC;IACF,IAAI,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;QACzB,GAAG,CAAC,6CAA6C,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAClF,CAAC;IACD,GAAG,CAAC,uFAAuF,CAAC,CAAC;IAC7F,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAY;IAC9B,IAAI,EAAE,UAAU;IAChB,OAAO,EAAE,CAAC,WAAW,CAAC;IACtB,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC;IAC9B,OAAO,EAAE,oDAAoD;IAC7D,OAAO,EAAE,cAAc;IACvB,KAAK,EAAE,MAAM;IACb,GAAG;CACJ,CAAC;AAEF,eAAe,CAAC,OAAO,CAAC,CAAC"}
+{"version":3,"file":"coverage.js","sourceRoot":"","sources":["../../../src/cli/commands/coverage.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,eAAe,EAAiC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAExC,MAAM,KAAK,GAAe,CAAC,SAAS,CAAC,CAAC;AAEtC,MAAM,IAAI,GAAG;;;yDAG4C,CAAC;AAE1D,MAAM,UAAU,GAAG,qEAAqE,CAAC;AAEzF,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IAC/B,MAAM,CAAC,GAAG,GAAG,CAAC,aAAa,EAAE,CAAC;IAE9B,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,QAAQ,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAChF,OAAO,CAAC,CAAC;IACX,CAAC;IAED,GAAG,CAAC,oEAAoE,CAAC,CAAC;IAC1E,GAAG,CAAC,UAAU,GAAG,IAAI,CAAC,CAAC;IACvB,GAAG,CAAC,KAAK,CAAC,CAAC,KAAK,6BAA6B,CAAC,CAAC;IAC/C,GAAG,CAAC,0BAA0B,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,6BAA6B,CAAC,CAAC;IACxF,GAAG,CAAC,0BAA0B,CAAC,CAAC,MAAM,CAAC,kBAAkB,CAAC,wCAAwC,CAAC,CAAC;IACpG,GAAG,CAAC,0BAA0B,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,0CAA0C,CAAC,CAAC;IAClG,GAAG,CAAC,0BAA0B,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,8BAA8B,CAAC,CAAC;IAC9E,GAAG,CACD,cAAc,CAAC,CAAC,wBAAwB,kCAAkC;QACxE,GAAG,CAAC,CAAC,eAAe,uBAAuB,CAC9C,CAAC;IACF,IAAI,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;QACzB,GAAG,CAAC,6CAA6C,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAClF,CAAC;IACD,GAAG,CAAC,uFAAuF,CAAC,CAAC;IAC7F,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAY;IAC9B,IAAI,EAAE,UAAU;IAChB,OAAO,EAAE,CAAC,WAAW,CAAC;IACtB,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC;IAC9B,OAAO,EAAE,oDAAoD;IAC7D,OAAO,EAAE,cAAc;IACvB,KAAK,EAAE,MAAM;IACb,GAAG;CACJ,CAAC;AAEF,eAAe,CAAC,OAAO,CAAC,CAAC","sourcesContent":["/**\n * `upt coverage` — audit the catalog's empirical grounding. Transposed\n * verbatim from bin/upt.mjs's `coverageCmd()` (lines 716-731), plus `--json`.\n * No `--source`: it audits the bridge catalog specifically.\n */\nimport type { FlagSpec } from '../args.js';\nimport { registerCommand, type Command, type CommandCtx } from '../command.js';\nimport { commandHelp, JSON_FLAG } from '../flag-help.js';\nimport { emitJson } from '../output.js';\n\nconst FLAGS: FlagSpec[] = [JSON_FLAG];\n\nconst HELP = `upt coverage\n        Audit the catalog's empirical grounding — which bridges are\n        data-confronted vs graph-computable vs encoded-only vs thin — to\n        target the physicist review. Fabricates nothing.`;\n\nconst EPISTEMICS = '(reads the catalog/graph/confrontation modules; fabricates nothing)';\n\nasync function run(ctx: CommandCtx): Promise<number> {\n  const { args, api, out } = ctx;\n  const r = api.auditCoverage();\n\n  if (args.flags.has('json')) {\n    emitJson({ command: 'coverage', epistemics: EPISTEMICS, result: r }, ctx.write);\n    return 0;\n  }\n\n  out(\"\\nEmpirical-spine coverage — where the catalog's grounding is thin\");\n  out(EPISTEMICS + '\\n');\n  out(`  ${r.total} bridges by grounding tier:`);\n  out(`    data-confronted  : ${r.byTier['data-confronted']}  (real-data confrontation)`);\n  out(`    graph-computable : ${r.byTier['graph-computable']}  (graph edge + dimensional signature)`);\n  out(`    encoded-only     : ${r.byTier['encoded-only']}  (dimensional signature, no graph edge)`);\n  out(`    thin             : ${r.byTier['thin']}  (no dimensional signature)`);\n  out(\n    `\\n  gaps:  ${r.withoutDataConfrontation} without a data confrontation · ` +\n      `${r.withoutCitation} without any citation`\n  );\n  if (r.thinBridges.length) {\n    out(`  thinnest (no dimensional signature): BE-${r.thinBridges.join(', BE-')}`);\n  }\n  out('\\n  (a targeting tool for the CONTRIBUTING.md physicist review, not a quality score.)');\n  return 0;\n}\n\nexport const command: Command = {\n  name: 'coverage',\n  aliases: ['grounding'],\n  flags: FLAGS,\n  help: commandHelp(HELP, FLAGS),\n  summary: 'Count catalog bridges by empirical grounding tier.',\n  example: 'upt coverage',\n  group: 'data',\n  run,\n};\n\nregisterCommand(command);\n"]}

package/dist/cli/commands/derive.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"derive.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/derive.ts"],"names":[],"mappings":"AASA,OAAO,EAAmB,KAAK,OAAO,EAAmB,MAAM,eAAe,CAAC;AAuP/E,eAAO,MAAM,OAAO,EAAE,OASrB,CAAC"}
+{"version":3,"file":"derive.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/derive.ts"],"names":[],"mappings":"AASA,OAAO,EAAmB,KAAK,OAAO,EAAmB,MAAM,eAAe,CAAC;AA4Q/E,eAAO,MAAM,OAAO,EAAE,OASrB,CAAC"}

package/dist/cli/commands/derive.js

@@ -20,7 +20,7 @@ function hyphenSubtractionNote(check, formula) {
         return error;
     if (!/[A-Za-z0-9_]-[A-Za-z0-9_]/.test(formula))
         return error;
-    return `${error} A hyphen between names is subtraction. A name from a dimension argument is one symbol.`;
+    return `${error}. A hyphen between names is subtraction. A name from a dimension argument is one symbol.`;
 }
 const FLAGS = [
     {
@@ -80,17 +80,21 @@ async function run(ctx) {
     const target = specs[0];
     const governing = specs.slice(1);
     const det = api.dimensionallyDetermines(target, governing);
-    // Text lines follow the OLD bin's exact interleaving (bin/upt.mjs lines
-    // 340-385): the header/determination block — and the dimensional-check
-    // line — hit stdout BEFORE the formula parse/evaluate error sites, so a
-    // failing formula still leaves the partial report on stdout (the
-    // error-conversion fidelity rule: output emitted before the old
-    // `process.exit(2)` stays emitted before the throw). In --json mode text
-    // is suppressed and errors emit no JSON, so nothing precedes a throw.
-    const textOut = isJson ? () => { } : out;
+    // Text is buffered and written only when the command reaches a result, so an
+    // error (exit 1 or 2) leaves stdout empty, as every command's does; a result,
+    // exit 0 or 3, prints the whole report. In --json mode text is suppressed.
+    const lines = [];
+    const textOut = isJson ? () => { } : (line) => void lines.push(line);
+    const flush = () => {
+        for (const line of lines)
+            out(line);
+    };
     let full;
     let formulaCheck;
+    // The recovered prefactor, and whether the formula has the monomial's input-dependence.
+    // `mean` is kept only when it does: a prefactor of a formula that does not match is not a number.
     let mean;
+    let matchesMonomial;
     let canonicalComparisons;
     let catalogEdges;
     // The formula's checks: dimension, monomial, canonical comparison. Any failure exits 3.
@@ -102,7 +106,7 @@ async function run(ctx) {
                 determination: det,
                 ...(full !== undefined ? { buckingham: full } : {}),
                 ...(formulaCheck !== undefined ? { formulaCheck } : {}),
-                ...(mean !== undefined ? { prefactor: mean } : {}),
+                ...(matchesMonomial === undefined ? {} : { matchesMonomial, prefactor: matchesMonomial ? mean : null }),
                 ...(canonicalComparisons !== undefined ? { canonicalComparisons } : {}),
                 ...(catalogEdges !== undefined ? { catalogEdges } : {}),
             },
@@ -132,6 +136,16 @@ async function run(ctx) {
         if (!r.ok) {
             failed = true;
             textOut(`  formula dimensional check: ✗ ${hyphenSubtractionNote(r, formula)}`);
+            // An undeclared symbol is a malformed invocation on either branch: the caller
+            // declares it as an argument. A registered constant is declared as itself (c:c).
+            if (r.undeclaredSymbol !== undefined) {
+                const sym = r.undeclaredSymbol;
+                const asConstant = api.CONSTANTS[sym] === undefined ? '' : ` ${sym}:${sym} for the registered constant, or`;
+                // The checker's own sentence first (with the hyphen note when one remains in the
+                // formula), then how to declare the symbol. The report above is not printed: an error
+                // leaves stdout empty.
+                throw new UsageError(`upt derive: ${hyphenSubtractionNote(r, formula)}. Declare it as an argument:${asConstant} ${sym}:<dimension>.`);
+            }
         }
         else {
             const matches = dimsEqualTol(r.dim, target.dim);
@@ -145,7 +159,8 @@ async function run(ctx) {
             cf = parser.parse(formulaSymbols);
         }
         catch (e) {
-            throw new FormulaUsageError('  formula parse error: ' + e.message, await api.getFormulaParserKind());
+            // The parser's message carries its own `parse error:` label.
+            throw new FormulaUsageError('upt derive: --formula: ' + e.message, await api.getFormulaParserKind());
         }
         // Dimensions cannot see a prefactor: compare with the canonical equation this
         // formula restates, when the registry holds one (persona finding L2). This
@@ -177,6 +192,8 @@ async function run(ctx) {
             printComparisons();
             if (isJson)
                 emitEnvelope();
+            else
+                flush();
             return classifyDetermination({
                 asked: true,
                 agrees: canonicalComparisons.some((c) => c.kind === 'agrees'),
@@ -198,20 +215,28 @@ async function run(ctx) {
                 ratios.push(cf.evaluate(scope) / cand);
             }
             catch (e) {
-                throw new UsageError('  formula uses an undeclared variable: ' + e.message);
+                // Every symbol is declared (checked above). The scope is this command's own generic
+                // positive inputs, so a failure here is the formula itself (a literal division by zero,
+                // an unknown function), not a value the caller gave: a malformed formula, exit 2.
+                throw new UsageError('upt derive: the formula could not be evaluated at generic inputs: ' + e.message);
             }
         }
-        mean = ratios.reduce((a, b) => a + b, 0) / ratios.length;
-        const cv = Math.sqrt(ratios.reduce((a, b) => a + (b - mean) ** 2, 0) / ratios.length) / Math.abs(mean);
-        if (!(cv < 1e-9))
+        const ratioMean = ratios.reduce((a, b) => a + b, 0) / ratios.length;
+        const cv = Math.sqrt(ratios.reduce((a, b) => a + (b - ratioMean) ** 2, 0) / ratios.length) / Math.abs(ratioMean);
+        matchesMonomial = cv < 1e-9;
+        if (matchesMonomial)
+            mean = ratioMean;
+        else
             failed = true;
-        textOut(cv < 1e-9
-            ? `  formula MATCHES the dimensional form — recovered prefactor ≈ ${mean.toExponential(4)}`
+        textOut(matchesMonomial
+            ? `  formula MATCHES the dimensional form — recovered prefactor ≈ ${api.formatQuantity(mean)}`
             : `  formula does NOT match the dimensional monomial (different input-dependence — a decoy or different physics).`);
         printComparisons();
     }
     if (isJson)
         emitEnvelope();
+    else
+        flush();
     return classifyDetermination({
         asked: true,
         agrees: (canonicalComparisons ?? []).some((c) => c.kind === 'agrees'),

package/dist/cli/commands/derive.js.map

@@ -1 +1 @@
-{"version":3,"file":"derive.js","sourceRoot":"","sources":["../../../src/cli/commands/derive.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,eAAe,EAAiC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAG1E;kFACkF;AAClF,MAAM,aAAa,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AAExE;;;;GAIG;AACH,SAAS,qBAAqB,CAAC,KAAsE,EAAE,OAAe;IACpH,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;IAChC,IAAI,KAAK,CAAC,gBAAgB,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACvD,IAAI,CAAC,2BAA2B,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7D,OAAO,GAAG,KAAK,yFAAyF,CAAC;AAC3G,CAAC;AAED,MAAM,KAAK,GAAe;IACxB;QACE,IAAI,EAAE,WAAW;QACjB,UAAU,EAAE,MAAM;QAClB,WAAW,EAAE,qFAAqF;KACnG;IACD,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,sDAAsD,EAAE;IAC5G,SAAS;CACV,CAAC;AAEF,MAAM,IAAI,GAAG;;;;;;;;;;;;;;;;;6DAiBgD,CAAC;AAE9D,MAAM,OAAO,GAAG,CAAC,CAAmC,EAAU,EAAE,CAC9D,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;KACd,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;KACrC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;KAC5C,IAAI,CAAC,GAAG,CAAC,IAAI,iBAAiB,CAAC;AAEpC,MAAM,KAAK,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAU,CAAC;AAC/D,MAAM,YAAY,GAAG,CAAC,CAAY,EAAE,CAAY,EAAW,EAAE,CAC3D,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;AAEjE,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IACpC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACtC,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAE9E,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC;IAC9B,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,UAAU,CAClB,iGAAiG,CAClG,CAAC;IACJ,CAAC;IAED,IAAI,KAAyC,CAAC;IAC9C,IAAI,CAAC;QACH,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACrB,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACzB,IAAI,CAAC,GAAG,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;YAC/E,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,kBAAkB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9E,CAAC,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,IAAI,UAAU,CAAC,IAAI,GAAI,CAAW,CAAC,OAAO,CAAC,CAAC;IACpD,CAAC;IAED,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACxB,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACjC,MAAM,GAAG,GAAG,GAAG,CAAC,uBAAuB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAE3D,wEAAwE;IACxE,uEAAuE;IACvE,wEAAwE;IACxE,iEAAiE;IACjE,gEAAgE;IAChE,yEAAyE;IACzE,sEAAsE;IACtE,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IAExC,IAAI,IAAqD,CAAC;IAC1D,IAAI,YAAyG,CAAC;IAC9G,IAAI,IAAwB,CAAC;IAC7B,IAAI,oBAA6E,CAAC;IAClF,IAAI,YAAqE,CAAC;IAC1E,wFAAwF;IACxF,IAAI,MAAM,GAAG,KAAK,CAAC;IAEnB,MAAM,YAAY,GAAG,GAAS,EAAE;QAC9B,QAAQ,CACN;YACE,OAAO,EAAE,QAAQ;YACjB,MAAM,EAAE;gBACN,aAAa,EAAE,GAAG;gBAClB,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACnD,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvD,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClD,GAAG,CAAC,oBAAoB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,oBAAoB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvE,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACxD;SACF,EACD,GAAG,CAAC,KAAK,CACV,CAAC;IACJ,CAAC,CAAC;IAEF,OAAO,CAAC,OAAO,MAAM,CAAC,IAAI,WAAW,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjF,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;QACnB,OAAO,CAAC,iDAAiD,MAAM,CAAC,IAAI,MAAM,OAAO,CAAC,GAAG,CAAC,QAAS,CAAC,EAAE,CAAC,CAAC;IACtG,CAAC;SAAM,CAAC;QACN,IAAI,GAAG,GAAG,CAAC,YAAY,CAAC,CAAC,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC;QAChD,OAAO,CAAC,6BAA6B,IAAI,CAAC,YAAY,iCAAiC,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC;QACzG,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ;YAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QAC5D,OAAO,CAAC,MAAM,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;IAC/B,CAAC;IAED,IAAI,OAAO,EAAE,CAAC;QACZ,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,gBAAgB,EAAE,CAAC;QAC5C,IAAI,KAAK;YAAE,GAAG,CAAC,cAAc,kBAAkB,CAAC,MAAM,GAAG,CAAC,oBAAoB,EAAE,CAAC,GAAG,CAAC,CAAC;QAEtF,MAAM,OAAO,GAAG,MAAM,GAAG,CAAC,0BAA0B,EAAE,CAAC;QACvD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACvD,MAAM,cAAc,GAAG,GAAG,CAAC,qBAAqB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QACpE,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtF,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC;QAC9C,YAAY,GAAG,CAAC,CAAC;QACjB,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YACV,MAAM,GAAG,IAAI,CAAC;YACd,OAAO,CAAC,kCAAkC,qBAAqB,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;QACjF,CAAC;aAAM,CAAC;YACN,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,GAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;YACjD,IAAI,CAAC,OAAO;gBAAE,MAAM,GAAG,IAAI,CAAC;YAC5B,OAAO,CACL,wBAAwB,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAI,CAAC,EAAE;kBACxC,CAAC,OAAO,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC,CAAC,gCAAgC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAC7G,CAAC;QACJ,CAAC;QAED,IAAI,EAAE,CAAC;QACP,IAAI,CAAC;YACH,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;QACpC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,IAAI,iBAAiB,CAAC,yBAAyB,GAAI,CAAW,CAAC,OAAO,EAAE,MAAM,GAAG,CAAC,oBAAoB,EAAE,CAAC,CAAC;QAClH,CAAC;QACD,8EAA8E;QAC9E,2EAA2E;QAC3E,0EAA0E;QAC1E,kFAAkF;QAClF,MAAM,UAAU,GAAG,CAAC,CAAmC,EAAW,EAAE;YAClE,MAAM,CAAC,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAChC,OAAO,CAAC,KAAK,SAAS,IAAI,YAAY,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QACvD,CAAC,CAAC;QACF,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1D,MAAM,QAAQ,GAAG,EAAE,CAAC;QACpB,oBAAoB,GAAG,GAAG,CAAC,oBAAoB,CAC7C,MAAM,CAAC,IAAI,EACX,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EACpD,CAAC,MAAM,EAAE,EAAE,CACT,QAAQ,CAAC,QAAQ,CACf,MAAM,CAAC,WAAW,CAChB,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YACnB,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC;YACrB,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAE,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAE;SAClF,CAAC,CACH,CACF,CACJ,CAAC;QACF,MAAM,eAAe,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAC7E,YAAY,GAAG,GAAG,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;QACtE,MAAM,gBAAgB,GAAG,GAAS,EAAE;YAClC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,qBAAqB,CAAC,oBAAqB,EAAE,MAAM,CAAC,IAAI,EAAE,eAAe,CAAC,EAAE,CAAC;gBAClG,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;YACvB,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,eAAe,CAAC,oBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAAE,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;QACnG,CAAC,CAAC;QACF,IAAI,oBAAoB,CAAC,oBAAoB,CAAC;YAAE,MAAM,GAAG,IAAI,CAAC;QAE9D,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC;YACpB,OAAO,CAAC,uFAAuF,CAAC,CAAC;YACjG,gBAAgB,EAAE,CAAC;YACnB,IAAI,MAAM;gBAAE,YAAY,EAAE,CAAC;YAC3B,OAAO,qBAAqB,CAAC;gBAC3B,KAAK,EAAE,IAAI;gBACX,MAAM,EAAE,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;gBAC7D,WAAW,EAAE,MAAM;gBACnB,SAAS,EAAE,IAAI;gBACf,UAAU,EAAE,EAAE;aACf,CAAC,CAAC,IAAI,CAAC;QACV,CAAC;QAED,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,KAAK,GAA2B,EAAE,CAAC;YACzC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACzB,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC;YAChE,CAAC,CAAC,CAAC;YACH,IAAI,IAAI,GAAG,CAAC,CAAC;YACb,KAAK,MAAM,CAAC,IAAI,SAAS;gBAAE,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAE,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YACxG,IAAI,CAAC;gBACH,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,CAAC;YACzC,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,MAAM,IAAI,UAAU,CAAC,yCAAyC,GAAI,CAAW,CAAC,OAAO,CAAC,CAAC;YACzF,CAAC;QACH,CAAC;QACD,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;QACzD,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACxG,IAAI,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC;YAAE,MAAM,GAAG,IAAI,CAAC;QAChC,OAAO,CACL,EAAE,GAAG,IAAI;YACP,CAAC,CAAC,kEAAkE,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE;YAC3F,CAAC,CAAC,gHAAgH,CACrH,CAAC;QACF,gBAAgB,EAAE,CAAC;IACrB,CAAC;IAED,IAAI,MAAM;QAAE,YAAY,EAAE,CAAC;IAC3B,OAAO,qBAAqB,CAAC;QAC3B,KAAK,EAAE,IAAI;QACX,MAAM,EAAE,CAAC,oBAAoB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;QACrE,WAAW,EAAE,MAAM;QACnB,SAAS,EAAE,CAAC,GAAG,CAAC,UAAU;QAC1B,UAAU,EAAE,EAAE;KACf,CAAC,CAAC,IAAI,CAAC;AACV,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAY;IAC9B,IAAI,EAAE,QAAQ;IACd,OAAO,EAAE,CAAC,KAAK,CAAC;IAChB,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC;IAC9B,OAAO,EAAE,sFAAsF;IAC/F,OAAO,EAAE,iGAAiG;IAC1G,KAAK,EAAE,UAAU;IACjB,GAAG;CACJ,CAAC;AAEF,eAAe,CAAC,OAAO,CAAC,CAAC"}
+{"version":3,"file":"derive.js","sourceRoot":"","sources":["../../../src/cli/commands/derive.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,eAAe,EAAiC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAG1E;kFACkF;AAClF,MAAM,aAAa,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AAExE;;;;GAIG;AACH,SAAS,qBAAqB,CAAC,KAAsE,EAAE,OAAe;IACpH,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;IAChC,IAAI,KAAK,CAAC,gBAAgB,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACvD,IAAI,CAAC,2BAA2B,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7D,OAAO,GAAG,KAAK,0FAA0F,CAAC;AAC5G,CAAC;AAED,MAAM,KAAK,GAAe;IACxB;QACE,IAAI,EAAE,WAAW;QACjB,UAAU,EAAE,MAAM;QAClB,WAAW,EAAE,qFAAqF;KACnG;IACD,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,sDAAsD,EAAE;IAC5G,SAAS;CACV,CAAC;AAEF,MAAM,IAAI,GAAG;;;;;;;;;;;;;;;;;6DAiBgD,CAAC;AAE9D,MAAM,OAAO,GAAG,CAAC,CAAmC,EAAU,EAAE,CAC9D,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;KACd,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;KACrC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;KAC5C,IAAI,CAAC,GAAG,CAAC,IAAI,iBAAiB,CAAC;AAEpC,MAAM,KAAK,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAU,CAAC;AAC/D,MAAM,YAAY,GAAG,CAAC,CAAY,EAAE,CAAY,EAAW,EAAE,CAC3D,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;AAEjE,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IACpC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACtC,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAE9E,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC;IAC9B,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,UAAU,CAClB,iGAAiG,CAClG,CAAC;IACJ,CAAC;IAED,IAAI,KAAyC,CAAC;IAC9C,IAAI,CAAC;QACH,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACrB,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACzB,IAAI,CAAC,GAAG,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;YAC/E,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,kBAAkB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9E,CAAC,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,IAAI,UAAU,CAAC,IAAI,GAAI,CAAW,CAAC,OAAO,CAAC,CAAC;IACpD,CAAC;IAED,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACxB,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACjC,MAAM,GAAG,GAAG,GAAG,CAAC,uBAAuB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAE3D,6EAA6E;IAC7E,8EAA8E;IAC9E,2EAA2E;IAC3E,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAY,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5E,MAAM,KAAK,GAAG,GAAS,EAAE;QACvB,KAAK,MAAM,IAAI,IAAI,KAAK;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC,CAAC;IAEF,IAAI,IAAqD,CAAC;IAC1D,IAAI,YAAyG,CAAC;IAC9G,wFAAwF;IACxF,kGAAkG;IAClG,IAAI,IAAwB,CAAC;IAC7B,IAAI,eAAoC,CAAC;IACzC,IAAI,oBAA6E,CAAC;IAClF,IAAI,YAAqE,CAAC;IAC1E,wFAAwF;IACxF,IAAI,MAAM,GAAG,KAAK,CAAC;IAEnB,MAAM,YAAY,GAAG,GAAS,EAAE;QAC9B,QAAQ,CACN;YACE,OAAO,EAAE,QAAQ;YACjB,MAAM,EAAE;gBACN,aAAa,EAAE,GAAG;gBAClB,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACnD,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvD,GAAG,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,SAAS,EAAE,eAAe,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBACxG,GAAG,CAAC,oBAAoB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,oBAAoB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvE,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACxD;SACF,EACD,GAAG,CAAC,KAAK,CACV,CAAC;IACJ,CAAC,CAAC;IAEF,OAAO,CAAC,OAAO,MAAM,CAAC,IAAI,WAAW,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjF,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;QACnB,OAAO,CAAC,iDAAiD,MAAM,CAAC,IAAI,MAAM,OAAO,CAAC,GAAG,CAAC,QAAS,CAAC,EAAE,CAAC,CAAC;IACtG,CAAC;SAAM,CAAC;QACN,IAAI,GAAG,GAAG,CAAC,YAAY,CAAC,CAAC,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC;QAChD,OAAO,CAAC,6BAA6B,IAAI,CAAC,YAAY,iCAAiC,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC;QACzG,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ;YAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QAC5D,OAAO,CAAC,MAAM,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;IAC/B,CAAC;IAED,IAAI,OAAO,EAAE,CAAC;QACZ,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,gBAAgB,EAAE,CAAC;QAC5C,IAAI,KAAK;YAAE,GAAG,CAAC,cAAc,kBAAkB,CAAC,MAAM,GAAG,CAAC,oBAAoB,EAAE,CAAC,GAAG,CAAC,CAAC;QAEtF,MAAM,OAAO,GAAG,MAAM,GAAG,CAAC,0BAA0B,EAAE,CAAC;QACvD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACvD,MAAM,cAAc,GAAG,GAAG,CAAC,qBAAqB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QACpE,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtF,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC;QAC9C,YAAY,GAAG,CAAC,CAAC;QACjB,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YACV,MAAM,GAAG,IAAI,CAAC;YACd,OAAO,CAAC,kCAAkC,qBAAqB,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;YAC/E,8EAA8E;YAC9E,iFAAiF;YACjF,IAAI,CAAC,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;gBACrC,MAAM,GAAG,GAAG,CAAC,CAAC,gBAAgB,CAAC;gBAC/B,MAAM,UAAU,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,GAAG,kCAAkC,CAAC;gBAC5G,iFAAiF;gBACjF,sFAAsF;gBACtF,uBAAuB;gBACvB,MAAM,IAAI,UAAU,CAAC,eAAe,qBAAqB,CAAC,CAAC,EAAE,OAAO,CAAC,+BAA+B,UAAU,IAAI,GAAG,eAAe,CAAC,CAAC;YACxI,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,GAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;YACjD,IAAI,CAAC,OAAO;gBAAE,MAAM,GAAG,IAAI,CAAC;YAC5B,OAAO,CACL,wBAAwB,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAI,CAAC,EAAE;kBACxC,CAAC,OAAO,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC,CAAC,gCAAgC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAC7G,CAAC;QACJ,CAAC;QAED,IAAI,EAAE,CAAC;QACP,IAAI,CAAC;YACH,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;QACpC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,6DAA6D;YAC7D,MAAM,IAAI,iBAAiB,CAAC,yBAAyB,GAAI,CAAW,CAAC,OAAO,EAAE,MAAM,GAAG,CAAC,oBAAoB,EAAE,CAAC,CAAC;QAClH,CAAC;QACD,8EAA8E;QAC9E,2EAA2E;QAC3E,0EAA0E;QAC1E,kFAAkF;QAClF,MAAM,UAAU,GAAG,CAAC,CAAmC,EAAW,EAAE;YAClE,MAAM,CAAC,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAChC,OAAO,CAAC,KAAK,SAAS,IAAI,YAAY,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QACvD,CAAC,CAAC;QACF,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1D,MAAM,QAAQ,GAAG,EAAE,CAAC;QACpB,oBAAoB,GAAG,GAAG,CAAC,oBAAoB,CAC7C,MAAM,CAAC,IAAI,EACX,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EACpD,CAAC,MAAM,EAAE,EAAE,CACT,QAAQ,CAAC,QAAQ,CACf,MAAM,CAAC,WAAW,CAChB,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YACnB,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC;YACrB,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAE,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAE;SAClF,CAAC,CACH,CACF,CACJ,CAAC;QACF,MAAM,eAAe,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAC7E,YAAY,GAAG,GAAG,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;QACtE,MAAM,gBAAgB,GAAG,GAAS,EAAE;YAClC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,qBAAqB,CAAC,oBAAqB,EAAE,MAAM,CAAC,IAAI,EAAE,eAAe,CAAC,EAAE,CAAC;gBAClG,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;YACvB,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,eAAe,CAAC,oBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAAE,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;QACnG,CAAC,CAAC;QACF,IAAI,oBAAoB,CAAC,oBAAoB,CAAC;YAAE,MAAM,GAAG,IAAI,CAAC;QAE9D,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC;YACpB,OAAO,CAAC,uFAAuF,CAAC,CAAC;YACjG,gBAAgB,EAAE,CAAC;YACnB,IAAI,MAAM;gBAAE,YAAY,EAAE,CAAC;;gBACtB,KAAK,EAAE,CAAC;YACb,OAAO,qBAAqB,CAAC;gBAC3B,KAAK,EAAE,IAAI;gBACX,MAAM,EAAE,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;gBAC7D,WAAW,EAAE,MAAM;gBACnB,SAAS,EAAE,IAAI;gBACf,UAAU,EAAE,EAAE;aACf,CAAC,CAAC,IAAI,CAAC;QACV,CAAC;QAED,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,KAAK,GAA2B,EAAE,CAAC;YACzC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACzB,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC;YAChE,CAAC,CAAC,CAAC;YACH,IAAI,IAAI,GAAG,CAAC,CAAC;YACb,KAAK,MAAM,CAAC,IAAI,SAAS;gBAAE,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAE,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YACxG,IAAI,CAAC;gBACH,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,CAAC;YACzC,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,oFAAoF;gBACpF,wFAAwF;gBACxF,kFAAkF;gBAClF,MAAM,IAAI,UAAU,CAAC,oEAAoE,GAAI,CAAW,CAAC,OAAO,CAAC,CAAC;YACpH,CAAC;QACH,CAAC;QACD,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;QACpE,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACjH,eAAe,GAAG,EAAE,GAAG,IAAI,CAAC;QAC5B,IAAI,eAAe;YAAE,IAAI,GAAG,SAAS,CAAC;;YACjC,MAAM,GAAG,IAAI,CAAC;QACnB,OAAO,CACL,eAAe;YACb,CAAC,CAAC,kEAAkE,GAAG,CAAC,cAAc,CAAC,IAAK,CAAC,EAAE;YAC/F,CAAC,CAAC,gHAAgH,CACrH,CAAC;QACF,gBAAgB,EAAE,CAAC;IACrB,CAAC;IAED,IAAI,MAAM;QAAE,YAAY,EAAE,CAAC;;QACtB,KAAK,EAAE,CAAC;IACb,OAAO,qBAAqB,CAAC;QAC3B,KAAK,EAAE,IAAI;QACX,MAAM,EAAE,CAAC,oBAAoB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;QACrE,WAAW,EAAE,MAAM;QACnB,SAAS,EAAE,CAAC,GAAG,CAAC,UAAU;QAC1B,UAAU,EAAE,EAAE;KACf,CAAC,CAAC,IAAI,CAAC;AACV,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAY;IAC9B,IAAI,EAAE,QAAQ;IACd,OAAO,EAAE,CAAC,KAAK,CAAC;IAChB,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC;IAC9B,OAAO,EAAE,sFAAsF;IAC/F,OAAO,EAAE,iGAAiG;IAC1G,KAAK,EAAE,UAAU;IACjB,GAAG;CACJ,CAAC;AAEF,eAAe,CAAC,OAAO,CAAC,CAAC","sourcesContent":["/**\n * `upt derive` — derive the caller's own equation's dimensional form, and\n * (with `--formula`) verify it and recover the dimensionless prefactor.\n * Transposed verbatim from bin/upt.mjs's `derive()` (lines 313-385, the\n * post-crash-fix body — `format(r.dim)`/`format(target.dim)` on the\n * dimension-check line), plus `--json`. `fmtMono`/`BASES`/`dimsEqualTol`\n * move here with it.\n */\nimport type { FlagSpec } from '../args.js';\nimport { registerCommand, type Command, type CommandCtx } from '../command.js';\nimport { commandHelp, JSON_FLAG } from '../flag-help.js';\nimport { emitJson } from '../output.js';\nimport { UsageError } from '../errors.js';\nimport { classifyDetermination } from '../determination.js';\nimport { formulaParserLabel } from '../version.js';\nimport { FormulaUsageError } from '../euler-guard.js';\nimport { canonicalCheckFailed, conventionLines } from '../conventions.js';\nimport type { Dimension } from '../../dimensional/types.js';\n\n/** The parser's symbol for a declared name. A hyphen is subtraction, so a\n *  declared `reduced-planck-constant` is the symbol `reduced_planck_constant`. */\nconst formulaSymbol = (name: string): string => name.replace(/-/g, '_');\n\n/**\n * A hyphen that remains after declared names are rewritten is subtraction.\n * The undeclared-symbol error otherwise names only the first piece. The\n * checker says the symbol was undeclared on its own field, not in its text.\n */\nfunction hyphenSubtractionNote(check: { readonly error?: string; readonly undeclaredSymbol?: string }, formula: string): string {\n  const error = check.error ?? '';\n  if (check.undeclaredSymbol === undefined) return error;\n  if (!/[A-Za-z0-9_]-[A-Za-z0-9_]/.test(formula)) return error;\n  return `${error}. A hyphen between names is subtraction. A name from a dimension argument is one symbol.`;\n}\n\nconst FLAGS: FlagSpec[] = [\n  {\n    name: '--formula',\n    valueStyle: 'next',\n    description: 'Check EXPR against the declared dimensions and recover the dimensionless prefactor.',\n  },\n  { name: '--debug', valueStyle: 'none', description: 'Print the formula parser name and version on stderr.' },\n  JSON_FLAG,\n];\n\nconst HELP = `upt derive <target:dim> <var:dim> ... [--formula \"<expr>\"] [--debug]\n        Derive YOUR OWN equation's dimensional form. <dim> is a named\n        dimension (length, time, mass, velocity, ...), a constant (hbar, c,\n        G, k_B, e — e here is the elementary charge's dimension), a named\n        product/quotient (power/area, length*temperature),\n        or explicit (L^3.M^-1.T^-2). Parentheses group a factor\n        (power/(area*temperature^4)); pressure, density, volume, viscosity,\n        resistance, magnetic_field and permeability are names; mass/length^3 and M/L^3 work.\n        In --formula, a bare e is the elementary charge and E is energy.\n        A name from a dimension argument is one symbol, hyphens included.\n        A hyphen between other names is subtraction.\n        Euler's number is exp(x), for example exp(1). The name euler is refused.\n        With --formula, also verify it and\n        recover the dimensionless prefactor. A target that is not a unique\n        monomial of the variables exits 3. --debug prints the formula parser\n        and its version to stderr.\n        e.g.  upt derive period:time length:length gravity:acceleration \\\\\n                       --formula \"2*pi*sqrt(length/gravity)\"`;\n\nconst fmtMono = (m: Readonly<Record<string, number>>): string =>\n  Object.entries(m)\n    .filter(([, e]) => Math.abs(e) > 1e-9)\n    .map(([n, e]) => (e === 1 ? n : `${n}^${e}`))\n    .join('·') || '(dimensionless)';\n\nconst BASES = ['L', 'M', 'T', 'I', 'Theta', 'N', 'J'] as const;\nconst dimsEqualTol = (a: Dimension, b: Dimension): boolean =>\n  BASES.every((k) => Math.abs((a[k] || 0) - (b[k] || 0)) < 1e-9);\n\nasync function run(ctx: CommandCtx): Promise<number> {\n  const { args, api, out, err } = ctx;\n  const isJson = args.flags.has('json');\n  const debug = args.flags.has('debug');\n  const formulaFlag = args.flags.get('formula');\n  const formula = formulaFlag ? formulaFlag[formulaFlag.length - 1] : undefined;\n\n  const rest = args.positionals;\n  if (rest.length < 1) {\n    throw new UsageError(\n      'upt derive needs a target spec, e.g.  upt derive period:time length:length gravity:acceleration'\n    );\n  }\n\n  let specs: { name: string; dim: Dimension }[];\n  try {\n    specs = rest.map((a) => {\n      const c = a.indexOf(':');\n      if (c < 1) throw new Error(`'${a}' must be name:dimension (e.g. period:time)`);\n      return { name: a.slice(0, c), dim: api.parseDimensionSpec(a.slice(c + 1)) };\n    });\n  } catch (e) {\n    throw new UsageError('  ' + (e as Error).message);\n  }\n\n  const target = specs[0];\n  const governing = specs.slice(1);\n  const det = api.dimensionallyDetermines(target, governing);\n\n  // Text is buffered and written only when the command reaches a result, so an\n  // error (exit 1 or 2) leaves stdout empty, as every command's does; a result,\n  // exit 0 or 3, prints the whole report. In --json mode text is suppressed.\n  const lines: string[] = [];\n  const textOut = isJson ? () => {} : (line: string) => void lines.push(line);\n  const flush = (): void => {\n    for (const line of lines) out(line);\n  };\n\n  let full: ReturnType<typeof api.buckinghamPi> | undefined;\n  let formulaCheck: ReturnType<Awaited<ReturnType<typeof api.getFormulaDimensionChecker>>['check']> | undefined;\n  // The recovered prefactor, and whether the formula has the monomial's input-dependence.\n  // `mean` is kept only when it does: a prefactor of a formula that does not match is not a number.\n  let mean: number | undefined;\n  let matchesMonomial: boolean | undefined;\n  let canonicalComparisons: ReturnType<typeof api.compareWithCanonical> | undefined;\n  let catalogEdges: ReturnType<typeof api.matchingCatalogEdges> | undefined;\n  // The formula's checks: dimension, monomial, canonical comparison. Any failure exits 3.\n  let failed = false;\n\n  const emitEnvelope = (): void => {\n    emitJson(\n      {\n        command: 'derive',\n        result: {\n          determination: det,\n          ...(full !== undefined ? { buckingham: full } : {}),\n          ...(formulaCheck !== undefined ? { formulaCheck } : {}),\n          ...(matchesMonomial === undefined ? {} : { matchesMonomial, prefactor: matchesMonomial ? mean! : null }),\n          ...(canonicalComparisons !== undefined ? { canonicalComparisons } : {}),\n          ...(catalogEdges !== undefined ? { catalogEdges } : {}),\n        },\n      },\n      ctx.write\n    );\n  };\n\n  textOut(`\\n● ${target.name}  from {${governing.map((g) => g.name).join(', ')}}`);\n  if (det.determined) {\n    textOut(`  dimensionally determined up to a constant:  ${target.name} ∝ ${fmtMono(det.monomial!)}`);\n  } else {\n    full = api.buckinghamPi([target, ...governing]);\n    textOut(`  NOT a unique monomial — ${full.piGroupCount} free dimensionless group(s) (${full.verdict}):`);\n    for (const g of full.piGroups) textOut(`     ${g.formula}`);\n    textOut(`  (${det.reason})`);\n  }\n\n  if (formula) {\n    const parser = await api.getFormulaParser();\n    if (debug) err(`  [parser: ${formulaParserLabel(await api.getFormulaParserKind())}]`);\n\n    const checker = await api.getFormulaDimensionChecker();\n    const declared = new Set(governing.map((g) => g.name));\n    const formulaSymbols = api.rewriteCatalogHyphens(formula, declared);\n    const dims = Object.fromEntries(governing.map((g) => [formulaSymbol(g.name), g.dim]));\n    const r = checker.check(formulaSymbols, dims);\n    formulaCheck = r;\n    if (!r.ok) {\n      failed = true;\n      textOut(`  formula dimensional check: ✗ ${hyphenSubtractionNote(r, formula)}`);\n      // An undeclared symbol is a malformed invocation on either branch: the caller\n      // declares it as an argument. A registered constant is declared as itself (c:c).\n      if (r.undeclaredSymbol !== undefined) {\n        const sym = r.undeclaredSymbol;\n        const asConstant = api.CONSTANTS[sym] === undefined ? '' : ` ${sym}:${sym} for the registered constant, or`;\n        // The checker's own sentence first (with the hyphen note when one remains in the\n        // formula), then how to declare the symbol. The report above is not printed: an error\n        // leaves stdout empty.\n        throw new UsageError(`upt derive: ${hyphenSubtractionNote(r, formula)}. Declare it as an argument:${asConstant} ${sym}:<dimension>.`);\n      }\n    } else {\n      const matches = dimsEqualTol(r.dim!, target.dim);\n      if (!matches) failed = true;\n      textOut(\n        `  formula dimension: ${api.format(r.dim!)}`\n          + (matches ? `  ✓ homogeneous, matches target` : `  ⚠ homogeneous but ≠ target ${api.format(target.dim)}`)\n      );\n    }\n\n    let cf;\n    try {\n      cf = parser.parse(formulaSymbols);\n    } catch (e) {\n      // The parser's message carries its own `parse error:` label.\n      throw new FormulaUsageError('upt derive: --formula: ' + (e as Error).message, await api.getFormulaParserKind());\n    }\n    // Dimensions cannot see a prefactor: compare with the canonical equation this\n    // formula restates, when the registry holds one (persona finding L2). This\n    // needs no unique monomial, so it runs on both branches below. A variable\n    // named after a registered constant is that constant, as in `upt map --equation`.\n    const isConstant = (g: { name: string; dim: Dimension }): boolean => {\n      const c = api.CONSTANTS[g.name];\n      return c !== undefined && dimsEqualTol(c.dim, g.dim);\n    };\n    const variables = governing.filter((g) => !isConstant(g));\n    const compiled = cf;\n    canonicalComparisons = api.compareWithCanonical(\n      target.name,\n      variables.map((g) => ({ name: g.name, dim: g.dim })),\n      (values) =>\n        compiled.evaluate(\n          Object.fromEntries(\n            governing.map((g) => [\n              formulaSymbol(g.name),\n              isConstant(g) ? api.CONSTANTS[g.name]!.value : values[g.name.replace(/_/g, '-')]!,\n            ]),\n          ),\n        ),\n    );\n    const relationSources = variables.map((g) => ({ name: g.name, dim: g.dim }));\n    catalogEdges = api.matchingCatalogEdges(target.name, relationSources);\n    const printComparisons = (): void => {\n      for (const line of api.describeKnownRelation(canonicalComparisons!, target.name, relationSources)) {\n        textOut(`  ${line}`);\n      }\n      for (const line of conventionLines(canonicalComparisons!.map((c) => c.id))) textOut(`  ${line}`);\n    };\n    if (canonicalCheckFailed(canonicalComparisons)) failed = true;\n\n    if (!det.determined) {\n      textOut('  formula given, but with no unique monomial there is no single prefactor to recover.');\n      printComparisons();\n      if (isJson) emitEnvelope();\n      else flush();\n      return classifyDetermination({\n        asked: true,\n        agrees: canonicalComparisons.some((c) => c.kind === 'agrees'),\n        checkFailed: failed,\n        notUnique: true,\n        unresolved: [],\n      }).exit;\n    }\n\n    const ratios: number[] = [];\n    for (let j = 0; j < 3; j++) {\n      const scope: Record<string, number> = {};\n      governing.forEach((g, i) => {\n        scope[formulaSymbol(g.name)] = Math.pow(1.7 + i, 1 + 0.3 * j);\n      });\n      let cand = 1;\n      for (const g of governing) cand *= Math.pow(scope[formulaSymbol(g.name)]!, det.monomial?.[g.name] || 0);\n      try {\n        ratios.push(cf.evaluate(scope) / cand);\n      } catch (e) {\n        // Every symbol is declared (checked above). The scope is this command's own generic\n        // positive inputs, so a failure here is the formula itself (a literal division by zero,\n        // an unknown function), not a value the caller gave: a malformed formula, exit 2.\n        throw new UsageError('upt derive: the formula could not be evaluated at generic inputs: ' + (e as Error).message);\n      }\n    }\n    const ratioMean = ratios.reduce((a, b) => a + b, 0) / ratios.length;\n    const cv = Math.sqrt(ratios.reduce((a, b) => a + (b - ratioMean) ** 2, 0) / ratios.length) / Math.abs(ratioMean);\n    matchesMonomial = cv < 1e-9;\n    if (matchesMonomial) mean = ratioMean;\n    else failed = true;\n    textOut(\n      matchesMonomial\n        ? `  formula MATCHES the dimensional form — recovered prefactor ≈ ${api.formatQuantity(mean!)}`\n        : `  formula does NOT match the dimensional monomial (different input-dependence — a decoy or different physics).`\n    );\n    printComparisons();\n  }\n\n  if (isJson) emitEnvelope();\n  else flush();\n  return classifyDetermination({\n    asked: true,\n    agrees: (canonicalComparisons ?? []).some((c) => c.kind === 'agrees'),\n    checkFailed: failed,\n    notUnique: !det.determined,\n    unresolved: [],\n  }).exit;\n}\n\nexport const command: Command = {\n  name: 'derive',\n  aliases: ['dim'],\n  flags: FLAGS,\n  help: commandHelp(HELP, FLAGS),\n  summary: 'Derive the dimensional form of your own equation and, with --formula, the prefactor.',\n  example: 'upt derive period:time length:length gravity:acceleration --formula \"2*pi*sqrt(length/gravity)\"',\n  group: 'evaluate',\n  run,\n};\n\nregisterCommand(command);\n"]}

package/dist/cli/commands/discover.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"discover.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/discover.ts"],"names":[],"mappings":"AAQA,OAAO,EAAmB,KAAK,OAAO,EAAmB,MAAM,eAAe,CAAC;AAub/E,eAAO,MAAM,OAAO,EAAE,OASrB,CAAC"}
+{"version":3,"file":"discover.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/discover.ts"],"names":[],"mappings":"AAQA,OAAO,EAAmB,KAAK,OAAO,EAAmB,MAAM,eAAe,CAAC;AA4b/E,eAAO,MAAM,OAAO,EAAE,OASrB,CAAC"}

package/dist/cli/commands/discover.js

@@ -3,6 +3,7 @@ import { commandHelp, JSON_FLAG, sourceFlag } from '../flag-help.js';
 import { resolveGraph, groundTruthAnchor, groundTruthLine } from '../graphs.js';
 import { emitJson } from '../output.js';
 import { parseDiscoveryOpts } from './_discovery-opts.js';
+import { DISCOVER_MAX_ORDERS_DEFAULT } from '../library-defaults.js';
 import { adjudicationSourceUrls } from '../published-url.js';
 const FLAGS = [
     sourceFlag('catalog', 'Which graph to read: catalog, canonical, or both. canonical excludes bridges.'),
@@ -10,7 +11,7 @@ const FLAGS = [
         name: '--max-orders',
         valueStyle: 'attached',
         description: 'Magnitude-clash threshold. A larger value keeps more pairs promising.',
-        defaultValue: '3',
+        defaultValue: DISCOVER_MAX_ORDERS_DEFAULT,
     },
     {
         name: '--anchor',
@@ -48,7 +49,7 @@ const HELP = `upt discover [--source=catalog|canonical|both]
         --derive emits, for each 'promising' identification, the ONE algebraic
         relation it implies (monomial elimination) as an UNADJUDICATED, math-only
         proposal — NOT a bridge (Part-VI §XXVII-B). Pairs with --source=canonical.
-        --max-orders=N tunes the magnitude-clash threshold (default 3); looser N
+        --max-orders=N tunes the magnitude-clash threshold (default ${DISCOVER_MAX_ORDERS_DEFAULT}); looser N
         keeps more candidates 'promising', tighter N falsifies more as clashes.
         --anchor=k=v[,k2=v2] overrides the numeric anchor (default mass=M_sun)
         for the consistency/closure check. Both reshape the candidate pool that
@@ -106,10 +107,14 @@ function deriveReport(api, ranked, label, anchorLine, out) {
                 const at = governing
                     .map((g) => `${g.name}=${sampleOf(g.name).value} [${sampleOf(g.name).source}]`)
                     .join(', ');
-                approx = `  ≈ ${p.evaluate(vals).toExponential(2)}${at ? ` (${at})` : ''}`;
+                approx = `  ≈ ${api.formatQuantity(p.evaluate(vals))}${at ? ` (${at})` : ''}`;
             }
-            catch {
-                approx = '';
+            catch (e) {
+                // A proposal that cannot be evaluated at its samples says so and why; it is not shown as
+                // though it had no sample. Only an `Error` is a refusal of the formula: anything else is a defect.
+                if (!(e instanceof Error))
+                    throw e;
+                approx = `  (not evaluated at the sample values: ${e.message})`;
             }
         }
         out(`  ${p.id}`);
@@ -172,7 +177,6 @@ function adjudicationSummaryLine(promising, promisingCount) {
     const foldNote = folded === total ? '— folded' : folded === 0 ? '— shown below' : `— ${folded} folded`;
     return `  adjudicated: ${total} of the ${promisingCount} promising ${verb} ${noun} (${parts.join(', ')}) ${foldNote}; --show-adjudicated to list`;
 }
-/** How far the `promising` set is from evidence, counted from candidate fields. */
 /** Encoded bridges that already carry a falsifier. Not discovery rows. */
 function encodedFalsifiers(api) {
     const lines = [];
@@ -194,6 +198,7 @@ function encodedFalsifiers(api) {
     }
     return lines;
 }
+/** How far the `promising` set is from evidence, counted from candidate fields. */
 function readinessOf(api, candidates) {
     const p = candidates.filter((c) => c.verdict === 'promising');
     const g = p.map((c) => api.describeGrounding(c, c.consequence?.signal));
@@ -236,7 +241,7 @@ async function run(ctx) {
             command: 'discover',
             source,
             anchor: { groundTruth: anchor },
-            options: opts,
+            options: { ...opts },
             epistemics: isDerive ? DERIVE_EPISTEMICS : EPISTEMICS,
             result,
             ...(requireFalsifier && !isDerive ? { encodedFalsifiers: encodedFalsifiers(api) } : {}),
@@ -342,13 +347,14 @@ async function run(ctx) {
         }
     }
     else {
-        out('  no candidate is `promising` from the default {mass} anchor.');
+        out('  no candidate is `promising` from the anchor above.');
     }
     if (clash.length) {
         out(`\n  MAGNITUDE-CLASH (representative values differ by > N orders — a falsifier):`);
         for (const r of clash) {
             const basis = r.magnitudeUsedAnchor ? '  (anchor-derived)' : '';
-            out(`    ${(r.a + ' ≟ ' + r.b).padEnd(52)} ~${r.ordersApart.toFixed(1)} orders apart${basis}`);
+            // A magnitude estimate is a statistic: three digits, marked approximate.
+            out(`    ${(r.a + ' ≟ ' + r.b).padEnd(52)} ~${api.formatQuantity(r.ordersApart, 3)} orders apart${basis}`);
         }
     }
     const subsumed = inert.filter((r) => r.subsuming);