universal-physics-tensor 6.1.0 → 7.0.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.
Files changed (113) hide show
  1. package/README.md +4 -4
  2. package/dist/atlas/physjs-entries.generated.d.ts +112 -1
  3. package/dist/atlas/physjs-entries.generated.d.ts.map +1 -1
  4. package/dist/atlas/physjs-entries.generated.js +125 -1
  5. package/dist/atlas/physjs-entries.generated.js.map +1 -1
  6. package/dist/atlas/physjs-ref.d.ts +7 -1
  7. package/dist/atlas/physjs-ref.d.ts.map +1 -1
  8. package/dist/atlas/physjs-ref.js +19 -1
  9. package/dist/atlas/physjs-ref.js.map +1 -1
  10. package/dist/bridges/condensed-r8-catalog.d.ts +28 -0
  11. package/dist/bridges/condensed-r8-catalog.d.ts.map +1 -0
  12. package/dist/bridges/condensed-r8-catalog.js +272 -0
  13. package/dist/bridges/condensed-r8-catalog.js.map +1 -0
  14. package/dist/bridges/condensed-r8.d.ts +260 -0
  15. package/dist/bridges/condensed-r8.d.ts.map +1 -0
  16. package/dist/bridges/condensed-r8.js +329 -0
  17. package/dist/bridges/condensed-r8.js.map +1 -0
  18. package/dist/bridges/evaluator-inputs.d.ts.map +1 -1
  19. package/dist/bridges/evaluator-inputs.js +19 -7
  20. package/dist/bridges/evaluator-inputs.js.map +1 -1
  21. package/dist/bridges/evaluators.d.ts.map +1 -1
  22. package/dist/bridges/evaluators.js +61 -0
  23. package/dist/bridges/evaluators.js.map +1 -1
  24. package/dist/bridges/index.d.ts +2 -0
  25. package/dist/bridges/index.d.ts.map +1 -1
  26. package/dist/bridges/index.js +6 -0
  27. package/dist/bridges/index.js.map +1 -1
  28. package/dist/canonical/entries/atomic.d.ts.map +1 -1
  29. package/dist/canonical/entries/atomic.js +4 -3
  30. package/dist/canonical/entries/atomic.js.map +1 -1
  31. package/dist/canonical/entries/electromagnetism.d.ts.map +1 -1
  32. package/dist/canonical/entries/electromagnetism.js +6 -2
  33. package/dist/canonical/entries/electromagnetism.js.map +1 -1
  34. package/dist/cli/commands/_discovery-opts.d.ts.map +1 -1
  35. package/dist/cli/commands/_discovery-opts.js +18 -1
  36. package/dist/cli/commands/_discovery-opts.js.map +1 -1
  37. package/dist/cli/commands/eval.d.ts.map +1 -1
  38. package/dist/cli/commands/eval.js +9 -1
  39. package/dist/cli/commands/eval.js.map +1 -1
  40. package/dist/cli/commands/evaluate.d.ts.map +1 -1
  41. package/dist/cli/commands/evaluate.js +25 -13
  42. package/dist/cli/commands/evaluate.js.map +1 -1
  43. package/dist/cli/commands/explain.d.ts.map +1 -1
  44. package/dist/cli/commands/explain.js +14 -3
  45. package/dist/cli/commands/explain.js.map +1 -1
  46. package/dist/cli/commands/map.js +1 -1
  47. package/dist/cli/commands/map.js.map +1 -1
  48. package/dist/cli/commands/regime.d.ts.map +1 -1
  49. package/dist/cli/commands/regime.js +15 -3
  50. package/dist/cli/commands/regime.js.map +1 -1
  51. package/dist/cli/search-index.d.ts +1 -1
  52. package/dist/cli/search-index.js +1 -1
  53. package/dist/cli/search-index.js.map +1 -1
  54. package/dist/cli-api.d.ts +7 -1
  55. package/dist/cli-api.d.ts.map +1 -1
  56. package/dist/cli-api.js +7 -1
  57. package/dist/cli-api.js.map +1 -1
  58. package/dist/composition/aliases.d.ts +10 -29
  59. package/dist/composition/aliases.d.ts.map +1 -1
  60. package/dist/composition/aliases.js +17 -66
  61. package/dist/composition/aliases.js.map +1 -1
  62. package/dist/composition/canonical-compare.d.ts.map +1 -1
  63. package/dist/composition/canonical-compare.js +4 -3
  64. package/dist/composition/canonical-compare.js.map +1 -1
  65. package/dist/composition/canonical-graph.d.ts +7 -4
  66. package/dist/composition/canonical-graph.d.ts.map +1 -1
  67. package/dist/composition/canonical-graph.js +17 -14
  68. package/dist/composition/canonical-graph.js.map +1 -1
  69. package/dist/composition/catalog-graph.d.ts.map +1 -1
  70. package/dist/composition/catalog-graph.js +2 -0
  71. package/dist/composition/catalog-graph.js.map +1 -1
  72. package/dist/composition/edges/condensed-r8.d.ts +30 -0
  73. package/dist/composition/edges/condensed-r8.d.ts.map +1 -0
  74. package/dist/composition/edges/condensed-r8.js +325 -0
  75. package/dist/composition/edges/condensed-r8.js.map +1 -0
  76. package/dist/composition/evaluate-relation.d.ts +16 -0
  77. package/dist/composition/evaluate-relation.d.ts.map +1 -1
  78. package/dist/composition/evaluate-relation.js +80 -18
  79. package/dist/composition/evaluate-relation.js.map +1 -1
  80. package/dist/composition/index.d.ts +5 -1
  81. package/dist/composition/index.d.ts.map +1 -1
  82. package/dist/composition/index.js +5 -1
  83. package/dist/composition/index.js.map +1 -1
  84. package/dist/composition/quantities/condensed-r8.d.ts +96 -0
  85. package/dist/composition/quantities/condensed-r8.d.ts.map +1 -0
  86. package/dist/composition/quantities/condensed-r8.js +107 -0
  87. package/dist/composition/quantities/condensed-r8.js.map +1 -0
  88. package/dist/composition/quantities.d.ts +1 -0
  89. package/dist/composition/quantities.d.ts.map +1 -1
  90. package/dist/composition/quantities.js +1 -0
  91. package/dist/composition/quantities.js.map +1 -1
  92. package/dist/composition/user-equation.d.ts +0 -10
  93. package/dist/composition/user-equation.d.ts.map +1 -1
  94. package/dist/composition/user-equation.js +5 -27
  95. package/dist/composition/user-equation.js.map +1 -1
  96. package/dist/dimensional/bridge-check.d.ts.map +1 -1
  97. package/dist/dimensional/bridge-check.js +13 -0
  98. package/dist/dimensional/bridge-check.js.map +1 -1
  99. package/dist/dimensional/formula-names.d.ts +49 -0
  100. package/dist/dimensional/formula-names.d.ts.map +1 -1
  101. package/dist/dimensional/formula-names.js +117 -0
  102. package/dist/dimensional/formula-names.js.map +1 -1
  103. package/dist/dimensional/units.d.ts.map +1 -1
  104. package/dist/dimensional/units.js +90 -34
  105. package/dist/dimensional/units.js.map +1 -1
  106. package/dist/index.d.ts +7 -1
  107. package/dist/index.d.ts.map +1 -1
  108. package/dist/index.js +7 -1
  109. package/dist/index.js.map +1 -1
  110. package/dist/numerical/binding-value.d.ts.map +1 -1
  111. package/dist/numerical/binding-value.js +6 -6
  112. package/dist/numerical/binding-value.js.map +1 -1
  113. package/package.json +1 -1
@@ -41,7 +41,11 @@
41
41
  * be-102 is the record from before that pin. PhysJS #67 adds be-126 through
42
42
  * be-133. The sentence that the pin is
43
43
  * `d519c2c6504e7fbbd2cf6932f9e52981ce595a0f` and that the table stops at
44
- * be-125 is the record from before that pin.
44
+ * be-125 is the record from before that pin. PhysJS #68 adds be-134 through
45
+ * be-146. The sentence that the pin is
46
+ * `8515c621d1c6e6d31c2eea4467181eb85d58234b` and that the table stops at
47
+ * be-133 is the record from before that pin. That ingestion adds
48
+ * `heisenberg_fraction`.
45
49
  *
46
50
  * @module atlas/physjs-ref
47
51
  */
@@ -81,6 +85,7 @@ const NESTED_FIELDS = [
81
85
  'referenceResistivity',
82
86
  'lundquist',
83
87
  'bohmFlux',
88
+ 'heisenberg_fraction',
84
89
  ];
85
90
  const ENTRY_FIELDS = new Set([
86
91
  'key',
@@ -243,6 +248,19 @@ const CATALOG_EQUATION_KEYS = new Set([
243
248
  'be-131',
244
249
  'be-132',
245
250
  'be-133',
251
+ 'be-134',
252
+ 'be-135',
253
+ 'be-136',
254
+ 'be-137',
255
+ 'be-138',
256
+ 'be-139',
257
+ 'be-140',
258
+ 'be-141',
259
+ 'be-142',
260
+ 'be-143',
261
+ 'be-144',
262
+ 'be-145',
263
+ 'be-146',
246
264
  ]);
247
265
  /**
248
266
  * Atlas keys are bridges. A catalog key whose theorem states the catalogued
@@ -1 +1 @@
1
- {"version":3,"file":"physjs-ref.js","sourceRoot":"","sources":["../../src/atlas/physjs-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAGH,OAAO,EACL,aAAa,EACb,cAAc,EACd,eAAe,EACf,gBAAgB,EAChB,cAAc,IAAI,wBAAwB,GAC3C,MAAM,+BAA+B,CAAC;AAEvC;;;;GAIG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAE9D;;;GAGG;AACH,MAAM,eAAe,GAAG,2BAA2B,CAAC;AAWpD,2EAA2E;AAC3E,MAAM,aAAa,GAAG;IACpB,WAAW;IACX,SAAS;IACT,WAAW;IACX,QAAQ;IACR,WAAW;IACX,WAAW;IACX,gBAAgB;IAChB,iBAAiB;IACjB,qBAAqB;IACrB,iBAAiB;IACjB,cAAc;IACd,YAAY;IACZ,sBAAsB;IACtB,aAAa;IACb,WAAW;IACX,SAAS;IACT,eAAe;IACf,kBAAkB;IAClB,WAAW;IACX,sBAAsB;IACtB,WAAW;IACX,UAAU;CACF,CAAC;AAIX,MAAM,YAAY,GAAG,IAAI,GAAG,CAAS;IACnC,KAAK;IACL,UAAU;IACV,SAAS;IACT,QAAQ;IACR,UAAU;IACV,WAAW;IACX,QAAQ;IACR,SAAS;IACT,GAAG,aAAa;CACjB,CAAC,CAAC;AAEH,mEAAmE;AACnE,MAAM,YAAY,GAAG,sCAAsC,CAAC;AAE5D;;;GAGG;AACH,MAAM,YAAY,GAAG,2BAA2B,CAAC;AAwEjD,MAAM,cAAc,GAA2B,wBAAwB,CAAC;AAExE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;AAE9E;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,GAAW;IACvC,OAAO,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC;AACtC,CAAC;AAED,mDAAmD;AACnD,SAAS,aAAa;IACpB,OAAO,UAAU,aAAa,IAAI,gBAAgB,YAAY,cAAc,YAAY,eAAe,EAAE,CAAC;AAC5G,CAAC;AAED;;;;GAIG;AACH,MAAM,wBAAwB,GAAqC;IACjE,QAAQ,EAAE,2BAA2B;IACrC,SAAS,EAAE,2BAA2B;CACvC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,OAAe;IAC5C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACjC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;QACxE,MAAM,IAAI,KAAK,CAAC,mBAAmB,OAAO,iCAAiC,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,wBAAwB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;AAClE,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,OAAO,gDAAgD,aAAa,SAAS,IAAI,EAAE,CAAC;AACtF,CAAC;AAED,+EAA+E;AAC/E,SAAS,kBAAkB,CAAC,OAAe;IACzC,OAAO,aAAa,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC;AAChD,CAAC;AAED;;;;GAIG;AACH,MAAM,qBAAqB,GAAwB,IAAI,GAAG,CAAC;IACzD,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;CACT,CAAC,CAAC;AAEH;;;;GAIG;AACH,SAAS,aAAa,CAAC,GAAW,EAAE,MAAc;IAChD,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC3C,IAAI,qBAAqB,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,QAAQ,CAAC;IACpD,IAAI,GAAG,KAAK,OAAO;QAAE,OAAO,UAAU,CAAC;IACvC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAClC,IACE,IAAI,KAAK,UAAU;QACnB,IAAI,KAAK,aAAa;QACtB,IAAI,KAAK,WAAW;QACpB,IAAI,KAAK,OAAO;QAChB,IAAI,KAAK,iBAAiB,EAC1B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,cAAc,CAC5B,OAAO,GAID,cAAc;IAEpB,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,IAAI,aAAa,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAClE,IAAI,IAAI,KAAK,QAAQ;YAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,GAAW;IACzC,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,GAAG,GAAG,CAAC,CAAC;IACtF,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACpD,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,KAAK,CAAC,GAAG,mCAAmC,CAAC,CAAC;IACvG,OAAO;QACL,MAAM,EAAE,cAAc;QACtB,SAAS,EAAE,KAAK,CAAC,OAAO;QACxB,OAAO,EAAE,aAAa,EAAE;QACxB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,QAAQ,EAAE,eAAe;QACzB,IAAI;QACJ,GAAG,EAAE,kBAAkB,CAAC,KAAK,CAAC,OAAO,CAAC;QACtC,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,MAAM,KAAK,CAAC,QAAQ,EAAE;KAC9C,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,QAA2B,EAAE,QAA2B;IAC1E,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AACpG,CAAC;AAED,SAAS,UAAU,CAAC,QAA2C,EAAE,QAA2C;IAC1G,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACnE,OAAO,CACL,QAAQ,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO;QACrC,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;QACnC,QAAQ,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ;QACvC,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS;QACzC,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAC7C,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,qBAAqB,CAAC,GAAW,EAAE,MAAc,EAAE,KAAa;IACvE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACtC,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,CAAC;IACtE,OAAO;QACL,GAAG,KAAK,KAAK,GAAG,gHAAgH;KACjI,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAKtC;IACC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChC,IAAI,QAAQ,CAAC,MAAM,KAAK,2BAA2B,EAAE,CAAC;QACpD,QAAQ,CAAC,IAAI,CAAC,uBAAuB,QAAQ,CAAC,MAAM,yCAAyC,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QACtC,QAAQ,CAAC,IAAI,CAAC,uBAAuB,QAAQ,CAAC,MAAM,gBAAgB,aAAa,GAAG,CAAC,CAAC;IACxF,CAAC;IACD,IAAI,QAAQ,CAAC,SAAS,KAAK,gBAAgB,EAAE,CAAC;QAC5C,QAAQ,CAAC,IAAI,CAAC,0BAA0B,QAAQ,CAAC,SAAS,gBAAgB,gBAAgB,GAAG,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,KAAK,cAAc,EAAE,CAAC;QACxC,QAAQ,CAAC,IAAI,CAAC,wBAAwB,QAAQ,CAAC,OAAO,gBAAgB,cAAc,GAAG,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,KAAK,eAAe,EAAE,CAAC;QACzC,QAAQ,CAAC,IAAI,CAAC,wBAAwB,QAAQ,CAAC,OAAO,gBAAgB,eAAe,GAAG,CAAC,CAAC;IAC5F,CAAC;IAED,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,eAAe,IAAI,cAAc,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC5G,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACzE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,iBAAiB,CAAC,CAAC;QACpF,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACpB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACvC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CAAC,mBAAmB,KAAK,CAAC,GAAG,2BAA2B,KAAK,GAAG,CAAC,CAAC;YACjF,CAAC;QACH,CAAC;QACD,IAAI,KAAK,CAAC,GAAG,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;YACjC,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,8BAA8B,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC;QAC3F,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;YACvC,QAAQ,CAAC,IAAI,CACX,wBAAwB,KAAK,CAAC,GAAG,SAAS,KAAK,CAAC,QAAQ,gBAAgB,eAAe,GAAG,CAC3F,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;YACnC,QAAQ,CAAC,IAAI,CAAC,kBAAkB,KAAK,CAAC,GAAG,SAAS,KAAK,CAAC,SAAS,wBAAwB,CAAC,CAAC;QAC7F,CAAC;QACD,MAAM,cAAc,GAAG,qBAAqB,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QACtF,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC;QACjC,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;YAClC,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,MAAM,KAAK,SAAS;gBAAE,SAAS;YACnC,IAAI,MAAM,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;gBACxC,QAAQ,CAAC,IAAI,CACX,GAAG,KAAK,yBAAyB,KAAK,CAAC,GAAG,SAAS,MAAM,CAAC,QAAQ,gBAAgB,eAAe,GAAG,CACrG,CAAC;YACJ,CAAC;YACD,IAAI,MAAM,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;gBACpC,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,mBAAmB,KAAK,CAAC,GAAG,SAAS,MAAM,CAAC,SAAS,wBAAwB,CAAC,CAAC;YACvG,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC;QACvF,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,gCAAgC,CAAC,CAAC;YAC1E,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC;QAC7B,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;YACvD,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,4CAA4C,GAAG,EAAE,MAAM,IAAI,MAAM,IAAI,CAC1F,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,IAAI,GAAG,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;YAC/E,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,mDAAmD,KAAK,CAAC,SAAS,CAAC,OAAO,8CAA8C,CAC7I,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;YAClC,IAAI,KAAK,KAAK,WAAW;gBAAE,SAAS;YACpC,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,SAAS,KAAK,MAAM,CAAC,OAAO,EAAE,CAAC;gBAC7D,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,gCAAgC,KAAK,aAAa,MAAM,CAAC,OAAO,8CAA8C,CACnI,CAAC;YACJ,CAAC;QACH,CAAC;QACD,IAAI,GAAG,CAAC,SAAS,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;YACpC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,iBAAiB,GAAG,CAAC,SAAS,2BAA2B,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC;QAC/G,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,aAAa,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,+BAA+B,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAChH,CAAC;QACJ,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC,CAAC;QACnF,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;YAC1C,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,+BAA+B,eAAe,GAAG,CAAC,CAAC;QACvF,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YACvC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,kCAAkC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACvF,CAAC;QACD,IAAI,GAAG,CAAC,OAAO,KAAK,aAAa,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;YAC1F,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,cAAc,GAAG,CAAC,OAAO,6BAA6B,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QAC9G,CAAC;QACD,IAAI,GAAG,CAAC,QAAQ,KAAK,YAAY,EAAE,CAAC;YAClC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,2BAA2B,CAAC,CAAC;QACjE,CAAC;QACD,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACpD,IAAI,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC5C,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,cAAc,GAAG,CAAC,IAAI,gBAAgB,IAAI,GAAG,CAAC,CAAC;QACnF,CAAC;QACD,MAAM,GAAG,GAAG,kBAAkB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC9C,IAAI,GAAG,CAAC,GAAG,KAAK,GAAG,EAAE,CAAC;YACpB,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,aAAa,GAAG,CAAC,GAAG,gBAAgB,GAAG,GAAG,CAAC,CAAC;QAChF,CAAC;QACD,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC9C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,sCAAsC,CAAC,CAAC;QAClF,CAAC;aAAM,IACL,QAAQ,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO;YAClC,QAAQ,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;YAChC,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;YACpC,aAAa,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EACzE,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,uBAAuB,KAAK,CAAC,GAAG,wCAAwC,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACnC,IAAI,MAAM,CAAC,SAAS,EAAE,MAAM,KAAK,cAAc;YAAE,SAAS;QAC1D,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,8BAA8B,MAAM,CAAC,EAAE,yBAAyB,CAAC,CAAC;QAClF,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}
1
+ {"version":3,"file":"physjs-ref.js","sourceRoot":"","sources":["../../src/atlas/physjs-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AAGH,OAAO,EACL,aAAa,EACb,cAAc,EACd,eAAe,EACf,gBAAgB,EAChB,cAAc,IAAI,wBAAwB,GAC3C,MAAM,+BAA+B,CAAC;AAEvC;;;;GAIG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAE9D;;;GAGG;AACH,MAAM,eAAe,GAAG,2BAA2B,CAAC;AAWpD,2EAA2E;AAC3E,MAAM,aAAa,GAAG;IACpB,WAAW;IACX,SAAS;IACT,WAAW;IACX,QAAQ;IACR,WAAW;IACX,WAAW;IACX,gBAAgB;IAChB,iBAAiB;IACjB,qBAAqB;IACrB,iBAAiB;IACjB,cAAc;IACd,YAAY;IACZ,sBAAsB;IACtB,aAAa;IACb,WAAW;IACX,SAAS;IACT,eAAe;IACf,kBAAkB;IAClB,WAAW;IACX,sBAAsB;IACtB,WAAW;IACX,UAAU;IACV,qBAAqB;CACb,CAAC;AAIX,MAAM,YAAY,GAAG,IAAI,GAAG,CAAS;IACnC,KAAK;IACL,UAAU;IACV,SAAS;IACT,QAAQ;IACR,UAAU;IACV,WAAW;IACX,QAAQ;IACR,SAAS;IACT,GAAG,aAAa;CACjB,CAAC,CAAC;AAEH,mEAAmE;AACnE,MAAM,YAAY,GAAG,sCAAsC,CAAC;AAE5D;;;GAGG;AACH,MAAM,YAAY,GAAG,2BAA2B,CAAC;AA0EjD,MAAM,cAAc,GAA2B,wBAAwB,CAAC;AAExE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;AAE9E;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,GAAW;IACvC,OAAO,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC;AACtC,CAAC;AAED,mDAAmD;AACnD,SAAS,aAAa;IACpB,OAAO,UAAU,aAAa,IAAI,gBAAgB,YAAY,cAAc,YAAY,eAAe,EAAE,CAAC;AAC5G,CAAC;AAED;;;;GAIG;AACH,MAAM,wBAAwB,GAAqC;IACjE,QAAQ,EAAE,2BAA2B;IACrC,SAAS,EAAE,2BAA2B;CACvC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,OAAe;IAC5C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACjC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;QACxE,MAAM,IAAI,KAAK,CAAC,mBAAmB,OAAO,iCAAiC,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,wBAAwB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;AAClE,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,OAAO,gDAAgD,aAAa,SAAS,IAAI,EAAE,CAAC;AACtF,CAAC;AAED,+EAA+E;AAC/E,SAAS,kBAAkB,CAAC,OAAe;IACzC,OAAO,aAAa,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC;AAChD,CAAC;AAED;;;;GAIG;AACH,MAAM,qBAAqB,GAAwB,IAAI,GAAG,CAAC;IACzD,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;CACT,CAAC,CAAC;AAEH;;;;GAIG;AACH,SAAS,aAAa,CAAC,GAAW,EAAE,MAAc;IAChD,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC3C,IAAI,qBAAqB,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,QAAQ,CAAC;IACpD,IAAI,GAAG,KAAK,OAAO;QAAE,OAAO,UAAU,CAAC;IACvC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAClC,IACE,IAAI,KAAK,UAAU;QACnB,IAAI,KAAK,aAAa;QACtB,IAAI,KAAK,WAAW;QACpB,IAAI,KAAK,OAAO;QAChB,IAAI,KAAK,iBAAiB,EAC1B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,cAAc,CAC5B,OAAO,GAID,cAAc;IAEpB,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,IAAI,aAAa,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAClE,IAAI,IAAI,KAAK,QAAQ;YAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,GAAW;IACzC,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,GAAG,GAAG,CAAC,CAAC;IACtF,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACpD,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,KAAK,CAAC,GAAG,mCAAmC,CAAC,CAAC;IACvG,OAAO;QACL,MAAM,EAAE,cAAc;QACtB,SAAS,EAAE,KAAK,CAAC,OAAO;QACxB,OAAO,EAAE,aAAa,EAAE;QACxB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,QAAQ,EAAE,eAAe;QACzB,IAAI;QACJ,GAAG,EAAE,kBAAkB,CAAC,KAAK,CAAC,OAAO,CAAC;QACtC,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,MAAM,KAAK,CAAC,QAAQ,EAAE;KAC9C,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,QAA2B,EAAE,QAA2B;IAC1E,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AACpG,CAAC;AAED,SAAS,UAAU,CAAC,QAA2C,EAAE,QAA2C;IAC1G,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACnE,OAAO,CACL,QAAQ,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO;QACrC,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;QACnC,QAAQ,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ;QACvC,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS;QACzC,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAC7C,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,qBAAqB,CAAC,GAAW,EAAE,MAAc,EAAE,KAAa;IACvE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACtC,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,CAAC;IACtE,OAAO;QACL,GAAG,KAAK,KAAK,GAAG,gHAAgH;KACjI,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAKtC;IACC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChC,IAAI,QAAQ,CAAC,MAAM,KAAK,2BAA2B,EAAE,CAAC;QACpD,QAAQ,CAAC,IAAI,CAAC,uBAAuB,QAAQ,CAAC,MAAM,yCAAyC,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QACtC,QAAQ,CAAC,IAAI,CAAC,uBAAuB,QAAQ,CAAC,MAAM,gBAAgB,aAAa,GAAG,CAAC,CAAC;IACxF,CAAC;IACD,IAAI,QAAQ,CAAC,SAAS,KAAK,gBAAgB,EAAE,CAAC;QAC5C,QAAQ,CAAC,IAAI,CAAC,0BAA0B,QAAQ,CAAC,SAAS,gBAAgB,gBAAgB,GAAG,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,KAAK,cAAc,EAAE,CAAC;QACxC,QAAQ,CAAC,IAAI,CAAC,wBAAwB,QAAQ,CAAC,OAAO,gBAAgB,cAAc,GAAG,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,KAAK,eAAe,EAAE,CAAC;QACzC,QAAQ,CAAC,IAAI,CAAC,wBAAwB,QAAQ,CAAC,OAAO,gBAAgB,eAAe,GAAG,CAAC,CAAC;IAC5F,CAAC;IAED,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,eAAe,IAAI,cAAc,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC5G,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACzE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,iBAAiB,CAAC,CAAC;QACpF,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACpB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACvC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CAAC,mBAAmB,KAAK,CAAC,GAAG,2BAA2B,KAAK,GAAG,CAAC,CAAC;YACjF,CAAC;QACH,CAAC;QACD,IAAI,KAAK,CAAC,GAAG,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;YACjC,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,8BAA8B,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC;QAC3F,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;YACvC,QAAQ,CAAC,IAAI,CACX,wBAAwB,KAAK,CAAC,GAAG,SAAS,KAAK,CAAC,QAAQ,gBAAgB,eAAe,GAAG,CAC3F,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;YACnC,QAAQ,CAAC,IAAI,CAAC,kBAAkB,KAAK,CAAC,GAAG,SAAS,KAAK,CAAC,SAAS,wBAAwB,CAAC,CAAC;QAC7F,CAAC;QACD,MAAM,cAAc,GAAG,qBAAqB,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QACtF,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC;QACjC,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;YAClC,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,MAAM,KAAK,SAAS;gBAAE,SAAS;YACnC,IAAI,MAAM,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;gBACxC,QAAQ,CAAC,IAAI,CACX,GAAG,KAAK,yBAAyB,KAAK,CAAC,GAAG,SAAS,MAAM,CAAC,QAAQ,gBAAgB,eAAe,GAAG,CACrG,CAAC;YACJ,CAAC;YACD,IAAI,MAAM,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;gBACpC,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,mBAAmB,KAAK,CAAC,GAAG,SAAS,MAAM,CAAC,SAAS,wBAAwB,CAAC,CAAC;YACvG,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC;QACvF,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,gCAAgC,CAAC,CAAC;YAC1E,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC;QAC7B,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;YACvD,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,4CAA4C,GAAG,EAAE,MAAM,IAAI,MAAM,IAAI,CAC1F,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,IAAI,GAAG,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;YAC/E,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,mDAAmD,KAAK,CAAC,SAAS,CAAC,OAAO,8CAA8C,CAC7I,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;YAClC,IAAI,KAAK,KAAK,WAAW;gBAAE,SAAS;YACpC,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,SAAS,KAAK,MAAM,CAAC,OAAO,EAAE,CAAC;gBAC7D,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,gCAAgC,KAAK,aAAa,MAAM,CAAC,OAAO,8CAA8C,CACnI,CAAC;YACJ,CAAC;QACH,CAAC;QACD,IAAI,GAAG,CAAC,SAAS,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;YACpC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,iBAAiB,GAAG,CAAC,SAAS,2BAA2B,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC;QAC/G,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,aAAa,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,+BAA+B,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAChH,CAAC;QACJ,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC,CAAC;QACnF,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;YAC1C,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,+BAA+B,eAAe,GAAG,CAAC,CAAC;QACvF,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YACvC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,kCAAkC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACvF,CAAC;QACD,IAAI,GAAG,CAAC,OAAO,KAAK,aAAa,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;YAC1F,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,cAAc,GAAG,CAAC,OAAO,6BAA6B,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QAC9G,CAAC;QACD,IAAI,GAAG,CAAC,QAAQ,KAAK,YAAY,EAAE,CAAC;YAClC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,2BAA2B,CAAC,CAAC;QACjE,CAAC;QACD,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACpD,IAAI,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC5C,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,cAAc,GAAG,CAAC,IAAI,gBAAgB,IAAI,GAAG,CAAC,CAAC;QACnF,CAAC;QACD,MAAM,GAAG,GAAG,kBAAkB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC9C,IAAI,GAAG,CAAC,GAAG,KAAK,GAAG,EAAE,CAAC;YACpB,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,aAAa,GAAG,CAAC,GAAG,gBAAgB,GAAG,GAAG,CAAC,CAAC;QAChF,CAAC;QACD,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC9C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,sCAAsC,CAAC,CAAC;QAClF,CAAC;aAAM,IACL,QAAQ,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO;YAClC,QAAQ,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;YAChC,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;YACpC,aAAa,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EACzE,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,uBAAuB,KAAK,CAAC,GAAG,wCAAwC,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACnC,IAAI,MAAM,CAAC,SAAS,EAAE,MAAM,KAAK,cAAc;YAAE,SAAS;QAC1D,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,8BAA8B,MAAM,CAAC,EAAE,yBAAyB,CAAC,CAAC;QAClF,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}
@@ -0,0 +1,28 @@
1
+ /**
2
+ * Catalog rows for BE-134 through BE-146.
3
+ *
4
+ * Registered through `registerBridge`. No right-hand-side AST: each row's
5
+ * numeric body is the evaluator.
6
+ *
7
+ * @module bridges/condensed-r8-catalog
8
+ */
9
+ /** Condensed-matter catalog rows, in id order. */
10
+ export declare const CONDENSED_R8_CATALOG_ROWS: {
11
+ id: number;
12
+ name: string;
13
+ category: string;
14
+ category_name: string;
15
+ bridges: [string, string];
16
+ status: 'established';
17
+ context: string;
18
+ formula_latex: string;
19
+ source_part: 'III';
20
+ source_section: string;
21
+ known_issues: never[];
22
+ references: string[];
23
+ dependencies: never[];
24
+ dimensional_signature: string;
25
+ tractability_class: 'closed-form';
26
+ notes: string;
27
+ }[];
28
+ //# sourceMappingURL=condensed-r8-catalog.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"condensed-r8-catalog.d.ts","sourceRoot":"","sources":["../../src/bridges/condensed-r8-catalog.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,kDAAkD;AAClD,eAAO,MAAM,yBAAyB;;;;;aAMG,CAAC,MAAM,EAAE,MAAM,CAAC;YAC7C,aAAa;;;iBAIR,KAAK;;;;;;wBAQE,aAAa;;GAkQpC,CAAC"}
@@ -0,0 +1,272 @@
1
+ /**
2
+ * Catalog rows for BE-134 through BE-146.
3
+ *
4
+ * Registered through `registerBridge`. No right-hand-side AST: each row's
5
+ * numeric body is the evaluator.
6
+ *
7
+ * @module bridges/condensed-r8-catalog
8
+ */
9
+ /** Condensed-matter catalog rows, in id order. */
10
+ export const CONDENSED_R8_CATALOG_ROWS = [
11
+ {
12
+ id: 134,
13
+ name: 'Bloch magnon deficit',
14
+ category: 'F',
15
+ category_name: 'Condensed Matter - High Energy Bridges',
16
+ bridges: ['condensed', 'quantum'],
17
+ status: 'established',
18
+ context: 'Quadratic magnons and one Bohr magneton per magnon give ΔM = μ_B ζ(3/2) (k_B T / (4 π D))^{3/2}. ζ(3/2) is the Bose integral and is not evaluated. g μ_B at g = 2 is not that moment. D = 2 J S a² and M(0) = μ_B S / a³ are the nested heisenberg_fraction object. Bloch law. Magnons',
19
+ formula_latex: '\\Delta M = \\mu_B \\zeta(3/2) \\left(k_B T / (4 \\pi D)\\right)^{3/2}',
20
+ source_part: 'III',
21
+ source_section: 'Condensed-matter catalog (be-134) — established textbook relation, PhysJS.BlochLaw.bloch_law',
22
+ known_issues: [],
23
+ references: [
24
+ 'The Bose integral is a hypothesis of PhysJS.BlochLaw.bloch_law, the same kind as π⁴/15 in be-90. ζ(3/2) is an input.',
25
+ ],
26
+ dependencies: [],
27
+ dimensional_signature: '[L^-1 I]',
28
+ tractability_class: 'closed-form',
29
+ notes: 'Closed-form evaluator evaluateBlochLaw in src/bridges/condensed-r8.ts. The overlay formalRef is PhysJS.BlochLaw.bloch_law, kind bridge. heisenberg_fraction is nested and is not the formalRef. The catalog path passes the top-level theorem, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
30
+ },
31
+ {
32
+ id: 135,
33
+ name: 'Three-dimensional density of states',
34
+ category: 'F',
35
+ category_name: 'Condensed Matter - High Energy Bridges',
36
+ bridges: ['quantum', 'condensed'],
37
+ status: 'established',
38
+ context: 'Two spins, k³ = 3 π² n, and E = ℏ² k² / (2 m) give g(E) = (1/(2 π²)) (2 m / ℏ²)^{3/2} √E per volume per energy. One spin replaces 1/(2 π²) by 1/(4 π²). Not the Fermi wavevector of be-88. Density of states',
39
+ formula_latex: 'g(E) = \\frac{1}{2\\pi^2}\\left(\\frac{2m}{\\hbar^2}\\right)^{3/2}\\sqrt{E}',
40
+ source_part: 'III',
41
+ source_section: 'Condensed-matter catalog (be-135) — established textbook relation, PhysJS.DensityOfStates3D.dos_3d',
42
+ known_issues: [],
43
+ references: [
44
+ 'The two-spin count and the isotropic parabola are the hypotheses of PhysJS.DensityOfStates3D.dos_3d.',
45
+ ],
46
+ dependencies: [],
47
+ dimensional_signature: '[L^-5 M^-1 T^2]',
48
+ tractability_class: 'closed-form',
49
+ notes: 'Closed-form evaluator evaluateDensityOfStates3D in src/bridges/condensed-r8.ts. The overlay formalRef is PhysJS.DensityOfStates3D.dos_3d, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
50
+ },
51
+ {
52
+ id: 136,
53
+ name: 'Two-dimensional density of states',
54
+ category: 'F',
55
+ category_name: 'Condensed Matter - High Energy Bridges',
56
+ bridges: ['condensed', 'quantum'],
57
+ status: 'established',
58
+ context: 'Two spins in the disk give g = m / (π ℏ²) per area, independent of energy. A valley factor other than 1 is not this density. Density of states',
59
+ formula_latex: 'g = m / (\\pi \\hbar^2)',
60
+ source_part: 'III',
61
+ source_section: 'Condensed-matter catalog (be-136) — established textbook relation, PhysJS.DensityOfStates2D.dos_2d',
62
+ known_issues: [],
63
+ references: [
64
+ 'The two-spin disk and the isotropic parabola are the hypotheses of PhysJS.DensityOfStates2D.dos_2d.',
65
+ ],
66
+ dependencies: [],
67
+ dimensional_signature: '[L^-4 M^-1 T^2]',
68
+ tractability_class: 'closed-form',
69
+ notes: 'Closed-form evaluator evaluateDensityOfStates2D in src/bridges/condensed-r8.ts. The overlay formalRef is PhysJS.DensityOfStates2D.dos_2d, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
70
+ },
71
+ {
72
+ id: 137,
73
+ name: 'Thomas–Fermi wavevector squared',
74
+ category: 'F',
75
+ category_name: 'Condensed Matter - High Energy Bridges',
76
+ bridges: ['electromagnetic', 'condensed'],
77
+ status: 'established',
78
+ context: 'Poisson and δn = g(E_F) e φ give k_TF² = e² g(E_F) / ε0. For the parabolic gas g(E_F) = (3/2) n / E_F, so k_TF² = (e² / ε0) (3 n) / (2 E_F). e is the elementary charge. A flat density leaves the factor 1. Not the classical Debye length. Thomas–Fermi',
79
+ formula_latex: 'k_{TF}^2 = (e^2 / \\varepsilon_0) (3 n) / (2 E_F)',
80
+ source_part: 'III',
81
+ source_section: 'Condensed-matter catalog (be-137) — established textbook relation, PhysJS.ThomasFermi.thomas_fermi',
82
+ known_issues: [],
83
+ references: [
84
+ 'The screened exponential and the parabolic density of states are the hypotheses of PhysJS.ThomasFermi.thomas_fermi. g(E_F) = (3/2) n/E_F is PhysJS.FermiSea.dos_factor.',
85
+ ],
86
+ dependencies: [],
87
+ dimensional_signature: '[L^-2]',
88
+ tractability_class: 'closed-form',
89
+ notes: 'Closed-form evaluator evaluateThomasFermi in src/bridges/condensed-r8.ts. The edge value is k_TF². The overlay formalRef is PhysJS.ThomasFermi.thomas_fermi, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
90
+ },
91
+ {
92
+ id: 138,
93
+ name: 'Built-in voltage',
94
+ category: 'F',
95
+ category_name: 'Condensed Matter - High Energy Bridges',
96
+ bridges: ['condensed', 'electromagnetic'],
97
+ status: 'established',
98
+ context: 'Complete ionization and Boltzmann tails give V_bi = (k_B T / e) ln(N_A N_D / n_i²). e is the elementary charge. The product n_p N_A = n_i² is the be-99 conclusion as an input. Not the ideal diode of be-82. Built-in voltage. p–n junction',
99
+ formula_latex: 'V_{bi} = (k_B T / e) \\ln(N_A N_D / n_i^2)',
100
+ source_part: 'III',
101
+ source_section: 'Condensed-matter catalog (be-138) — established textbook relation, PhysJS.BuiltinVoltage.builtin_voltage',
102
+ known_issues: [],
103
+ references: [
104
+ 'Complete ionization and the Boltzmann tails are the hypotheses of PhysJS.BuiltinVoltage.builtin_voltage. e is the elementary charge.',
105
+ ],
106
+ dependencies: [],
107
+ dimensional_signature: '[L^2 M T^-3 I^-1]',
108
+ tractability_class: 'closed-form',
109
+ notes: 'Closed-form evaluator evaluateBuiltinVoltage in src/bridges/condensed-r8.ts. The overlay formalRef is PhysJS.BuiltinVoltage.builtin_voltage, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
110
+ },
111
+ {
112
+ id: 139,
113
+ name: 'Semiconductor Fermi offset',
114
+ category: 'F',
115
+ category_name: 'Condensed Matter - High Energy Bridges',
116
+ bridges: ['quantum', 'condensed'],
117
+ status: 'established',
118
+ context: 'n = p on Boltzmann tails gives E_F − (E_c + E_v)/2 = (3/4) k_B T ln(m_h* / m_e*). The 3/4 is half of 3/2. Complete ionization gives E_c − E_F = k_B T ln(N_c / N_D). Dropping the 3/2 leaves 1/2. Not a Fermi–Dirac integral. Fermi level',
119
+ formula_latex: 'E_F - (E_c + E_v)/2 = (3/4) k_B T \\ln(m_h^*/m_e^*),\\quad E_c - E_F = k_B T \\ln(N_c/N_D)',
120
+ source_part: 'III',
121
+ source_section: 'Condensed-matter catalog (be-139) — established textbook relation, PhysJS.SemiconductorFermi.fermi_level',
122
+ known_issues: [],
123
+ references: [
124
+ 'Both energies are the conclusion of PhysJS.SemiconductorFermi.fermi_level. The edge value is the intrinsic offset.',
125
+ ],
126
+ dependencies: [],
127
+ dimensional_signature: '[energy]',
128
+ tractability_class: 'closed-form',
129
+ notes: 'Closed-form evaluator evaluateSemiconductorFermi in src/bridges/condensed-r8.ts. The edge value is the intrinsic offset. The extrinsic energy is on the same result and is not a second edge. The overlay formalRef is PhysJS.SemiconductorFermi.fermi_level, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
130
+ },
131
+ {
132
+ id: 140,
133
+ name: 'Onsager frequency',
134
+ category: 'F',
135
+ category_name: 'Condensed Matter - High Energy Bridges',
136
+ bridges: ['electromagnetic', 'condensed'],
137
+ status: 'established',
138
+ context: 'The orbit area steps by 1, so γ cancels and F = ℏ A / (2 π e), with Δ(1/B) = 1/F. e is the elementary charge. F has the dimension of a magnetic field. Dropping γ on one orbit is not a step of 1. Onsager. de Haas',
139
+ formula_latex: 'F = \\hbar A / (2 \\pi e)',
140
+ source_part: 'III',
141
+ source_section: 'Condensed-matter catalog (be-140) — established textbook relation, PhysJS.OnsagerFrequency.onsager_frequency',
142
+ known_issues: [],
143
+ references: [
144
+ 'The semiclassical area condition is the hypothesis of PhysJS.OnsagerFrequency.onsager_frequency. e is the elementary charge.',
145
+ ],
146
+ dependencies: [],
147
+ dimensional_signature: '[M T^-2 I^-1]',
148
+ tractability_class: 'closed-form',
149
+ notes: 'Closed-form evaluator evaluateOnsagerFrequency in src/bridges/condensed-r8.ts. The overlay formalRef is PhysJS.OnsagerFrequency.onsager_frequency, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
150
+ },
151
+ {
152
+ id: 141,
153
+ name: 'Josephson inductance',
154
+ category: 'F',
155
+ category_name: 'Condensed Matter - High Energy Bridges',
156
+ bridges: ['condensed', 'electromagnetic'],
157
+ status: 'established',
158
+ context: 'I = I_c sin φ and V = (ℏ / (2 e)) dφ/dt. At φ = 0, cos φ = 1, so L_J = ℏ / (2 e I_c). Φ₀ = h / (2 e) and h = 2 π ℏ give L_J = Φ₀ / (2 π I_c). e is the elementary charge. A phase with cos φ ≠ 1 is not this inductance. Not the frequency of be-59. Josephson inductance',
159
+ formula_latex: 'L_J = \\hbar / (2 e I_c)',
160
+ source_part: 'III',
161
+ source_section: 'Condensed-matter catalog (be-141) — established textbook relation, PhysJS.JosephsonInductance.inductance_eq',
162
+ known_issues: [],
163
+ references: [
164
+ 'The Josephson equations and φ = 0 are the hypotheses of PhysJS.JosephsonInductance.inductance_eq. e is the elementary charge.',
165
+ ],
166
+ dependencies: [],
167
+ dimensional_signature: '[L^2 M T^-2 I^-2]',
168
+ tractability_class: 'closed-form',
169
+ notes: 'Closed-form evaluator evaluateJosephsonInductance in src/bridges/condensed-r8.ts. The overlay formalRef is PhysJS.JosephsonInductance.inductance_eq, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
170
+ },
171
+ {
172
+ id: 142,
173
+ name: 'Lower critical field',
174
+ category: 'F',
175
+ category_name: 'Condensed Matter - High Energy Bridges',
176
+ bridges: ['electromagnetic', 'condensed'],
177
+ status: 'established',
178
+ context: 'The London line energy with the core cutoff ξ ≤ r ≤ λ gives B_c1 = (Φ₀ / (4 π λ²)) ln(λ/ξ), with Φ₀ = h / (2 e). e is the elementary charge. An additive constant under the logarithm changes the field and not the prefactor. Not be-96. Lower critical field',
179
+ formula_latex: 'B_{c1} = (\\Phi_0 / (4 \\pi \\lambda^2)) \\ln(\\lambda / \\xi)',
180
+ source_part: 'III',
181
+ source_section: 'Condensed-matter catalog (be-142) — established textbook relation, PhysJS.LowerCritical.lower_critical',
182
+ known_issues: [],
183
+ references: [
184
+ 'The core cutoff is the hypothesis of PhysJS.LowerCritical.lower_critical. Φ₀ = h/(2 e).',
185
+ ],
186
+ dependencies: [],
187
+ dimensional_signature: '[M T^-2 I^-1]',
188
+ tractability_class: 'closed-form',
189
+ notes: 'Closed-form evaluator evaluateLowerCritical in src/bridges/condensed-r8.ts. The overlay formalRef is PhysJS.LowerCritical.lower_critical, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
190
+ },
191
+ {
192
+ id: 143,
193
+ name: 'AC Drude conductivity',
194
+ category: 'F',
195
+ category_name: 'Condensed Matter - High Energy Bridges',
196
+ bridges: ['condensed', 'electromagnetic'],
197
+ status: 'established',
198
+ context: 'The cosine transform of exp(−t/τ) gives Re σ = σ₀ / (1 + ω² τ²), with σ₀ = n e² τ / m. e is the elementary charge. Dropping the DC 1 is not this conductivity. Not be-123. Drude. AC conductivity',
199
+ formula_latex: '\\mathrm{Re}\\,\\sigma = \\sigma_0 / (1 + \\omega^2 \\tau^2),\\quad \\sigma_0 = n e^2 \\tau / m',
200
+ source_part: 'III',
201
+ source_section: 'Condensed-matter catalog (be-143) — established textbook relation, PhysJS.AcDrude.ac_drude',
202
+ known_issues: [],
203
+ references: [
204
+ 'The relaxation transform is the hypothesis of PhysJS.AcDrude.ac_drude. σ₀ = n e² τ / m is an input of that theorem and is evaluated here from n, m, and τ. e is the elementary charge.',
205
+ ],
206
+ dependencies: [],
207
+ dimensional_signature: '[L^-3 M^-1 T^3 I^2]',
208
+ tractability_class: 'closed-form',
209
+ notes: 'Closed-form evaluator evaluateAcDrude in src/bridges/condensed-r8.ts. The edge value is Re σ. The overlay formalRef is PhysJS.AcDrude.ac_drude, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
210
+ },
211
+ {
212
+ id: 144,
213
+ name: 'Matthiessen lifetime',
214
+ category: 'F',
215
+ category_name: 'Condensed Matter - High Energy Bridges',
216
+ bridges: ['condensed', 'quantum'],
217
+ status: 'established',
218
+ context: 'Independent Poisson processes give 1/τ = 1/τ₁ + 1/τ₂. One Drude factor ρ_i = C / τ_i makes ρ = ρ₁ + ρ₂. One lifetime is not the parallel sum. Not a collision integral. Matthiessen',
219
+ formula_latex: '1/\\tau = 1/\\tau_1 + 1/\\tau_2',
220
+ source_part: 'III',
221
+ source_section: 'Condensed-matter catalog (be-144) — established textbook relation, PhysJS.Matthiessen.matthiessen',
222
+ known_issues: [],
223
+ references: [
224
+ 'Independence of the two Poisson processes is the hypothesis of PhysJS.Matthiessen.matthiessen. The edge value is τ.',
225
+ ],
226
+ dependencies: [],
227
+ dimensional_signature: '[time]',
228
+ tractability_class: 'closed-form',
229
+ notes: 'Closed-form evaluator evaluateMatthiessen in src/bridges/condensed-r8.ts. The edge value is the parallel lifetime. The resistivity sum is on the same result and is not a second edge. The overlay formalRef is PhysJS.Matthiessen.matthiessen, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
230
+ },
231
+ {
232
+ id: 145,
233
+ name: 'Stoner susceptibility',
234
+ category: 'F',
235
+ category_name: 'Condensed Matter - High Energy Bridges',
236
+ bridges: ['quantum', 'condensed'],
237
+ status: 'established',
238
+ context: 'The geometric series of bubbles gives χ = χ_P / (1 − I g(E_F)) for |I g(E_F)| < 1. The pole 1 − I g(E_F) = 0 is the same formula as I g(E_F) = 1. χ_P is be-94 and is not re-proved. The first two bubbles are not the closed form. Stoner',
239
+ formula_latex: '\\chi = \\chi_P / (1 - I g(E_F))',
240
+ source_part: 'III',
241
+ source_section: 'Condensed-matter catalog (be-145) — established textbook relation, PhysJS.Stoner.stoner',
242
+ known_issues: [],
243
+ references: [
244
+ 'The geometric series for |I g(E_F)| < 1 is the hypothesis of PhysJS.Stoner.stoner. χ_P is be-94.',
245
+ ],
246
+ dependencies: [],
247
+ dimensional_signature: '[1]',
248
+ tractability_class: 'closed-form',
249
+ notes: 'Closed-form evaluator evaluateStoner in src/bridges/condensed-r8.ts. The overlay formalRef is PhysJS.Stoner.stoner, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
250
+ },
251
+ {
252
+ id: 146,
253
+ name: 'Gorter–Casimir fraction',
254
+ category: 'F',
255
+ category_name: 'Condensed Matter - High Energy Bridges',
256
+ bridges: ['condensed', 'electromagnetic'],
257
+ status: 'established',
258
+ context: 'The exponent 4 is a hypothesis. n_s/n = 1 − (T/T_c)^4, and the London depths of be-75, not re-proved, give λ(T) = λ(0) / √(1 − (T/T_c)^4). The exponent 2 is not 4 when the reduced temperature is neither 0 nor 1. Not a BCS gap and not a second proof of be-75. Gorter–Casimir. Two-fluid',
259
+ formula_latex: 'n_s/n = 1 - (T/T_c)^4',
260
+ source_part: 'III',
261
+ source_section: 'Condensed-matter catalog (be-146) — established textbook relation, PhysJS.GorterCasimir.gorter_casimir',
262
+ known_issues: [],
263
+ references: [
264
+ 'The exponent p = 4 is the hypothesis of PhysJS.GorterCasimir.gorter_casimir. The edge value is n_s/n.',
265
+ ],
266
+ dependencies: [],
267
+ dimensional_signature: '[1]',
268
+ tractability_class: 'closed-form',
269
+ notes: 'Closed-form evaluator evaluateGorterCasimir in src/bridges/condensed-r8.ts. The edge value is n_s/n. λ(T) is on the same result and is not a second edge. The overlay formalRef is PhysJS.GorterCasimir.gorter_casimir, kind bridge. The catalog path passes it, so catalog evidence and edge evidence are formally-proved. The edge confidence stays established. No confrontation.',
270
+ },
271
+ ];
272
+ //# sourceMappingURL=condensed-r8-catalog.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"condensed-r8-catalog.js","sourceRoot":"","sources":["../../src/bridges/condensed-r8-catalog.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,kDAAkD;AAClD,MAAM,CAAC,MAAM,yBAAyB,GAAG;IACvC;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,sBAAsB;QAC5B,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,wCAAwC;QACvD,OAAO,EAAE,CAAC,WAAW,EAAE,SAAS,CAAqB;QACrD,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,wRAAwR;QAC1R,aAAa,EAAE,wEAAwE;QACvF,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,8FAA8F;QAC9G,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,sHAAsH;SACvH;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,UAAU;QACjC,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,oWAAoW;KAC5W;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,qCAAqC;QAC3C,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,wCAAwC;QACvD,OAAO,EAAE,CAAC,SAAS,EAAE,WAAW,CAAqB;QACrD,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,8MAA8M;QAChN,aAAa,EAAE,6EAA6E;QAC5F,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,oGAAoG;QACpH,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,sGAAsG;SACvG;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,iBAAiB;QACxC,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,wSAAwS;KAChT;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,mCAAmC;QACzC,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,wCAAwC;QACvD,OAAO,EAAE,CAAC,WAAW,EAAE,SAAS,CAAqB;QACrD,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,gJAAgJ;QAClJ,aAAa,EAAE,yBAAyB;QACxC,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,oGAAoG;QACpH,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,qGAAqG;SACtG;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,iBAAiB;QACxC,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,wSAAwS;KAChT;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,iCAAiC;QACvC,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,wCAAwC;QACvD,OAAO,EAAE,CAAC,iBAAiB,EAAE,WAAW,CAAqB;QAC7D,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,2PAA2P;QAC7P,aAAa,EAAE,mDAAmD;QAClE,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,oGAAoG;QACpH,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,yKAAyK;SAC1K;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,QAAQ;QAC/B,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,2TAA2T;KACnU;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,kBAAkB;QACxB,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,wCAAwC;QACvD,OAAO,EAAE,CAAC,WAAW,EAAE,iBAAiB,CAAqB;QAC7D,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,8OAA8O;QAChP,aAAa,EAAE,4CAA4C;QAC3D,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,0GAA0G;QAC1H,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,sIAAsI;SACvI;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,mBAAmB;QAC1C,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,2SAA2S;KACnT;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,4BAA4B;QAClC,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,wCAAwC;QACvD,OAAO,EAAE,CAAC,SAAS,EAAE,WAAW,CAAqB;QACrD,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,2OAA2O;QAC7O,aAAa,EACX,4FAA4F;QAC9F,WAAW,EAAE,KAAc;QAC3B,cAAc,EACZ,0GAA0G;QAC5G,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,oHAAoH;SACrH;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,UAAU;QACjC,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,4ZAA4Z;KACpa;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,mBAAmB;QACzB,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,wCAAwC;QACvD,OAAO,EAAE,CAAC,iBAAiB,EAAE,WAAW,CAAqB;QAC7D,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,qNAAqN;QACvN,aAAa,EAAE,2BAA2B;QAC1C,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,8GAA8G;QAC9H,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,8HAA8H;SAC/H;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,eAAe;QACtC,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,iTAAiT;KACzT;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,sBAAsB;QAC5B,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,wCAAwC;QACvD,OAAO,EAAE,CAAC,WAAW,EAAE,iBAAiB,CAAqB;QAC7D,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,2QAA2Q;QAC7Q,aAAa,EAAE,0BAA0B;QACzC,WAAW,EAAE,KAAc;QAC3B,cAAc,EACZ,6GAA6G;QAC/G,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,+HAA+H;SAChI;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,mBAAmB;QAC1C,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,mTAAmT;KAC3T;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,sBAAsB;QAC5B,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,wCAAwC;QACvD,OAAO,EAAE,CAAC,iBAAiB,EAAE,WAAW,CAAqB;QAC7D,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,gQAAgQ;QAClQ,aAAa,EAAE,gEAAgE;QAC/E,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,wGAAwG;QACxH,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,yFAAyF;SAC1F;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,eAAe;QACtC,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,wSAAwS;KAChT;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,uBAAuB;QAC7B,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,wCAAwC;QACvD,OAAO,EAAE,CAAC,WAAW,EAAE,iBAAiB,CAAqB;QAC7D,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,mMAAmM;QACrM,aAAa,EAAE,iGAAiG;QAChH,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,4FAA4F;QAC5G,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,wLAAwL;SACzL;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,qBAAqB;QAC5C,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,8SAA8S;KACtT;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,sBAAsB;QAC5B,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,wCAAwC;QACvD,OAAO,EAAE,CAAC,WAAW,EAAE,SAAS,CAAqB;QACrD,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,qLAAqL;QACvL,aAAa,EAAE,iCAAiC;QAChD,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,mGAAmG;QACnH,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,qHAAqH;SACtH;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,QAAQ;QAC/B,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,8YAA8Y;KACtZ;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,uBAAuB;QAC7B,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,wCAAwC;QACvD,OAAO,EAAE,CAAC,SAAS,EAAE,WAAW,CAAqB;QACrD,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,4OAA4O;QAC9O,aAAa,EAAE,kCAAkC;QACjD,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,yFAAyF;QACzG,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,kGAAkG;SACnG;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,KAAK;QAC5B,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,kRAAkR;KAC1R;IACD;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,yBAAyB;QAC/B,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,wCAAwC;QACvD,OAAO,EAAE,CAAC,WAAW,EAAE,iBAAiB,CAAqB;QAC7D,MAAM,EAAE,aAAsB;QAC9B,OAAO,EACL,8RAA8R;QAChS,aAAa,EAAE,uBAAuB;QACtC,WAAW,EAAE,KAAc;QAC3B,cAAc,EAAE,wGAAwG;QACxH,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE;YACV,uGAAuG;SACxG;QACD,YAAY,EAAE,EAAE;QAChB,qBAAqB,EAAE,KAAK;QAC5B,kBAAkB,EAAE,aAAsB;QAC1C,KAAK,EAAE,sXAAsX;KAC9X;CACF,CAAC"}