universal-physics-tensor 8.0.0 → 10.0.0

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

@@ -8,123 +8,86 @@
  * `tests/atlas/physjs-manifest.test.ts` fails when the file and that table disagree
  * on the commit, a theorem, a key, or the coverage phrase.
  *
- * The commit is `PHYSJS_COMMIT`, copied from the manifest. The sentence that
- * the pin is PhysJS `main` `03e8bb77c952f720bdd2730af2afc6a7f2d36243` is the
- * record from before the table was generated.
- * PhysJS #63 stores each Lean file at `lean/<File>.lean`. The sentence that
- * the pin is `92f87257a1e3086a48cdc19fe4361cc1c5909d49` is the record from
- * before PhysJS #65. The sentence that the pin is
- * `ee753df77bd5b29b7207443181606b6004bfcf6a` is the record from
- * before PhysJS #64. 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 of the earlier entries are unchanged. PhysJS #62 adds be-74,
- * be-75, and be-76. PhysJS #64 adds be-77 through be-87. PhysJS #65 adds
- * be-88 through be-102.
- * 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
- * `corollary` on `be-13` and has no key. A counted covers line begins with
- * `reduction`, `limit`, or `derivation-step`. A labeled covers line begins
- * with `property` or `cross-check`. A nested object (`planeWave`, `oneLoop`,
- * `inversion`, `vacuum`, `corollary`, `friedmann`, `lengthMonomial`,
- * `torsionMonomial`, `coefficientNotFixed`, `unitCoefficient`, `scalingShape`,
- * `everyPower`, `perpendicularQuartic`, `tolmanRatio`) is recorded and is not
- * a `formalRef`. The sentence that those fourteen names are the whole nested
- * set is the record from before BE-103 through BE-125. That ingestion adds
- * `warmSound`, `cutoffL`, `whistlerLimit`, `equalTemperature`, `bohmGross`,
- * `referenceResistivity`, `lundquist`, and `bohmFlux`. PhysJS #66 adds
- * be-103 through be-125. The sentence that the pin is
- * `03e8bb77c952f720bdd2730af2afc6a7f2d36243` and that the table stops at
- * be-102 is the record from before that pin. PhysJS #67 adds be-126 through
- * be-133. The sentence that the pin is
- * `d519c2c6504e7fbbd2cf6932f9e52981ce595a0f` and that the table stops at
- * be-125 is the record from before that pin. PhysJS #68 adds be-134 through
- * be-146. The sentence that the pin is
- * `8515c621d1c6e6d31c2eea4467181eb85d58234b` and that the table stops at
- * be-133 is the record from before that pin. That ingestion adds
- * `heisenberg_fraction`.
+ * The commit is `PHYSJS_COMMIT`, copied from the manifest. Which PhysJS pull
+ * request added which keys, and what the pin was before, is history and lives
+ * in `NOTES.md` and `CHANGELOG.md`, not here.
+ *
+ * Each statement's `kind`, nested ones included, is the manifest's own field
+ * (schema `physjs-bridge-manifest/v2`), which PhysJS reads from the kind line
+ * of the Lean file that declares the theorem; this module keeps no override
+ * and does not parse the covers line for it. A field of a manifest entry
+ * outside the base fields is a nested statement: a second theorem on the same
+ * entry, named by the field, with no key. It is recorded and compared, and it
+ * is not a `formalRef`. The generator reads it by its shape, so a new nested
+ * name needs no edit here.
+ *
+ * A reference's `fidelity` is DERIVED here, never typed on a record:
+ * `physjsFidelity` reads the reviewed-row table (`physjs-reviewed.ts`) and the
+ * sanity-lemma key list, and a key ahead of the catalog, or whose row is not
+ * in that table, is `'unreviewed'`.
  *
  * @module atlas/physjs-ref
  */
-import type { FormalRef, FormalRefKind } from './types.js';
+import type { FormalFidelity, FormalRef, FormalRefKind } from './types.js';
 /**
  * PhysJS commit the vendored manifest records.
  *
  * @internal
  */
 export { PHYSJS_COMMIT } from './physjs-entries.generated.js';
-/** A second statement on the same entry. No key. Not a `formalRef`. */
-interface PhysjsNestedStatement {
+/** One statement the manifest records: an entry's own, or a nested one. */
+interface PhysjsStatement {
     readonly theorem: string;
+    /** How the theorem relates to the equation the key names, as the manifest writes it. */
+    readonly kind: string;
     readonly covers: string;
     readonly coverage: string;
     readonly leanProof: string;
     readonly axioms: readonly string[];
 }
-/** One manifest entry, reduced to the fields a `formalRef` is built from. */
-interface PhysjsEntry {
+/** A compiled statement: the manifest's fields and the Lean file that declares its theorem. */
+interface PhysjsCompiledStatement extends PhysjsStatement {
+    /** `<File>.lean` under `lean/` at the pin, from `formal/physjs/theorem-files.json`. */
+    readonly file: string;
+}
+/** A nested statement, named by its manifest field. No key. Not a `formalRef`. */
+interface PhysjsNestedStatement extends PhysjsCompiledStatement {
+    readonly name: string;
+    readonly kind: FormalRefKind;
+}
+/** One compiled entry: its own statement, and every nested statement by name. */
+interface PhysjsEntry extends PhysjsCompiledStatement {
     readonly key: string;
     readonly bridgeId: string;
-    readonly theorem: string;
-    /** What the top-level theorem certifies. The pendulum entry is not `bound.delta`. */
-    readonly covers: string;
-    readonly coverage: string;
-    readonly leanProof: string;
-    readonly axioms: readonly string[];
+    /** The manifest's kind: how the theorem relates to the equation the key names. */
+    readonly kind: FormalRefKind;
     readonly imports?: string;
-    /** Present on the five rank-1 entries. Absent elsewhere. Not a `formalRef`. */
-    readonly planeWave?: PhysjsNestedStatement;
-    /** BE-53. The running solution. Not the reference. */
-    readonly oneLoop?: PhysjsNestedStatement;
-    /** BE-38. The μ inversion. Not the reference. */
-    readonly inversion?: PhysjsNestedStatement;
-    /** BE-13. The BE-20 vacuum density. Not a reference, and not a `be-20` key. */
-    readonly vacuum?: PhysjsNestedStatement;
-    /** BE-13. The Friedmann corollary of that density. Not a reference, and not a `be-20` key. */
-    readonly corollary?: PhysjsNestedStatement;
-    /** BE-54. The flat Friedmann identification. Not the reference. */
-    readonly friedmann?: PhysjsNestedStatement;
-    /**
-     * BE-15. L = C (Γ t)^{1/z} under dimensional homogeneity with [Γ] = L^z T⁻¹.
-     * C is not fixed, and z = 2 is not derived. Not the reference.
-     */
-    readonly lengthMonomial?: PhysjsNestedStatement;
-    /** BE-17. T = C κ S from dimensions. C is not fixed. Not the reference. */
-    readonly torsionMonomial?: PhysjsNestedStatement;
-    /** BE-17. A factor other than 1 is not the catalog coefficient. Not the reference. */
-    readonly coefficientNotFixed?: PhysjsNestedStatement;
-    /** BE-17. Inversion under the hypothesis C = 1. Not the reference. */
-    readonly unitCoefficient?: PhysjsNestedStatement;
-    /** BE-33. ξ = ξ₀ φ(T/T₀). φ is not fixed. Not the reference. */
-    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;
-    /** BE-103. Warm sound with γ_i = 3. Not the cold threshold. */
-    readonly warmSound?: PhysjsNestedStatement;
-    /** BE-106. The L cutoff. The Stix index is a hypothesis. Not the reference. */
-    readonly cutoffL?: PhysjsNestedStatement;
-    /** BE-106. The whistler limit. A hypothesis. Not the reference. */
-    readonly whistlerLimit?: PhysjsNestedStatement;
-    /** BE-109. Equal-temperature current. The factor 8 is not this value. */
-    readonly equalTemperature?: PhysjsNestedStatement;
-    /** BE-113. Bohm–Gross. It does not replace ω by ω_p in the damping prefactor. */
-    readonly bohmGross?: PhysjsNestedStatement;
-    /** BE-116. The reference resistivity. Not the kinetic catalog value. */
-    readonly referenceResistivity?: PhysjsNestedStatement;
-    /** BE-117. Lundquist over magnetic Reynolds. Not the slab time. */
-    readonly lundquist?: PhysjsNestedStatement;
-    /** BE-122. Bohm ion flux. Not the floating potential. */
-    readonly bohmFlux?: PhysjsNestedStatement;
-    /** BE-134. D = 2 J S a² and M(0) = μ_B S/a³. Not the Bloch deficit. */
-    readonly heisenberg_fraction?: PhysjsNestedStatement;
+    readonly nested: readonly PhysjsNestedStatement[];
 }
+/**
+ * One manifest entry as PhysJS writes it: the base fields, and each nested
+ * statement under a field of its own (`planeWave`, `corollary`).
+ * @internal
+ */
+export interface PhysjsManifestEntry extends PhysjsStatement {
+    readonly key: string;
+    readonly bridgeId: string;
+    readonly kind: string;
+    readonly imports?: string;
+    readonly [field: string]: unknown;
+}
+/**
+ * The nested statements of a manifest entry, in field order: every field
+ * outside the base fields whose value has exactly the statement fields. A
+ * field that is neither is returned in `problems`.
+ * @internal
+ */
+export declare function physjsNestedStatements(entry: PhysjsManifestEntry): {
+    readonly nested: readonly (PhysjsStatement & {
+        readonly name: string;
+    })[];
+    readonly problems: readonly string[];
+};
 /** The vendored manifest, as this module compares it. @internal */
 export interface PhysjsManifestFile {
     readonly schema: string;
@@ -132,7 +95,7 @@ export interface PhysjsManifestFile {
     readonly toolchain: string;
     readonly mathlib: string;
     readonly physlib: string;
-    readonly entries: readonly PhysjsEntry[];
+    readonly entries: readonly PhysjsManifestEntry[];
 }
 /**
  * Theorem name on the compiled manifest copy for `key`.
@@ -146,7 +109,11 @@ 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`.
+ * Read from the compiled table, which copies `formal/physjs/theorem-files.json`:
+ * the file is where the theorem is declared, not its namespace
+ * (`PhysJS.Einstein.friedmann_corollary` is in `VacuumFriedmann.lean`;
+ * `PhysJS.SpringLc` is a namespace inside `OscillatorDictionary.lean`).
+ * Throws for a theorem the manifest does not name.
  *
  * @internal
  */
@@ -161,28 +128,89 @@ export declare function physjsLeanFile(theorem: string): string;
  */
 export declare function physjsFileUrl(file: string): string;
 /**
- * Manifest keys whose derived kind is `bridge`.
- *
- * An `ab-` key is a bridge. A catalog key is a bridge when `formalRefKind`
- * says the theorem states the catalogued equation. A canonical id uses that
- * same function: it is a seed when this table, or a caller-supplied overlay
- * entry, has derived kind `bridge`. A textbook covers word is not a seed.
- * One function, so a second list cannot drift.
+ * True when `key` is ahead of the catalog: PhysJS proved the statement for a
+ * catalog id the catalog has not reached yet. That is an id above the
+ * catalog's highest, with every id between them also a key of `keys` (the
+ * manifest's), so the ahead keys are one unbroken run that starts right after
+ * the catalog. Such an entry is vendored and compared, and it is not a seed
+ * and not a problem until the catalog entry exists. A missing id inside the
+ * catalog's range is not ahead, nor is an id past a gap in the run (a typo
+ * such as an extra digit), nor an atlas key.
  *
- * `kind`, when supplied, is that derived kind for an overlay reference the
- * compiled table does not carry. The live call omits it. The return value
- * is not stored on a bridge.
+ * @internal
+ */
+export declare function physjsAheadOfCatalog(key: string, keys?: readonly string[]): boolean;
+/**
+ * Manifest keys of kind `bridge`, the theorem stating the equation its key
+ * names, that resolve to a bridge: every such atlas key, and every such
+ * catalog key whose catalog entry exists. The kind is the manifest's own
+ * field. A caller-supplied overlay entry is read the same way. The return
+ * value is not stored on a bridge.
  *
  * @internal
  */
 export declare function bridgeSeedKeys(entries?: readonly {
     readonly key: string;
-    readonly covers: string;
-    readonly kind?: FormalRefKind;
+    readonly kind: FormalRefKind;
 }[]): readonly string[];
+/** Every manifest key ahead of the catalog, in manifest order. @internal */
+export declare function physjsKeysAheadOfCatalog(): readonly string[];
+/** The fields of one manifest row that a review reads, nested statements included. @internal */
+export interface PhysjsReviewedRow {
+    readonly key: string;
+    readonly theorem: string;
+    readonly kind: string;
+    readonly covers: string;
+    readonly leanProof: string;
+    readonly axioms: readonly string[];
+    readonly nested: readonly {
+        readonly name: string;
+        readonly theorem: string;
+        readonly kind: string;
+        readonly covers: string;
+        readonly leanProof: string;
+        readonly axioms: readonly string[];
+    }[];
+}
+/**
+ * The row of a manifest entry as PhysJS writes it, in the shape
+ * {@link physjsRowHash} reads. @internal
+ */
+export declare function physjsManifestRow(entry: PhysjsManifestEntry): PhysjsReviewedRow;
+/**
+ * SHA-256 of one row: `[key, theorem, kind, covers, leanProof, axioms,
+ * nested[]]`, each nested statement as `[name, theorem, kind, covers,
+ * leanProof, axioms]`. A swapped theorem or key, a changed kind, a reworded
+ * covers line, a proof status, an axiom, or a nested statement changes it.
+ * This is what `physjs-reviewed.ts` pins per key.
+ *
+ * @internal
+ */
+export declare function physjsRowHash(row: PhysjsReviewedRow): string;
+/**
+ * The fidelity a manifest key earns, derived from what checks it:
+ *
+ * - `'unreviewed'` when the key is ahead of the catalog
+ *   ({@link physjsAheadOfCatalog}): no bridge exists to read the row against;
+ * - `'unreviewed'` when the compiled row's hash is not the one
+ *   `PHYSJS_REVIEWED_ROWS` records for the key, or the key has no entry there;
+ * - `'sanity-lemmas'` when the row is reviewed AND the key is in
+ *   `PHYSJS_SANITY_LEMMA_KEYS`, whose statements
+ *   `tests/atlas/formal-sanity.test.ts` instantiates on known cases;
+ * - `'reviewed-manifest'` when the row is reviewed and no sanity lemma exists.
+ *
+ * A key the manifest does not name throws, like {@link physjsFormalRef}.
+ *
+ * @internal
+ */
+export declare function physjsFidelity(key: string, 
+/** Defaults to the generated table. A test passes a mutated copy. */
+compiledEntries?: readonly PhysjsEntry[]): FormalFidelity;
 /**
- * The reviewed reference for a manifest key. Throws when the key is not an
- * entry, so a typo cannot ship a bridge with no reference.
+ * The reference for a manifest key, with its derived fidelity. Throws when
+ * the key is not an entry, so a typo cannot ship a bridge with no reference.
+ * A key ahead of the catalog, or whose row is not reviewed, is returned
+ * `'unreviewed'` and derives no proof tag.
  *
  * @internal
  */
@@ -196,9 +224,15 @@ export declare function physjsFormalRef(key: string): FormalRef;
  * entry with no bridge is a problem. A `lean4-physjs` reference with no entry
  * is a problem: the gate does not skip that system. A nested object is kept
  * and compared; naming it as the `formalRef` is a problem. The top-level
- * theorem stays the reference. A catalog entry whose covers line is a
- * `property` or a `cross-check` is a labeled reference: it resolves to a
- * `formalRef`, and it is not a counted kind.
+ * theorem stays the reference. The reference's kind is the entry's
+ * `kind`; a kind outside the formal-reference kinds is a problem. An axiom
+ * outside {@link PHYSJS_ALLOWED_AXIOMS} on any statement is a problem. A `be-`
+ * key in the unbroken run above the catalog's highest id is ahead of the
+ * catalog and is not a problem (`physjsAheadOfCatalog`); any other key with
+ * no bridge is. Every structural check (fields, kinds, coverage, proof
+ * status, axioms, Lean file, compiled copy) runs for every entry, ahead keys
+ * included; only the checks against a bridge's reference are skipped for a
+ * key that has no bridge yet.
  *
  * @internal
  */

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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAU3D;;;;GAIG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAQ9D,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;AAoDD,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;IAC7C,+DAA+D;IAC/D,QAAQ,CAAC,SAAS,CAAC,EAAE,qBAAqB,CAAC;IAC3C,+EAA+E;IAC/E,QAAQ,CAAC,OAAO,CAAC,EAAE,qBAAqB,CAAC;IACzC,mEAAmE;IACnE,QAAQ,CAAC,aAAa,CAAC,EAAE,qBAAqB,CAAC;IAC/C,yEAAyE;IACzE,QAAQ,CAAC,gBAAgB,CAAC,EAAE,qBAAqB,CAAC;IAClD,iFAAiF;IACjF,QAAQ,CAAC,SAAS,CAAC,EAAE,qBAAqB,CAAC;IAC3C,wEAAwE;IACxE,QAAQ,CAAC,oBAAoB,CAAC,EAAE,qBAAqB,CAAC;IACtD,mEAAmE;IACnE,QAAQ,CAAC,SAAS,CAAC,EAAE,qBAAqB,CAAC;IAC3C,yDAAyD;IACzD,QAAQ,CAAC,QAAQ,CAAC,EAAE,qBAAqB,CAAC;IAC1C,uEAAuE;IACvE,QAAQ,CAAC,mBAAmB,CAAC,EAAE,qBAAqB,CAAC;CACtD;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;AAMD;;;;;;;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;AAwCD;;;;;;;;;;;;;;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;IACrF,qEAAqE;IACrE,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,WAAW,EAAE,CAAC;CACnD,GAAG,MAAM,EAAE,CAmIX"}
+{"version":3,"file":"physjs-ref.d.ts","sourceRoot":"","sources":["../../src/atlas/physjs-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAGH,OAAO,KAAK,EAAE,cAAc,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAY3E;;;;GAIG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAgB9D,2EAA2E;AAC3E,UAAU,eAAe;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,wFAAwF;IACxF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,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;AAQD,+FAA+F;AAC/F,UAAU,uBAAwB,SAAQ,eAAe;IACvD,uFAAuF;IACvF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,kFAAkF;AAClF,UAAU,qBAAsB,SAAQ,uBAAuB;IAC7D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;CAC9B;AAED,iFAAiF;AACjF,UAAU,WAAY,SAAQ,uBAAuB;IACnD,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,kFAAkF;IAClF,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,SAAS,qBAAqB,EAAE,CAAC;CACnD;AAED;;;;GAIG;AACH,MAAM,WAAW,mBAAoB,SAAQ,eAAe;IAC1D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC;CACnC;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,mBAAmB,GAAG;IAClE,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,eAAe,GAAG;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,EAAE,CAAC;IAC1E,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC,CAUA;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,mBAAmB,EAAE,CAAC;CAClD;AAWD;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAE7D;AAOD;;;;;;;;;;GAUG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAItD;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAElD;AAUD;;;;;;;;;;;GAWG;AACH,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,MAAM,EACX,IAAI,GAAE,SAAS,MAAM,EAA6C,GACjE,OAAO,CAMT;AAED;;;;;;;;GAQG;AACH,wBAAgB,cAAc,CAC5B,OAAO,GAAE,SAAS;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;CAAE,EAAmB,GAC1F,SAAS,MAAM,EAAE,CAEnB;AAED,4EAA4E;AAC5E,wBAAgB,wBAAwB,IAAI,SAAS,MAAM,EAAE,CAE5D;AAED,gGAAgG;AAChG,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,SAAS;QACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;KACpC,EAAE,CAAC;CACL;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,mBAAmB,GAAG,iBAAiB,CAiB/E;AAED;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,iBAAiB,GAAG,MAAM,CAW5D;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,cAAc,CAC5B,GAAG,EAAE,MAAM;AACX,qEAAqE;AACrE,eAAe,GAAE,SAAS,WAAW,EAAmB,GACvD,cAAc,CAMhB;AAED;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAatD;AAsCD;;;;;;;;;;;;;;;;;;;;GAoBG;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;IACrF,qEAAqE;IACrE,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,WAAW,EAAE,CAAC;CACnD,GAAG,MAAM,EAAE,CAmJX"}