universal-physics-tensor 9.0.0 → 10.0.0

package/dist/cli/statuses.js.map

@@ -1 +1 @@
-{"version":3,"file":"statuses.js","sourceRoot":"","sources":["../../src/cli/statuses.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAYH,MAAM,CAAC,MAAM,eAAe,GAAgC;IAC1D;QACE,GAAG,EAAE,OAAO;QACZ,KAAK,EAAE,CAAC,OAAO,CAAC;QAChB,OAAO,EACL,iGAAiG;YACjG,4GAA4G;QAC9G,QAAQ,EAAE,CAAC,QAAQ,CAAC;KACrB;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;QAC7B,OAAO,EACL,kGAAkG;YAClG,sCAAsC;QACxC,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC;KAC7C;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,CAAC;QACvD,OAAO,EACL,qGAAqG;YACrG,2EAA2E;QAC7E,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,CAAC;KAChD;IACD;QACE,GAAG,EAAE,UAAU;QACf,KAAK,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;QAC/B,OAAO,EACL,uGAAuG;YACvG,2BAA2B;QAC7B,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,CAAC;KACzC;IACD;QACE,GAAG,EAAE,UAAU;QACf,KAAK,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;QAC/B,OAAO,EACL,yGAAyG;YACzG,yBAAyB;QAC3B,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,YAAY;QACjB,KAAK,EAAE,CAAC,YAAY,EAAE,YAAY,CAAC;QACnC,OAAO,EACL,yGAAyG;QAC3G,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,cAAc;QACnB,KAAK,EAAE,CAAC,cAAc,EAAE,cAAc,CAAC;QACvC,OAAO,EACL,wGAAwG;YACxG,gFAAgF;QAClF,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;QAC7B,OAAO,EACL,uGAAuG;YACvG,wFAAwF;QAC1F,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,WAAW;QAChB,KAAK,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC;QACjC,OAAO,EAAE,kHAAkH;QAC3H,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,oBAAoB;QACzB,KAAK,EAAE,CAAC,oBAAoB,EAAE,UAAU,EAAE,oBAAoB,CAAC;QAC/D,OAAO,EACL,2GAA2G;YAC3G,4GAA4G;YAC5G,6CAA6C;QAC/C,QAAQ,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC;KAC1B;IACD;QACE,GAAG,EAAE,mBAAmB;QACxB,KAAK,EAAE,CAAC,mBAAmB,CAAC;QAC5B,OAAO,EACL,wGAAwG;YACxG,gEAAgE;QAClE,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,iBAAiB;QACtB,KAAK,EAAE,CAAC,iBAAiB,CAAC;QAC1B,OAAO,EACL,wGAAwG;YACxG,iCAAiC;QACnC,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,eAAe;QACpB,KAAK,EAAE,CAAC,eAAe,CAAC;QACxB,OAAO,EACL,2GAA2G;YAC3G,qBAAqB;QACvB,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,uBAAuB;QAC5B,KAAK,EAAE,CAAC,uBAAuB,CAAC;QAChC,OAAO,EACL,wGAAwG;YACxG,mEAAmE;QACrE,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,uBAAuB;QAC5B,KAAK,EAAE,CAAC,uBAAuB,CAAC;QAChC,OAAO,EACL,mGAAmG;QACrG,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,KAAK,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC;QACzB,OAAO,EACL,wGAAwG;YACxG,sEAAsE;QACxE,QAAQ,EAAE,CAAC,OAAO,CAAC;KACpB;IACD;QACE,GAAG,EAAE,mBAAmB;QACxB,KAAK,EAAE,CAAC,mBAAmB,CAAC;QAC5B,OAAO,EACL,2GAA2G;YAC3G,8GAA8G;QAChH,QAAQ,EAAE,CAAC,OAAO,CAAC;KACpB;IACD;QACE,GAAG,EAAE,gBAAgB;QACrB,KAAK,EAAE,CAAC,gBAAgB,CAAC;QACzB,OAAO,EACL,yGAAyG;YACzG,kGAAkG;QACpG,QAAQ,EAAE,CAAC,OAAO,CAAC;KACpB;IACD;QACE,GAAG,EAAE,mBAAmB;QACxB,KAAK,EAAE,CAAC,OAAO,CAAC;QAChB,OAAO,EACL,wGAAwG;YACxG,wGAAwG;YACxG,oFAAoF;QACtF,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,UAAU;QACf,KAAK,EAAE,CAAC,UAAU,CAAC;QACnB,OAAO,EACL,yGAAyG;YACzG,uGAAuG;YACvG,uGAAuG;QACzG,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,mBAAmB;QACxB,KAAK,EAAE,CAAC,mBAAmB,CAAC;QAC5B,OAAO,EACL,+GAA+G;QACjH,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,cAAc;QACnB,KAAK,EAAE,CAAC,cAAc,CAAC;QACvB,OAAO,EAAE,mEAAmE;QAC5E,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,CAAC;QAClB,OAAO,EAAE,8EAA8E;QACvF,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,UAAU;QACf,KAAK,EAAE,CAAC,UAAU,CAAC;QACnB,OAAO,EACL,0GAA0G;YAC1G,2CAA2C;QAC7C,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,aAAa;QAClB,KAAK,EAAE,CAAC,aAAa,CAAC;QACtB,OAAO,EACL,4GAA4G;YAC5G,uFAAuF;QACzF,QAAQ,EAAE,CAAC,SAAS,CAAC;KACtB;IACD;QACE,GAAG,EAAE,WAAW;QAChB,KAAK,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC;QACjC,OAAO,EACL,6GAA6G;YAC7G,uEAAuE;QACzE,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,KAAK,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC;QACzB,OAAO,EAAE,kGAAkG;QAC3G,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,eAAe;QACpB,KAAK,EAAE,CAAC,eAAe,EAAE,eAAe,CAAC;QACzC,OAAO,EAAE,oGAAoG;QAC7G,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,iBAAiB;QACtB,KAAK,EAAE,CAAC,iBAAiB,CAAC;QAC1B,OAAO,EACL,0GAA0G;YAC1G,2BAA2B;QAC7B,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,YAAY;QACjB,KAAK,EAAE,CAAC,YAAY,CAAC;QACrB,OAAO,EACL,sGAAsG;YACtG,+CAA+C;QACjD,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,YAAY;QACjB,KAAK,EAAE,CAAC,YAAY,CAAC;QACrB,OAAO,EACL,wGAAwG;YACxG,4FAA4F;QAC9F,QAAQ,EAAE,CAAC,QAAQ,CAAC;KACrB;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC;QAC5B,OAAO,EACL,0GAA0G;YAC1G,mHAAmH;QACrH,QAAQ,EAAE,CAAC,QAAQ,CAAC;KACrB;IACD;QACE,GAAG,EAAE,gBAAgB;QACrB,KAAK,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;QAC3C,OAAO,EACL,4GAA4G;YAC5G,0GAA0G;YAC1G,wGAAwG;YACxG,qEAAqE;QACvE,QAAQ,EAAE,CAAC,QAAQ,CAAC;KACrB;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,CAAC;QAClB,OAAO,EAAE,qDAAqD;QAC9D,QAAQ,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;KACnC;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;QAC7B,OAAO,EACL,sGAAsG;YACtG,6DAA6D;QAC/D,QAAQ,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;KACnC;IACD;QACE,GAAG,EAAE,YAAY;QACjB,KAAK,EAAE,CAAC,YAAY,CAAC;QACrB,OAAO,EACL,yGAAyG;YACzG,uGAAuG;YACvG,0BAA0B;QAC5B,QAAQ,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;KACnC;CACF,CAAC;AAEF,oFAAoF;AACpF,MAAM,UAAU,cAAc,CAAC,OAAe;IAC5C,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,eAAe;QAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC;IAC1F,OAAO,GAAG,CAAC;AACb,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,aAAa,CAAC,GAAW;IACvC,MAAM,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;IACrD,IAAI,CAAC,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,GAAG,GAAG,CAAC,CAAC;IACrE,OAAO,CAAC,CAAC,OAAO,CAAC;AACnB,CAAC;AAED,2GAA2G;AAC3G,MAAM,UAAU,YAAY;IAC1B,MAAM,KAAK,GAAG;QACZ,yDAAyD;QACzD,EAAE;QACF,mGAAmG;QACnG,uEAAuE;QACvE,EAAE;KACH,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,eAAe,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClH,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}
+{"version":3,"file":"statuses.js","sourceRoot":"","sources":["../../src/cli/statuses.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAYH,MAAM,CAAC,MAAM,eAAe,GAAgC;IAC1D;QACE,GAAG,EAAE,OAAO;QACZ,KAAK,EAAE,CAAC,OAAO,CAAC;QAChB,OAAO,EACL,iGAAiG;YACjG,4GAA4G;QAC9G,QAAQ,EAAE,CAAC,QAAQ,CAAC;KACrB;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;QAC7B,OAAO,EACL,kGAAkG;YAClG,sCAAsC;QACxC,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC;KAC7C;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,CAAC;QACvD,OAAO,EACL,qGAAqG;YACrG,2EAA2E;QAC7E,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,CAAC;KAChD;IACD;QACE,GAAG,EAAE,UAAU;QACf,KAAK,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;QAC/B,OAAO,EACL,uGAAuG;YACvG,2BAA2B;QAC7B,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,CAAC;KACzC;IACD;QACE,GAAG,EAAE,UAAU;QACf,KAAK,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;QAC/B,OAAO,EACL,yGAAyG;YACzG,yBAAyB;QAC3B,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,YAAY;QACjB,KAAK,EAAE,CAAC,YAAY,EAAE,YAAY,CAAC;QACnC,OAAO,EACL,yGAAyG;QAC3G,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,cAAc;QACnB,KAAK,EAAE,CAAC,cAAc,EAAE,cAAc,CAAC;QACvC,OAAO,EACL,wGAAwG;YACxG,gFAAgF;QAClF,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;QAC7B,OAAO,EACL,uGAAuG;YACvG,wFAAwF;QAC1F,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,WAAW;QAChB,KAAK,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC;QACjC,OAAO,EAAE,kHAAkH;QAC3H,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,oBAAoB;QACzB,KAAK,EAAE,CAAC,oBAAoB,EAAE,UAAU,EAAE,oBAAoB,CAAC;QAC/D,OAAO,EACL,2GAA2G;YAC3G,4GAA4G;YAC5G,6CAA6C;QAC/C,QAAQ,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC;KAC1B;IACD;QACE,GAAG,EAAE,mBAAmB;QACxB,KAAK,EAAE,CAAC,mBAAmB,CAAC;QAC5B,OAAO,EACL,wGAAwG;YACxG,gEAAgE;QAClE,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,iBAAiB;QACtB,KAAK,EAAE,CAAC,iBAAiB,CAAC;QAC1B,OAAO,EACL,wGAAwG;YACxG,iCAAiC;QACnC,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,eAAe;QACpB,KAAK,EAAE,CAAC,eAAe,CAAC;QACxB,OAAO,EACL,2GAA2G;YAC3G,qBAAqB;QACvB,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,uBAAuB;QAC5B,KAAK,EAAE,CAAC,uBAAuB,CAAC;QAChC,OAAO,EACL,wGAAwG;YACxG,mEAAmE;QACrE,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,uBAAuB;QAC5B,KAAK,EAAE,CAAC,uBAAuB,CAAC;QAChC,OAAO,EACL,mGAAmG;QACrG,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,KAAK,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC;QACzB,OAAO,EACL,wGAAwG;YACxG,sEAAsE;QACxE,QAAQ,EAAE,CAAC,OAAO,CAAC;KACpB;IACD;QACE,GAAG,EAAE,mBAAmB;QACxB,KAAK,EAAE,CAAC,mBAAmB,CAAC;QAC5B,OAAO,EACL,2GAA2G;YAC3G,8GAA8G;QAChH,QAAQ,EAAE,CAAC,OAAO,CAAC;KACpB;IACD;QACE,GAAG,EAAE,gBAAgB;QACrB,KAAK,EAAE,CAAC,gBAAgB,CAAC;QACzB,OAAO,EACL,yGAAyG;YACzG,kGAAkG;QACpG,QAAQ,EAAE,CAAC,OAAO,CAAC;KACpB;IACD;QACE,GAAG,EAAE,mBAAmB;QACxB,KAAK,EAAE,CAAC,OAAO,CAAC;QAChB,OAAO,EACL,wGAAwG;YACxG,wGAAwG;YACxG,oFAAoF;QACtF,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,UAAU;QACf,KAAK,EAAE,CAAC,UAAU,CAAC;QACnB,OAAO,EACL,yGAAyG;YACzG,uGAAuG;YACvG,uGAAuG;QACzG,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,mBAAmB;QACxB,KAAK,EAAE,CAAC,mBAAmB,CAAC;QAC5B,OAAO,EACL,+GAA+G;QACjH,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,cAAc;QACnB,KAAK,EAAE,CAAC,cAAc,CAAC;QACvB,OAAO,EAAE,mEAAmE;QAC5E,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,CAAC;QAClB,OAAO,EAAE,8EAA8E;QACvF,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,UAAU;QACf,KAAK,EAAE,CAAC,UAAU,CAAC;QACnB,OAAO,EACL,0GAA0G;YAC1G,2CAA2C;QAC7C,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,aAAa;QAClB,KAAK,EAAE,CAAC,aAAa,CAAC;QACtB,OAAO,EACL,4GAA4G;YAC5G,uFAAuF;QACzF,QAAQ,EAAE,CAAC,SAAS,CAAC;KACtB;IACD;QACE,GAAG,EAAE,WAAW;QAChB,KAAK,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC;QACjC,OAAO,EACL,6GAA6G;YAC7G,uEAAuE;QACzE,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,KAAK,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC;QACzB,OAAO,EAAE,kGAAkG;QAC3G,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,eAAe;QACpB,KAAK,EAAE,CAAC,eAAe,EAAE,eAAe,CAAC;QACzC,OAAO,EAAE,oGAAoG;QAC7G,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,iBAAiB;QACtB,KAAK,EAAE,CAAC,iBAAiB,CAAC;QAC1B,OAAO,EACL,0GAA0G;YAC1G,2BAA2B;QAC7B,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,YAAY;QACjB,KAAK,EAAE,CAAC,YAAY,CAAC;QACrB,OAAO,EACL,sGAAsG;YACtG,+CAA+C;QACjD,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD;QACE,GAAG,EAAE,YAAY;QACjB,KAAK,EAAE,CAAC,YAAY,CAAC;QACrB,OAAO,EACL,wGAAwG;YACxG,4FAA4F;QAC9F,QAAQ,EAAE,CAAC,QAAQ,CAAC;KACrB;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,EAAE,QAAQ,CAAC;QAC5B,OAAO,EACL,0GAA0G;YAC1G,mHAAmH;QACrH,QAAQ,EAAE,CAAC,QAAQ,CAAC;KACrB;IACD;QACE,GAAG,EAAE,gBAAgB;QACrB,KAAK,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;QAC3C,OAAO,EACL,4GAA4G;YAC5G,0GAA0G;YAC1G,wGAAwG;YACxG,qEAAqE;QACvE,QAAQ,EAAE,CAAC,QAAQ,CAAC;KACrB;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,CAAC;QAClB,OAAO,EAAE,qDAAqD;QAC9D,QAAQ,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;KACnC;IACD;QACE,GAAG,EAAE,SAAS;QACd,KAAK,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;QAC7B,OAAO,EACL,sGAAsG;YACtG,6DAA6D;QAC/D,QAAQ,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;KACnC;IACD;QACE,GAAG,EAAE,YAAY;QACjB,KAAK,EAAE,CAAC,YAAY,CAAC;QACrB,OAAO,EACL,yGAAyG;YACzG,uGAAuG;YACvG,0BAA0B;QAC5B,QAAQ,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;KACnC;CACF,CAAC;AAEF,oFAAoF;AACpF,MAAM,UAAU,cAAc,CAAC,OAAe;IAC5C,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,eAAe;QAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC;IAC1F,OAAO,GAAG,CAAC;AACb,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,aAAa,CAAC,GAAW;IACvC,MAAM,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;IACrD,IAAI,CAAC,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,GAAG,GAAG,CAAC,CAAC;IACrE,OAAO,CAAC,CAAC,OAAO,CAAC;AACnB,CAAC;AAED,2GAA2G;AAC3G,MAAM,UAAU,YAAY;IAC1B,MAAM,KAAK,GAAG;QACZ,yDAAyD;QACzD,EAAE;QACF,mGAAmG;QACnG,uEAAuE;QACvE,EAAE;KACH,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,eAAe,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClH,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC","sourcesContent":["/**\n * The status words the CLI prints, defined once (audit I13).\n *\n * `upt help statuses` prints this table, and every `--json` envelope carries the definitions of the\n * statuses its command can emit (`emitJson` adds them from here, so a command cannot omit them and no\n * command keeps a private copy). A status a command prints but this table does not assign to it is a\n * defect, which `tests/cli/statuses.test.ts` looks for in the commands' own output.\n */\n\nexport interface StatusDefinition {\n  /** The key under `definitions` in a `--json` envelope. */\n  readonly key: string;\n  /** The words as the commands print them, text or JSON. */\n  readonly words: readonly string[];\n  readonly meaning: string;\n  /** The commands (envelope `command` names) that can emit it. */\n  readonly commands: readonly string[];\n}\n\nexport const STATUS_GLOSSARY: readonly StatusDefinition[] = [\n  {\n    key: 'valid',\n    words: ['valid'],\n    meaning:\n      'every machine inequality the record states was evaluated at the point and holds. Only a record ' +\n      'that states at least one inequality can be valid; its prose premises are listed apart and were not checked',\n    commands: ['regime'],\n  },\n  {\n    key: 'vacuous',\n    words: ['VACUOUS', 'vacuous'],\n    meaning:\n      'the record states no machine inequality, so nothing was evaluated: not a pass, and not evidence ' +\n      'that the record applies at the point',\n    commands: ['regime', 'path', 'atlas', 'map'],\n  },\n  {\n    key: 'unknown',\n    words: ['UNKNOWN', 'unknown', 'UNCHECKED', 'unchecked'],\n    meaning:\n      'a value the check needs was not supplied (or a search stopped at its budget), so the check did not ' +\n      'run: a failure to confirm, never a pass and never a violation. It exits 0',\n    commands: ['regime', 'path', 'evaluate', 'map'],\n  },\n  {\n    key: 'violated',\n    words: ['VIOLATED', 'violated'],\n    meaning:\n      'a machine inequality (a regime, horizon or validity condition) was evaluated at the point and fails; ' +\n      'no bound is claimed there',\n    commands: ['regime', 'path', 'evaluate'],\n  },\n  {\n    key: 'adequate',\n    words: ['ADEQUATE', 'adequate'],\n    meaning:\n      'every bound on the path is claimed at the point and its error, in the norm the tolerance is stated in, ' +\n      'is within the tolerance',\n    commands: ['path'],\n  },\n  {\n    key: 'inadequate',\n    words: ['INADEQUATE', 'inadequate'],\n    meaning:\n      'the point is outside a regime or past a horizon on the path, or the error exceeds the tolerance; exit 3',\n    commands: ['path'],\n  },\n  {\n    key: 'undetermined',\n    words: ['UNDETERMINED', 'undetermined'],\n    meaning:\n      'the point does not settle adequacy: a value is missing, the bound is in another norm with no declared ' +\n      'translation, or an upper bound is past its horizon. It is not shown inadequate',\n    commands: ['path'],\n  },\n  {\n    key: 'neither',\n    words: ['NEITHER', 'neither'],\n    meaning:\n      'in a route-coverage grid, no encoded route claims a bound at this point: the parent model is the one ' +\n      'to use there and no reduced-model number is given. It does not say the models disagree',\n    commands: ['path'],\n  },\n  {\n    key: 'unsettled',\n    words: ['UNSETTLED', 'unsettled'],\n    meaning: 'in a route-coverage grid, a coordinate or t was not supplied, so whether a route covers the point is not settled',\n    commands: ['path'],\n  },\n  {\n    key: 'no-composite-claim',\n    words: ['no composite claim', 'no-claim', 'no-composite-claim'],\n    meaning:\n      'the composition table yields no relation for two steps of the route (a silent cell). The route claims no ' +\n      'error and exits 0. A missing Lipschitz constant, an undeclared norm and an unmapped cross-family norm are ' +\n      'other refusals, counted apart from this one',\n    commands: ['path', 'map'],\n  },\n  {\n    key: 'missing-lipschitz',\n    words: ['missing-lipschitz'],\n    meaning:\n      'a step that is not last states no Lipschitz constant, so the error after it is unbounded. No bound is ' +\n      'claimed. It exits 0. It is not a silent composition-table cell',\n    commands: ['path'],\n  },\n  {\n    key: 'norm-not-stated',\n    words: ['norm-not-stated'],\n    meaning:\n      'an exact step declares no norm transport for the running norm and the direction the route crosses it. ' +\n      'No bound is claimed. It exits 0',\n    commands: ['path'],\n  },\n  {\n    key: 'norm-mismatch',\n    words: ['norm-mismatch'],\n    meaning:\n      'two stated norms on one route are not the same norm, and no transport maps one to the other. No bound is ' +\n      'claimed. It exits 0',\n    commands: ['path'],\n  },\n  {\n    key: 'cross-family-unmapped',\n    words: ['cross-family-unmapped'],\n    meaning:\n      'across model families a matching norm name is not a transport. No witnessed NormTransport carries the ' +\n      'bound, so none is claimed. It exits 0. It is not a violated check',\n    commands: ['path'],\n  },\n  {\n    key: 'uniformity-unanalysed',\n    words: ['uniformity-unanalysed'],\n    meaning:\n      'a bound on the route does not state whether its error is uniform. No bound is claimed. It exits 0',\n    commands: ['path'],\n  },\n  {\n    key: 'decoy',\n    words: ['DECOY', 'decoy'],\n    meaning:\n      'a set of constants closes the dimensions, but its monomial does not reproduce the evaluator: a failed ' +\n      'dimensional reconstruction, not a physical refutation of the formula',\n    commands: ['audit'],\n  },\n  {\n    key: 'coefficient-unset',\n    words: ['COEFFICIENT UNSET'],\n    meaning:\n      'the entry is dimensional and no sourced prefactor multiplies the monomial. The evaluator\\'s leading 1 is ' +\n      'that absence, not a recovered constant. It is not a failed reconstruction and not a free dimensionless group',\n    commands: ['audit'],\n  },\n  {\n    key: 'not-a-monomial',\n    words: ['NOT A MONOMIAL'],\n    meaning:\n      'the encoded formula adds dimensionful terms, so it is not a proportionality. A monomial reconstruction ' +\n      'does not apply. This is not a failed reconstruction of a monomial, and not a physical refutation',\n    commands: ['audit'],\n  },\n  {\n    key: 'adjudicated-decoy',\n    words: ['decoy'],\n    meaning:\n      'a recorded adjudication of the identification a ≡ b found a dimensional coincidence with no mechanism ' +\n      '(trivial and definitional identifications included). Folded out of the PROMISING list by default. Not ' +\n      'the DECOY of `upt audit`, which is a failed dimensional reconstruction of a bridge',\n    commands: ['discover'],\n  },\n  {\n    key: 'entailed',\n    words: ['entailed'],\n    meaning:\n      'real physics that the canonical L-layer already carries, so not a new link. As a recorded adjudication ' +\n      'verdict it folds the identification out of the PROMISING list by default; as a consequence signal it ' +\n      'means the derived monomial has the same normal form, target and governing set as a canonical equation',\n    commands: ['discover'],\n  },\n  {\n    key: 'novel-consequence',\n    words: ['novel-consequence'],\n    meaning:\n      'the derived monomial consequence matches no canonical equation: unadjudicated, and not evidence that it holds',\n    commands: ['discover'],\n  },\n  {\n    key: 'inconclusive',\n    words: ['inconclusive'],\n    meaning: 'no monomial consequence could be derived, so nothing was compared',\n    commands: ['discover'],\n  },\n  {\n    key: 'genuine',\n    words: ['genuine'],\n    meaning: 'a recorded adjudication found the identification real physics and a new link',\n    commands: ['discover'],\n  },\n  {\n    key: 'deferred',\n    words: ['deferred'],\n    meaning:\n      'the identification was reviewed and consciously parked. An identification with no recorded adjudication ' +\n      'was never reviewed, which is not the same',\n    commands: ['discover'],\n  },\n  {\n    key: 'not-covered',\n    words: ['NOT COVERED'],\n    meaning:\n      'the name is not a quantity of the selected graph (--source), so there is nothing to evaluate; the nearest ' +\n      'names and what `upt search` finds are listed. It is not a statement about the physics',\n    commands: ['explain'],\n  },\n  {\n    key: 'promising',\n    words: ['PROMISING', 'promising'],\n    meaning:\n      'an identification a ≡ b that is numerically consistent, connects disconnected physics and unlocks at least ' +\n      'one quantity: worth a physicist\\'s review, not evidence that it holds',\n    commands: ['discover'],\n  },\n  {\n    key: 'inert',\n    words: ['INERT', 'inert'],\n    meaning: 'consistent but idle: a dimensional coincidence that connects nothing new and unlocks no quantity',\n    commands: ['discover'],\n  },\n  {\n    key: 'contradictory',\n    words: ['CONTRADICTORY', 'contradictory'],\n    meaning: 'the identification breaks the numerical consistency of the graph: a falsification within the graph',\n    commands: ['discover'],\n  },\n  {\n    key: 'magnitude-clash',\n    words: ['magnitude-clash'],\n    meaning:\n      'the two quantities\\' representative values differ by more than the threshold of orders of magnitude: an ' +\n      'independent falsification',\n    commands: ['discover'],\n  },\n  {\n    key: 'axis-clash',\n    words: ['axis-clash'],\n    meaning:\n      'the identification\\'s stated scale or force regime labels disagree: a prior from catalog labels, no ' +\n      'computation, never counted as a falsification',\n    commands: ['discover'],\n  },\n  {\n    key: 'reproduced',\n    words: ['reproduced'],\n    meaning:\n      'the replayed run gave the recorded exit code, stdout and stderr, byte for byte, and any file it wrote ' +\n      '(--out, written to a temporary path, never over the recorded one) has the recorded SHA-256',\n    commands: ['replay'],\n  },\n  {\n    key: 'differs',\n    words: ['differs', 'differ'],\n    meaning:\n      'the replayed run differs from the record: the stream (or the written file) and first differing line are ' +\n      'named, with every changed version, parser, constant or module source and whether the command can reach it. Exit 3',\n    commands: ['replay'],\n  },\n  {\n    key: 'not-replayable',\n    words: ['not replayable', 'not-replayable'],\n    meaning:\n      'the entry is not re-run, or its replay is not compared: its line is malformed; it was to write a file and ' +\n      'wrote none; it ran an external probe worker; a file it read (--problem, --data, --stored, ...) changed, ' +\n      'vanished or appeared since recording, or was not hashed; or the recorded or the replayed probe search ' +\n      'stopped on its wall-clock budget (time-limit). Nothing was compared',\n    commands: ['replay'],\n  },\n  {\n    key: 'checked',\n    words: ['checked'],\n    meaning: 'a witness ran in this invocation and its claim held',\n    commands: ['atlas', 'map', 'path'],\n  },\n  {\n    key: 'refuted',\n    words: ['refuted', 'REFUTED'],\n    meaning:\n      'a witness ran and its claim failed. On a negative control the wrong hypothesis is refuted, which is ' +\n      'the control working. A refuted witness makes `--run` exit 3',\n    commands: ['atlas', 'map', 'path'],\n  },\n  {\n    key: 'unresolved',\n    words: ['unresolved'],\n    meaning:\n      'a witness did not run (its peer is absent, it timed out, its input did not parse) or ran and could not ' +\n      'decide (a CAS difference that did not simplify to zero, no convergence). Not a refutation, and never ' +\n      'counted with the refuted',\n    commands: ['atlas', 'map', 'path'],\n  },\n];\n\n/** The definitions of the statuses `command` can emit, keyed as in the glossary. */\nexport function definitionsFor(command: string): Record<string, string> {\n  const out: Record<string, string> = {};\n  for (const s of STATUS_GLOSSARY) if (s.commands.includes(command)) out[s.key] = s.meaning;\n  return out;\n}\n\n/** The glossary meaning of status `key`; throws on a key the glossary does not define. */\nexport function statusMeaning(key: string): string {\n  const s = STATUS_GLOSSARY.find((d) => d.key === key);\n  if (s === undefined) throw new Error(`statuses: no status '${key}'`);\n  return s.meaning;\n}\n\n/** The text of `upt help statuses`: each status, its words, the commands that emit it, and its meaning. */\nexport function glossaryText(): string {\n  const lines = [\n    'upt help statuses — the status words the commands print',\n    '',\n    'Each --json envelope carries these definitions, under `definitions`, for the statuses its command',\n    'can emit. A status that did not check anything never reads as a pass.',\n    '',\n  ];\n  for (const s of STATUS_GLOSSARY) {\n    lines.push(`  ${s.words.join(' / ')}   (${s.commands.map((c) => (c === 'replay' ? '--replay' : c)).join(', ')})`);\n    lines.push(`        ${s.meaning}.`);\n  }\n  return lines.join('\\n');\n}\n"]}

package/dist/cli/top-level-help.js.map

@@ -1 +1 @@
-{"version":3,"file":"top-level-help.js","sourceRoot":"","sources":["../../src/cli/top-level-help.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAEnD,MAAM,MAAM,GAAG;;OAER,CAAC;AAER,MAAM,cAAc,GAAG;;;;;;;wCAOiB,CAAC;AAEzC,4EAA4E;AAC5E,SAAS,KAAK,CAAC,OAAgB;IAC7B,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAClD,OAAO,CAAC,KAAK,KAAK,IAAI,EAAE,EAAE,EAAE,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAClD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,QAA4B,EAAE,WAAgC;IAC/F,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IACzF,MAAM,MAAM,GAAG,MAAM;SAClB,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC;SAC7C,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;SAC5C,GAAG,CAAC,KAAK,CAAC,CAAC;IACd,OAAO,GAAG,MAAM,KAAK,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,cAAc,KAAK,iBAAiB,CAAC,WAAW,EAAE,iBAAiB,CAAC,EAAE,CAAC;AACxH,CAAC"}
+{"version":3,"file":"top-level-help.js","sourceRoot":"","sources":["../../src/cli/top-level-help.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAEnD,MAAM,MAAM,GAAG;;OAER,CAAC;AAER,MAAM,cAAc,GAAG;;;;;;;wCAOiB,CAAC;AAEzC,4EAA4E;AAC5E,SAAS,KAAK,CAAC,OAAgB;IAC7B,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAClD,OAAO,CAAC,KAAK,KAAK,IAAI,EAAE,EAAE,EAAE,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAClD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,QAA4B,EAAE,WAAgC;IAC/F,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IACzF,MAAM,MAAM,GAAG,MAAM;SAClB,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC;SAC7C,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;SAC5C,GAAG,CAAC,KAAK,CAAC,CAAC;IACd,OAAO,GAAG,MAAM,KAAK,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,cAAc,KAAK,iBAAiB,CAAC,WAAW,EAAE,iBAAiB,CAAC,EAAE,CAAC;AACxH,CAAC","sourcesContent":["/**\n * `upt --help` is the registered commands' own help, not a second copy.\n *\n * `upt chain` stays off this list: the name is registered so it is not\n * \"unknown\", and `upt help chain` is the status. `help` and `version` are\n * dispatch verbs, not registered commands, so this renderer names them once.\n *\n * @module cli/top-level-help\n */\n\nimport type { FlagSpec } from './args.js';\nimport type { Command } from './command.js';\nimport { renderFlagCatalog } from './flag-help.js';\n\nconst HEADER = `upt — Universal Physics Tensor bridge-inference CLI\n\nUsage:`;\n\nconst DISPATCH_VERBS = `  upt help        Show this message.\n  upt help <command>\n                  Show one command's usage and flags.\n  upt help statuses\n                  Define every status word the commands print.\n  upt version     Show the installed CLI/package version.\n\nRun with no arguments for a short demo.`;\n\n/** Indent a command's own help so the registry test sees `  upt <name>`. */\nfunction block(command: Command): string {\n  const [first, ...rest] = command.help.split('\\n');\n  return [`  ${first ?? ''}`, ...rest].join('\\n');\n}\n\n/**\n * Top-level help. Every non-empty line of a listed command's `help` appears\n * here. `upt chain` does not.\n *\n * @internal\n */\nexport function renderTopLevelHelp(commands: readonly Command[], globalFlags: readonly FlagSpec[]): string {\n  const unique = [...new Map(commands.map((command) => [command.name, command])).values()];\n  const blocks = unique\n    .filter((command) => command.name !== 'chain')\n    .sort((a, b) => a.name.localeCompare(b.name))\n    .map(block);\n  return `${HEADER}\\n${blocks.join('\\n\\n')}\\n\\n${DISPATCH_VERBS}\\n${renderFlagCatalog(globalFlags, 'Global options:')}`;\n}\n"]}

package/dist/cli/version.js.map

@@ -1 +1 @@
-{"version":3,"file":"version.js","sourceRoot":"","sources":["../../src/cli/version.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,MAAM,UAAU,cAAc;IAC5B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,oBAAoB,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/D,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAwB,CAAC;IAC7E,OAAO,GAAG,CAAC,OAAO,CAAC;AACrB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY;IAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,GAAG,CAAC,oBAAoB,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAG1F,CAAC;IACF,MAAM,KAAK,GAAG;QACZ,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;QACrF,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,gBAAgB,IAAI,EAAE,CAAC;KAC3C,CAAC;IACF,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAkC,EAAE,CAAC;IAChD,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC9C,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;QACnB,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YACpD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;YACjD,IAAI,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACzB,KAAK,CAAC,IAAI,CAAC,GAAI,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAA0B,CAAC,OAAO,IAAI,IAAI,CAAC;gBACnG,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,uDAAuD;AACvD,MAAM,kBAAkB,GAAG,iCAAiC,CAAC;AAE7D;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAA0B;IAC3D,OAAO,IAAI,KAAK,QAAQ;QACtB,CAAC,CAAC,WAAW,kBAAkB,IAAI,YAAY,EAAE,CAAC,kBAAkB,CAAC,IAAI,iBAAiB,GAAG;QAC7F,CAAC,CAAC,qCAAqC,cAAc,EAAE,GAAG,CAAC;AAC/D,CAAC"}
+{"version":3,"file":"version.js","sourceRoot":"","sources":["../../src/cli/version.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,MAAM,UAAU,cAAc;IAC5B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,oBAAoB,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/D,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAwB,CAAC;IAC7E,OAAO,GAAG,CAAC,OAAO,CAAC;AACrB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY;IAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,GAAG,CAAC,oBAAoB,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAG1F,CAAC;IACF,MAAM,KAAK,GAAG;QACZ,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;QACrF,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,gBAAgB,IAAI,EAAE,CAAC;KAC3C,CAAC;IACF,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAkC,EAAE,CAAC;IAChD,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC9C,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;QACnB,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YACpD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;YACjD,IAAI,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACzB,KAAK,CAAC,IAAI,CAAC,GAAI,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAA0B,CAAC,OAAO,IAAI,IAAI,CAAC;gBACnG,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,uDAAuD;AACvD,MAAM,kBAAkB,GAAG,iCAAiC,CAAC;AAE7D;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAA0B;IAC3D,OAAO,IAAI,KAAK,QAAQ;QACtB,CAAC,CAAC,WAAW,kBAAkB,IAAI,YAAY,EAAE,CAAC,kBAAkB,CAAC,IAAI,iBAAiB,GAAG;QAC7F,CAAC,CAAC,qCAAqC,cAAc,EAAE,GAAG,CAAC;AAC/D,CAAC","sourcesContent":["/**\n * Runtime package-version lookup for the UPT CLI (`upt --version`, etc.).\n *\n * Reads `package.json` relative to this module's own location rather than\n * importing a generated constant, so it stays correct without a build step\n * re-stamping a version string. From `dist/cli/version.js`, `../../package.json`\n * resolves to the package root in both the dev checkout and the installed\n * npm layout (`dist/` ships as part of the published package).\n */\n\nimport { existsSync, readFileSync } from 'node:fs';\nimport { createRequire } from 'node:module';\nimport { join } from 'node:path';\n\nexport function packageVersion(): string {\n  const pkgPath = new URL('../../package.json', import.meta.url);\n  const pkg = JSON.parse(readFileSync(pkgPath, 'utf8')) as { version: string };\n  return pkg.version;\n}\n\n/**\n * Installed version of each MathTS dependency and each optional peer, `null`\n * when absent. Reads the package's own package.json from the resolution\n * paths, because a package's `exports` may not expose it. MathTS is required;\n * the record still names those versions so a replay can see a parser change.\n */\nexport function peerVersions(): Record<string, string | null> {\n  const pkg = JSON.parse(readFileSync(new URL('../../package.json', import.meta.url), 'utf8')) as {\n    dependencies?: Record<string, string>;\n    peerDependencies?: Record<string, string>;\n  };\n  const names = [\n    ...Object.keys(pkg.dependencies ?? {}).filter((n) => n.startsWith('@danielsimonjr/')),\n    ...Object.keys(pkg.peerDependencies ?? {}),\n  ];\n  const require = createRequire(import.meta.url);\n  const peers: Record<string, string | null> = {};\n  for (const name of [...new Set(names)].sort()) {\n    peers[name] = null;\n    for (const dir of require.resolve.paths(name) ?? []) {\n      const manifest = join(dir, name, 'package.json');\n      if (existsSync(manifest)) {\n        peers[name] = (JSON.parse(readFileSync(manifest, 'utf8')) as { version?: string }).version ?? null;\n        break;\n      }\n    }\n  }\n  return peers;\n}\n\n/** The peer that backs the `mathts` formula parser. */\nconst MATHTS_PARSER_PEER = '@danielsimonjr/mathts-functions';\n\n/**\n * The active formula parser with the version that defines it (audit I4): the MathTS peer's\n * version for `mathts`, this package's for `builtin`, whose parser ships in it.\n */\nexport function formulaParserLabel(kind: 'mathts' | 'builtin'): string {\n  return kind === 'mathts'\n    ? `mathts (${MATHTS_PARSER_PEER} ${peerVersions()[MATHTS_PARSER_PEER] ?? 'version unknown'})`\n    : `builtin (universal-physics-tensor ${packageVersion()})`;\n}"]}

package/dist/cli-api.d.ts

@@ -15,7 +15,8 @@
  * @module cli-api
  */
 import './relations/domain-regimes.js';
-export { explainQuantity, CATALOG_GRAPH, CANONICAL_GRAPH, M_SUN_KG, composeSymbolic, format, buildVizModel, renderDotToSvg, equationLanding, analyzeUserEquation, suggestQuantities, buckinghamPi, dimensionallyDetermines, } from './index.js';
+/** Public-API symbols (already on the root surface), plus `equals` as `dimensionsEqual`. */
+export { explainQuantity, CATALOG_GRAPH, CANONICAL_GRAPH, M_SUN_KG, composeSymbolic, format, equals as dimensionsEqual, buildVizModel, renderDotToSvg, equationLanding, analyzeUserEquation, suggestQuantities, buckinghamPi, dimensionallyDetermines, } from './index.js';
 /** Numeric composition of two graph edges. The grade is the lower of the two, and a chain stays provisional. */
 export { composeEdges } from './index.js';
 export { formatConnectedSummary } from './composition/user-equation.js';
@@ -48,7 +49,8 @@ export type { EvaluatorSpec, EvaluatorParameter } from './bridges/evaluators.js'
 export { resolveEvaluatorInputs } from './bridges/evaluator-inputs.js';
 export { APPLIED_CASES, runAppliedCase } from './cases/index.js';
 export type { AppliedCase, CaseCheck, CaseResult } from './cases/index.js';
-export { convertValue, UnitError } from './dimensional/units.js';
+/** The unit reader's conversion, its refusal and the rows of the unit table. */
+export { convertValue, UnitError, unitRows } from './dimensional/units.js';
 export { auditAxisDiscrimination } from './composition/axis-audit.js';
 export type { AxisDiscrimination } from './composition/axis-audit.js';
 export { AXES } from './composition/axes.js';
@@ -60,9 +62,11 @@ export { deriveProposedBridges } from './composition/proposed-bridges.js';
 export { describeDerivedClaim } from './composition/consequence.js';
 export { filterEdges, formatFilterLegend } from './composition/graph-viz.js';
 export { deriveEdgeEvidence } from './cli/map-evidence.js';
-export { POSTER_GRAPH, posterJunctions, validatePoster, describePosterSource, } from './cli/poster-source.js';
-export type { PosterGraph, PosterValidation } from './cli/poster-source.js';
-export { DEFAULT_SEARCH_BUDGET, scanFrontier, findFrontierGap, expressionSearchGaps, scanWithExpressionGaps, problemFromResidualGap, makeResidualGap, loadSearchProblemFromJson, resolveObservationsPath, parseExprJson, runProbeSearch, formatProbeReport, loadStudyFromJson, loadStudyFile, runProbeStudy, formatProbeStudy, formatFrontierScan, formatFrontierGap, suggestDiscriminatingPoint, parseDesignBounds, runFalsification, rankPareto, } from './composition/probe/index.js';
+/**
+ * Experimental Product B (expression / residual search). Not the identification
+ * funnel (`rankDiscoveries`). CLI `upt probe` only.
+ */
+export { DEFAULT_SEARCH_BUDGET, scanFrontier, findFrontierGap, expressionSearchGaps, scanWithExpressionGaps, problemFromResidualGap, makeResidualGap, loadSearchProblemFromJson, resolveObservationsPath, parseExprJson, ProblemFileError, runProbeSearch, nodeWorkerArgv, formatProbeReport, loadStudyFromJson, loadStudyFile, runProbeStudy, formatProbeStudy, formatFrontierScan, formatFrontierGap, suggestDiscriminatingPoint, parseDesignBounds, runFalsification, rankPareto, } from './composition/probe/index.js';
 export { annotateAdjudications, adjudicationFor, candidateId, ADJUDICATIONS, } from './composition/adjudication.js';
 export type { AnnotatedCandidate } from './composition/adjudication.js';
 /** One record of the adjudication ledger, exported from its owner, the catalog file's types. */
@@ -86,7 +90,7 @@ export { WITNESS_REGISTRY } from './atlas/witness-specs.js';
 export { runNumericWitness } from './atlas/witness-numeric.js';
 export { OBSERVABLE_CARRIAGES, OBSERVABLE_TRANSLATIONS, carriageOf, runTranslationCheck, translationsOf, } from './atlas/translation-registry.js';
 export type { ObservableCarriage, ObservableTranslation, PointCheck } from './atlas/translation.js';
-export type { AtlasFamily } from './atlas/oscillators/index.js';
+export type { AtlasFamily } from './atlas/family.js';
 export { collidingRegimeGroups, regimeHolds, regimeOverlap, uncoveredRegions } from './atlas/regime.js';
 export { domainRegimeRegistrations } from './relations/regime-registration.js';
 export type { RegimeCheck, RegimeOverlap, RegionSample } from './atlas/regime.js';
@@ -126,6 +130,8 @@ export { propagateEvaluatorUncertainty, correlationIsPositiveSemidefinite } from
 export type { PropagatedOutput, UncertaintyContribution } from './numerical/evaluator-uncertainty.js';
 /** A stated constant checked against the registry; a disagreement is its own error. */
 export { constantAgreement, ConstantDisagreementError } from './dimensional/symbolic-constants.js';
+/** Thrown when a formula string does not parse or names an unbound symbol. */
+export { FormulaError, FormulaValueError } from './numerical/formula-contract.js';
 /** The quantity names a target is bound under, the near names of a miss, and the synonym fold. */
 export { aliasesForTarget, nearQuantityNames, shareSynonyms } from './composition/aliases.js';
 /** Synonym agreement and expansion of a binding set. */
@@ -133,7 +139,7 @@ export { assertSynonymAgreement, expandSynonymValues } from './dimensional/formu
 /** A dimensionless group a canonical equation multiplies (sound-speed's gamma): an input, not a graph node. */
 export { CANONICAL_GROUP_PREFACTORS } from './composition/canonical-prefactors.js';
 /** The one number formatter of explain text. */
-export { formatQuantity } from './composition/explain.js';
+export { formatQuantity, formatExact } from './composition/explain.js';
 /** A monomial odd in both carrier charge and mobility with opposite signs. */
 export { CarrierSignError } from './bridges/carrier-sign.js';
 /** The constant values a natural-unit mode overrides. */
@@ -142,8 +148,6 @@ export { naturalConstantOverrides } from './dimensional/natural-units.js';
 export type { UnitMode } from './dimensional/natural-units.js';
 /** Kebab catalog names rewritten to one symbol each before a formula is parsed. */
 export { rewriteCatalogHyphens } from './dimensional/hyphen-names.js';
-/** A recovered prefactor that is a vacuum constant rewritten through α. */
-export { vacuumConstantThroughAlpha } from './composition/bridge-analysis.js';
 /** The ledger id of an orphan-connector pair, when both names are slugs. */
 export { candidateIdIfSlug } from './composition/adjudication.js';
 /** The catalog or parameter name a spelling means. The commands call this, not a second table. */
@@ -154,6 +158,8 @@ export { evaluatorOutput, resolveEvaluable } from './composition/evaluate-relati
 export { unusedInputKeys } from './bridges/evaluators.js';
 /** Two spellings of one quantity were given different numbers. The formula is not run. */
 export { SynonymDisagreementError } from './dimensional/formula-names.js';
+/** `upt retrieve`: the canonical corpus, the optional Ollama embedder, and the atlas-accepted hybrid search. */
+export { canonicalRetrievalCorpus, ollamaEmbedder, retrieveHybrid } from './atlas/benchmark/hybrid-retrieval.js';
 /**
  * Builtin dimension checker for `upt eval`.
  *

package/dist/cli-api.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cli-api.d.ts","sourceRoot":"","sources":["../src/cli-api.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,+BAA+B,CAAC;AAGvC,OAAO,EACL,eAAe,EACf,aAAa,EACb,eAAe,EACf,QAAQ,EACR,eAAe,EACf,MAAM,EACN,aAAa,EACb,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,iBAAiB,EACjB,YAAY,EACZ,uBAAuB,GACxB,MAAM,YAAY,CAAC;AACpB,gHAAgH;AAChH,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE1C,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAGxE,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,UAAU,EACV,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAG1C,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAClG,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAChE,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AACrC,gFAAgF;AAChF,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAC5E,2GAA2G;AAC3G,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC1G,yDAAyD;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,YAAY,EAAE,kBAAkB,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AACjF,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AACxE,YAAY,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAC;AAC5E,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAC5E;;;GAGG;AACH,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,oBAAoB,EACpB,iBAAiB,EACjB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,gCAAgC,CAAC;AACxC,YAAY,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AACjF,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AACjE,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC3E,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AACtE,YAAY,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACtE,OAAO,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAC7C,YAAY,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAC3F,OAAO,EACL,mBAAmB,EACnB,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAKpE,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAI3D,OAAO,EACL,YAAY,EACZ,eAAe,EACf,cAAc,EACd,oBAAoB,GACrB,MAAM,wBAAwB,CAAC;AAChC,YAAY,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAI5E,OAAO,EACL,qBAAqB,EACrB,YAAY,EACZ,eAAe,EACf,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,uBAAuB,EACvB,aAAa,EACb,cAAc,EACd,iBAAiB,EACjB,iBAAiB,EACjB,aAAa,EACb,aAAa,EACb,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,EACjB,0BAA0B,EAC1B,iBAAiB,EACjB,gBAAgB,EAChB,UAAU,GACX,MAAM,8BAA8B,CAAC;AAItC,OAAO,EACL,qBAAqB,EACrB,eAAe,EACf,WAAW,EACX,aAAa,GACd,MAAM,+BAA+B,CAAC;AACvC,YAAY,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AACxE,gGAAgG;AAChG,YAAY,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAKtE,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,YAAY,EACV,6BAA6B,EAC7B,iBAAiB,EACjB,mBAAmB,GACpB,MAAM,8BAA8B,CAAC;AAQtC,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AACjF,YAAY,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAE5D,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAClF,OAAO,EAAE,qBAAqB,EAAE,MAAM,wCAAwC,CAAC;AAE/E,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EAClB,mBAAmB,EACnB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,oCAAoC,CAAC;AAC5C,YAAY,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AAChG,OAAO,EAAE,SAAS,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AACrF,YAAY,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAIzF,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,kCAAkC,EAAE,MAAM,4BAA4B,CAAC;AAC/I,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EACL,oBAAoB,EACpB,uBAAuB,EACvB,UAAU,EACV,mBAAmB,EACnB,cAAc,GACf,MAAM,iCAAiC,CAAC;AACzC,YAAY,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpG,YAAY,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EAAE,qBAAqB,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACxG,OAAO,EAAE,yBAAyB,EAAE,MAAM,oCAAoC,CAAC;AAC/E,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAClF,OAAO,EAAE,yBAAyB,EAAE,QAAQ,EAAE,aAAa,EAAE,oBAAoB,EAAE,SAAS,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9J,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAC/D,YAAY,EAAE,eAAe,EAAE,cAAc,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC5G,YAAY,EAAE,WAAW,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC/E,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AACzD,YAAY,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAE5D;;;;GAIG;AACH,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAEjE;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAEhF;;;;GAIG;AACH,OAAO,EACL,eAAe,EACf,sBAAsB,EACtB,YAAY,EACZ,qBAAqB,EACrB,eAAe,EACf,0BAA0B,EAC1B,KAAK,QAAQ,GACd,MAAM,kCAAkC,CAAC;AAE1C;;;;GAIG;AACH,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACzI,4HAA4H;AAC5H,OAAO,EAAE,6BAA6B,EAAE,iCAAiC,EAAE,MAAM,sCAAsC,CAAC;AACxH,0DAA0D;AAC1D,YAAY,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,MAAM,sCAAsC,CAAC;AACtG,uFAAuF;AACvF,OAAO,EAAE,iBAAiB,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AACnG,kGAAkG;AAClG,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC9F,wDAAwD;AACxD,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAC7F,+GAA+G;AAC/G,OAAO,EAAE,0BAA0B,EAAE,MAAM,uCAAuC,CAAC;AACnF,gDAAgD;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,8EAA8E;AAC9E,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,yDAAyD;AACzD,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAC1E,sFAAsF;AACtF,YAAY,EAAE,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAC/D,mFAAmF;AACnF,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,2EAA2E;AAC3E,OAAO,EAAE,0BAA0B,EAAE,MAAM,kCAAkC,CAAC;AAC9E,4EAA4E;AAC5E,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,kGAAkG;AAClG,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACjD,kGAAkG;AAClG,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AACvF,uGAAuG;AACvG,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,0FAA0F;AAC1F,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAE1E;;;;GAIG;AACH,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAElF;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAElE,6GAA6G;AAC7G,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,6DAA6D;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AAEpE,wDAAwD;AACxD,YAAY,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAExD,gDAAgD;AAChD,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAExE,yDAAyD;AACzD,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAElE,2DAA2D;AAC3D,YAAY,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC"}
+{"version":3,"file":"cli-api.d.ts","sourceRoot":"","sources":["../src/cli-api.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,+BAA+B,CAAC;AAEvC,4FAA4F;AAC5F,OAAO,EACL,eAAe,EACf,aAAa,EACb,eAAe,EACf,QAAQ,EACR,eAAe,EACf,MAAM,EACN,MAAM,IAAI,eAAe,EACzB,aAAa,EACb,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,iBAAiB,EACjB,YAAY,EACZ,uBAAuB,GACxB,MAAM,YAAY,CAAC;AACpB,gHAAgH;AAChH,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE1C,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAGxE,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,UAAU,EACV,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAG1C,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAClG,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAChE,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AACrC,gFAAgF;AAChF,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAC5E,2GAA2G;AAC3G,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC1G,yDAAyD;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,YAAY,EAAE,kBAAkB,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AACjF,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AACxE,YAAY,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAC;AAC5E,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAC5E;;;GAGG;AACH,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,oBAAoB,EACpB,iBAAiB,EACjB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,gCAAgC,CAAC;AACxC,YAAY,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AACjF,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AACjE,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC3E,gFAAgF;AAChF,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAC3E,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AACtE,YAAY,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACtE,OAAO,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAC7C,YAAY,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAC3F,OAAO,EACL,mBAAmB,EACnB,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAKpE,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAE3D;;;GAGG;AACH,OAAO,EACL,qBAAqB,EACrB,YAAY,EACZ,eAAe,EACf,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,uBAAuB,EACvB,aAAa,EACb,gBAAgB,EAChB,cAAc,EACd,cAAc,EACd,iBAAiB,EACjB,iBAAiB,EACjB,aAAa,EACb,aAAa,EACb,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,EACjB,0BAA0B,EAC1B,iBAAiB,EACjB,gBAAgB,EAChB,UAAU,GACX,MAAM,8BAA8B,CAAC;AAItC,OAAO,EACL,qBAAqB,EACrB,eAAe,EACf,WAAW,EACX,aAAa,GACd,MAAM,+BAA+B,CAAC;AACvC,YAAY,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AACxE,gGAAgG;AAChG,YAAY,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAKtE,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,YAAY,EACV,6BAA6B,EAC7B,iBAAiB,EACjB,mBAAmB,GACpB,MAAM,8BAA8B,CAAC;AAQtC,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AACjF,YAAY,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAE5D,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAClF,OAAO,EAAE,qBAAqB,EAAE,MAAM,wCAAwC,CAAC;AAE/E,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EAClB,mBAAmB,EACnB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,oCAAoC,CAAC;AAC5C,YAAY,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AAChG,OAAO,EAAE,SAAS,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AACrF,YAAY,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAIzF,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,kCAAkC,EAAE,MAAM,4BAA4B,CAAC;AAC/I,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EACL,oBAAoB,EACpB,uBAAuB,EACvB,UAAU,EACV,mBAAmB,EACnB,cAAc,GACf,MAAM,iCAAiC,CAAC;AACzC,YAAY,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpG,YAAY,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,qBAAqB,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACxG,OAAO,EAAE,yBAAyB,EAAE,MAAM,oCAAoC,CAAC;AAC/E,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAClF,OAAO,EAAE,yBAAyB,EAAE,QAAQ,EAAE,aAAa,EAAE,oBAAoB,EAAE,SAAS,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9J,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAC/D,YAAY,EAAE,eAAe,EAAE,cAAc,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC5G,YAAY,EAAE,WAAW,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC/E,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AACzD,YAAY,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAE5D;;;;GAIG;AACH,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAEjE;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAEhF;;;;GAIG;AACH,OAAO,EACL,eAAe,EACf,sBAAsB,EACtB,YAAY,EACZ,qBAAqB,EACrB,eAAe,EACf,0BAA0B,EAC1B,KAAK,QAAQ,GACd,MAAM,kCAAkC,CAAC;AAE1C;;;;GAIG;AACH,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACzI,4HAA4H;AAC5H,OAAO,EAAE,6BAA6B,EAAE,iCAAiC,EAAE,MAAM,sCAAsC,CAAC;AACxH,0DAA0D;AAC1D,YAAY,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,MAAM,sCAAsC,CAAC;AACtG,uFAAuF;AACvF,OAAO,EAAE,iBAAiB,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AACnG,8EAA8E;AAC9E,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AAClF,kGAAkG;AAClG,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC9F,wDAAwD;AACxD,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAC7F,+GAA+G;AAC/G,OAAO,EAAE,0BAA0B,EAAE,MAAM,uCAAuC,CAAC;AACnF,gDAAgD;AAChD,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvE,8EAA8E;AAC9E,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,yDAAyD;AACzD,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAC1E,sFAAsF;AACtF,YAAY,EAAE,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAC/D,mFAAmF;AACnF,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,4EAA4E;AAC5E,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,kGAAkG;AAClG,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACjD,kGAAkG;AAClG,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AACvF,uGAAuG;AACvG,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,0FAA0F;AAC1F,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAC1E,gHAAgH;AAChH,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AAEjH;;;;GAIG;AACH,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAElF;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAElE,6GAA6G;AAC7G,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,6DAA6D;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AAEpE,wDAAwD;AACxD,YAAY,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAExD,gDAAgD;AAChD,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAExE,yDAAyD;AACzD,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAElE,2DAA2D;AAC3D,YAAY,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC"}

package/dist/cli-api.js

@@ -16,8 +16,8 @@
  */
 // Domain names register when this barrel loads. The command reads the list.
 import './relations/domain-regimes.js';
-// Public-API symbols (already on the root surface).
-export { explainQuantity, CATALOG_GRAPH, CANONICAL_GRAPH, M_SUN_KG, composeSymbolic, format, buildVizModel, renderDotToSvg, equationLanding, analyzeUserEquation, suggestQuantities, buckinghamPi, dimensionallyDetermines, } from './index.js';
+/** Public-API symbols (already on the root surface), plus `equals` as `dimensionsEqual`. */
+export { explainQuantity, CATALOG_GRAPH, CANONICAL_GRAPH, M_SUN_KG, composeSymbolic, format, equals as dimensionsEqual, buildVizModel, renderDotToSvg, equationLanding, analyzeUserEquation, suggestQuantities, buckinghamPi, dimensionallyDetermines, } from './index.js';
 /** Numeric composition of two graph edges. The grade is the lower of the two, and a chain stays provisional. */
 export { composeEdges } from './index.js';
 // Landing-report summariser (persona W3) — internal, not on the public barrel.
@@ -50,7 +50,8 @@ export { BRIDGE_EVALUATORS, evaluateBridge } from './bridges/evaluators.js';
 export { DuplicateInputError, InputTypeError, isInputContractError, MissingInputError, NonFiniteInputError, UnknownInputError, } from './bridges/evaluation-errors.js';
 export { resolveEvaluatorInputs } from './bridges/evaluator-inputs.js';
 export { APPLIED_CASES, runAppliedCase } from './cases/index.js';
-export { convertValue, UnitError } from './dimensional/units.js';
+/** The unit reader's conversion, its refusal and the rows of the unit table. */
+export { convertValue, UnitError, unitRows } from './dimensional/units.js';
 export { auditAxisDiscrimination } from './composition/axis-audit.js';
 export { AXES } from './composition/axes.js';
 export { simplifyObservable, isSimplifierAvailable } from './composition/expr-simplify.js';
@@ -64,13 +65,11 @@ export { describeDerivedClaim } from './composition/consequence.js';
 // derivation lives in cli/map-evidence.ts, which is what calls it.
 export { filterEdges, formatFilterLegend } from './composition/graph-viz.js';
 export { deriveEdgeEvidence } from './cli/map-evidence.js';
-// `upt map --source=poster` (S3.4) — the Atlas Phase 3 poster index as viz
-// junctions, plus its dangling-premise check. Internal, CLI only. Not on
-// src/index.ts, which is the published v0.4.0 surface.
-export { POSTER_GRAPH, posterJunctions, validatePoster, describePosterSource, } from './cli/poster-source.js';
-// Experimental Product B (expression / residual search). Not the identification
-// funnel (`rankDiscoveries`). CLI `upt probe` only.
-export { DEFAULT_SEARCH_BUDGET, scanFrontier, findFrontierGap, expressionSearchGaps, scanWithExpressionGaps, problemFromResidualGap, makeResidualGap, loadSearchProblemFromJson, resolveObservationsPath, parseExprJson, runProbeSearch, formatProbeReport, loadStudyFromJson, loadStudyFile, runProbeStudy, formatProbeStudy, formatFrontierScan, formatFrontierGap, suggestDiscriminatingPoint, parseDesignBounds, runFalsification, rankPareto, } from './composition/probe/index.js';
+/**
+ * Experimental Product B (expression / residual search). Not the identification
+ * funnel (`rankDiscoveries`). CLI `upt probe` only.
+ */
+export { DEFAULT_SEARCH_BUDGET, scanFrontier, findFrontierGap, expressionSearchGaps, scanWithExpressionGaps, problemFromResidualGap, makeResidualGap, loadSearchProblemFromJson, resolveObservationsPath, parseExprJson, ProblemFileError, runProbeSearch, nodeWorkerArgv, formatProbeReport, loadStudyFromJson, loadStudyFile, runProbeStudy, formatProbeStudy, formatFrontierScan, formatFrontierGap, suggestDiscriminatingPoint, parseDesignBounds, runFalsification, rankPareto, } from './composition/probe/index.js';
 // Adjudication ledger (composition/adjudication.ts) — annotates discovery
 // candidates with recorded human verdicts; never mutates the funnel.
 export { annotateAdjudications, adjudicationFor, candidateId, ADJUDICATIONS, } from './composition/adjudication.js';
@@ -133,6 +132,8 @@ export { readBinding, bindingInUnit, readNamedBinding, BindingNumberError, Tempe
 export { propagateEvaluatorUncertainty, correlationIsPositiveSemidefinite } from './numerical/evaluator-uncertainty.js';
 /** A stated constant checked against the registry; a disagreement is its own error. */
 export { constantAgreement, ConstantDisagreementError } from './dimensional/symbolic-constants.js';
+/** Thrown when a formula string does not parse or names an unbound symbol. */
+export { FormulaError, FormulaValueError } from './numerical/formula-contract.js';
 /** The quantity names a target is bound under, the near names of a miss, and the synonym fold. */
 export { aliasesForTarget, nearQuantityNames, shareSynonyms } from './composition/aliases.js';
 /** Synonym agreement and expansion of a binding set. */
@@ -140,15 +141,13 @@ export { assertSynonymAgreement, expandSynonymValues } from './dimensional/formu
 /** A dimensionless group a canonical equation multiplies (sound-speed's gamma): an input, not a graph node. */
 export { CANONICAL_GROUP_PREFACTORS } from './composition/canonical-prefactors.js';
 /** The one number formatter of explain text. */
-export { formatQuantity } from './composition/explain.js';
+export { formatQuantity, formatExact } from './composition/explain.js';
 /** A monomial odd in both carrier charge and mobility with opposite signs. */
 export { CarrierSignError } from './bridges/carrier-sign.js';
 /** The constant values a natural-unit mode overrides. */
 export { naturalConstantOverrides } from './dimensional/natural-units.js';
 /** Kebab catalog names rewritten to one symbol each before a formula is parsed. */
 export { rewriteCatalogHyphens } from './dimensional/hyphen-names.js';
-/** A recovered prefactor that is a vacuum constant rewritten through α. */
-export { vacuumConstantThroughAlpha } from './composition/bridge-analysis.js';
 /** The ledger id of an orphan-connector pair, when both names are slugs. */
 export { candidateIdIfSlug } from './composition/adjudication.js';
 /** The catalog or parameter name a spelling means. The commands call this, not a second table. */
@@ -159,6 +158,8 @@ export { evaluatorOutput, resolveEvaluable } from './composition/evaluate-relati
 export { unusedInputKeys } from './bridges/evaluators.js';
 /** Two spellings of one quantity were given different numbers. The formula is not run. */
 export { SynonymDisagreementError } from './dimensional/formula-names.js';
+/** `upt retrieve`: the canonical corpus, the optional Ollama embedder, and the atlas-accepted hybrid search. */
+export { canonicalRetrievalCorpus, ollamaEmbedder, retrieveHybrid } from './atlas/benchmark/hybrid-retrieval.js';
 /**
  * Builtin dimension checker for `upt eval`.
  *

package/dist/cli-api.js.map

@@ -1 +1 @@
-{"version":3,"file":"cli-api.js","sourceRoot":"","sources":["../src/cli-api.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,4EAA4E;AAC5E,OAAO,+BAA+B,CAAC;AAEvC,oDAAoD;AACpD,OAAO,EACL,eAAe,EACf,aAAa,EACb,eAAe,EACf,QAAQ,EACR,eAAe,EACf,MAAM,EACN,aAAa,EACb,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,iBAAiB,EACjB,YAAY,EACZ,uBAAuB,GACxB,MAAM,YAAY,CAAC;AACpB,gHAAgH;AAChH,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,+EAA+E;AAC/E,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAExE,kDAAkD;AAClD,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,UAAU,EACV,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAE1C,yCAAyC;AACzC,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAClG,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAChE,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AACrC,gFAAgF;AAChF,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAC5E,2GAA2G;AAC3G,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC1G,yDAAyD;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AAEpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AAExE,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,uFAAuF;AACvF,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAC5E;;;GAGG;AACH,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,oBAAoB,EACpB,iBAAiB,EACjB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,gCAAgC,CAAC;AAExC,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAEjE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAEtE,OAAO,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAE7C,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAC3F,OAAO,EACL,mBAAmB,EACnB,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,4EAA4E;AAC5E,mEAAmE;AACnE,wEAAwE;AACxE,mEAAmE;AACnE,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,2EAA2E;AAC3E,yEAAyE;AACzE,uDAAuD;AACvD,OAAO,EACL,YAAY,EACZ,eAAe,EACf,cAAc,EACd,oBAAoB,GACrB,MAAM,wBAAwB,CAAC;AAGhC,gFAAgF;AAChF,oDAAoD;AACpD,OAAO,EACL,qBAAqB,EACrB,YAAY,EACZ,eAAe,EACf,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,uBAAuB,EACvB,aAAa,EACb,cAAc,EACd,iBAAiB,EACjB,iBAAiB,EACjB,aAAa,EACb,aAAa,EACb,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,EACjB,0BAA0B,EAC1B,iBAAiB,EACjB,gBAAgB,EAChB,UAAU,GACX,MAAM,8BAA8B,CAAC;AAEtC,0EAA0E;AAC1E,qEAAqE;AACrE,OAAO,EACL,qBAAqB,EACrB,eAAe,EACf,WAAW,EACX,aAAa,GACd,MAAM,+BAA+B,CAAC;AAKvC,6EAA6E;AAC7E,4EAA4E;AAC5E,2DAA2D;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAOpE,+EAA+E;AAC/E,iFAAiF;AACjF,gFAAgF;AAChF,wEAAwE;AACxE,4EAA4E;AAC5E,uDAAuD;AACvD,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAGjF,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAClF,OAAO,EAAE,qBAAqB,EAAE,MAAM,wCAAwC,CAAC;AAC/E,2EAA2E;AAC3E,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EAClB,mBAAmB,EACnB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,oCAAoC,CAAC;AAE5C,OAAO,EAAE,SAAS,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAGrF,6EAA6E;AAC7E,sEAAsE;AACtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,kCAAkC,EAAE,MAAM,4BAA4B,CAAC;AAC/I,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EACL,oBAAoB,EACpB,uBAAuB,EACvB,UAAU,EACV,mBAAmB,EACnB,cAAc,GACf,MAAM,iCAAiC,CAAC;AAGzC,OAAO,EAAE,qBAAqB,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACxG,OAAO,EAAE,yBAAyB,EAAE,MAAM,oCAAoC,CAAC;AAE/E,OAAO,EAAE,yBAAyB,EAAE,QAAQ,EAAE,aAAa,EAAE,oBAAoB,EAAE,SAAS,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9J,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAG/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAGzD;;;;GAIG;AACH,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAEjE;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAEhF;;;;GAIG;AACH,OAAO,EACL,eAAe,EACf,sBAAsB,EACtB,YAAY,EACZ,qBAAqB,EACrB,eAAe,EACf,0BAA0B,GAE3B,MAAM,kCAAkC,CAAC;AAE1C;;;;GAIG;AACH,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACzI,4HAA4H;AAC5H,OAAO,EAAE,6BAA6B,EAAE,iCAAiC,EAAE,MAAM,sCAAsC,CAAC;AAGxH,uFAAuF;AACvF,OAAO,EAAE,iBAAiB,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AACnG,kGAAkG;AAClG,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC9F,wDAAwD;AACxD,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAC7F,+GAA+G;AAC/G,OAAO,EAAE,0BAA0B,EAAE,MAAM,uCAAuC,CAAC;AACnF,gDAAgD;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,8EAA8E;AAC9E,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,yDAAyD;AACzD,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAG1E,mFAAmF;AACnF,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,2EAA2E;AAC3E,OAAO,EAAE,0BAA0B,EAAE,MAAM,kCAAkC,CAAC;AAC9E,4EAA4E;AAC5E,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,kGAAkG;AAClG,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACjD,kGAAkG;AAClG,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AACvF,uGAAuG;AACvG,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,0FAA0F;AAC1F,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAE1E;;;;GAIG;AACH,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAElF;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAElE,6GAA6G;AAC7G,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,6DAA6D;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC"}
+{"version":3,"file":"cli-api.js","sourceRoot":"","sources":["../src/cli-api.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,4EAA4E;AAC5E,OAAO,+BAA+B,CAAC;AAEvC,4FAA4F;AAC5F,OAAO,EACL,eAAe,EACf,aAAa,EACb,eAAe,EACf,QAAQ,EACR,eAAe,EACf,MAAM,EACN,MAAM,IAAI,eAAe,EACzB,aAAa,EACb,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,iBAAiB,EACjB,YAAY,EACZ,uBAAuB,GACxB,MAAM,YAAY,CAAC;AACpB,gHAAgH;AAChH,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,+EAA+E;AAC/E,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAExE,kDAAkD;AAClD,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,UAAU,EACV,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,kCAAkC,CAAC;AAE1C,yCAAyC;AACzC,OAAO,EACL,gBAAgB,EAChB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAClG,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAChE,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AACrC,gFAAgF;AAChF,OAAO,EAAE,+BAA+B,EAAE,MAAM,2BAA2B,CAAC;AAC5E,2GAA2G;AAC3G,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC1G,yDAAyD;AACzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AAEpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AAExE,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,uFAAuF;AACvF,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAC5E;;;GAGG;AACH,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,oBAAoB,EACpB,iBAAiB,EACjB,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,gCAAgC,CAAC;AAExC,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAEjE,gFAAgF;AAChF,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAC3E,OAAO,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAC;AAEtE,OAAO,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAE7C,OAAO,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAC3F,OAAO,EACL,mBAAmB,EACnB,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,4EAA4E;AAC5E,mEAAmE;AACnE,wEAAwE;AACxE,mEAAmE;AACnE,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAE3D;;;GAGG;AACH,OAAO,EACL,qBAAqB,EACrB,YAAY,EACZ,eAAe,EACf,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,EACtB,eAAe,EACf,yBAAyB,EACzB,uBAAuB,EACvB,aAAa,EACb,gBAAgB,EAChB,cAAc,EACd,cAAc,EACd,iBAAiB,EACjB,iBAAiB,EACjB,aAAa,EACb,aAAa,EACb,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,EACjB,0BAA0B,EAC1B,iBAAiB,EACjB,gBAAgB,EAChB,UAAU,GACX,MAAM,8BAA8B,CAAC;AAEtC,0EAA0E;AAC1E,qEAAqE;AACrE,OAAO,EACL,qBAAqB,EACrB,eAAe,EACf,WAAW,EACX,aAAa,GACd,MAAM,+BAA+B,CAAC;AAKvC,6EAA6E;AAC7E,4EAA4E;AAC5E,2DAA2D;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAOpE,+EAA+E;AAC/E,iFAAiF;AACjF,gFAAgF;AAChF,wEAAwE;AACxE,4EAA4E;AAC5E,uDAAuD;AACvD,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAGjF,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAClF,OAAO,EAAE,qBAAqB,EAAE,MAAM,wCAAwC,CAAC;AAC/E,2EAA2E;AAC3E,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EAClB,mBAAmB,EACnB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,oCAAoC,CAAC;AAE5C,OAAO,EAAE,SAAS,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAGrF,6EAA6E;AAC7E,sEAAsE;AACtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,kCAAkC,EAAE,MAAM,4BAA4B,CAAC;AAC/I,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EACL,oBAAoB,EACpB,uBAAuB,EACvB,UAAU,EACV,mBAAmB,EACnB,cAAc,GACf,MAAM,iCAAiC,CAAC;AAGzC,OAAO,EAAE,qBAAqB,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACxG,OAAO,EAAE,yBAAyB,EAAE,MAAM,oCAAoC,CAAC;AAE/E,OAAO,EAAE,yBAAyB,EAAE,QAAQ,EAAE,aAAa,EAAE,oBAAoB,EAAE,SAAS,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9J,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAG/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAGzD;;;;GAIG;AACH,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAEjE;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAEhF;;;;GAIG;AACH,OAAO,EACL,eAAe,EACf,sBAAsB,EACtB,YAAY,EACZ,qBAAqB,EACrB,eAAe,EACf,0BAA0B,GAE3B,MAAM,kCAAkC,CAAC;AAE1C;;;;GAIG;AACH,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACzI,4HAA4H;AAC5H,OAAO,EAAE,6BAA6B,EAAE,iCAAiC,EAAE,MAAM,sCAAsC,CAAC;AAGxH,uFAAuF;AACvF,OAAO,EAAE,iBAAiB,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AACnG,8EAA8E;AAC9E,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AAClF,kGAAkG;AAClG,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC9F,wDAAwD;AACxD,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAC7F,+GAA+G;AAC/G,OAAO,EAAE,0BAA0B,EAAE,MAAM,uCAAuC,CAAC;AACnF,gDAAgD;AAChD,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACvE,8EAA8E;AAC9E,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7D,yDAAyD;AACzD,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAG1E,mFAAmF;AACnF,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,4EAA4E;AAC5E,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,kGAAkG;AAClG,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACjD,kGAAkG;AAClG,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AACvF,uGAAuG;AACvG,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,0FAA0F;AAC1F,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAC1E,gHAAgH;AAChH,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AAEjH;;;;GAIG;AACH,OAAO,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAElF;;;;GAIG;AACH,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAElE,6GAA6G;AAC7G,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,6DAA6D;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC","sourcesContent":["/**\n * CLI-facing barrel — the single stable entrypoint `bin/upt.mjs` imports.\n *\n * The CLI needs a handful of `@internal` analysis/composition/canonical\n * functions that are deliberately NOT on the public surface (so they are not in\n * the root `index.ts`). Previously `bin/upt.mjs` reached into ~10 deep `dist/`\n * module paths to get them, coupling the CLI to the internal file layout — any\n * module move silently broke the CLI. This barrel re-exports everything the CLI\n * uses from one place, so layout changes touch only this file and `bin/upt.mjs`\n * imports a single `dist/cli-api.js`.\n *\n * @internal — a CLI-support barrel; NOT re-exported from the root index, so it\n * stays off the consumer-facing public surface.\n *\n * @module cli-api\n */\n\n// Domain names register when this barrel loads. The command reads the list.\nimport './relations/domain-regimes.js';\n\n/** Public-API symbols (already on the root surface), plus `equals` as `dimensionsEqual`. */\nexport {\n  explainQuantity,\n  CATALOG_GRAPH,\n  CANONICAL_GRAPH,\n  M_SUN_KG,\n  composeSymbolic,\n  format,\n  equals as dimensionsEqual,\n  buildVizModel,\n  renderDotToSvg,\n  equationLanding,\n  analyzeUserEquation,\n  suggestQuantities,\n  buckinghamPi,\n  dimensionallyDetermines,\n} from './index.js';\n/** Numeric composition of two graph edges. The grade is the lower of the two, and a chain stays provisional. */\nexport { composeEdges } from './index.js';\n// Landing-report summariser (persona W3) — internal, not on the public barrel.\nexport { formatConnectedSummary } from './composition/user-equation.js';\n\n// Internal analysis surface (bridge-analysis.ts).\nexport {\n  bridgePriority,\n  attemptDerivation,\n  dimensionalFreedom,\n  linkageMap,\n  proposeLinkCandidates,\n  proposeOrphanConnectors,\n} from './composition/bridge-analysis.js';\n\n// Other internal modules the CLI drives.\nexport {\n  getFormulaParser,\n  getFormulaParserKind,\n  getFormulaDimensionChecker,\n} from './numerical/formula-registry.js';\nexport { parseDimensionSpec } from './dimensional/dimension-spec.js';\nexport { predictMissingBridges } from './composition/bridge-prediction.js';\nexport { catalogFrontierAccount, formatFrontierAccount } from './composition/frontier-account.js';\nexport { rankDiscoveries, ANCHOR_DEFAULT } from './composition/discovery.js';\nexport { BRIDGE_EQUATIONS } from './bridges/index.js';\nexport { auditCoverage } from './composition/audit-coverage.js';\nexport {\n  CONFRONTATIONS,\n  listConfrontations,\n  runConfrontation,\n  confrontationRigor,\n  rigorDistribution,\n} from './bridges/confrontations.js';\n/** Ask for a caller-table confrontation. The catalog status does not change. */\nexport { requestCallerTableConfrontation } from './bridges/caller-table.js';\n/** The catalog row, the id parser (and its non-throwing form), and the relation a numeric id evaluates. */\nexport { catalogEntry, catalogIdNumber, parseBridgeId, primaryRelation } from './bridges/catalog-load.js';\n/** The two composition demonstrations the CLI prints. */\nexport { demonstrationEdges } from './composition/catalog-graph.js';\nexport type { ConfrontationEntry, RigorTier } from './bridges/confrontations.js';\nexport { consistencyComparison } from './bridges/observations/types.js';\nexport type { ConfrontationOutcome } from './bridges/observations/types.js';\nexport { decidingMeasurement } from './bridges/sensitivity.js';\n// Bridge-evaluator dispatch (`upt evaluate`) + axis-discrimination audit (`upt axes`).\nexport { BRIDGE_EVALUATORS, evaluateBridge } from './bridges/evaluators.js';\n/**\n * The input-contract errors: an absent, unknown, non-number, non-finite or twice-given input.\n * `upt evaluate` reports each as a bad value (exit 1), never a usage error (exit 2), prefixed `upt evaluate:`.\n */\nexport {\n  DuplicateInputError,\n  InputTypeError,\n  isInputContractError,\n  MissingInputError,\n  NonFiniteInputError,\n  UnknownInputError,\n} from './bridges/evaluation-errors.js';\nexport type { EvaluatorSpec, EvaluatorParameter } from './bridges/evaluators.js';\nexport { resolveEvaluatorInputs } from './bridges/evaluator-inputs.js';\nexport { APPLIED_CASES, runAppliedCase } from './cases/index.js';\nexport type { AppliedCase, CaseCheck, CaseResult } from './cases/index.js';\n/** The unit reader's conversion, its refusal and the rows of the unit table. */\nexport { convertValue, UnitError, unitRows } from './dimensional/units.js';\nexport { auditAxisDiscrimination } from './composition/axis-audit.js';\nexport type { AxisDiscrimination } from './composition/axis-audit.js';\nexport { AXES } from './composition/axes.js';\nexport type { AxisSpec } from './composition/axes.js';\nexport { simplifyObservable, isSimplifierAvailable } from './composition/expr-simplify.js';\nexport {\n  CANONICAL_EQUATIONS,\n  bridgesWithoutCanonicalPartner,\n} from './canonical/registry.js';\nexport { scanLinkages } from './canonical/linkage.js';\nexport { deriveProposedBridges } from './composition/proposed-bridges.js';\nexport { describeDerivedClaim } from './composition/consequence.js';\n// `upt map --relation= --evidence=` overlay filtering (S2.4). Internal: the\n// published surface is pinned by tests/api/public-surface.test.ts.\n// Relation filtering and the legend stay in graph-viz. Catalog evidence\n// derivation lives in cli/map-evidence.ts, which is what calls it.\nexport { filterEdges, formatFilterLegend } from './composition/graph-viz.js';\nexport { deriveEdgeEvidence } from './cli/map-evidence.js';\n\n/**\n * Experimental Product B (expression / residual search). Not the identification\n * funnel (`rankDiscoveries`). CLI `upt probe` only.\n */\nexport {\n  DEFAULT_SEARCH_BUDGET,\n  scanFrontier,\n  findFrontierGap,\n  expressionSearchGaps,\n  scanWithExpressionGaps,\n  problemFromResidualGap,\n  makeResidualGap,\n  loadSearchProblemFromJson,\n  resolveObservationsPath,\n  parseExprJson,\n  ProblemFileError,\n  runProbeSearch,\n  nodeWorkerArgv,\n  formatProbeReport,\n  loadStudyFromJson,\n  loadStudyFile,\n  runProbeStudy,\n  formatProbeStudy,\n  formatFrontierScan,\n  formatFrontierGap,\n  suggestDiscriminatingPoint,\n  parseDesignBounds,\n  runFalsification,\n  rankPareto,\n} from './composition/probe/index.js';\n\n// Adjudication ledger (composition/adjudication.ts) — annotates discovery\n// candidates with recorded human verdicts; never mutates the funnel.\nexport {\n  annotateAdjudications,\n  adjudicationFor,\n  candidateId,\n  ADJUDICATIONS,\n} from './composition/adjudication.js';\nexport type { AnnotatedCandidate } from './composition/adjudication.js';\n/** One record of the adjudication ledger, exported from its owner, the catalog file's types. */\nexport type { CatalogAdjudication } from './bridges/catalog-types.js';\n\n// Consequence propagation (composition/consequence.ts) — annotates discovery\n// candidates with the entailed/novel-consequence/inconclusive signal; never\n// mutates the catalog/graph, never re-orders or re-scores.\nexport { annotateConsequences } from './composition/consequence.js';\nexport type {\n  ConsequenceAnnotatedCandidate,\n  ConsequenceSignal,\n  ConsequenceEvidence,\n} from './composition/consequence.js';\n\n// Epistemic-grounding ledger (composition/grounding.ts) — a pure, derived view\n// over each candidate's falsifier results: which gates passed vs abstained, plus\n// the honest no-mechanism/no-data ceiling. Annotation-only; changes no verdict.\n// Atlas Phase 1 convention comparison — `upt recover` uses it to flag a\n// bridge↔canonical pair whose DECLARED sign/unit choices disagree. Advisory\n// only: it changes no classification and no exit code.\nexport { checkConventions, unknownConventionKeys } from './atlas/conventions.js';\nexport type { ConventionKey } from './atlas/conventions.js';\n\nexport { describeGrounding, describeReadiness } from './composition/grounding.js';\nexport { REPRESENTATIVE_VALUES } from './composition/representative-values.js';\n// User formula vs the canonical equation it restates (persona finding L2).\nexport {\n  compareWithCanonical,\n  compareUserEquation,\n  describeComparison,\n  describeComparisons,\n  describeKnownRelation,\n  matchingCatalogEdges,\n} from './composition/canonical-compare.js';\nexport type { CanonicalComparison, CatalogEdgeMatch } from './composition/canonical-compare.js';\nexport { CONSTANTS, CONSTANT_PROVENANCE } from './dimensional/symbolic-constants.js';\nexport type { CandidateGrounding, CandidateReadiness } from './composition/grounding.js';\n\n// Atlas Phase 2 CLI surface (`upt regime`, `upt path`). Regime admission and\n// route bounds are `@internal`; the CLI is their only consumer today.\nexport { OSCILLATOR_FAMILY } from './atlas/oscillators/index.js';\nexport { ATLAS_FAMILIES } from './atlas/families.js';\nexport { deriveEvidence, deriveCompositeEvidence, NO_PASSING_WITNESSES, provedWithUnresolvedCounterexample } from './atlas/derive-evidence.js';\nexport { summarizeEvidence, ALL_EVIDENCE_TAGS } from './atlas/coverage.js';\nexport { runWitnessRegistry } from './atlas/witness-artifact.js';\nexport { WITNESS_REGISTRY } from './atlas/witness-specs.js';\nexport { runNumericWitness } from './atlas/witness-numeric.js';\nexport {\n  OBSERVABLE_CARRIAGES,\n  OBSERVABLE_TRANSLATIONS,\n  carriageOf,\n  runTranslationCheck,\n  translationsOf,\n} from './atlas/translation-registry.js';\nexport type { ObservableCarriage, ObservableTranslation, PointCheck } from './atlas/translation.js';\nexport type { AtlasFamily } from './atlas/family.js';\nexport { collidingRegimeGroups, regimeHolds, regimeOverlap, uncoveredRegions } from './atlas/regime.js';\nexport { domainRegimeRegistrations } from './relations/regime-registration.js';\nexport type { RegimeCheck, RegimeOverlap, RegionSample } from './atlas/regime.js';\nexport { familyChangeBlocksHorizon, findPath, findAtlasPath, enumerateAtlasRoutes, boundPath, horizonOnRoute, routeEntryModels } from './atlas/path-bound.js';\nexport { composeRelation } from './atlas/composition-table.js';\nexport type { PathBoundResult, PathBoundClaim, PathNoClaim, AppliedTransport } from './atlas/path-bound.js';\nexport type { AtlasBridge, RegimeInequality, Witness } from './atlas/types.js';\nexport { MissingLipschitzError } from './atlas/types.js';\nexport type { AtlasModel, ModelId } from './atlas/model.js';\n\n/**\n * Catalog formal reference for `upt atlas`.\n *\n * @internal\n */\nexport { catalogFormalRef } from './atlas/catalog-formal-ref.js';\n\n/**\n * Composition recovery scan for `upt recover`.\n *\n * @internal\n */\nexport { scanCompositionRecovery } from './composition/composition-recovery.js';\n\n/**\n * Exact metrics and geodesic integrators for `upt metric`.\n *\n * @internal\n */\nexport {\n  curvatureReport,\n  kerrEquatorialCircular,\n  kerrGeodesic,\n  kerrTurningPointOrbit,\n  MetricMassError,\n  schwarzschildCircularOrbit,\n  type MetricId,\n} from './numerical/spacetime-metrics.js';\n\n/**\n * Binding readers for `upt eval`, `upt evaluate`, `upt regime`, and `upt path`.\n *\n * @internal\n */\nexport { readBinding, bindingInUnit, readNamedBinding, BindingNumberError, TemperatureBindingError } from './numerical/binding-value.js';\n/** GUM propagation through a closed-form evaluator, and the correlation-matrix check, for `upt evaluate --sigma/--corr`. */\nexport { propagateEvaluatorUncertainty, correlationIsPositiveSemidefinite } from './numerical/evaluator-uncertainty.js';\n/** One propagated output, and one input's share of it. */\nexport type { PropagatedOutput, UncertaintyContribution } from './numerical/evaluator-uncertainty.js';\n/** A stated constant checked against the registry; a disagreement is its own error. */\nexport { constantAgreement, ConstantDisagreementError } from './dimensional/symbolic-constants.js';\n/** Thrown when a formula string does not parse or names an unbound symbol. */\nexport { FormulaError, FormulaValueError } from './numerical/formula-contract.js';\n/** The quantity names a target is bound under, the near names of a miss, and the synonym fold. */\nexport { aliasesForTarget, nearQuantityNames, shareSynonyms } from './composition/aliases.js';\n/** Synonym agreement and expansion of a binding set. */\nexport { assertSynonymAgreement, expandSynonymValues } from './dimensional/formula-names.js';\n/** A dimensionless group a canonical equation multiplies (sound-speed's gamma): an input, not a graph node. */\nexport { CANONICAL_GROUP_PREFACTORS } from './composition/canonical-prefactors.js';\n/** The one number formatter of explain text. */\nexport { formatQuantity, formatExact } from './composition/explain.js';\n/** A monomial odd in both carrier charge and mobility with opposite signs. */\nexport { CarrierSignError } from './bridges/carrier-sign.js';\n/** The constant values a natural-unit mode overrides. */\nexport { naturalConstantOverrides } from './dimensional/natural-units.js';\n/** The constant-value mode a formula is evaluated in: SI, natural, or geometrized. */\nexport type { UnitMode } from './dimensional/natural-units.js';\n/** Kebab catalog names rewritten to one symbol each before a formula is parsed. */\nexport { rewriteCatalogHyphens } from './dimensional/hyphen-names.js';\n/** The ledger id of an orphan-connector pair, when both names are slugs. */\nexport { candidateIdIfSlug } from './composition/adjudication.js';\n/** The catalog or parameter name a spelling means. The commands call this, not a second table. */\nexport { resolveQuantityName } from './index.js';\n/** The edge and the closed-form evaluator for an id. An evaluator with no edge is not unknown. */\nexport { evaluatorOutput, resolveEvaluable } from './composition/evaluate-relation.js';\n/** The required inputs of an evaluator that no relation source reads. They do not change the value. */\nexport { unusedInputKeys } from './bridges/evaluators.js';\n/** Two spellings of one quantity were given different numbers. The formula is not run. */\nexport { SynonymDisagreementError } from './dimensional/formula-names.js';\n/** `upt retrieve`: the canonical corpus, the optional Ollama embedder, and the atlas-accepted hybrid search. */\nexport { canonicalRetrievalCorpus, ollamaEmbedder, retrieveHybrid } from './atlas/benchmark/hybrid-retrieval.js';\n\n/**\n * Builtin dimension checker for `upt eval`.\n *\n * @internal\n */\nexport { builtinFormulaDimensionChecker } from './numerical/formula-dimension.js';\n\n/**\n * Missing-evaluator message for `upt evaluate`.\n *\n * @internal\n */\nexport { missingEvaluatorMessage } from './bridges/evaluators.js';\n\n/** The caveats printed beside a relation's value: its own notice and the notes of the constants it names. */\nexport { relationNotices } from './bridges/notices.js';\n/** The notes of the registered constants a formula names. */\nexport { constantNotes } from './dimensional/symbolic-constants.js';\n\n/** Quantity-graph edge type for `upt map`. @internal */\nexport type { BridgeEdge } from './composition/edge.js';\n\n/** Visual map types for `upt map`. @internal */\nexport type { VizJunction, VizModel } from './composition/graph-viz.js';\n\n/** Relation vocabulary types for `upt map`. @internal */\nexport type { EvidenceTag, RelationType } from './atlas/types.js';\n\n/** User-equation analysis type for `upt map`. @internal */\nexport type { EquationAnalysis } from './composition/user-equation.js';\n"]}

package/dist/composition/adjudication.js.map

@@ -1 +1 @@
-{"version":3,"file":"adjudication.js","sourceRoot":"","sources":["../../src/composition/adjudication.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAG3D;8EAC8E;AAC9E,MAAM,IAAI,GAAG,uBAAuB,CAAC;AAErC;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CAAC,CAAS,EAAE,CAAS;IAC9C,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CACb,8DAA8D,CAAC,OAAO,CAAC,IAAI,CAC5E,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;AAC5C,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAAC,CAAS,EAAE,CAAS;IACpD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACrD,OAAO,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3B,CAAC;AAED,MAAM,QAAQ,GAAwB,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;AAE5F;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,aAAa,GAAmC,aAAa,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;IACrG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,gBAAgB,GAAG,CAAC,EAAE,cAAc,GAAG,CAAC,OAAO,+CAA+C,CAAC,CAAC;IAChJ,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,IAAI,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,EAAE,CAAC;QAC9F,MAAM,IAAI,KAAK,CAAC,gBAAgB,GAAG,CAAC,EAAE,gCAAgC,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC,CAAC,CAAC;AAEH,MAAM,KAAK,GAA6C,IAAI,GAAG,CAC7D,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CACpC,CAAC;AAEF,4EAA4E;AAC5E,MAAM,UAAU,eAAe,CAC7B,CAAS,EACT,CAAS;IAET,OAAO,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACtC,CAAC;AAaD;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,qBAAqB,CACnC,UAAsC;IAEtC,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC1B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QACjD,MAAM,YAAY,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,OAAO,YAAY,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"adjudication.js","sourceRoot":"","sources":["../../src/composition/adjudication.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAG3D;8EAC8E;AAC9E,MAAM,IAAI,GAAG,uBAAuB,CAAC;AAErC;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CAAC,CAAS,EAAE,CAAS;IAC9C,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CACb,8DAA8D,CAAC,OAAO,CAAC,IAAI,CAC5E,CAAC;IACJ,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;AAC5C,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAAC,CAAS,EAAE,CAAS;IACpD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACrD,OAAO,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3B,CAAC;AAED,MAAM,QAAQ,GAAwB,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;AAE5F;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,aAAa,GAAmC,aAAa,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;IACrG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,gBAAgB,GAAG,CAAC,EAAE,cAAc,GAAG,CAAC,OAAO,+CAA+C,CAAC,CAAC;IAChJ,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,IAAI,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,EAAE,CAAC;QAC9F,MAAM,IAAI,KAAK,CAAC,gBAAgB,GAAG,CAAC,EAAE,gCAAgC,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC,CAAC,CAAC;AAEH,MAAM,KAAK,GAA6C,IAAI,GAAG,CAC7D,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CACpC,CAAC;AAEF,4EAA4E;AAC5E,MAAM,UAAU,eAAe,CAC7B,CAAS,EACT,CAAS;IAET,OAAO,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACtC,CAAC;AAaD;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,qBAAqB,CACnC,UAAsC;IAEtC,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC1B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QACjD,MAAM,YAAY,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,OAAO,YAAY,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC","sourcesContent":["/**\n * Adjudication ledger for machine-surfaced discovery candidates.\n *\n * Human verdicts on identification hypotheses (`a ≟ b`) are REVIEW MEMORY:\n * once a physicist has disposed of a candidate, the funnel must not\n * re-surface it as fresh. Verdicts NEVER mutate the catalog or graphs\n * (the epistemic firewall) — they annotate discovery output only.\n *\n * Keyed by the order-normalized quantity-name pair. Proposed equations\n * (`upt discover --derive`) inherit the verdict of the identification they\n * were derived from (`derivedFrom.identification`).\n *\n * @module composition/adjudication\n */\n\nimport type { VettedCandidate } from './discovery.js';\nimport { bridgeCatalog } from '../bridges/catalog-load.js';\nimport type { CatalogAdjudication } from '../bridges/catalog-types.js';\n\n/** Quantity names are ASCII kebab-case slugs; enforced so `~` cannot collide\n *  (Adam/Eve vet r1: guard the character-set assumption, don't assume it). */\nconst SLUG = /^[a-z0-9][a-z0-9-]*$/u;\n\n/**\n * Stable identity for an identification hypothesis: the two quantity names,\n * sorted, joined with `~`. Deliberately excludes score/verdict/dimension so\n * ids survive funnel-internal changes. NOT rename-proof: a quantity rename\n * (alias disposition) must update `ADJUDICATIONS` in the SAME commit — the\n * calibration benchmark's seed-resolution test enforces this.\n *\n * @public\n */\nexport function candidateId(a: string, b: string): string {\n  if (!SLUG.test(a) || !SLUG.test(b)) {\n    throw new Error(\n      `candidateId: quantity names must be kebab-case slugs (got '${a}', '${b}')`,\n    );\n  }\n  return a <= b ? `${a}~${b}` : `${b}~${a}`;\n}\n\n/**\n * `candidateId` when both names are kebab-case slugs; otherwise `undefined`.\n * Graphs carry symbols that are not slugs (`A`, `impact_parameter`). Those\n * names are not ledger keys, and routing them through `candidateId` throws.\n * The ledger path keeps the throw. Callers that only need an id skip it.\n *\n * @internal\n */\nexport function candidateIdIfSlug(a: string, b: string): string | undefined {\n  if (!SLUG.test(a) || !SLUG.test(b)) return undefined;\n  return candidateId(a, b);\n}\n\nconst VERDICTS: ReadonlySet<string> = new Set(['genuine', 'decoy', 'entailed', 'deferred']);\n\n/**\n * The ledger: the `adjudications` block of `data/bridge-catalog.json`, read\n * once. Append-only by convention; a record is corrected there, never\n * silently removed. A record whose verdict is not one of the four, or whose\n * id is not a slug pair, is a defect in the file and refuses to load.\n *\n * @public\n */\nexport const ADJUDICATIONS: readonly CatalogAdjudication[] = bridgeCatalog().adjudications.map((row) => {\n  if (!VERDICTS.has(row.verdict)) throw new Error(`adjudication ${row.id}: verdict '${row.verdict}' is not genuine, decoy, entailed or deferred`);\n  const [a, b, extra] = row.id.split('~');\n  if (a === undefined || b === undefined || extra !== undefined || candidateId(a, b) !== row.id) {\n    throw new Error(`adjudication ${row.id}: id is not a sorted slug pair`);\n  }\n  return row;\n});\n\nconst BY_ID: ReadonlyMap<string, CatalogAdjudication> = new Map(\n  ADJUDICATIONS.map((a) => [a.id, a]),\n);\n\n/** Look up the verdict for an identification, order-insensitive. @public */\nexport function adjudicationFor(\n  a: string,\n  b: string,\n): CatalogAdjudication | undefined {\n  return BY_ID.get(candidateId(a, b));\n}\n\n/**\n * A `VettedCandidate` with its recorded verdict attached, when the ledger has\n * one for `a ≟ b`. The identification funnel (`rankDiscoveries`) never sees\n * this — annotation is a command-layer concern (the epistemic firewall).\n *\n * @public\n */\nexport type AnnotatedCandidate = VettedCandidate & {\n  readonly adjudication?: CatalogAdjudication;\n};\n\n/**\n * Attach each candidate's recorded verdict, if any. A pure map: preserves\n * order and length, and leaves candidates without a ledger entry untouched\n * (no `adjudication` key added).\n *\n * The discovery funnel's candidate pool is NOT guaranteed to be kebab-case\n * slugs (`candidates` command sources plain quantity names like `A` or\n * `impact_parameter` straight off `BridgeEdge`/canonical governing sets) —\n * `candidateId` intentionally THROWS on those (the `~`-collision guard, see\n * its docstring). A non-slug name can never be a ledger key (every\n * `ADJUDICATIONS` entry is a valid slug), so such candidates are\n * pre-filtered out of lookup rather than routed through the throwing path.\n *\n * @public\n */\nexport function annotateAdjudications(\n  candidates: readonly VettedCandidate[],\n): readonly AnnotatedCandidate[] {\n  return candidates.map((c) => {\n    if (!SLUG.test(c.a) || !SLUG.test(c.b)) return c;\n    const adjudication = adjudicationFor(c.a, c.b);\n    return adjudication ? { ...c, adjudication } : c;\n  });\n}\n"]}

package/dist/composition/aliases.js.map

@@ -1 +1 @@
-{"version":3,"file":"aliases.js","sourceRoot":"","sources":["../../src/composition/aliases.ts"],"names":[],"mappings":"AAWA,OAAO,EACL,iBAAiB,EACjB,cAAc,EACd,mBAAmB,GAEpB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,qCAAqC,CAAC;AAC/D,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,UAAU,GAInB;IACF,QAAQ,EAAE,cAAc;IACxB,gBAAgB,EAAE,MAAM,CAAC,WAAW,CAClC,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CACrG;IAED,gBAAgB,EAAE,iBAAiB;CACpC,CAAC;AAEF,+FAA+F;AAC/F,MAAM,UAAU,gBAAgB,CAC9B,KAA4B,EAC5B,MAAc;IAEd,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;YAAE,SAAS;QAClE,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;YACzD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACvB,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC1B,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,QAAQ;oBAAE,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;;oBAC3D,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;YAC9B,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,SAAS;QAAE,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAC7C,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,CAAS,EAAE,CAAS;IAC/C,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;IACnB,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;IACnB,IAAI,KAAK,GAAG,IAAI,KAAK,CAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7C,IAAI,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACtD,IAAI,IAAI,GAAG,IAAI,KAAK,CAAS,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5B,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3C,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAE,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAE,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAE,GAAG,IAAI,CAAC,CAAC;YACxE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;gBACrE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;QACD,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,IAAI,CAAC,CAAC,CAAE,CAAC;AAClB,CAAC;AAED,MAAM,IAAI,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;AAE9D;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAa,EAAE,KAAuB;IACtE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3B,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAC3B,KAAwC,EACxC,UAA+B;IAE/B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,IAAI,GAAG,GAAG,KAAK,CAAC;QAChB,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;YACxC,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;YACjD,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAC/B,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;YACzE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,GAAG,GAAG,CAAC,GAAG,GAAG,EAAE,GAAG,KAAK,CAAC,CAAC;QACjD,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,MAAM,GAAG,GAA2B,EAAE,GAAG,KAAK,EAAE,CAAC;IACjD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;QACzD,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAC/B,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC;QACvB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC;gBAChD,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,CAAE,CAAC;gBACxB,KAAK,GAAG,IAAI,CAAC;YACf,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;AAC7B,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,wBAAwB,CACtC,KAAwB,EACxB,WAAgC,EAChC,MAA+C;IAE/C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;QACxC,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QACjC,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACpB,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC;gBAAE,SAAS;YAC3D,MAAM,YAAY,GAAG,mBAAmB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;YAC1D,IAAI,YAAY,KAAK,IAAI;gBAAE,MAAM,YAAY,CAAC;QAChD,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1D,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,CAAE,CAAC;QACvC,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,IAAI,CAAC,KAAK,IAAI;gBAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3C,CAAC"}
+{"version":3,"file":"aliases.js","sourceRoot":"","sources":["../../src/composition/aliases.ts"],"names":[],"mappings":"AAWA,OAAO,EACL,iBAAiB,EACjB,cAAc,EACd,mBAAmB,GAEpB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,qCAAqC,CAAC;AAC/D,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,UAAU,GAInB;IACF,QAAQ,EAAE,cAAc;IACxB,gBAAgB,EAAE,MAAM,CAAC,WAAW,CAClC,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CACrG;IAED,gBAAgB,EAAE,iBAAiB;CACpC,CAAC;AAEF,+FAA+F;AAC/F,MAAM,UAAU,gBAAgB,CAC9B,KAA4B,EAC5B,MAAc;IAEd,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;YAAE,SAAS;QAClE,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;YACzD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACvB,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC1B,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,QAAQ;oBAAE,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;;oBAC3D,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;YAC9B,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,SAAS;QAAE,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAC7C,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,CAAS,EAAE,CAAS;IAC/C,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;IACnB,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;IACnB,IAAI,KAAK,GAAG,IAAI,KAAK,CAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7C,IAAI,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACtD,IAAI,IAAI,GAAG,IAAI,KAAK,CAAS,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5B,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3C,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAE,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAE,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAE,GAAG,IAAI,CAAC,CAAC;YACxE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;gBACrE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;QACD,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,IAAI,CAAC,CAAC,CAAE,CAAC;AAClB,CAAC;AAED,MAAM,IAAI,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;AAE9D;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAa,EAAE,KAAuB;IACtE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3B,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAC3B,KAAwC,EACxC,UAA+B;IAE/B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,IAAI,GAAG,GAAG,KAAK,CAAC;QAChB,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;YACxC,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;YACjD,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAC/B,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;YACzE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,GAAG,GAAG,CAAC,GAAG,GAAG,EAAE,GAAG,KAAK,CAAC,CAAC;QACjD,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IACD,MAAM,GAAG,GAA2B,EAAE,GAAG,KAAK,EAAE,CAAC;IACjD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;QACzD,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAC/B,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,CAAE,CAAC;QACvB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC;gBAChD,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,CAAE,CAAC;gBACxB,KAAK,GAAG,IAAI,CAAC;YACf,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;AAC7B,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,wBAAwB,CACtC,KAAwB,EACxB,WAAgC,EAChC,MAA+C;IAE/C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;QACxC,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QACjC,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACpB,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC;gBAAE,SAAS;YAC3D,MAAM,YAAY,GAAG,mBAAmB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;YAC1D,IAAI,YAAY,KAAK,IAAI;gBAAE,MAAM,YAAY,CAAC;QAChD,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1D,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,CAAE,CAAC;QACvC,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,IAAI,CAAC,KAAK,IAAI;gBAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3C,CAAC","sourcesContent":["/**\n * One record of what a typed name means.\n *\n * An evaluator key (`I_W_per_m2`) and the graph source (`poynting-flux`)\n * are the edge's `aliases`. A shared hyphen token is not nearness.\n * Quantity synonyms, comparison targets, and structural-hash renames\n * live in {@link NAME_TABLE}. Spelling resolution is `resolveQuantityName`.\n *\n * @module composition/aliases\n */\nimport type { BridgeEdge } from './edge.js';\nimport {\n  DIMENSION_RENAMES,\n  SYNONYM_GROUPS,\n  synonymDisagreement,\n  type DimensionRename,\n} from '../dimensional/formula-names.js';\nimport { foldName } from '../dimensional/quantity-registry.js';\nimport { CANONICAL_EQUATIONS } from '../canonical/registry.js';\n\n/**\n * The one name table.\n *\n * Synonym groups are {@link SYNONYM_GROUPS}: the same array, not a copy.\n * A comparison target is a name an entry answers to besides its frozen\n * target word, projected from each entry's `targetAliases`. `speed` answers for the sound-speed equation in a comparison\n * and is not a synonym of `sound-speed`. A dimension rename applies only\n * for that dimension, so a time coordinate named `T` stays `T`.\n * Spelling resolution is `resolveQuantityName`, not a second table.\n */\nexport const NAME_TABLE: {\n  readonly synonyms: readonly (readonly string[])[];\n  readonly canonicalTargets: Readonly<Record<string, readonly string[]>>;\n  readonly dimensionRenames: readonly DimensionRename[];\n} = {\n  synonyms: SYNONYM_GROUPS,\n  canonicalTargets: Object.fromEntries(\n    CANONICAL_EQUATIONS.flatMap((e) => (e.targetAliases === undefined ? [] : [[e.id, e.targetAliases]])),\n  ),\n\n  dimensionRenames: DIMENSION_RENAMES,\n};\n\n/** Alias key → source name, for edges whose target is `target`. Ambiguous keys are omitted. */\nexport function aliasesForTarget(\n  edges: readonly BridgeEdge[],\n  target: string,\n): ReadonlyMap<string, string> {\n  const map = new Map<string, string>();\n  const ambiguous = new Set<string>();\n  for (const e of edges) {\n    if (e.target.name !== target || e.aliases === undefined) continue;\n    for (const [quantity, keys] of Object.entries(e.aliases)) {\n      for (const key of keys) {\n        const prev = map.get(key);\n        if (prev !== undefined && prev !== quantity) ambiguous.add(key);\n        else map.set(key, quantity);\n      }\n    }\n  }\n  for (const key of ambiguous) map.delete(key);\n  return map;\n}\n\n/**\n * Optimal string alignment distance. An adjacent transposition is one edit,\n * so `lenght` and `length` are distance 1. Resolution accepts distance ≤ 1.\n * A longer cutoff, and containment, stay a suggestion rank.\n */\nexport function editDistance(a: string, b: string): number {\n  const m = a.length;\n  const n = b.length;\n  let prev2 = new Array<number>(n + 1).fill(0);\n  let prev = Array.from({ length: n + 1 }, (_, j) => j);\n  let curr = new Array<number>(n + 1);\n  for (let i = 1; i <= m; i++) {\n    curr[0] = i;\n    for (let j = 1; j <= n; j++) {\n      const cost = a[i - 1] === b[j - 1] ? 0 : 1;\n      curr[j] = Math.min(prev[j]! + 1, curr[j - 1]! + 1, prev[j - 1]! + cost);\n      if (i > 1 && j > 1 && a[i - 1] === b[j - 2] && a[i - 2] === b[j - 1]) {\n        curr[j] = Math.min(curr[j]!, prev2[j - 2]! + 1);\n      }\n    }\n    [prev2, prev, curr] = [prev, curr, prev2];\n  }\n  return prev[n]!;\n}\n\nconst fold = (s: string): string => foldName(s.toLowerCase());\n\n/**\n * Catalog names within one edit of `query`. A shared token such as\n * `length` is not an edit. Containment is not nearness.\n */\nexport function nearQuantityNames(query: string, names: Iterable<string>): string[] {\n  const needle = fold(query);\n  const hits: string[] = [];\n  for (const name of names) {\n    if (editDistance(needle, fold(name)) <= 1) hits.push(name);\n  }\n  hits.sort((a, b) => a.length - b.length || a.localeCompare(b));\n  return hits;\n}\n\n/**\n * Copy a synonym onto the other name when the graph has it and the user\n * named exactly one of the pair. Two explicit values stay as given.\n */\nexport function shareSynonyms(\n  known: string[] | Record<string, number>,\n  graphNames: ReadonlySet<string>,\n): string[] | Record<string, number> {\n  if (Array.isArray(known)) {\n    let out = known;\n    for (const group of NAME_TABLE.synonyms) {\n      const hit = group.filter((n) => out.includes(n));\n      if (hit.length === 0) continue;\n      const extra = group.filter((n) => graphNames.has(n) && !out.includes(n));\n      if (extra.length > 0) out = [...out, ...extra];\n    }\n    return out;\n  }\n  const out: Record<string, number> = { ...known };\n  let added = false;\n  for (const group of NAME_TABLE.synonyms) {\n    const hit = group.filter((n) => Object.hasOwn(known, n));\n    if (hit.length !== 1) continue;\n    const source = hit[0]!;\n    for (const n of group) {\n      if (graphNames.has(n) && !Object.hasOwn(out, n)) {\n        out[n] = known[source]!;\n        added = true;\n      }\n    }\n  }\n  return added ? out : known;\n}\n\n/**\n * One name per synonym group in a governing set.\n *\n * Copying the value onto the other name lets either spelling evaluate.\n * Both names are the same quantity, so Buckingham must see one of them.\n * The name that is a source of the target stays. The same number under\n * both spellings is that one input. Two different numbers are\n * {@link SynonymDisagreementError}: the report does not pick one.\n */\nexport function collapseSynonymGovernors(\n  names: readonly string[],\n  sourceNames: ReadonlySet<string>,\n  values: Readonly<Record<string, number>> | null,\n): string[] {\n  const drop = new Set<string>();\n  for (const group of NAME_TABLE.synonyms) {\n    const present = group.filter((n) => names.includes(n));\n    if (present.length < 2) continue;\n    if (values !== null) {\n      if (present.some((n) => values[n] === undefined)) continue;\n      const disagreement = synonymDisagreement(present, values);\n      if (disagreement !== null) throw disagreement;\n    }\n    const sources = present.filter((n) => sourceNames.has(n));\n    const keep = sources[0] ?? present[0]!;\n    for (const n of present) if (n !== keep) drop.add(n);\n  }\n  return names.filter((n) => !drop.has(n));\n}\n"]}

package/dist/composition/audit-coverage.d.ts

@@ -27,6 +27,8 @@
  *      signature (numerically computable + dimensionally encoded).
  *   - `encoded-only` — has a dimensional signature but no graph edge.
  *   - `thin` — no dimensional signature (catalogued by label/prose only).
+ *
+ * @internal
  */
 export type GroundingTier = 'data-confronted' | 'graph-computable' | 'encoded-only' | 'thin';
 /** One bridge's empirical-grounding profile. */

package/dist/composition/audit-coverage.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"audit-coverage.d.ts","sourceRoot":"","sources":["../../src/composition/audit-coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAMH;;;;;;;GAOG;AACH,MAAM,MAAM,aAAa,GACrB,iBAAiB,GACjB,kBAAkB,GAClB,cAAc,GACd,MAAM,CAAC;AAEX,gDAAgD;AAChD,UAAU,cAAc;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,kDAAkD;IAClD,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;IACvC,0EAA0E;IAC1E,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,yDAAyD;IACzD,QAAQ,CAAC,2BAA2B,EAAE,OAAO,CAAC;IAC9C,4DAA4D;IAC5D,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,uCAAuC;IACvC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;CAClC;AAED,wCAAwC;AACxC,UAAU,cAAc;IACtB,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,+BAA+B;IAC/B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC;IACzD,mEAAmE;IACnE,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,mDAAmD;IACnD,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,sEAAsE;IACtE,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,IAAI,cAAc,CA6C9C"}
+{"version":3,"file":"audit-coverage.d.ts","sourceRoot":"","sources":["../../src/composition/audit-coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAMH;;;;;;;;;GASG;AACH,MAAM,MAAM,aAAa,GACrB,iBAAiB,GACjB,kBAAkB,GAClB,cAAc,GACd,MAAM,CAAC;AAEX,gDAAgD;AAChD,UAAU,cAAc;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,kDAAkD;IAClD,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;IACvC,0EAA0E;IAC1E,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,yDAAyD;IACzD,QAAQ,CAAC,2BAA2B,EAAE,OAAO,CAAC;IAC9C,4DAA4D;IAC5D,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,uCAAuC;IACvC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;CAClC;AAED,wCAAwC;AACxC,UAAU,cAAc;IACtB,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,+BAA+B;IAC/B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC;IACzD,mEAAmE;IACnE,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,mDAAmD;IACnD,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,sEAAsE;IACtE,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,IAAI,cAAc,CA6C9C"}

package/dist/composition/audit-coverage.js.map

@@ -1 +1 @@
-{"version":3,"file":"audit-coverage.js","sourceRoot":"","sources":["../../src/composition/audit-coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,sCAAsC,CAAC;AAC3E,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AA+CnD;;;;;;GAMG;AACH,MAAM,UAAU,aAAa;IAC3B,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;YAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC;IAED,MAAM,OAAO,GAAqB,gBAAgB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC/D,MAAM,oBAAoB,GAAG,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC/D,MAAM,YAAY,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAChD,MAAM,2BAA2B,GAAG,KAAK,CAAC,qBAAqB,KAAK,IAAI,CAAC;QAEzE,IAAI,IAAmB,CAAC;QACxB,IAAI,oBAAoB;YAAE,IAAI,GAAG,iBAAiB,CAAC;aAC9C,IAAI,YAAY,IAAI,2BAA2B;YAAE,IAAI,GAAG,kBAAkB,CAAC;aAC3E,IAAI,2BAA2B;YAAE,IAAI,GAAG,cAAc,CAAC;;YACvD,IAAI,GAAG,MAAM,CAAC;QAEnB,OAAO;YACL,EAAE,EAAE,KAAK,CAAC,EAAE;YACZ,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,IAAI;YACJ,oBAAoB;YACpB,YAAY;YACZ,2BAA2B;YAC3B,aAAa,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM;YACtC,eAAe,EAAE,KAAK,CAAC,YAAY,CAAC,MAAM;SAC3C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAkC;QAC5C,iBAAiB,EAAE,CAAC;QACpB,kBAAkB,EAAE,CAAC;QACrB,cAAc,EAAE,CAAC;QACjB,IAAI,EAAE,CAAC;KACR,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;IAE1C,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;QAC5C,KAAK,EAAE,OAAO,CAAC,MAAM;QACrB,MAAM;QACN,wBAAwB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,MAAM;QAC/E,eAAe,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,CAAC,MAAM;QACpE,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;KAC7F,CAAC;AACJ,CAAC"}
+{"version":3,"file":"audit-coverage.js","sourceRoot":"","sources":["../../src/composition/audit-coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,sCAAsC,CAAC;AAC3E,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAiDnD;;;;;;GAMG;AACH,MAAM,UAAU,aAAa;IAC3B,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;YAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC;IAED,MAAM,OAAO,GAAqB,gBAAgB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC/D,MAAM,oBAAoB,GAAG,mBAAmB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC/D,MAAM,YAAY,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAChD,MAAM,2BAA2B,GAAG,KAAK,CAAC,qBAAqB,KAAK,IAAI,CAAC;QAEzE,IAAI,IAAmB,CAAC;QACxB,IAAI,oBAAoB;YAAE,IAAI,GAAG,iBAAiB,CAAC;aAC9C,IAAI,YAAY,IAAI,2BAA2B;YAAE,IAAI,GAAG,kBAAkB,CAAC;aAC3E,IAAI,2BAA2B;YAAE,IAAI,GAAG,cAAc,CAAC;;YACvD,IAAI,GAAG,MAAM,CAAC;QAEnB,OAAO;YACL,EAAE,EAAE,KAAK,CAAC,EAAE;YACZ,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,IAAI;YACJ,oBAAoB;YACpB,YAAY;YACZ,2BAA2B;YAC3B,aAAa,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM;YACtC,eAAe,EAAE,KAAK,CAAC,YAAY,CAAC,MAAM;SAC3C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAkC;QAC5C,iBAAiB,EAAE,CAAC;QACpB,kBAAkB,EAAE,CAAC;QACrB,cAAc,EAAE,CAAC;QACjB,IAAI,EAAE,CAAC;KACR,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;IAE1C,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;QAC5C,KAAK,EAAE,OAAO,CAAC,MAAM;QACrB,MAAM;QACN,wBAAwB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,MAAM;QAC/E,eAAe,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,CAAC,MAAM;QACpE,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;KAC7F,CAAC;AACJ,CAAC","sourcesContent":["/**\n * Empirical-spine coverage audit (Direction 4).\n *\n * \"Strengthen the empirical spine\" must NOT fabricate physics data, so the\n * responsible, composable deliverable is tooling that makes the spine's gaps\n * machine-visible: for each catalogued bridge, what grounding does it\n * actually have — a real-data confrontation, a computable graph edge, a\n * dimensional-signature encoding, or nothing but a status label? The report\n * tells the physicist-reviewer (CONTRIBUTING.md) exactly where the grounding\n * is thinnest, and lets the discovery loop prefer well-grounded bridges.\n *\n * This INVENTS nothing — every field is read from the catalog\n * (`BRIDGE_EQUATIONS`), the composition graph (`CATALOG_GRAPH`), and the\n * confrontation projection `DATA_CONFRONTED_IDS`.\n *\n * The `CATALOG_GRAPH` scan lives here, beside `catalog-graph.ts`.\n * `DATA_CONFRONTED_IDS` stays in `bridges/confrontation-coverage.ts`.\n *\n * INTERNAL — surfaced via `upt coverage`.\n *\n * @module composition/audit-coverage\n */\n\nimport { BRIDGE_EQUATIONS } from '../bridges/index.js';\nimport { DATA_CONFRONTED_IDS } from '../bridges/confrontation-coverage.js';\nimport { CATALOG_GRAPH } from './catalog-graph.js';\n\n/**\n * The grounding tier of one bridge, strongest first:\n *   - `data-confronted` — has a committed real-data confrontation.\n *   - `graph-computable` — has a composition-graph edge AND a dimensional\n *      signature (numerically computable + dimensionally encoded).\n *   - `encoded-only` — has a dimensional signature but no graph edge.\n *   - `thin` — no dimensional signature (catalogued by label/prose only).\n *\n * @internal\n */\nexport type GroundingTier =\n  | 'data-confronted'\n  | 'graph-computable'\n  | 'encoded-only'\n  | 'thin';\n\n/** One bridge's empirical-grounding profile. */\ninterface BridgeCoverage {\n  readonly id: number;\n  readonly status: string;\n  readonly tier: GroundingTier;\n  /** A committed real-data confrontation exists. */\n  readonly hasDataConfrontation: boolean;\n  /** A composition-graph edge (computable evaluator) exists for this id. */\n  readonly hasGraphEdge: boolean;\n  /** A dimensional signature is registered for this id. */\n  readonly dimensionalSignaturePresent: boolean;\n  /** Number of literature references in the catalog entry. */\n  readonly citationCount: number;\n  /** Number of recorded known issues. */\n  readonly knownIssueCount: number;\n}\n\n/** The catalog-wide coverage report. */\ninterface CoverageReport {\n  readonly bridges: readonly BridgeCoverage[];\n  readonly total: number;\n  /** Count by grounding tier. */\n  readonly byTier: Readonly<Record<GroundingTier, number>>;\n  /** Bridges with NO real-data confrontation (the empirical gap). */\n  readonly withoutDataConfrontation: number;\n  /** Bridges with NO literature reference at all. */\n  readonly withoutCitation: number;\n  /** Ids of the thinnest bridges (no dimensional signature), sorted. */\n  readonly thinBridges: readonly number[];\n}\n\n/**\n * Audit the catalog's empirical grounding. Reads `BRIDGE_EQUATIONS`, the\n * composition graph, and the data-confrontation registry; fabricates\n * nothing. See module docs.\n *\n * @internal\n */\nexport function auditCoverage(): CoverageReport {\n  const graphEdgeIds = new Set<number>();\n  for (const e of CATALOG_GRAPH) {\n    if (e.beId !== null) graphEdgeIds.add(e.beId);\n  }\n\n  const bridges: BridgeCoverage[] = BRIDGE_EQUATIONS.map((entry) => {\n    const hasDataConfrontation = DATA_CONFRONTED_IDS.has(entry.id);\n    const hasGraphEdge = graphEdgeIds.has(entry.id);\n    const dimensionalSignaturePresent = entry.dimensional_signature !== null;\n\n    let tier: GroundingTier;\n    if (hasDataConfrontation) tier = 'data-confronted';\n    else if (hasGraphEdge && dimensionalSignaturePresent) tier = 'graph-computable';\n    else if (dimensionalSignaturePresent) tier = 'encoded-only';\n    else tier = 'thin';\n\n    return {\n      id: entry.id,\n      status: entry.status,\n      tier,\n      hasDataConfrontation,\n      hasGraphEdge,\n      dimensionalSignaturePresent,\n      citationCount: entry.references.length,\n      knownIssueCount: entry.known_issues.length,\n    };\n  });\n\n  const byTier: Record<GroundingTier, number> = {\n    'data-confronted': 0,\n    'graph-computable': 0,\n    'encoded-only': 0,\n    thin: 0,\n  };\n  for (const b of bridges) byTier[b.tier]++;\n\n  return {\n    bridges: bridges.sort((a, b) => a.id - b.id),\n    total: bridges.length,\n    byTier,\n    withoutDataConfrontation: bridges.filter((b) => !b.hasDataConfrontation).length,\n    withoutCitation: bridges.filter((b) => b.citationCount === 0).length,\n    thinBridges: bridges.filter((b) => b.tier === 'thin').map((b) => b.id).sort((a, b) => a - b),\n  };\n}\n"]}

package/dist/composition/axes.d.ts

@@ -30,6 +30,18 @@ export type SymmetryAxis = 'poincare' | 'gauge' | 'conformal' | 'susy' | 'emerge
 export type TopologyAxis = 'trivial' | 'chern' | 'winding' | 'z2' | 'berry';
 /** Quantum statistics (the 7th axis — orthogonal to the other six). @internal */
 export type StatisticsAxis = 'bosonic' | 'fermionic' | 'anyonic' | 'parastatistic';
+/** The scale values, the one list the registry row and every typed consumer read. @internal */
+export declare const SCALE_AXIS_VALUES: readonly ScaleAxis[];
+/** The force values. @internal */
+export declare const FORCE_AXIS_VALUES: readonly ForceAxis[];
+/** The information-measure values. @internal */
+export declare const INFORMATION_AXIS_VALUES: readonly InformationAxis[];
+/** The symmetry values. @internal */
+export declare const SYMMETRY_AXIS_VALUES: readonly SymmetryAxis[];
+/** The topology values. @internal */
+export declare const TOPOLOGY_AXIS_VALUES: readonly TopologyAxis[];
+/** The statistics values. @internal */
+export declare const STATISTICS_AXIS_VALUES: readonly StatisticsAxis[];
 /** A classification-axis specification. @internal */
 export interface AxisSpec {
     /** The axis key, matching the `RegimeAttributes` field name. */

package/dist/composition/axes.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"axes.d.ts","sourceRoot":"","sources":["../../src/composition/axes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,4CAA4C;AAC5C,MAAM,MAAM,SAAS,GAAG,SAAS,GAAG,YAAY,GAAG,WAAW,GAAG,cAAc,CAAC;AAChF,yCAAyC;AACzC,MAAM,MAAM,SAAS,GACjB,eAAe,GACf,iBAAiB,GACjB,MAAM,GACN,QAAQ,GACR,UAAU,CAAC;AACf,qCAAqC;AACrC,MAAM,MAAM,eAAe,GAAG,aAAa,GAAG,SAAS,GAAG,YAAY,GAAG,SAAS,CAAC;AACnF,gCAAgC;AAChC,MAAM,MAAM,YAAY,GAAG,UAAU,GAAG,OAAO,GAAG,WAAW,GAAG,MAAM,GAAG,UAAU,CAAC;AACpF,6DAA6D;AAC7D,MAAM,MAAM,YAAY,GAAG,SAAS,GAAG,OAAO,GAAG,SAAS,GAAG,IAAI,GAAG,OAAO,CAAC;AAC5E,iFAAiF;AACjF,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,WAAW,GAAG,SAAS,GAAG,eAAe,CAAC;AAEnF,qDAAqD;AACrD,MAAM,WAAW,QAAQ;IACvB,gEAAgE;IAChE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,mFAAmF;IACnF,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC;;;;OAIG;IACH,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED;;;;;;GAMG;AACH,eAAO,MAAM,IAAI,EAAE,SAAS,QAAQ,EAqCnC,CAAC;AAEF,6FAA6F;AAC7F,eAAO,MAAM,SAAS,EAAE,SAAS,MAAM,EAAmD,CAAC"}
+{"version":3,"file":"axes.d.ts","sourceRoot":"","sources":["../../src/composition/axes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,4CAA4C;AAC5C,MAAM,MAAM,SAAS,GAAG,SAAS,GAAG,YAAY,GAAG,WAAW,GAAG,cAAc,CAAC;AAChF,yCAAyC;AACzC,MAAM,MAAM,SAAS,GACjB,eAAe,GACf,iBAAiB,GACjB,MAAM,GACN,QAAQ,GACR,UAAU,CAAC;AACf,qCAAqC;AACrC,MAAM,MAAM,eAAe,GAAG,aAAa,GAAG,SAAS,GAAG,YAAY,GAAG,SAAS,CAAC;AACnF,gCAAgC;AAChC,MAAM,MAAM,YAAY,GAAG,UAAU,GAAG,OAAO,GAAG,WAAW,GAAG,MAAM,GAAG,UAAU,CAAC;AACpF,6DAA6D;AAC7D,MAAM,MAAM,YAAY,GAAG,SAAS,GAAG,OAAO,GAAG,SAAS,GAAG,IAAI,GAAG,OAAO,CAAC;AAC5E,iFAAiF;AACjF,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,WAAW,GAAG,SAAS,GAAG,eAAe,CAAC;AAEnF,+FAA+F;AAC/F,eAAO,MAAM,iBAAiB,EAAE,SAAS,SAAS,EAA2D,CAAC;AAC9G,kCAAkC;AAClC,eAAO,MAAM,iBAAiB,EAAE,SAAS,SAAS,EAAuE,CAAC;AAC1H,gDAAgD;AAChD,eAAO,MAAM,uBAAuB,EAAE,SAAS,eAAe,EAAwD,CAAC;AACvH,qCAAqC;AACrC,eAAO,MAAM,oBAAoB,EAAE,SAAS,YAAY,EAA2D,CAAC;AACpH,qCAAqC;AACrC,eAAO,MAAM,oBAAoB,EAAE,SAAS,YAAY,EAAmD,CAAC;AAC5G,uCAAuC;AACvC,eAAO,MAAM,sBAAsB,EAAE,SAAS,cAAc,EAAyD,CAAC;AAEtH,qDAAqD;AACrD,MAAM,WAAW,QAAQ;IACvB,gEAAgE;IAChE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,mFAAmF;IACnF,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC;;;;OAIG;IACH,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED;;;;;;GAMG;AACH,eAAO,MAAM,IAAI,EAAE,SAAS,QAAQ,EAqCnC,CAAC;AAEF,6FAA6F;AAC7F,eAAO,MAAM,SAAS,EAAE,SAAS,MAAM,EAAmD,CAAC"}

package/dist/composition/axes.js

@@ -18,6 +18,18 @@
  *
  * @module composition/axes
  */
+/** The scale values, the one list the registry row and every typed consumer read. @internal */
+export const SCALE_AXIS_VALUES = ['quantum', 'mesoscopic', 'classical', 'cosmological'];
+/** The force values. @internal */
+export const FORCE_AXIS_VALUES = ['gravitational', 'electromagnetic', 'weak', 'strong', 'emergent'];
+/** The information-measure values. @internal */
+export const INFORMATION_AXIS_VALUES = ['von-neumann', 'shannon', 'kolmogorov', 'discord'];
+/** The symmetry values. @internal */
+export const SYMMETRY_AXIS_VALUES = ['poincare', 'gauge', 'conformal', 'susy', 'emergent'];
+/** The topology values. @internal */
+export const TOPOLOGY_AXIS_VALUES = ['trivial', 'chern', 'winding', 'z2', 'berry'];
+/** The statistics values. @internal */
+export const STATISTICS_AXIS_VALUES = ['bosonic', 'fermionic', 'anyonic', 'parastatistic'];
 /**
  * The classification-axis registry. `gated` reflects measured discrimination:
  * scale/force fire on the current catalog; the rest abstain (too little attribute
@@ -28,37 +40,37 @@
 export const AXES = [
     {
         name: 'scale',
-        values: ['quantum', 'mesoscopic', 'classical', 'cosmological'],
+        values: SCALE_AXIS_VALUES,
         gated: true,
         description: 'Length/energy-scale regime (quantum → cosmological).',
     },
     {
         name: 'force',
-        values: ['gravitational', 'electromagnetic', 'weak', 'strong', 'emergent'],
+        values: FORCE_AXIS_VALUES,
         gated: true,
         description: 'Fundamental (or emergent effective) interaction.',
     },
     {
         name: 'information',
-        values: ['von-neumann', 'shannon', 'kolmogorov', 'discord'],
+        values: INFORMATION_AXIS_VALUES,
         gated: false,
         description: 'Information measure — authored, not gated (see discovery precision calibration).',
     },
     {
         name: 'symmetry',
-        values: ['poincare', 'gauge', 'conformal', 'susy', 'emergent'],
+        values: SYMMETRY_AXIS_VALUES,
         gated: false,
         description: 'Symmetry class — first-class attribute; ungated until coverage + audit earn it.',
     },
     {
         name: 'topology',
-        values: ['trivial', 'chern', 'winding', 'z2', 'berry'],
+        values: TOPOLOGY_AXIS_VALUES,
         gated: false,
         description: 'Topological invariant type — populates the rank-6 Topology axis; ungated until audit.',
     },
     {
         name: 'statistics',
-        values: ['bosonic', 'fermionic', 'anyonic', 'parastatistic'],
+        values: STATISTICS_AXIS_VALUES,
         gated: false,
         description: 'Quantum statistics (the 7th axis). NOTE: spin-statistics ties it to symmetry — the audit must confirm it discriminates independently before gating.',
     },