universal-physics-tensor 2.0.1 → 3.1.0

package/README.md

@@ -99,7 +99,7 @@ records. Every flag of every command is in [`docs/CLI.md`](https://github.com/da
 
 | Command | What it does |
 |---|---|
-| `audit` | Derive every bridge equation by dimensions and sort derived, decoy, and open. |
+| `audit` | Derive every bridge equation by dimensions and sort derived, decoy, not a monomial, and open. |
 | `derive` (`dim`) | Derive the dimensional form of your own equation and, with --formula, the prefactor. |
 | `eval` (`calc`) | Evaluate a scalar formula. A bare e is the elementary charge; Euler's number is exp(x). |
 | `evaluate` | Evaluate a closed-form bridge or an applied case, with units on every input. |
@@ -284,7 +284,7 @@ literature-anchored result, pre-registered before implementation and
 pinned to relErr ≤ 10⁻¹² (see [Part IX](https://github.com/danielsimonjr/universal-physics-tensor/blob/master/docs/specification/Part-IX-Composition.md)
 and `docs/planning/v0.8.0-Design.md`). A computable **membership
 criterion** (a bridge's endpoint quantities must differ in regime) now
-adjudicates the catalog — <!-- readme-status:membership -->50 bridges · 5 not-a-bridge · 3 unadjudicated<!-- /readme-status:membership --> —
+adjudicates the catalog — <!-- readme-status:membership -->58 bridges · 5 not-a-bridge · 3 unadjudicated<!-- /readme-status:membership --> —
 with rejections recorded in a reviewable negative catalog
 (`src/bridges/rejected.ts`).
 
@@ -367,13 +367,13 @@ The current machine-checked state is:
 <!-- readme-status:table -->
 | Surface | Current state |
 |---|---|
-| Bridge catalog | **58 entries (BE-11…68)**: 22 established, 33 speculative, 3 highly speculative; the JSON artifact is freshness-tested against the TypeScript registry |
+| Bridge catalog | **66 entries (BE-11…76)**: 30 established, 33 speculative, 3 highly speculative; the JSON artifact is freshness-tested against the TypeScript registry |
 | Empirical spine | **19 committed confrontations**, exposed through `upt confront` with rigor/caveat metadata |
-| Composition layer | **49 bridge edges** plus the canonical L-layer graph; dimensional, symbolic, discovery, consequence, and visualization tooling |
+| Composition layer | **57 bridge edges** plus the canonical L-layer graph; dimensional, symbolic, discovery, consequence, and visualization tooling |
 | Canonical reference layer | **109 canonical equations** used as the non-speculative answer-key layer for bridge recovery/linkage |
 | Architecture | Generated dependency graph reports **0 circular dependencies**. The unused-analysis report lists **1** file and **78** exports with no importer. Both reports are regenerated by `bun run docs:deps`, and the `docs-fresh` job fails when they are stale |
 | Quality gates | Build, strict source+test TypeScript checks, full Vitest suite, active-plan audit, package-content smoke test, and nightly long-horizon GL4/Shapiro accuracy tests |
-| Formal references | **10** atlas bridges derive `formally-proved` from a reviewed `lean4-physjs` reference. **16** catalog equations carry a counted reference and do not light that tag. **17** state the catalogued equation, so the kind is `bridge` while the covers line still begins with `derivation-step`; the catalog path passes that reference, so catalog evidence and edge evidence include `formally-proved`, except an unadjudicated row, which stays `proposed`. **3** carry a cross-check and **2** carry a property, and `be-28` is a property whose covers line begins with `derivation-step`. Nested statements are not second references. The pin and the split are [`NOTES.md`](https://github.com/danielsimonjr/universal-physics-tensor/blob/master/NOTES.md) |
+| Formal references | **10** atlas bridges derive `formally-proved` from a reviewed `lean4-physjs` reference. **16** catalog equations carry a counted reference and do not light that tag. **25** state the catalogued equation, so the kind is `bridge` while the covers line still begins with `derivation-step`; the catalog path passes that reference, so catalog evidence and edge evidence include `formally-proved`, except an unadjudicated row, which stays `proposed`. **3** carry a cross-check and **2** carry a property, and `be-28` is a property whose covers line begins with `derivation-step`. Nested statements are not second references. The pin and the split are [`NOTES.md`](https://github.com/danielsimonjr/universal-physics-tensor/blob/master/NOTES.md) |
 <!-- /readme-status:table -->
 
 The project is **engineering-complete for its stated goal**: it is a computational

package/dist/atlas/association.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"association.d.ts","sourceRoot":"","sources":["../../src/atlas/association.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAEH;;;;;;GAMG;AACH,MAAM,MAAM,eAAe,GACvB,iBAAiB,GACjB,eAAe,GACf,kBAAkB,GAClB,sBAAsB,CAAC;AAE3B;;;;;;;;GAQG;AACH,MAAM,WAAW,WAAW;IAC1B;;;;OAIG;IACH,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,yEAAyE;IACzE,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5C,gFAAgF;IAChF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,kEAAkE;IAClE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;;;;;GASG;AACH,eAAO,MAAM,YAAY,EAAE,SAAS,WAAW,EAyD9C,CAAC;AAEF,wEAAwE;AACxE,wBAAgB,cAAc,CAAC,EAAE,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS,CAElE"}
+{"version":3,"file":"association.d.ts","sourceRoot":"","sources":["../../src/atlas/association.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAEH;;;;;;GAMG;AACH,MAAM,MAAM,eAAe,GACvB,iBAAiB,GACjB,eAAe,GACf,kBAAkB,GAClB,sBAAsB,CAAC;AAE3B;;;;;;;;GAQG;AACH,MAAM,WAAW,WAAW;IAC1B;;;;OAIG;IACH,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,yEAAyE;IACzE,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5C,gFAAgF;IAChF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,kEAAkE;IAClE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;;;;;GASG;AACH,eAAO,MAAM,YAAY,EAAE,SAAS,WAAW,EAgE9C,CAAC;AAEF,wEAAwE;AACxE,wBAAgB,cAAc,CAAC,EAAE,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS,CAElE"}

package/dist/atlas/association.js

@@ -104,6 +104,13 @@ export const ASSOCIATIONS = [
         note: 'Same units, no shared meaning; unanimous. A decoherence rate (loss of quantum phase to the environment) vs. a mutation rate (frequency of a permanent, classical change to a DNA sequence). Same units, no shared physical meaning — decoherence may precede a mutation, but they are not one quantity.',
         citation: 'docs/research/orphan-connector-adjudication.md',
     },
+    {
+        id: 'foerster-radius~schwarzschild-radius',
+        kind: 'shared-structure',
+        between: ['foerster-radius', 'schwarzschild-radius'],
+        note: 'a Förster radius is not a Schwarzschild radius',
+        citation: 'docs/research/Orphan-Connector-Analysis.md',
+    },
 ];
 /** Look up an association by its `candidateId`-shaped key. @internal */
 export function associationFor(id) {

package/dist/atlas/association.js.map

@@ -1 +1 @@
-{"version":3,"file":"association.js","sourceRoot":"","sources":["../../src/atlas/association.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAwCH;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,YAAY,GAA2B;IAClD;QACE,EAAE,EAAE,8BAA8B;QAClC,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAC,gBAAgB,EAAE,eAAe,CAAC;QAC5C,IAAI,EACF,6OAA6O;QAC/O,QAAQ,EAAE,kDAAkD;KAC7D;IACD;QACE,EAAE,EAAE,kCAAkC;QACtC,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAC,mBAAmB,EAAE,gBAAgB,CAAC;QAChD,IAAI,EACF,2MAA2M;QAC7M,QAAQ,EAAE,kDAAkD;KAC7D;IACD;QACE,EAAE,EAAE,+BAA+B;QACnC,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAC,mBAAmB,EAAE,aAAa,CAAC;QAC7C,IAAI,EACF,iKAAiK;QACnK,QAAQ,EAAE,kDAAkD;KAC7D;IACD;QACE,EAAE,EAAE,iCAAiC;QACrC,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAC,iBAAiB,EAAE,iBAAiB,CAAC;QAC/C,IAAI,EACF,iOAAiO;QACnO,QAAQ,EAAE,kDAAkD;KAC7D;IACD;QACE,EAAE,EAAE,8CAA8C;QAClD,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAC,mBAAmB,EAAE,4BAA4B,CAAC;QAC5D,IAAI,EACF,2QAA2Q;QAC7Q,QAAQ,EAAE,gDAAgD;KAC3D;IACD;QACE,EAAE,EAAE,+BAA+B;QACnC,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;QAC7C,IAAI,EACF,iQAAiQ;QACnQ,QAAQ,EAAE,gDAAgD;KAC3D;IACD;QACE,EAAE,EAAE,gCAAgC;QACpC,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAC,kBAAkB,EAAE,eAAe,CAAC;QAC9C,IAAI,EACF,ySAAyS;QAC3S,QAAQ,EAAE,gDAAgD;KAC3D;CACF,CAAC;AAEF,wEAAwE;AACxE,MAAM,UAAU,cAAc,CAAC,EAAU;IACvC,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AAC/C,CAAC"}
+{"version":3,"file":"association.js","sourceRoot":"","sources":["../../src/atlas/association.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAwCH;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,YAAY,GAA2B;IAClD;QACE,EAAE,EAAE,8BAA8B;QAClC,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAC,gBAAgB,EAAE,eAAe,CAAC;QAC5C,IAAI,EACF,6OAA6O;QAC/O,QAAQ,EAAE,kDAAkD;KAC7D;IACD;QACE,EAAE,EAAE,kCAAkC;QACtC,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAC,mBAAmB,EAAE,gBAAgB,CAAC;QAChD,IAAI,EACF,2MAA2M;QAC7M,QAAQ,EAAE,kDAAkD;KAC7D;IACD;QACE,EAAE,EAAE,+BAA+B;QACnC,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAC,mBAAmB,EAAE,aAAa,CAAC;QAC7C,IAAI,EACF,iKAAiK;QACnK,QAAQ,EAAE,kDAAkD;KAC7D;IACD;QACE,EAAE,EAAE,iCAAiC;QACrC,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAC,iBAAiB,EAAE,iBAAiB,CAAC;QAC/C,IAAI,EACF,iOAAiO;QACnO,QAAQ,EAAE,kDAAkD;KAC7D;IACD;QACE,EAAE,EAAE,8CAA8C;QAClD,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAC,mBAAmB,EAAE,4BAA4B,CAAC;QAC5D,IAAI,EACF,2QAA2Q;QAC7Q,QAAQ,EAAE,gDAAgD;KAC3D;IACD;QACE,EAAE,EAAE,+BAA+B;QACnC,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;QAC7C,IAAI,EACF,iQAAiQ;QACnQ,QAAQ,EAAE,gDAAgD;KAC3D;IACD;QACE,EAAE,EAAE,gCAAgC;QACpC,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAC,kBAAkB,EAAE,eAAe,CAAC;QAC9C,IAAI,EACF,ySAAyS;QAC3S,QAAQ,EAAE,gDAAgD;KAC3D;IACD;QACE,EAAE,EAAE,sCAAsC;QAC1C,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,CAAC,iBAAiB,EAAE,sBAAsB,CAAC;QACpD,IAAI,EAAE,gDAAgD;QACtD,QAAQ,EAAE,4CAA4C;KACvD;CACF,CAAC;AAEF,wEAAwE;AACxE,MAAM,UAAU,cAAc,CAAC,EAAU;IACvC,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AAC/C,CAAC"}

package/dist/atlas/catalog-formal-ref.js

@@ -21,7 +21,7 @@ import { physjsFormalRef } from './physjs-ref.js';
  */
 const CATALOG_FORMAL_REF_IDS = [
     11, 12, 13, 14, 15, 16, 17, 19, 21, 22, 24, 27, 28, 29, 30, 32, 33, 34, 35, 37, 38, 40, 42, 43,
-    50, 51, 54, 53, 55, 58, 59, 60, 61, 63, 64, 65, 66, 67, 68,
+    50, 51, 54, 53, 55, 58, 59, 60, 61, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76,
 ];
 const BY_ID = new Map(CATALOG_FORMAL_REF_IDS.map((id) => [id, physjsFormalRef(`be-${id}`)]));
 /**

package/dist/atlas/catalog-formal-ref.js.map

@@ -1 +1 @@
-{"version":3,"file":"catalog-formal-ref.js","sourceRoot":"","sources":["../../src/atlas/catalog-formal-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAGH,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAElD;;;;GAIG;AACH,MAAM,sBAAsB,GAAG;IAC7B,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE;IAC9F,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE;CAClD,CAAC;AAEX,MAAM,KAAK,GAAmC,IAAI,GAAG,CACnD,sBAAsB,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,eAAe,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CACtE,CAAC;AAEF;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,EAAU;IACzC,OAAO,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AACvB,CAAC"}
+{"version":3,"file":"catalog-formal-ref.js","sourceRoot":"","sources":["../../src/atlas/catalog-formal-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAGH,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAElD;;;;GAIG;AACH,MAAM,sBAAsB,GAAG;IAC7B,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE;IAC9F,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE;CAClF,CAAC;AAEX,MAAM,KAAK,GAAmC,IAAI,GAAG,CACnD,sBAAsB,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,eAAe,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CACtE,CAAC;AAEF;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,EAAU;IACzC,OAAO,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AACvB,CAAC"}

package/dist/atlas/physjs-ref.d.ts

@@ -7,7 +7,13 @@
  * the file and this copy disagree on the commit, a theorem, a key, or the
  * coverage phrase.
  *
- * The commit is PhysJS `main` `d917fa328039d19c3659f74ea73569effb3ed4fb`.
+ * The commit is PhysJS `main` `ee753df77bd5b29b7207443181606b6004bfcf6a`.
+ * PhysJS #63 stores each Lean file at `lean/<File>.lean`. The sentence that
+ * the pin is `4ea35872513f8d4d12a01bfac225156bdddb87a9` and that the path is
+ * `lean/PhysJS/<File>.lean` is the record from before that flatten. The
+ * sentence that the pin is `3af15b49be09442350510e7c7f56f4aab92ea3bc` and
+ * that the path is `PhysJS/<File>.lean` is the record from before PhysJS #61.
+ * Theorem names are unchanged. PhysJS #62 adds be-74, be-75, and be-76.
  * Milestone 1's six top-level theorems are unchanged. Milestone 2 adds four
  * atlas entries. Milestone 2b adds fifteen catalog entries. Bucket A adds
  * twenty-one counted catalog entries, keyed `be-<n>`. BE-20 is the nested
@@ -16,13 +22,14 @@
  * with `property` or `cross-check`. A nested object (`planeWave`, `oneLoop`,
  * `inversion`, `vacuum`, `corollary`, `friedmann`, `lengthMonomial`,
  * `torsionMonomial`, `coefficientNotFixed`, `unitCoefficient`, `scalingShape`,
- * `everyPower`) is recorded and is not a `formalRef`.
+ * `everyPower`, `perpendicularQuartic`, `tolmanRatio`) is recorded and is not
+ * a `formalRef`.
  *
  * @module atlas/physjs-ref
  */
 import type { FormalRef, FormalRefKind } from './types.js';
 /** PhysJS commit the vendored manifest records. @internal */
-export declare const PHYSJS_COMMIT = "d917fa328039d19c3659f74ea73569effb3ed4fb";
+export declare const PHYSJS_COMMIT = "ee753df77bd5b29b7207443181606b6004bfcf6a";
 /** A second statement on the same entry. No key. Not a `formalRef`. */
 interface PhysjsNestedStatement {
     readonly theorem: string;
@@ -69,6 +76,10 @@ interface PhysjsEntry {
     readonly scalingShape?: PhysjsNestedStatement;
     /** BE-33. Every real power of the temperature ratio is homogeneous. The exponent is not chosen. Not the reference. */
     readonly everyPower?: PhysjsNestedStatement;
+    /** BE-69. The perpendicular root of the MHD quartic. Not the reference. */
+    readonly perpendicularQuartic?: PhysjsNestedStatement;
+    /** BE-72. Equal Tolman products imply equal ratios. Not the reference, and not BE-68. */
+    readonly tolmanRatio?: PhysjsNestedStatement;
 }
 /** The vendored manifest, as this module compares it. @internal */
 export interface PhysjsManifestFile {
@@ -88,6 +99,23 @@ export interface PhysjsManifestFile {
  * @internal
  */
 export declare function physjsTheorem(key: string): string | undefined;
+/**
+ * Lean file name that contains `theorem` at the pinned commit.
+ *
+ * `SpringLc` and `DampedRlc` are namespaces inside `OscillatorDictionary.lean`.
+ *
+ * @internal
+ */
+export declare function physjsLeanFile(theorem: string): string;
+/**
+ * Permalink to one Lean file at the pinned commit.
+ *
+ * PhysJS #63 stores sources at `lean/<File>.lean`. This is the only builder
+ * of those URLs.
+ *
+ * @internal
+ */
+export declare function physjsFileUrl(file: string): string;
 /**
  * Manifest keys whose derived kind is `bridge`.
  *

package/dist/atlas/physjs-ref.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"physjs-ref.d.ts","sourceRoot":"","sources":["../../src/atlas/physjs-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3D,6DAA6D;AAC7D,eAAO,MAAM,aAAa,6CAA6C,CAAC;AAoBxE,uEAAuE;AACvE,UAAU,qBAAqB;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC;AAyCD,6EAA6E;AAC7E,UAAU,WAAW;IACnB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,qFAAqF;IACrF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,+EAA+E;IAC/E,QAAQ,CAAC,SAAS,CAAC,EAAE,qBAAqB,CAAC;IAC3C,sDAAsD;IACtD,QAAQ,CAAC,OAAO,CAAC,EAAE,qBAAqB,CAAC;IACzC,iDAAiD;IACjD,QAAQ,CAAC,SAAS,CAAC,EAAE,qBAAqB,CAAC;IAC3C,+EAA+E;IAC/E,QAAQ,CAAC,MAAM,CAAC,EAAE,qBAAqB,CAAC;IACxC,8FAA8F;IAC9F,QAAQ,CAAC,SAAS,CAAC,EAAE,qBAAqB,CAAC;IAC3C,mEAAmE;IACnE,QAAQ,CAAC,SAAS,CAAC,EAAE,qBAAqB,CAAC;IAC3C;;;OAGG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE,qBAAqB,CAAC;IAChD,2EAA2E;IAC3E,QAAQ,CAAC,eAAe,CAAC,EAAE,qBAAqB,CAAC;IACjD,sFAAsF;IACtF,QAAQ,CAAC,mBAAmB,CAAC,EAAE,qBAAqB,CAAC;IACrD,sEAAsE;IACtE,QAAQ,CAAC,eAAe,CAAC,EAAE,qBAAqB,CAAC;IACjD,gEAAgE;IAChE,QAAQ,CAAC,YAAY,CAAC,EAAE,qBAAqB,CAAC;IAC9C,sHAAsH;IACtH,QAAQ,CAAC,UAAU,CAAC,EAAE,qBAAqB,CAAC;CAC7C;AAED,mEAAmE;AACnE,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAC;CAC1C;AA4lBD;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAE7D;AA0ED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,cAAc,CAC5B,OAAO,GAAE,SAAS;IAChB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC;CAC/B,EAAmB,GACnB,SAAS,MAAM,EAAE,CAOnB;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAetD;AA8BD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE;IAC5C,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,SAAS;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAA;KAAE,EAAE,CAAC;CACtF,GAAG,MAAM,EAAE,CAkIX"}
+{"version":3,"file":"physjs-ref.d.ts","sourceRoot":"","sources":["../../src/atlas/physjs-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3D,6DAA6D;AAC7D,eAAO,MAAM,aAAa,6CAA6C,CAAC;AAoBxE,uEAAuE;AACvE,UAAU,qBAAqB;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC;AA2CD,6EAA6E;AAC7E,UAAU,WAAW;IACnB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,qFAAqF;IACrF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,+EAA+E;IAC/E,QAAQ,CAAC,SAAS,CAAC,EAAE,qBAAqB,CAAC;IAC3C,sDAAsD;IACtD,QAAQ,CAAC,OAAO,CAAC,EAAE,qBAAqB,CAAC;IACzC,iDAAiD;IACjD,QAAQ,CAAC,SAAS,CAAC,EAAE,qBAAqB,CAAC;IAC3C,+EAA+E;IAC/E,QAAQ,CAAC,MAAM,CAAC,EAAE,qBAAqB,CAAC;IACxC,8FAA8F;IAC9F,QAAQ,CAAC,SAAS,CAAC,EAAE,qBAAqB,CAAC;IAC3C,mEAAmE;IACnE,QAAQ,CAAC,SAAS,CAAC,EAAE,qBAAqB,CAAC;IAC3C;;;OAGG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE,qBAAqB,CAAC;IAChD,2EAA2E;IAC3E,QAAQ,CAAC,eAAe,CAAC,EAAE,qBAAqB,CAAC;IACjD,sFAAsF;IACtF,QAAQ,CAAC,mBAAmB,CAAC,EAAE,qBAAqB,CAAC;IACrD,sEAAsE;IACtE,QAAQ,CAAC,eAAe,CAAC,EAAE,qBAAqB,CAAC;IACjD,gEAAgE;IAChE,QAAQ,CAAC,YAAY,CAAC,EAAE,qBAAqB,CAAC;IAC9C,sHAAsH;IACtH,QAAQ,CAAC,UAAU,CAAC,EAAE,qBAAqB,CAAC;IAC5C,2EAA2E;IAC3E,QAAQ,CAAC,oBAAoB,CAAC,EAAE,qBAAqB,CAAC;IACtD,yFAAyF;IACzF,QAAQ,CAAC,WAAW,CAAC,EAAE,qBAAqB,CAAC;CAC9C;AAED,mEAAmE;AACnE,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAC;CAC1C;AA2rBD;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAE7D;AAiBD;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAMtD;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAElD;AA8DD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,cAAc,CAC5B,OAAO,GAAE,SAAS;IAChB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC;CAC/B,EAAmB,GACnB,SAAS,MAAM,EAAE,CAOnB;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAetD;AA8BD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE;IAC5C,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,SAAS;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAA;KAAE,EAAE,CAAC;CACtF,GAAG,MAAM,EAAE,CAkIX"}

package/dist/atlas/physjs-ref.js

@@ -7,7 +7,13 @@
  * the file and this copy disagree on the commit, a theorem, a key, or the
  * coverage phrase.
  *
- * The commit is PhysJS `main` `d917fa328039d19c3659f74ea73569effb3ed4fb`.
+ * The commit is PhysJS `main` `ee753df77bd5b29b7207443181606b6004bfcf6a`.
+ * PhysJS #63 stores each Lean file at `lean/<File>.lean`. The sentence that
+ * the pin is `4ea35872513f8d4d12a01bfac225156bdddb87a9` and that the path is
+ * `lean/PhysJS/<File>.lean` is the record from before that flatten. The
+ * sentence that the pin is `3af15b49be09442350510e7c7f56f4aab92ea3bc` and
+ * that the path is `PhysJS/<File>.lean` is the record from before PhysJS #61.
+ * Theorem names are unchanged. PhysJS #62 adds be-74, be-75, and be-76.
  * Milestone 1's six top-level theorems are unchanged. Milestone 2 adds four
  * atlas entries. Milestone 2b adds fifteen catalog entries. Bucket A adds
  * twenty-one counted catalog entries, keyed `be-<n>`. BE-20 is the nested
@@ -16,12 +22,13 @@
  * with `property` or `cross-check`. A nested object (`planeWave`, `oneLoop`,
  * `inversion`, `vacuum`, `corollary`, `friedmann`, `lengthMonomial`,
  * `torsionMonomial`, `coefficientNotFixed`, `unitCoefficient`, `scalingShape`,
- * `everyPower`) is recorded and is not a `formalRef`.
+ * `everyPower`, `perpendicularQuartic`, `tolmanRatio`) is recorded and is not
+ * a `formalRef`.
  *
  * @module atlas/physjs-ref
  */
 /** PhysJS commit the vendored manifest records. @internal */
-export const PHYSJS_COMMIT = 'd917fa328039d19c3659f74ea73569effb3ed4fb';
+export const PHYSJS_COMMIT = 'ee753df77bd5b29b7207443181606b6004bfcf6a';
 /** Lean toolchain the vendored manifest records. */
 const PHYSJS_TOOLCHAIN = 'leanprover/lean4:v4.34.1';
 /** Mathlib pin the vendored manifest records. */
@@ -49,6 +56,8 @@ const NESTED_FIELDS = [
     'unitCoefficient',
     'scalingShape',
     'everyPower',
+    'perpendicularQuartic',
+    'tolmanRatio',
 ];
 const ENTRY_FIELDS = new Set([
     'key',
@@ -85,7 +94,7 @@ function planeWave(namespace) {
     };
 }
 /**
- * The forty-nine entries, in manifest order. A bridge obtains its reference by key
+ * The fifty-four entries, in manifest order. A bridge obtains its reference by key
  * through {@link physjsFormalRef}; it does not name a theorem of its own.
  * A nested object is recorded and is not that reference.
  */
@@ -614,6 +623,92 @@ const PHYSJS_ENTRIES = [
         leanProof: 'complete',
         axioms: PHYSJS_AXIOMS,
     },
+    {
+        key: "be-69",
+        bridgeId: "be-69",
+        theorem: "PhysJS.FastMagnetosonic.speed_eq",
+        covers: "derivation-step: a monochromatic compressional polarization perpendicular to a uniform field, with ∂b/∂t = −B ∂v/∂x, ∂δρ/∂t = −ρ ∂v/∂x, δp = c_s² δρ, and ρ ∂v/∂t = −∂δp/∂x − (B/μ0) ∂b/∂x, has phase speed |ω/k| = √(c_s² + B²/(μ0 ρ)) for μ0 > 0, ρ > 0, and k ≠ 0. The velocity wave is not identically zero. c_s² = γ p / ρ is a reading of the closure, not an energy equation. The textbook quartic at k_∥ = 0 has roots ω² = 0 and ω² = (c_s² + v_A²) k²; ω = 0 does not solve compressional induction. √(c_s² + v_A²) is not c_s, not v_A, and not c_s + v_A when the other speed is nonzero. c_s = 0 recovers B/√(μ0 ρ), the Alfvén value of a different polarization. A factor C ≠ 1 is not the catalog speed. Not a kinetic dispersion relation, and not the oblique fast mode. The linearized equations are hypotheses",
+        coverage: PHYSJS_COVERAGE,
+        leanProof: 'complete',
+        axioms: PHYSJS_AXIOMS,
+        perpendicularQuartic: {
+            theorem: "PhysJS.FastMagnetosonic.perpendicular_of_dispersion",
+            covers: "derivation-step: if ω⁴ − ω² k² (c_s² + v_A²) + c_s² v_A² k² k_∥² = 0 and k_∥ = 0, then ω² = 0 or ω² = (c_s² + v_A²) k². The quartic is a hypothesis. The compressional polarization selects the second root",
+            coverage: PHYSJS_COVERAGE,
+            leanProof: 'complete',
+            axioms: PHYSJS_AXIOMS,
+        },
+    },
+    {
+        key: "be-70",
+        bridgeId: "be-70",
+        theorem: "PhysJS.EinsteinRelation.diffusion_eq",
+        covers: "derivation-step: for the Boltzmann profile n = n_ref exp(−q V/(k_B T)) with n_ref > 0, k_B T ≠ 0, and q ≠ 0, a nonzero field E = −dV/dx at which the drift flux μ n E cancels the diffusion flux D dn/dx gives D = μ k_B T / q. The force-mobility writing D = μ_force k_B T needs μ_force = μ/q. Dropping q fails when q ≠ 1. The Fermi-liquid form μ E_F / q fails when E_F ≠ k_B T. Stokes–Einstein fails unless μ/q = 1/(6 π η a). A factor C ≠ 1 is not this diffusivity. Not a master equation, and not a Fermi liquid",
+        coverage: PHYSJS_COVERAGE,
+        leanProof: 'complete',
+        axioms: PHYSJS_AXIOMS,
+    },
+    {
+        key: "be-71",
+        bridgeId: "be-71",
+        theorem: "PhysJS.Clapeyron.slope_eq",
+        covers: "derivation-step: where the specific Gibbs energies agree along coexistence and each phase obeys dg = −s dT + v dP, dP/dT = (s2−s1)/(v2−v1). With L = T (s2−s1), T ≠ 0, and Δv ≠ 0, dP/dT = L/(T Δv). Dropping T fails when T ≠ 1. Replacing Δv by one phase volume fails when the other volume is nonzero. A factor C ≠ 1 is not this slope. Not the ideal-gas integrated vapor-pressure law. The Gibbs differential is a hypothesis, not a Legendre transform",
+        coverage: PHYSJS_COVERAGE,
+        leanProof: 'complete',
+        axioms: PHYSJS_AXIOMS,
+    },
+    {
+        key: "be-72",
+        bridgeId: "be-72",
+        theorem: "PhysJS.GravitationalRedshift.frequency_ratio",
+        covers: "derivation-step: two static observers of one coordinate period, with ν √(−g_00) = 1/Δt and g_00 < 0, have ν1/ν2 = √(−g2)/√(−g1) = √(g2/g1). If the Tolman products T √(−g_00) also agree, then T1/T2 = ν1/ν2. Equal temperatures on g_00 = −1 and g_00 = −4 are not a Tolman equilibrium, while the frequency ratio is 2. For g_00 = −(1+2Φ/c²) at c = 1, Φ = 0 and Φ = 4, the exact ratio is neither (Φ2−Φ1)/c² nor 1+(Φ2−Φ1)/c². z = 0 is not Φ/c². Not PhysJS.TolmanEhrenfest.hydrostatic_constant, not a horizon temperature, and not PhysJS.HawkingUnruh.dictionary",
+        coverage: PHYSJS_COVERAGE,
+        leanProof: 'complete',
+        axioms: PHYSJS_AXIOMS,
+        tolmanRatio: {
+            theorem: "PhysJS.GravitationalRedshift.tolman_same_ratio",
+            covers: "derivation-step: if T √(−g_00) agrees at two static observers and the frequency ratio equals √(−g2)/√(−g1), then T1/T2 = ν1/ν2. Neither factor is derived from the other",
+            coverage: PHYSJS_COVERAGE,
+            leanProof: 'complete',
+            axioms: PHYSJS_AXIOMS,
+        },
+    },
+    {
+        key: "be-73",
+        bridgeId: "be-73",
+        theorem: "PhysJS.KelvinRelation.peltier_eq",
+        covers: "derivation-step: for J_e = L11 E/T + L12 (−∇T)/T² and J_q = L21 E/T + L22 (−∇T)/T², the open-circuit Seebeck coefficient S = E/∇T and the isothermal Peltier coefficient Π = J_q/J_e satisfy Π = S T when L12 = L21. That equality is ThermoelectricOnsager.onsager, a structure field naming microscopic reversibility, not an axiom. Without it the two coefficients disagree. Not the first Thomson relation μ = T dS/dT, and not a measured thermopower. The linear fluxes are hypotheses",
+        coverage: PHYSJS_COVERAGE,
+        leanProof: 'complete',
+        axioms: PHYSJS_AXIOMS,
+    },
+    {
+        key: "be-74",
+        bridgeId: "be-74",
+        theorem: "PhysJS.MagneticPressure.pressure_eq",
+        covers: "derivation-step: a linear inductor with dU/dI = L I and U(0) = 0 stores U = (L/2) I². A long solenoid with B = μ0 n I and flux linkage Λ = (n ℓ) B A has L = μ0 n² V. At fixed current the battery supplies I ΔΛ. The stored energy rises by half of that, and the difference is the mechanical work p ΔV, so p = B²/(2 μ0). Homogeneity in B and μ0 gives p = C B²/μ0 with C unfixed. C = 1 is the battery work per volume, not this pressure. Not a kinetic pressure, and not a Lagrangian derivation of the Maxwell stress tensor. Ampere's law, the flux linkage, and the quasistatic work balance are hypotheses",
+        coverage: PHYSJS_COVERAGE,
+        leanProof: 'complete',
+        axioms: PHYSJS_AXIOMS,
+    },
+    {
+        key: "be-75",
+        bridgeId: "be-75",
+        theorem: "PhysJS.LondonPenetration.depth_eq",
+        covers: "derivation-step: on B(x) = B0 exp(−x/λ) with λ > 0, Ampere's law j = −(1/μ0) dB/dx and the London equation dj/dx = −(n e²/m) B give λ = √(m/(μ0 n e²)). e is the elementary charge. The dimension matrix of {m, μ0, n, e} admits both that monomial and μ0 e²/m, so units do not choose. Those lengths disagree when n (μ0 e²/m)³ ≠ 1. The growing exponential is not the screened field. Replacing e by 2e at the same n and m fails, and dropping the square on e fails when e ≠ 1. A factor C ≠ 1 is not this depth. Not the classical skin depth. The London equation and Ampere's law are hypotheses",
+        coverage: PHYSJS_COVERAGE,
+        leanProof: 'complete',
+        axioms: PHYSJS_AXIOMS,
+    },
+    {
+        key: "be-76",
+        bridgeId: "be-76",
+        theorem: "PhysJS.PlasmaBeta.beta_eq",
+        covers: "derivation-step: β = p_gas / p_B where p_B is PhysJS.MagneticPressure.pressure_eq, so β = p_gas / (B²/(2 μ0)) = 2 μ0 p_gas / B². The ideal-gas closure p_gas = n k_B T gives β = 2 μ0 n k_B T / B². B ≠ 0. Using B²/μ0 in place of the magnetic pressure is a different ratio. The constant 1 is dimensionless and is not this beta when the ratio is not 1. A factor C ≠ 1 is not this beta. Dropping p = n k_B T fails. Not a unique monomial, and not a plasma-β inequality",
+        coverage: PHYSJS_COVERAGE,
+        leanProof: 'complete',
+        axioms: PHYSJS_AXIOMS,
+    },
 ];
 const entryByKey = new Map(PHYSJS_ENTRIES.map((entry) => [entry.key, entry]));
 /**
@@ -633,21 +728,41 @@ function physjsVersion() {
 }
 /**
  * Namespaces whose theorems live in another Lean file at this pin.
- * `SpringLc` and `DampedRlc` are namespaces inside `OscillatorDictionary.lean`,
+ * `SpringLc` and `DampedRlc` are namespaces inside `lean/OscillatorDictionary.lean`,
  * not their own files. Rechecked at this pin.
  */
 const PHYSJS_FILE_BY_NAMESPACE = {
     SpringLc: 'OscillatorDictionary.lean',
     DampedRlc: 'OscillatorDictionary.lean',
 };
-/** Permalink to the Lean file that contains `theorem` at the pinned commit. */
-function physjsStatementUrl(theorem) {
+/**
+ * Lean file name that contains `theorem` at the pinned commit.
+ *
+ * `SpringLc` and `DampedRlc` are namespaces inside `OscillatorDictionary.lean`.
+ *
+ * @internal
+ */
+export function physjsLeanFile(theorem) {
     const parts = theorem.split('.');
     if (parts.length < 3 || parts[0] !== 'PhysJS' || parts[1] === undefined) {
         throw new Error(`PhysJS theorem '${theorem}' is not PhysJS.<module>.<name>`);
     }
-    const file = PHYSJS_FILE_BY_NAMESPACE[parts[1]] ?? `${parts[1]}.lean`;
-    return `https://github.com/danielsimonjr/PhysJS/blob/${PHYSJS_COMMIT}/PhysJS/${file}`;
+    return PHYSJS_FILE_BY_NAMESPACE[parts[1]] ?? `${parts[1]}.lean`;
+}
+/**
+ * Permalink to one Lean file at the pinned commit.
+ *
+ * PhysJS #63 stores sources at `lean/<File>.lean`. This is the only builder
+ * of those URLs.
+ *
+ * @internal
+ */
+export function physjsFileUrl(file) {
+    return `https://github.com/danielsimonjr/PhysJS/blob/${PHYSJS_COMMIT}/lean/${file}`;
+}
+/** Permalink to the Lean file that contains `theorem` at the pinned commit. */
+function physjsStatementUrl(theorem) {
+    return physjsFileUrl(physjsLeanFile(theorem));
 }
 /**
  * Catalog keys whose theorem states the catalogued equation.
@@ -672,6 +787,14 @@ const CATALOG_EQUATION_KEYS = new Set([
     'be-66',
     'be-67',
     'be-68',
+    'be-69',
+    'be-70',
+    'be-71',
+    'be-72',
+    'be-73',
+    'be-74',
+    'be-75',
+    'be-76',
 ]);
 /**
  * Atlas keys are bridges. A catalog key whose theorem states the catalogued

package/dist/atlas/physjs-ref.js.map

@@ -1 +1 @@
-{"version":3,"file":"physjs-ref.js","sourceRoot":"","sources":["../../src/atlas/physjs-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAIH,6DAA6D;AAC7D,MAAM,CAAC,MAAM,aAAa,GAAG,0CAA0C,CAAC;AAExE,oDAAoD;AACpD,MAAM,gBAAgB,GAAG,0BAA0B,CAAC;AAEpD,iDAAiD;AACjD,MAAM,cAAc,GAAG,SAAS,CAAC;AAEjC,iDAAiD;AACjD,MAAM,eAAe,GAAG,0CAA0C,CAAC;AAEnE;;;GAGG;AACH,MAAM,eAAe,GAAG,2BAA2B,CAAC;AAEpD,4EAA4E;AAC5E,MAAM,aAAa,GAAG,CAAC,SAAS,EAAE,kBAAkB,EAAE,YAAY,CAAU,CAAC;AAW7E,2EAA2E;AAC3E,MAAM,aAAa,GAAG;IACpB,WAAW;IACX,SAAS;IACT,WAAW;IACX,QAAQ;IACR,WAAW;IACX,WAAW;IACX,gBAAgB;IAChB,iBAAiB;IACjB,qBAAqB;IACrB,iBAAiB;IACjB,cAAc;IACd,YAAY;CACJ,CAAC;AAIX,MAAM,YAAY,GAAG,IAAI,GAAG,CAAS;IACnC,KAAK;IACL,UAAU;IACV,SAAS;IACT,QAAQ;IACR,UAAU;IACV,WAAW;IACX,QAAQ;IACR,SAAS;IACT,GAAG,aAAa;CACjB,CAAC,CAAC;AAEH,mEAAmE;AACnE,MAAM,YAAY,GAAG,sCAAsC,CAAC;AAE5D;;;GAGG;AACH,MAAM,YAAY,GAAG,2BAA2B,CAAC;AAoDjD,MAAM,YAAY,GAAG,iDAAiD,CAAC;AAEvE,MAAM,iBAAiB,GAAG,oEAAoE,CAAC;AAE/F;;;;GAIG;AACH,SAAS,SAAS,CAAC,SAAiB;IAClC,OAAO;QACL,OAAO,EAAE,UAAU,SAAS,2BAA2B;QACvD,MAAM,EAAE,iBAAiB;QACzB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,cAAc,GAA2B;IAC7C;QACE,GAAG,EAAE,mBAAmB;QACxB,QAAQ,EAAE,mBAAmB;QAC7B,OAAO,EAAE,yCAAyC;QAClD,MAAM,EAAE,YAAY;QACpB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,SAAS,EAAE,SAAS,CAAC,eAAe,CAAC;KACtC;IACD;QACE,GAAG,EAAE,sBAAsB;QAC3B,QAAQ,EAAE,sBAAsB;QAChC,OAAO,EAAE,2CAA2C;QACpD,MAAM,EAAE,YAAY;QACpB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,SAAS,EAAE,SAAS,CAAC,iBAAiB,CAAC;KACxC;IACD;QACE,GAAG,EAAE,iBAAiB;QACtB,QAAQ,EAAE,iBAAiB;QAC3B,OAAO,EAAE,uCAAuC;QAChD,MAAM,EAAE,YAAY;QACpB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,SAAS,EAAE,SAAS,CAAC,aAAa,CAAC;KACpC;IACD;QACE,GAAG,EAAE,wBAAwB;QAC7B,QAAQ,EAAE,wBAAwB;QAClC,OAAO,EAAE,8CAA8C;QACvD,MAAM,EAAE,YAAY;QACpB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,SAAS,EAAE,SAAS,CAAC,oBAAoB,CAAC;KAC3C;IACD;QACE,GAAG,EAAE,mBAAmB;QACxB,QAAQ,EAAE,mBAAmB;QAC7B,OAAO,EAAE,yCAAyC;QAClD,MAAM,EAAE,YAAY;QACpB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,SAAS,EAAE,SAAS,CAAC,eAAe,CAAC;KACtC;IACD;QACE,GAAG,EAAE,oBAAoB;QACzB,QAAQ,EAAE,oBAAoB;QAC9B,OAAO,EAAE,gDAAgD;QACzD,MAAM,EAAE,qCAAqC;QAC7C,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,OAAO,EAAE,kEAAkE;QAC3E,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,kBAAkB;QACvB,QAAQ,EAAE,kBAAkB;QAC5B,OAAO,EAAE,qDAAqD;QAC9D,MAAM,EAAE,yCAAyC;QACjD,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,cAAc;QACnB,QAAQ,EAAE,cAAc;QACxB,OAAO,EAAE,+CAA+C;QACxD,MAAM,EAAE,2BAA2B;QACnC,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,eAAe;QACpB,QAAQ,EAAE,eAAe;QACzB,OAAO,EAAE,gDAAgD;QACzD,MAAM,EAAE,2BAA2B;QACnC,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,mBAAmB;QACxB,QAAQ,EAAE,mBAAmB;QAC7B,OAAO,EAAE,2CAA2C;QACpD,MAAM,EAAE,+CAA+C;QACvD,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,8BAA8B;QACvC,MAAM,EAAE,qFAAqF;QAC7F,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,mCAAmC;QAC5C,MAAM,EAAE,uFAAuF;QAC/F,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,OAAO,EAAE;YACP,OAAO,EAAE,sCAAsC;YAC/C,MAAM,EACJ,0HAA0H;YAC5H,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,yCAAyC;QAClD,MAAM,EACJ,kIAAkI;QACpI,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,+BAA+B;QACxC,MAAM,EACJ,wIAAwI;QAC1I,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,SAAS,EAAE;YACT,OAAO,EAAE,0BAA0B;YACnC,MAAM,EACJ,yGAAyG;YAC3G,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,0BAA0B;QACnC,MAAM,EACJ,+HAA+H;QACjI,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,MAAM,EAAE;YACN,OAAO,EAAE,gCAAgC;YACzC,MAAM,EACJ,uLAAuL;YACzL,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;QACD,SAAS,EAAE;YACT,OAAO,EAAE,qCAAqC;YAC9C,MAAM,EACJ,8WAA8W;YAChX,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,6BAA6B;QACtC,MAAM,EACJ,qOAAqO;QACvO,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,gCAAgC;QACzC,MAAM,EACJ,kJAAkJ;QACpJ,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,wBAAwB;QACjC,MAAM,EACJ,+KAA+K;QACjL,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,iCAAiC;QAC1C,MAAM,EACJ,8NAA8N;QAChO,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,4BAA4B;QACrC,MAAM,EACJ,qUAAqU;QACvU,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,8BAA8B;QACvC,MAAM,EACJ,4MAA4M;QAC9M,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,0BAA0B;QACnC,MAAM,EACJ,2NAA2N;QAC7N,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,sBAAsB;QAC/B,MAAM,EACJ,6MAA6M;QAC/M,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,iCAAiC;QAC1C,MAAM,EACJ,sKAAsK;QACxK,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,+BAA+B;QACxC,MAAM,EACJ,qNAAqN;QACvN,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IAED;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,uCAAuC;QAChD,MAAM,EACJ,0PAA0P;QAC5P,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,+BAA+B;QACxC,MAAM,EACJ,sMAAsM;QACxM,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,+BAA+B;QACxC,MAAM,EACJ,gPAAgP;QAClP,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,kCAAkC;QAC3C,MAAM,EACJ,wSAAwS;QAC1S,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,uBAAuB;QAChC,MAAM,EACJ,oLAAoL;QACtL,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,4BAA4B;QACrC,MAAM,EACJ,wNAAwN;QAC1N,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,4BAA4B;QACrC,MAAM,EACJ,mLAAmL;QACrL,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,gCAAgC;QACzC,MAAM,EACJ,iSAAiS;QACnS,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,uCAAuC;QAChD,MAAM,EACJ,sLAAsL;QACxL,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,SAAS,EAAE;YACT,OAAO,EAAE,sCAAsC;YAC/C,MAAM,EACJ,+KAA+K;YACjL,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,iCAAiC;QAC1C,MAAM,EACJ,0QAA0Q;QAC5Q,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,eAAe,EAAE;YACf,OAAO,EAAE,wCAAwC;YACjD,MAAM,EACJ,gSAAgS;YAClS,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;QACD,mBAAmB,EAAE;YACnB,OAAO,EAAE,6CAA6C;YACtD,MAAM,EACJ,+GAA+G;YACjH,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;QACD,eAAe,EAAE;YACf,OAAO,EAAE,qDAAqD;YAC9D,MAAM,EACJ,kMAAkM;YACpM,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,oCAAoC;QAC7C,MAAM,EACJ,0PAA0P;QAC5P,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,wBAAwB;QACjC,MAAM,EACJ,iUAAiU;QACnU,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,gCAAgC;QACzC,MAAM,EACJ,kSAAkS;QACpS,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,cAAc,EAAE;YACd,OAAO,EAAE,sCAAsC;YAC/C,MAAM,EACJ,uRAAuR;YACzR,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,wCAAwC;QACjD,MAAM,EACJ,4KAA4K;QAC9K,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,YAAY,EAAE;YACZ,OAAO,EAAE,sCAAsC;YAC/C,MAAM,EACJ,wLAAwL;YAC1L,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;QACD,UAAU,EAAE;YACV,OAAO,EAAE,gDAAgD;YACzD,MAAM,EACJ,wKAAwK;YAC1K,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,sCAAsC;QAC/C,MAAM,EACJ,gOAAgO;QAClO,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,+BAA+B;QACxC,MAAM,EACJ,2XAA2X;QAC7X,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,iCAAiC;QAC1C,MAAM,EACJ,2WAA2W;QAC7W,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,kCAAkC;QAC3C,MAAM,EACJ,yZAAyZ;QAC3Z,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,8BAA8B;QACvC,MAAM,EACJ,6aAA6a;QAC/a,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,gCAAgC;QACzC,MAAM,EACJ,8gBAA8gB;QAChhB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,qCAAqC;QAC9C,MAAM,EACJ,ybAAyb;QAC3b,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,sCAAsC;QAC/C,MAAM,EACJ,4bAA4b;QAC9b,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,6BAA6B;QACtC,MAAM,EACJ,0lBAA0lB;QAC5lB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,6CAA6C;QACtD,MAAM,EACJ,qkBAAqkB;QACvkB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;CACF,CAAC;AAEF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;AAE9E;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,GAAW;IACvC,OAAO,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC;AACtC,CAAC;AAED,mDAAmD;AACnD,SAAS,aAAa;IACpB,OAAO,UAAU,aAAa,IAAI,gBAAgB,YAAY,cAAc,YAAY,eAAe,EAAE,CAAC;AAC5G,CAAC;AAED;;;;GAIG;AACH,MAAM,wBAAwB,GAAqC;IACjE,QAAQ,EAAE,2BAA2B;IACrC,SAAS,EAAE,2BAA2B;CACvC,CAAC;AAEF,+EAA+E;AAC/E,SAAS,kBAAkB,CAAC,OAAe;IACzC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACjC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;QACxE,MAAM,IAAI,KAAK,CAAC,mBAAmB,OAAO,iCAAiC,CAAC,CAAC;IAC/E,CAAC;IACD,MAAM,IAAI,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;IACtE,OAAO,gDAAgD,aAAa,WAAW,IAAI,EAAE,CAAC;AACxF,CAAC;AAED;;;;GAIG;AACH,MAAM,qBAAqB,GAAwB,IAAI,GAAG,CAAC;IACzD,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;CACR,CAAC,CAAC;AAEH;;;;GAIG;AACH,SAAS,aAAa,CAAC,GAAW,EAAE,MAAc;IAChD,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC3C,IAAI,qBAAqB,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,QAAQ,CAAC;IACpD,IAAI,GAAG,KAAK,OAAO;QAAE,OAAO,UAAU,CAAC;IACvC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAClC,IACE,IAAI,KAAK,UAAU;QACnB,IAAI,KAAK,aAAa;QACtB,IAAI,KAAK,WAAW;QACpB,IAAI,KAAK,OAAO;QAChB,IAAI,KAAK,iBAAiB,EAC1B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,cAAc,CAC5B,OAAO,GAID,cAAc;IAEpB,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,IAAI,aAAa,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAClE,IAAI,IAAI,KAAK,QAAQ;YAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,GAAW;IACzC,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,GAAG,GAAG,CAAC,CAAC;IACtF,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACpD,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,KAAK,CAAC,GAAG,mCAAmC,CAAC,CAAC;IACvG,OAAO;QACL,MAAM,EAAE,cAAc;QACtB,SAAS,EAAE,KAAK,CAAC,OAAO;QACxB,OAAO,EAAE,aAAa,EAAE;QACxB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,QAAQ,EAAE,eAAe;QACzB,IAAI;QACJ,GAAG,EAAE,kBAAkB,CAAC,KAAK,CAAC,OAAO,CAAC;QACtC,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,MAAM,KAAK,CAAC,QAAQ,EAAE;KAC9C,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,QAA2B,EAAE,QAA2B;IAC1E,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AACpG,CAAC;AAED,SAAS,UAAU,CAAC,QAA2C,EAAE,QAA2C;IAC1G,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACnE,OAAO,CACL,QAAQ,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO;QACrC,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;QACnC,QAAQ,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ;QACvC,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS;QACzC,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAC7C,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,qBAAqB,CAAC,GAAW,EAAE,MAAc,EAAE,KAAa;IACvE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACtC,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,CAAC;IACtE,OAAO;QACL,GAAG,KAAK,KAAK,GAAG,gHAAgH;KACjI,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAGtC;IACC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChC,IAAI,QAAQ,CAAC,MAAM,KAAK,2BAA2B,EAAE,CAAC;QACpD,QAAQ,CAAC,IAAI,CAAC,uBAAuB,QAAQ,CAAC,MAAM,yCAAyC,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QACtC,QAAQ,CAAC,IAAI,CAAC,uBAAuB,QAAQ,CAAC,MAAM,gBAAgB,aAAa,GAAG,CAAC,CAAC;IACxF,CAAC;IACD,IAAI,QAAQ,CAAC,SAAS,KAAK,gBAAgB,EAAE,CAAC;QAC5C,QAAQ,CAAC,IAAI,CAAC,0BAA0B,QAAQ,CAAC,SAAS,gBAAgB,gBAAgB,GAAG,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,KAAK,cAAc,EAAE,CAAC;QACxC,QAAQ,CAAC,IAAI,CAAC,wBAAwB,QAAQ,CAAC,OAAO,gBAAgB,cAAc,GAAG,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,KAAK,eAAe,EAAE,CAAC;QACzC,QAAQ,CAAC,IAAI,CAAC,wBAAwB,QAAQ,CAAC,OAAO,gBAAgB,eAAe,GAAG,CAAC,CAAC;IAC5F,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACzE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,iBAAiB,CAAC,CAAC;QACpF,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACpB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACvC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CAAC,mBAAmB,KAAK,CAAC,GAAG,2BAA2B,KAAK,GAAG,CAAC,CAAC;YACjF,CAAC;QACH,CAAC;QACD,IAAI,KAAK,CAAC,GAAG,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;YACjC,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,8BAA8B,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC;QAC3F,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;YACvC,QAAQ,CAAC,IAAI,CACX,wBAAwB,KAAK,CAAC,GAAG,SAAS,KAAK,CAAC,QAAQ,gBAAgB,eAAe,GAAG,CAC3F,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;YACnC,QAAQ,CAAC,IAAI,CAAC,kBAAkB,KAAK,CAAC,GAAG,SAAS,KAAK,CAAC,SAAS,wBAAwB,CAAC,CAAC;QAC7F,CAAC;QACD,MAAM,cAAc,GAAG,qBAAqB,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QACtF,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC;QACjC,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;YAClC,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,MAAM,KAAK,SAAS;gBAAE,SAAS;YACnC,IAAI,MAAM,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;gBACxC,QAAQ,CAAC,IAAI,CACX,GAAG,KAAK,yBAAyB,KAAK,CAAC,GAAG,SAAS,MAAM,CAAC,QAAQ,gBAAgB,eAAe,GAAG,CACrG,CAAC;YACJ,CAAC;YACD,IAAI,MAAM,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;gBACpC,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,mBAAmB,KAAK,CAAC,GAAG,SAAS,MAAM,CAAC,SAAS,wBAAwB,CAAC,CAAC;YACvG,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC;QACvF,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,gCAAgC,CAAC,CAAC;YAC1E,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC;QAC7B,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;YACvD,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,4CAA4C,GAAG,EAAE,MAAM,IAAI,MAAM,IAAI,CAC1F,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,IAAI,GAAG,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;YAC/E,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,mDAAmD,KAAK,CAAC,SAAS,CAAC,OAAO,8CAA8C,CAC7I,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;YAClC,IAAI,KAAK,KAAK,WAAW;gBAAE,SAAS;YACpC,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,SAAS,KAAK,MAAM,CAAC,OAAO,EAAE,CAAC;gBAC7D,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,gCAAgC,KAAK,aAAa,MAAM,CAAC,OAAO,8CAA8C,CACnI,CAAC;YACJ,CAAC;QACH,CAAC;QACD,IAAI,GAAG,CAAC,SAAS,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;YACpC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,iBAAiB,GAAG,CAAC,SAAS,2BAA2B,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC;QAC/G,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,aAAa,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,+BAA+B,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAChH,CAAC;QACJ,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC,CAAC;QACnF,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;YAC1C,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,+BAA+B,eAAe,GAAG,CAAC,CAAC;QACvF,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YACvC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,kCAAkC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACvF,CAAC;QACD,IAAI,GAAG,CAAC,OAAO,KAAK,aAAa,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;YAC1F,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,cAAc,GAAG,CAAC,OAAO,6BAA6B,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QAC9G,CAAC;QACD,IAAI,GAAG,CAAC,QAAQ,KAAK,YAAY,EAAE,CAAC;YAClC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,2BAA2B,CAAC,CAAC;QACjE,CAAC;QACD,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACpD,IAAI,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC5C,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,cAAc,GAAG,CAAC,IAAI,gBAAgB,IAAI,GAAG,CAAC,CAAC;QACnF,CAAC;QACD,MAAM,GAAG,GAAG,kBAAkB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC9C,IAAI,GAAG,CAAC,GAAG,KAAK,GAAG,EAAE,CAAC;YACpB,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,aAAa,GAAG,CAAC,GAAG,gBAAgB,GAAG,GAAG,CAAC,CAAC;QAChF,CAAC;QACD,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,sCAAsC,CAAC,CAAC;QAClF,CAAC;aAAM,IACL,QAAQ,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO;YAClC,QAAQ,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;YAChC,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;YACpC,aAAa,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EACzE,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,uBAAuB,KAAK,CAAC,GAAG,wCAAwC,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACnC,IAAI,MAAM,CAAC,SAAS,EAAE,MAAM,KAAK,cAAc;YAAE,SAAS;QAC1D,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,8BAA8B,MAAM,CAAC,EAAE,yBAAyB,CAAC,CAAC;QAClF,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}
+{"version":3,"file":"physjs-ref.js","sourceRoot":"","sources":["../../src/atlas/physjs-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAIH,6DAA6D;AAC7D,MAAM,CAAC,MAAM,aAAa,GAAG,0CAA0C,CAAC;AAExE,oDAAoD;AACpD,MAAM,gBAAgB,GAAG,0BAA0B,CAAC;AAEpD,iDAAiD;AACjD,MAAM,cAAc,GAAG,SAAS,CAAC;AAEjC,iDAAiD;AACjD,MAAM,eAAe,GAAG,0CAA0C,CAAC;AAEnE;;;GAGG;AACH,MAAM,eAAe,GAAG,2BAA2B,CAAC;AAEpD,4EAA4E;AAC5E,MAAM,aAAa,GAAG,CAAC,SAAS,EAAE,kBAAkB,EAAE,YAAY,CAAU,CAAC;AAW7E,2EAA2E;AAC3E,MAAM,aAAa,GAAG;IACpB,WAAW;IACX,SAAS;IACT,WAAW;IACX,QAAQ;IACR,WAAW;IACX,WAAW;IACX,gBAAgB;IAChB,iBAAiB;IACjB,qBAAqB;IACrB,iBAAiB;IACjB,cAAc;IACd,YAAY;IACZ,sBAAsB;IACtB,aAAa;CACL,CAAC;AAIX,MAAM,YAAY,GAAG,IAAI,GAAG,CAAS;IACnC,KAAK;IACL,UAAU;IACV,SAAS;IACT,QAAQ;IACR,UAAU;IACV,WAAW;IACX,QAAQ;IACR,SAAS;IACT,GAAG,aAAa;CACjB,CAAC,CAAC;AAEH,mEAAmE;AACnE,MAAM,YAAY,GAAG,sCAAsC,CAAC;AAE5D;;;GAGG;AACH,MAAM,YAAY,GAAG,2BAA2B,CAAC;AAwDjD,MAAM,YAAY,GAAG,iDAAiD,CAAC;AAEvE,MAAM,iBAAiB,GAAG,oEAAoE,CAAC;AAE/F;;;;GAIG;AACH,SAAS,SAAS,CAAC,SAAiB;IAClC,OAAO;QACL,OAAO,EAAE,UAAU,SAAS,2BAA2B;QACvD,MAAM,EAAE,iBAAiB;QACzB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,cAAc,GAA2B;IAC7C;QACE,GAAG,EAAE,mBAAmB;QACxB,QAAQ,EAAE,mBAAmB;QAC7B,OAAO,EAAE,yCAAyC;QAClD,MAAM,EAAE,YAAY;QACpB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,SAAS,EAAE,SAAS,CAAC,eAAe,CAAC;KACtC;IACD;QACE,GAAG,EAAE,sBAAsB;QAC3B,QAAQ,EAAE,sBAAsB;QAChC,OAAO,EAAE,2CAA2C;QACpD,MAAM,EAAE,YAAY;QACpB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,SAAS,EAAE,SAAS,CAAC,iBAAiB,CAAC;KACxC;IACD;QACE,GAAG,EAAE,iBAAiB;QACtB,QAAQ,EAAE,iBAAiB;QAC3B,OAAO,EAAE,uCAAuC;QAChD,MAAM,EAAE,YAAY;QACpB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,SAAS,EAAE,SAAS,CAAC,aAAa,CAAC;KACpC;IACD;QACE,GAAG,EAAE,wBAAwB;QAC7B,QAAQ,EAAE,wBAAwB;QAClC,OAAO,EAAE,8CAA8C;QACvD,MAAM,EAAE,YAAY;QACpB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,SAAS,EAAE,SAAS,CAAC,oBAAoB,CAAC;KAC3C;IACD;QACE,GAAG,EAAE,mBAAmB;QACxB,QAAQ,EAAE,mBAAmB;QAC7B,OAAO,EAAE,yCAAyC;QAClD,MAAM,EAAE,YAAY;QACpB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,SAAS,EAAE,SAAS,CAAC,eAAe,CAAC;KACtC;IACD;QACE,GAAG,EAAE,oBAAoB;QACzB,QAAQ,EAAE,oBAAoB;QAC9B,OAAO,EAAE,gDAAgD;QACzD,MAAM,EAAE,qCAAqC;QAC7C,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,OAAO,EAAE,kEAAkE;QAC3E,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,kBAAkB;QACvB,QAAQ,EAAE,kBAAkB;QAC5B,OAAO,EAAE,qDAAqD;QAC9D,MAAM,EAAE,yCAAyC;QACjD,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,cAAc;QACnB,QAAQ,EAAE,cAAc;QACxB,OAAO,EAAE,+CAA+C;QACxD,MAAM,EAAE,2BAA2B;QACnC,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,eAAe;QACpB,QAAQ,EAAE,eAAe;QACzB,OAAO,EAAE,gDAAgD;QACzD,MAAM,EAAE,2BAA2B;QACnC,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,mBAAmB;QACxB,QAAQ,EAAE,mBAAmB;QAC7B,OAAO,EAAE,2CAA2C;QACpD,MAAM,EAAE,+CAA+C;QACvD,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,8BAA8B;QACvC,MAAM,EAAE,qFAAqF;QAC7F,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,mCAAmC;QAC5C,MAAM,EAAE,uFAAuF;QAC/F,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,OAAO,EAAE;YACP,OAAO,EAAE,sCAAsC;YAC/C,MAAM,EACJ,0HAA0H;YAC5H,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,yCAAyC;QAClD,MAAM,EACJ,kIAAkI;QACpI,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,+BAA+B;QACxC,MAAM,EACJ,wIAAwI;QAC1I,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,SAAS,EAAE;YACT,OAAO,EAAE,0BAA0B;YACnC,MAAM,EACJ,yGAAyG;YAC3G,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,0BAA0B;QACnC,MAAM,EACJ,+HAA+H;QACjI,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,MAAM,EAAE;YACN,OAAO,EAAE,gCAAgC;YACzC,MAAM,EACJ,uLAAuL;YACzL,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;QACD,SAAS,EAAE;YACT,OAAO,EAAE,qCAAqC;YAC9C,MAAM,EACJ,8WAA8W;YAChX,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,6BAA6B;QACtC,MAAM,EACJ,qOAAqO;QACvO,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,gCAAgC;QACzC,MAAM,EACJ,kJAAkJ;QACpJ,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,wBAAwB;QACjC,MAAM,EACJ,+KAA+K;QACjL,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,iCAAiC;QAC1C,MAAM,EACJ,8NAA8N;QAChO,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,4BAA4B;QACrC,MAAM,EACJ,qUAAqU;QACvU,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,8BAA8B;QACvC,MAAM,EACJ,4MAA4M;QAC9M,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,0BAA0B;QACnC,MAAM,EACJ,2NAA2N;QAC7N,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,sBAAsB;QAC/B,MAAM,EACJ,6MAA6M;QAC/M,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,iCAAiC;QAC1C,MAAM,EACJ,sKAAsK;QACxK,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,+BAA+B;QACxC,MAAM,EACJ,qNAAqN;QACvN,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IAED;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,uCAAuC;QAChD,MAAM,EACJ,0PAA0P;QAC5P,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,+BAA+B;QACxC,MAAM,EACJ,sMAAsM;QACxM,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,+BAA+B;QACxC,MAAM,EACJ,gPAAgP;QAClP,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,kCAAkC;QAC3C,MAAM,EACJ,wSAAwS;QAC1S,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,uBAAuB;QAChC,MAAM,EACJ,oLAAoL;QACtL,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,4BAA4B;QACrC,MAAM,EACJ,wNAAwN;QAC1N,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,4BAA4B;QACrC,MAAM,EACJ,mLAAmL;QACrL,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,gCAAgC;QACzC,MAAM,EACJ,iSAAiS;QACnS,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,uCAAuC;QAChD,MAAM,EACJ,sLAAsL;QACxL,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,SAAS,EAAE;YACT,OAAO,EAAE,sCAAsC;YAC/C,MAAM,EACJ,+KAA+K;YACjL,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,iCAAiC;QAC1C,MAAM,EACJ,0QAA0Q;QAC5Q,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,eAAe,EAAE;YACf,OAAO,EAAE,wCAAwC;YACjD,MAAM,EACJ,gSAAgS;YAClS,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;QACD,mBAAmB,EAAE;YACnB,OAAO,EAAE,6CAA6C;YACtD,MAAM,EACJ,+GAA+G;YACjH,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;QACD,eAAe,EAAE;YACf,OAAO,EAAE,qDAAqD;YAC9D,MAAM,EACJ,kMAAkM;YACpM,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,oCAAoC;QAC7C,MAAM,EACJ,0PAA0P;QAC5P,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,wBAAwB;QACjC,MAAM,EACJ,iUAAiU;QACnU,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,gCAAgC;QACzC,MAAM,EACJ,kSAAkS;QACpS,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,cAAc,EAAE;YACd,OAAO,EAAE,sCAAsC;YAC/C,MAAM,EACJ,uRAAuR;YACzR,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,wCAAwC;QACjD,MAAM,EACJ,4KAA4K;QAC9K,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,YAAY,EAAE;YACZ,OAAO,EAAE,sCAAsC;YAC/C,MAAM,EACJ,wLAAwL;YAC1L,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;QACD,UAAU,EAAE;YACV,OAAO,EAAE,gDAAgD;YACzD,MAAM,EACJ,wKAAwK;YAC1K,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,sCAAsC;QAC/C,MAAM,EACJ,gOAAgO;QAClO,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,+BAA+B;QACxC,MAAM,EACJ,2XAA2X;QAC7X,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,iCAAiC;QAC1C,MAAM,EACJ,2WAA2W;QAC7W,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,kCAAkC;QAC3C,MAAM,EACJ,yZAAyZ;QAC3Z,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,8BAA8B;QACvC,MAAM,EACJ,6aAA6a;QAC/a,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,gCAAgC;QACzC,MAAM,EACJ,8gBAA8gB;QAChhB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,qCAAqC;QAC9C,MAAM,EACJ,ybAAyb;QAC3b,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,sCAAsC;QAC/C,MAAM,EACJ,4bAA4b;QAC9b,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,6BAA6B;QACtC,MAAM,EACJ,0lBAA0lB;QAC5lB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,6CAA6C;QACtD,MAAM,EACJ,qkBAAqkB;QACvkB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,kCAAkC;QAC3C,MAAM,EACJ,oyBAAoyB;QACtyB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,oBAAoB,EAAE;YACpB,OAAO,EAAE,qDAAqD;YAC9D,MAAM,EAAE,6MAA6M;YACrN,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,sCAAsC;QAC/C,MAAM,EACJ,8fAA8f;QAChgB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,2BAA2B;QACpC,MAAM,EACJ,gcAAgc;QAClc,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,8CAA8C;QACvD,MAAM,EACJ,0iBAA0iB;QAC5iB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;QACrB,WAAW,EAAE;YACX,OAAO,EAAE,gDAAgD;YACzD,MAAM,EAAE,0KAA0K;YAClL,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,aAAa;SACtB;KACF;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,kCAAkC;QAC3C,MAAM,EACJ,+dAA+d;QACje,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IAED;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,qCAAqC;QAC9C,MAAM,EACJ,ulBAAulB;QACzlB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,mCAAmC;QAC5C,MAAM,EACJ,2kBAA2kB;QAC7kB,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;IACD;QACE,GAAG,EAAE,OAAO;QACZ,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,2BAA2B;QACpC,MAAM,EACJ,gdAAgd;QACld,QAAQ,EAAE,eAAe;QACzB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE,aAAa;KACtB;CACF,CAAC;AAEF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;AAE9E;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,GAAW;IACvC,OAAO,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC;AACtC,CAAC;AAED,mDAAmD;AACnD,SAAS,aAAa;IACpB,OAAO,UAAU,aAAa,IAAI,gBAAgB,YAAY,cAAc,YAAY,eAAe,EAAE,CAAC;AAC5G,CAAC;AAED;;;;GAIG;AACH,MAAM,wBAAwB,GAAqC;IACjE,QAAQ,EAAE,2BAA2B;IACrC,SAAS,EAAE,2BAA2B;CACvC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,OAAe;IAC5C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACjC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;QACxE,MAAM,IAAI,KAAK,CAAC,mBAAmB,OAAO,iCAAiC,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,wBAAwB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;AAClE,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,OAAO,gDAAgD,aAAa,SAAS,IAAI,EAAE,CAAC;AACtF,CAAC;AAED,+EAA+E;AAC/E,SAAS,kBAAkB,CAAC,OAAe;IACzC,OAAO,aAAa,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC;AAChD,CAAC;AAED;;;;GAIG;AACH,MAAM,qBAAqB,GAAwB,IAAI,GAAG,CAAC;IACzD,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;CACR,CAAC,CAAC;AAEH;;;;GAIG;AACH,SAAS,aAAa,CAAC,GAAW,EAAE,MAAc;IAChD,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC3C,IAAI,qBAAqB,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO,QAAQ,CAAC;IACpD,IAAI,GAAG,KAAK,OAAO;QAAE,OAAO,UAAU,CAAC;IACvC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAClC,IACE,IAAI,KAAK,UAAU;QACnB,IAAI,KAAK,aAAa;QACtB,IAAI,KAAK,WAAW;QACpB,IAAI,KAAK,OAAO;QAChB,IAAI,KAAK,iBAAiB,EAC1B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,cAAc,CAC5B,OAAO,GAID,cAAc;IAEpB,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,IAAI,aAAa,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAClE,IAAI,IAAI,KAAK,QAAQ;YAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,GAAW;IACzC,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,GAAG,GAAG,CAAC,CAAC;IACtF,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACpD,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,KAAK,CAAC,GAAG,mCAAmC,CAAC,CAAC;IACvG,OAAO;QACL,MAAM,EAAE,cAAc;QACtB,SAAS,EAAE,KAAK,CAAC,OAAO;QACxB,OAAO,EAAE,aAAa,EAAE;QACxB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,QAAQ,EAAE,eAAe;QACzB,IAAI;QACJ,GAAG,EAAE,kBAAkB,CAAC,KAAK,CAAC,OAAO,CAAC;QACtC,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,MAAM,KAAK,CAAC,QAAQ,EAAE;KAC9C,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,QAA2B,EAAE,QAA2B;IAC1E,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AACpG,CAAC;AAED,SAAS,UAAU,CAAC,QAA2C,EAAE,QAA2C;IAC1G,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACnE,OAAO,CACL,QAAQ,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO;QACrC,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;QACnC,QAAQ,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ;QACvC,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS;QACzC,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAC7C,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,qBAAqB,CAAC,GAAW,EAAE,MAAc,EAAE,KAAa;IACvE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACtC,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,CAAC;IACtE,OAAO;QACL,GAAG,KAAK,KAAK,GAAG,gHAAgH;KACjI,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAGtC;IACC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChC,IAAI,QAAQ,CAAC,MAAM,KAAK,2BAA2B,EAAE,CAAC;QACpD,QAAQ,CAAC,IAAI,CAAC,uBAAuB,QAAQ,CAAC,MAAM,yCAAyC,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QACtC,QAAQ,CAAC,IAAI,CAAC,uBAAuB,QAAQ,CAAC,MAAM,gBAAgB,aAAa,GAAG,CAAC,CAAC;IACxF,CAAC;IACD,IAAI,QAAQ,CAAC,SAAS,KAAK,gBAAgB,EAAE,CAAC;QAC5C,QAAQ,CAAC,IAAI,CAAC,0BAA0B,QAAQ,CAAC,SAAS,gBAAgB,gBAAgB,GAAG,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,KAAK,cAAc,EAAE,CAAC;QACxC,QAAQ,CAAC,IAAI,CAAC,wBAAwB,QAAQ,CAAC,OAAO,gBAAgB,cAAc,GAAG,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,KAAK,eAAe,EAAE,CAAC;QACzC,QAAQ,CAAC,IAAI,CAAC,wBAAwB,QAAQ,CAAC,OAAO,gBAAgB,eAAe,GAAG,CAAC,CAAC;IAC5F,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACzE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,iBAAiB,CAAC,CAAC;QACpF,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACpB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACvC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CAAC,mBAAmB,KAAK,CAAC,GAAG,2BAA2B,KAAK,GAAG,CAAC,CAAC;YACjF,CAAC;QACH,CAAC;QACD,IAAI,KAAK,CAAC,GAAG,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;YACjC,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,8BAA8B,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC;QAC3F,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;YACvC,QAAQ,CAAC,IAAI,CACX,wBAAwB,KAAK,CAAC,GAAG,SAAS,KAAK,CAAC,QAAQ,gBAAgB,eAAe,GAAG,CAC3F,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;YACnC,QAAQ,CAAC,IAAI,CAAC,kBAAkB,KAAK,CAAC,GAAG,SAAS,KAAK,CAAC,SAAS,wBAAwB,CAAC,CAAC;QAC7F,CAAC;QACD,MAAM,cAAc,GAAG,qBAAqB,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QACtF,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAC;QACjC,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;YAClC,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,MAAM,KAAK,SAAS;gBAAE,SAAS;YACnC,IAAI,MAAM,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;gBACxC,QAAQ,CAAC,IAAI,CACX,GAAG,KAAK,yBAAyB,KAAK,CAAC,GAAG,SAAS,MAAM,CAAC,QAAQ,gBAAgB,eAAe,GAAG,CACrG,CAAC;YACJ,CAAC;YACD,IAAI,MAAM,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;gBACpC,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,mBAAmB,KAAK,CAAC,GAAG,SAAS,MAAM,CAAC,SAAS,wBAAwB,CAAC,CAAC;YACvG,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC;QACvF,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,gCAAgC,CAAC,CAAC;YAC1E,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC;QAC7B,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;YACvD,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,4CAA4C,GAAG,EAAE,MAAM,IAAI,MAAM,IAAI,CAC1F,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,IAAI,GAAG,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;YAC/E,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,mDAAmD,KAAK,CAAC,SAAS,CAAC,OAAO,8CAA8C,CAC7I,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;YAClC,IAAI,KAAK,KAAK,WAAW;gBAAE,SAAS;YACpC,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,SAAS,KAAK,MAAM,CAAC,OAAO,EAAE,CAAC;gBAC7D,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,gCAAgC,KAAK,aAAa,MAAM,CAAC,OAAO,8CAA8C,CACnI,CAAC;YACJ,CAAC;QACH,CAAC;QACD,IAAI,GAAG,CAAC,SAAS,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;YACpC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,iBAAiB,GAAG,CAAC,SAAS,2BAA2B,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC;QAC/G,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,QAAQ,CAAC,IAAI,CACX,WAAW,KAAK,CAAC,GAAG,aAAa,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,+BAA+B,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAChH,CAAC;QACJ,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC,CAAC;QACnF,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;YAC1C,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,+BAA+B,eAAe,GAAG,CAAC,CAAC;QACvF,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YACvC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,kCAAkC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACvF,CAAC;QACD,IAAI,GAAG,CAAC,OAAO,KAAK,aAAa,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;YAC1F,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,cAAc,GAAG,CAAC,OAAO,6BAA6B,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QAC9G,CAAC;QACD,IAAI,GAAG,CAAC,QAAQ,KAAK,YAAY,EAAE,CAAC;YAClC,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,2BAA2B,CAAC,CAAC;QACjE,CAAC;QACD,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACpD,IAAI,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC5C,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,cAAc,GAAG,CAAC,IAAI,gBAAgB,IAAI,GAAG,CAAC,CAAC;QACnF,CAAC;QACD,MAAM,GAAG,GAAG,kBAAkB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC9C,IAAI,GAAG,CAAC,GAAG,KAAK,GAAG,EAAE,CAAC;YACpB,QAAQ,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,aAAa,GAAG,CAAC,GAAG,gBAAgB,GAAG,GAAG,CAAC,CAAC;QAChF,CAAC;QACD,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,QAAQ,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,GAAG,sCAAsC,CAAC,CAAC;QAClF,CAAC;aAAM,IACL,QAAQ,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO;YAClC,QAAQ,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;YAChC,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;YACpC,aAAa,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EACzE,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,uBAAuB,KAAK,CAAC,GAAG,wCAAwC,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACnC,IAAI,MAAM,CAAC,SAAS,EAAE,MAAM,KAAK,cAAc;YAAE,SAAS;QAC1D,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,8BAA8B,MAAM,CAAC,EAAE,yBAAyB,CAAC,CAAC;QAClF,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/bridges/be69-fast-magnetosonic.d.ts

@@ -0,0 +1,30 @@
+/**
+ * Inputs for {@link evaluateFastMagnetosonic}.
+ * @public
+ */
+export interface FastMagnetosonicInputs {
+    /** Sound speed, m/s. Zero is the Alfvén number of this polarization. */
+    readonly cs_m_per_s: number;
+    /** Magnetic flux density, tesla. The formula uses `B²`. */
+    readonly B_T: number;
+    /** Total mass density, kg/m³. */
+    readonly rho_kg_per_m3: number;
+}
+/**
+ * Result of {@link evaluateFastMagnetosonic}.
+ * @public
+ */
+export interface FastMagnetosonicResult {
+    readonly cs_m_per_s: number;
+    readonly B_T: number;
+    readonly rho_kg_per_m3: number;
+    /** Phase speed, m/s. */
+    readonly v_m_per_s: number;
+}
+/**
+ * Evaluate `√(c_s² + B²/(μ0 ρ))`.
+ *
+ * @public
+ */
+export declare function evaluateFastMagnetosonic({ cs_m_per_s, B_T, rho_kg_per_m3, }: FastMagnetosonicInputs): FastMagnetosonicResult;
+//# sourceMappingURL=be69-fast-magnetosonic.d.ts.map

package/dist/bridges/be69-fast-magnetosonic.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"be69-fast-magnetosonic.d.ts","sourceRoot":"","sources":["../../src/bridges/be69-fast-magnetosonic.ts"],"names":[],"mappings":"AAeA;;;GAGG;AACH,MAAM,WAAW,sBAAsB;IACrC,wEAAwE;IACxE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,2DAA2D;IAC3D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,iCAAiC;IACjC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC;AAED;;;GAGG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,wBAAwB;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,EACvC,UAAU,EACV,GAAG,EACH,aAAa,GACd,EAAE,sBAAsB,GAAG,sBAAsB,CAYjD"}

package/dist/bridges/be69-fast-magnetosonic.js

@@ -0,0 +1,33 @@
+/**
+ * BE-69 — perpendicular fast magnetosonic phase speed,
+ *   |ω/k| = √(c_s² + B²/(μ0 ρ)),
+ * from the linearized ideal-MHD premises in
+ * `PhysJS.FastMagnetosonic.speed_eq`. `c_s = 0` recovers the Alfvén
+ * number of a different polarization. That recovery is not an
+ * identification with BE-67.
+ *
+ * `μ0` is `1/(ε0 c²)`, the same product the Alfvén evaluator uses.
+ * The nested `perpendicularQuartic` theorem is not this function.
+ *
+ * @module bridges/be69-fast-magnetosonic
+ */
+import { MU0_SI } from '../dimensional/formula-names.js';
+/**
+ * Evaluate `√(c_s² + B²/(μ0 ρ))`.
+ *
+ * @public
+ */
+export function evaluateFastMagnetosonic({ cs_m_per_s, B_T, rho_kg_per_m3, }) {
+    if (!Number.isFinite(cs_m_per_s) || cs_m_per_s < 0) {
+        throw new Error('evaluateFastMagnetosonic: cs_m_per_s must be finite and ≥ 0');
+    }
+    if (!Number.isFinite(B_T)) {
+        throw new Error('evaluateFastMagnetosonic: B_T must be finite');
+    }
+    if (!Number.isFinite(rho_kg_per_m3) || rho_kg_per_m3 <= 0) {
+        throw new Error('evaluateFastMagnetosonic: rho_kg_per_m3 must be finite and > 0');
+    }
+    const v_m_per_s = Math.sqrt(cs_m_per_s * cs_m_per_s + (B_T * B_T) / (MU0_SI * rho_kg_per_m3));
+    return { cs_m_per_s, B_T, rho_kg_per_m3, v_m_per_s };
+}
+//# sourceMappingURL=be69-fast-magnetosonic.js.map

package/dist/bridges/be69-fast-magnetosonic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"be69-fast-magnetosonic.js","sourceRoot":"","sources":["../../src/bridges/be69-fast-magnetosonic.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,iCAAiC,CAAC;AA2BzD;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,EACvC,UAAU,EACV,GAAG,EACH,aAAa,GACU;IACvB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;IACjF,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,aAAa,IAAI,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;IACpF,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,GAAG,UAAU,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,aAAa,CAAC,CAAC,CAAC;IAC9F,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC;AACvD,CAAC"}

package/dist/bridges/be70-einstein-relation.d.ts

@@ -0,0 +1,30 @@
+/**
+ * Inputs for {@link evaluateEinsteinRelation}.
+ * @public
+ */
+export interface EinsteinRelationInputs {
+    /** Electrical mobility, m²/(V·s). */
+    readonly mu_m2_per_Vs: number;
+    /** Absolute temperature, kelvin. */
+    readonly T_K: number;
+    /** Carrier charge, coulomb. Nonzero. */
+    readonly q_C: number;
+}
+/**
+ * Result of {@link evaluateEinsteinRelation}.
+ * @public
+ */
+export interface EinsteinRelationResult {
+    readonly mu_m2_per_Vs: number;
+    readonly T_K: number;
+    readonly q_C: number;
+    /** Diffusivity, m²/s. */
+    readonly D_m2_per_s: number;
+}
+/**
+ * Evaluate `D = μ k_B T / q`.
+ *
+ * @public
+ */
+export declare function evaluateEinsteinRelation({ mu_m2_per_Vs, T_K, q_C, }: EinsteinRelationInputs): EinsteinRelationResult;
+//# sourceMappingURL=be70-einstein-relation.d.ts.map

package/dist/bridges/be70-einstein-relation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"be70-einstein-relation.d.ts","sourceRoot":"","sources":["../../src/bridges/be70-einstein-relation.ts"],"names":[],"mappings":"AAeA;;;GAGG;AACH,MAAM,WAAW,sBAAsB;IACrC,qCAAqC;IACrC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,oCAAoC;IACpC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,wCAAwC;IACxC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;GAGG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,yBAAyB;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,EACvC,YAAY,EACZ,GAAG,EACH,GAAG,GACJ,EAAE,sBAAsB,GAAG,sBAAsB,CAYjD"}

package/dist/bridges/be70-einstein-relation.js

@@ -0,0 +1,33 @@
+/**
+ * BE-70 — Einstein relation,
+ *   D = μ k_B T / q,
+ * where drift cancels diffusion on a Boltzmann profile. Dropping `q`
+ * is a different diffusivity. `μ` is the electrical mobility (drift
+ * speed per electric field). The force-mobility writing needs
+ * `μ_force = μ/q` and is not this function.
+ *
+ * Onsager reciprocity is not an input. Stokes–Einstein is a different
+ * equation. The overlay formalRef is `PhysJS.EinsteinRelation.diffusion_eq`.
+ *
+ * @module bridges/be70-einstein-relation
+ */
+import { K_B_SI } from '../core/constants.js';
+/**
+ * Evaluate `D = μ k_B T / q`.
+ *
+ * @public
+ */
+export function evaluateEinsteinRelation({ mu_m2_per_Vs, T_K, q_C, }) {
+    if (!Number.isFinite(mu_m2_per_Vs)) {
+        throw new Error('evaluateEinsteinRelation: mu_m2_per_Vs must be finite');
+    }
+    if (!Number.isFinite(T_K) || T_K === 0) {
+        throw new Error('evaluateEinsteinRelation: T_K must be finite and nonzero');
+    }
+    if (!Number.isFinite(q_C) || q_C === 0) {
+        throw new Error('evaluateEinsteinRelation: q_C must be finite and nonzero');
+    }
+    const D_m2_per_s = (mu_m2_per_Vs * K_B_SI * T_K) / q_C;
+    return { mu_m2_per_Vs, T_K, q_C, D_m2_per_s };
+}
+//# sourceMappingURL=be70-einstein-relation.js.map

package/dist/bridges/be70-einstein-relation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"be70-einstein-relation.js","sourceRoot":"","sources":["../../src/bridges/be70-einstein-relation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AA2B9C;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,EACvC,YAAY,EACZ,GAAG,EACH,GAAG,GACoB;IACvB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;IAC3E,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;IAC9E,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;IAC9E,CAAC;IACD,MAAM,UAAU,GAAG,CAAC,YAAY,GAAG,MAAM,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC;IACvD,OAAO,EAAE,YAAY,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;AAChD,CAAC"}