universal-physics-tensor 9.0.0 → 11.0.0

package/dist/bridges/sensitivity.d.ts

@@ -1,16 +1,24 @@
 /**
  * Deciding-measurement elasticity for value-kind confrontations. For each
- * numeric input of a stored prediction point, report the dimensionless
- * log-sensitivity E_i = |∂P/∂x_i|·x_i/P. This ranks which input the
- * prediction depends on most strongly. It is not an uncertainty budget.
+ * input of a stored prediction point, report the dimensionless
+ * log-sensitivity E_i = |∂P/∂x_i|·x_i/P of the number the record predicts.
+ * This ranks which input the prediction depends on most strongly. It is not
+ * an uncertainty budget.
  *
  * @module bridges/sensitivity
  */
+import type { CatalogPrediction } from './catalog-types.js';
 /** One input's elasticity. @public */
 export interface Elasticity {
     readonly input: string;
     readonly elasticity: number;
 }
+/**
+ * The number a confrontation's prediction point yields: the evaluator's value
+ * at the point, or the extra output the prediction names.
+ * @internal
+ */
+export declare function predictedAt(catalogId: number, prediction: CatalogPrediction, inputs: Record<string, number>): number;
 /**
  * Elasticity ranking for a value-kind confrontation that stores a prediction
  * point. `[]` when the record is not value-kind, has no point, or is absent.

package/dist/bridges/sensitivity.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"sensitivity.d.ts","sourceRoot":"","sources":["../../src/bridges/sensitivity.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAMH,sCAAsC;AACtC,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAiBD;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,SAAS,EAAE,MAAM,GAAG,UAAU,EAAE,CAUnE"}
+{"version":3,"file":"sensitivity.d.ts","sourceRoot":"","sources":["../../src/bridges/sensitivity.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAG5D,sCAAsC;AACtC,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAgBD;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,MAAM,CAQpH;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,SAAS,EAAE,MAAM,GAAG,UAAU,EAAE,CASnE"}

package/dist/bridges/sensitivity.js

@@ -1,25 +1,41 @@
 /**
  * Deciding-measurement elasticity for value-kind confrontations. For each
- * numeric input of a stored prediction point, report the dimensionless
- * log-sensitivity E_i = |∂P/∂x_i|·x_i/P. This ranks which input the
- * prediction depends on most strongly. It is not an uncertainty budget.
+ * input of a stored prediction point, report the dimensionless
+ * log-sensitivity E_i = |∂P/∂x_i|·x_i/P of the number the record predicts.
+ * This ranks which input the prediction depends on most strongly. It is not
+ * an uncertainty budget.
  *
  * @module bridges/sensitivity
  */
+import { centralPartial } from '../numerical/finite-difference.js';
 import { catalogConfrontations } from './catalog-load.js';
-import { evaluateFormula } from './expr-parse.js';
-import { primaryRelation } from './catalog-load.js';
+import { BRIDGE_EVALUATORS } from './evaluators.js';
 function elasticityOf(predict, point, key) {
     const x = point[key];
+    // Relative step 1e-6, absolute 1e-12 at x = 0: this reader's rule; the derivative is the shared one.
     const h = Math.abs(x) * 1e-6 || 1e-12;
-    const up = { ...point, [key]: x + h };
-    const dn = { ...point, [key]: x - h };
     const P = predict(point);
-    const dP = (predict(up) - predict(dn)) / (2 * h);
+    const dP = centralPartial(predict, point, key, h);
     if (!(Number.isFinite(P) && P !== 0))
         return 0;
     return (Math.abs(dP) * Math.abs(x)) / Math.abs(P);
 }
+/**
+ * The number a confrontation's prediction point yields: the evaluator's value
+ * at the point, or the extra output the prediction names.
+ * @internal
+ */
+export function predictedAt(catalogId, prediction, inputs) {
+    const spec = BRIDGE_EVALUATORS.get(catalogId);
+    if (spec === undefined)
+        throw new Error(`confrontation ${catalogId}: no evaluator predicts it`);
+    const result = spec.run(inputs, prediction.output === undefined ? 'value' : 'all');
+    const key = prediction.output ?? 'value';
+    const value = result[key];
+    if (value === undefined)
+        throw new Error(`confrontation ${catalogId}: the evaluator returns no '${key}' at the prediction point`);
+    return value;
+}
 /**
  * Elasticity ranking for a value-kind confrontation that stores a prediction
  * point. `[]` when the record is not value-kind, has no point, or is absent.
@@ -30,11 +46,9 @@ export function decidingMeasurement(catalogId) {
     const row = catalogConfrontations().find((item) => item.catalogId === catalogId);
     if (row === undefined || row.kind !== 'value' || row.prediction === undefined)
         return [];
-    const relation = primaryRelation(catalogId);
-    if (relation === undefined)
-        return [];
-    const point = { ...row.prediction.inputs };
-    const predict = (inputs) => evaluateFormula(relation.expression, inputs);
+    const prediction = row.prediction;
+    const point = { ...prediction.inputs };
+    const predict = (inputs) => predictedAt(catalogId, prediction, inputs);
     return Object.keys(point)
         .map((key) => ({ input: key, elasticity: elasticityOf(predict, point, key) }))
         .sort((a, b) => b.elasticity - a.elasticity);

package/dist/bridges/sensitivity.js.map

@@ -1 +1 @@
-{"version":3,"file":"sensitivity.js","sourceRoot":"","sources":["../../src/bridges/sensitivity.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAQpD,SAAS,YAAY,CACnB,OAAkD,EAClD,KAA6B,EAC7B,GAAW;IAEX,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;IACrB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,KAAK,CAAC;IACtC,MAAM,EAAE,GAAG,EAAE,GAAG,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;IACtC,MAAM,EAAE,GAAG,EAAE,GAAG,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;IACtC,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IACzB,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjD,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC;IAC/C,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACpD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,SAAiB;IACnD,MAAM,GAAG,GAAG,qBAAqB,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;IACjF,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,UAAU,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACzF,MAAM,QAAQ,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;IAC5C,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACtC,MAAM,KAAK,GAAG,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;IAC3C,MAAM,OAAO,GAAG,CAAC,MAA8B,EAAU,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IACzG,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;SACtB,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;SAC7E,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC;AACjD,CAAC"}
+{"version":3,"file":"sensitivity.js","sourceRoot":"","sources":["../../src/bridges/sensitivity.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC;AACnE,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAE1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAQpD,SAAS,YAAY,CACnB,OAAkD,EAClD,KAA6B,EAC7B,GAAW;IAEX,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAE,CAAC;IACtB,qGAAqG;IACrG,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,KAAK,CAAC;IACtC,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IACzB,MAAM,EAAE,GAAG,cAAc,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAClD,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC;IAC/C,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACpD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,SAAiB,EAAE,UAA6B,EAAE,MAA8B;IAC1G,MAAM,IAAI,GAAG,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC9C,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,SAAS,4BAA4B,CAAC,CAAC;IAChG,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACnF,MAAM,GAAG,GAAG,UAAU,CAAC,MAAM,IAAI,OAAO,CAAC;IACzC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,SAAS,+BAA+B,GAAG,2BAA2B,CAAC,CAAC;IAClI,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,SAAiB;IACnD,MAAM,GAAG,GAAG,qBAAqB,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;IACjF,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,UAAU,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACzF,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC;IAClC,MAAM,KAAK,GAAG,EAAE,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC;IACvC,MAAM,OAAO,GAAG,CAAC,MAA8B,EAAU,EAAE,CAAC,WAAW,CAAC,SAAS,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IACvG,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;SACtB,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;SAC7E,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC;AACjD,CAAC","sourcesContent":["/**\n * Deciding-measurement elasticity for value-kind confrontations. For each\n * input of a stored prediction point, report the dimensionless\n * log-sensitivity E_i = |∂P/∂x_i|·x_i/P of the number the record predicts.\n * This ranks which input the prediction depends on most strongly. It is not\n * an uncertainty budget.\n *\n * @module bridges/sensitivity\n */\n\nimport { centralPartial } from '../numerical/finite-difference.js';\nimport { catalogConfrontations } from './catalog-load.js';\nimport type { CatalogPrediction } from './catalog-types.js';\nimport { BRIDGE_EVALUATORS } from './evaluators.js';\n\n/** One input's elasticity. @public */\nexport interface Elasticity {\n  readonly input: string;\n  readonly elasticity: number;\n}\n\nfunction elasticityOf(\n  predict: (point: Record<string, number>) => number,\n  point: Record<string, number>,\n  key: string,\n): number {\n  const x = point[key]!;\n  // Relative step 1e-6, absolute 1e-12 at x = 0: this reader's rule; the derivative is the shared one.\n  const h = Math.abs(x) * 1e-6 || 1e-12;\n  const P = predict(point);\n  const dP = centralPartial(predict, point, key, h);\n  if (!(Number.isFinite(P) && P !== 0)) return 0;\n  return (Math.abs(dP) * Math.abs(x)) / Math.abs(P);\n}\n\n/**\n * The number a confrontation's prediction point yields: the evaluator's value\n * at the point, or the extra output the prediction names.\n * @internal\n */\nexport function predictedAt(catalogId: number, prediction: CatalogPrediction, inputs: Record<string, number>): number {\n  const spec = BRIDGE_EVALUATORS.get(catalogId);\n  if (spec === undefined) throw new Error(`confrontation ${catalogId}: no evaluator predicts it`);\n  const result = spec.run(inputs, prediction.output === undefined ? 'value' : 'all');\n  const key = prediction.output ?? 'value';\n  const value = result[key];\n  if (value === undefined) throw new Error(`confrontation ${catalogId}: the evaluator returns no '${key}' at the prediction point`);\n  return value;\n}\n\n/**\n * Elasticity ranking for a value-kind confrontation that stores a prediction\n * point. `[]` when the record is not value-kind, has no point, or is absent.\n *\n * @public\n */\nexport function decidingMeasurement(catalogId: number): Elasticity[] {\n  const row = catalogConfrontations().find((item) => item.catalogId === catalogId);\n  if (row === undefined || row.kind !== 'value' || row.prediction === undefined) return [];\n  const prediction = row.prediction;\n  const point = { ...prediction.inputs };\n  const predict = (inputs: Record<string, number>): number => predictedAt(catalogId, prediction, inputs);\n  return Object.keys(point)\n    .map((key) => ({ input: key, elasticity: elasticityOf(predict, point, key) }))\n    .sort((a, b) => b.elasticity - a.elasticity);\n}\n"]}

package/dist/bridges/tensor-index.js.map

@@ -1 +1 @@
-{"version":3,"file":"tensor-index.js","sourceRoot":"","sources":["../../src/bridges/tensor-index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAWH;;;GAGG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAE7B;IACF,mBAAmB,EACjB,yFAAyF;IAC3F,sBAAsB,EACpB,oFAAoF;IACtF,+EAA+E;IAC/E,SAAS,EAAE,uEAAuE;IAClF,mBAAmB,EACjB,wFAAwF;IAC1F,kBAAkB,EAChB,uFAAuF;CAC1F,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAmD;IACtF,CAAC,EAAE,mBAAmB;IACtB,CAAC,EAAE,mBAAmB;IACtB,CAAC,EAAE,sBAAsB;IACzB,CAAC,EAAE,sBAAsB;IACzB,CAAC,EAAE,sBAAsB;IACzB,CAAC,EAAE,WAAW;IACd,CAAC,EAAE,WAAW;IACd,CAAC,EAAE,WAAW;IACd,CAAC,EAAE,mBAAmB;IACtB,CAAC,EAAE,mBAAmB;IACtB,CAAC,EAAE,mBAAmB;IACtB,CAAC,EAAE,kBAAkB;IACrB,CAAC,EAAE,kBAAkB;IACrB,CAAC,EAAE,kBAAkB;IACrB,CAAC,EAAE,YAAY;CAChB,CAAC;AAEF;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAAC,QAAgB;IACnD,MAAM,SAAS,GAAG,wBAAwB,CAAC,QAAQ,CAAC,CAAC;IACrD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,kDAAkD,QAAQ,EAAE,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}
+{"version":3,"file":"tensor-index.js","sourceRoot":"","sources":["../../src/bridges/tensor-index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAWH;;;GAGG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAE7B;IACF,mBAAmB,EACjB,yFAAyF;IAC3F,sBAAsB,EACpB,oFAAoF;IACtF,+EAA+E;IAC/E,SAAS,EAAE,uEAAuE;IAClF,mBAAmB,EACjB,wFAAwF;IAC1F,kBAAkB,EAChB,uFAAuF;CAC1F,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAmD;IACtF,CAAC,EAAE,mBAAmB;IACtB,CAAC,EAAE,mBAAmB;IACtB,CAAC,EAAE,sBAAsB;IACzB,CAAC,EAAE,sBAAsB;IACzB,CAAC,EAAE,sBAAsB;IACzB,CAAC,EAAE,WAAW;IACd,CAAC,EAAE,WAAW;IACd,CAAC,EAAE,WAAW;IACd,CAAC,EAAE,mBAAmB;IACtB,CAAC,EAAE,mBAAmB;IACtB,CAAC,EAAE,mBAAmB;IACtB,CAAC,EAAE,kBAAkB;IACrB,CAAC,EAAE,kBAAkB;IACrB,CAAC,EAAE,kBAAkB;IACrB,CAAC,EAAE,YAAY;CAChB,CAAC;AAEF;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAAC,QAAgB;IACnD,MAAM,SAAS,GAAG,wBAAwB,CAAC,QAAQ,CAAC,CAAC;IACrD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,kDAAkD,QAAQ,EAAE,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC","sourcesContent":["/**\n * §VI.6.1 tensor-index component for a catalog category.\n *\n * Part II §VI.6.1 files each bridge under one component. The component is\n * the category cluster. It is not the `bridges` tuple, and it is not the\n * formula's tensor rank or `dimensional_signature`. Those three were checked\n * against the lists for ids 11–50: when they disagree with the category, the\n * list follows the category (BE-34, BE-39, BE-48 for the tuple; BE-13 and\n * BE-17 for rank; BE-11 and BE-48 share `[frequency]` and do not share a\n * component).\n *\n * `unassigned` is category N. The specification states that those three\n * equations do not fit the other five patterns. A category letter absent\n * from this map throws: a new letter is not silently `unassigned`.\n *\n * The pattern strings are the alt text of the five displayed indices.\n *\n * @internal\n * @module bridges/tensor-index\n */\n\n/** The five displayed indices, plus the category-N refusal. */\nexport type TensorIndexComponent =\n  | 'quantum-classical'\n  | 'information-geometry'\n  | 'emergence'\n  | 'field-unification'\n  | 'scale-transition'\n  | 'unassigned';\n\n/**\n * Alt text of the index Part II §VI.6.1 displays for that component.\n * Category N has no index.\n */\nexport const TENSOR_INDEX_PATTERN: Readonly<\n  Record<Exclude<TensorIndexComponent, 'unassigned'>, string>\n> = {\n  'quantum-classical':\n    '\\\\boldsymbol{\\\\Pi}^{\\\\text{quantum},\\\\text{classical},\\\\gamma,\\\\delta,\\\\epsilon,\\\\zeta}',\n  'information-geometry':\n    '\\\\boldsymbol{\\\\Pi}^{\\\\alpha,\\\\beta,\\\\text{Poincaré},\\\\text{info},\\\\epsilon,\\\\zeta}',\n  // U+2026, the character in the §VI.6.1 alt text, not the LaTeX command \\ldots.\n  emergence: '\\\\boldsymbol{\\\\Pi}^{\\\\alpha\\\\beta\\\\gamma\\\\delta\\\\epsilon\\\\zeta\\u2026}',\n  'field-unification':\n    '\\\\boldsymbol{\\\\Pi}^{\\\\alpha,\\\\text{force}_i,\\\\text{symmetry},\\\\delta,\\\\epsilon,\\\\zeta}',\n  'scale-transition':\n    '\\\\boldsymbol{\\\\Pi}^{\\\\text{scale}_i,\\\\text{scale}_j,\\\\gamma,\\\\delta,\\\\epsilon,\\\\zeta}',\n};\n\n/**\n * Category letter → component. A and J are one component, and so on, matching\n * the id lists in §VI.6.1 for ids 11–50.\n */\nexport const TENSOR_INDEX_BY_CATEGORY: Readonly<Record<string, TensorIndexComponent>> = {\n  A: 'quantum-classical',\n  J: 'quantum-classical',\n  B: 'information-geometry',\n  I: 'information-geometry',\n  M: 'information-geometry',\n  C: 'emergence',\n  H: 'emergence',\n  O: 'emergence',\n  D: 'field-unification',\n  K: 'field-unification',\n  L: 'field-unification',\n  E: 'scale-transition',\n  F: 'scale-transition',\n  G: 'scale-transition',\n  N: 'unassigned',\n};\n\n/**\n * Component for a catalog category letter.\n *\n * @throws when `category` is not one of A–O. A new letter is not guessed.\n */\nexport function tensorIndexComponent(category: string): TensorIndexComponent {\n  const component = TENSOR_INDEX_BY_CATEGORY[category];\n  if (component === undefined) {\n    throw new Error(`no §VI.6.1 tensor-index component for category ${category}`);\n  }\n  return component;\n}\n"]}

package/dist/bridges/types.d.ts

@@ -6,18 +6,14 @@
 import type { Conventions, Counterexample, Regime, RelationContract } from '../relations/types.js';
 /** Lifecycle status of a bridge equation in the catalog. @public */
 export type BridgeEquationStatus = 'established' | 'speculative' | 'highly-speculative' | 'invalid';
-/** An active status is every status except `invalid`. */
-export declare function isActiveStatus(s: BridgeEquationStatus): s is Exclude<BridgeEquationStatus, 'invalid'>;
 /** How badly a catalogued defect undermines a bridge equation. @public */
 export type BridgeIssueSeverity = 'self-refuting' | 'dimensional' | 'index-structure' | 'sign' | 'undefined-quantity' | 'phenomenological-ansatz' | 'other';
 /** Whether a catalogued defect can be repaired, and at what cost. @public */
 export type BridgeIssueFixable = 'spec-edit' | 'reformulation' | 'unfixable-must-mark-invalid' | 'unknown';
-/** Tractability of a catalog row. */
-export type BridgeTractabilityClass = 'closed-form' | 'numerical-tractable' | 'numerical-asymptotic' | 'formally-divergent' | 'undefined';
 /** One recorded defect. @public */
 export interface KnownIssue {
     severity: BridgeIssueSeverity;
-    /** Verbatim issue text from the spec (may be paraphrased; cf. source). */
+    /** The defect, in the catalog's words. */
     description: string;
     fixable: BridgeIssueFixable;
 }
@@ -41,8 +37,6 @@ export interface BridgeEquationEntry {
     references: string[];
     dependencies: number[];
     dimensional_signature: string | null;
-    encoded_form?: string;
-    tractability_class: BridgeTractabilityClass;
     notes: string;
     relation?: RelationContract;
     regime?: Regime;

package/dist/bridges/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/bridges/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAEnG,oEAAoE;AACpE,MAAM,MAAM,oBAAoB,GAC5B,aAAa,GACb,aAAa,GACb,oBAAoB,GACpB,SAAS,CAAC;AAEd,yDAAyD;AACzD,wBAAgB,cAAc,CAC5B,CAAC,EAAE,oBAAoB,GACtB,CAAC,IAAI,OAAO,CAAC,oBAAoB,EAAE,SAAS,CAAC,CAE/C;AAED,0EAA0E;AAC1E,MAAM,MAAM,mBAAmB,GAC3B,eAAe,GACf,aAAa,GACb,iBAAiB,GACjB,MAAM,GACN,oBAAoB,GACpB,yBAAyB,GACzB,OAAO,CAAC;AAEZ,6EAA6E;AAC7E,MAAM,MAAM,kBAAkB,GAC1B,WAAW,GACX,eAAe,GACf,6BAA6B,GAC7B,SAAS,CAAC;AAEd,qCAAqC;AACrC,MAAM,MAAM,uBAAuB,GAC/B,aAAa,GACb,qBAAqB,GACrB,sBAAsB,GACtB,oBAAoB,GACpB,WAAW,CAAC;AAEhB,mCAAmC;AACnC,MAAM,WAAW,UAAU;IACzB,QAAQ,EAAE,mBAAmB,CAAC;IAC9B,0EAA0E;IAC1E,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,kBAAkB,CAAC;CAC7B;AAED;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IAClC,2DAA2D;IAC3D,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1B,MAAM,EAAE,oBAAoB,CAAC;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,WAAW,EAAE,GAAG,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,CAAC;IACpD,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,UAAU,EAAE,CAAC;IAC3B,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,kBAAkB,EAAE,uBAAuB,CAAC;IAC5C,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IAC5B,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,WAAW,CAAC,EAAE,WAAW,CAAC;IAC1B,eAAe,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;CAC7C"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/bridges/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAEnG,oEAAoE;AACpE,MAAM,MAAM,oBAAoB,GAC5B,aAAa,GACb,aAAa,GACb,oBAAoB,GACpB,SAAS,CAAC;AAEd,0EAA0E;AAC1E,MAAM,MAAM,mBAAmB,GAC3B,eAAe,GACf,aAAa,GACb,iBAAiB,GACjB,MAAM,GACN,oBAAoB,GACpB,yBAAyB,GACzB,OAAO,CAAC;AAEZ,6EAA6E;AAC7E,MAAM,MAAM,kBAAkB,GAC1B,WAAW,GACX,eAAe,GACf,6BAA6B,GAC7B,SAAS,CAAC;AAEd,mCAAmC;AACnC,MAAM,WAAW,UAAU;IACzB,QAAQ,EAAE,mBAAmB,CAAC;IAC9B,0CAA0C;IAC1C,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,kBAAkB,CAAC;CAC7B;AAED;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IAClC,2DAA2D;IAC3D,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1B,MAAM,EAAE,oBAAoB,CAAC;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,WAAW,EAAE,GAAG,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,CAAC;IACpD,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,UAAU,EAAE,CAAC;IAC3B,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IAC5B,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,WAAW,CAAC,EAAE,WAAW,CAAC;IAC1B,eAAe,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;CAC7C"}

package/dist/bridges/types.js

@@ -3,8 +3,5 @@
  *
  * @module bridges/types
  */
-/** An active status is every status except `invalid`. */
-export function isActiveStatus(s) {
-    return s !== 'invalid';
-}
+export {};
 //# sourceMappingURL=types.js.map

package/dist/bridges/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/bridges/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAWH,yDAAyD;AACzD,MAAM,UAAU,cAAc,CAC5B,CAAuB;IAEvB,OAAO,CAAC,KAAK,SAAS,CAAC;AACzB,CAAC"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/bridges/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG","sourcesContent":["/**\n * Catalog entry types. The rows themselves live in `data/bridge-catalog.json`.\n *\n * @module bridges/types\n */\n\nimport type { Conventions, Counterexample, Regime, RelationContract } from '../relations/types.js';\n\n/** Lifecycle status of a bridge equation in the catalog. @public */\nexport type BridgeEquationStatus =\n  | 'established'\n  | 'speculative'\n  | 'highly-speculative'\n  | 'invalid';\n\n/** How badly a catalogued defect undermines a bridge equation. @public */\nexport type BridgeIssueSeverity =\n  | 'self-refuting'\n  | 'dimensional'\n  | 'index-structure'\n  | 'sign'\n  | 'undefined-quantity'\n  | 'phenomenological-ansatz'\n  | 'other';\n\n/** Whether a catalogued defect can be repaired, and at what cost. @public */\nexport type BridgeIssueFixable =\n  | 'spec-edit'\n  | 'reformulation'\n  | 'unfixable-must-mark-invalid'\n  | 'unknown';\n\n/** One recorded defect. @public */\nexport interface KnownIssue {\n  severity: BridgeIssueSeverity;\n  /** The defect, in the catalog's words. */\n  description: string;\n  fixable: BridgeIssueFixable;\n}\n\n/**\n * One bridge equation as the catalog records it.\n * @public\n */\nexport interface BridgeEquationEntry {\n  /** Stable catalog id. A field, never a code identifier. */\n  id: number;\n  name: string;\n  category: string;\n  category_name: string;\n  bridges: [string, string];\n  status: BridgeEquationStatus;\n  context: string;\n  formula_latex: string | null;\n  source_part: 'I' | 'II' | 'III' | 'IV' | 'V' | 'VI';\n  source_section: string;\n  known_issues: KnownIssue[];\n  references: string[];\n  dependencies: number[];\n  dimensional_signature: string | null;\n  notes: string;\n  relation?: RelationContract;\n  regime?: Regime;\n  conventions?: Conventions;\n  counterexamples?: readonly Counterexample[];\n}\n"]}

package/dist/bridges/validity.d.ts

@@ -0,0 +1,33 @@
+/**
+ * A validity domain read from one condition text, the record's `holds`.
+ *
+ * The condition is the single source: the predicate is the conjunction of its
+ * conjuncts, the description is those conjuncts written out, and a refusal
+ * lists only the conjuncts that failed, each rendered with the key the caller
+ * gave the input under. No record carries a second, prose statement of the
+ * same domain, so the message cannot contradict the check.
+ *
+ * @module bridges/validity
+ */
+import type { DomainViolation } from './evaluation-errors.js';
+/** A domain built from a condition text. Structurally a `ValidityDomain`. @internal */
+export interface ConditionDomain {
+    /** The conjuncts, in the relation's names, joined by `and`. */
+    readonly description: string;
+    readonly predicate: (inputs: Record<string, number>) => boolean;
+    /**
+     * The conjuncts `inputs` violate. `keyOf` names the caller's key for a name
+     * the relation reads (a parameter key for an evaluator source); a name it
+     * does not map is its own key.
+     */
+    readonly violations: (inputs: Record<string, number>, keyOf?: (name: string) => string) => readonly DomainViolation[];
+}
+/**
+ * The domain `text` states over `names` (the hyphenated quantity names it may
+ * read), with `constants()` bound. `'true'` is the domain with no condition.
+ * An input named for a constant that `declared` does not list, and that the
+ * condition reads, is a `ConstantInputError` (a caller error, not a false condition).
+ * @internal
+ */
+export declare function conditionDomain(text: string, names: () => Iterable<string>, constants: () => Readonly<Record<string, number>>, declared?: readonly string[]): ConditionDomain;
+//# sourceMappingURL=validity.d.ts.map

package/dist/bridges/validity.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validity.d.ts","sourceRoot":"","sources":["../../src/bridges/validity.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAG9D,uFAAuF;AACvF,MAAM,WAAW,eAAe;IAC9B,+DAA+D;IAC/D,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,OAAO,CAAC;IAChE;;;;OAIG;IACH,QAAQ,CAAC,UAAU,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,KAAK,SAAS,eAAe,EAAE,CAAC;CACvH;AAkBD;;;;;;GAMG;AACH,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,QAAQ,CAAC,MAAM,CAAC,EAC7B,SAAS,EAAE,MAAM,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EACjD,QAAQ,GAAE,SAAS,MAAM,EAAO,GAC/B,eAAe,CA8BjB"}

package/dist/bridges/validity.js

@@ -0,0 +1,67 @@
+/**
+ * A validity domain read from one condition text, the record's `holds`.
+ *
+ * The condition is the single source: the predicate is the conjunction of its
+ * conjuncts, the description is those conjuncts written out, and a refusal
+ * lists only the conjuncts that failed, each rendered with the key the caller
+ * gave the input under. No record carries a second, prose statement of the
+ * same domain, so the message cannot contradict the check.
+ *
+ * @module bridges/validity
+ */
+import { conditionReads, holdsConditions, holdsScope, HoldsError } from './holds.js';
+/** A conjunct fails when it is false or cannot be evaluated (an unbound name, a non-number). */
+function fails(condition, scope) {
+    try {
+        return !condition.test(scope);
+    }
+    catch (error) {
+        if (error instanceof HoldsError)
+            return true;
+        throw error;
+    }
+}
+/** `text` with each whole-word name it reads replaced by the caller's key. */
+function rendered(condition, keyOf) {
+    const keys = new Map(condition.names.map((name) => [name, keyOf(name)]));
+    return condition.text.replace(/[A-Za-z_][A-Za-z0-9_-]*/g, (word) => keys.get(word) ?? word);
+}
+/**
+ * The domain `text` states over `names` (the hyphenated quantity names it may
+ * read), with `constants()` bound. `'true'` is the domain with no condition.
+ * An input named for a constant that `declared` does not list, and that the
+ * condition reads, is a `ConstantInputError` (a caller error, not a false condition).
+ * @internal
+ */
+export function conditionDomain(text, names, constants, declared = []) {
+    let parts;
+    const conditions = () => (parts ??= holdsConditions(text, [...names()]));
+    const own = (name) => name;
+    return {
+        get description() {
+            return conditions().map((condition) => condition.text).join(' and ');
+        },
+        predicate: (inputs) => {
+            const scope = holdsScope(inputs, constants(), conditionReads(conditions()), declared);
+            return conditions().every((condition) => !fails(condition, scope));
+        },
+        violations: (inputs, keyOf = own) => {
+            const scope = holdsScope(inputs, constants(), conditionReads(conditions()), declared);
+            const constantNames = constants();
+            return conditions()
+                .filter((condition) => fails(condition, scope))
+                .map((condition) => {
+                const read = condition.names
+                    .filter((name) => !Object.hasOwn(constantNames, name.replace(/-/g, '_')) || Object.hasOwn(inputs, name))
+                    .map((name) => ({ key: keyOf(name), quantity: name, value: inputs[name] ?? Number.NaN }));
+                return {
+                    condition: rendered(condition, keyOf),
+                    key: read[0]?.key ?? '',
+                    value: read[0]?.value ?? Number.NaN,
+                    inputs: read,
+                };
+            });
+        },
+    };
+}
+//# sourceMappingURL=validity.js.map

package/dist/bridges/validity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validity.js","sourceRoot":"","sources":["../../src/bridges/validity.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,UAAU,EAAE,UAAU,EAAuB,MAAM,YAAY,CAAC;AAe1G,gGAAgG;AAChG,SAAS,KAAK,CAAC,SAAyB,EAAE,KAAuC;IAC/E,IAAI,CAAC;QACH,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,UAAU;YAAE,OAAO,IAAI,CAAC;QAC7C,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,SAAS,QAAQ,CAAC,SAAyB,EAAE,KAA+B;IAC1E,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACzE,OAAO,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,0BAA0B,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC;AAC9F,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAC7B,IAAY,EACZ,KAA6B,EAC7B,SAAiD,EACjD,QAAQ,GAAsB,EAAE;IAEhC,IAAI,KAA4C,CAAC;IACjD,MAAM,UAAU,GAAG,GAA8B,EAAE,CAAC,CAAC,KAAK,KAAK,eAAe,CAAC,IAAI,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;IACpG,MAAM,GAAG,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC;IAC3C,OAAO;QACL,IAAI,WAAW;YACb,OAAO,UAAU,EAAE,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvE,CAAC;QACD,SAAS,EAAE,CAAC,MAAM,EAAE,EAAE;YACpB,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,cAAc,CAAC,UAAU,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;YACtF,OAAO,UAAU,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;QACrE,CAAC;QACD,UAAU,EAAE,CAAC,MAAM,EAAE,KAAK,GAAG,GAAG,EAAE,EAAE;YAClC,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,cAAc,CAAC,UAAU,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;YACtF,MAAM,aAAa,GAAG,SAAS,EAAE,CAAC;YAClC,OAAO,UAAU,EAAE;iBAChB,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;iBAC9C,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;gBACjB,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK;qBACzB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;qBACvG,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;gBAC5F,OAAO;oBACL,SAAS,EAAE,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC;oBACrC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE;oBACvB,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,MAAM,CAAC,GAAG;oBACnC,MAAM,EAAE,IAAI;iBACb,CAAC;YACJ,CAAC,CAAC,CAAC;QACP,CAAC;KACF,CAAC;AACJ,CAAC","sourcesContent":["/**\n * A validity domain read from one condition text, the record's `holds`.\n *\n * The condition is the single source: the predicate is the conjunction of its\n * conjuncts, the description is those conjuncts written out, and a refusal\n * lists only the conjuncts that failed, each rendered with the key the caller\n * gave the input under. No record carries a second, prose statement of the\n * same domain, so the message cannot contradict the check.\n *\n * @module bridges/validity\n */\n\nimport type { DomainViolation } from './evaluation-errors.js';\nimport { conditionReads, holdsConditions, holdsScope, HoldsError, type HoldsCondition } from './holds.js';\n\n/** A domain built from a condition text. Structurally a `ValidityDomain`. @internal */\nexport interface ConditionDomain {\n  /** The conjuncts, in the relation's names, joined by `and`. */\n  readonly description: string;\n  readonly predicate: (inputs: Record<string, number>) => boolean;\n  /**\n   * The conjuncts `inputs` violate. `keyOf` names the caller's key for a name\n   * the relation reads (a parameter key for an evaluator source); a name it\n   * does not map is its own key.\n   */\n  readonly violations: (inputs: Record<string, number>, keyOf?: (name: string) => string) => readonly DomainViolation[];\n}\n\n/** A conjunct fails when it is false or cannot be evaluated (an unbound name, a non-number). */\nfunction fails(condition: HoldsCondition, scope: Readonly<Record<string, number>>): boolean {\n  try {\n    return !condition.test(scope);\n  } catch (error) {\n    if (error instanceof HoldsError) return true;\n    throw error;\n  }\n}\n\n/** `text` with each whole-word name it reads replaced by the caller's key. */\nfunction rendered(condition: HoldsCondition, keyOf: (name: string) => string): string {\n  const keys = new Map(condition.names.map((name) => [name, keyOf(name)]));\n  return condition.text.replace(/[A-Za-z_][A-Za-z0-9_-]*/g, (word) => keys.get(word) ?? word);\n}\n\n/**\n * The domain `text` states over `names` (the hyphenated quantity names it may\n * read), with `constants()` bound. `'true'` is the domain with no condition.\n * An input named for a constant that `declared` does not list, and that the\n * condition reads, is a `ConstantInputError` (a caller error, not a false condition).\n * @internal\n */\nexport function conditionDomain(\n  text: string,\n  names: () => Iterable<string>,\n  constants: () => Readonly<Record<string, number>>,\n  declared: readonly string[] = [],\n): ConditionDomain {\n  let parts: readonly HoldsCondition[] | undefined;\n  const conditions = (): readonly HoldsCondition[] => (parts ??= holdsConditions(text, [...names()]));\n  const own = (name: string): string => name;\n  return {\n    get description() {\n      return conditions().map((condition) => condition.text).join(' and ');\n    },\n    predicate: (inputs) => {\n      const scope = holdsScope(inputs, constants(), conditionReads(conditions()), declared);\n      return conditions().every((condition) => !fails(condition, scope));\n    },\n    violations: (inputs, keyOf = own) => {\n      const scope = holdsScope(inputs, constants(), conditionReads(conditions()), declared);\n      const constantNames = constants();\n      return conditions()\n        .filter((condition) => fails(condition, scope))\n        .map((condition) => {\n          const read = condition.names\n            .filter((name) => !Object.hasOwn(constantNames, name.replace(/-/g, '_')) || Object.hasOwn(inputs, name))\n            .map((name) => ({ key: keyOf(name), quantity: name, value: inputs[name] ?? Number.NaN }));\n          return {\n            condition: rendered(condition, keyOf),\n            key: read[0]?.key ?? '',\n            value: read[0]?.value ?? Number.NaN,\n            inputs: read,\n          };\n        });\n    },\n  };\n}\n"]}

package/dist/canonical/canonical-equation.js.map

@@ -1 +1 @@
-{"version":3,"file":"canonical-equation.js","sourceRoot":"","sources":["../../src/canonical/canonical-equation.ts"],"names":[],"mappings":""}
+{"version":3,"file":"canonical-equation.js","sourceRoot":"","sources":["../../src/canonical/canonical-equation.ts"],"names":[],"mappings":"","sourcesContent":["/**\n * Canonical (textbook) physics equations — the ground-truth L-layer of the\n * universal tensor (Π = L + B + E). A `CanonicalEquation` is the *answer key*\n * that bridge equations (the B-layer) are validated against; it is NOT a\n * speculative claim.\n *\n * Entries carry whichever FIDELITY LEVELS they can:\n *   - L0 (mandatory) — `dimensional`: target dim + governing vars (+ monomial\n *     when dimensionally determined). Reproduced by the Buckingham-π engine.\n *   - L1 (optional)  — `scalarAst`: an `ExprNode` RHS, validated dimensionally.\n *   - L2 (optional)  — `fieldEquation`: a tensor/PDE predicate node.\n *\n * Epistemic honesty (review finding F1): an L0-only entry must never read as\n * more than \"dimensionally consistent\". `epistemicStatus` is the highest claim\n * the entry supports; `freeDimensionlessGroups > 0` means dimensions cannot pin\n * the form. Consumers must not use an entry above its `epistemicStatus`.\n *\n * See `docs/planning/Canonical-Equation-Registry-A-Design.md`.\n *\n * @module canonical/canonical-equation\n */\nimport type { ExprNode } from '../dimensional/validator.js';\nimport type { DimensionalVariable } from '../dimensional/buckingham.js';\nimport type { TensorIndices } from '../core/types.js';\nimport type { EinsteinFieldEquationNode } from '../dimensional/einstein-equation.js';\nimport type { Conventions } from '../relations/types.js';\n\n/** Physics domain — indexes the registry and (later) the discovery kind filter. */\nexport type CanonicalDomain =\n  | 'mechanics'\n  | 'gravitation'\n  | 'general-relativity'\n  | 'cosmology'\n  | 'electromagnetism'\n  | 'quantum'\n  | 'thermodynamics'\n  | 'statistical'\n  | 'information'\n  | 'condensed-matter';\n\n/**\n * The strongest claim an entry supports:\n *   - `dimensional`          — only the dimensional signature (L0).\n *   - `scalar-up-to-constant`— the algebraic form, leading constant aside (L1).\n *   - `fully-quantitative`   — the complete relation incl. the constant.\n */\nexport type EpistemicStatus =\n  | 'dimensional'\n  | 'scalar-up-to-constant'\n  | 'fully-quantitative';\n\n/** A field-equation predicate node (L2). Concrete node kinds live in the\n *  dimensional layer; widen this union as Maxwell/Klein–Gordon nodes land. */\nexport type FieldEquationNode = EinsteinFieldEquationNode;\n\n/** Disambiguators for forms that share a dimensional signature (finding F3). */\nexport interface CanonicalForms {\n  /** Bekenstein–Hawking depends on horizon AREA, not radius. */\n  readonly areaOrRadius?: 'area' | 'radius';\n  /** Landauer uses the NATURAL log. */\n  readonly logBase?: 'e' | '2' | '10';\n  /** Stefan–Boltzmann `j=σT⁴` is a FLUX; luminosity `L=σAT⁴` changes σ. */\n  readonly quantityKind?: 'flux' | 'power' | 'energy';\n}\n\n/** One sourced prefactor: the exact dimensionless factor and the verbatim text it is read from. */\nexport interface SourcedPrefactor {\n  readonly value: number;\n  /** Verbatim source text the factor is read from. */\n  readonly quote: string;\n  /** Where the quote is: page, revision id and wikitext line. */\n  readonly locator: string;\n}\n\n/** A sourced prefactor that is `coefficient · group^exponent` of a dimensionless group the record does not carry. */\nexport interface SourcedGroupPrefactor {\n  /** The group as the entry's formula names it (`'gamma'` for γ). */\n  readonly group: string;\n  readonly coefficient: number;\n  readonly exponent: number;\n  readonly quote: string;\n  readonly locator: string;\n}\n\n/** A canonical (textbook) physics equation. */\nexport interface CanonicalEquation {\n  /** Stable id, e.g. 'CE-newton-gravitation'. */\n  readonly id: string;\n  readonly name: string;\n  readonly domain: CanonicalDomain;\n  /** LaTeX rendering (display only). */\n  readonly formula_latex: string;\n\n  // ── epistemic honesty (F1) ──────────────────────────────────────────────\n  readonly epistemicStatus: EpistemicStatus;\n  /** 0 ⇒ the L0 monomial is fully determined; ≥1 ⇒ dimensions can't pin it. */\n  readonly freeDimensionlessGroups: number;\n\n  // ── L0 (always present) ─────────────────────────────────────────────────\n  readonly dimensional: {\n    readonly target: DimensionalVariable;\n    readonly governing: readonly DimensionalVariable[];\n    /** Textbook monomial exponents, or null when there are free groups. */\n    readonly monomial: Readonly<Record<string, number>> | null;\n  };\n  // ── L1 / L2 (optional) ──────────────────────────────────────────────────\n  readonly scalarAst?: ExprNode;\n  readonly fieldEquation?: FieldEquationNode;\n\n  // ── disambiguation (F3) ─────────────────────────────────────────────────\n  readonly forms?: CanonicalForms;\n\n  // ── placement + provenance ──────────────────────────────────────────────\n  /** L-layer cell coordinates. */\n  readonly regime: TensorIndices;\n  /** Implicit regime assumptions (e.g. 'blackbody equilibrium'). */\n  readonly assumptions: readonly string[];\n  readonly references: readonly string[];\n  /** Bridges this law is the intended correspondence partner for (advisory;\n   *  the check itself is Sub-project B). */\n  readonly partnerBridges: readonly string[];\n  /** Set when this law is LITERALLY a bridge's own relation (BH≡BE-21, …);\n   *  Sub-project B uses it to discount the trivial X≡X match (finding F4). */\n  readonly restatesBridge?: string;\n\n  // ── facts of this equation that side tables once held ──────────────────\n  /** Validity condition over the governing names, in the holds grammar. Absent: permissive. */\n  readonly holds?: string;\n  /** The exact dimensionless prefactor in front of the AST or monomial, with its verbatim source. */\n  readonly prefactor?: SourcedPrefactor;\n  /** A prefactor that is a power of a dimensionless group the record does not carry (√γ). */\n  readonly groupPrefactor?: SourcedGroupPrefactor;\n  /** Disclosure printed when the factor is unset: the textbook factor the unit monomial is not. */\n  readonly unsetFactorNote?: string;\n  /** Convention line a comparison prints beside this entry. */\n  readonly conventionNote?: string;\n  /** Entries that share a group are one law under different conventions; a formula agreeing with any of them has matched that law. */\n  readonly conventionGroup?: string;\n  /** Target names this entry answers to in a comparison besides its own target. */\n  readonly targetAliases?: readonly string[];\n\n  // ── Atlas Phase 1 overlay (OPTIONAL; an entry without it is unchanged) ──\n  /**\n   * Sign/unit choices the equation depends on (first-law sign, metric\n   * signature, Fourier normalization, unit system, …). A canonical equation\n   * asserts no BETWEEN-model relation, so it takes `conventions` only — no\n   * `relation` and no `counterexamples`.\n   */\n  readonly conventions?: Conventions;\n\n  // ── Atlas Phase 3 overlay (OPTIONAL; an entry without it is unchanged) ──\n  /**\n   * The `Model` this equation is stated WITHIN (`'model-spring'`, …), as an\n   * `AtlasModel.id`. ROADMAP Phase 3 makes the model the unit rather than the\n   * equation; an entry whose model is not recorded omits the field rather\n   * than naming a plausible one.\n   */\n  readonly model?: string;\n}\n"]}

package/dist/canonical/dimensional-fields.js.map

@@ -1 +1 @@
-{"version":3,"file":"dimensional-fields.js","sourceRoot":"","sources":["../../src/canonical/dimensional-fields.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EACL,uBAAuB,EACvB,YAAY,GACb,MAAM,8BAA8B,CAAC;AAGtC,qDAAqD;AACrD,MAAM,UAAU,iBAAiB,CAC/B,MAA2B,EAC3B,SAAyC;IAKzC,MAAM,GAAG,GAAG,uBAAuB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACvD,MAAM,GAAG,GACP,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IACvE,yEAAyE;IACzE,sEAAsE;IACtE,8EAA8E;IAC9E,wBAAwB;IACxB,MAAM,uBAAuB,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACxE,OAAO;QACL,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,QAAS,EAAE,CAAC,CAAC,CAAC,IAAI;QACtD,uBAAuB;KACxB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"dimensional-fields.js","sourceRoot":"","sources":["../../src/canonical/dimensional-fields.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,EACL,uBAAuB,EACvB,YAAY,GACb,MAAM,8BAA8B,CAAC;AAGtC,qDAAqD;AACrD,MAAM,UAAU,iBAAiB,CAC/B,MAA2B,EAC3B,SAAyC;IAKzC,MAAM,GAAG,GAAG,uBAAuB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACvD,MAAM,GAAG,GACP,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IACvE,yEAAyE;IACzE,sEAAsE;IACtE,8EAA8E;IAC9E,wBAAwB;IACxB,MAAM,uBAAuB,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACxE,OAAO;QACL,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,QAAS,EAAE,CAAC,CAAC,CAAC,IAAI;QACtD,uBAAuB;KACxB,CAAC;AACJ,CAAC","sourcesContent":["/**\n * Compute the L0 dimensional fields of a canonical entry FROM the Buckingham-π\n * engine, so `monomial` and `freeDimensionlessGroups` are always mutually\n * consistent and never hand-asserted (HonestClaude).\n *\n * The two are consistent by construction: the target monomial is unique iff the\n * governing set has no free dimensionless group, so\n *   `monomial !== null  ⟺  freeDimensionlessGroups === 0`.\n * Equations whose form dimensions CANNOT pin (Newton `F=Gm₁m₂/r²` — a free\n * mass-ratio group; Bekenstein–Hawking — a free `c³A/Għ` group) get\n * `monomial: null, freeDimensionlessGroups ≥ 1`; their scalar-AST (L1) carries\n * the form dimensions can't.\n *\n * @module canonical/dimensional-fields\n */\nimport {\n  dimensionallyDetermines,\n  buckinghamPi,\n} from '../dimensional/buckingham.js';\nimport type { DimensionalVariable } from '../dimensional/buckingham.js';\n\n/** L0 dimensional fields derived from the engine. */\nexport function dimensionalFields(\n  target: DimensionalVariable,\n  governing: readonly DimensionalVariable[],\n): {\n  monomial: Record<string, number> | null;\n  freeDimensionlessGroups: number;\n} {\n  const det = dimensionallyDetermines(target, governing);\n  const gPi =\n    governing.length > 0 ? buckinghamPi([...governing]).piGroupCount : 0;\n  // Keep the invariant `monomial !== null ⟺ freeDimensionlessGroups === 0`\n  // UNCONDITIONALLY true: when the target is not in the governing span,\n  // `determined` is false yet `gPi` may be 0 — force ≥1 so null monomial always\n  // reports a free group.\n  const freeDimensionlessGroups = det.determined ? gPi : Math.max(1, gPi);\n  return {\n    monomial: det.determined ? { ...det.monomial! } : null,\n    freeDimensionlessGroups,\n  };\n}\n"]}

package/dist/canonical/entries/_l1-build.js.map

@@ -1 +1 @@
-{"version":3,"file":"_l1-build.js","sourceRoot":"","sources":["../../../src/canonical/entries/_l1-build.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;;;GAIG;AACH,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AAExD,MAAM,CAAC,MAAM,EAAE,GAAG,CAChB,CAA8B,EAC9B,IAAgB,EACN,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;AAE7C,iFAAiF;AACjF,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,IAAc,EAAE,CAAS,EAAY,EAAE,CACzD,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;AAQzC,gFAAgF;AAChF,MAAM,CAAC,MAAM,EAAE,GAAG,CAChB,MAA2B,EAC3B,SAAyC,EACzC,IAAY,EACO,EAAE;IACrB,MAAM,EAAE,QAAQ,EAAE,uBAAuB,EAAE,GAAG,iBAAiB,CAC7D,MAAM,EACN,SAAS,CACV,CAAC;IACF,OAAO;QACL,GAAG,IAAI;QACP,uBAAuB;QACvB,WAAW,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE;KAC7C,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"_l1-build.js","sourceRoot":"","sources":["../../../src/canonical/entries/_l1-build.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;;;GAIG;AACH,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AAExD,MAAM,CAAC,MAAM,EAAE,GAAG,CAChB,CAA8B,EAC9B,IAAgB,EACN,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;AAE7C,iFAAiF;AACjF,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,IAAc,EAAE,CAAS,EAAY,EAAE,CACzD,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;AAQzC,gFAAgF;AAChF,MAAM,CAAC,MAAM,EAAE,GAAG,CAChB,MAA2B,EAC3B,SAAyC,EACzC,IAAY,EACO,EAAE;IACrB,MAAM,EAAE,QAAQ,EAAE,uBAAuB,EAAE,GAAG,iBAAiB,CAC7D,MAAM,EACN,SAAS,CACV,CAAC;IACF,OAAO;QACL,GAAG,IAAI;QACP,uBAAuB;QACvB,WAAW,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE;KAC7C,CAAC;AACJ,CAAC,CAAC","sourcesContent":["/**\n * Shared builders for L1 (scalar-AST) canonical entries. Keeps the entry files\n * declarative: `op`/`pow` assemble the `ExprNode`, and `l1` derives the L0\n * fields from the Buckingham engine so `monomial` and `freeDimensionlessGroups`\n * are always consistent.\n *\n * @module canonical/entries/_l1-build\n */\nimport type { CanonicalEquation } from '../canonical-equation.js';\nimport type { ExprNode } from '../../dimensional/validator.js';\nimport type { DimensionalVariable } from '../../dimensional/buckingham.js';\nimport { DIMENSIONLESS } from '../../dimensional/types.js';\nimport { sym } from '../../dimensional/ast-builders.js';\nimport { dimensionalFields } from '../dimensional-fields.js';\n\n/**\n * Re-exported for the L1 entry files that import `dim` from this module.\n *\n * @internal\n */\nexport { dim } from '../../dimensional/ast-builders.js';\n\nexport const op = (\n  o: '+' | '-' | '*' | '/' | '^',\n  args: ExprNode[],\n): ExprNode => ({ kind: 'op', op: o, args });\n\n/** `base` raised to the numeric-literal power `n` (a dimensionless exponent). */\nexport const pow = (base: ExprNode, n: string): ExprNode =>\n  op('^', [base, sym(n, DIMENSIONLESS)]);\n\n/** Everything an L1 entry declares except the engine-derived L0 fields. @internal */\ntype L1Rest = Omit<\n  CanonicalEquation,\n  'freeDimensionlessGroups' | 'dimensional'\n>;\n\n/** Build an L1 entry; L0 fields are derived from the engine for consistency. */\nexport const l1 = (\n  target: DimensionalVariable,\n  governing: readonly DimensionalVariable[],\n  rest: L1Rest,\n): CanonicalEquation => {\n  const { monomial, freeDimensionlessGroups } = dimensionalFields(\n    target,\n    governing,\n  );\n  return {\n    ...rest,\n    freeDimensionlessGroups,\n    dimensional: { target, governing, monomial },\n  };\n};\n"]}

package/dist/canonical/entries/atomic.js

@@ -1,9 +1,7 @@
 import { sym } from '../../dimensional/ast-builders.js';
-import { MASS, VELOCITY, ENERGY, LENGTH, AREA, ACTION, CHARGE, FREQUENCY, DIMENSIONLESS, } from '../../dimensional/types.js';
+import { MASS, VELOCITY, ENERGY, LENGTH, AREA, ACTION, CHARGE, FREQUENCY, DIMENSIONLESS, PERMITTIVITY, MOMENTUM, } from '../../dimensional/types.js';
 import { dim, op, pow, l1 } from './_l1-build.js';
-const PERMITTIVITY = dim(-3, -1, 4, 2); // ε₀ [L⁻³ M⁻¹ T⁴ I²]
 const MAGNETIC_MOMENT = dim(2, 0, 0, 1); // [L² I] (A·m²)
-const MOMENTUM = dim(1, 1, -1); // [L M T⁻¹]
 export const ATOMIC = [
     l1({ name: 'rydberg-energy', dim: ENERGY }, [
         { name: 'm_e', dim: MASS },

package/dist/canonical/entries/atomic.js.map

@@ -1 +1 @@
-{"version":3,"file":"atomic.js","sourceRoot":"","sources":["../../../src/canonical/entries/atomic.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,MAAM,EACN,IAAI,EACJ,MAAM,EACN,MAAM,EACN,SAAS,EACT,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,YAAY,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,qBAAqB;AAC7D,MAAM,eAAe,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,gBAAgB;AACzD,MAAM,QAAQ,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY;AAE5C,MAAM,CAAC,MAAM,MAAM,GAAiC;IAClD,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC1C,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE;QAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE;QACxC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;KAC9B,EAAE;QACD,EAAE,EAAE,mBAAmB;QACvB,cAAc,EAAE,uHAAuH;QACvI,IAAI,EAAE,gBAAgB;QACtB,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,uDAAuD;QACtE,eAAe,EAAE,oBAAoB;QACrC,mEAAmE;QACnE,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YACvD,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;gBACxB,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC;gBAClC,GAAG,CAAC,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC,EAAE,GAAG,CAAC;gBACxC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;aAC9B,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACtD,WAAW,EAAE,CAAC,eAAe,EAAE,kBAAkB,CAAC;QAClD,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,2BAA2B,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACrD,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE;QACxC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE;QAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC7B,EAAE;QACD,EAAE,EAAE,8BAA8B;QAClC,IAAI,EAAE,2BAA2B;QACjC,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,4CAA4C;QAC3D,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;YAC1B,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC;gBAC9B,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC;gBAChB,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;aAC7B,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACtD,WAAW,EAAE,CAAC,0CAA0C,CAAC;QACzD,UAAU,EAAE,CAAC,6BAA6B,CAAC;QAC3C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,eAAe,EAAE,EAAE;QAClD,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;QAC7B,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE;KAC3B,EAAE;QACD,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,6BAA6B;QAC5C,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;YAChD,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;SACrD,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACtD,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,UAAU,EAAE,CAAC,uBAAuB,CAAC;QACrC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,6EAA6E;IAC7E,4EAA4E;IAC5E,2BAA2B;IAC3B,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACzC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE;KAC/B,EAAE;QACD,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,0BAA0B;QAChC,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,WAAW;QAC1B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;QAC5D,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACtD,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,4BAA4B,CAAC;QAC1C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,wBAAwB;IACxB,EAAE,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACjD,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC7B,EAAE;QACD,EAAE,EAAE,eAAe;QACnB,KAAK,EAAE,OAAO;QACd,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,gBAAgB;QAC/B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC1D,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,iBAAiB,CAAC;QAC/B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,wCAAwC;IACxC,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACvC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE;QACxC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;QAC7B,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE;QAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;KAC3B,EAAE;QACD,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,6CAA6C;QAC5D,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC;gBAC9B,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;aAC9B,CAAC;YACF,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;SACxD,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACtD,WAAW,EAAE,CAAC,eAAe,EAAE,kBAAkB,CAAC;QAClD,UAAU,EAAE,CAAC,WAAW,CAAC;QACzB,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,4EAA4E;IAC5E,2EAA2E;IAC3E,mDAAmD;IACnD,EAAE,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACnD,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC7B,EAAE;QACD,EAAE,EAAE,4BAA4B;QAChC,aAAa,EAAE,CAAC,oBAAoB,CAAC;QACrC,eAAe,EAAE,oBAAoB;QACrC,cAAc,EAAE,iMAAiM;QACjN,IAAI,EAAE,oBAAoB;QAC1B,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,qBAAqB;QACpC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;YAChB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;SACjD,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,cAAc,CAAC;QAC5B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,+EAA+E;IAC/E,EAAE,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE;QAC/C,EAAE,IAAI,EAAE,2BAA2B,EAAE,GAAG,EAAE,MAAM,EAAE;KACnD,EAAE;QACD,EAAE,EAAE,0BAA0B;QAC9B,SAAS,EAAE;YACT,KAAK,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC;YACxB,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,gLAAgL;YACjM,OAAO,EAAE,wEAAwE;SAClF;QACD,IAAI,EAAE,kCAAkC;QACxC,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,6BAA6B;QAC5C,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,GAAG,CAAC,GAAG,CAAC,2BAA2B,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;QAC7D,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACtD,WAAW,EAAE,CAAC,gCAAgC,EAAE,eAAe,CAAC;QAChE,UAAU,EAAE,CAAC,kDAAkD,CAAC;QAChE,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,6EAA6E;IAC7E,2EAA2E;IAC3E,wEAAwE;IACxE,wEAAwE;IACxE,yEAAyE;IACzE,kBAAkB;IAClB,EAAE,CAAC,EAAE,IAAI,EAAE,uCAAuC,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACjE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;KAC9B,EAAE;QACD,EAAE,EAAE,0BAA0B;QAC9B,IAAI,EAAE,kCAAkC;QACxC,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,wCAAwC;QACvD,eAAe,EAAE,uBAAuB,EAAE,iCAAiC;QAC3E,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;QAC9B,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE;YACX,sEAAsE;YACtE,yDAAyD;SAC1D;QACD,UAAU,EAAE,CAAC,iBAAiB,EAAE,cAAc,EAAE,kCAAkC,CAAC;QACnF,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC"}
+{"version":3,"file":"atomic.js","sourceRoot":"","sources":["../../../src/canonical/entries/atomic.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,MAAM,EACN,IAAI,EACJ,MAAM,EACN,MAAM,EACN,SAAS,EACT,aAAa,EACb,YAAY,EACZ,QAAQ,GACT,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,eAAe,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,gBAAgB;AAEzD,MAAM,CAAC,MAAM,MAAM,GAAiC;IAClD,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QAC1C,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE;QAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE;QACxC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;KAC9B,EAAE;QACD,EAAE,EAAE,mBAAmB;QACvB,cAAc,EAAE,uHAAuH;QACvI,IAAI,EAAE,gBAAgB;QACtB,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,uDAAuD;QACtE,eAAe,EAAE,oBAAoB;QACrC,mEAAmE;QACnE,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YACvD,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC;gBACxB,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC;gBAClC,GAAG,CAAC,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC,EAAE,GAAG,CAAC;gBACxC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;aAC9B,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACtD,WAAW,EAAE,CAAC,eAAe,EAAE,kBAAkB,CAAC;QAClD,UAAU,EAAE,CAAC,yBAAyB,CAAC;QACvC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,2BAA2B,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACrD,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE;QACxC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE;QAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC7B,EAAE;QACD,EAAE,EAAE,8BAA8B;QAClC,IAAI,EAAE,2BAA2B;QACjC,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,4CAA4C;QAC3D,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;YAC1B,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC;gBAC9B,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC;gBAChB,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;aAC7B,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACtD,WAAW,EAAE,CAAC,0CAA0C,CAAC;QACzD,UAAU,EAAE,CAAC,6BAA6B,CAAC;QAC3C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,eAAe,EAAE,EAAE;QAClD,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;QAC7B,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE;KAC3B,EAAE;QACD,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,eAAe;QACrB,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,6BAA6B;QAC5C,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;YAChD,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;SACrD,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACtD,WAAW,EAAE,CAAC,gCAAgC,CAAC;QAC/C,UAAU,EAAE,CAAC,uBAAuB,CAAC;QACrC,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,6EAA6E;IAC7E,4EAA4E;IAC5E,2BAA2B;IAC3B,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACzC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE;KAC/B,EAAE;QACD,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,0BAA0B;QAChC,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,WAAW;QAC1B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;QAC5D,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACtD,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,4BAA4B,CAAC;QAC1C,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,wBAAwB;IACxB,EAAE,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACjD,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC7B,EAAE;QACD,EAAE,EAAE,eAAe;QACnB,KAAK,EAAE,OAAO;QACd,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,gBAAgB;QAC/B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC1D,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,iBAAiB,CAAC;QAC/B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,wCAAwC;IACxC,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACvC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE;QACxC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;QAC7B,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE;QAC1B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;KAC3B,EAAE;QACD,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,6CAA6C;QAC5D,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,KAAK,EAAE,aAAa,CAAC;gBACzB,GAAG,CAAC,WAAW,EAAE,YAAY,CAAC;gBAC9B,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;aAC9B,CAAC;YACF,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;SACxD,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACtD,WAAW,EAAE,CAAC,eAAe,EAAE,kBAAkB,CAAC;QAClD,UAAU,EAAE,CAAC,WAAW,CAAC;QACzB,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,4EAA4E;IAC5E,2EAA2E;IAC3E,mDAAmD;IACnD,EAAE,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACnD,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE;QAC1B,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE;KAC7B,EAAE;QACD,EAAE,EAAE,4BAA4B;QAChC,aAAa,EAAE,CAAC,oBAAoB,CAAC;QACrC,eAAe,EAAE,oBAAoB;QACrC,cAAc,EAAE,iMAAiM;QACjN,IAAI,EAAE,oBAAoB;QAC1B,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,qBAAqB;QACpC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC;YAChB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;SACjD,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE,EAAE;QACf,UAAU,EAAE,CAAC,cAAc,CAAC;QAC5B,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,+EAA+E;IAC/E,EAAE,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE;QAC/C,EAAE,IAAI,EAAE,2BAA2B,EAAE,GAAG,EAAE,MAAM,EAAE;KACnD,EAAE;QACD,EAAE,EAAE,0BAA0B;QAC9B,SAAS,EAAE;YACT,KAAK,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC;YACxB,KAAK,EAAE,MAAM,CAAC,GAAG,CAAA,gLAAgL;YACjM,OAAO,EAAE,wEAAwE;SAClF;QACD,IAAI,EAAE,kCAAkC;QACxC,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,6BAA6B;QAC5C,eAAe,EAAE,uBAAuB;QACxC,SAAS,EAAE,GAAG,CAAC,GAAG,CAAC,2BAA2B,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;QAC7D,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACtD,WAAW,EAAE,CAAC,gCAAgC,EAAE,eAAe,CAAC;QAChE,UAAU,EAAE,CAAC,kDAAkD,CAAC;QAChE,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,6EAA6E;IAC7E,2EAA2E;IAC3E,wEAAwE;IACxE,wEAAwE;IACxE,yEAAyE;IACzE,kBAAkB;IAClB,EAAE,CAAC,EAAE,IAAI,EAAE,uCAAuC,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACjE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE;KAC9B,EAAE;QACD,EAAE,EAAE,0BAA0B;QAC9B,IAAI,EAAE,kCAAkC;QACxC,MAAM,EAAE,SAAS;QACjB,aAAa,EAAE,wCAAwC;QACvD,eAAe,EAAE,uBAAuB,EAAE,iCAAiC;QAC3E,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;QAC9B,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC5B,WAAW,EAAE;YACX,sEAAsE;YACtE,yDAAyD;SAC1D;QACD,UAAU,EAAE,CAAC,iBAAiB,EAAE,cAAc,EAAE,kCAAkC,CAAC;QACnF,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC","sourcesContent":["/**\n * L1 (scalar-AST) canonical entries — atomic-scale derived constants and\n * quantum monomials. The Rydberg energy, the classical electron radius, and the\n * Bohr magneton: monomial combinations of fundamental constants (e, ℏ, ε₀, m_e,\n * c); plus the Planck–Einstein relation, the de Broglie wavelength, and the Bohr\n * radius (folded in from the former l1-quantum-em batch file in the 2026-06-22\n * god-file split); plus (batch 6) the Thomson scattering cross-section. L0\n * fields are engine-derived (see `_l1-build`).\n *\n * Scope: generic dimensional MONOMIAL laws (Adam+Eve adversarial audit,\n * 2026-06-20). Leading numeric/geometric prefactors (½, 4π, 8) are recorded via\n * `scalar-up-to-constant`. The fine-structure constant α (dimensionless-only) is\n * out of scope. See docs/research/bridges-vs-canonical-map.md.\n *\n * @module canonical/entries/atomic\n */\nimport type { CanonicalEquation } from '../canonical-equation.js';\nimport { sym } from '../../dimensional/ast-builders.js';\nimport {\n  MASS,\n  VELOCITY,\n  ENERGY,\n  LENGTH,\n  AREA,\n  ACTION,\n  CHARGE,\n  FREQUENCY,\n  DIMENSIONLESS,\n  PERMITTIVITY,\n  MOMENTUM,\n} from '../../dimensional/types.js';\nimport { dim, op, pow, l1 } from './_l1-build.js';\n\nconst MAGNETIC_MOMENT = dim(2, 0, 0, 1); // [L² I] (A·m²)\n\nexport const ATOMIC: readonly CanonicalEquation[] = [\n  l1({ name: 'rydberg-energy', dim: ENERGY }, [\n    { name: 'm_e', dim: MASS },\n    { name: 'e', dim: CHARGE },\n    { name: 'epsilon_0', dim: PERMITTIVITY },\n    { name: 'hbar', dim: ACTION },\n  ], {\n    id: 'CE-rydberg-energy',\n    conventionNote: 'the Rydberg latex is E_R = m_e e^4 / (32 π² ε0² ħ²), which is m e^4 / (8 ε0² h²). The prefactor is in the scalar AST.',\n    name: 'Rydberg energy',\n    domain: 'quantum',\n    formula_latex: 'E_R = m_e e^4 / (32 \\\\pi^2 \\\\varepsilon_0^2 \\\\hbar^2)',\n    epistemicStatus: 'fully-quantitative',\n    // The ħ form equals m e^4 / (8 ε₀² h²). The old latex omitted 4π².\n    scalarAst: op('/', [\n      op('*', [sym('m_e', MASS), pow(sym('e', CHARGE), '4')]),\n      op('*', [\n        sym('32', DIMENSIONLESS),\n        pow(sym('pi', DIMENSIONLESS), '2'),\n        pow(sym('epsilon_0', PERMITTIVITY), '2'),\n        pow(sym('hbar', ACTION), '2'),\n      ]),\n    ]),\n    regime: { scale: 'quantum', force: 'electromagnetic' },\n    assumptions: ['hydrogen-like', 'non-relativistic'],\n    references: ['Rydberg 1888; Bohr 1913'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'classical-electron-radius', dim: LENGTH }, [\n    { name: 'e', dim: CHARGE },\n    { name: 'epsilon_0', dim: PERMITTIVITY },\n    { name: 'm_e', dim: MASS },\n    { name: 'c', dim: VELOCITY },\n  ], {\n    id: 'CE-classical-electron-radius',\n    name: 'Classical electron radius',\n    domain: 'quantum',\n    formula_latex: 'r_e = e^2 / (4\\\\pi \\\\varepsilon_0 m_e c^2)',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [\n      pow(sym('e', CHARGE), '2'),\n      op('*', [\n        sym('4pi', DIMENSIONLESS),\n        sym('epsilon_0', PERMITTIVITY),\n        sym('m_e', MASS),\n        pow(sym('c', VELOCITY), '2'),\n      ]),\n    ]),\n    regime: { scale: 'quantum', force: 'electromagnetic' },\n    assumptions: ['classical point-charge self-energy scale'],\n    references: ['Lorentz; Thomson scattering'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'bohr-magneton', dim: MAGNETIC_MOMENT }, [\n    { name: 'e', dim: CHARGE },\n    { name: 'hbar', dim: ACTION },\n    { name: 'm_e', dim: MASS },\n  ], {\n    id: 'CE-bohr-magneton',\n    name: 'Bohr magneton',\n    domain: 'quantum',\n    formula_latex: '\\\\mu_B = e \\\\hbar / (2 m_e)',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [\n      op('*', [sym('e', CHARGE), sym('hbar', ACTION)]),\n      op('*', [sym('2', DIMENSIONLESS), sym('m_e', MASS)]),\n    ]),\n    regime: { scale: 'quantum', force: 'electromagnetic' },\n    assumptions: ['electron magnetic-moment scale'],\n    references: ['Bohr 1913; Pauli 1920'],\n    partnerBridges: [],\n  }),\n  // ── Folded in from the former l1-quantum-em batch file (2026-06-22 god-file\n  // split): the quantum-domain monomials. ───────────────────────────────────\n  // Planck–Einstein  E = h ν\n  l1({ name: 'photon-energy', dim: ENERGY }, [\n    { name: 'h', dim: ACTION },\n    { name: 'nu', dim: FREQUENCY },\n  ], {\n    id: 'CE-planck-einstein',\n    name: 'Planck–Einstein relation',\n    domain: 'quantum',\n    formula_latex: 'E = h\\\\nu',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [sym('h', ACTION), sym('nu', FREQUENCY)]),\n    regime: { scale: 'quantum', force: 'electromagnetic' },\n    assumptions: [],\n    references: ['Planck 1900; Einstein 1905'],\n    partnerBridges: [],\n  }),\n  // de Broglie  λ = h / p\n  l1({ name: 'de-broglie-wavelength', dim: LENGTH }, [\n    { name: 'h', dim: ACTION },\n    { name: 'p', dim: MOMENTUM },\n  ], {\n    id: 'CE-de-broglie',\n    holds: 'p > 0',\n    name: 'de Broglie wavelength',\n    domain: 'quantum',\n    formula_latex: '\\\\lambda = h/p',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [sym('h', ACTION), sym('p', MOMENTUM)]),\n    regime: { scale: 'quantum' },\n    assumptions: [],\n    references: ['de Broglie 1924'],\n    partnerBridges: [],\n  }),\n  // Bohr radius  a₀ = 4π ε₀ ℏ² / (m_e e²)\n  l1({ name: 'bohr-radius', dim: LENGTH }, [\n    { name: 'epsilon_0', dim: PERMITTIVITY },\n    { name: 'hbar', dim: ACTION },\n    { name: 'm_e', dim: MASS },\n    { name: 'e', dim: CHARGE },\n  ], {\n    id: 'CE-bohr-radius',\n    name: 'Bohr radius',\n    domain: 'quantum',\n    formula_latex: 'a_0 = 4\\\\pi\\\\varepsilon_0\\\\hbar^2/(m_e e^2)',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [\n      op('*', [\n        sym('4pi', DIMENSIONLESS),\n        sym('epsilon_0', PERMITTIVITY),\n        pow(sym('hbar', ACTION), '2'),\n      ]),\n      op('*', [sym('m_e', MASS), pow(sym('e', CHARGE), '2')]),\n    ]),\n    regime: { scale: 'quantum', force: 'electromagnetic' },\n    assumptions: ['hydrogen-like', 'non-relativistic'],\n    references: ['Bohr 1913'],\n    partnerBridges: [],\n  }),\n  // λ = h/(m c). The L0 id CE-compton-wavelength stays the reduced wavelength\n  // λ̄ = ħ/(m c); this id is the non-reduced one. Both answer to the catalog\n  // name compton-wavelength, and h does not alias ħ.\n  l1({ name: 'compton-wavelength-full', dim: LENGTH }, [\n    { name: 'h', dim: ACTION },\n    { name: 'mass', dim: MASS },\n    { name: 'c', dim: VELOCITY },\n  ], {\n    id: 'CE-compton-wavelength-full',\n    targetAliases: ['compton-wavelength'],\n    conventionGroup: 'compton-wavelength',\n    conventionNote: 'CE-compton-wavelength is the reduced wavelength λ̄ = ħ/(m c), prefactor checked. CE-compton-wavelength-full is λ = h/(m c). The Compton-shift entry uses h/(m c) (1−cos θ). h does not alias ħ.',\n    name: 'Compton wavelength',\n    domain: 'quantum',\n    formula_latex: '\\\\lambda_C = h/(mc)',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [\n      sym('h', ACTION),\n      op('*', [sym('mass', MASS), sym('c', VELOCITY)]),\n    ]),\n    regime: { scale: 'quantum' },\n    assumptions: [],\n    references: ['Compton 1923'],\n    partnerBridges: [],\n  }),\n  // ── batch 6 (final): Thomson cross-section (scalar-up-to-constant, the 8π/3).\n  l1({ name: 'thomson-cross-section', dim: AREA }, [\n    { name: 'classical-electron-radius', dim: LENGTH },\n  ], {\n    id: 'CE-thomson-cross-section',\n    prefactor: {\n      value: (8 * Math.PI) / 3,\n      quote: String.raw`\\sigma_\\text{t} = \\frac{8\\pi} 3 \\left(\\frac{q^2}{4\\pi\\varepsilon_0 mc^2}\\right)^2 = \\frac{8\\pi} 3 {r}^2 = \\frac{8 \\pi}{3} \\left(\\alpha \\lambda\\!\\!\\!\\bar{}_\\text{c}\\right)^2 ,`,\n      locator: \"Wikipedia, 'Thomson scattering', revision 1348001870, wikitext line 31\",\n    },\n    name: 'Thomson scattering cross-section',\n    domain: 'quantum',\n    formula_latex: '\\\\sigma_T = (8\\\\pi/3) r_e^2',\n    epistemicStatus: 'scalar-up-to-constant',\n    scalarAst: pow(sym('classical-electron-radius', LENGTH), '2'),\n    regime: { scale: 'quantum', force: 'electromagnetic' },\n    assumptions: ['non-relativistic Thomson limit', 'free electron'],\n    references: ['J.J. Thomson; Jackson, Classical Electrodynamics'],\n    partnerBridges: [],\n  }),\n  // ── poster entry 4 (Sprint 3 / ROADMAP Phase 3) ───────────────────────────\n  // Heisenberg uncertainty, at its SATURATING equality: Δx Δp = ℏ/2. Derived\n  // as poster entry 4 from the ROADMAP Phase 3 lines `4` (commutator plus\n  // Cauchy–Schwarz) and `13 ↔ 4` (a Gaussian family saturates the bound).\n  // Recorded as the bound's equality case, the way CE-landauer records the\n  // Landauer bound.\n  l1({ name: 'position-momentum-uncertainty-product', dim: ACTION }, [\n    { name: 'hbar', dim: ACTION },\n  ], {\n    id: 'CE-uncertainty-principle',\n    name: 'Heisenberg uncertainty principle',\n    domain: 'quantum',\n    formula_latex: '\\\\Delta x \\\\, \\\\Delta p \\\\geq \\\\hbar/2',\n    epistemicStatus: 'scalar-up-to-constant', // the ½ is the dropped prefactor\n    scalarAst: sym('hbar', ACTION),\n    regime: { scale: 'quantum' },\n    assumptions: [\n      'a LOWER BOUND, not an equality; the scalarAst is its saturating case',\n      'saturated only by minimum-uncertainty (Gaussian) states',\n    ],\n    references: ['Heisenberg 1927', 'Kennard 1927', 'Robertson 1929 Phys. Rev. 34:163'],\n    partnerBridges: [],\n  }),\n];\n"]}

package/dist/canonical/entries/condensed-matter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"condensed-matter.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/condensed-matter.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAclE,eAAO,MAAM,gBAAgB,EAAE,SAAS,iBAAiB,EA6KxD,CAAC"}
+{"version":3,"file":"condensed-matter.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/condensed-matter.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAwBlE,eAAO,MAAM,gBAAgB,EAAE,SAAS,iBAAiB,EA6KxD,CAAC"}

package/dist/canonical/entries/condensed-matter.js

@@ -1,14 +1,13 @@
 import { sym } from '../../dimensional/ast-builders.js';
-import { MASS, VELOCITY, ENERGY, TIME, FREQUENCY, CHARGE } from '../../dimensional/types.js';
+import { MASS, VELOCITY, ENERGY, TIME, FREQUENCY, CHARGE, ELECTRIC_FIELD, RESISTIVITY, ACTION, PERMITTIVITY, } from '../../dimensional/types.js';
 import { dim, op, pow, l1 } from './_l1-build.js';
-const ELECTRIC_FIELD = dim(1, 1, -3, -1); // V/m [L M T⁻³ I⁻¹]
 const CARRIER_DENSITY = dim(-3, 0, 0, 0); // [L⁻³] (number density)
 const CARRIER_MOBILITY = dim(0, -1, 2, 1); // [M⁻¹ T² I]
 const ELECTRICAL_CONDUCTIVITY = dim(-3, -1, 3, 2); // siemens/m [L⁻³ M⁻¹ T³ I²]
-const ELECTRICAL_RESISTIVITY = dim(3, 1, -3, -2); // ohm·m [L³ M T⁻³ I⁻²]
+const ELECTRICAL_RESISTIVITY = RESISTIVITY; // ohm·m [L³ M T⁻³ I⁻²]
 const HALL_COEFFICIENT = dim(3, 0, -1, -1); // [L³ T⁻¹ I⁻¹]
-const REDUCED_PLANCK = dim(2, 1, -1, 0); // J·s [L² M T⁻¹]
-const VACUUM_PERMITTIVITY = dim(-3, -1, 4, 2); // farad/m [L⁻³ M⁻¹ T⁴ I²]
+const REDUCED_PLANCK = ACTION; // J·s [L² M T⁻¹]
+const VACUUM_PERMITTIVITY = PERMITTIVITY; // farad/m [L⁻³ M⁻¹ T⁴ I²]
 export const CONDENSED_MATTER = [
     // ── free-carrier transport (fully-quantitative clean monomials) ───────────
     l1({ name: 'carrier-mobility', dim: CARRIER_MOBILITY }, [
@@ -110,7 +109,7 @@ export const CONDENSED_MATTER = [
     // ── Fermi gas + collective frequencies (√-laws: dimensional-only,
     // engine-derived fractional monomials) ────────────────────────────────────
     l1({ name: 'fermi-energy', dim: ENERGY }, [
-        { name: 'reduced-planck-constant', dim: REDUCED_PLANCK },
+        { name: 'hbar', dim: REDUCED_PLANCK },
         { name: 'mass', dim: MASS },
         { name: 'carrier-density', dim: CARRIER_DENSITY },
     ], {
@@ -126,7 +125,7 @@ export const CONDENSED_MATTER = [
         partnerBridges: [],
     }),
     l1({ name: 'fermi-velocity', dim: VELOCITY }, [
-        { name: 'reduced-planck-constant', dim: REDUCED_PLANCK },
+        { name: 'hbar', dim: REDUCED_PLANCK },
         { name: 'mass', dim: MASS },
         { name: 'carrier-density', dim: CARRIER_DENSITY },
     ], {
@@ -144,7 +143,7 @@ export const CONDENSED_MATTER = [
     l1({ name: 'plasma-frequency', dim: FREQUENCY }, [
         { name: 'carrier-density', dim: CARRIER_DENSITY },
         { name: 'charge', dim: CHARGE },
-        { name: 'vacuum-permittivity', dim: VACUUM_PERMITTIVITY },
+        { name: 'epsilon_0', dim: VACUUM_PERMITTIVITY },
         { name: 'mass', dim: MASS },
     ], {
         id: 'CE-plasma-frequency',
@@ -154,7 +153,7 @@ export const CONDENSED_MATTER = [
         epistemicStatus: 'fully-quantitative',
         scalarAst: pow(op('/', [
             op('*', [sym('carrier-density', CARRIER_DENSITY), pow(sym('charge', CHARGE), '2')]),
-            op('*', [sym('vacuum-permittivity', VACUUM_PERMITTIVITY), sym('mass', MASS)]),
+            op('*', [sym('epsilon_0', VACUUM_PERMITTIVITY), sym('mass', MASS)]),
         ]), '0.5'),
         regime: { scale: 'mesoscopic', force: 'electromagnetic' },
         assumptions: ['free-electron gas', 'long-wavelength (q→0) limit'],

package/dist/canonical/entries/condensed-matter.js.map

@@ -1 +1 @@
-{"version":3,"file":"condensed-matter.js","sourceRoot":"","sources":["../../../src/canonical/entries/condensed-matter.ts"],"names":[],"mappings":"AAqBA,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AAC7F,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,cAAc,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,oBAAoB;AAC9D,MAAM,eAAe,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,yBAAyB;AACnE,MAAM,gBAAgB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa;AACxD,MAAM,uBAAuB,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,4BAA4B;AAC/E,MAAM,sBAAsB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,uBAAuB;AACzE,MAAM,gBAAgB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe;AAC3D,MAAM,cAAc,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,iBAAiB;AAC1D,MAAM,mBAAmB,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,0BAA0B;AAEzE,MAAM,CAAC,MAAM,gBAAgB,GAAiC;IAC5D,6EAA6E;IAC7E,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,EAAE;QACtD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,IAAI,EAAE;QACtC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;KAC5B,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,iBAAiB;QAChC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,iBAAiB,EAAE,IAAI,CAAC,CAAC,CAAC;YAC9D,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;SAClB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACzD,WAAW,EAAE,CAAC,2BAA2B,CAAC;QAC1C,UAAU,EAAE,CAAC,wCAAwC,CAAC;QACtD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,GAAG,EAAE,uBAAuB,EAAE,EAAE;QACpE,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE;KACpD,EAAE;QACD,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,iCAAiC;QACvC,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,oBAAoB;QACnC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC;YACvC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;YACrB,GAAG,CAAC,kBAAkB,EAAE,gBAAgB,CAAC;SAC1C,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACzD,WAAW,EAAE,CAAC,2BAA2B,CAAC;QAC1C,UAAU,EAAE,CAAC,sDAAsD,CAAC;QACpE,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,GAAG,EAAE,sBAAsB,EAAE,EAAE;QAClE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,IAAI,EAAE;KACvC,EAAE;QACD,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC;gBACvC,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;gBAC/B,GAAG,CAAC,iBAAiB,EAAE,IAAI,CAAC;aAC7B,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACzD,WAAW,EAAE,CAAC,2BAA2B,CAAC;QAC1C,UAAU,EAAE,CAAC,YAAY,EAAE,wCAAwC,CAAC;QACpE,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,EAAE;QACtD,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;KAChC,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,cAAc;QAC7B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,GAAG,CACZ,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,EACzE,IAAI,CACL;QACD,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACzD,WAAW,EAAE,CAAC,4BAA4B,EAAE,oBAAoB,CAAC;QACjE,UAAU,EAAE,CAAC,6CAA6C,CAAC;QAC3D,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QAC5C,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE;QACnD,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE;KAChD,EAAE;QACD,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,wBAAwB;QAC9B,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,cAAc;QAC7B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,kBAAkB,EAAE,gBAAgB,CAAC;YACzC,GAAG,CAAC,gBAAgB,EAAE,cAAc,CAAC;SACtC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACzD,WAAW,EAAE,CAAC,2BAA2B,EAAE,oCAAoC,CAAC;QAChF,UAAU,EAAE,CAAC,YAAY,EAAE,wCAAwC,CAAC;QACpE,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,mEAAmE;IACnE,4EAA4E;IAC5E,EAAE,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACxC,EAAE,IAAI,EAAE,yBAAyB,EAAE,GAAG,EAAE,cAAc,EAAE;QACxD,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;KAClD,EAAE;QACD,EAAE,EAAE,iBAAiB;QACrB,eAAe,EAAE,gDAAgD;QACjE,IAAI,EAAE,cAAc;QACpB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,iCAAiC;QAChD,eAAe,EAAE,aAAa;QAC9B,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE;QAC/B,WAAW,EAAE,CAAC,8BAA8B,EAAE,OAAO,CAAC;QACtD,UAAU,EAAE,CAAC,wCAAwC,CAAC;QACtD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QAC5C,EAAE,IAAI,EAAE,yBAAyB,EAAE,GAAG,EAAE,cAAc,EAAE;QACxD,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;KAClD,EAAE;QACD,EAAE,EAAE,mBAAmB;QACvB,eAAe,EAAE,2CAA2C;QAC5D,IAAI,EAAE,gBAAgB;QACtB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,iCAAiC;QAChD,eAAe,EAAE,aAAa;QAC9B,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE;QAC/B,WAAW,EAAE,CAAC,8BAA8B,EAAE,OAAO,CAAC;QACtD,UAAU,EAAE,CAAC,wCAAwC,CAAC;QACtD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE;QAC/C,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,mBAAmB,EAAE;QACzD,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;KAC5B,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,8CAA8C;QAC7D,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,GAAG,CACZ,EAAE,CAAC,GAAG,EAAE;YACN,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YACnF,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,qBAAqB,EAAE,mBAAmB,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;SAC9E,CAAC,EACF,KAAK,CACN;QACD,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACzD,WAAW,EAAE,CAAC,mBAAmB,EAAE,6BAA6B,CAAC;QACjE,UAAU,EAAE,CAAC,6CAA6C,EAAE,wCAAwC,CAAC;QACrG,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE;QAC9C,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,QAAQ,EAAE;QACtC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,eAAe,EAAE;KACjD,EAAE;QACD,EAAE,EAAE,oBAAoB;QACxB,eAAe,EAAE,2CAA2C;QAC5D,IAAI,EAAE,iBAAiB;QACvB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,gCAAgC;QAC/C,eAAe,EAAE,aAAa;QAC9B,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE;QAClD,WAAW,EAAE,CAAC,mCAAmC,EAAE,mBAAmB,CAAC;QACvE,UAAU,EAAE,CAAC,YAAY,EAAE,6CAA6C,CAAC;QACzE,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC"}
+{"version":3,"file":"condensed-matter.js","sourceRoot":"","sources":["../../../src/canonical/entries/condensed-matter.ts"],"names":[],"mappings":"AAqBA,OAAO,EAAE,GAAG,EAAE,MAAM,mCAAmC,CAAC;AACxD,OAAO,EACL,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,IAAI,EACJ,SAAS,EACT,MAAM,EACN,cAAc,EACd,WAAW,EACX,MAAM,EACN,YAAY,GACb,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,eAAe,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,yBAAyB;AACnE,MAAM,gBAAgB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa;AACxD,MAAM,uBAAuB,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,4BAA4B;AAC/E,MAAM,sBAAsB,GAAG,WAAW,CAAC,CAAC,uBAAuB;AACnE,MAAM,gBAAgB,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe;AAC3D,MAAM,cAAc,GAAG,MAAM,CAAC,CAAC,iBAAiB;AAChD,MAAM,mBAAmB,GAAG,YAAY,CAAC,CAAC,0BAA0B;AAEpE,MAAM,CAAC,MAAM,gBAAgB,GAAiC;IAC5D,6EAA6E;IAC7E,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,EAAE;QACtD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,IAAI,EAAE;QACtC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;KAC5B,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,iBAAiB;QAChC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,iBAAiB,EAAE,IAAI,CAAC,CAAC,CAAC;YAC9D,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;SAClB,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACzD,WAAW,EAAE,CAAC,2BAA2B,CAAC;QAC1C,UAAU,EAAE,CAAC,wCAAwC,CAAC;QACtD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,GAAG,EAAE,uBAAuB,EAAE,EAAE;QACpE,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE;KACpD,EAAE;QACD,EAAE,EAAE,4BAA4B;QAChC,IAAI,EAAE,iCAAiC;QACvC,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,oBAAoB;QACnC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC;YACvC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC;YACrB,GAAG,CAAC,kBAAkB,EAAE,gBAAgB,CAAC;SAC1C,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACzD,WAAW,EAAE,CAAC,2BAA2B,CAAC;QAC1C,UAAU,EAAE,CAAC,sDAAsD,CAAC;QACpE,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,GAAG,EAAE,sBAAsB,EAAE,EAAE;QAClE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,IAAI,EAAE;KACvC,EAAE;QACD,EAAE,EAAE,sBAAsB;QAC1B,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,yBAAyB;QACxC,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;YACjB,EAAE,CAAC,GAAG,EAAE;gBACN,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC;gBACvC,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC;gBAC/B,GAAG,CAAC,iBAAiB,EAAE,IAAI,CAAC;aAC7B,CAAC;SACH,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACzD,WAAW,EAAE,CAAC,2BAA2B,CAAC;QAC1C,UAAU,EAAE,CAAC,YAAY,EAAE,wCAAwC,CAAC;QACpE,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE,EAAE;QACtD,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;KAChC,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,cAAc;QAC7B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,GAAG,CACZ,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,EACzE,IAAI,CACL;QACD,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACzD,WAAW,EAAE,CAAC,4BAA4B,EAAE,oBAAoB,CAAC;QACjE,UAAU,EAAE,CAAC,6CAA6C,CAAC;QAC3D,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QAC5C,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,gBAAgB,EAAE;QACnD,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,cAAc,EAAE;KAChD,EAAE;QACD,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,wBAAwB;QAC9B,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,cAAc;QAC7B,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,EAAE,CAAC,GAAG,EAAE;YACjB,GAAG,CAAC,kBAAkB,EAAE,gBAAgB,CAAC;YACzC,GAAG,CAAC,gBAAgB,EAAE,cAAc,CAAC;SACtC,CAAC;QACF,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACzD,WAAW,EAAE,CAAC,2BAA2B,EAAE,oCAAoC,CAAC;QAChF,UAAU,EAAE,CAAC,YAAY,EAAE,wCAAwC,CAAC;QACpE,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,mEAAmE;IACnE,4EAA4E;IAC5E,EAAE,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE;QACxC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,cAAc,EAAE;QACrC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;KAClD,EAAE;QACD,EAAE,EAAE,iBAAiB;QACrB,eAAe,EAAE,gDAAgD;QACjE,IAAI,EAAE,cAAc;QACpB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,iCAAiC;QAChD,eAAe,EAAE,aAAa;QAC9B,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE;QAC/B,WAAW,EAAE,CAAC,8BAA8B,EAAE,OAAO,CAAC;QACtD,UAAU,EAAE,CAAC,wCAAwC,CAAC;QACtD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QAC5C,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,cAAc,EAAE;QACrC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;QAC3B,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;KAClD,EAAE;QACD,EAAE,EAAE,mBAAmB;QACvB,eAAe,EAAE,2CAA2C;QAC5D,IAAI,EAAE,gBAAgB;QACtB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,iCAAiC;QAChD,eAAe,EAAE,aAAa;QAC9B,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE;QAC/B,WAAW,EAAE,CAAC,8BAA8B,EAAE,OAAO,CAAC;QACtD,UAAU,EAAE,CAAC,wCAAwC,CAAC;QACtD,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE;QAC/C,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,eAAe,EAAE;QACjD,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE;QAC/B,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,mBAAmB,EAAE;QAC/C,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE;KAC5B,EAAE;QACD,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,8CAA8C;QAC7D,eAAe,EAAE,oBAAoB;QACrC,SAAS,EAAE,GAAG,CACZ,EAAE,CAAC,GAAG,EAAE;YACN,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,iBAAiB,EAAE,eAAe,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YACnF,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,WAAW,EAAE,mBAAmB,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;SACpE,CAAC,EACF,KAAK,CACN;QACD,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,iBAAiB,EAAE;QACzD,WAAW,EAAE,CAAC,mBAAmB,EAAE,6BAA6B,CAAC;QACjE,UAAU,EAAE,CAAC,6CAA6C,EAAE,wCAAwC,CAAC;QACrG,cAAc,EAAE,EAAE;KACnB,CAAC;IACF,EAAE,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE;QAC9C,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,QAAQ,EAAE;QACtC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,eAAe,EAAE;KACjD,EAAE;QACD,EAAE,EAAE,oBAAoB;QACxB,eAAe,EAAE,2CAA2C;QAC5D,IAAI,EAAE,iBAAiB;QACvB,MAAM,EAAE,kBAAkB;QAC1B,aAAa,EAAE,gCAAgC;QAC/C,eAAe,EAAE,aAAa;QAC9B,MAAM,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE;QAClD,WAAW,EAAE,CAAC,mCAAmC,EAAE,mBAAmB,CAAC;QACvE,UAAU,EAAE,CAAC,YAAY,EAAE,6CAA6C,CAAC;QACzE,cAAc,EAAE,EAAE;KACnB,CAAC;CACH,CAAC","sourcesContent":["/**\n * L1 (scalar-AST) canonical entries — condensed-matter physics. The PILOT batch\n * of the canonical L-layer expansion: 9 standard free-electron / Drude-model\n * monomial laws (carrier transport, Fermi gas, collective lattice/plasma\n * frequencies). Each is a unique dimensional monomial (0 free groups); L0\n * fields are engine-derived (see `_l1-build`).\n *\n * The pilot brief specified 10 laws including cyclotron frequency\n * (`ω_c = qB/m`), but that law is already canonical as `CE-cyclotron-frequency`\n * in `electromagnetism.ts` — it is omitted here to avoid a duplicate registry\n * entry for the same textbook relation (see the PILOT report for detail).\n *\n * 6 of the remaining laws are fully-quantitative. Five are clean integer\n * monomials. The angular plasma frequency is `√(n q²/(ε₀ m))`, so its factor\n * is 1 and it carries a `scalarAst`. Fermi energy, Fermi velocity, and the\n * Debye frequency omit `scalarAst` and stay `dimensional`: the unit monomial\n * is not those textbook factors.\n *\n * @module canonical/entries/condensed-matter\n */\nimport type { CanonicalEquation } from '../canonical-equation.js';\nimport { sym } from '../../dimensional/ast-builders.js';\nimport {\n  MASS,\n  VELOCITY,\n  ENERGY,\n  TIME,\n  FREQUENCY,\n  CHARGE,\n  ELECTRIC_FIELD,\n  RESISTIVITY,\n  ACTION,\n  PERMITTIVITY,\n} from '../../dimensional/types.js';\nimport { dim, op, pow, l1 } from './_l1-build.js';\n\nconst CARRIER_DENSITY = dim(-3, 0, 0, 0); // [L⁻³] (number density)\nconst CARRIER_MOBILITY = dim(0, -1, 2, 1); // [M⁻¹ T² I]\nconst ELECTRICAL_CONDUCTIVITY = dim(-3, -1, 3, 2); // siemens/m [L⁻³ M⁻¹ T³ I²]\nconst ELECTRICAL_RESISTIVITY = RESISTIVITY; // ohm·m [L³ M T⁻³ I⁻²]\nconst HALL_COEFFICIENT = dim(3, 0, -1, -1); // [L³ T⁻¹ I⁻¹]\nconst REDUCED_PLANCK = ACTION; // J·s [L² M T⁻¹]\nconst VACUUM_PERMITTIVITY = PERMITTIVITY; // farad/m [L⁻³ M⁻¹ T⁴ I²]\n\nexport const CONDENSED_MATTER: readonly CanonicalEquation[] = [\n  // ── free-carrier transport (fully-quantitative clean monomials) ───────────\n  l1({ name: 'carrier-mobility', dim: CARRIER_MOBILITY }, [\n    { name: 'charge', dim: CHARGE },\n    { name: 'relaxation-time', dim: TIME },\n    { name: 'mass', dim: MASS },\n  ], {\n    id: 'CE-carrier-mobility',\n    name: 'Carrier mobility',\n    domain: 'condensed-matter',\n    formula_latex: '\\\\mu = q\\\\tau/m',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [\n      op('*', [sym('charge', CHARGE), sym('relaxation-time', TIME)]),\n      sym('mass', MASS),\n    ]),\n    regime: { scale: 'mesoscopic', force: 'electromagnetic' },\n    assumptions: ['Drude free-electron model'],\n    references: ['Ashcroft & Mermin, Solid State Physics'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'electrical-conductivity', dim: ELECTRICAL_CONDUCTIVITY }, [\n    { name: 'carrier-density', dim: CARRIER_DENSITY },\n    { name: 'charge', dim: CHARGE },\n    { name: 'carrier-mobility', dim: CARRIER_MOBILITY },\n  ], {\n    id: 'CE-electrical-conductivity',\n    name: 'Electrical conductivity (Drude)',\n    domain: 'condensed-matter',\n    formula_latex: '\\\\sigma = n q \\\\mu',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [\n      sym('carrier-density', CARRIER_DENSITY),\n      sym('charge', CHARGE),\n      sym('carrier-mobility', CARRIER_MOBILITY),\n    ]),\n    regime: { scale: 'mesoscopic', force: 'electromagnetic' },\n    assumptions: ['Drude free-electron model'],\n    references: ['Ashcroft & Mermin, Solid State Physics (Drude model)'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'electrical-resistivity', dim: ELECTRICAL_RESISTIVITY }, [\n    { name: 'mass', dim: MASS },\n    { name: 'carrier-density', dim: CARRIER_DENSITY },\n    { name: 'charge', dim: CHARGE },\n    { name: 'relaxation-time', dim: TIME },\n  ], {\n    id: 'CE-drude-resistivity',\n    name: 'Drude resistivity',\n    domain: 'condensed-matter',\n    formula_latex: '\\\\rho = m/(n q^2 \\\\tau)',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('/', [\n      sym('mass', MASS),\n      op('*', [\n        sym('carrier-density', CARRIER_DENSITY),\n        pow(sym('charge', CHARGE), '2'),\n        sym('relaxation-time', TIME),\n      ]),\n    ]),\n    regime: { scale: 'mesoscopic', force: 'electromagnetic' },\n    assumptions: ['Drude free-electron model'],\n    references: ['Drude 1900', 'Ashcroft & Mermin, Solid State Physics'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'hall-coefficient', dim: HALL_COEFFICIENT }, [\n    { name: 'carrier-density', dim: CARRIER_DENSITY },\n    { name: 'charge', dim: CHARGE },\n  ], {\n    id: 'CE-hall-coefficient',\n    name: 'Hall coefficient',\n    domain: 'condensed-matter',\n    formula_latex: 'R_H = 1/(nq)',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: pow(\n      op('*', [sym('carrier-density', CARRIER_DENSITY), sym('charge', CHARGE)]),\n      '-1',\n    ),\n    regime: { scale: 'mesoscopic', force: 'electromagnetic' },\n    assumptions: ['single-carrier Drude model', 'low magnetic field'],\n    references: ['Kittel, Introduction to Solid State Physics'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'drift-velocity', dim: VELOCITY }, [\n    { name: 'carrier-mobility', dim: CARRIER_MOBILITY },\n    { name: 'electric-field', dim: ELECTRIC_FIELD },\n  ], {\n    id: 'CE-drift-velocity',\n    name: 'Carrier drift velocity',\n    domain: 'condensed-matter',\n    formula_latex: 'v_d = \\\\mu E',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: op('*', [\n      sym('carrier-mobility', CARRIER_MOBILITY),\n      sym('electric-field', ELECTRIC_FIELD),\n    ]),\n    regime: { scale: 'mesoscopic', force: 'electromagnetic' },\n    assumptions: ['Drude free-electron model', 'linear-response (low-field) regime'],\n    references: ['Drude 1900', 'Ashcroft & Mermin, Solid State Physics'],\n    partnerBridges: [],\n  }),\n  // ── Fermi gas + collective frequencies (√-laws: dimensional-only,\n  // engine-derived fractional monomials) ────────────────────────────────────\n  l1({ name: 'fermi-energy', dim: ENERGY }, [\n    { name: 'hbar', dim: REDUCED_PLANCK },\n    { name: 'mass', dim: MASS },\n    { name: 'carrier-density', dim: CARRIER_DENSITY },\n  ], {\n    id: 'CE-fermi-energy',\n    unsetFactorNote: 'The standard factor (1/2)(3π²)^{2/3} is unset.',\n    name: 'Fermi energy',\n    domain: 'condensed-matter',\n    formula_latex: 'E_F \\\\propto \\\\hbar^2 n^{2/3}/m',\n    epistemicStatus: 'dimensional',\n    regime: { scale: 'mesoscopic' },\n    assumptions: ['degenerate free-electron gas', 'T ≈ 0'],\n    references: ['Ashcroft & Mermin, Solid State Physics'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'fermi-velocity', dim: VELOCITY }, [\n    { name: 'hbar', dim: REDUCED_PLANCK },\n    { name: 'mass', dim: MASS },\n    { name: 'carrier-density', dim: CARRIER_DENSITY },\n  ], {\n    id: 'CE-fermi-velocity',\n    unsetFactorNote: 'The standard factor (3π²)^{1/3} is unset.',\n    name: 'Fermi velocity',\n    domain: 'condensed-matter',\n    formula_latex: 'v_F \\\\propto (\\\\hbar/m) n^{1/3}',\n    epistemicStatus: 'dimensional',\n    regime: { scale: 'mesoscopic' },\n    assumptions: ['degenerate free-electron gas', 'T ≈ 0'],\n    references: ['Ashcroft & Mermin, Solid State Physics'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'plasma-frequency', dim: FREQUENCY }, [\n    { name: 'carrier-density', dim: CARRIER_DENSITY },\n    { name: 'charge', dim: CHARGE },\n    { name: 'epsilon_0', dim: VACUUM_PERMITTIVITY },\n    { name: 'mass', dim: MASS },\n  ], {\n    id: 'CE-plasma-frequency',\n    name: 'Plasma frequency',\n    domain: 'condensed-matter',\n    formula_latex: '\\\\omega_p = \\\\sqrt{n q^2/(\\\\varepsilon_0 m)}',\n    epistemicStatus: 'fully-quantitative',\n    scalarAst: pow(\n      op('/', [\n        op('*', [sym('carrier-density', CARRIER_DENSITY), pow(sym('charge', CHARGE), '2')]),\n        op('*', [sym('epsilon_0', VACUUM_PERMITTIVITY), sym('mass', MASS)]),\n      ]),\n      '0.5',\n    ),\n    regime: { scale: 'mesoscopic', force: 'electromagnetic' },\n    assumptions: ['free-electron gas', 'long-wavelength (q→0) limit'],\n    references: ['Kittel, Introduction to Solid State Physics', 'Ashcroft & Mermin, Solid State Physics'],\n    partnerBridges: [],\n  }),\n  l1({ name: 'debye-frequency', dim: FREQUENCY }, [\n    { name: 'sound-speed', dim: VELOCITY },\n    { name: 'number-density', dim: CARRIER_DENSITY },\n  ], {\n    id: 'CE-debye-frequency',\n    unsetFactorNote: 'The standard factor (6π²)^{1/3} is unset.',\n    name: 'Debye frequency',\n    domain: 'condensed-matter',\n    formula_latex: '\\\\omega_D \\\\propto v_s n^{1/3}',\n    epistemicStatus: 'dimensional',\n    regime: { scale: 'mesoscopic', force: 'emergent' },\n    assumptions: ['Debye model of lattice vibrations', 'linear dispersion'],\n    references: ['Debye 1912', 'Kittel, Introduction to Solid State Physics'],\n    partnerBridges: [],\n  }),\n];\n"]}

package/dist/canonical/entries/dimensional-classics.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"dimensional-classics.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/dimensional-classics.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AA6ClE,eAAO,MAAM,oBAAoB,EAAE,SAAS,iBAAiB,EA6N5D,CAAC"}
+{"version":3,"file":"dimensional-classics.d.ts","sourceRoot":"","sources":["../../../src/canonical/entries/dimensional-classics.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AA8ClE,eAAO,MAAM,oBAAoB,EAAE,SAAS,iBAAiB,EA6N5D,CAAC"}

package/dist/canonical/entries/dimensional-classics.js

@@ -1,7 +1,6 @@
-import { dim } from '../../dimensional/ast-builders.js';
-import { LENGTH, TIME, MASS, VELOCITY, ACCELERATION, FORCE, ACTION, ENTROPY, TEMPERATURE, } from '../../dimensional/types.js';
-const G = dim(3, -1, -2); // Newton's constant [L³ M⁻¹ T⁻²]
-const LIN_DENSITY = dim(-1, 1, 0); // mass per length [L⁻¹ M]
+import { LENGTH, TIME, MASS, VELOCITY, ACCELERATION, FORCE, ACTION, ENTROPY, TEMPERATURE, GRAVITATIONAL_CONSTANT, LINEAR_DENSITY, } from '../../dimensional/types.js';
+const G = GRAVITATIONAL_CONSTANT; // Newton's constant [L³ M⁻¹ T⁻²]
+const LIN_DENSITY = LINEAR_DENSITY; // mass per length [L⁻¹ M]
 /** Shared shape for an L0 classic (no L1/L2, fully dimensionally determined). */
 const l0 = (e) => ({
     epistemicStatus: 'dimensional',
@@ -217,10 +216,10 @@ export const DIMENSIONAL_CLASSICS = [
             governing: [
                 { name: 'hbar', dim: ACTION },
                 { name: 'mass', dim: MASS },
-                { name: 'boltzmann', dim: ENTROPY },
+                { name: 'k_B', dim: ENTROPY },
                 { name: 'temperature', dim: TEMPERATURE },
             ],
-            monomial: { hbar: 1, mass: -0.5, boltzmann: -0.5, temperature: -0.5 },
+            monomial: { hbar: 1, mass: -0.5, k_B: -0.5, temperature: -0.5 },
         },
         regime: { scale: 'quantum' },
         assumptions: ['non-relativistic', 'ideal gas'],