universal-physics-tensor 9.0.0 → 11.0.0

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

@@ -1,63 +1,45 @@
 /**
- * Reviewed `formalRef`s keyed by the vendored PhysJS bridge manifest.
- *
- * The manifest file is `formal/physjs/manifest.json` (PhysJS `manifest/bridges.json`
- * at the commit that file records). `src/` cannot import a file outside its root,
- * so `physjs-entries.generated.ts` is the table this module reads.
- * `bun run physjs:table` writes that file from the manifest and writes nothing else.
- * `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. 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. The sentence that a
- * counted covers line begins with `reduction`, `limit`, or `derivation-step`,
- * and that a catalog entry's `formalKind` overrides that word, is the record
- * from before that schema. 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. The sentence that the nested names are a fixed list in
- * this module and in the generator is the record from before that change.
- * 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.
+ * Reviewed `formalRef`s keyed by this repository's Lean manifest.
+ *
+ * The Lean proofs are this repository's `lean/` (they moved from PhysJS in
+ * 11.0.0, with their history; the `PhysJS.*` theorem names are Lean
+ * namespaces, not a dependency). The manifest file is `formal/lean/manifest.json`.
+ * `src/` cannot import a file outside its root, so `physjs-entries.generated.ts`
+ * is the table this module reads. `bun run physjs:table` writes that file from
+ * the manifest and writes nothing else. `tests/atlas/physjs-manifest.test.ts`
+ * fails when the file and that table disagree on the toolchain, a theorem, a
+ * key, or the coverage phrase. CI's `lean` job builds every file under `lean/`
+ * and audits its axioms; this module does not run Lean.
+ *
+ * Permalinks name `lean/<File>.lean` at the release tag `LEAN_SOURCE_TAG`
+ * (`v` and the package version), so a published version links to the proofs
+ * it shipped with. Which PhysJS pull request added which keys, and the PhysJS
+ * pins before the move, are history in `NOTES.md` and `CHANGELOG.md`.
+ *
+ * Each statement's `kind`, nested ones included, is the manifest's own field
+ * (schema `upt-lean-manifest/v1`), the kind line of the Lean file that
+ * declares the theorem (`scripts/lean-index.ts --check` compares the two);
+ * 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.
+ * The release tag whose `lean/` tree the permalinks name.
  *
  * @internal
  */
-export { PHYSJS_COMMIT } from './physjs-entries.generated.js';
+export { LEAN_SOURCE_TAG } from './physjs-entries.generated.js';
 /** One statement the manifest records: an entry's own, or a nested one. */
 interface PhysjsStatement {
     readonly theorem: string;
@@ -70,7 +52,7 @@ interface PhysjsStatement {
 }
 /** 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`. */
+    /** `<File>.lean` under `lean/`, from `formal/lean/theorem-files.json`. */
     readonly file: string;
 }
 /** A nested statement, named by its manifest field. No key. Not a `formalRef`. */
@@ -88,7 +70,7 @@ interface PhysjsEntry extends PhysjsCompiledStatement {
     readonly nested: readonly PhysjsNestedStatement[];
 }
 /**
- * One manifest entry as PhysJS writes it: the base fields, and each nested
+ * One manifest entry as `formal/lean/manifest.json` writes it: the base fields, and each nested
  * statement under a field of its own (`planeWave`, `corollary`).
  * @internal
  */
@@ -111,10 +93,9 @@ export declare function physjsNestedStatements(entry: PhysjsManifestEntry): {
     })[];
     readonly problems: readonly string[];
 };
-/** The vendored manifest, as this module compares it. @internal */
+/** The Lean manifest, as this module compares it. @internal */
 export interface PhysjsManifestFile {
     readonly schema: string;
-    readonly commit: string;
     readonly toolchain: string;
     readonly mathlib: string;
     readonly physlib: string;
@@ -130,9 +111,9 @@ export interface PhysjsManifestFile {
  */
 export declare function physjsTheorem(key: string): string | undefined;
 /**
- * Lean file name that contains `theorem` at the pinned commit.
+ * Lean file name under `lean/` that declares `theorem`.
  *
- * Read from the compiled table, which copies `formal/physjs/theorem-files.json`:
+ * Read from the compiled table, which copies `formal/lean/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`).
@@ -142,20 +123,19 @@ export declare function physjsTheorem(key: string): string | undefined;
  */
 export declare function physjsLeanFile(theorem: string): string;
 /**
- * Permalink to one Lean file at the pinned commit.
+ * Permalink to one Lean file of this repository at the release tag.
  *
- * PhysJS #63 stores sources at `lean/<File>.lean`. This is the only builder
- * of those URLs.
+ * Sources are `lean/<File>.lean`. This is the only builder of those URLs.
  *
  * @internal
  */
 export declare function physjsFileUrl(file: string): string;
 /**
- * True when `key` is ahead of the catalog: PhysJS proved the statement for a
+ * True when `key` is ahead of the catalog: `lean/` proves 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
+ * the catalog. Such an entry is compiled 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.
@@ -178,27 +158,84 @@ export declare function bridgeSeedKeys(entries?: readonly {
 }[]): 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 the manifest 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
  */
 export declare function physjsFormalRef(key: string): FormalRef;
 /**
- * Problems in the vendored manifest against the bridges that claim to be keyed
+ * Problems in the Lean manifest against the bridges that claim to be keyed
  * by it. Empty means every entry resolves to a `lean4-physjs` reference whose
- * theorem, axioms, commit and coverage phrase are the entry's own.
+ * theorem, axioms, version and coverage phrase are the entry's own.
  *
- * A wrong commit, theorem, key or coverage phrase is a problem. A manifest
+ * A wrong toolchain, version, theorem, key or coverage phrase is a problem. A manifest
  * 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. The reference's kind is the entry's
- * `kind`; a kind outside the formal-reference kinds is a problem. A `be-`
+ * `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.
+ * 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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoDG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAW3D;;;;GAIG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAQ9D,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;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAatD;AAiCD;;;;;;;;;;;;;;;;GAgBG;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,CA8HX"}
+{"version":3,"file":"physjs-ref.d.ts","sourceRoot":"","sources":["../../src/atlas/physjs-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAGH,OAAO,KAAK,EAAE,cAAc,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAY3E;;;;GAIG;AACH,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAiBhE,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,0EAA0E;IAC1E,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,+DAA+D;AAC/D,MAAM,WAAW,kBAAkB;IACjC,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;;;;;;GAMG;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,CAgJX"}