universal-physics-tensor 1.0.1 → 1.0.3

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,EACL,eAAe,EACf,aAAa,EACb,eAAe,EACf,QAAQ,EACR,eAAe,EACf,QAAQ,EACR,QAAQ,EACR,sBAAsB,EACtB,aAAa,EACb,MAAM,EACN,aAAa,EACb,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,oBAAoB,EACpB,iBAAiB,EACjB,YAAY,EACZ,uBAAuB,GACxB,MAAM,YAAY,CAAC;AAEpB,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,qCAAqC,CAAC;AACpE,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,6BAA6B,EAAE,MAAM,4CAA4C,CAAC;AAC3F,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,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,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAK/F,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,GACpB,MAAM,oCAAoC,CAAC;AAC5C,YAAY,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AAC9E,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,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"}
+{"version":3,"file":"cli-api.d.ts","sourceRoot":"","sources":["../src/cli-api.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,EACL,eAAe,EACf,aAAa,EACb,eAAe,EACf,QAAQ,EACR,eAAe,EACf,QAAQ,EACR,QAAQ,EACR,sBAAsB,EACtB,aAAa,EACb,MAAM,EACN,aAAa,EACb,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,oBAAoB,EACpB,iBAAiB,EACjB,YAAY,EACZ,uBAAuB,GACxB,MAAM,YAAY,CAAC;AAEpB,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,OAAO,EAAE,6BAA6B,EAAE,MAAM,4CAA4C,CAAC;AAC3F,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,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,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAK/F,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,GACpB,MAAM,oCAAoC,CAAC;AAC5C,YAAY,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AAC9E,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,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"}

package/dist/cli-api.js

@@ -27,7 +27,7 @@ export { predictMissingBridges } from './composition/bridge-prediction.js';
 export { catalogFrontierAccount, formatFrontierAccount } from './composition/frontier-account.js';
 export { rankDiscoveries, ANCHOR_DEFAULT } from './composition/discovery.js';
 export { BRIDGE_EQUATIONS } from './bridges/index.js';
-export { auditCoverage } from './bridges/confrontation-coverage.js';
+export { auditCoverage } from './composition/audit-coverage.js';
 export { CONFRONTATIONS, listConfrontations, runConfrontation, confrontationRigor, rigorDistribution, } from './bridges/confrontations.js';
 export { requestYangMillsConfrontation } from './bridges/be53-yang-mills-confrontation.js';
 export { consistencyComparison } from './bridges/observations/types.js';

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,oDAAoD;AACpD,OAAO,EACL,eAAe,EACf,aAAa,EACb,eAAe,EACf,QAAQ,EACR,eAAe,EACf,QAAQ,EACR,QAAQ,EACR,sBAAsB,EACtB,aAAa,EACb,MAAM,EACN,aAAa,EACb,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,oBAAoB,EACpB,iBAAiB,EACjB,YAAY,EACZ,uBAAuB,GACxB,MAAM,YAAY,CAAC;AACpB,+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,qCAAqC,CAAC;AACpE,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,6BAA6B,EAAE,MAAM,4CAA4C,CAAC;AAE3F,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;AAE5E,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;AAGvC,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,GACpB,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;AAExG,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"}
+{"version":3,"file":"cli-api.js","sourceRoot":"","sources":["../src/cli-api.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,oDAAoD;AACpD,OAAO,EACL,eAAe,EACf,aAAa,EACb,eAAe,EACf,QAAQ,EACR,eAAe,EACf,QAAQ,EACR,QAAQ,EACR,sBAAsB,EACtB,aAAa,EACb,MAAM,EACN,aAAa,EACb,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,oBAAoB,EACpB,iBAAiB,EACjB,YAAY,EACZ,uBAAuB,GACxB,MAAM,YAAY,CAAC;AACpB,+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,OAAO,EAAE,6BAA6B,EAAE,MAAM,4CAA4C,CAAC;AAE3F,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;AAE5E,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;AAGvC,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,GACpB,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;AAExG,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"}

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

@@ -0,0 +1,70 @@
+/**
+ * Empirical-spine coverage audit (Direction 4).
+ *
+ * "Strengthen the empirical spine" must NOT fabricate physics data, so the
+ * responsible, composable deliverable is tooling that makes the spine's gaps
+ * machine-visible: for each catalogued bridge, what grounding does it
+ * actually have — a real-data confrontation, a computable graph edge, a
+ * dimensional-signature encoding, or nothing but a status label? The report
+ * tells the physicist-reviewer (CONTRIBUTING.md) exactly where the grounding
+ * is thinnest, and lets the discovery loop prefer well-grounded bridges.
+ *
+ * This INVENTS nothing — every field is read from the catalog
+ * (`BRIDGE_EQUATIONS`), the composition graph (`CATALOG_GRAPH`), and the
+ * confrontation projection `DATA_CONFRONTED_IDS`.
+ *
+ * The `CATALOG_GRAPH` scan lives here, beside `catalog-graph.ts`.
+ * `DATA_CONFRONTED_IDS` stays in `bridges/confrontation-coverage.ts`.
+ *
+ * INTERNAL — surfaced via `upt coverage`.
+ *
+ * @module composition/audit-coverage
+ */
+/**
+ * The grounding tier of one bridge, strongest first:
+ *   - `data-confronted` — has a committed real-data confrontation.
+ *   - `graph-computable` — has a composition-graph edge AND a dimensional
+ *      signature (numerically computable + dimensionally encoded).
+ *   - `encoded-only` — has a dimensional signature but no graph edge.
+ *   - `thin` — no dimensional signature (catalogued by label/prose only).
+ */
+export type GroundingTier = 'data-confronted' | 'graph-computable' | 'encoded-only' | 'thin';
+/** One bridge's empirical-grounding profile. */
+interface BridgeCoverage {
+    readonly id: number;
+    readonly status: string;
+    readonly tier: GroundingTier;
+    /** A committed real-data confrontation exists. */
+    readonly hasDataConfrontation: boolean;
+    /** A composition-graph edge (computable evaluator) exists for this id. */
+    readonly hasGraphEdge: boolean;
+    /** A dimensional signature is registered for this id. */
+    readonly dimensionalSignaturePresent: boolean;
+    /** Number of literature references in the catalog entry. */
+    readonly citationCount: number;
+    /** Number of recorded known issues. */
+    readonly knownIssueCount: number;
+}
+/** The catalog-wide coverage report. */
+interface CoverageReport {
+    readonly bridges: readonly BridgeCoverage[];
+    readonly total: number;
+    /** Count by grounding tier. */
+    readonly byTier: Readonly<Record<GroundingTier, number>>;
+    /** Bridges with NO real-data confrontation (the empirical gap). */
+    readonly withoutDataConfrontation: number;
+    /** Bridges with NO literature reference at all. */
+    readonly withoutCitation: number;
+    /** Ids of the thinnest bridges (no dimensional signature), sorted. */
+    readonly thinBridges: readonly number[];
+}
+/**
+ * Audit the catalog's empirical grounding. Reads `BRIDGE_EQUATIONS`, the
+ * composition graph, and the data-confrontation registry; fabricates
+ * nothing. See module docs.
+ *
+ * @internal
+ */
+export declare function auditCoverage(): CoverageReport;
+export {};
+//# sourceMappingURL=audit-coverage.d.ts.map

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

@@ -0,0 +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"}

package/dist/composition/audit-coverage.js

@@ -0,0 +1,80 @@
+/**
+ * Empirical-spine coverage audit (Direction 4).
+ *
+ * "Strengthen the empirical spine" must NOT fabricate physics data, so the
+ * responsible, composable deliverable is tooling that makes the spine's gaps
+ * machine-visible: for each catalogued bridge, what grounding does it
+ * actually have — a real-data confrontation, a computable graph edge, a
+ * dimensional-signature encoding, or nothing but a status label? The report
+ * tells the physicist-reviewer (CONTRIBUTING.md) exactly where the grounding
+ * is thinnest, and lets the discovery loop prefer well-grounded bridges.
+ *
+ * This INVENTS nothing — every field is read from the catalog
+ * (`BRIDGE_EQUATIONS`), the composition graph (`CATALOG_GRAPH`), and the
+ * confrontation projection `DATA_CONFRONTED_IDS`.
+ *
+ * The `CATALOG_GRAPH` scan lives here, beside `catalog-graph.ts`.
+ * `DATA_CONFRONTED_IDS` stays in `bridges/confrontation-coverage.ts`.
+ *
+ * INTERNAL — surfaced via `upt coverage`.
+ *
+ * @module composition/audit-coverage
+ */
+import { BRIDGE_EQUATIONS } from '../bridges/index.js';
+import { DATA_CONFRONTED_IDS } from '../bridges/confrontation-coverage.js';
+import { CATALOG_GRAPH } from './catalog-graph.js';
+/**
+ * Audit the catalog's empirical grounding. Reads `BRIDGE_EQUATIONS`, the
+ * composition graph, and the data-confrontation registry; fabricates
+ * nothing. See module docs.
+ *
+ * @internal
+ */
+export function auditCoverage() {
+    const graphEdgeIds = new Set();
+    for (const e of CATALOG_GRAPH) {
+        if (e.beId !== null)
+            graphEdgeIds.add(e.beId);
+    }
+    const bridges = BRIDGE_EQUATIONS.map((entry) => {
+        const hasDataConfrontation = DATA_CONFRONTED_IDS.has(entry.id);
+        const hasGraphEdge = graphEdgeIds.has(entry.id);
+        const dimensionalSignaturePresent = entry.dimensional_signature !== null;
+        let tier;
+        if (hasDataConfrontation)
+            tier = 'data-confronted';
+        else if (hasGraphEdge && dimensionalSignaturePresent)
+            tier = 'graph-computable';
+        else if (dimensionalSignaturePresent)
+            tier = 'encoded-only';
+        else
+            tier = 'thin';
+        return {
+            id: entry.id,
+            status: entry.status,
+            tier,
+            hasDataConfrontation,
+            hasGraphEdge,
+            dimensionalSignaturePresent,
+            citationCount: entry.references.length,
+            knownIssueCount: entry.known_issues.length,
+        };
+    });
+    const byTier = {
+        'data-confronted': 0,
+        'graph-computable': 0,
+        'encoded-only': 0,
+        thin: 0,
+    };
+    for (const b of bridges)
+        byTier[b.tier]++;
+    return {
+        bridges: bridges.sort((a, b) => a.id - b.id),
+        total: bridges.length,
+        byTier,
+        withoutDataConfrontation: bridges.filter((b) => !b.hasDataConfrontation).length,
+        withoutCitation: bridges.filter((b) => b.citationCount === 0).length,
+        thinBridges: bridges.filter((b) => b.tier === 'thin').map((b) => b.id).sort((a, b) => a - b),
+    };
+}
+//# sourceMappingURL=audit-coverage.js.map

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

@@ -0,0 +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"}

package/dist/composition/buckingham-filter.d.ts

@@ -0,0 +1,34 @@
+/**
+ * Buckingham filter for one target and the variables that govern it.
+ *
+ * Calls {@link dimensionallyDetermines} and {@link buckinghamPi}. It does
+ * not reimplement the null space and it does not call the probe generator.
+ * The determination fields are that engine's result: form only, no constant.
+ *
+ * A target outside the governing span is absent. A survivor names the
+ * `PhysJS.Dimensional` theorem for its shape. The covers line begins with
+ * `derivation-step:` and names the hypothesis that theorem leaves open.
+ *
+ * @module composition/buckingham-filter
+ */
+import type { DimensionalDeterminationResult, DimensionalVariable } from '../dimensional/buckingham.js';
+/**
+ * A units-only dimensional survivor. `kind` stays `derivation-step`.
+ * There is no constant field: the engine does not supply one.
+ *
+ * @internal
+ */
+export interface BuckinghamFilterRecord extends DimensionalDeterminationResult {
+    readonly theorem: 'PhysJS.Dimensional.monomial_form' | 'PhysJS.Dimensional.ratio_shape' | 'PhysJS.Dimensional.product_shape' | 'PhysJS.Dimensional.ratio_power_invariant' | null;
+    readonly kind: 'derivation-step';
+    /** Begins with `derivation-step:` and names the unfixed hypothesis. */
+    readonly covers: string;
+}
+/**
+ * The dimensional shape of `target` given `governing`, or absent when the
+ * target's dimension is not in their span.
+ *
+ * @internal
+ */
+export declare function buckinghamFilter(target: DimensionalVariable, governing: readonly DimensionalVariable[]): BuckinghamFilterRecord | undefined;
+//# sourceMappingURL=buckingham-filter.d.ts.map

package/dist/composition/buckingham-filter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"buckingham-filter.d.ts","sourceRoot":"","sources":["../../src/composition/buckingham-filter.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,KAAK,EAAE,8BAA8B,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAIxG;;;;;GAKG;AACH,MAAM,WAAW,sBAAuB,SAAQ,8BAA8B;IAC5E,QAAQ,CAAC,OAAO,EACZ,kCAAkC,GAClC,gCAAgC,GAChC,kCAAkC,GAClC,0CAA0C,GAC1C,IAAI,CAAC;IACT,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,uEAAuE;IACvE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAwBD;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,mBAAmB,EAC3B,SAAS,EAAE,SAAS,mBAAmB,EAAE,GACxC,sBAAsB,GAAG,SAAS,CAyCpC"}

package/dist/composition/buckingham-filter.js

@@ -0,0 +1,64 @@
+/**
+ * Buckingham filter for one target and the variables that govern it.
+ *
+ * Calls {@link dimensionallyDetermines} and {@link buckinghamPi}. It does
+ * not reimplement the null space and it does not call the probe generator.
+ * The determination fields are that engine's result: form only, no constant.
+ *
+ * A target outside the governing span is absent. A survivor names the
+ * `PhysJS.Dimensional` theorem for its shape. The covers line begins with
+ * `derivation-step:` and names the hypothesis that theorem leaves open.
+ *
+ * @module composition/buckingham-filter
+ */
+import { equals } from '../dimensional/algebra.js';
+import { buckinghamPi, dimensionallyDetermines } from '../dimensional/buckingham.js';
+import { DIMENSIONLESS } from '../dimensional/types.js';
+function formatExponents(monomial, order) {
+    return order.map((name) => `${name}^${monomial[name] ?? 0}`).join(' · ');
+}
+/** Two nonzero exponents of equal magnitude and opposite sign: a ratio. */
+function isPureRatio(exponents) {
+    const nonzero = Object.entries(exponents).filter(([, exp]) => exp !== 0);
+    if (nonzero.length !== 2)
+        return false;
+    return nonzero[0][1] === -nonzero[1][1];
+}
+function record(determination, theorem, covers) {
+    return { ...determination, theorem, kind: 'derivation-step', covers };
+}
+/**
+ * The dimensional shape of `target` given `governing`, or absent when the
+ * target's dimension is not in their span.
+ *
+ * @internal
+ */
+export function buckinghamFilter(target, governing) {
+    const determination = dimensionallyDetermines(target, governing);
+    const full = buckinghamPi(governing.length > 0 ? [target, ...governing] : [target]);
+    const governingResult = governing.length > 0 ? buckinghamPi(governing) : undefined;
+    const govCount = governingResult?.piGroupCount ?? 0;
+    if (full.piGroupCount === govCount)
+        return undefined;
+    if (determination.determined && determination.monomial !== undefined) {
+        const nonzero = Object.entries(determination.monomial).filter(([, exp]) => exp !== 0);
+        const product = nonzero.length === 2 && nonzero.every(([, exp]) => exp === 1);
+        const theorem = product
+            ? 'PhysJS.Dimensional.product_shape'
+            : 'PhysJS.Dimensional.monomial_form';
+        const exponents = formatExponents(determination.monomial, determination.governing);
+        const covers = product
+            ? `derivation-step: ${theorem}. Exponent vector ${exponents}. f(1,1) is unfixed.`
+            : `derivation-step: ${theorem}. Exponent vector ${exponents}. f(1,…,1) is unfixed. The exponent vector is a hypothesis. A unit change that can reach every positive tuple is a hypothesis.`;
+        return record(determination, theorem, covers);
+    }
+    if (govCount === 1 && full.piGroupCount === 2 && governingResult !== undefined) {
+        const group = governingResult.piGroups[0]?.exponents ?? {};
+        if (isPureRatio(group) && equals(target.dim, DIMENSIONLESS)) {
+            return record(determination, 'PhysJS.Dimensional.ratio_power_invariant', 'derivation-step: PhysJS.Dimensional.ratio_power_invariant. The real power p is unfixed.');
+        }
+        return record(determination, 'PhysJS.Dimensional.ratio_shape', 'derivation-step: PhysJS.Dimensional.ratio_shape. The function of the ratio is unfixed.');
+    }
+    return record(determination, null, 'derivation-step: a free π-group leaves no unique monomial.');
+}
+//# sourceMappingURL=buckingham-filter.js.map

package/dist/composition/buckingham-filter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"buckingham-filter.js","sourceRoot":"","sources":["../../src/composition/buckingham-filter.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAEnD,OAAO,EAAE,YAAY,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACrF,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAoBxD,SAAS,eAAe,CACtB,QAA0C,EAC1C,KAAwB;IAExB,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC3E,CAAC;AAED,2EAA2E;AAC3E,SAAS,WAAW,CAAC,SAA2C;IAC9D,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;IACzE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACvC,OAAO,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,MAAM,CACb,aAA6C,EAC7C,OAA0C,EAC1C,MAAc;IAEd,OAAO,EAAE,GAAG,aAAa,EAAE,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,CAAC;AACxE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAC9B,MAA2B,EAC3B,SAAyC;IAEzC,MAAM,aAAa,GAAG,uBAAuB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACjE,MAAM,IAAI,GAAG,YAAY,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACpF,MAAM,eAAe,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACnF,MAAM,QAAQ,GAAG,eAAe,EAAE,YAAY,IAAI,CAAC,CAAC;IACpD,IAAI,IAAI,CAAC,YAAY,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAErD,IAAI,aAAa,CAAC,UAAU,IAAI,aAAa,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACrE,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;QACtF,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;QAC9E,MAAM,OAAO,GAAG,OAAO;YACrB,CAAC,CAAC,kCAAkC;YACpC,CAAC,CAAC,kCAAkC,CAAC;QACvC,MAAM,SAAS,GAAG,eAAe,CAAC,aAAa,CAAC,QAAQ,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC;QACnF,MAAM,MAAM,GAAG,OAAO;YACpB,CAAC,CAAC,oBAAoB,OAAO,qBAAqB,SAAS,sBAAsB;YACjF,CAAC,CAAC,oBAAoB,OAAO,qBAAqB,SAAS,gIAAgI,CAAC;QAC9L,OAAO,MAAM,CAAC,aAAa,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAChD,CAAC;IAED,IAAI,QAAQ,KAAK,CAAC,IAAI,IAAI,CAAC,YAAY,KAAK,CAAC,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;QAC/E,MAAM,KAAK,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,SAAS,IAAI,EAAE,CAAC;QAC3D,IAAI,WAAW,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,CAAC;YAC5D,OAAO,MAAM,CACX,aAAa,EACb,0CAA0C,EAC1C,yFAAyF,CAC1F,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CACX,aAAa,EACb,gCAAgC,EAChC,wFAAwF,CACzF,CAAC;IACJ,CAAC;IAED,OAAO,MAAM,CACX,aAAa,EACb,IAAI,EACJ,4DAA4D,CAC7D,CAAC;AACJ,CAAC"}

package/dist/composition/catalog-graph.d.ts

@@ -1,6 +1,6 @@
 /**
- * The full composition graph as a single constant — the 41 `BridgeEdge`s
- * (9 calibration + 6 catalog-tranche + 26 catalog-full).
+ * The full composition graph as a single constant — the 46 `BridgeEdge`s
+ * (9 calibration + 6 catalog-tranche + 26 catalog-full + 5 proved seeds).
  *
  * Single source of truth for "the catalog as a graph": the CLI, the
  * analysis functions, and the test suites consume this rather than each
@@ -11,8 +11,8 @@
  */
 import type { BridgeEdge } from './edge.js';
 /**
- * Every `BridgeEdge` in the composition graph (41 edges). The order is
- * calibration → tranche → catalog-full.
+ * Every `BridgeEdge` in the composition graph (46 edges). The order is
+ * calibration → tranche → catalog-full → proved seeds.
  *
  * @public
  */

package/dist/composition/catalog-graph.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"catalog-graph.d.ts","sourceRoot":"","sources":["../../src/composition/catalog-graph.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAsB5C;;;;;GAKG;AACH,eAAO,MAAM,aAAa,EAAE,SAAS,UAAU,EAiB9C,CAAC"}
+{"version":3,"file":"catalog-graph.d.ts","sourceRoot":"","sources":["../../src/composition/catalog-graph.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAuB5C;;;;;GAKG;AACH,eAAO,MAAM,aAAa,EAAE,SAAS,UAAU,EAkB9C,CAAC"}

package/dist/composition/catalog-graph.js

@@ -1,6 +1,6 @@
 /**
- * The full composition graph as a single constant — the 41 `BridgeEdge`s
- * (9 calibration + 6 catalog-tranche + 26 catalog-full).
+ * The full composition graph as a single constant — the 46 `BridgeEdge`s
+ * (9 calibration + 6 catalog-tranche + 26 catalog-full + 5 proved seeds).
  *
  * Single source of truth for "the catalog as a graph": the CLI, the
  * analysis functions, and the test suites consume this rather than each
@@ -12,9 +12,10 @@
 import { be11ZurekEdge, be12Edge, be16Edge, be37Edge, be42Edge, be42ViaRsEdge, be51Edge, be52Edge, lawSchwarzschildRadius, } from './edges/calibration.js';
 import { be14Edge, be19Edge, be21Edge, be48Edge, be53Edge, be54Edge, } from './edges/catalog-tranche.js';
 import { CATALOG_FULL_EDGES } from './edges/catalog-full.js';
+import { PROVED_SEED_EDGES } from './edges/proved-seeds.js';
 /**
- * Every `BridgeEdge` in the composition graph (41 edges). The order is
- * calibration → tranche → catalog-full.
+ * Every `BridgeEdge` in the composition graph (46 edges). The order is
+ * calibration → tranche → catalog-full → proved seeds.
  *
  * @public
  */
@@ -35,5 +36,6 @@ export const CATALOG_GRAPH = [
     be53Edge,
     be54Edge,
     ...CATALOG_FULL_EDGES,
+    ...PROVED_SEED_EDGES,
 ];
 //# sourceMappingURL=catalog-graph.js.map

package/dist/composition/catalog-graph.js.map

@@ -1 +1 @@
-{"version":3,"file":"catalog-graph.js","sourceRoot":"","sources":["../../src/composition/catalog-graph.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,EACL,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,sBAAsB,GACvB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,GACT,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAE7D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAA0B;IAClD,aAAa;IACb,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,aAAa;IACb,QAAQ;IACR,QAAQ;IACR,sBAAsB;IACtB,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,GAAG,kBAAkB;CACtB,CAAC"}
+{"version":3,"file":"catalog-graph.js","sourceRoot":"","sources":["../../src/composition/catalog-graph.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,EACL,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,sBAAsB,GACvB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,GACT,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAE5D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAA0B;IAClD,aAAa;IACb,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,aAAa;IACb,QAAQ;IACR,QAAQ;IACR,sBAAsB;IACtB,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,GAAG,kBAAkB;IACrB,GAAG,iBAAiB;CACrB,CAAC"}

package/dist/composition/chain-candidate.d.ts

@@ -0,0 +1,43 @@
+/**
+ * A chain candidate and the order the pipeline reads candidates in.
+ *
+ * Confirmation of a catalog id, then a restatement, then a unique
+ * monomial, then a named PhysJS.Dimensional shape that leaves a
+ * function or an exponent unfixed. A shorter chain comes before a
+ * longer one. Equal lengths compare the ordered edge ids from the
+ * left. Nothing here is written into the catalog.
+ *
+ * @internal
+ * @module composition/chain-candidate
+ */
+/** The four classes the order distinguishes. */
+export type ChainCandidateKind = 'confirmation' | 'restatement' | 'unique-monomial' | 'unfixed-shape';
+/**
+ * One survivor of a chain of proved edges.
+ *
+ * `kind` and `edgeIds` are the order. `catalogId`, `canonicalId`,
+ * `restatesBridge`, `theorem`, and `id` are carried data and are not
+ * compared.
+ */
+export interface ChainCandidate {
+    readonly kind: ChainCandidateKind;
+    readonly edgeIds: readonly string[];
+    readonly catalogId?: number;
+    readonly canonicalId?: string;
+    readonly restatesBridge?: string;
+    readonly theorem?: string;
+    readonly id?: string;
+}
+/**
+ * Shorter chain first, then lexicographic edge ids.
+ *
+ * The regime-mismatch list uses this same comparison. It is not a class
+ * inside {@link orderChainCandidates}.
+ */
+export declare function compareChainEdgeIds(left: readonly string[], right: readonly string[]): -1 | 0 | 1;
+/**
+ * Total order of chain candidates. Returns a new array of the same
+ * objects. The input array is left as it was.
+ */
+export declare function orderChainCandidates(candidates: readonly ChainCandidate[]): ChainCandidate[];
+//# sourceMappingURL=chain-candidate.d.ts.map

package/dist/composition/chain-candidate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"chain-candidate.d.ts","sourceRoot":"","sources":["../../src/composition/chain-candidate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,gDAAgD;AAChD,MAAM,MAAM,kBAAkB,GAC1B,cAAc,GACd,aAAa,GACb,iBAAiB,GACjB,eAAe,CAAC;AAEpB;;;;;;GAMG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;CACtB;AAeD;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CASjG;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,SAAS,cAAc,EAAE,GAAG,cAAc,EAAE,CAM5F"}

package/dist/composition/chain-candidate.js

@@ -0,0 +1,56 @@
+/**
+ * A chain candidate and the order the pipeline reads candidates in.
+ *
+ * Confirmation of a catalog id, then a restatement, then a unique
+ * monomial, then a named PhysJS.Dimensional shape that leaves a
+ * function or an exponent unfixed. A shorter chain comes before a
+ * longer one. Equal lengths compare the ordered edge ids from the
+ * left. Nothing here is written into the catalog.
+ *
+ * @internal
+ * @module composition/chain-candidate
+ */
+function classIndex(kind) {
+    switch (kind) {
+        case 'confirmation':
+            return 0;
+        case 'restatement':
+            return 1;
+        case 'unique-monomial':
+            return 2;
+        case 'unfixed-shape':
+            return 3;
+    }
+}
+/**
+ * Shorter chain first, then lexicographic edge ids.
+ *
+ * The regime-mismatch list uses this same comparison. It is not a class
+ * inside {@link orderChainCandidates}.
+ */
+export function compareChainEdgeIds(left, right) {
+    if (left.length !== right.length)
+        return left.length < right.length ? -1 : 1;
+    for (let i = 0; i < left.length; i++) {
+        const a = left[i];
+        const b = right[i];
+        if (a < b)
+            return -1;
+        if (a > b)
+            return 1;
+    }
+    return 0;
+}
+/**
+ * Total order of chain candidates. Returns a new array of the same
+ * objects. The input array is left as it was.
+ */
+export function orderChainCandidates(candidates) {
+    return [...candidates].sort((a, b) => {
+        const byClass = classIndex(a.kind) - classIndex(b.kind);
+        if (byClass !== 0)
+            return byClass < 0 ? -1 : 1;
+        return compareChainEdgeIds(a.edgeIds, b.edgeIds);
+    });
+}
+//# sourceMappingURL=chain-candidate.js.map

package/dist/composition/chain-candidate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"chain-candidate.js","sourceRoot":"","sources":["../../src/composition/chain-candidate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AA0BH,SAAS,UAAU,CAAC,IAAwB;IAC1C,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,cAAc;YACjB,OAAO,CAAC,CAAC;QACX,KAAK,aAAa;YAChB,OAAO,CAAC,CAAC;QACX,KAAK,iBAAiB;YACpB,OAAO,CAAC,CAAC;QACX,KAAK,eAAe;YAClB,OAAO,CAAC,CAAC;IACb,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAuB,EAAE,KAAwB;IACnF,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAW,CAAC;QAC5B,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAW,CAAC;QAC7B,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC;QACrB,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,UAAqC;IACxE,OAAO,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACnC,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACxD,IAAI,OAAO,KAAK,CAAC;YAAE,OAAO,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,OAAO,mBAAmB,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/composition/chain-match.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Pipeline match for a chain of proved edges.
+ *
+ * Calls {@link classifyStructure}. A confirmation reports the catalog id.
+ * A restatement reports the pre-declared canonical equation. Anything else
+ * is a provisional `chain-` id. This function writes no catalog row, no
+ * formal-reference overlay entry, and no evidence tag.
+ *
+ * @module composition/chain-match
+ */
+import type { ExprNode } from '../dimensional/validator.js';
+import { type ChainClassification } from '../canonical/structural.js';
+/**
+ * Classify one composed chain. `edgeIds` stay in chain order.
+ *
+ * @internal
+ */
+export declare function matchChain(expr: ExprNode, edgeIds: readonly string[]): ChainClassification;
+//# sourceMappingURL=chain-match.d.ts.map

package/dist/composition/chain-match.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"chain-match.d.ts","sourceRoot":"","sources":["../../src/composition/chain-match.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,EAEL,KAAK,mBAAmB,EACzB,MAAM,4BAA4B,CAAC;AAEpC;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,mBAAmB,CAE1F"}

package/dist/composition/chain-match.js

@@ -0,0 +1,10 @@
+import { classifyStructure, } from '../canonical/structural.js';
+/**
+ * Classify one composed chain. `edgeIds` stay in chain order.
+ *
+ * @internal
+ */
+export function matchChain(expr, edgeIds) {
+    return classifyStructure(expr, edgeIds);
+}
+//# sourceMappingURL=chain-match.js.map

package/dist/composition/chain-match.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"chain-match.js","sourceRoot":"","sources":["../../src/composition/chain-match.ts"],"names":[],"mappings":"AAWA,OAAO,EACL,iBAAiB,GAElB,MAAM,4BAA4B,CAAC;AAEpC;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,IAAc,EAAE,OAA0B;IACnE,OAAO,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC1C,CAAC"}

package/dist/composition/chain-regime.d.ts

@@ -0,0 +1,34 @@
+/**
+ * Regime gate for a chain that meets on a quantity name.
+ *
+ * The domain is the §VI.6.1 component of the catalog category of `beId`,
+ * derived by `tensorIndexComponent`. Scale and force are the gated axes
+ * on the two junction ports. A recorded `Regime` on both edges is
+ * compared with `regimeOverlap`. Silence on a facet is not a mismatch.
+ * The rule is `docs/planning/Regime-Aware-Join-Gate-Design.md`.
+ *
+ * This module does not write the catalog and does not call `deriveEvidence`.
+ *
+ * @module composition/chain-regime
+ */
+import type { BridgeEdge } from './edge.js';
+/** The class a regime-incompatible join is recorded as. @internal */
+export declare const REGIME_MISMATCH_KIND: 'rejected: regime mismatch';
+/** A join the regime gate refused. Not a stub and not a catalog write. @internal */
+export interface ChainRegimeMismatch {
+    readonly kind: typeof REGIME_MISMATCH_KIND;
+    readonly edgeIds: readonly [string, string];
+    readonly quantity: string;
+    readonly reasons: readonly string[];
+}
+/**
+ * The regime mismatch of a pair, or `undefined` when every facet abstains
+ * or agrees.
+ *
+ * Reasons, in order: a domain clash, then each clashing `GATE_AXES` axis,
+ * then `regime: disjoint`. The producer value is written first.
+ *
+ * @internal
+ */
+export declare function joinRegimeMismatch(first: BridgeEdge, second: BridgeEdge): ChainRegimeMismatch | undefined;
+//# sourceMappingURL=chain-regime.d.ts.map

package/dist/composition/chain-regime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"chain-regime.d.ts","sourceRoot":"","sources":["../../src/composition/chain-regime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAUH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAG5C,qEAAqE;AACrE,eAAO,MAAM,oBAAoB,EAAG,2BAAoC,CAAC;AAEzE,oFAAoF;AACpF,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,OAAO,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AA6BD;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,UAAU,GACjB,mBAAmB,GAAG,SAAS,CAmCjC"}