universal-physics-tensor 10.0.0 → 12.0.0

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

@@ -1 +1 @@
-{"version":3,"file":"explain.js","sourceRoot":"","sources":["../../../src/cli/commands/explain.ts"],"names":[],"mappings":"AAeA,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,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAErD,mFAAmF;AACnF,MAAM,iBAAiB,GAAG,CAAC,CAAC;AAE5B,MAAM,KAAK,GAAe;IACxB,UAAU,CAAC,SAAS,EAAE,mDAAmD,CAAC;IAC1E,SAAS;CACV,CAAC;AAEF,MAAM,IAAI,GAAG;;;;;;;;;;;;;;;;;;;;;;;;4DAwB+C,CAAC;AAE7D;;;;;;GAMG;AACH,SAAS,UAAU,CAAC,GAAsB,EAAE,IAAuB;IACjE,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IACnD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,aAAa;IAE9E,IAAI,MAAM,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,MAAM,IAAI,UAAU,CAClB,+BAA+B,IAAI,4BAA4B;cAC3D,+EAA+E,CACpF,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,gBAAgB,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACtH,MAAM,QAAQ,GAAG,WAAW,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;IACxE,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,IAAI,IAAuD,CAAC;QAC5D,IAAI,CAAC;YACH,IAAI,GAAG,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC3D,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,IAAI,CAAC,YAAY,GAAG,CAAC,wBAAwB;gBAAE,MAAM,IAAI,QAAQ,CAAC,gBAAgB,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YAC/F,IAAI,CAAC,YAAY,GAAG,CAAC,uBAAuB,EAAE,CAAC;gBAC7C,MAAM,IAAI,QAAQ,CAAC,iBAAiB,CAAC,CAAC,UAAU,2BAA2B,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YAC1F,CAAC;YACD,4FAA4F;YAC5F,MAAM,IAAI,QAAQ,CAAC,iBAAiB,CAAC,CAAC,UAAU,6CAA8C,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC;QACvH,CAAC;QACD,IAAI,CAAC,CAAC,GAAG,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACjD,MAAM,IAAI,QAAQ,CAAC,iBAAiB,CAAC,CAAC,UAAU,sCAAsC,CAAC,CAAC,IAAI,oBAAoB,CAAC,CAAC;QACpH,CAAC;QACD,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;QAC5B,wEAAwE;QACxE,2EAA2E;QAC3E,wBAAwB;QACxB,IAAI,IAAI,CAAC,eAAe,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACpH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AAClC,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,cAAc,CACrB,GAAsB,EACtB,MAAc;IAEd,MAAM,EAAE,GAAG,GAAG,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;IACvC,IAAI,EAAE,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAClC,MAAM,CAAC,GAAG,GAAG,CAAC,aAAa,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IAC/D,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAEpB,IAAI,IAAI,GAAG,GAAG,MAAM,0IAA0I,CAAC;IAC/J,IAAI,IAAI,CAAC,CAAC,YAAY;QACpB,CAAC,CAAC,oFAAoF;QACtF,CAAC,CAAC,sHAAsH,CAAC;IAC3H,IAAI,IAAI,CAAC,CAAC,oBAAoB;QAC5B,CAAC,CAAC,uBAAuB,MAAM,qCAAqC;QACpE,CAAC,CAAC,iEAAiE,CAAC;IACtE,OAAO;QACL,EAAE;QACF,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,YAAY,EAAE,CAAC,CAAC,YAAY;QAC5B,oBAAoB,EAAE,CAAC,CAAC,oBAAoB;QAC5C,IAAI;KACL,CAAC;AACJ,CAAC;AAED,mGAAmG;AACnG,SAAS,kBAAkB,CACzB,GAAsB,EACtB,MAAc;IAEd,MAAM,IAAI,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;IACzE,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1B,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,mBAAmB,EAAE,CAAC;QACzC,IAAI,EAAE,CAAC,cAAc,KAAK,SAAS;YAAE,SAAS;QAC9C,MAAM,QAAQ,GAAG,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC;QAC3C,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC;YAAE,SAAS;QAC1C,MAAM,OAAO,GAAG,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;QACnE,IAAI,OAAO,KAAK,SAAS;YAAE,SAAS;QACpC,MAAM,SAAS,GAAG,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC;QAC7C,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;QACpC,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC;YAAE,SAAS;QAChD,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,IAAI;YAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC;QACrF,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI;YAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC;IACvF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,gBAAgB,CACvB,GAAsB,EACtB,GAAsB,EACtB,MAAc,EACd,KAAa,EACb,CAAmD;IAEnD,GAAG,CAAC,OAAO,MAAM,cAAc,KAAK,GAAG,CAAC,CAAC;IACzC,GAAG,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IACtB,IAAI,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;QACzB,GAAG,CAAC,gBAAgB,CAAC,CAAC;QACtB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;YAC9B,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7E,MAAM,KAAK,GACT,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACtG,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,IAAI,GAAG,GAAG,KAAK,EAAE,CAAC,CAAC;YAClD,IAAI,CAAC,CAAC,eAAe;gBAAE,GAAG,CAAC,WAAW,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IACD,IAAI,CAAC,CAAC,gBAAgB,CAAC,MAAM,EAAE,CAAC;QAC9B,GAAG,CAAC,mCAAmC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1E,CAAC;AACH,CAAC;AAED,uFAAuF;AACvF,SAAS,WAAW,CAAC,CAAqB,EAAE,CAAqB;IAC/D,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACvG,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACjD,IAAI,KAAK,KAAK,CAAC;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAChC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,IAAI,IAAI,CAAC;AACzC,CAAC;AAED,SAAS,MAAM,CACb,GAAsB,EACtB,KAAwC,EACxC,OAAoC,EACpC,UAA+B;IAE/B,MAAM,OAAO,GAAG,CAAC,GAAW,EAAU,EAAE;QACtC,MAAM,GAAG,GAAG,GAAG,CAAC,mBAAmB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;QAC9D,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,MAAM,IAAI,QAAQ,CAChB,iBAAiB,GAAG,mCAAmC;gBACrD,wEAAwE,CAC3E,CAAC;QACJ,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACpD,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,IAAI,GAAG,CAAC,mBAAmB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC;YAC/D,oEAAoE;YACpE,+DAA+D;YAC/D,IAAI,QAAuB,CAAC;YAC5B,IAAI,CAAC;gBACH,QAAQ,GAAG,GAAG,CAAC,iBAAiB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAC/C,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,IAAI,CAAC,YAAY,GAAG,CAAC,yBAAyB;oBAAE,MAAM,IAAI,QAAQ,CAAC,gBAAgB,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;gBAChG,MAAM,CAAC,CAAC;YACV,CAAC;YACD,IAAI,QAAQ,KAAK,IAAI;gBAAE,SAAS;QAClC,CAAC;QACD,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC;YACpD,MAAM,IAAI,QAAQ,CAAC,iBAAiB,IAAI,mBAAmB,CAAC,CAAC;QAC/D,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IACpB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IAE/B,MAAM,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC;IAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,IAAI,UAAU,CAAC,oDAAoD,CAAC,CAAC;IAC7E,CAAC;IAED,+EAA+E;IAC/E,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAC7C,IAAI,QAAQ,EAAE,CAAC;QACb,+GAA+G;QAC/G,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,QAAQ,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,QAAQ,EAAE,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;YACjH,OAAO,CAAC,CAAC;QACX,CAAC;QACD,GAAG,CAAC,OAAO,MAAM,gGAAgG,CAAC,CAAC;QACnH,GAAG,CAAC,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;QAC1B,OAAO,CAAC,CAAC;IACX,CAAC;IAED,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/D,8EAA8E;IAC9E,8EAA8E;IAC9E,yEAAyE;IACzE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9F,4EAA4E;IAC5E,kFAAkF;IAClF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IAClC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChD,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,0BAA0B,EAAE,CAAC;QACnD,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAAE,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACzD,CAAC;IACD,IAAI,cAAc,GAAG,GAAG,CAAC,mBAAmB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC5D,IAAI,cAAc,KAAK,IAAI,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,GAAG,CAAC,iBAAiB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAClD,sEAAsE;QACtE,sEAAsE;QACtE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChD,cAAc,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QAC5B,CAAC;IACH,CAAC;IACD,IAAI,cAAc,KAAK,IAAI,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,GAAG,CAAC,iBAAiB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAClD,sFAAsF;QACtF,uEAAuE;QACvE,MAAM,KAAK,GAAG,eAAe,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC3C,MAAM,KAAK,GAAG,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,iBAAiB,CAAC,IAAI,EAAE,CAAC;QAC/D,MAAM,UAAU,GACd,KAAK,KAAK,IAAI;YACZ,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,oBAAoB,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG;gBAC5E,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzG,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7G,MAAM,IAAI,QAAQ,CAChB,iBAAiB,MAAM,8BAA8B,MAAM,sBAAsB;YAC/E,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;gBACd,CAAC,CAAC,kBAAkB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;gBACtC,CAAC,CAAC,qDAAqD,CAAC;YAC1D,UAAU,CACb,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,GAAG,CAAC,gBAAgB,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK;QAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACjC,IAAI,CAAC;YACH,GAAG,CAAC,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC3C,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,IAAI,CAAC,YAAY,GAAG,CAAC,wBAAwB;gBAAE,MAAM,IAAI,QAAQ,CAAC,gBAAgB,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YAC/F,MAAM,CAAC,CAAC;QACV,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,GAAG,CAAC,aAAa,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAChD,IAAI,CAAC,CAAC;IACN,IAAI,CAAC;QACH,CAAC,GAAG,GAAG,CAAC,eAAe,CAAC,KAAK,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC;IACxD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,GAAG,CAAC,gBAAgB,IAAI,CAAC,YAAY,GAAG,CAAC,wBAAwB,EAAE,CAAC;YACnF,MAAM,IAAI,QAAQ,CAAC,gBAAgB,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QAClD,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;IACD,2FAA2F;IAC3F,yFAAyF;IACzF,sFAAsF;IACtF,wFAAwF;IACxF,oEAAoE;IACpE,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC;IAClC,IAAI,CAAC,CAAC,cAAc,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,CAAC,EAAE,CAAC;QACnH,MAAM,IAAI,QAAQ,CAAC,gBAAgB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjF,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACnF,MAAM,YAAY,GAAG,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACjE,MAAM,kBAAkB,GAAG,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,eAAe,CAAC,KAAK,EAAE,OAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACvG,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,cAAc,EAAE,kBAAkB,EAAE,cAAc,CAAC,CAAC;IAEhF,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,QAAQ,CACN;YACE,OAAO,EAAE,SAAS;YAClB,MAAM;YACN,MAAM,EACJ,OAAO,KAAK,IAAI,IAAI,kBAAkB,KAAK,SAAS;gBAClD,CAAC,CAAC;oBACE,GAAG,CAAC;oBACJ,WAAW,EAAE;wBACX,WAAW,EAAE,OAAO,CAAC,WAAW;wBAChC,QAAQ,EAAE,OAAO,CAAC,QAAQ;wBAC1B,SAAS,EAAE,OAAO,CAAC,IAAI;wBACvB,WAAW,EAAE,KAAK;wBAClB,WAAW,EAAE,kBAAkB;qBAChC;iBACF;gBACH,CAAC,CAAC,CAAC;SACR,EACD,GAAG,CAAC,KAAK,CACV,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IAED,gBAAgB,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IAC7C,IAAI,OAAO,KAAK,IAAI,IAAI,kBAAkB,KAAK,SAAS,EAAE,CAAC;QACzD,gBAAgB,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,kBAAkB,CAAC,CAAC;QACpE,MAAM,GAAG,GAAG,GAAG,OAAO,CAAC,WAAW,gBAAgB,OAAO,CAAC,QAAQ,EAAE,CAAC;QACrE,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,GAAG,CAAC,KAAK,cAAc,QAAQ,OAAO,CAAC,IAAI,yBAAyB,GAAG,kBAAkB,CAAC,CAAC;QAC7F,CAAC;aAAM,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;YAC3B,MAAM,KAAK,GAAG,CAAC,CAAC,cAAe,GAAG,kBAAkB,CAAC,cAAe,CAAC;YACrE,GAAG,CACD,KAAK,cAAc,QAAQ,OAAO,CAAC,IAAI,yBAAyB,GAAG,KAAK;gBACtE,oBAAoB,cAAc,MAAM,OAAO,CAAC,IAAI,MAAM,GAAG,CAAC,cAAc,CAAC,KAAK,CAAC,GAAG,CACzF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,KAAK,cAAc,QAAQ,OAAO,CAAC,IAAI,yBAAyB,GAAG,IAAI,CAAC,CAAC;QAC/E,CAAC;IACH,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAY;IAC9B,IAAI,EAAE,SAAS;IACf,OAAO,EAAE,EAAE;IACX,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC;IAC9B,OAAO,EAAE,oFAAoF;IAC7F,OAAO,EAAE,4CAA4C;IACrD,KAAK,EAAE,SAAS;IAChB,GAAG;CACJ,CAAC;AAEF,eAAe,CAAC,OAAO,CAAC,CAAC","sourcesContent":["/**\n * `upt explain` — explain how the graph determines a quantity: the\n * identifiability verdict, recovered value, derivation chains, and whether\n * the inputs are dimensionally sufficient. Transposed verbatim from\n * bin/upt.mjs's `explain()` + `parseKnown()` (lines 183-235), plus\n * `--source` (the old CLI's module-level `GRAPH` was always the catalog\n * graph) and `--json`.\n *\n * `parseKnown`'s two-mode positional contract (bare names XOR name=value,\n * never mixed) and its malformed-input rejections are pinned by\n * `tests/cli/upt-explain-inputs.test.ts` against the old bin — ported here\n * unchanged, with `process.exit(2)` sites converted to `UsageError` (same\n * message text; `main.ts`'s catch maps it to exit 2).\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 } from '../graphs.js';\nimport { emitJson } from '../output.js';\nimport { splitAssignments } from '../bindings.js';\nimport { UsageError, CliError } from '../errors.js';\nimport { searchNameWords } from '../search-index.js';\n\n/** How many `upt search` hits a NOT COVERED answer lists before \"… and N more\". */\nconst SEARCH_HITS_SHOWN = 5;\n\nconst FLAGS: FlagSpec[] = [\n  sourceFlag('catalog', 'Which graph to read: catalog, canonical, or both.'),\n  JSON_FLAG,\n];\n\nconst HELP = `upt explain <quantity> [name=value | name] ...\n            [--source=catalog|canonical|both] [--json]\n        Explain how the graph determines a quantity: the identifiability\n        verdict, recovered value, derivation chains, and whether the inputs\n        are dimensionally sufficient. A name that is not a quantity of the\n        graph is reported NOT COVERED, with a one-edit name and what \\`upt search\\`\n        finds for its words, and exits 1. A shared token such as \\`length\\` is\n        not a near name. An evaluate key (\\`I_W_per_m2\\`, \\`B_T\\`, \\`T_K\\`, \\`g_00\\`)\n        is the graph quantity that edge records. A name that does not resolve\n        exits 1. --source picks the graph (default\n        catalog); the result names the source it used.\n        --source=both also prints the other quantity name when a canonical\n        equation restates a catalog bridge under a different name, and says\n        whether the two recovered values agree.\n        A value is a number, a unit (mass=1Msun) or a constant expression\n        (mass=1*M_sun). A bare number is already in the quantity's unit.\n        T, temperature, temp, and T_K are kelvin: an energy on that name is\n        k_B T, using boltzmann-constant, k_B, or kB when one of those is\n        bound, and any other dimension is an error.\n        A tagged quantity converts into that unit (GeV, bit, nat, J/K).\n        magnetic-field and magnetic-flux-density are one vacuum B: a value\n        given under either name is available under the other. The same\n        number under both spellings is one input. Two different numbers\n        are an error, and no frequency is recovered.\n        e.g.  upt explain hawking-temperature mass=1.989e30`;\n\n/**\n * Two modes, never mixed: bare names (structural analysis) OR name=value\n * (adds value recovery). Malformed inputs are rejected with a `UsageError`\n * rather than silently coerced — `mass=abc`→dropped, `mass=`→0,\n * `mass=1e500`→∞, and a bare name alongside a valued one were all silent\n * wrong-physics footguns.\n */\nfunction parseKnown(api: CommandCtx['api'], args: readonly string[]): { known: string[] | Record<string, number>; notes: string[] } {\n  const valued = args.filter((a) => a.includes('='));\n  if (valued.length === 0) return { known: [...args], notes: [] }; // names mode\n\n  if (valued.length !== args.length) {\n    const bare = args.filter((a) => !a.includes('=')).join(', ');\n    throw new UsageError(\n      `upt: cannot mix bare names (${bare}) with name=value inputs. `\n        + 'Use all names (structural) or all name=value (with recovery). See `upt help`.'\n    );\n  }\n\n  const assignments = splitAssignments('explain', args).map((a) => ({ name: a.name, raw: a.raw, assignment: a.token }));\n  const siblings = assignments.map((a) => ({ name: a.name, raw: a.raw }));\n  const values: Record<string, number> = {};\n  const notes: string[] = [];\n  for (const a of assignments) {\n    let read: ReturnType<CommandCtx['api']['readNamedBinding']>;\n    try {\n      read = api.readNamedBinding(a.name, a.raw, { siblings });\n    } catch (e) {\n      if (e instanceof api.SynonymDisagreementError) throw new CliError(`upt explain: ${e.message}`);\n      if (e instanceof api.TemperatureBindingError) {\n        throw new CliError(`upt explain: '${a.assignment}' is not a temperature. ${e.message}`);\n      }\n      // A bad value is exit 1, as on eval and evaluate; a missing `=` was refused as usage above.\n      throw new CliError(`upt explain: '${a.assignment}' is not a finite number or a known unit. ${(e as Error).message}`);\n    }\n    if (a.raw === '' || !Number.isFinite(read.value)) {\n      throw new CliError(`upt explain: '${a.assignment}' is not a finite number. Expected ${a.name}=<number or unit>.`);\n    }\n    values[a.name] = read.value;\n    // Unit-convention notes were already on the binding and explain did not\n    // print them. The temperature reading adds a note; the reader returns that\n    // one on its own field.\n    if (read.temperatureNote !== undefined && !notes.includes(read.temperatureNote)) notes.push(read.temperatureNote);\n  }\n  return { known: values, notes };\n}\n\n/**\n * A bridge id (`be-NN`) is a graph EDGE, not a quantity NODE — `explain`\n * derives quantities, so it can never resolve a bridge id and would emit a bare\n * \"no derivation path\". Recognise a catalog bridge id and redirect helpfully,\n * tailored by grounding tier (closed-form evaluator vs graph-computable,\n * data-confronted or not). Returns `null` for non-bridge targets (fall through\n * to the normal graph explain).\n */\nfunction bridgeRedirect(\n  api: CommandCtx['api'],\n  target: string,\n): { id: number; tier: string; hasGraphEdge: boolean; hasDataConfrontation: boolean; hint: string } | null {\n  const id = api.catalogIdNumber(target);\n  if (id === undefined) return null;\n  const b = api.auditCoverage().bridges.find((x) => x.id === id);\n  if (!b) return null;\n\n  let hint = `${target} is a bridge equation (a relation between quantities), not a graph quantity — \\`explain\\` derives quantities from the composition graph.`;\n  hint += b.hasGraphEdge\n    ? ` Its quantities appear in \\`upt map\\`; explain one of them to see its derivations.`\n    : ` It is a closed-form evaluator bridge (no composition-graph edge), evaluated directly rather than through the graph.`;\n  hint += b.hasDataConfrontation\n    ? ` See \\`upt confront ${target}\\` for its real-data confrontation.`\n    : ` It has no committed data confrontation (see \\`upt coverage\\`).`;\n  return {\n    id,\n    tier: b.tier,\n    hasGraphEdge: b.hasGraphEdge,\n    hasDataConfrontation: b.hasDataConfrontation,\n    hint,\n  };\n}\n\n/** A canonical equation and the catalog bridge it restates, when those two target names differ. */\nfunction restatementPartner(\n  api: CommandCtx['api'],\n  target: string,\n): { name: string; canonicalId: string; bridgeId: number } | null {\n  const norm = (s: string): string => s.replaceAll('_', '-').toLowerCase();\n  const want = norm(target);\n  for (const eq of api.CANONICAL_EQUATIONS) {\n    if (eq.restatesBridge === undefined) continue;\n    const bridgeId = Number(eq.restatesBridge);\n    if (!Number.isInteger(bridgeId)) continue;\n    const catalog = api.CATALOG_GRAPH.find((e) => e.beId === bridgeId);\n    if (catalog === undefined) continue;\n    const canonName = eq.dimensional.target.name;\n    const catName = catalog.target.name;\n    if (norm(canonName) === norm(catName)) continue;\n    if (norm(canonName) === want) return { name: catName, canonicalId: eq.id, bridgeId };\n    if (norm(catName) === want) return { name: canonName, canonicalId: eq.id, bridgeId };\n  }\n  return null;\n}\n\nfunction printExplanation(\n  api: CommandCtx['api'],\n  out: CommandCtx['out'],\n  target: string,\n  label: string,\n  x: ReturnType<CommandCtx['api']['explainQuantity']>,\n): void {\n  out(`\\n● ${target}  [source: ${label}]`);\n  out(`  ${x.summary}`);\n  if (x.derivations.length) {\n    out('  derivations:');\n    for (const d of x.derivations) {\n      const val = d.value !== undefined ? ` = ${api.formatQuantity(d.value)}` : '';\n      const chain =\n        d.leafInputs.join(',') !== d.sources.join(',') ? `  [from leaves: ${d.leafInputs.join(', ')}]` : '';\n      out(`    - ${d.edge} (${d.label})${val}${chain}`);\n      if (d.dimensionalForm) out(`        ${d.dimensionalForm.formula}`);\n    }\n  }\n  if (x.blockingFrontier.length) {\n    out(`  to determine it, also supply: ${x.blockingFrontier.join(', ')}`);\n  }\n}\n\n/** Relative agreement of two recovered values. Absent when either value is missing. */\nfunction valuesAgree(a: number | undefined, b: number | undefined): boolean | undefined {\n  if (a === undefined || b === undefined || !Number.isFinite(a) || !Number.isFinite(b)) return undefined;\n  const scale = Math.max(Math.abs(a), Math.abs(b));\n  if (scale === 0) return a === b;\n  return Math.abs(a - b) / scale <= 1e-6;\n}\n\nfunction rebind(\n  api: CommandCtx['api'],\n  known: string[] | Record<string, number>,\n  aliases: ReadonlyMap<string, string>,\n  graphNames: ReadonlySet<string>,\n): string[] | Record<string, number> {\n  const rewrite = (key: string): string => {\n    const hit = api.resolveQuantityName(key, graphNames, aliases);\n    if (hit === null) {\n      throw new CliError(\n        `upt explain: '${key}' did not resolve to a quantity. ` +\n          'A failed lookup is not a derivation, and this command does not exit 0.',\n      );\n    }\n    return hit;\n  };\n  if (Array.isArray(known)) return known.map(rewrite);\n  const out: Record<string, number> = {};\n  for (const [key, value] of Object.entries(known)) {\n    if (api.resolveQuantityName(key, graphNames, aliases) === null) {\n      // A constant is not a graph quantity: the equation already uses the\n      // registered value, so a stated value is checked, never bound.\n      let constant: string | null;\n      try {\n        constant = api.constantAgreement(key, value);\n      } catch (e) {\n        if (e instanceof api.ConstantDisagreementError) throw new CliError(`upt explain: ${e.message}`);\n        throw e;\n      }\n      if (constant !== null) continue;\n    }\n    const name = rewrite(key);\n    if (Object.hasOwn(out, name) && out[name] !== value) {\n      throw new CliError(`upt explain: '${name}' is given twice.`);\n    }\n    out[name] = value;\n  }\n  return out;\n}\n\nasync function run(ctx: CommandCtx): Promise<number> {\n  const { args, api, out } = ctx;\n\n  const [target, ...rest] = args.positionals;\n  if (!target) {\n    throw new UsageError('upt explain needs a quantity name. See `upt help`.');\n  }\n\n  // A bridge id is an edge, not a quantity — redirect before touching the graph.\n  const redirect = bridgeRedirect(api, target);\n  if (redirect) {\n    // A bridge id names a CATALOG bridge whatever --source says; say so rather than print a source it did not use.\n    if (args.flags.has('json')) {\n      emitJson({ command: 'explain', source: 'catalog', result: { kind: 'bridge-redirect', ...redirect } }, ctx.write);\n      return 0;\n    }\n    out(`\\n● ${target}  [source: catalog bridge registry; a bridge id names a catalog bridge whatever --source says]`);\n    out(`  ${redirect.hint}`);\n    return 0;\n  }\n\n  const { graph, label, source } = resolveGraph(api, args.flags);\n  // A name that is not a quantity of this graph is NOT COVERED (persona finding\n  // C4). It used to get the same \"no derivation path\" answer as a real quantity\n  // the inputs cannot reach, and exit 0. Underscores resolve like hyphens.\n  const names = new Set(graph.flatMap((e) => [e.target.name, ...e.sources.map((s) => s.name)]));\n  // A dimensionless group the equation multiplies (sound-speed's gamma) is an\n  // optional input, not a graph node. It resolves as a binding and not as a target.\n  const inputNames = new Set(names);\n  const edgeIds = new Set(graph.map((e) => e.id));\n  for (const group of api.CANONICAL_GROUP_PREFACTORS) {\n    if (edgeIds.has(group.id)) inputNames.add(group.group);\n  }\n  let resolvedTarget = api.resolveQuantityName(target, names);\n  if (resolvedTarget === null) {\n    const near = api.nearQuantityNames(target, names);\n    // A single token one edit from exactly one quantity is that quantity.\n    // A hyphenated miss stays a suggestion: `hawkng-temperature` exits 1.\n    if (!/[-_\\s]/.test(target) && near.length === 1) {\n      resolvedTarget = near[0]!;\n    }\n  }\n  if (resolvedTarget === null) {\n    const near = api.nearQuantityNames(target, names);\n    // Audit I5: a law or model name (`schrodinger-equation`) is not a quantity; name what\n    // `upt search` finds for its words. A shared token is not a near name.\n    const found = searchNameWords(api, target);\n    const shown = found?.matches.slice(0, SEARCH_HITS_SHOWN) ?? [];\n    const searchLine =\n      found === null\n        ? ''\n        : `\\n  \\`upt search ${found.words.join(' ')}\\` finds ${found.matches.length}:` +\n          shown.map((m) => `\\n    ${m.entry.id} (${m.entry.kind.replace('-', ' ')}) — ${m.entry.command}`).join('') +\n          (found.matches.length > shown.length ? `\\n    … and ${found.matches.length - shown.length} more` : '');\n    throw new CliError(\n      `upt explain: '${target}' is not a quantity in the ${source} graph: NOT COVERED.` +\n        (near.length > 0\n          ? ` did you mean: ${near.join(', ')}?`\n          : ' `upt canonical` and `upt map` list the vocabulary.') +\n        searchLine,\n    );\n  }\n  const aliases = api.aliasesForTarget(graph, resolvedTarget);\n  const parsed = parseKnown(api, rest);\n  for (const note of parsed.notes) ctx.err(note);\n  if (!Array.isArray(parsed.known)) {\n    try {\n      api.assertSynonymAgreement(parsed.known);\n    } catch (e) {\n      if (e instanceof api.SynonymDisagreementError) throw new CliError(`upt explain: ${e.message}`);\n      throw e;\n    }\n  }\n  const rebound = rebind(api, parsed.known, aliases, inputNames);\n  const known = api.shareSynonyms(rebound, names);\n  let x;\n  try {\n    x = api.explainQuantity(graph, resolvedTarget, known);\n  } catch (e) {\n    if (e instanceof api.CarrierSignError || e instanceof api.SynonymDisagreementError) {\n      throw new CliError(`upt explain: ${e.message}`);\n    }\n    throw e;\n  }\n  // Every route refused the point (a validity domain, opposite carrier signs, a formula with\n  // no finite value there) and no value recovered: the inputs are a bad value, exit 1, the\n  // code `upt evaluate` gives the same failure. A refusal beside a recovered value from\n  // another route stays in the report, and an unset coefficient is not a bad value: it is\n  // the edge's own state, reported as \"no recovered number\" (exit 0).\n  const refusals = x.refusals ?? [];\n  if (x.recoveredValue === undefined && refusals.length > 0 && refusals.every((r) => r.kind !== 'coefficient-unset')) {\n    throw new CliError(`upt explain: ${refusals.map((r) => r.reason).join('; ')}`);\n  }\n  const partner = source === 'both' ? restatementPartner(api, resolvedTarget) : null;\n  const partnerKnown = partner !== null && names.has(partner.name);\n  const partnerExplanation = partnerKnown ? api.explainQuantity(graph, partner!.name, known) : undefined;\n  const agree = valuesAgree(x.recoveredValue, partnerExplanation?.recoveredValue);\n\n  if (args.flags.has('json')) {\n    emitJson(\n      {\n        command: 'explain',\n        source,\n        result:\n          partner !== null && partnerExplanation !== undefined\n            ? {\n                ...x,\n                restatement: {\n                  canonicalId: partner.canonicalId,\n                  bridgeId: partner.bridgeId,\n                  otherName: partner.name,\n                  valuesAgree: agree,\n                  explanation: partnerExplanation,\n                },\n              }\n            : x,\n      },\n      ctx.write,\n    );\n    return 0;\n  }\n\n  printExplanation(api, out, target, label, x);\n  if (partner !== null && partnerExplanation !== undefined) {\n    printExplanation(api, out, partner.name, label, partnerExplanation);\n    const who = `${partner.canonicalId} restates be-${partner.bridgeId}`;\n    if (agree === true) {\n      out(`  ${resolvedTarget} and ${partner.name} are one restatement (${who}). Values agree.`);\n    } else if (agree === false) {\n      const ratio = x.recoveredValue! / partnerExplanation.recoveredValue!;\n      out(\n        `  ${resolvedTarget} and ${partner.name} are one restatement (${who}). ` +\n          `Values DISAGREE: ${resolvedTarget} / ${partner.name} = ${api.formatQuantity(ratio)}.`,\n      );\n    } else {\n      out(`  ${resolvedTarget} and ${partner.name} are one restatement (${who}).`);\n    }\n  }\n  return 0;\n}\n\nexport const command: Command = {\n  name: 'explain',\n  aliases: [],\n  flags: FLAGS,\n  help: commandHelp(HELP, FLAGS),\n  summary: 'Show how the graph determines a quantity, or say that it does not cover that name.',\n  example: 'upt explain hawking-temperature mass=1Msun',\n  group: 'explore',\n  run,\n};\n\nregisterCommand(command);\n"]}
+{"version":3,"file":"explain.js","sourceRoot":"","sources":["../../../src/cli/commands/explain.ts"],"names":[],"mappings":"AAeA,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,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAKrD,mFAAmF;AACnF,MAAM,iBAAiB,GAAG,CAAC,CAAC;AAE5B,MAAM,KAAK,GAAe;IACxB,UAAU,CAAC,SAAS,EAAE,mDAAmD,CAAC;IAC1E,SAAS;CACV,CAAC;AAEF,MAAM,IAAI,GAAG;;;;;;;;;;;;;;;;;;;;;;;;4DAwB+C,CAAC;AAc7D;;;;;;GAMG;AACH,SAAS,UAAU,CACjB,GAAsB,EACtB,IAAuB,EACvB,UAA6B;IAE7B,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IACnD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,aAAa;IAE9E,IAAI,MAAM,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,MAAM,IAAI,UAAU,CAClB,+BAA+B,IAAI,4BAA4B;cAC3D,+EAA+E,CACpF,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,gBAAgB,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACtH,MAAM,QAAQ,GAAG,WAAW,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;IACxE,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,IAAI,IAAuD,CAAC;QAC5D,IAAI,CAAC;YACH,IAAI,GAAG,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC3D,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,IAAI,CAAC,YAAY,GAAG,CAAC,wBAAwB;gBAAE,MAAM,IAAI,QAAQ,CAAC,gBAAgB,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YAC/F,IAAI,CAAC,YAAY,GAAG,CAAC,uBAAuB,EAAE,CAAC;gBAC7C,MAAM,IAAI,QAAQ,CAAC,iBAAiB,CAAC,CAAC,UAAU,2BAA2B,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YAC1F,CAAC;YACD,4FAA4F;YAC5F,MAAM,IAAI,QAAQ,CAAC,iBAAiB,CAAC,CAAC,UAAU,6CAA8C,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC;QACvH,CAAC;QACD,IAAI,CAAC,CAAC,GAAG,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACjD,MAAM,IAAI,QAAQ,CAAC,iBAAiB,CAAC,CAAC,UAAU,sCAAsC,CAAC,CAAC,IAAI,oBAAoB,CAAC,CAAC;QACpH,CAAC;QACD,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;QAC5B,4EAA4E;QAC5E,yEAAyE;QACzE,wEAAwE;QACxE,yEAAyE;QACzE,2EAA2E;QAC3E,MAAM,QAAQ,GAAG,GAAG,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,UAAU,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC;QAC5F,MAAM,WAAW,GAAG,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAClF,IAAI,IAAI,CAAC,WAAW,IAAI,WAAW,KAAK,SAAS,IAAI,CAAC,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC,EAAE,CAAC;YACvG,MAAM,IAAI,QAAQ,CAChB,iBAAiB,CAAC,CAAC,UAAU,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI;gBACpF,qBAAqB,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,QAAQ,GAAG,CAC/D,CAAC;QACJ,CAAC;QACD,wEAAwE;QACxE,2EAA2E;QAC3E,wBAAwB;QACxB,IAAI,IAAI,CAAC,eAAe,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACpH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AAClC,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,cAAc,CACrB,GAAsB,EACtB,MAAc;IAEd,MAAM,EAAE,GAAG,GAAG,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;IACvC,IAAI,EAAE,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAClC,MAAM,CAAC,GAAG,GAAG,CAAC,aAAa,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IAC/D,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAEpB,IAAI,IAAI,GAAG,GAAG,MAAM,0IAA0I,CAAC;IAC/J,IAAI,IAAI,CAAC,CAAC,YAAY;QACpB,CAAC,CAAC,oFAAoF;QACtF,CAAC,CAAC,sHAAsH,CAAC;IAC3H,IAAI,IAAI,CAAC,CAAC,oBAAoB;QAC5B,CAAC,CAAC,uBAAuB,MAAM,qCAAqC;QACpE,CAAC,CAAC,iEAAiE,CAAC;IACtE,OAAO;QACL,EAAE;QACF,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,YAAY,EAAE,CAAC,CAAC,YAAY;QAC5B,oBAAoB,EAAE,CAAC,CAAC,oBAAoB;QAC5C,IAAI;KACL,CAAC;AACJ,CAAC;AAED,mGAAmG;AACnG,SAAS,kBAAkB,CACzB,GAAsB,EACtB,MAAc;IAEd,MAAM,IAAI,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;IAClE,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1B,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,mBAAmB,EAAE,CAAC;QACzC,IAAI,EAAE,CAAC,cAAc,KAAK,SAAS;YAAE,SAAS;QAC9C,MAAM,QAAQ,GAAG,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC;QAC3C,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC;YAAE,SAAS;QAC1C,MAAM,OAAO,GAAG,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;QACnE,IAAI,OAAO,KAAK,SAAS;YAAE,SAAS;QACpC,MAAM,SAAS,GAAG,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC;QAC7C,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;QACpC,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC;YAAE,SAAS;QAChD,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,IAAI;YAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC;QACrF,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI;YAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC;IACvF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,gBAAgB,CACvB,GAAsB,EACtB,GAAsB,EACtB,MAAc,EACd,KAAa,EACb,CAAmD;IAEnD,GAAG,CAAC,OAAO,MAAM,cAAc,KAAK,GAAG,CAAC,CAAC;IACzC,GAAG,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IACtB,IAAI,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;QACzB,GAAG,CAAC,gBAAgB,CAAC,CAAC;QACtB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;YAC9B,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7E,MAAM,KAAK,GACT,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACtG,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,IAAI,GAAG,GAAG,KAAK,EAAE,CAAC,CAAC;YAClD,IAAI,CAAC,CAAC,eAAe;gBAAE,GAAG,CAAC,WAAW,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IACD,IAAI,CAAC,CAAC,gBAAgB,CAAC,MAAM,EAAE,CAAC;QAC9B,GAAG,CAAC,mCAAmC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1E,CAAC;AACH,CAAC;AAED,uFAAuF;AACvF,SAAS,WAAW,CAAC,CAAqB,EAAE,CAAqB;IAC/D,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACvG,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACjD,IAAI,KAAK,KAAK,CAAC;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAChC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,IAAI,IAAI,CAAC;AACzC,CAAC;AAED,SAAS,MAAM,CACb,GAAsB,EACtB,KAAwC,EACxC,OAAoC,EACpC,UAA+B;IAE/B,MAAM,OAAO,GAAG,CAAC,GAAW,EAAU,EAAE;QACtC,MAAM,GAAG,GAAG,GAAG,CAAC,mBAAmB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;QAC9D,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,MAAM,IAAI,QAAQ,CAChB,iBAAiB,GAAG,mCAAmC;gBACrD,wEAAwE,CAC3E,CAAC;QACJ,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACpD,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,IAAI,GAAG,CAAC,mBAAmB,CAAC,GAAG,EAAE,UAAU,EAAE,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC;YAC/D,oEAAoE;YACpE,+DAA+D;YAC/D,IAAI,QAAuB,CAAC;YAC5B,IAAI,CAAC;gBACH,QAAQ,GAAG,GAAG,CAAC,iBAAiB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAC/C,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,IAAI,CAAC,YAAY,GAAG,CAAC,yBAAyB;oBAAE,MAAM,IAAI,QAAQ,CAAC,gBAAgB,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;gBAChG,MAAM,CAAC,CAAC;YACV,CAAC;YACD,IAAI,QAAQ,KAAK,IAAI;gBAAE,SAAS;QAClC,CAAC;QACD,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC;YACpD,MAAM,IAAI,QAAQ,CAAC,iBAAiB,IAAI,mBAAmB,CAAC,CAAC;QAC/D,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IACpB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IAE/B,MAAM,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC;IAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,IAAI,UAAU,CAAC,oDAAoD,CAAC,CAAC;IAC7E,CAAC;IAED,+EAA+E;IAC/E,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAC7C,IAAI,QAAQ,EAAE,CAAC;QACb,+GAA+G;QAC/G,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,QAAQ,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,QAAQ,EAAE,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;YACjH,OAAO,CAAC,CAAC;QACX,CAAC;QACD,GAAG,CAAC,OAAO,MAAM,gGAAgG,CAAC,CAAC;QACnH,GAAG,CAAC,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;QAC1B,OAAO,CAAC,CAAC;IACX,CAAC;IAED,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/D,8EAA8E;IAC9E,8EAA8E;IAC9E,yEAAyE;IACzE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9F,4EAA4E;IAC5E,kFAAkF;IAClF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IAClC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChD,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,0BAA0B,EAAE,CAAC;QACnD,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAAE,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACzD,CAAC;IACD,IAAI,cAAc,GAAG,GAAG,CAAC,mBAAmB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC5D,IAAI,cAAc,KAAK,IAAI,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,GAAG,CAAC,iBAAiB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAClD,sEAAsE;QACtE,sEAAsE;QACtE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChD,cAAc,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QAC5B,CAAC;IACH,CAAC;IACD,IAAI,cAAc,KAAK,IAAI,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,GAAG,CAAC,iBAAiB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAClD,sFAAsF;QACtF,uEAAuE;QACvE,MAAM,KAAK,GAAG,eAAe,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC3C,MAAM,KAAK,GAAG,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,iBAAiB,CAAC,IAAI,EAAE,CAAC;QAC/D,MAAM,UAAU,GACd,KAAK,KAAK,IAAI;YACZ,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,oBAAoB,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG;gBAC5E,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzG,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7G,MAAM,IAAI,QAAQ,CAChB,iBAAiB,MAAM,8BAA8B,MAAM,sBAAsB;YAC/E,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;gBACd,CAAC,CAAC,kBAAkB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;gBACtC,CAAC,CAAC,qDAAqD,CAAC;YAC1D,UAAU,CACb,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,GAAG,CAAC,gBAAgB,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;IAC5D,yEAAyE;IACzE,2DAA2D;IAC3D,8EAA8E;IAC9E,MAAM,IAAI,GAAG,IAAI,GAAG,EAA6B,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACtC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO;YAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IACpE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK;QAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACjC,IAAI,CAAC;YACH,GAAG,CAAC,sBAAsB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC3C,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,IAAI,CAAC,YAAY,GAAG,CAAC,wBAAwB;gBAAE,MAAM,IAAI,QAAQ,CAAC,gBAAgB,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YAC/F,MAAM,CAAC,CAAC;QACV,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,GAAG,CAAC,aAAa,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAChD,IAAI,CAAC,CAAC;IACN,IAAI,CAAC;QACH,CAAC,GAAG,GAAG,CAAC,eAAe,CAAC,KAAK,EAAE,cAAc,EAAE,KAAK,CAAC,CAAC;IACxD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,GAAG,CAAC,gBAAgB,IAAI,CAAC,YAAY,GAAG,CAAC,wBAAwB,EAAE,CAAC;YACnF,MAAM,IAAI,QAAQ,CAAC,gBAAgB,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QAClD,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;IACD,2FAA2F;IAC3F,yFAAyF;IACzF,sFAAsF;IACtF,wFAAwF;IACxF,oEAAoE;IACpE,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC;IAClC,IAAI,CAAC,CAAC,cAAc,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,CAAC,EAAE,CAAC;QACnH,MAAM,IAAI,QAAQ,CAAC,gBAAgB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjF,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACnF,MAAM,YAAY,GAAG,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACjE,MAAM,kBAAkB,GAAG,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,eAAe,CAAC,KAAK,EAAE,OAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACvG,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,cAAc,EAAE,kBAAkB,EAAE,cAAc,CAAC,CAAC;IAEhF,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,QAAQ,CACN;YACE,OAAO,EAAE,SAAS;YAClB,MAAM;YACN,MAAM,EACJ,OAAO,KAAK,IAAI,IAAI,kBAAkB,KAAK,SAAS;gBAClD,CAAC,CAAC;oBACE,GAAG,CAAC;oBACJ,WAAW,EAAE;wBACX,WAAW,EAAE,OAAO,CAAC,WAAW;wBAChC,QAAQ,EAAE,OAAO,CAAC,QAAQ;wBAC1B,SAAS,EAAE,OAAO,CAAC,IAAI;wBACvB,WAAW,EAAE,KAAK;wBAClB,WAAW,EAAE,kBAAkB;qBAChC;iBACF;gBACH,CAAC,CAAC,CAAC;SACR,EACD,GAAG,CAAC,KAAK,CACV,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IAED,gBAAgB,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IAC7C,IAAI,OAAO,KAAK,IAAI,IAAI,kBAAkB,KAAK,SAAS,EAAE,CAAC;QACzD,gBAAgB,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,kBAAkB,CAAC,CAAC;QACpE,MAAM,GAAG,GAAG,GAAG,OAAO,CAAC,WAAW,gBAAgB,OAAO,CAAC,QAAQ,EAAE,CAAC;QACrE,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,GAAG,CAAC,KAAK,cAAc,QAAQ,OAAO,CAAC,IAAI,yBAAyB,GAAG,kBAAkB,CAAC,CAAC;QAC7F,CAAC;aAAM,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;YAC3B,MAAM,KAAK,GAAG,CAAC,CAAC,cAAe,GAAG,kBAAkB,CAAC,cAAe,CAAC;YACrE,GAAG,CACD,KAAK,cAAc,QAAQ,OAAO,CAAC,IAAI,yBAAyB,GAAG,KAAK;gBACtE,oBAAoB,cAAc,MAAM,OAAO,CAAC,IAAI,MAAM,GAAG,CAAC,cAAc,CAAC,KAAK,CAAC,GAAG,CACzF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,KAAK,cAAc,QAAQ,OAAO,CAAC,IAAI,yBAAyB,GAAG,IAAI,CAAC,CAAC;QAC/E,CAAC;IACH,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAY;IAC9B,IAAI,EAAE,SAAS;IACf,OAAO,EAAE,EAAE;IACX,WAAW,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE;IAC9B,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC;IAC9B,OAAO,EAAE,oFAAoF;IAC7F,OAAO,EAAE,4CAA4C;IACrD,KAAK,EAAE,SAAS;IAChB,GAAG;CACJ,CAAC;AAEF,eAAe,CAAC,OAAO,CAAC,CAAC","sourcesContent":["/**\n * `upt explain` — explain how the graph determines a quantity: the\n * identifiability verdict, recovered value, derivation chains, and whether\n * the inputs are dimensionally sufficient. Transposed verbatim from\n * bin/upt.mjs's `explain()` + `parseKnown()` (lines 183-235), plus\n * `--source` (the old CLI's module-level `GRAPH` was always the catalog\n * graph) and `--json`.\n *\n * `parseKnown`'s two-mode positional contract (bare names XOR name=value,\n * never mixed) and its malformed-input rejections are pinned by\n * `tests/cli/upt-explain-inputs.test.ts` against the old bin — ported here\n * unchanged, with `process.exit(2)` sites converted to `UsageError` (same\n * message text; `main.ts`'s catch maps it to exit 2).\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 } from '../graphs.js';\nimport { emitJson } from '../output.js';\nimport { splitAssignments } from '../bindings.js';\nimport { UsageError, CliError } from '../errors.js';\nimport { searchNameWords } from '../search-index.js';\n\n/** The exact SI dimension, as the barrel's `dimensionsEqual` takes it. */\ntype QuantityDimension = Parameters<CommandCtx['api']['dimensionsEqual']>[0];\n\n/** How many `upt search` hits a NOT COVERED answer lists before \"… and N more\". */\nconst SEARCH_HITS_SHOWN = 5;\n\nconst FLAGS: FlagSpec[] = [\n  sourceFlag('catalog', 'Which graph to read: catalog, canonical, or both.'),\n  JSON_FLAG,\n];\n\nconst HELP = `upt explain <quantity> [name=value | name] ...\n            [--source=catalog|canonical|both] [--json]\n        Explain how the graph determines a quantity: the identifiability\n        verdict, recovered value, derivation chains, and whether the inputs\n        are dimensionally sufficient. A name that is not a quantity of the\n        graph is reported NOT COVERED, with a one-edit name and what \\`upt search\\`\n        finds for its words, and exits 1. A shared token such as \\`length\\` is\n        not a near name. An evaluate key (\\`I_W_per_m2\\`, \\`B_T\\`, \\`T_K\\`, \\`g_00\\`)\n        is the graph quantity that edge records. A name that does not resolve\n        exits 1. --source picks the graph (default\n        catalog); the result names the source it used.\n        --source=both also prints the other quantity name when a canonical\n        equation restates a catalog bridge under a different name, and says\n        whether the two recovered values agree.\n        A value is a number, a unit (mass=1Msun) or a constant expression\n        (mass=1*M_sun). A bare number is already in the quantity's unit.\n        T, temperature, temp, and T_K are kelvin: an energy on that name is\n        k_B T, using boltzmann-constant, k_B, or kB when one of those is\n        bound, and any other dimension is an error.\n        A tagged quantity converts into that unit (GeV, bit, nat, J/K).\n        magnetic-field and magnetic-flux-density are one vacuum B: a value\n        given under either name is available under the other. The same\n        number under both spellings is one input. Two different numbers\n        are an error, and no frequency is recovered.\n        e.g.  upt explain hawking-temperature mass=1.989e30`;\n\n/**\n * The quantity dimension the graph carries for a resolved input name.\n * `inputNames` and `aliases` are the same lookups `rebind` uses, so a name the\n * rebind accepts is checked, and a name outside the graph (a dimensionless\n * group such as `gamma`) has no dimension and is not checked here.\n */\ninterface BindingDimensions {\n  readonly inputNames: ReadonlySet<string>;\n  readonly aliases: ReadonlyMap<string, string>;\n  readonly dims: ReadonlyMap<string, QuantityDimension>;\n}\n\n/**\n * Two modes, never mixed: bare names (structural analysis) OR name=value\n * (adds value recovery). Malformed inputs are rejected with a `UsageError`\n * rather than silently coerced — `mass=abc`→dropped, `mass=`→0,\n * `mass=1e500`→∞, and a bare name alongside a valued one were all silent\n * wrong-physics footguns.\n */\nfunction parseKnown(\n  api: CommandCtx['api'],\n  args: readonly string[],\n  dimensions: BindingDimensions,\n): { known: string[] | Record<string, number>; notes: string[] } {\n  const valued = args.filter((a) => a.includes('='));\n  if (valued.length === 0) return { known: [...args], notes: [] }; // names mode\n\n  if (valued.length !== args.length) {\n    const bare = args.filter((a) => !a.includes('=')).join(', ');\n    throw new UsageError(\n      `upt: cannot mix bare names (${bare}) with name=value inputs. `\n        + 'Use all names (structural) or all name=value (with recovery). See `upt help`.'\n    );\n  }\n\n  const assignments = splitAssignments('explain', args).map((a) => ({ name: a.name, raw: a.raw, assignment: a.token }));\n  const siblings = assignments.map((a) => ({ name: a.name, raw: a.raw }));\n  const values: Record<string, number> = {};\n  const notes: string[] = [];\n  for (const a of assignments) {\n    let read: ReturnType<CommandCtx['api']['readNamedBinding']>;\n    try {\n      read = api.readNamedBinding(a.name, a.raw, { siblings });\n    } catch (e) {\n      if (e instanceof api.SynonymDisagreementError) throw new CliError(`upt explain: ${e.message}`);\n      if (e instanceof api.TemperatureBindingError) {\n        throw new CliError(`upt explain: '${a.assignment}' is not a temperature. ${e.message}`);\n      }\n      // A bad value is exit 1, as on eval and evaluate; a missing `=` was refused as usage above.\n      throw new CliError(`upt explain: '${a.assignment}' is not a finite number or a known unit. ${(e as Error).message}`);\n    }\n    if (a.raw === '' || !Number.isFinite(read.value)) {\n      throw new CliError(`upt explain: '${a.assignment}' is not a finite number. Expected ${a.name}=<number or unit>.`);\n    }\n    values[a.name] = read.value;\n    // A dimensioned value must be the quantity's dimension (issues #542, #537):\n    // `nu=500nm` used to keep the 5e-7 scale and drop the length, so a metre\n    // was read as a hertz. A bare number is already in the quantity's unit.\n    // The message is the same sentence `bindingInUnit` gives `upt evaluate`,\n    // with the quantity's own dimension where evaluate states a declared unit.\n    const resolved = api.resolveQuantityName(a.name, dimensions.inputNames, dimensions.aliases);\n    const quantityDim = resolved === null ? undefined : dimensions.dims.get(resolved);\n    if (read.dimensioned && quantityDim !== undefined && !api.dimensionsEqual(read.dimension, quantityDim)) {\n      throw new CliError(\n        `upt explain: '${a.assignment}': '${a.raw.trim()}' is ${api.format(read.dimension)}, ` +\n          `but this input is ${api.format(quantityDim)} (${resolved})`,\n      );\n    }\n    // Unit-convention notes were already on the binding and explain did not\n    // print them. The temperature reading adds a note; the reader returns that\n    // one on its own field.\n    if (read.temperatureNote !== undefined && !notes.includes(read.temperatureNote)) notes.push(read.temperatureNote);\n  }\n  return { known: values, notes };\n}\n\n/**\n * A bridge id (`be-NN`) is a graph EDGE, not a quantity NODE — `explain`\n * derives quantities, so it can never resolve a bridge id and would emit a bare\n * \"no derivation path\". Recognise a catalog bridge id and redirect helpfully,\n * tailored by grounding tier (closed-form evaluator vs graph-computable,\n * data-confronted or not). Returns `null` for non-bridge targets (fall through\n * to the normal graph explain).\n */\nfunction bridgeRedirect(\n  api: CommandCtx['api'],\n  target: string,\n): { id: number; tier: string; hasGraphEdge: boolean; hasDataConfrontation: boolean; hint: string } | null {\n  const id = api.catalogIdNumber(target);\n  if (id === undefined) return null;\n  const b = api.auditCoverage().bridges.find((x) => x.id === id);\n  if (!b) return null;\n\n  let hint = `${target} is a bridge equation (a relation between quantities), not a graph quantity — \\`explain\\` derives quantities from the composition graph.`;\n  hint += b.hasGraphEdge\n    ? ` Its quantities appear in \\`upt map\\`; explain one of them to see its derivations.`\n    : ` It is a closed-form evaluator bridge (no composition-graph edge), evaluated directly rather than through the graph.`;\n  hint += b.hasDataConfrontation\n    ? ` See \\`upt confront ${target}\\` for its real-data confrontation.`\n    : ` It has no committed data confrontation (see \\`upt coverage\\`).`;\n  return {\n    id,\n    tier: b.tier,\n    hasGraphEdge: b.hasGraphEdge,\n    hasDataConfrontation: b.hasDataConfrontation,\n    hint,\n  };\n}\n\n/** A canonical equation and the catalog bridge it restates, when those two target names differ. */\nfunction restatementPartner(\n  api: CommandCtx['api'],\n  target: string,\n): { name: string; canonicalId: string; bridgeId: number } | null {\n  const norm = (s: string): string => api.foldName(s).toLowerCase();\n  const want = norm(target);\n  for (const eq of api.CANONICAL_EQUATIONS) {\n    if (eq.restatesBridge === undefined) continue;\n    const bridgeId = Number(eq.restatesBridge);\n    if (!Number.isInteger(bridgeId)) continue;\n    const catalog = api.CATALOG_GRAPH.find((e) => e.beId === bridgeId);\n    if (catalog === undefined) continue;\n    const canonName = eq.dimensional.target.name;\n    const catName = catalog.target.name;\n    if (norm(canonName) === norm(catName)) continue;\n    if (norm(canonName) === want) return { name: catName, canonicalId: eq.id, bridgeId };\n    if (norm(catName) === want) return { name: canonName, canonicalId: eq.id, bridgeId };\n  }\n  return null;\n}\n\nfunction printExplanation(\n  api: CommandCtx['api'],\n  out: CommandCtx['out'],\n  target: string,\n  label: string,\n  x: ReturnType<CommandCtx['api']['explainQuantity']>,\n): void {\n  out(`\\n● ${target}  [source: ${label}]`);\n  out(`  ${x.summary}`);\n  if (x.derivations.length) {\n    out('  derivations:');\n    for (const d of x.derivations) {\n      const val = d.value !== undefined ? ` = ${api.formatQuantity(d.value)}` : '';\n      const chain =\n        d.leafInputs.join(',') !== d.sources.join(',') ? `  [from leaves: ${d.leafInputs.join(', ')}]` : '';\n      out(`    - ${d.edge} (${d.label})${val}${chain}`);\n      if (d.dimensionalForm) out(`        ${d.dimensionalForm.formula}`);\n    }\n  }\n  if (x.blockingFrontier.length) {\n    out(`  to determine it, also supply: ${x.blockingFrontier.join(', ')}`);\n  }\n}\n\n/** Relative agreement of two recovered values. Absent when either value is missing. */\nfunction valuesAgree(a: number | undefined, b: number | undefined): boolean | undefined {\n  if (a === undefined || b === undefined || !Number.isFinite(a) || !Number.isFinite(b)) return undefined;\n  const scale = Math.max(Math.abs(a), Math.abs(b));\n  if (scale === 0) return a === b;\n  return Math.abs(a - b) / scale <= 1e-6;\n}\n\nfunction rebind(\n  api: CommandCtx['api'],\n  known: string[] | Record<string, number>,\n  aliases: ReadonlyMap<string, string>,\n  graphNames: ReadonlySet<string>,\n): string[] | Record<string, number> {\n  const rewrite = (key: string): string => {\n    const hit = api.resolveQuantityName(key, graphNames, aliases);\n    if (hit === null) {\n      throw new CliError(\n        `upt explain: '${key}' did not resolve to a quantity. ` +\n          'A failed lookup is not a derivation, and this command does not exit 0.',\n      );\n    }\n    return hit;\n  };\n  if (Array.isArray(known)) return known.map(rewrite);\n  const out: Record<string, number> = {};\n  for (const [key, value] of Object.entries(known)) {\n    if (api.resolveQuantityName(key, graphNames, aliases) === null) {\n      // A constant is not a graph quantity: the equation already uses the\n      // registered value, so a stated value is checked, never bound.\n      let constant: string | null;\n      try {\n        constant = api.constantAgreement(key, value);\n      } catch (e) {\n        if (e instanceof api.ConstantDisagreementError) throw new CliError(`upt explain: ${e.message}`);\n        throw e;\n      }\n      if (constant !== null) continue;\n    }\n    const name = rewrite(key);\n    if (Object.hasOwn(out, name) && out[name] !== value) {\n      throw new CliError(`upt explain: '${name}' is given twice.`);\n    }\n    out[name] = value;\n  }\n  return out;\n}\n\nasync function run(ctx: CommandCtx): Promise<number> {\n  const { args, api, out } = ctx;\n\n  const [target, ...rest] = args.positionals;\n  if (!target) {\n    throw new UsageError('upt explain needs a quantity name. See `upt help`.');\n  }\n\n  // A bridge id is an edge, not a quantity — redirect before touching the graph.\n  const redirect = bridgeRedirect(api, target);\n  if (redirect) {\n    // A bridge id names a CATALOG bridge whatever --source says; say so rather than print a source it did not use.\n    if (args.flags.has('json')) {\n      emitJson({ command: 'explain', source: 'catalog', result: { kind: 'bridge-redirect', ...redirect } }, ctx.write);\n      return 0;\n    }\n    out(`\\n● ${target}  [source: catalog bridge registry; a bridge id names a catalog bridge whatever --source says]`);\n    out(`  ${redirect.hint}`);\n    return 0;\n  }\n\n  const { graph, label, source } = resolveGraph(api, args.flags);\n  // A name that is not a quantity of this graph is NOT COVERED (persona finding\n  // C4). It used to get the same \"no derivation path\" answer as a real quantity\n  // the inputs cannot reach, and exit 0. Underscores resolve like hyphens.\n  const names = new Set(graph.flatMap((e) => [e.target.name, ...e.sources.map((s) => s.name)]));\n  // A dimensionless group the equation multiplies (sound-speed's gamma) is an\n  // optional input, not a graph node. It resolves as a binding and not as a target.\n  const inputNames = new Set(names);\n  const edgeIds = new Set(graph.map((e) => e.id));\n  for (const group of api.CANONICAL_GROUP_PREFACTORS) {\n    if (edgeIds.has(group.id)) inputNames.add(group.group);\n  }\n  let resolvedTarget = api.resolveQuantityName(target, names);\n  if (resolvedTarget === null) {\n    const near = api.nearQuantityNames(target, names);\n    // A single token one edit from exactly one quantity is that quantity.\n    // A hyphenated miss stays a suggestion: `hawkng-temperature` exits 1.\n    if (!/[-_\\s]/.test(target) && near.length === 1) {\n      resolvedTarget = near[0]!;\n    }\n  }\n  if (resolvedTarget === null) {\n    const near = api.nearQuantityNames(target, names);\n    // Audit I5: a law or model name (`schrodinger-equation`) is not a quantity; name what\n    // `upt search` finds for its words. A shared token is not a near name.\n    const found = searchNameWords(api, target);\n    const shown = found?.matches.slice(0, SEARCH_HITS_SHOWN) ?? [];\n    const searchLine =\n      found === null\n        ? ''\n        : `\\n  \\`upt search ${found.words.join(' ')}\\` finds ${found.matches.length}:` +\n          shown.map((m) => `\\n    ${m.entry.id} (${m.entry.kind.replace('-', ' ')}) — ${m.entry.command}`).join('') +\n          (found.matches.length > shown.length ? `\\n    … and ${found.matches.length - shown.length} more` : '');\n    throw new CliError(\n      `upt explain: '${target}' is not a quantity in the ${source} graph: NOT COVERED.` +\n        (near.length > 0\n          ? ` did you mean: ${near.join(', ')}?`\n          : ' `upt canonical` and `upt map` list the vocabulary.') +\n        searchLine,\n    );\n  }\n  const aliases = api.aliasesForTarget(graph, resolvedTarget);\n  // The dimension of each graph quantity, from the nodes the edges already\n  // carry (projected from `data/quantities.json`): the check\n  // `parseKnown` makes for a dimensioned binding, in the terms this graph uses.\n  const dims = new Map<string, QuantityDimension>();\n  for (const e of graph) {\n    dims.set(e.target.name, e.target.dim);\n    for (const s of e.sources) dims.set(s.name, s.dim);\n  }\n  const parsed = parseKnown(api, rest, { inputNames, aliases, dims });\n  for (const note of parsed.notes) ctx.err(note);\n  if (!Array.isArray(parsed.known)) {\n    try {\n      api.assertSynonymAgreement(parsed.known);\n    } catch (e) {\n      if (e instanceof api.SynonymDisagreementError) throw new CliError(`upt explain: ${e.message}`);\n      throw e;\n    }\n  }\n  const rebound = rebind(api, parsed.known, aliases, inputNames);\n  const known = api.shareSynonyms(rebound, names);\n  let x;\n  try {\n    x = api.explainQuantity(graph, resolvedTarget, known);\n  } catch (e) {\n    if (e instanceof api.CarrierSignError || e instanceof api.SynonymDisagreementError) {\n      throw new CliError(`upt explain: ${e.message}`);\n    }\n    throw e;\n  }\n  // Every route refused the point (a validity domain, opposite carrier signs, a formula with\n  // no finite value there) and no value recovered: the inputs are a bad value, exit 1, the\n  // code `upt evaluate` gives the same failure. A refusal beside a recovered value from\n  // another route stays in the report, and an unset coefficient is not a bad value: it is\n  // the edge's own state, reported as \"no recovered number\" (exit 0).\n  const refusals = x.refusals ?? [];\n  if (x.recoveredValue === undefined && refusals.length > 0 && refusals.every((r) => r.kind !== 'coefficient-unset')) {\n    throw new CliError(`upt explain: ${refusals.map((r) => r.reason).join('; ')}`);\n  }\n  const partner = source === 'both' ? restatementPartner(api, resolvedTarget) : null;\n  const partnerKnown = partner !== null && names.has(partner.name);\n  const partnerExplanation = partnerKnown ? api.explainQuantity(graph, partner!.name, known) : undefined;\n  const agree = valuesAgree(x.recoveredValue, partnerExplanation?.recoveredValue);\n\n  if (args.flags.has('json')) {\n    emitJson(\n      {\n        command: 'explain',\n        source,\n        result:\n          partner !== null && partnerExplanation !== undefined\n            ? {\n                ...x,\n                restatement: {\n                  canonicalId: partner.canonicalId,\n                  bridgeId: partner.bridgeId,\n                  otherName: partner.name,\n                  valuesAgree: agree,\n                  explanation: partnerExplanation,\n                },\n              }\n            : x,\n      },\n      ctx.write,\n    );\n    return 0;\n  }\n\n  printExplanation(api, out, target, label, x);\n  if (partner !== null && partnerExplanation !== undefined) {\n    printExplanation(api, out, partner.name, label, partnerExplanation);\n    const who = `${partner.canonicalId} restates be-${partner.bridgeId}`;\n    if (agree === true) {\n      out(`  ${resolvedTarget} and ${partner.name} are one restatement (${who}). Values agree.`);\n    } else if (agree === false) {\n      const ratio = x.recoveredValue! / partnerExplanation.recoveredValue!;\n      out(\n        `  ${resolvedTarget} and ${partner.name} are one restatement (${who}). ` +\n          `Values DISAGREE: ${resolvedTarget} / ${partner.name} = ${api.formatQuantity(ratio)}.`,\n      );\n    } else {\n      out(`  ${resolvedTarget} and ${partner.name} are one restatement (${who}).`);\n    }\n  }\n  return 0;\n}\n\nexport const command: Command = {\n  name: 'explain',\n  aliases: [],\n  positionals: { max: Infinity },\n  flags: FLAGS,\n  help: commandHelp(HELP, FLAGS),\n  summary: 'Show how the graph determines a quantity, or say that it does not cover that name.',\n  example: 'upt explain hawking-temperature mass=1Msun',\n  group: 'explore',\n  run,\n};\n\nregisterCommand(command);\n"]}

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

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

package/dist/cli/commands/ground.js

@@ -91,7 +91,7 @@ async function run(ctx) {
             source,
             anchor: { groundTruth: groundTruthAnchor(api, opts) },
             options: { ...opts },
-            result: { a: cand.a, b: cand.b, verdict: cand.verdict, grounding: g },
+            result: { a: cand.a, b: cand.b, verdict: cand.verdict, grounding: g, magnitudeDerived: cand.magnitudeDerived ?? [] },
         }, ctx.write);
         return 0;
     }
@@ -100,6 +100,11 @@ async function run(ctx) {
     out(EPISTEMICS + '\n');
     out(`  passed:  ${g.passed.join(', ') || '—'}`);
     out(`  gaps:    ${g.gaps.join(', ') || '—'}`);
+    // A magnitude-clash row's grounding states no magnitude line, so where a magnitude came from its
+    // own equation is said here, for every verdict.
+    if ((cand.magnitudeDerived ?? []).length > 0) {
+        out(`  magnitude: ${cand.magnitudeDerived.join(', ')} from its own equation (the sourced table and the constants, not the anchor)`);
+    }
     out(`  ceiling: mechanism-tested ${g.mechanismTested} · data-tested ${g.dataTested} ` +
         '(permanent for a dimensional candidate — see `upt confront`)');
     return 0;
@@ -107,6 +112,7 @@ async function run(ctx) {
 export const command = {
     name: 'ground',
     aliases: [],
+    positionals: { max: 2 },
     flags: FLAGS,
     help: commandHelp(HELP, FLAGS),
     summary: 'Show which falsifiers ran on one discovery candidate, and which abstained.',

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

@@ -1 +1 @@
-{"version":3,"file":"ground.js","sourceRoot":"","sources":["../../../src/cli/commands/ground.ts"],"names":[],"mappings":"AAaA,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,iBAAiB,EAAE,eAAe,EAAmB,MAAM,cAAc,CAAC;AACjG,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AAErE,MAAM,KAAK,GAAe;IACxB,UAAU,CAAC,SAAS,EAAE,2FAA2F,CAAC;IAClH;QACE,IAAI,EAAE,UAAU;QAChB,UAAU,EAAE,UAAU;QACtB,UAAU,EAAE,IAAI;QAChB,WAAW,EAAE,gDAAgD;QAC7D,YAAY,EAAE,YAAY;KAC3B;IACD;QACE,IAAI,EAAE,cAAc;QACpB,UAAU,EAAE,UAAU;QACtB,WAAW,EAAE,uEAAuE;QACpF,YAAY,EAAE,2BAA2B;KAC1C;IACD,SAAS;CACV,CAAC;AAEF,MAAM,IAAI,GAAG;;;;;;;0DAO6C,CAAC;AAE3D,MAAM,UAAU,GACd,uGAAuG,CAAC;AAE1G,MAAM,WAAW,GAA0B,CAAC,SAAS,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;AAE5E,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IAC/B,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/D,MAAM,IAAI,GAAG,kBAAkB,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC;IAChC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACb,MAAM,IAAI,UAAU,CAAC,4DAA4D,CAAC,CAAC;IACrF,CAAC;IAED,MAAM,KAAK,GAAG,CAAC,CAA2B,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACpG,6EAA6E;IAC7E,mEAAmE;IACnE,MAAM,UAAU,GAAG,CAAC,KAAoF,EAAe,EAAE,CACvH,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAClF,MAAM,SAAS,GAAG,CAAC,KAAuC,EAAW,EAAE;QACrE,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAChC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC;IACF,oFAAoF;IACpF,0FAA0F;IAC1F,qEAAqE;IACrE,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACpH,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,QAAQ,CAAC,gBAAgB,IAAI,qCAAqC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9H,CAAC;IACD,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACzF,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,SAAS,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;YACrE,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAE,CAAC;YAC9C,OAAO,SAAS,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1E,CAAC,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3F,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,iBAAiB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/G,MAAM,QAAQ,GACZ,SAAS,CAAC,MAAM,GAAG,CAAC;YAClB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,+BAA+B,MAAM,uBAAuB;gBAC1E,GAAG,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,yBAAyB,SAAS,CAAC,CAAC,CAAC,GAAG,WAAW,GAAG,UAAU,IAAI,CAAC,IAAI,CAAC,EAAE;YACxG,CAAC,CAAC,iCAAiC,CAAC,WAAW,CAAC,eAAe,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;gBACxF,6FAA6F,CAAC;QACpG,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,QAAQ,CACN;gBACE,OAAO,EAAE,QAAQ;gBACjB,MAAM;gBACN,MAAM,EAAE,EAAE,WAAW,EAAE,iBAAiB,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE;gBACrD,OAAO,EAAE,EAAE,GAAG,IAAI,EAAE;gBACpB,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,GAAG,WAAW,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE;aACzF,EACD,GAAG,CAAC,KAAK,CACV,CAAC;YACF,OAAO,CAAC,CAAC;QACX,CAAC;QACD,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,8BAA8B,KAAK,GAAG,CAAC,CAAC;QAC3D,GAAG,CAAC,KAAK,QAAQ,EAAE,CAAC,CAAC;QACrB,OAAO,CAAC,CAAC;IACX,CAAC;IAED,MAAM,CAAC,GAAG,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,QAAQ,CACN;YACE,OAAO,EAAE,QAAQ;YACjB,MAAM;YACN,MAAM,EAAE,EAAE,WAAW,EAAE,iBAAiB,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE;YACrD,OAAO,EAAE,EAAE,GAAG,IAAI,EAAE;YACpB,MAAM,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,CAAC,EAAE;SACtE,EACD,GAAG,CAAC,KAAK,CACV,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IAED,GAAG,CAAC,OAAO,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,OAAO,eAAe,KAAK,GAAG,CAAC,CAAC;IACxE,GAAG,CAAC,KAAK,eAAe,CAAC,iBAAiB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;IAC1D,GAAG,CAAC,UAAU,GAAG,IAAI,CAAC,CAAC;IACvB,GAAG,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;IAChD,GAAG,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;IAC9C,GAAG,CACD,+BAA+B,CAAC,CAAC,eAAe,kBAAkB,CAAC,CAAC,UAAU,GAAG;QAC/E,8DAA8D,CACjE,CAAC;IACF,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAY;IAC9B,IAAI,EAAE,QAAQ;IACd,OAAO,EAAE,EAAE;IACX,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC;IAC9B,OAAO,EAAE,4EAA4E;IACrF,OAAO,EAAE,+CAA+C;IACxD,KAAK,EAAE,WAAW;IAClB,GAAG;CACJ,CAAC;AAEF,eAAe,CAAC,OAAO,CAAC,CAAC","sourcesContent":["/**\n * `upt ground <quantityA> <quantityB>` — the epistemic-grounding ledger for a\n * single discovery candidate a≡b: which falsifiers passed, which abstained (gaps),\n * and the honest permanent ceiling (no mechanism test, no data test). Lets you\n * interrogate one candidate directly instead of scanning all of `upt discover`.\n *\n * It runs the same funnel as `upt discover` over the same `--source` graph and\n * `--anchor`/`--max-orders` options, so a pair `discover` printed can be\n * grounded by repeating those flags. A pair missing from the selected graph is\n * looked up in the others, and a hit is named: a candidate of another scope\n * must not be reported as though it never existed.\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, groundTruthAnchor, groundTruthLine, type SourceName } from '../graphs.js';\nimport { emitJson } from '../output.js';\nimport { UsageError, CliError } from '../errors.js';\nimport { parseDiscoveryOpts } from './_discovery-opts.js';\nimport { DISCOVER_MAX_ORDERS_DEFAULT } from '../library-defaults.js';\n\nconst FLAGS: FlagSpec[] = [\n  sourceFlag('catalog', 'Which graph to read: catalog, canonical, or both. Use the same value as the discover run.'),\n  {\n    name: '--anchor',\n    valueStyle: 'attached',\n    repeatable: true,\n    description: 'Override a numeric anchor as k=v or k=v,k2=v2.',\n    defaultValue: 'mass=M_sun',\n  },\n  {\n    name: '--max-orders',\n    valueStyle: 'attached',\n    description: 'Magnitude-clash threshold. A larger value keeps more pairs promising.',\n    defaultValue: DISCOVER_MAX_ORDERS_DEFAULT,\n  },\n  JSON_FLAG,\n];\n\nconst HELP = `upt ground <quantityA> <quantityB> [--source=catalog|canonical|both]\n                 [--anchor=k=v,...] [--max-orders=N] [--json]\n        The epistemic-grounding ledger for one discovery candidate a≡b: which\n        falsifiers PASSED, which ABSTAINED (gaps), and the honest ceiling — no\n        mechanism test, no data test (permanent for a dimensional candidate;\n        real mechanism/data live in \\`upt confront\\`).\n        Pass the same --source (default catalog), --anchor and --max-orders\n        as the \\`upt discover\\` run that listed the pair.`;\n\nconst EPISTEMICS =\n  '(candidate grounding is a review surface; mechanism/data live in `upt confront`, not candidate space)';\n\nconst ALL_SOURCES: readonly SourceName[] = ['catalog', 'canonical', 'both'];\n\nasync function run(ctx: CommandCtx): Promise<number> {\n  const { args, api, out } = ctx;\n  const { graph, label, source } = resolveGraph(api, args.flags);\n  const opts = parseDiscoveryOpts(api, args.flags);\n  const [a, b] = args.positionals;\n  if (!a || !b) {\n    throw new UsageError('upt ground needs two quantity names (a b). See `upt help`.');\n  }\n\n  const pairs = (c: { a: string; b: string }) => (c.a === a && c.b === b) || (c.a === b && c.b === a);\n  // A graph's funnel runs only when both names are quantities of that graph: a\n  // name no graph carries is answered without running three funnels.\n  const quantities = (edges: readonly { target: { name: string }; sources: readonly { name: string }[] }[]): Set<string> =>\n    new Set(edges.flatMap((e) => [e.target.name, ...e.sources.map((q) => q.name)]));\n  const bothNamed = (edges: Parameters<typeof quantities>[0]): boolean => {\n    const names = quantities(edges);\n    return names.has(a) && names.has(b);\n  };\n  // A name no graph holds is a bad argument (exit 1). A pair every graph holds and no\n  // funnel pairs is a computed absence: exit 0 with its envelope, the rule `search` with no\n  // match and `confront` with a refusal follow (Tom's review of #502).\n  const graphs = ALL_SOURCES.map((s) => (s === source ? graph : resolveGraph(api, new Map([['source', [s]]])).graph));\n  const held = new Set(graphs.flatMap((g) => [...quantities(g)]));\n  for (const name of [a, b]) {\n    if (!held.has(name)) throw new CliError(`upt ground: '${name}' is not a quantity of any graph (${ALL_SOURCES.join(', ')})`);\n  }\n  const cand = bothNamed(graph) ? api.rankDiscoveries(graph, opts).find(pairs) : undefined;\n  if (!cand) {\n    const elsewhere = ALL_SOURCES.filter((s) => s !== source).filter((s) => {\n      const other = graphs[ALL_SOURCES.indexOf(s)]!;\n      return bothNamed(other) && api.rankDiscoveries(other, opts).some(pairs);\n    });\n    const anchorFlags = (args.flags.get('anchor') ?? []).map((v) => ` --anchor=${v}`).join('');\n    const ordersFlag = args.flags.has('max-orders') ? ` --max-orders=${args.flags.get('max-orders')!.at(-1)}` : '';\n    const sentence =\n      elsewhere.length > 0\n        ? `'${a}' ≟ '${b}' is not a candidate in the ${source} graph, but it is in ` +\n          `${elsewhere.join(' and ')}: upt ground --source=${elsewhere[0]}${anchorFlags}${ordersFlag} ${a} ${b}`\n        : `no discovery candidate pairs '${a}' with '${b}' in any of ${ALL_SOURCES.join(', ')} — ` +\n          'they may not share a dimension, or are already connected (not a cross-cluster coincidence).';\n    if (args.flags.has('json')) {\n      emitJson(\n        {\n          command: 'ground',\n          source,\n          anchor: { groundTruth: groundTruthAnchor(api, opts) },\n          options: { ...opts },\n          result: { a, b, candidate: null, searched: [...ALL_SOURCES], elsewhere, note: sentence },\n        },\n        ctx.write,\n      );\n      return 0;\n    }\n    out(`\\n● ${a} ≟ ${b}  [no candidate]  [source: ${label}]`);\n    out(`  ${sentence}`);\n    return 0;\n  }\n\n  const g = api.describeGrounding(cand);\n  if (args.flags.has('json')) {\n    emitJson(\n      {\n        command: 'ground',\n        source,\n        anchor: { groundTruth: groundTruthAnchor(api, opts) },\n        options: { ...opts },\n        result: { a: cand.a, b: cand.b, verdict: cand.verdict, grounding: g },\n      },\n      ctx.write,\n    );\n    return 0;\n  }\n\n  out(`\\n● ${cand.a} ≟ ${cand.b}  [${cand.verdict}]  [source: ${label}]`);\n  out(`  ${groundTruthLine(groundTruthAnchor(api, opts))}`);\n  out(EPISTEMICS + '\\n');\n  out(`  passed:  ${g.passed.join(', ') || '—'}`);\n  out(`  gaps:    ${g.gaps.join(', ') || '—'}`);\n  out(\n    `  ceiling: mechanism-tested ${g.mechanismTested} · data-tested ${g.dataTested} ` +\n      '(permanent for a dimensional candidate — see `upt confront`)',\n  );\n  return 0;\n}\n\nexport const command: Command = {\n  name: 'ground',\n  aliases: [],\n  flags: FLAGS,\n  help: commandHelp(HELP, FLAGS),\n  summary: 'Show which falsifiers ran on one discovery candidate, and which abstained.',\n  example: 'upt ground landauer-erasure-energy gap-energy',\n  group: 'discovery',\n  run,\n};\n\nregisterCommand(command);\n"]}
+{"version":3,"file":"ground.js","sourceRoot":"","sources":["../../../src/cli/commands/ground.ts"],"names":[],"mappings":"AAaA,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,iBAAiB,EAAE,eAAe,EAAmB,MAAM,cAAc,CAAC;AACjG,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AAErE,MAAM,KAAK,GAAe;IACxB,UAAU,CAAC,SAAS,EAAE,2FAA2F,CAAC;IAClH;QACE,IAAI,EAAE,UAAU;QAChB,UAAU,EAAE,UAAU;QACtB,UAAU,EAAE,IAAI;QAChB,WAAW,EAAE,gDAAgD;QAC7D,YAAY,EAAE,YAAY;KAC3B;IACD;QACE,IAAI,EAAE,cAAc;QACpB,UAAU,EAAE,UAAU;QACtB,WAAW,EAAE,uEAAuE;QACpF,YAAY,EAAE,2BAA2B;KAC1C;IACD,SAAS;CACV,CAAC;AAEF,MAAM,IAAI,GAAG;;;;;;;0DAO6C,CAAC;AAE3D,MAAM,UAAU,GACd,uGAAuG,CAAC;AAE1G,MAAM,WAAW,GAA0B,CAAC,SAAS,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;AAE5E,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IAC/B,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/D,MAAM,IAAI,GAAG,kBAAkB,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC;IAChC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACb,MAAM,IAAI,UAAU,CAAC,4DAA4D,CAAC,CAAC;IACrF,CAAC;IAED,MAAM,KAAK,GAAG,CAAC,CAA2B,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACpG,6EAA6E;IAC7E,mEAAmE;IACnE,MAAM,UAAU,GAAG,CAAC,KAAoF,EAAe,EAAE,CACvH,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAClF,MAAM,SAAS,GAAG,CAAC,KAAuC,EAAW,EAAE;QACrE,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAChC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC;IACF,oFAAoF;IACpF,0FAA0F;IAC1F,qEAAqE;IACrE,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACpH,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,QAAQ,CAAC,gBAAgB,IAAI,qCAAqC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9H,CAAC;IACD,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACzF,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,SAAS,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;YACrE,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAE,CAAC;YAC9C,OAAO,SAAS,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1E,CAAC,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3F,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,iBAAiB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/G,MAAM,QAAQ,GACZ,SAAS,CAAC,MAAM,GAAG,CAAC;YAClB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,+BAA+B,MAAM,uBAAuB;gBAC1E,GAAG,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,yBAAyB,SAAS,CAAC,CAAC,CAAC,GAAG,WAAW,GAAG,UAAU,IAAI,CAAC,IAAI,CAAC,EAAE;YACxG,CAAC,CAAC,iCAAiC,CAAC,WAAW,CAAC,eAAe,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;gBACxF,6FAA6F,CAAC;QACpG,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,QAAQ,CACN;gBACE,OAAO,EAAE,QAAQ;gBACjB,MAAM;gBACN,MAAM,EAAE,EAAE,WAAW,EAAE,iBAAiB,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE;gBACrD,OAAO,EAAE,EAAE,GAAG,IAAI,EAAE;gBACpB,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,GAAG,WAAW,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE;aACzF,EACD,GAAG,CAAC,KAAK,CACV,CAAC;YACF,OAAO,CAAC,CAAC;QACX,CAAC;QACD,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,8BAA8B,KAAK,GAAG,CAAC,CAAC;QAC3D,GAAG,CAAC,KAAK,QAAQ,EAAE,CAAC,CAAC;QACrB,OAAO,CAAC,CAAC;IACX,CAAC;IAED,MAAM,CAAC,GAAG,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,QAAQ,CACN;YACE,OAAO,EAAE,QAAQ;YACjB,MAAM;YACN,MAAM,EAAE,EAAE,WAAW,EAAE,iBAAiB,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE;YACrD,OAAO,EAAE,EAAE,GAAG,IAAI,EAAE;YACpB,MAAM,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,CAAC,EAAE,gBAAgB,EAAE,IAAI,CAAC,gBAAgB,IAAI,EAAE,EAAE;SACrH,EACD,GAAG,CAAC,KAAK,CACV,CAAC;QACF,OAAO,CAAC,CAAC;IACX,CAAC;IAED,GAAG,CAAC,OAAO,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,OAAO,eAAe,KAAK,GAAG,CAAC,CAAC;IACxE,GAAG,CAAC,KAAK,eAAe,CAAC,iBAAiB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;IAC1D,GAAG,CAAC,UAAU,GAAG,IAAI,CAAC,CAAC;IACvB,GAAG,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;IAChD,GAAG,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;IAC9C,iGAAiG;IACjG,gDAAgD;IAChD,IAAI,CAAC,IAAI,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7C,GAAG,CAAC,gBAAgB,IAAI,CAAC,gBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,8EAA8E,CAAC,CAAC;IACvI,CAAC;IACD,GAAG,CACD,+BAA+B,CAAC,CAAC,eAAe,kBAAkB,CAAC,CAAC,UAAU,GAAG;QAC/E,8DAA8D,CACjE,CAAC;IACF,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAY;IAC9B,IAAI,EAAE,QAAQ;IACd,OAAO,EAAE,EAAE;IACX,WAAW,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE;IACvB,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC;IAC9B,OAAO,EAAE,4EAA4E;IACrF,OAAO,EAAE,+CAA+C;IACxD,KAAK,EAAE,WAAW;IAClB,GAAG;CACJ,CAAC;AAEF,eAAe,CAAC,OAAO,CAAC,CAAC","sourcesContent":["/**\n * `upt ground <quantityA> <quantityB>` — the epistemic-grounding ledger for a\n * single discovery candidate a≡b: which falsifiers passed, which abstained (gaps),\n * and the honest permanent ceiling (no mechanism test, no data test). Lets you\n * interrogate one candidate directly instead of scanning all of `upt discover`.\n *\n * It runs the same funnel as `upt discover` over the same `--source` graph and\n * `--anchor`/`--max-orders` options, so a pair `discover` printed can be\n * grounded by repeating those flags. A pair missing from the selected graph is\n * looked up in the others, and a hit is named: a candidate of another scope\n * must not be reported as though it never existed.\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, groundTruthAnchor, groundTruthLine, type SourceName } from '../graphs.js';\nimport { emitJson } from '../output.js';\nimport { UsageError, CliError } from '../errors.js';\nimport { parseDiscoveryOpts } from './_discovery-opts.js';\nimport { DISCOVER_MAX_ORDERS_DEFAULT } from '../library-defaults.js';\n\nconst FLAGS: FlagSpec[] = [\n  sourceFlag('catalog', 'Which graph to read: catalog, canonical, or both. Use the same value as the discover run.'),\n  {\n    name: '--anchor',\n    valueStyle: 'attached',\n    repeatable: true,\n    description: 'Override a numeric anchor as k=v or k=v,k2=v2.',\n    defaultValue: 'mass=M_sun',\n  },\n  {\n    name: '--max-orders',\n    valueStyle: 'attached',\n    description: 'Magnitude-clash threshold. A larger value keeps more pairs promising.',\n    defaultValue: DISCOVER_MAX_ORDERS_DEFAULT,\n  },\n  JSON_FLAG,\n];\n\nconst HELP = `upt ground <quantityA> <quantityB> [--source=catalog|canonical|both]\n                 [--anchor=k=v,...] [--max-orders=N] [--json]\n        The epistemic-grounding ledger for one discovery candidate a≡b: which\n        falsifiers PASSED, which ABSTAINED (gaps), and the honest ceiling — no\n        mechanism test, no data test (permanent for a dimensional candidate;\n        real mechanism/data live in \\`upt confront\\`).\n        Pass the same --source (default catalog), --anchor and --max-orders\n        as the \\`upt discover\\` run that listed the pair.`;\n\nconst EPISTEMICS =\n  '(candidate grounding is a review surface; mechanism/data live in `upt confront`, not candidate space)';\n\nconst ALL_SOURCES: readonly SourceName[] = ['catalog', 'canonical', 'both'];\n\nasync function run(ctx: CommandCtx): Promise<number> {\n  const { args, api, out } = ctx;\n  const { graph, label, source } = resolveGraph(api, args.flags);\n  const opts = parseDiscoveryOpts(api, args.flags);\n  const [a, b] = args.positionals;\n  if (!a || !b) {\n    throw new UsageError('upt ground needs two quantity names (a b). See `upt help`.');\n  }\n\n  const pairs = (c: { a: string; b: string }) => (c.a === a && c.b === b) || (c.a === b && c.b === a);\n  // A graph's funnel runs only when both names are quantities of that graph: a\n  // name no graph carries is answered without running three funnels.\n  const quantities = (edges: readonly { target: { name: string }; sources: readonly { name: string }[] }[]): Set<string> =>\n    new Set(edges.flatMap((e) => [e.target.name, ...e.sources.map((q) => q.name)]));\n  const bothNamed = (edges: Parameters<typeof quantities>[0]): boolean => {\n    const names = quantities(edges);\n    return names.has(a) && names.has(b);\n  };\n  // A name no graph holds is a bad argument (exit 1). A pair every graph holds and no\n  // funnel pairs is a computed absence: exit 0 with its envelope, the rule `search` with no\n  // match and `confront` with a refusal follow (Tom's review of #502).\n  const graphs = ALL_SOURCES.map((s) => (s === source ? graph : resolveGraph(api, new Map([['source', [s]]])).graph));\n  const held = new Set(graphs.flatMap((g) => [...quantities(g)]));\n  for (const name of [a, b]) {\n    if (!held.has(name)) throw new CliError(`upt ground: '${name}' is not a quantity of any graph (${ALL_SOURCES.join(', ')})`);\n  }\n  const cand = bothNamed(graph) ? api.rankDiscoveries(graph, opts).find(pairs) : undefined;\n  if (!cand) {\n    const elsewhere = ALL_SOURCES.filter((s) => s !== source).filter((s) => {\n      const other = graphs[ALL_SOURCES.indexOf(s)]!;\n      return bothNamed(other) && api.rankDiscoveries(other, opts).some(pairs);\n    });\n    const anchorFlags = (args.flags.get('anchor') ?? []).map((v) => ` --anchor=${v}`).join('');\n    const ordersFlag = args.flags.has('max-orders') ? ` --max-orders=${args.flags.get('max-orders')!.at(-1)}` : '';\n    const sentence =\n      elsewhere.length > 0\n        ? `'${a}' ≟ '${b}' is not a candidate in the ${source} graph, but it is in ` +\n          `${elsewhere.join(' and ')}: upt ground --source=${elsewhere[0]}${anchorFlags}${ordersFlag} ${a} ${b}`\n        : `no discovery candidate pairs '${a}' with '${b}' in any of ${ALL_SOURCES.join(', ')} — ` +\n          'they may not share a dimension, or are already connected (not a cross-cluster coincidence).';\n    if (args.flags.has('json')) {\n      emitJson(\n        {\n          command: 'ground',\n          source,\n          anchor: { groundTruth: groundTruthAnchor(api, opts) },\n          options: { ...opts },\n          result: { a, b, candidate: null, searched: [...ALL_SOURCES], elsewhere, note: sentence },\n        },\n        ctx.write,\n      );\n      return 0;\n    }\n    out(`\\n● ${a} ≟ ${b}  [no candidate]  [source: ${label}]`);\n    out(`  ${sentence}`);\n    return 0;\n  }\n\n  const g = api.describeGrounding(cand);\n  if (args.flags.has('json')) {\n    emitJson(\n      {\n        command: 'ground',\n        source,\n        anchor: { groundTruth: groundTruthAnchor(api, opts) },\n        options: { ...opts },\n        result: { a: cand.a, b: cand.b, verdict: cand.verdict, grounding: g, magnitudeDerived: cand.magnitudeDerived ?? [] },\n      },\n      ctx.write,\n    );\n    return 0;\n  }\n\n  out(`\\n● ${cand.a} ≟ ${cand.b}  [${cand.verdict}]  [source: ${label}]`);\n  out(`  ${groundTruthLine(groundTruthAnchor(api, opts))}`);\n  out(EPISTEMICS + '\\n');\n  out(`  passed:  ${g.passed.join(', ') || '—'}`);\n  out(`  gaps:    ${g.gaps.join(', ') || '—'}`);\n  // A magnitude-clash row's grounding states no magnitude line, so where a magnitude came from its\n  // own equation is said here, for every verdict.\n  if ((cand.magnitudeDerived ?? []).length > 0) {\n    out(`  magnitude: ${cand.magnitudeDerived!.join(', ')} from its own equation (the sourced table and the constants, not the anchor)`);\n  }\n  out(\n    `  ceiling: mechanism-tested ${g.mechanismTested} · data-tested ${g.dataTested} ` +\n      '(permanent for a dimensional candidate — see `upt confront`)',\n  );\n  return 0;\n}\n\nexport const command: Command = {\n  name: 'ground',\n  aliases: [],\n  positionals: { max: 2 },\n  flags: FLAGS,\n  help: commandHelp(HELP, FLAGS),\n  summary: 'Show which falsifiers ran on one discovery candidate, and which abstained.',\n  example: 'upt ground landauer-erasure-energy gap-energy',\n  group: 'discovery',\n  run,\n};\n\nregisterCommand(command);\n"]}

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

@@ -1 +1 @@
-{"version":3,"file":"map.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/map.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAmB,KAAK,OAAO,EAAmB,MAAM,eAAe,CAAC;AAS/E,OAAO,KAAK,EACV,UAAU,EAOX,MAAM,kBAAkB,CAAC;AAmI1B;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,UAAU,EAAE,CAazG;AAkmBD,eAAO,MAAM,OAAO,EAAE,OASrB,CAAC"}
+{"version":3,"file":"map.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/map.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAmB,KAAK,OAAO,EAAmB,MAAM,eAAe,CAAC;AAU/E,OAAO,KAAK,EACV,UAAU,EAUX,MAAM,kBAAkB,CAAC;AAoJ1B;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,UAAU,EAAE,CAazG;AA6qBD,eAAO,MAAM,OAAO,EAAE,OASrB,CAAC"}

package/dist/cli/commands/map.js

@@ -19,6 +19,7 @@ import { resolveGraph, coreAnchor, coreLine, groundTruthAnchor, groundTruthLine
 import { emitJson } from '../output.js';
 import { publishedUrl } from '../published-url.js';
 import { UsageError, CliError, EXIT_CHECK_FAILED } from '../errors.js';
+import { integerFlag } from '../numeric-flag.js';
 import { classifyDetermination } from '../determination.js';
 import { parseDiscoveryOpts } from './_discovery-opts.js';
 import * as atlasMap from './_atlas-map.js';
@@ -55,8 +56,15 @@ const FLAGS = [
     { name: '--bind-short', valueStyle: 'none', description: 'Bind a one-letter catalog name in --equation. Without it, those names are reported and not bound.' },
     { name: '--natural', valueStyle: 'none', description: 'Set ħ = c = 1 when a dimension difference is a power of those constants.' },
     { name: '--geometrized', valueStyle: 'none', description: 'With the natural-unit rules, also set G = 1.' },
+    { name: '--communities', valueStyle: 'none', description: 'Also print the layout communities (Louvain, heuristic) of the largest component. A drawing aid, not physics.' },
+    { name: '--cycles', valueStyle: 'none', description: 'Also print the derivation cycles: strongly connected components of the directed source→target quantity graph.' },
+    { name: '--rank-hubs', valueStyle: 'none', description: 'Also rank quantities by betweenness centrality (normalised). Computed only when asked.' },
     JSON_FLAG,
 ];
+/** How many hubs `--rank-hubs` prints in text; `--json` carries every quantity. */
+const HUBS_SHOWN = 10;
+/** Flags that add a structure section to the text and --json forms, and mean nothing on a diagram. */
+const STRUCTURE_FLAGS = ['communities', 'cycles', 'rank-hubs'];
 const HELP = `upt map [--source=catalog|canonical|both] [--format=text|mermaid|dot|svg]
         [--proposed [--anchor=k=v,...] [--max-orders=N]] [--out=PATH]
         [--equation "TARGET = EXPR" [--equation-only] [--verbose] [--bind-short]
@@ -141,6 +149,14 @@ const HELP = `upt map [--source=catalog|canonical|both] [--format=text|mermaid|d
         unresolved are counted apart.
         Every atlas view states how many of the atlas's models and bridges it
         shows, in text, --json and --format=mermaid|dot|svg.
+        --communities, --cycles and --rank-hubs each add one section to the
+        text report (and a key to --json); they do not apply to a diagram.
+        --communities lists the layout communities (Louvain, heuristic) of the
+        largest component: where a drawing may place quantities together, never
+        a physics claim. --cycles lists the derivation cycles (strongly
+        connected components of the directed source→target quantity graph),
+        where over-determination lives. --rank-hubs ranks quantities by
+        betweenness centrality (normalised; computed only when asked).
         e.g.  upt map --relation=derivation --source=both
               upt map --around=temperature --depth=2 --source=catalog
               upt map --route=model-pendulum,model-lc
@@ -208,9 +224,6 @@ function parseFilter(raw, allowed, flag) {
     }
     return raw;
 }
-// Convert the derived identity-consequence proposals into viz junctions
-// (gray-dashed, status 'proposed'). The library never imports proposed-bridges;
-// the CLI does the conversion, keeping the epistemic firewall intact.
 function proposedJunctions(api, graph, flags) {
     const opts = parseDiscoveryOpts(api, flags);
     const ranked = api.rankDiscoveries(graph, opts);
@@ -220,6 +233,7 @@ function proposedJunctions(api, graph, flags) {
         status: 'proposed',
         sources: (p.governing || []).map((g) => g.name),
         target: p.target.name,
+        magnitudeEvidence: p.derivedFrom.identification.magnitudeEvidence,
     }));
 }
 // Build the catalog quantity name→dimension map for the chosen graph, then run
@@ -346,8 +360,46 @@ function printEquationReport(api, model, user, out, comparisons = []) {
         }
     }
 }
+/** Compute only the sections asked for; `rankHubs` is the betweenness pass the default path never runs. */
+async function structureSections(api, graph, flags) {
+    return {
+        ...(flags.has('communities') ? { communities: api.communitiesOf(graph) } : {}),
+        ...(flags.has('cycles') ? { cycles: api.derivationCycles(graph) } : {}),
+        ...(flags.has('rank-hubs') ? { hubs: await api.rankHubs(graph) } : {}),
+    };
+}
+/** The text of the structure sections, in flag order; empty when none was asked for. A number goes through `formatQuantity`. */
+function structureLines(s, formatQuantity) {
+    const lines = [];
+    if (s.communities !== undefined) {
+        const c = s.communities;
+        lines.push(`  ${c.method} of the largest component (${c.componentSize} quantities) — a drawing aid, not physics:`);
+        if (c.communities.length === 0)
+            lines.push('     none (the graph has no component)');
+        c.communities.forEach((com, i) => lines.push(`     ${i + 1}. (${com.size}) ${com.quantities.join(', ')}`));
+        lines.push('');
+    }
+    if (s.cycles !== undefined) {
+        const head = s.cycles.length === 0 ? 'none — the quantity graph is acyclic' : String(s.cycles.length);
+        lines.push(`  derivation cycles (strongly connected components of source→target, where over-determination lives): ${head}`);
+        for (const cyc of s.cycles)
+            lines.push(`     {${cyc.quantities.join(', ')}} closed by ${cyc.edges.join(', ')}`);
+        lines.push('');
+    }
+    if (s.hubs !== undefined) {
+        const shown = Math.min(HUBS_SHOWN, s.hubs.length);
+        lines.push(`  hubs by betweenness centrality (normalised; top ${shown} of ${s.hubs.length} quantities; a cut quantity of the drawing, not a central law):`);
+        for (const h of s.hubs.slice(0, shown))
+            lines.push(`     ${h.quantity.padEnd(40)} ${formatQuantity(h.betweenness, 3)}  (degree ${h.degree})`);
+        lines.push('');
+    }
+    // Sections are separated by one blank line; the closing line of the report brings its own.
+    while (lines.length > 0 && lines[lines.length - 1] === '')
+        lines.pop();
+    return lines;
+}
 /** Flags that shape the equation graph, and so mean nothing on an atlas view. */
-const GRAPH_ONLY_FLAGS = ['source', 'around', 'depth', 'equation', 'equation-only', 'proposed', 'max-orders', 'anchor'];
+const GRAPH_ONLY_FLAGS = ['source', 'around', 'depth', 'equation', 'equation-only', 'proposed', 'max-orders', 'anchor', ...STRUCTURE_FLAGS];
 /** Flags that only an atlas view reads. */
 const ATLAS_ONLY_FLAGS = ['all-routes', 'max-routes', 'stored', 'run'];
 async function runAtlasView(ctx, route, family, observable) {
@@ -371,8 +423,9 @@ async function runAtlasView(ctx, route, family, observable) {
     const maxRaw = lastValue(args.flags, 'max-routes');
     if (maxRaw !== undefined && !allRoutes)
         throw new CliError('upt map: --max-routes needs --all-routes');
-    const maxRoutes = maxRaw === undefined ? atlasMap.DEFAULT_MAX_ROUTES : Number(maxRaw);
-    if (!Number.isInteger(maxRoutes) || maxRoutes < 1 || maxRoutes > atlasMap.MAX_ROUTES_CEILING) {
+    // The grammar first (`0x10` is usage, exit 2); the 1..ceiling range after (exit 1).
+    const maxRoutes = maxRaw === undefined ? atlasMap.DEFAULT_MAX_ROUTES : integerFlag('map', '--max-routes', maxRaw);
+    if (maxRoutes < 1 || maxRoutes > atlasMap.MAX_ROUTES_CEILING) {
         throw new CliError(`upt map: --max-routes=${maxRaw} must be an integer from 1 to ${atlasMap.MAX_ROUTES_CEILING}`);
     }
     if (args.flags.has('stored') && args.flags.has('run')) {
@@ -512,8 +565,9 @@ async function runReport(ctx) {
     let focus = null;
     let fullGraph = wholeGraph;
     if (around !== undefined) {
-        const depth = depthRaw === undefined ? DEFAULT_DEPTH : Number(depthRaw);
-        if (!Number.isInteger(depth) || depth < 1 || depth > MAX_DEPTH)
+        // The grammar first (`1e1` is usage, exit 2); the 1..MAX_DEPTH range after (exit 1).
+        const depth = depthRaw === undefined ? DEFAULT_DEPTH : integerFlag('map', '--depth', depthRaw);
+        if (depth < 1 || depth > MAX_DEPTH)
             throw new CliError(`upt map: --depth=${depthRaw} must be an integer from 1 to ${MAX_DEPTH}`);
         const known = new Set(wholeGraph.flatMap((e) => [...e.sources.map((q) => q.name), e.target.name]));
         const name = api.resolveQuantityName(around, known);
@@ -555,6 +609,13 @@ async function runReport(ctx) {
     if (isJson && fmt !== 'text') {
         throw new UsageError('upt: pick one output form: --json or --format');
     }
+    const structureAsked = STRUCTURE_FLAGS.filter((f) => args.flags.has(f));
+    if (structureAsked.length > 0 && fmt !== 'text') {
+        const named = structureAsked.map((f) => `--${f}`).join(', ');
+        throw new UsageError(`upt map: ${named} print${structureAsked.length === 1 ? 's' : ''} text or --json; ${structureAsked.length === 1 ? 'it does' : 'they do'} not apply to --format=${fmt}`);
+    }
+    // Computed only when asked, over the same filtered edge list the linkage map reads.
+    const structure = await structureSections(api, graph, args.flags);
     // --equation injects a user-supplied "TARGET = EXPR" as a 'user' junction.
     let user = null;
     let comparisons = [];
@@ -599,7 +660,9 @@ async function runReport(ctx) {
     // whole catalog, and the model then judges each overlay junction under the
     // same filter as every other junction. Computed once for every output form.
     const proposed = args.flags.has('proposed') ? proposedJunctions(api, wholeGraph, args.flags) : null;
-    const overlay = (extra) => [...(proposed ?? []), ...extra];
+    // The drawing reads a plain junction; the magnitude-evidence flag is the list's and `--json`'s.
+    const drawn = (proposed ?? []).map((p) => ({ id: p.id, label: p.label, status: p.status, sources: p.sources, target: p.target }));
+    const overlay = (extra) => [...drawn, ...extra];
     if (isJson) {
         const linkage = api.linkageMap(graph);
         let landing;
@@ -629,10 +692,13 @@ async function runReport(ctx) {
             anchor,
             result: {
                 ...(equation != null && (equationOnly || !args.flags.has('verbose')) ? {} : { linkage }),
-                ...(proposed === null ? {} : { proposed: proposed.map((p) => ({ id: p.id, target: p.target, sources: p.sources })) }),
+                ...(proposed === null
+                    ? {}
+                    : { proposed: proposed.map((p) => ({ id: p.id, target: p.target, sources: p.sources, magnitudeEvidence: p.magnitudeEvidence })) }),
                 ...(edgeLegend !== null ? { filter: edgeStats } : {}),
                 ...(focus !== null ? { focus } : {}),
                 ...(user ? { landing, userEquation } : {}),
+                ...structure,
             },
         }, write);
         return exitCode;
@@ -716,7 +782,8 @@ async function runReport(ctx) {
         for (const p of proposed) {
             // No free input: every governing quantity of the derived relation is a registered constant.
             const sources = p.sources.length === 0 ? '{} (no sources: every input is a registered constant)' : `{${p.sources.join(', ')}}`;
-            out(`     ${p.id}: ${p.target} ← ${sources}`);
+            const evidence = p.magnitudeEvidence ? '' : '  (from an identification with no magnitude evidence)';
+            out(`     ${p.id}: ${p.target} ← ${sources}${evidence}`);
         }
         if (proposed.length === 0)
             out('     (none at this anchor and --max-orders)');
@@ -734,6 +801,12 @@ async function runReport(ctx) {
     }
     out(`  ○ isolated (${m.isolated.length}) — share no quantity with any other edge:`);
     out(`     ${m.isolated.length === 0 ? 'none' : m.isolated.join(', ')}`);
+    const structureText = structureLines(structure, api.formatQuantity);
+    if (structureText.length > 0) {
+        out('');
+        for (const line of structureText)
+            out(line);
+    }
     out('\n  (a structural map — shared-quantity connectivity, NOT a credibility signal)');
     return exitCode;
 }