universal-physics-tensor 0.40.0 → 0.42.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/bridges/be55-quantum-hall-confrontation.d.ts +51 -0
- package/dist/bridges/be55-quantum-hall-confrontation.d.ts.map +1 -0
- package/dist/bridges/be55-quantum-hall-confrontation.js +32 -0
- package/dist/bridges/be55-quantum-hall-confrontation.js.map +1 -0
- package/dist/bridges/be55-quantum-hall.d.ts +24 -0
- package/dist/bridges/be55-quantum-hall.d.ts.map +1 -0
- package/dist/bridges/be55-quantum-hall.js +46 -0
- package/dist/bridges/be55-quantum-hall.js.map +1 -0
- package/dist/bridges/be56-casimir-confrontation.d.ts +52 -0
- package/dist/bridges/be56-casimir-confrontation.d.ts.map +1 -0
- package/dist/bridges/be56-casimir-confrontation.js +31 -0
- package/dist/bridges/be56-casimir-confrontation.js.map +1 -0
- package/dist/bridges/be56-casimir.d.ts +18 -0
- package/dist/bridges/be56-casimir.d.ts.map +1 -0
- package/dist/bridges/be56-casimir.js +36 -0
- package/dist/bridges/be56-casimir.js.map +1 -0
- package/dist/bridges/be57-unruh.d.ts +18 -0
- package/dist/bridges/be57-unruh.d.ts.map +1 -0
- package/dist/bridges/be57-unruh.js +38 -0
- package/dist/bridges/be57-unruh.js.map +1 -0
- package/dist/bridges/be58-johnson-nyquist-confrontation.d.ts +57 -0
- package/dist/bridges/be58-johnson-nyquist-confrontation.d.ts.map +1 -0
- package/dist/bridges/be58-johnson-nyquist-confrontation.js +38 -0
- package/dist/bridges/be58-johnson-nyquist-confrontation.js.map +1 -0
- package/dist/bridges/be58-johnson-nyquist.d.ts +22 -0
- package/dist/bridges/be58-johnson-nyquist.d.ts.map +1 -0
- package/dist/bridges/be58-johnson-nyquist.js +36 -0
- package/dist/bridges/be58-johnson-nyquist.js.map +1 -0
- package/dist/bridges/be59-ac-josephson-confrontation.d.ts +46 -0
- package/dist/bridges/be59-ac-josephson-confrontation.d.ts.map +1 -0
- package/dist/bridges/be59-ac-josephson-confrontation.js +32 -0
- package/dist/bridges/be59-ac-josephson-confrontation.js.map +1 -0
- package/dist/bridges/be59-ac-josephson.d.ts +22 -0
- package/dist/bridges/be59-ac-josephson.d.ts.map +1 -0
- package/dist/bridges/be59-ac-josephson.js +35 -0
- package/dist/bridges/be59-ac-josephson.js.map +1 -0
- package/dist/bridges/be60-fractional-qh-confrontation.d.ts +45 -0
- package/dist/bridges/be60-fractional-qh-confrontation.d.ts.map +1 -0
- package/dist/bridges/be60-fractional-qh-confrontation.js +31 -0
- package/dist/bridges/be60-fractional-qh-confrontation.js.map +1 -0
- package/dist/bridges/be60-fractional-qh.d.ts +20 -0
- package/dist/bridges/be60-fractional-qh.d.ts.map +1 -0
- package/dist/bridges/be60-fractional-qh.js +33 -0
- package/dist/bridges/be60-fractional-qh.js.map +1 -0
- package/dist/bridges/be61-wiedemann-franz-confrontation.d.ts +35 -0
- package/dist/bridges/be61-wiedemann-franz-confrontation.d.ts.map +1 -0
- package/dist/bridges/be61-wiedemann-franz-confrontation.js +49 -0
- package/dist/bridges/be61-wiedemann-franz-confrontation.js.map +1 -0
- package/dist/bridges/be61-wiedemann-franz.d.ts +25 -0
- package/dist/bridges/be61-wiedemann-franz.d.ts.map +1 -0
- package/dist/bridges/be61-wiedemann-franz.js +41 -0
- package/dist/bridges/be61-wiedemann-franz.js.map +1 -0
- package/dist/bridges/be62-bcs-gap-confrontation.d.ts +35 -0
- package/dist/bridges/be62-bcs-gap-confrontation.d.ts.map +1 -0
- package/dist/bridges/be62-bcs-gap-confrontation.js +46 -0
- package/dist/bridges/be62-bcs-gap-confrontation.js.map +1 -0
- package/dist/bridges/be62-bcs-gap.d.ts +22 -0
- package/dist/bridges/be62-bcs-gap.d.ts.map +1 -0
- package/dist/bridges/be62-bcs-gap.js +38 -0
- package/dist/bridges/be62-bcs-gap.js.map +1 -0
- package/dist/bridges/confrontations.d.ts.map +1 -1
- package/dist/bridges/confrontations.js +128 -0
- package/dist/bridges/confrontations.js.map +1 -1
- package/dist/bridges/index.d.ts +8 -0
- package/dist/bridges/index.d.ts.map +1 -1
- package/dist/bridges/index.js +186 -0
- package/dist/bridges/index.js.map +1 -1
- package/dist/cli/commands/explain.d.ts.map +1 -1
- package/dist/cli/commands/explain.js +43 -1
- package/dist/cli/commands/explain.js.map +1 -1
- package/dist/composition/axes.d.ts +57 -0
- package/dist/composition/axes.d.ts.map +1 -0
- package/dist/composition/axes.js +68 -0
- package/dist/composition/axes.js.map +1 -0
- package/dist/composition/axis-audit.d.ts +46 -0
- package/dist/composition/axis-audit.d.ts.map +1 -0
- package/dist/composition/axis-audit.js +40 -0
- package/dist/composition/axis-audit.js.map +1 -0
- package/dist/composition/discovery.d.ts +3 -0
- package/dist/composition/discovery.d.ts.map +1 -1
- package/dist/composition/discovery.js +15 -6
- package/dist/composition/discovery.js.map +1 -1
- package/dist/composition/quantities/condensed-matter.d.ts.map +1 -1
- package/dist/composition/quantities/condensed-matter.js +10 -3
- package/dist/composition/quantities/condensed-matter.js.map +1 -1
- package/dist/composition/quantities/fields.d.ts.map +1 -1
- package/dist/composition/quantities/fields.js +3 -1
- package/dist/composition/quantities/fields.js.map +1 -1
- package/dist/composition/quantity.d.ts +23 -9
- package/dist/composition/quantity.d.ts.map +1 -1
- package/dist/composition/quantity.js +10 -4
- package/dist/composition/quantity.js.map +1 -1
- package/dist/dimensional/bridge-check.d.ts +0 -19
- package/dist/dimensional/bridge-check.d.ts.map +1 -1
- package/dist/dimensional/bridge-check.js +13 -0
- package/dist/dimensional/bridge-check.js.map +1 -1
- package/dist/index.d.ts +15 -1
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +16 -1
- package/dist/index.js.map +1 -1
- package/package.json +1 -1
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"explain.js","sourceRoot":"","sources":["../../../src/cli/commands/explain.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,eAAe,EAAiC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE1C,MAAM,KAAK,GAAe;IACxB,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE;IAC5C,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE;CACvC,CAAC;AAEF,MAAM,IAAI,GAAG;;;;4DAI+C,CAAC;AAE7D;;;;;;GAMG;AACH,SAAS,UAAU,CAAC,IAAuB;IACzC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IACnD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,aAAa;IAExD,IAAI,MAAM,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,MAAM,IAAI,UAAU,CAClB,+BAA+B,IAAI,4BAA4B;cAC3D,+EAA+E,CACpF,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC1B,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5B,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAC5B,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QACxB,IAAI,GAAG,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACxC,MAAM,IAAI,UAAU,CAAC,SAAS,CAAC,sCAAsC,IAAI,8BAA8B,CAAC,CAAC;QAC3G,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC;IACrB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,
|
|
1
|
+
{"version":3,"file":"explain.js","sourceRoot":"","sources":["../../../src/cli/commands/explain.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,eAAe,EAAiC,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE1C,MAAM,KAAK,GAAe;IACxB,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE;IAC5C,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE;CACvC,CAAC;AAEF,MAAM,IAAI,GAAG;;;;4DAI+C,CAAC;AAE7D;;;;;;GAMG;AACH,SAAS,UAAU,CAAC,IAAuB;IACzC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IACnD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,aAAa;IAExD,IAAI,MAAM,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,MAAM,IAAI,UAAU,CAClB,+BAA+B,IAAI,4BAA4B;cAC3D,+EAA+E,CACpF,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC1B,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5B,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAC5B,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QACxB,IAAI,GAAG,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACxC,MAAM,IAAI,UAAU,CAAC,SAAS,CAAC,sCAAsC,IAAI,8BAA8B,CAAC,CAAC;QAC3G,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC;IACrB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,cAAc,CACrB,GAAsB,EACtB,MAAc;IAEd,MAAM,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACrC,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpB,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxB,MAAM,CAAC,GAAG,GAAG,CAAC,aAAa,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IAC/D,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAEpB,IAAI,IAAI,GAAG,GAAG,MAAM,0IAA0I,CAAC;IAC/J,IAAI,IAAI,CAAC,CAAC,YAAY;QACpB,CAAC,CAAC,oFAAoF;QACtF,CAAC,CAAC,sHAAsH,CAAC;IAC3H,IAAI,IAAI,CAAC,CAAC,oBAAoB;QAC5B,CAAC,CAAC,uBAAuB,MAAM,qCAAqC;QACpE,CAAC,CAAC,iEAAiE,CAAC;IACtE,OAAO;QACL,EAAE;QACF,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,YAAY,EAAE,CAAC,CAAC,YAAY;QAC5B,oBAAoB,EAAE,CAAC,CAAC,oBAAoB;QAC5C,IAAI;KACL,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,GAAG,CAAC,GAAe;IAChC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC;IAE/B,MAAM,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC;IAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,IAAI,UAAU,CAAC,oDAAoD,CAAC,CAAC;IAC7E,CAAC;IAED,+EAA+E;IAC/E,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAC7C,IAAI,QAAQ,EAAE,CAAC;QACb,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,QAAQ,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,QAAQ,EAAE,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;YAC9F,OAAO,CAAC,CAAC;QACX,CAAC;QACD,GAAG,CAAC,OAAO,MAAM,EAAE,CAAC,CAAC;QACrB,GAAG,CAAC,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;QAC1B,OAAO,CAAC,CAAC;IACX,CAAC;IAED,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,CAAC,GAAG,GAAG,CAAC,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IAEpD,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,QAAQ,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAC/D,OAAO,CAAC,CAAC;IACX,CAAC;IAED,GAAG,CAAC,OAAO,MAAM,EAAE,CAAC,CAAC;IACrB,GAAG,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IACtB,IAAI,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;QACzB,GAAG,CAAC,gBAAgB,CAAC,CAAC;QACtB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;YAC9B,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1E,MAAM,KAAK,GACT,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACtG,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,IAAI,GAAG,GAAG,KAAK,EAAE,CAAC,CAAC;YAClD,IAAI,CAAC,CAAC,eAAe;gBAAE,GAAG,CAAC,WAAW,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IACD,IAAI,CAAC,CAAC,gBAAgB,CAAC,MAAM,EAAE,CAAC;QAC9B,GAAG,CAAC,mCAAmC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAY;IAC9B,IAAI,EAAE,SAAS;IACf,OAAO,EAAE,EAAE;IACX,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,IAAI;IACV,GAAG;CACJ,CAAC;AAEF,eAAe,CAAC,OAAO,CAAC,CAAC"}
|
|
@@ -0,0 +1,57 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* The extensible tensor-axis registry — the single source for UPT's classification
|
|
3
|
+
* axes (the regime/attribute layer the discovery funnel and quantities use).
|
|
4
|
+
*
|
|
5
|
+
* Each axis is BOTH a typed union (compile-time safety) AND an {@link AxisSpec}
|
|
6
|
+
* registry entry (runtime — drives the discovery falsifier and the discrimination
|
|
7
|
+
* audit). Adding an axis is one union + one registry line + tagging quantities;
|
|
8
|
+
* enabling its falsifier gate is a one-line `gated: true` flip — but only after the
|
|
9
|
+
* discrimination audit (`axis-audit.ts`) shows it actually fires. Rank grows on
|
|
10
|
+
* measured physics, not vision — an axis that only ever abstains stays ungated.
|
|
11
|
+
*
|
|
12
|
+
* NOTE: the SI `Dimension` axis is deliberately NOT here — it is the complete 7-base
|
|
13
|
+
* system in `dimensional/` (conflating it would break Buckingham-π). The tensor-config
|
|
14
|
+
* types in `core/types.ts` (`PhysicalScale`/`Force`/… consumed by `UniversalTensor`)
|
|
15
|
+
* are a separate concern; this registry is the discovery/attribute layer.
|
|
16
|
+
*
|
|
17
|
+
* Leaf module — no intra-`composition` imports (keeps the type-only cycle count at 0).
|
|
18
|
+
*
|
|
19
|
+
* @module composition/axes
|
|
20
|
+
*/
|
|
21
|
+
/** Length/energy scale regime. @internal */
|
|
22
|
+
export type ScaleAxis = 'quantum' | 'mesoscopic' | 'classical' | 'cosmological';
|
|
23
|
+
/** Fundamental interaction. @internal */
|
|
24
|
+
export type ForceAxis = 'gravitational' | 'electromagnetic' | 'weak' | 'strong' | 'emergent';
|
|
25
|
+
/** Information measure. @internal */
|
|
26
|
+
export type InformationAxis = 'von-neumann' | 'shannon' | 'kolmogorov' | 'discord';
|
|
27
|
+
/** Symmetry class. @internal */
|
|
28
|
+
export type SymmetryAxis = 'poincare' | 'gauge' | 'conformal' | 'susy' | 'emergent';
|
|
29
|
+
/** Topological classification (invariant type). @internal */
|
|
30
|
+
export type TopologyAxis = 'trivial' | 'chern' | 'winding' | 'z2' | 'berry';
|
|
31
|
+
/** Quantum statistics (the 7th axis — orthogonal to the other six). @internal */
|
|
32
|
+
export type StatisticsAxis = 'bosonic' | 'fermionic' | 'anyonic' | 'parastatistic';
|
|
33
|
+
/** A classification-axis specification. @internal */
|
|
34
|
+
export interface AxisSpec {
|
|
35
|
+
/** The axis key, matching the `RegimeAttributes` field name. */
|
|
36
|
+
readonly name: string;
|
|
37
|
+
/** The axis's allowed values at runtime (must equal the typed union's members). */
|
|
38
|
+
readonly values: readonly string[];
|
|
39
|
+
/**
|
|
40
|
+
* Whether the discovery axis-falsifier gates on this axis. Flipped to `true`
|
|
41
|
+
* ONLY when `auditAxisDiscrimination` shows the axis actually clashes on real
|
|
42
|
+
* candidates — never on vision alone.
|
|
43
|
+
*/
|
|
44
|
+
readonly gated: boolean;
|
|
45
|
+
readonly description: string;
|
|
46
|
+
}
|
|
47
|
+
/**
|
|
48
|
+
* The classification-axis registry. `gated` reflects measured discrimination:
|
|
49
|
+
* scale/force fire on the current catalog; the rest abstain (too little attribute
|
|
50
|
+
* coverage yet) and stay ungated until the branch expansion + audit earn them a gate.
|
|
51
|
+
*
|
|
52
|
+
* @internal
|
|
53
|
+
*/
|
|
54
|
+
export declare const AXES: readonly AxisSpec[];
|
|
55
|
+
/** The axis names the discovery falsifier gates on (derived from the registry). @internal */
|
|
56
|
+
export declare const GATE_AXES: readonly string[];
|
|
57
|
+
//# sourceMappingURL=axes.d.ts.map
|
|
@@ -0,0 +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"}
|
|
@@ -0,0 +1,68 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* The extensible tensor-axis registry — the single source for UPT's classification
|
|
3
|
+
* axes (the regime/attribute layer the discovery funnel and quantities use).
|
|
4
|
+
*
|
|
5
|
+
* Each axis is BOTH a typed union (compile-time safety) AND an {@link AxisSpec}
|
|
6
|
+
* registry entry (runtime — drives the discovery falsifier and the discrimination
|
|
7
|
+
* audit). Adding an axis is one union + one registry line + tagging quantities;
|
|
8
|
+
* enabling its falsifier gate is a one-line `gated: true` flip — but only after the
|
|
9
|
+
* discrimination audit (`axis-audit.ts`) shows it actually fires. Rank grows on
|
|
10
|
+
* measured physics, not vision — an axis that only ever abstains stays ungated.
|
|
11
|
+
*
|
|
12
|
+
* NOTE: the SI `Dimension` axis is deliberately NOT here — it is the complete 7-base
|
|
13
|
+
* system in `dimensional/` (conflating it would break Buckingham-π). The tensor-config
|
|
14
|
+
* types in `core/types.ts` (`PhysicalScale`/`Force`/… consumed by `UniversalTensor`)
|
|
15
|
+
* are a separate concern; this registry is the discovery/attribute layer.
|
|
16
|
+
*
|
|
17
|
+
* Leaf module — no intra-`composition` imports (keeps the type-only cycle count at 0).
|
|
18
|
+
*
|
|
19
|
+
* @module composition/axes
|
|
20
|
+
*/
|
|
21
|
+
/**
|
|
22
|
+
* The classification-axis registry. `gated` reflects measured discrimination:
|
|
23
|
+
* scale/force fire on the current catalog; the rest abstain (too little attribute
|
|
24
|
+
* coverage yet) and stay ungated until the branch expansion + audit earn them a gate.
|
|
25
|
+
*
|
|
26
|
+
* @internal
|
|
27
|
+
*/
|
|
28
|
+
export const AXES = [
|
|
29
|
+
{
|
|
30
|
+
name: 'scale',
|
|
31
|
+
values: ['quantum', 'mesoscopic', 'classical', 'cosmological'],
|
|
32
|
+
gated: true,
|
|
33
|
+
description: 'Length/energy-scale regime (quantum → cosmological).',
|
|
34
|
+
},
|
|
35
|
+
{
|
|
36
|
+
name: 'force',
|
|
37
|
+
values: ['gravitational', 'electromagnetic', 'weak', 'strong', 'emergent'],
|
|
38
|
+
gated: true,
|
|
39
|
+
description: 'Fundamental (or emergent effective) interaction.',
|
|
40
|
+
},
|
|
41
|
+
{
|
|
42
|
+
name: 'information',
|
|
43
|
+
values: ['von-neumann', 'shannon', 'kolmogorov', 'discord'],
|
|
44
|
+
gated: false,
|
|
45
|
+
description: 'Information measure — authored, not gated (see discovery precision calibration).',
|
|
46
|
+
},
|
|
47
|
+
{
|
|
48
|
+
name: 'symmetry',
|
|
49
|
+
values: ['poincare', 'gauge', 'conformal', 'susy', 'emergent'],
|
|
50
|
+
gated: false,
|
|
51
|
+
description: 'Symmetry class — first-class attribute; ungated until coverage + audit earn it.',
|
|
52
|
+
},
|
|
53
|
+
{
|
|
54
|
+
name: 'topology',
|
|
55
|
+
values: ['trivial', 'chern', 'winding', 'z2', 'berry'],
|
|
56
|
+
gated: false,
|
|
57
|
+
description: 'Topological invariant type — populates the rank-6 Topology axis; ungated until audit.',
|
|
58
|
+
},
|
|
59
|
+
{
|
|
60
|
+
name: 'statistics',
|
|
61
|
+
values: ['bosonic', 'fermionic', 'anyonic', 'parastatistic'],
|
|
62
|
+
gated: false,
|
|
63
|
+
description: 'Quantum statistics (the 7th axis). NOTE: spin-statistics ties it to symmetry — the audit must confirm it discriminates independently before gating.',
|
|
64
|
+
},
|
|
65
|
+
];
|
|
66
|
+
/** The axis names the discovery falsifier gates on (derived from the registry). @internal */
|
|
67
|
+
export const GATE_AXES = AXES.filter((a) => a.gated).map((a) => a.name);
|
|
68
|
+
//# sourceMappingURL=axes.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"axes.js","sourceRoot":"","sources":["../../src/composition/axes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAmCH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,IAAI,GAAwB;IACvC;QACE,IAAI,EAAE,OAAO;QACb,MAAM,EAAE,CAAC,SAAS,EAAE,YAAY,EAAE,WAAW,EAAE,cAAc,CAAC;QAC9D,KAAK,EAAE,IAAI;QACX,WAAW,EAAE,sDAAsD;KACpE;IACD;QACE,IAAI,EAAE,OAAO;QACb,MAAM,EAAE,CAAC,eAAe,EAAE,iBAAiB,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,CAAC;QAC1E,KAAK,EAAE,IAAI;QACX,WAAW,EAAE,kDAAkD;KAChE;IACD;QACE,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,CAAC,aAAa,EAAE,SAAS,EAAE,YAAY,EAAE,SAAS,CAAC;QAC3D,KAAK,EAAE,KAAK;QACZ,WAAW,EAAE,kFAAkF;KAChG;IACD;QACE,IAAI,EAAE,UAAU;QAChB,MAAM,EAAE,CAAC,UAAU,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,CAAC;QAC9D,KAAK,EAAE,KAAK;QACZ,WAAW,EAAE,iFAAiF;KAC/F;IACD;QACE,IAAI,EAAE,UAAU;QAChB,MAAM,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC;QACtD,KAAK,EAAE,KAAK;QACZ,WAAW,EAAE,uFAAuF;KACrG;IACD;QACE,IAAI,EAAE,YAAY;QAClB,MAAM,EAAE,CAAC,SAAS,EAAE,WAAW,EAAE,SAAS,EAAE,eAAe,CAAC;QAC5D,KAAK,EAAE,KAAK;QACZ,WAAW,EAAE,qJAAqJ;KACnK;CACF,CAAC;AAEF,6FAA6F;AAC7F,MAAM,CAAC,MAAM,SAAS,GAAsB,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC"}
|
|
@@ -0,0 +1,46 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Axis-discrimination audit — the anti-inert-metadata gate for the extensible
|
|
3
|
+
* axis registry (`axes.ts`).
|
|
4
|
+
*
|
|
5
|
+
* A classification axis is only load-bearing when it actually SEPARATES real
|
|
6
|
+
* candidates. This audit runs the discovery link-candidate enumeration and, for
|
|
7
|
+
* EVERY registry axis (gated or not), measures how often the axis FIRES (both
|
|
8
|
+
* endpoints carry the attribute and they differ → an axis-clash), ABSTAINS (at
|
|
9
|
+
* least one endpoint lacks the attribute), and is CHECKED (both carry it).
|
|
10
|
+
*
|
|
11
|
+
* Use: an axis stays `gated: false` in the registry until this audit shows it
|
|
12
|
+
* fires; an axis that only ever abstains is inert and must not be gated. As the
|
|
13
|
+
* catalog grows into new branches of physics, re-run this and flip the gates the
|
|
14
|
+
* measurement earns. Rank grows on evidence, not vision.
|
|
15
|
+
*
|
|
16
|
+
* @module composition/axis-audit
|
|
17
|
+
*/
|
|
18
|
+
import type { BridgeEdge } from './edge.js';
|
|
19
|
+
import type { RegimeAttributes } from './quantity.js';
|
|
20
|
+
import type { QuantityIdentification } from './compose.js';
|
|
21
|
+
/** Per-axis discrimination measurement over the candidate funnel. @internal */
|
|
22
|
+
export interface AxisDiscrimination {
|
|
23
|
+
readonly axis: string;
|
|
24
|
+
/** The registry's current gate flag for this axis. */
|
|
25
|
+
readonly gated: boolean;
|
|
26
|
+
/** Candidate pairs where BOTH endpoints carry the attribute. */
|
|
27
|
+
readonly checked: number;
|
|
28
|
+
/** Of the checked pairs, how many DIFFER (the axis fires → a clash). */
|
|
29
|
+
readonly fires: number;
|
|
30
|
+
/** Pairs where at least one endpoint lacks the attribute (the axis abstains). */
|
|
31
|
+
readonly abstains: number;
|
|
32
|
+
/** fires / checked (0 when nothing is checked). */
|
|
33
|
+
readonly clashRate: number;
|
|
34
|
+
/**
|
|
35
|
+
* A gate is EARNED when the axis fires at all. `false` here on an ungated axis
|
|
36
|
+
* = inert (do not gate); `false` on a gated axis = a regression to investigate.
|
|
37
|
+
*/
|
|
38
|
+
readonly discriminates: boolean;
|
|
39
|
+
}
|
|
40
|
+
/**
|
|
41
|
+
* Audit every registry axis's discrimination over the discovery candidate funnel.
|
|
42
|
+
*
|
|
43
|
+
* @internal
|
|
44
|
+
*/
|
|
45
|
+
export declare function auditAxisDiscrimination(edges: readonly BridgeEdge[], attributesByName?: ReadonlyMap<string, RegimeAttributes>, identifications?: readonly QuantityIdentification[]): AxisDiscrimination[];
|
|
46
|
+
//# sourceMappingURL=axis-audit.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"axis-audit.d.ts","sourceRoot":"","sources":["../../src/composition/axis-audit.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAM3D,+EAA+E;AAC/E,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,sDAAsD;IACtD,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,gEAAgE;IAChE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,wEAAwE;IACxE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,iFAAiF;IACjF,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,mDAAmD;IACnD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;OAGG;IACH,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;CACjC;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,gBAAgB,GAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAA+B,EACrF,eAAe,GAAE,SAAS,sBAAsB,EAA6B,GAC5E,kBAAkB,EAAE,CAkCtB"}
|
|
@@ -0,0 +1,40 @@
|
|
|
1
|
+
import { AXES } from './axes.js';
|
|
2
|
+
import { proposeLinkCandidates } from './bridge-analysis.js';
|
|
3
|
+
import { effectiveAttributes, QUANTITY_IDENTIFICATIONS } from './compose.js';
|
|
4
|
+
import { REGISTRY_ATTRIBUTES_BY_NAME } from './discovery.js';
|
|
5
|
+
/**
|
|
6
|
+
* Audit every registry axis's discrimination over the discovery candidate funnel.
|
|
7
|
+
*
|
|
8
|
+
* @internal
|
|
9
|
+
*/
|
|
10
|
+
export function auditAxisDiscrimination(edges, attributesByName = REGISTRY_ATTRIBUTES_BY_NAME, identifications = QUANTITY_IDENTIFICATIONS) {
|
|
11
|
+
const candidates = proposeLinkCandidates(edges);
|
|
12
|
+
return AXES.map((spec) => {
|
|
13
|
+
let checked = 0;
|
|
14
|
+
let fires = 0;
|
|
15
|
+
let abstains = 0;
|
|
16
|
+
for (const c of candidates) {
|
|
17
|
+
const attrsA = effectiveAttributes(c.a, attributesByName, identifications);
|
|
18
|
+
const attrsB = effectiveAttributes(c.b, attributesByName, identifications);
|
|
19
|
+
const av = attrsA[spec.name];
|
|
20
|
+
const bv = attrsB[spec.name];
|
|
21
|
+
if (av === undefined || bv === undefined) {
|
|
22
|
+
abstains++;
|
|
23
|
+
continue;
|
|
24
|
+
}
|
|
25
|
+
checked++;
|
|
26
|
+
if (av !== bv)
|
|
27
|
+
fires++;
|
|
28
|
+
}
|
|
29
|
+
return {
|
|
30
|
+
axis: spec.name,
|
|
31
|
+
gated: spec.gated,
|
|
32
|
+
checked,
|
|
33
|
+
fires,
|
|
34
|
+
abstains,
|
|
35
|
+
clashRate: checked > 0 ? fires / checked : 0,
|
|
36
|
+
discriminates: fires > 0,
|
|
37
|
+
};
|
|
38
|
+
});
|
|
39
|
+
}
|
|
40
|
+
//# sourceMappingURL=axis-audit.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"axis-audit.js","sourceRoot":"","sources":["../../src/composition/axis-audit.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC;AAC7E,OAAO,EAAE,2BAA2B,EAAE,MAAM,gBAAgB,CAAC;AAsB7D;;;;GAIG;AACH,MAAM,UAAU,uBAAuB,CACrC,KAA4B,EAC5B,mBAA0D,2BAA2B,EACrF,kBAAqD,wBAAwB;IAE7E,MAAM,UAAU,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;IAChD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACvB,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,eAAe,CAGxE,CAAC;YACF,MAAM,MAAM,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,eAAe,CAGxE,CAAC;YACF,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7B,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7B,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;gBACzC,QAAQ,EAAE,CAAC;gBACX,SAAS;YACX,CAAC;YACD,OAAO,EAAE,CAAC;YACV,IAAI,EAAE,KAAK,EAAE;gBAAE,KAAK,EAAE,CAAC;QACzB,CAAC;QACD,OAAO;YACL,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,OAAO;YACP,KAAK;YACL,QAAQ;YACR,SAAS,EAAE,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YAC5C,aAAa,EAAE,KAAK,GAAG,CAAC;SACzB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC"}
|
|
@@ -37,6 +37,9 @@ import type { QuantityIdentification } from './compose.js';
|
|
|
37
37
|
import type { RegimeAttributes } from './quantity.js';
|
|
38
38
|
import type { LinkCandidate } from './bridge-analysis.js';
|
|
39
39
|
import type { RepresentativeValue } from './representative-values.js';
|
|
40
|
+
/** The canonical quantity→attributes map (registry nodes + per-equation stamps).
|
|
41
|
+
* Exported for the axis-discrimination audit. @internal */
|
|
42
|
+
export declare const REGISTRY_ATTRIBUTES_BY_NAME: ReadonlyMap<string, RegimeAttributes>;
|
|
40
43
|
/** A candidate after vetting against the inference suite. @hypothesis @public */
|
|
41
44
|
export interface VettedCandidate {
|
|
42
45
|
readonly a: string;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"discovery.d.ts","sourceRoot":"","sources":["../../src/composition/discovery.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;
|
|
1
|
+
{"version":3,"file":"discovery.d.ts","sourceRoot":"","sources":["../../src/composition/discovery.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAG3D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAItD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAG1D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAWtE;4DAC4D;AAC5D,eAAO,MAAM,2BAA2B,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAS1E,CAAC;AA+BL,iFAAiF;AACjF,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,+CAA+C;IAC/C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,6DAA6D;IAC7D,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,yDAAyD;IACzD,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B;;;OAGG;IACH,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC;;;OAGG;IACH,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C;;;;OAIG;IACH,QAAQ,CAAC,qBAAqB,EAAE,OAAO,CAAC;IACxC;yEACqE;IACrE,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C;;;;OAIG;IACH,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,4EAA4E;IAC5E,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC;4EACwE;IACxE,QAAQ,CAAC,mBAAmB,EAAE,OAAO,CAAC;IACtC;;;;;OAKG;IACH,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,OAAO,EAAE,WAAW,GAAG,OAAO,GAAG,eAAe,GAAG,iBAAiB,GAAG,YAAY,CAAC;IAC7F,4DAA4D;IAC5D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB;;;;;;OAMG;IACH,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B;;;;;OAKG;IACH,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC;;;;OAIG;IACH,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C;kDAC8C;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;CACpC;AAED,gDAAgD;AAChD,MAAM,WAAW,gBAAgB;IAC/B;;;OAGG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACxD,0EAA0E;IAC1E,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC7D;;;;;OAKG;IACH,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,CAAC;IACvC;;;;OAIG;IACH,QAAQ,CAAC,oBAAoB,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAC;IAC9E;;;;;OAKG;IACH,QAAQ,CAAC,kBAAkB,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;CACrE;AA0GD;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,SAAS,EAAE,aAAa,EACxB,IAAI,GAAE,gBAAqB,GAC1B,eAAe,CAEjB;AA0KD;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,IAAI,GAAE,gBAAqB,GAC1B,eAAe,EAAE,CAmBnB"}
|
|
@@ -33,6 +33,7 @@
|
|
|
33
33
|
* @module composition/discovery
|
|
34
34
|
*/
|
|
35
35
|
import { QUANTITY_IDENTIFICATIONS, effectiveAttributes } from './compose.js';
|
|
36
|
+
import { GATE_AXES } from './axes.js';
|
|
36
37
|
import { forwardClosure } from './identifiability.js';
|
|
37
38
|
import { retrodict, forwardEvaluate } from './retrodiction.js';
|
|
38
39
|
import { proposeLinkCandidates } from './bridge-analysis.js';
|
|
@@ -47,7 +48,9 @@ import { format } from '../dimensional/algebra.js';
|
|
|
47
48
|
// registry node (most bare canonical-equation variables) are simply absent,
|
|
48
49
|
// so they always abstain — the canonical-only axis-clash=0 invariant holds
|
|
49
50
|
// by construction, not by a special case.
|
|
50
|
-
|
|
51
|
+
/** The canonical quantity→attributes map (registry nodes + per-equation stamps).
|
|
52
|
+
* Exported for the axis-discrimination audit. @internal */
|
|
53
|
+
export const REGISTRY_ATTRIBUTES_BY_NAME = (() => {
|
|
51
54
|
const m = new Map();
|
|
52
55
|
for (const v of Object.values(REGISTRY_QUANTITIES)) {
|
|
53
56
|
if (v && typeof v === 'object' && 'name' in v && 'attributes' in v) {
|
|
@@ -57,9 +60,11 @@ const REGISTRY_ATTRIBUTES_BY_NAME = (() => {
|
|
|
57
60
|
}
|
|
58
61
|
return m;
|
|
59
62
|
})();
|
|
60
|
-
|
|
61
|
-
|
|
62
|
-
|
|
63
|
+
// The axes the D1 identity gate falsifies on are `GATE_AXES`, imported from the
|
|
64
|
+
// `axes.ts` registry (`AXES.filter(gated)`) at the top of this module. Currently
|
|
65
|
+
// scale + force; the 2026-07-05 extensible-axis expansion added
|
|
66
|
+
// symmetry/topology/statistics as UNGATED attributes (they only abstain until the
|
|
67
|
+
// discrimination audit earns them a gate — flip `gated: true` in axes.ts).
|
|
63
68
|
// ── canonical-kind indexes (Sub-project C) ──────────────────────────────────
|
|
64
69
|
// Discovery quantity names and canonical variable names are different
|
|
65
70
|
// namespaces; the alignable axis is the DIMENSION. These are informational
|
|
@@ -213,9 +218,13 @@ function vetInContext(edges, candidate, ctx) {
|
|
|
213
218
|
const attrsB = effectiveAttributes(candidate.b, attributesByName, baseIdents);
|
|
214
219
|
const checkedAxes = [];
|
|
215
220
|
const axisClashes = [];
|
|
221
|
+
// GATE_AXES is registry-derived (string[]); every registry axis name is a
|
|
222
|
+
// RegimeAttributes key whose value is a string union — read via a string record.
|
|
223
|
+
const recA = attrsA;
|
|
224
|
+
const recB = attrsB;
|
|
216
225
|
for (const axis of GATE_AXES) {
|
|
217
|
-
const av =
|
|
218
|
-
const bv =
|
|
226
|
+
const av = recA[axis];
|
|
227
|
+
const bv = recB[axis];
|
|
219
228
|
if (av === undefined || bv === undefined)
|
|
220
229
|
continue; // abstain
|
|
221
230
|
checkedAxes.push(axis);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"discovery.js","sourceRoot":"","sources":["../../src/composition/discovery.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAIH,OAAO,EAAE,wBAAwB,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AAE7E,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAE7D,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAClD,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAEnE,OAAO,KAAK,mBAAmB,MAAM,iBAAiB,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAEnD,8EAA8E;AAC9E,oEAAoE;AACpE,oEAAoE;AACpE,4EAA4E;AAC5E,2EAA2E;AAC3E,0CAA0C;AAC1C,MAAM,2BAA2B,GAA0C,CAAC,GAAG,EAAE;IAC/E,MAAM,CAAC,GAAG,IAAI,GAAG,EAA4B,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,CAAC;QACnD,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,IAAI,CAAC,IAAI,YAAY,IAAI,CAAC,EAAE,CAAC;YACnE,MAAM,CAAC,GAAG,CAAmD,CAAC;YAC9D,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC,CAAC,EAAE,CAAC;AAEL;4EAC4E;AAC5E,MAAM,SAAS,GAAG,CAAC,OAAO,EAAE,OAAO,CAAU,CAAC;AAE9C,+EAA+E;AAC/E,sEAAsE;AACtE,2EAA2E;AAC3E,yEAAyE;AACzE,iFAAiF;AACjF,MAAM,sBAAsB,GAA2C,CAAC,GAAG,EAAE;IAC3E,MAAM,CAAC,GAAG,IAAI,GAAG,EAAuB,CAAC;IACzC,KAAK,MAAM,EAAE,IAAI,mBAAmB,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AAC7D,CAAC,CAAC,EAAE,CAAC;AAEL,MAAM,wBAAwB,GAAwB,CAAC,GAAG,EAAE;IAC1D,MAAM,CAAC,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5B,KAAK,MAAM,EAAE,IAAI,mBAAmB,EAAE,CAAC;QACrC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,WAAW,CAAC,SAAS;YAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC,CAAC,EAAE,CAAC;AA2HL;+DAC+D;AAC/D,SAAS,kBAAkB,CACzB,KAA4B,EAC5B,MAAyC;IAEzC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,MAAM,IAAI,GAAG,CAAC,CAAS,EAAU,EAAE;QACjC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrC,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;YAAE,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;QAC/C,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,OAAO,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;YAC9B,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YACnB,GAAG,GAAG,IAAI,CAAC;QACb,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE;QACrC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC/D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACnE,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,MAAM;QAAE,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE;QAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9D,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,cAAc,GAAqC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAE5E;;;;;;;;GAQG;AACH,SAAS,YAAY,CAAC,CAAS,EAAE,CAAS;IACxC,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,IAAI,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACtC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAC7D,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IACrD,OAAO,IAAI,CAAC;AACd,CAAC;AA8BD;gBACgB;AAChB,SAAS,qBAAqB,CAC5B,KAA4B,EAC5B,IAAsB;IAEtB,MAAM,UAAU,GAAG,IAAI,CAAC,eAAe,IAAI,wBAAwB,CAAC;IACpE,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,IAAI,cAAc,CAAC;IACvD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACxC,OAAO;QACL,UAAU;QACV,WAAW;QACX,MAAM;QACN,OAAO,EAAE,IAAI,CAAC,oBAAoB,IAAI,qBAAqB;QAC3D,SAAS,EAAE,IAAI,CAAC,oBAAoB,IAAI,CAAC;QACzC,gBAAgB,EAAE,IAAI,CAAC,kBAAkB,IAAI,2BAA2B;QACxE,2EAA2E;QAC3E,4EAA4E;QAC5E,YAAY,EAAE,eAAe,CAAC,KAAK,EAAE,WAAW,EAAE,UAAU,CAAC;QAC7D,KAAK,EAAE,kBAAkB,CAAC,KAAK,EAAE,UAAU,CAAC;QAC5C,WAAW,EAAE,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC;KACvD,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAA4B,EAC5B,SAAwB,EACxB,OAAyB,EAAE;IAE3B,OAAO,YAAY,CAAC,KAAK,EAAE,SAAS,EAAE,qBAAqB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,YAAY,CACnB,KAA4B,EAC5B,SAAwB,EACxB,GAAqB;IAErB,MAAM,EACJ,UAAU,EACV,WAAW,EACX,MAAM,EACN,OAAO,EACP,SAAS,EACT,YAAY,EACZ,KAAK,EACL,WAAW,EACX,gBAAgB,GACjB,GAAG,GAAG,CAAC;IAER,+EAA+E;IAC/E,4EAA4E;IAC5E,8EAA8E;IAC9E,uEAAuE;IACvE,8EAA8E;IAC9E,8EAA8E;IAC9E,MAAM,WAAW,GAAG,CAClB,IAAY,EACwC,EAAE;QACtD,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QACzB,yEAAyE;QACzE,2EAA2E;QAC3E,2EAA2E;QAC3E,IAAI,EAAE,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,KAAK,KAAK,CAAC;YACjE,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;QAChD,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,EAAE,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC;YACrD,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;QACzC,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IACF,MAAM,EAAE,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,EAAE,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,gBAAgB,GAAG,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,CAAC;IAC9D,MAAM,mBAAmB,GACvB,gBAAgB,IAAI,CAAC,EAAG,CAAC,UAAU,IAAI,EAAG,CAAC,UAAU,CAAC,CAAC;IACzD,MAAM,WAAW,GAAG,gBAAgB;QAClC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAG,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAC7E,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,cAAc,GAAG,WAAW,KAAK,IAAI,IAAI,WAAW,GAAG,SAAS,CAAC;IAEvE,qEAAqE;IACrE,uEAAuE;IACvE,MAAM,SAAS,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IAEzD,yEAAyE;IACzE,sEAAsE;IACtE,2DAA2D;IAC3D,kEAAkE;IAClE,mEAAmE;IACnE,MAAM,MAAM,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAC,EAAE,gBAAgB,EAAE,UAAU,CAAC,CAAC;IAC9E,MAAM,MAAM,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAC,EAAE,gBAAgB,EAAE,UAAU,CAAC,CAAC;IAC9E,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QACxB,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QACxB,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS;YAAE,SAAS,CAAC,UAAU;QAC9D,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,IAAI,EAAE,KAAK,EAAE;YAAE,WAAW,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,WAAW,CAAC,IAAI,EAAE,CAAC;IACnB,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC;IAC3C,MAAM,SAAS,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC;IAEzC,wEAAwE;IACxE,8DAA8D;IAC9D,MAAM,SAAS,GAAG,+BAA+B,SAAS,CAAC,CAAC,MAAM,SAAS,CAAC,CAAC,qBAAqB,SAAS,CAAC,GAAG,EAAE,CAAC;IAClH,MAAM,UAAU,GAA6B;QAC3C,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC,EAAE,SAAS,EAAE;QACjD,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC,EAAE,SAAS,EAAE;KAClD,CAAC;IACF,MAAM,OAAO,GAAG,CAAC,GAAG,UAAU,EAAE,GAAG,UAAU,CAAC,CAAC;IAE/C,uEAAuE;IACvE,MAAM,gBAAgB,GACpB,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;QACtB,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;QACtB,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAEpD,6EAA6E;IAC7E,8EAA8E;IAC9E,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAC1D,MAAM,iBAAiB,GAAG,CAAC,GAAG,UAAU,CAAC;SACtC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SAClC,IAAI,EAAE,CAAC;IAEV,uEAAuE;IACvE,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE,eAAe,EAAE,OAAO,EAAE,CAAC,CAAC;IAC3E,MAAM,qBAAqB,GAAG,MAAM,CAAC,aAAa,CAAC;IACnD,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO;SACrC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,cAAc,CAAC;SAC3C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;SACpB,IAAI,EAAE,CAAC;IAEV,mEAAmE;IACnE,uEAAuE;IACvE,sEAAsE;IACtE,8DAA8D;IAC9D,IAAI,OAAmC,CAAC;IACxC,IAAI,cAAc;QAAE,OAAO,GAAG,iBAAiB,CAAC;SAC3C,IAAI,CAAC,qBAAqB;QAAE,OAAO,GAAG,eAAe,CAAC;SACtD,IAAI,SAAS;QAAE,OAAO,GAAG,YAAY,CAAC;SACtC,IAAI,gBAAgB,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,SAAS;QACrE,OAAO,GAAG,WAAW,CAAC;;QACnB,OAAO,GAAG,OAAO,CAAC;IAEvB,2EAA2E;IAC3E,2EAA2E;IAC3E,2CAA2C;IAC3C,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,cAAc,IAAI,CAAC,qBAAqB,IAAI,SAAS,EAAE,CAAC;QAC1D,KAAK,GAAG,CAAC,CAAC,CAAC;IACb,CAAC;SAAM,IAAI,SAAS,EAAE,CAAC;QACrB,KAAK,GAAG,CAAC,CAAC;IACZ,CAAC;SAAM,CAAC;QACN,KAAK,IAAI,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC/C,KAAK,IAAI,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,KAAK,IAAI,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC;IAED,MAAM,cAAc,GAAG,sBAAsB,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;IACvE,MAAM,gBAAgB,GACpB,wBAAwB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;QACzC,wBAAwB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAE5C,OAAO;QACL,CAAC,EAAE,SAAS,CAAC,CAAC;QACd,CAAC,EAAE,SAAS,CAAC,CAAC;QACd,GAAG,EAAE,SAAS,CAAC,GAAG;QAClB,WAAW,EAAE,SAAS,CAAC,WAAW;QAClC,QAAQ,EAAE,SAAS,CAAC,QAAQ;QAC5B,gBAAgB;QAChB,iBAAiB;QACjB,qBAAqB;QACrB,iBAAiB;QACjB,WAAW;QACX,gBAAgB;QAChB,mBAAmB;QACnB,SAAS;QACT,OAAO;QACP,KAAK;QACL,WAAW;QACX,WAAW;QACX,cAAc;QACd,gBAAgB;KACjB,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAC7B,KAA4B,EAC5B,OAAyB,EAAE;IAE3B,MAAM,YAAY,GAA+C;QAC/D,SAAS,EAAE,CAAC;QACZ,KAAK,EAAE,CAAC;QACR,iBAAiB,EAAE,CAAC;QACpB,aAAa,EAAE,CAAC;QAChB,YAAY,EAAE,CAAC;KAChB,CAAC;IACF,MAAM,GAAG,GAAG,qBAAqB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC/C,MAAM,UAAU,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IAClE,MAAM,CAAC,IAAI,CACT,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC;QACjD,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK;QACjB,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QACtB,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CACzB,CAAC;IACF,OAAO,MAAM,CAAC;AAChB,CAAC"}
|
|
1
|
+
{"version":3,"file":"discovery.js","sourceRoot":"","sources":["../../src/composition/discovery.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAIH,OAAO,EAAE,wBAAwB,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AAC7E,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAEtC,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAE7D,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAClD,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAEnE,OAAO,KAAK,mBAAmB,MAAM,iBAAiB,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAEnD,8EAA8E;AAC9E,oEAAoE;AACpE,oEAAoE;AACpE,4EAA4E;AAC5E,2EAA2E;AAC3E,0CAA0C;AAC1C;4DAC4D;AAC5D,MAAM,CAAC,MAAM,2BAA2B,GAA0C,CAAC,GAAG,EAAE;IACtF,MAAM,CAAC,GAAG,IAAI,GAAG,EAA4B,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,CAAC;QACnD,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,IAAI,CAAC,IAAI,YAAY,IAAI,CAAC,EAAE,CAAC;YACnE,MAAM,CAAC,GAAG,CAAmD,CAAC;YAC9D,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC,CAAC,EAAE,CAAC;AAEL,gFAAgF;AAChF,iFAAiF;AACjF,gEAAgE;AAChE,kFAAkF;AAClF,2EAA2E;AAE3E,+EAA+E;AAC/E,sEAAsE;AACtE,2EAA2E;AAC3E,yEAAyE;AACzE,iFAAiF;AACjF,MAAM,sBAAsB,GAA2C,CAAC,GAAG,EAAE;IAC3E,MAAM,CAAC,GAAG,IAAI,GAAG,EAAuB,CAAC;IACzC,KAAK,MAAM,EAAE,IAAI,mBAAmB,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AAC7D,CAAC,CAAC,EAAE,CAAC;AAEL,MAAM,wBAAwB,GAAwB,CAAC,GAAG,EAAE;IAC1D,MAAM,CAAC,GAAG,IAAI,GAAG,EAAU,CAAC;IAC5B,KAAK,MAAM,EAAE,IAAI,mBAAmB,EAAE,CAAC;QACrC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,WAAW,CAAC,SAAS;YAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC,CAAC,EAAE,CAAC;AA2HL;+DAC+D;AAC/D,SAAS,kBAAkB,CACzB,KAA4B,EAC5B,MAAyC;IAEzC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,MAAM,IAAI,GAAG,CAAC,CAAS,EAAU,EAAE;QACjC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrC,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;YAAE,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;QAC/C,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,OAAO,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;YAC9B,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YACnB,GAAG,GAAG,IAAI,CAAC;QACb,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE;QACrC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC/D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACnE,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,MAAM;QAAE,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE;QAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9D,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,cAAc,GAAqC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAE5E;;;;;;;;GAQG;AACH,SAAS,YAAY,CAAC,CAAS,EAAE,CAAS;IACxC,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,IAAI,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACtC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAC7D,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IACrD,OAAO,IAAI,CAAC;AACd,CAAC;AA8BD;gBACgB;AAChB,SAAS,qBAAqB,CAC5B,KAA4B,EAC5B,IAAsB;IAEtB,MAAM,UAAU,GAAG,IAAI,CAAC,eAAe,IAAI,wBAAwB,CAAC;IACpE,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,IAAI,cAAc,CAAC;IACvD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACxC,OAAO;QACL,UAAU;QACV,WAAW;QACX,MAAM;QACN,OAAO,EAAE,IAAI,CAAC,oBAAoB,IAAI,qBAAqB;QAC3D,SAAS,EAAE,IAAI,CAAC,oBAAoB,IAAI,CAAC;QACzC,gBAAgB,EAAE,IAAI,CAAC,kBAAkB,IAAI,2BAA2B;QACxE,2EAA2E;QAC3E,4EAA4E;QAC5E,YAAY,EAAE,eAAe,CAAC,KAAK,EAAE,WAAW,EAAE,UAAU,CAAC;QAC7D,KAAK,EAAE,kBAAkB,CAAC,KAAK,EAAE,UAAU,CAAC;QAC5C,WAAW,EAAE,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC;KACvD,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAA4B,EAC5B,SAAwB,EACxB,OAAyB,EAAE;IAE3B,OAAO,YAAY,CAAC,KAAK,EAAE,SAAS,EAAE,qBAAqB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,YAAY,CACnB,KAA4B,EAC5B,SAAwB,EACxB,GAAqB;IAErB,MAAM,EACJ,UAAU,EACV,WAAW,EACX,MAAM,EACN,OAAO,EACP,SAAS,EACT,YAAY,EACZ,KAAK,EACL,WAAW,EACX,gBAAgB,GACjB,GAAG,GAAG,CAAC;IAER,+EAA+E;IAC/E,4EAA4E;IAC5E,8EAA8E;IAC9E,uEAAuE;IACvE,8EAA8E;IAC9E,8EAA8E;IAC9E,MAAM,WAAW,GAAG,CAClB,IAAY,EACwC,EAAE;QACtD,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QACzB,yEAAyE;QACzE,2EAA2E;QAC3E,2EAA2E;QAC3E,IAAI,EAAE,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,KAAK,KAAK,CAAC;YACjE,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;QAChD,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,EAAE,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC;YACrD,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;QACzC,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IACF,MAAM,EAAE,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,EAAE,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,gBAAgB,GAAG,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,CAAC;IAC9D,MAAM,mBAAmB,GACvB,gBAAgB,IAAI,CAAC,EAAG,CAAC,UAAU,IAAI,EAAG,CAAC,UAAU,CAAC,CAAC;IACzD,MAAM,WAAW,GAAG,gBAAgB;QAClC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAG,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAC7E,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,cAAc,GAAG,WAAW,KAAK,IAAI,IAAI,WAAW,GAAG,SAAS,CAAC;IAEvE,qEAAqE;IACrE,uEAAuE;IACvE,MAAM,SAAS,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IAEzD,yEAAyE;IACzE,sEAAsE;IACtE,2DAA2D;IAC3D,kEAAkE;IAClE,mEAAmE;IACnE,MAAM,MAAM,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAC,EAAE,gBAAgB,EAAE,UAAU,CAAC,CAAC;IAC9E,MAAM,MAAM,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAC,EAAE,gBAAgB,EAAE,UAAU,CAAC,CAAC;IAC9E,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,0EAA0E;IAC1E,iFAAiF;IACjF,MAAM,IAAI,GAAG,MAA4C,CAAC;IAC1D,MAAM,IAAI,GAAG,MAA4C,CAAC;IAC1D,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS;YAAE,SAAS,CAAC,UAAU;QAC9D,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,IAAI,EAAE,KAAK,EAAE;YAAE,WAAW,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,WAAW,CAAC,IAAI,EAAE,CAAC;IACnB,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC;IAC3C,MAAM,SAAS,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC;IAEzC,wEAAwE;IACxE,8DAA8D;IAC9D,MAAM,SAAS,GAAG,+BAA+B,SAAS,CAAC,CAAC,MAAM,SAAS,CAAC,CAAC,qBAAqB,SAAS,CAAC,GAAG,EAAE,CAAC;IAClH,MAAM,UAAU,GAA6B;QAC3C,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC,EAAE,SAAS,EAAE;QACjD,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC,EAAE,SAAS,EAAE;KAClD,CAAC;IACF,MAAM,OAAO,GAAG,CAAC,GAAG,UAAU,EAAE,GAAG,UAAU,CAAC,CAAC;IAE/C,uEAAuE;IACvE,MAAM,gBAAgB,GACpB,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;QACtB,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;QACtB,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAEpD,6EAA6E;IAC7E,8EAA8E;IAC9E,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAC1D,MAAM,iBAAiB,GAAG,CAAC,GAAG,UAAU,CAAC;SACtC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SAClC,IAAI,EAAE,CAAC;IAEV,uEAAuE;IACvE,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE,eAAe,EAAE,OAAO,EAAE,CAAC,CAAC;IAC3E,MAAM,qBAAqB,GAAG,MAAM,CAAC,aAAa,CAAC;IACnD,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO;SACrC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,cAAc,CAAC;SAC3C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;SACpB,IAAI,EAAE,CAAC;IAEV,mEAAmE;IACnE,uEAAuE;IACvE,sEAAsE;IACtE,8DAA8D;IAC9D,IAAI,OAAmC,CAAC;IACxC,IAAI,cAAc;QAAE,OAAO,GAAG,iBAAiB,CAAC;SAC3C,IAAI,CAAC,qBAAqB;QAAE,OAAO,GAAG,eAAe,CAAC;SACtD,IAAI,SAAS;QAAE,OAAO,GAAG,YAAY,CAAC;SACtC,IAAI,gBAAgB,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,SAAS;QACrE,OAAO,GAAG,WAAW,CAAC;;QACnB,OAAO,GAAG,OAAO,CAAC;IAEvB,2EAA2E;IAC3E,2EAA2E;IAC3E,2CAA2C;IAC3C,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,cAAc,IAAI,CAAC,qBAAqB,IAAI,SAAS,EAAE,CAAC;QAC1D,KAAK,GAAG,CAAC,CAAC,CAAC;IACb,CAAC;SAAM,IAAI,SAAS,EAAE,CAAC;QACrB,KAAK,GAAG,CAAC,CAAC;IACZ,CAAC;SAAM,CAAC;QACN,KAAK,IAAI,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC/C,KAAK,IAAI,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,KAAK,IAAI,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC;IAED,MAAM,cAAc,GAAG,sBAAsB,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;IACvE,MAAM,gBAAgB,GACpB,wBAAwB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;QACzC,wBAAwB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAE5C,OAAO;QACL,CAAC,EAAE,SAAS,CAAC,CAAC;QACd,CAAC,EAAE,SAAS,CAAC,CAAC;QACd,GAAG,EAAE,SAAS,CAAC,GAAG;QAClB,WAAW,EAAE,SAAS,CAAC,WAAW;QAClC,QAAQ,EAAE,SAAS,CAAC,QAAQ;QAC5B,gBAAgB;QAChB,iBAAiB;QACjB,qBAAqB;QACrB,iBAAiB;QACjB,WAAW;QACX,gBAAgB;QAChB,mBAAmB;QACnB,SAAS;QACT,OAAO;QACP,KAAK;QACL,WAAW;QACX,WAAW;QACX,cAAc;QACd,gBAAgB;KACjB,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAC7B,KAA4B,EAC5B,OAAyB,EAAE;IAE3B,MAAM,YAAY,GAA+C;QAC/D,SAAS,EAAE,CAAC;QACZ,KAAK,EAAE,CAAC;QACR,iBAAiB,EAAE,CAAC;QACpB,aAAa,EAAE,CAAC;QAChB,YAAY,EAAE,CAAC;KAChB,CAAC;IACF,MAAM,GAAG,GAAG,qBAAqB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC/C,MAAM,UAAU,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IAClE,MAAM,CAAC,IAAI,CACT,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC;QACjD,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK;QACjB,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QACtB,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CACzB,CAAC;IACF,OAAO,MAAM,CAAC;AAChB,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"condensed-matter.d.ts","sourceRoot":"","sources":["../../../src/composition/quantities/condensed-matter.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAgB/C,wCAAwC;AAIxC,eAAO,MAAM,YAAY,EAAE,QAK1B,CAAC;AACF,yDAAyD;AACzD,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AACF,0CAA0C;AAC1C,eAAO,MAAM,KAAK,EAAE,QAKnB,CAAC;AACF,0DAA0D;AAC1D,eAAO,MAAM,iBAAiB,EAAE,QAK/B,CAAC;AACF,4DAA4D;AAC5D,eAAO,MAAM,mBAAmB,EAAE,QAKjC,CAAC;AACF,wDAAwD;AACxD,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AACF,gFAAgF;AAChF,eAAO,MAAM,+BAA+B,EAAE,
|
|
1
|
+
{"version":3,"file":"condensed-matter.d.ts","sourceRoot":"","sources":["../../../src/composition/quantities/condensed-matter.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAgB/C,wCAAwC;AAIxC,eAAO,MAAM,YAAY,EAAE,QAK1B,CAAC;AACF,yDAAyD;AACzD,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AACF,0CAA0C;AAC1C,eAAO,MAAM,KAAK,EAAE,QAKnB,CAAC;AACF,0DAA0D;AAC1D,eAAO,MAAM,iBAAiB,EAAE,QAK/B,CAAC;AACF,4DAA4D;AAC5D,eAAO,MAAM,mBAAmB,EAAE,QAKjC,CAAC;AACF,wDAAwD;AACxD,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AACF,gFAAgF;AAChF,eAAO,MAAM,+BAA+B,EAAE,QAQ7C,CAAC;AACF,wEAAwE;AACxE,eAAO,MAAM,6BAA6B,EAAE,QAK3C,CAAC;AACF,4DAA4D;AAC5D,eAAO,MAAM,oBAAoB,EAAE,QAKlC,CAAC;AACF,wGAAwG;AACxG,eAAO,MAAM,cAAc,EAAE,QAQ5B,CAAC;AACF,yDAAyD;AACzD,eAAO,MAAM,eAAe,EAAE,QAM7B,CAAC;AACF,wEAAwE;AACxE,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AACF,oDAAoD;AACpD,eAAO,MAAM,YAAY,EAAE,QAK1B,CAAC;AACF,mEAAmE;AACnE,eAAO,MAAM,kBAAkB,EAAE,QAKhC,CAAC;AACF,+DAA+D;AAC/D,eAAO,MAAM,qBAAqB,EAAE,QAKnC,CAAC;AACF,oEAAoE;AACpE,eAAO,MAAM,2BAA2B,EAAE,QAKzC,CAAC;AACF,6DAA6D;AAC7D,eAAO,MAAM,qBAAqB,EAAE,QAKnC,CAAC;AACF,kEAAkE;AAClE,eAAO,MAAM,iBAAiB,EAAE,QAK/B,CAAC;AACF,kEAAkE;AAClE,eAAO,MAAM,iBAAiB,EAAE,QAK/B,CAAC;AACF,wEAAwE;AACxE,eAAO,MAAM,yBAAyB,EAAE,QAKvC,CAAC;AACF,wDAAwD;AACxD,eAAO,MAAM,gBAAgB,EAAE,QAK9B,CAAC;AACF,mEAAmE;AACnE,eAAO,MAAM,0BAA0B,EAAE,QAKxC,CAAC;AACF,iEAAiE;AACjE,eAAO,MAAM,iBAAiB,EAAE,QAK/B,CAAC;AACF,6DAA6D;AAC7D,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AACF,+DAA+D;AAC/D,eAAO,MAAM,qBAAqB,EAAE,QAKnC,CAAC;AACF,6EAA6E;AAC7E,eAAO,MAAM,cAAc,EAAE,QAK5B,CAAC"}
|
|
@@ -50,7 +50,10 @@ export const topologicalEntanglementEntropyQ = {
|
|
|
50
50
|
name: 'topological-entanglement-entropy',
|
|
51
51
|
symbol: 'γ',
|
|
52
52
|
dim: DIMENSIONLESS,
|
|
53
|
-
|
|
53
|
+
// topology 'z2': γ = log D diagnoses topological ORDER; the canonical case
|
|
54
|
+
// (toric code / ℤ₂ spin liquid) is ℤ₂. Sourced tag for the 2026-07-05 axis
|
|
55
|
+
// expansion — thin coverage; the topology gate stays off until the audit earns it.
|
|
56
|
+
attributes: { scale: 'quantum', information: 'von-neumann', topology: 'z2' },
|
|
54
57
|
};
|
|
55
58
|
/** Canonical node for `subsystem-entanglement-entropy` (S(R), nats). */
|
|
56
59
|
export const subsystemEntanglementEntropyQ = {
|
|
@@ -71,14 +74,18 @@ export const effectiveMassQ = {
|
|
|
71
74
|
name: 'effective-mass',
|
|
72
75
|
symbol: 'm*',
|
|
73
76
|
dim: MASS,
|
|
74
|
-
|
|
77
|
+
// statistics 'fermionic': the effective mass of the (fermionic) conduction electron.
|
|
78
|
+
// 2026-07-05 condensed-matter cluster — honest classification; statistics gate stays
|
|
79
|
+
// off (no same-dimension fermion↔boson pair exists to clash — measured, not assumed).
|
|
80
|
+
attributes: { scale: 'quantum', force: 'electromagnetic', statistics: 'fermionic' },
|
|
75
81
|
};
|
|
76
82
|
/** Canonical node for `carrier-density` (n_e, [L⁻³]). */
|
|
77
83
|
export const carrierDensityQ = {
|
|
78
84
|
name: 'carrier-density',
|
|
79
85
|
symbol: 'n_e',
|
|
80
86
|
dim: NUMBER_DENSITY,
|
|
81
|
-
|
|
87
|
+
// statistics 'fermionic': the density of the (fermionic) conduction electrons.
|
|
88
|
+
attributes: { scale: 'quantum', force: 'electromagnetic', statistics: 'fermionic' },
|
|
82
89
|
};
|
|
83
90
|
/** Canonical node for `syk-coefficient` (α_SYK, dimensionless O(1)). */
|
|
84
91
|
export const sykCoefficientQ = {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"condensed-matter.js","sourceRoot":"","sources":["../../../src/composition/quantities/condensed-matter.ts"],"names":[],"mappings":"AAUA,OAAO,EACL,aAAa,EACb,MAAM,EACN,IAAI,EACJ,WAAW,EACX,IAAI,GACL,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,UAAU,EACV,QAAQ,EACR,WAAW,EACX,cAAc,EACd,WAAW,GACZ,MAAM,YAAY,CAAC;AAEpB,wCAAwC;AACxC,2EAA2E;AAC3E,iEAAiE;AACjE,8EAA8E;AAC9E,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE;CACf,CAAC;AACF,yDAAyD;AACzD,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,kBAAkB;IACxB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,QAAQ;IACb,UAAU,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE;CACvD,CAAC;AACF,0CAA0C;AAC1C,MAAM,CAAC,MAAM,KAAK,GAAa;IAC7B,IAAI,EAAE,MAAM;IACZ,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE;CACf,CAAC;AACF,0DAA0D;AAC1D,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,mBAAmB;IACzB,MAAM,EAAE,MAAM;IACd,GAAG,EAAE,MAAM;IACX,UAAU,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE;CACvD,CAAC;AACF,4DAA4D;AAC5D,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,sBAAsB;IAC5B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,UAAU;IACf,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE;CAC7D,CAAC;AACF,wDAAwD;AACxD,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,iBAAiB;IACvB,MAAM,EAAE,MAAM;IACd,GAAG,EAAE,MAAM;IACX,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,gFAAgF;AAChF,MAAM,CAAC,MAAM,+BAA+B,GAAa;IACvD,IAAI,EAAE,kCAAkC;IACxC,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE;
|
|
1
|
+
{"version":3,"file":"condensed-matter.js","sourceRoot":"","sources":["../../../src/composition/quantities/condensed-matter.ts"],"names":[],"mappings":"AAUA,OAAO,EACL,aAAa,EACb,MAAM,EACN,IAAI,EACJ,WAAW,EACX,IAAI,GACL,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,UAAU,EACV,QAAQ,EACR,WAAW,EACX,cAAc,EACd,WAAW,GACZ,MAAM,YAAY,CAAC;AAEpB,wCAAwC;AACxC,2EAA2E;AAC3E,iEAAiE;AACjE,8EAA8E;AAC9E,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE;CACf,CAAC;AACF,yDAAyD;AACzD,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,kBAAkB;IACxB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,QAAQ;IACb,UAAU,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE;CACvD,CAAC;AACF,0CAA0C;AAC1C,MAAM,CAAC,MAAM,KAAK,GAAa;IAC7B,IAAI,EAAE,MAAM;IACZ,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE;CACf,CAAC;AACF,0DAA0D;AAC1D,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,mBAAmB;IACzB,MAAM,EAAE,MAAM;IACd,GAAG,EAAE,MAAM;IACX,UAAU,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE;CACvD,CAAC;AACF,4DAA4D;AAC5D,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,sBAAsB;IAC5B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,UAAU;IACf,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE;CAC7D,CAAC;AACF,wDAAwD;AACxD,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,iBAAiB;IACvB,MAAM,EAAE,MAAM;IACd,GAAG,EAAE,MAAM;IACX,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,gFAAgF;AAChF,MAAM,CAAC,MAAM,+BAA+B,GAAa;IACvD,IAAI,EAAE,kCAAkC;IACxC,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,2EAA2E;IAC3E,2EAA2E;IAC3E,mFAAmF;IACnF,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE;CAC7E,CAAC;AACF,wEAAwE;AACxE,MAAM,CAAC,MAAM,6BAA6B,GAAa;IACrD,IAAI,EAAE,gCAAgC;IACtC,MAAM,EAAE,MAAM;IACd,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE;CAC7D,CAAC;AACF,4DAA4D;AAC5D,MAAM,CAAC,MAAM,oBAAoB,GAAa;IAC5C,IAAI,EAAE,sBAAsB;IAC5B,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;CAC7D,CAAC;AACF,wGAAwG;AACxG,MAAM,CAAC,MAAM,cAAc,GAAa;IACtC,IAAI,EAAE,gBAAgB;IACtB,MAAM,EAAE,IAAI;IACZ,GAAG,EAAE,IAAI;IACT,qFAAqF;IACrF,qFAAqF;IACrF,sFAAsF;IACtF,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE,UAAU,EAAE,WAAW,EAAE;CACpF,CAAC;AACF,yDAAyD;AACzD,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,iBAAiB;IACvB,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,cAAc;IACnB,+EAA+E;IAC/E,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE,UAAU,EAAE,WAAW,EAAE;CACpF,CAAC;AACF,wEAAwE;AACxE,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,iBAAiB;IACvB,MAAM,EAAE,OAAO;IACf,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,oDAAoD;AACpD,MAAM,CAAC,MAAM,YAAY,GAAa;IACpC,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,iBAAiB,EAAE;CAC7D,CAAC;AACF,mEAAmE;AACnE,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,qBAAqB;IAC3B,MAAM,EAAE,UAAU;IAClB,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE;CACvD,CAAC;AACF,+DAA+D;AAC/D,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,OAAO;IACf,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE;CACvD,CAAC;AACF,oEAAoE;AACpE,MAAM,CAAC,MAAM,2BAA2B,GAAa;IACnD,IAAI,EAAE,8BAA8B;IACpC,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,MAAM;IACX,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,6DAA6D;AAC7D,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,kEAAkE;AAClE,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,oBAAoB;IAC1B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,kEAAkE;AAClE,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,oBAAoB;IAC1B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,wEAAwE;AACxE,MAAM,CAAC,MAAM,yBAAyB,GAAa;IACjD,IAAI,EAAE,4BAA4B;IAClC,MAAM,EAAE,WAAW;IACnB,GAAG,EAAE,MAAM;IACX,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,wDAAwD;AACxD,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,IAAI,EAAE,kBAAkB;IACxB,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACtC,CAAC;AACF,mEAAmE;AACnE,MAAM,CAAC,MAAM,0BAA0B,GAAa;IAClD,IAAI,EAAE,6BAA6B;IACnC,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,iEAAiE;AACjE,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,mBAAmB;IACzB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE;CACf,CAAC;AACF,6DAA6D;AAC7D,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,kBAAkB;IACxB,MAAM,EAAE,UAAU;IAClB,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACtC,CAAC;AACF,+DAA+D;AAC/D,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,OAAO;IACf,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACtC,CAAC;AACF,6EAA6E;AAC7E,MAAM,CAAC,MAAM,cAAc,GAAa;IACtC,IAAI,EAAE,gBAAgB;IACtB,MAAM,EAAE,UAAU;IAClB,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE;CACtC,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"fields.d.ts","sourceRoot":"","sources":["../../../src/composition/quantities/fields.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAa/C,iCAAiC;AAGjC,eAAO,MAAM,KAAK,EAAE,QAKnB,CAAC;AACF,4EAA4E;AAC5E,eAAO,MAAM,yBAAyB,EAAE,QAKvC,CAAC;AACF,qEAAqE;AACrE,eAAO,MAAM,yBAAyB,EAAE,QAKvC,CAAC;AACF,2DAA2D;AAC3D,eAAO,MAAM,mBAAmB,EAAE,QAKjC,CAAC;AACF,oEAAoE;AACpE,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AACF,sEAAsE;AACtE,eAAO,MAAM,uBAAuB,EAAE,QAKrC,CAAC;AACF,+EAA+E;AAC/E,eAAO,MAAM,gBAAgB,EAAE,
|
|
1
|
+
{"version":3,"file":"fields.d.ts","sourceRoot":"","sources":["../../../src/composition/quantities/fields.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAa/C,iCAAiC;AAGjC,eAAO,MAAM,KAAK,EAAE,QAKnB,CAAC;AACF,4EAA4E;AAC5E,eAAO,MAAM,yBAAyB,EAAE,QAKvC,CAAC;AACF,qEAAqE;AACrE,eAAO,MAAM,yBAAyB,EAAE,QAKvC,CAAC;AACF,2DAA2D;AAC3D,eAAO,MAAM,mBAAmB,EAAE,QAKjC,CAAC;AACF,oEAAoE;AACpE,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AACF,sEAAsE;AACtE,eAAO,MAAM,uBAAuB,EAAE,QAKrC,CAAC;AACF,+EAA+E;AAC/E,eAAO,MAAM,gBAAgB,EAAE,QAO9B,CAAC;AACF,sEAAsE;AACtE,eAAO,MAAM,uBAAuB,EAAE,QAKrC,CAAC;AACF,8EAA8E;AAC9E,eAAO,MAAM,mBAAmB,EAAE,QAKjC,CAAC;AACF,uDAAuD;AACvD,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AACF,mEAAmE;AACnE,eAAO,MAAM,sBAAsB,EAAE,QAKpC,CAAC;AACF,gDAAgD;AAChD,eAAO,MAAM,UAAU,EAAE,QAKxB,CAAC;AACF,oFAAoF;AACpF,eAAO,MAAM,eAAe,EAAE,QAK7B,CAAC;AACF,0FAA0F;AAC1F,eAAO,MAAM,kCAAkC,EAAE,QAKhD,CAAC;AACF,wEAAwE;AACxE,eAAO,MAAM,uBAAuB,EAAE,QAKrC,CAAC;AACF,wEAAwE;AACxE,eAAO,MAAM,uBAAuB,EAAE,QAKrC,CAAC;AACF,wEAAwE;AACxE,eAAO,MAAM,uBAAuB,EAAE,QAKrC,CAAC;AACF,sEAAsE;AACtE,eAAO,MAAM,mBAAmB,EAAE,QAKjC,CAAC;AACF,qDAAqD;AACrD,eAAO,MAAM,cAAc,EAAE,QAK5B,CAAC;AACF,0EAA0E;AAC1E,eAAO,MAAM,qBAAqB,EAAE,QAKnC,CAAC;AACF,+EAA+E;AAC/E,eAAO,MAAM,iBAAiB,EAAE,QAK/B,CAAC;AACF,6DAA6D;AAC7D,eAAO,MAAM,qBAAqB,EAAE,QAKnC,CAAC;AACF,mDAAmD;AACnD,eAAO,MAAM,WAAW,EAAE,QAKzB,CAAC;AACF,6DAA6D;AAC7D,eAAO,MAAM,mBAAmB,EAAE,QAKjC,CAAC"}
|
|
@@ -49,7 +49,9 @@ export const darkFermionMassQ = {
|
|
|
49
49
|
name: 'dark-fermion-mass',
|
|
50
50
|
symbol: 'm_dark',
|
|
51
51
|
dim: ENERGY_DIM2,
|
|
52
|
-
|
|
52
|
+
// statistics 'fermionic': a dark FERMION. Sourced tag for the 2026-07-05 axis
|
|
53
|
+
// expansion — thin coverage; the statistics gate stays off until the audit earns it.
|
|
54
|
+
attributes: { scale: 'quantum', force: 'weak', statistics: 'fermionic' },
|
|
53
55
|
};
|
|
54
56
|
/** Canonical node for `gravitational-wave-speed` (c_GW, velocity). */
|
|
55
57
|
export const gravitationalWaveSpeedQ = {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"fields.js","sourceRoot":"","sources":["../../../src/composition/quantities/fields.ts"],"names":[],"mappings":"AAUA,OAAO,EACL,aAAa,EACb,KAAK,EACL,IAAI,GACL,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,0BAA0B,EAC1B,mBAAmB,EACnB,oBAAoB,EACpB,WAAW,GACZ,MAAM,YAAY,CAAC;AAEpB,iCAAiC;AACjC,yEAAyE;AACzE,mDAAmD;AACnD,MAAM,CAAC,MAAM,KAAK,GAAa;IAC7B,IAAI,EAAE,MAAM;IACZ,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE;CACf,CAAC;AACF,4EAA4E;AAC5E,MAAM,CAAC,MAAM,yBAAyB,GAAa;IACjD,IAAI,EAAE,qCAAqC;IAC3C,MAAM,EAAE,WAAW;IACnB,GAAG,EAAE,0BAA0B;IAC/B,UAAU,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE;CACvC,CAAC;AACF,qEAAqE;AACrE,MAAM,CAAC,MAAM,yBAAyB,GAAa;IACjD,IAAI,EAAE,4BAA4B;IAClC,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,mBAAmB;IACxB,UAAU,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE;CACvC,CAAC;AACF,2DAA2D;AAC3D,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,sBAAsB;IAC5B,MAAM,EAAE,SAAS;IACjB,GAAG,EAAE,oBAAoB;IACzB,UAAU,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE;CACvC,CAAC;AACF,oEAAoE;AACpE,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,iBAAiB;IACvB,MAAM,EAAE,QAAQ;IAChB,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE;CAChD,CAAC;AACF,sEAAsE;AACtE,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC/C,IAAI,EAAE,0BAA0B;IAChC,MAAM,EAAE,QAAQ;IAChB,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE;CAChD,CAAC;AACF,+EAA+E;AAC/E,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,IAAI,EAAE,mBAAmB;IACzB,MAAM,EAAE,QAAQ;IAChB,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE;
|
|
1
|
+
{"version":3,"file":"fields.js","sourceRoot":"","sources":["../../../src/composition/quantities/fields.ts"],"names":[],"mappings":"AAUA,OAAO,EACL,aAAa,EACb,KAAK,EACL,IAAI,GACL,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,0BAA0B,EAC1B,mBAAmB,EACnB,oBAAoB,EACpB,WAAW,GACZ,MAAM,YAAY,CAAC;AAEpB,iCAAiC;AACjC,yEAAyE;AACzE,mDAAmD;AACnD,MAAM,CAAC,MAAM,KAAK,GAAa;IAC7B,IAAI,EAAE,MAAM;IACZ,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE;CACf,CAAC;AACF,4EAA4E;AAC5E,MAAM,CAAC,MAAM,yBAAyB,GAAa;IACjD,IAAI,EAAE,qCAAqC;IAC3C,MAAM,EAAE,WAAW;IACnB,GAAG,EAAE,0BAA0B;IAC/B,UAAU,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE;CACvC,CAAC;AACF,qEAAqE;AACrE,MAAM,CAAC,MAAM,yBAAyB,GAAa;IACjD,IAAI,EAAE,4BAA4B;IAClC,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,mBAAmB;IACxB,UAAU,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE;CACvC,CAAC;AACF,2DAA2D;AAC3D,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,sBAAsB;IAC5B,MAAM,EAAE,SAAS;IACjB,GAAG,EAAE,oBAAoB;IACzB,UAAU,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE;CACvC,CAAC;AACF,oEAAoE;AACpE,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,iBAAiB;IACvB,MAAM,EAAE,QAAQ;IAChB,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE;CAChD,CAAC;AACF,sEAAsE;AACtE,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC/C,IAAI,EAAE,0BAA0B;IAChC,MAAM,EAAE,QAAQ;IAChB,GAAG,EAAE,WAAW;IAChB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE;CAChD,CAAC;AACF,+EAA+E;AAC/E,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,IAAI,EAAE,mBAAmB;IACzB,MAAM,EAAE,QAAQ;IAChB,GAAG,EAAE,WAAW;IAChB,8EAA8E;IAC9E,qFAAqF;IACrF,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE;CACzE,CAAC;AACF,sEAAsE;AACtE,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC/C,IAAI,EAAE,0BAA0B;IAChC,MAAM,EAAE,MAAM;IACd,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;IACtD,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,eAAe,EAAE;CAC9D,CAAC;AACF,8EAA8E;AAC9E,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,MAAM;IACd,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,eAAe,EAAE;CAC9D,CAAC;AACF,uDAAuD;AACvD,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,iBAAiB;IACvB,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,KAAK;IACV,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;CAC3D,CAAC;AACF,mEAAmE;AACnE,MAAM,CAAC,MAAM,sBAAsB,GAAa;IAC9C,IAAI,EAAE,yBAAyB;IAC/B,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;IACtD,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;CAC3D,CAAC;AACF,gDAAgD;AAChD,MAAM,CAAC,MAAM,UAAU,GAAa;IAClC,IAAI,EAAE,YAAY;IAClB,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,KAAK;IACV,UAAU,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE;CAC3D,CAAC;AACF,oFAAoF;AACpF,MAAM,CAAC,MAAM,eAAe,GAAa;IACvC,IAAI,EAAE,+BAA+B;IACrC,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE;CACzD,CAAC;AACF,0FAA0F;AAC1F,MAAM,CAAC,MAAM,kCAAkC,GAAa;IAC1D,IAAI,EAAE,qCAAqC;IAC3C,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE;CACzD,CAAC;AACF,wEAAwE;AACxE,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC/C,IAAI,EAAE,0BAA0B;IAChC,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE;CACzD,CAAC;AACF,wEAAwE;AACxE,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC/C,IAAI,EAAE,0BAA0B;IAChC,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE;CACzD,CAAC;AACF,wEAAwE;AACxE,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC/C,IAAI,EAAE,0BAA0B;IAChC,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE;CACzD,CAAC;AACF,sEAAsE;AACtE,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,sBAAsB;IAC5B,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE;CACzD,CAAC;AACF,qDAAqD;AACrD,MAAM,CAAC,MAAM,cAAc,GAAa;IACtC,IAAI,EAAE,gBAAgB;IACtB,MAAM,EAAE,IAAI;IACZ,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,0EAA0E;AAC1E,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,uBAAuB;IAC7B,MAAM,EAAE,SAAS;IACjB,GAAG,EAAE,aAAa;IAClB,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,+EAA+E;AAC/E,MAAM,CAAC,MAAM,iBAAiB,GAAa;IACzC,IAAI,EAAE,oBAAoB;IAC1B,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,6DAA6D;AAC7D,MAAM,CAAC,MAAM,qBAAqB,GAAa;IAC7C,IAAI,EAAE,wBAAwB;IAC9B,MAAM,EAAE,IAAI;IACZ,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC;AACF,mDAAmD;AACnD,MAAM,CAAC,MAAM,WAAW,GAAa;IACnC,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,KAAK;IACb,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE;CACzD,CAAC;AACF,6DAA6D;AAC7D,MAAM,CAAC,MAAM,mBAAmB,GAAa;IAC3C,IAAI,EAAE,sBAAsB;IAC5B,MAAM,EAAE,MAAM;IACd,GAAG,EAAE,IAAI;IACT,UAAU,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;CACjC,CAAC"}
|
|
@@ -5,24 +5,38 @@
|
|
|
5
5
|
* A `Quantity` is a node in the composition graph: a named physical
|
|
6
6
|
* quantity with an exact SI dimension (the ℤ⁷ exponent vector) and a
|
|
7
7
|
* SPARSE set of regime attributes. Attributes are deliberately
|
|
8
|
-
* `Partial` —
|
|
9
|
-
*
|
|
10
|
-
*
|
|
11
|
-
*
|
|
8
|
+
* `Partial` — the classification axes are unevenly load-bearing, so a
|
|
9
|
+
* quantity records only what is known and sourced.
|
|
10
|
+
*
|
|
11
|
+
* The axis TYPES + the classification registry live in `axes.ts` (the
|
|
12
|
+
* single source; `RegimeAttributes` references them). Symmetry, topology,
|
|
13
|
+
* and quantum statistics are now first-class attribute axes (2026-07-05
|
|
14
|
+
* extensible-axis expansion) — but they remain UNGATED in the discovery
|
|
15
|
+
* falsifier until the discrimination audit (`axis-audit.ts`) shows they
|
|
16
|
+
* actually fire on real candidates. The SI `Dimension` axis is separate
|
|
17
|
+
* (the 7-base system in `dimensional/`), not an attribute here.
|
|
12
18
|
*
|
|
13
19
|
* @module composition/quantity
|
|
14
20
|
*/
|
|
15
21
|
import type { Dimension } from '../dimensional/types.js';
|
|
22
|
+
import type { ScaleAxis, ForceAxis, InformationAxis, SymmetryAxis, TopologyAxis, StatisticsAxis } from './axes.js';
|
|
16
23
|
/**
|
|
17
|
-
* Sparse regime attributes — the
|
|
18
|
-
* container dimensions to node attributes.
|
|
24
|
+
* Sparse regime attributes — the classification axes demoted from
|
|
25
|
+
* container dimensions to node attributes. Values + the gated flags live
|
|
26
|
+
* in the `axes.ts` registry.
|
|
19
27
|
*
|
|
20
28
|
* @public
|
|
21
29
|
*/
|
|
22
30
|
export interface RegimeAttributes {
|
|
23
|
-
readonly scale?:
|
|
24
|
-
readonly force?:
|
|
25
|
-
readonly information?:
|
|
31
|
+
readonly scale?: ScaleAxis;
|
|
32
|
+
readonly force?: ForceAxis;
|
|
33
|
+
readonly information?: InformationAxis;
|
|
34
|
+
/** Symmetry class — first-class 2026-07-05; ungated until the audit earns it. */
|
|
35
|
+
readonly symmetry?: SymmetryAxis;
|
|
36
|
+
/** Topological invariant type — populates the Topology axis; ungated until the audit. */
|
|
37
|
+
readonly topology?: TopologyAxis;
|
|
38
|
+
/** Quantum statistics (the 7th axis); ungated until the audit confirms independent discrimination. */
|
|
39
|
+
readonly statistics?: StatisticsAxis;
|
|
26
40
|
}
|
|
27
41
|
/**
|
|
28
42
|
* A node in the composition graph: a physical quantity.
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"quantity.d.ts","sourceRoot":"","sources":["../../src/composition/quantity.ts"],"names":[],"mappings":"AAAA
|
|
1
|
+
{"version":3,"file":"quantity.d.ts","sourceRoot":"","sources":["../../src/composition/quantity.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,KAAK,EACV,SAAS,EACT,SAAS,EACT,eAAe,EACf,YAAY,EACZ,YAAY,EACZ,cAAc,EACf,MAAM,WAAW,CAAC;AAEnB;;;;;;GAMG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,WAAW,CAAC,EAAE,eAAe,CAAC;IACvC,iFAAiF;IACjF,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC;IACjC,yFAAyF;IACzF,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC;IACjC,sGAAsG;IACtG,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;CACtC;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,QAAQ;IACvB,4EAA4E;IAC5E,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,yCAAyC;IACzC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,+CAA+C;IAC/C,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,qDAAqD;IACrD,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAC;CACvC;AAID;;;;;;;;;;GAUG;AACH,wBAAgB,aAAa,CAC3B,CAAC,EAAE,gBAAgB,EACnB,CAAC,EAAE,gBAAgB,GAClB,OAAO,CAOT"}
|
|
@@ -5,10 +5,16 @@
|
|
|
5
5
|
* A `Quantity` is a node in the composition graph: a named physical
|
|
6
6
|
* quantity with an exact SI dimension (the ℤ⁷ exponent vector) and a
|
|
7
7
|
* SPARSE set of regime attributes. Attributes are deliberately
|
|
8
|
-
* `Partial` —
|
|
9
|
-
*
|
|
10
|
-
*
|
|
11
|
-
*
|
|
8
|
+
* `Partial` — the classification axes are unevenly load-bearing, so a
|
|
9
|
+
* quantity records only what is known and sourced.
|
|
10
|
+
*
|
|
11
|
+
* The axis TYPES + the classification registry live in `axes.ts` (the
|
|
12
|
+
* single source; `RegimeAttributes` references them). Symmetry, topology,
|
|
13
|
+
* and quantum statistics are now first-class attribute axes (2026-07-05
|
|
14
|
+
* extensible-axis expansion) — but they remain UNGATED in the discovery
|
|
15
|
+
* falsifier until the discrimination audit (`axis-audit.ts`) shows they
|
|
16
|
+
* actually fire on real candidates. The SI `Dimension` axis is separate
|
|
17
|
+
* (the 7-base system in `dimensional/`), not an attribute here.
|
|
12
18
|
*
|
|
13
19
|
* @module composition/quantity
|
|
14
20
|
*/
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"quantity.js","sourceRoot":"","sources":["../../src/composition/quantity.ts"],"names":[],"mappings":"AAAA
|
|
1
|
+
{"version":3,"file":"quantity.js","sourceRoot":"","sources":["../../src/composition/quantity.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAoDH,MAAM,WAAW,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,aAAa,CAAU,CAAC;AAE/D;;;;;;;;;;GAUG;AACH,MAAM,UAAU,aAAa,CAC3B,CAAmB,EACnB,CAAmB;IAEnB,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;QAC9B,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QAClB,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QAClB,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE;YAAE,OAAO,IAAI,CAAC;IACrE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}
|
|
@@ -17,25 +17,6 @@
|
|
|
17
17
|
*/
|
|
18
18
|
import { Dimension } from './types.js';
|
|
19
19
|
import { ExprNode } from './validator.js';
|
|
20
|
-
/**
|
|
21
|
-
* Per-bridge expected SI dimension lookup. Seeded with every entry that
|
|
22
|
-
* has an AST encoding registered in `src/bridges/equations/`. Add a new
|
|
23
|
-
* row whenever a new Tier-5 AST encoding lands; the
|
|
24
|
-
* `dimensional-signature-catalog` round-trip test plus the
|
|
25
|
-
* `Wave-G expected-dimension entries` size guard in
|
|
26
|
-
* `tests/dimensional/bridge-check.test.ts` enforce that this map stays
|
|
27
|
-
* in sync with the encoded modules.
|
|
28
|
-
*
|
|
29
|
-
* Entries with bracketed-product signatures (e.g. BE-19 `[T^-2]`,
|
|
30
|
-
* BE-47 `[L^-3 T^-1]`) require a constructed `Dimension` literal — see
|
|
31
|
-
* `T_INV2` and `INV_VOLUME_PER_TIME` above for the pattern.
|
|
32
|
-
*
|
|
33
|
-
* Not imported by any internal UPT module; exposed for downstream
|
|
34
|
-
* consumers who want to enumerate bridge dimensional expectations.
|
|
35
|
-
*
|
|
36
|
-
* @internal — may change without a semver bump as more bridges gain
|
|
37
|
-
* machine-evaluable ASTs.
|
|
38
|
-
*/
|
|
39
20
|
export declare const EXPECTED_DIMENSION_BY_BRIDGE: ReadonlyMap<number, Dimension>;
|
|
40
21
|
/**
|
|
41
22
|
* Infer the SI dimensional signature of a bridge equation expression.
|