universal-physics-tensor 1.0.1 → 1.0.3

package/README.md

@@ -5,7 +5,9 @@
 [![License: MIT](https://img.shields.io/badge/License-MIT-blue.svg)](https://opensource.org/licenses/MIT)
 [![CI](https://github.com/danielsimonjr/universal-physics-tensor/actions/workflows/ci.yml/badge.svg)](https://github.com/danielsimonjr/universal-physics-tensor/actions/workflows/ci.yml)
 [![Node.js Version](https://img.shields.io/badge/node-%3E%3D18.0.0-brightgreen)](https://nodejs.org/)
-[![TypeScript](https://img.shields.io/badge/TypeScript-6.0+-blue)](https://www.typescriptlang.org/)
+<!-- readme-status:badge -->
+[![TypeScript](https://img.shields.io/badge/TypeScript-7.0+-blue)](https://www.typescriptlang.org/)
+<!-- /readme-status:badge -->
 
 ## Vision
 
@@ -107,7 +109,7 @@ the MathTS packages as devDependencies, so that path uses MathTS. A published
 uses the builtin parser. The two are not the same language: MathTS accepts
 `factorial`, `erf`, `gamma()`, and juxtaposition such as `2pi`; the builtin
 parser does not. Both read a bare `e` as the elementary charge, `E` as energy,
-and Euler's number only as `exp(1)` or `euler`. On a machine that has Node
+and Euler's number only as `exp(x)`, for example `exp(1)`. The name `euler` is refused. On a machine that has Node
 and not Bun, the clone path is `npm install`, `npm run build`, then
 `node bin/upt.mjs <command>`. UPT keeps
 **zero hard dependencies**; the MathTS packages and `@viz-js/viz` are optional peers, which a
@@ -222,13 +224,22 @@ erasureCost.evaluate({ mass: M_SUN_KG }); // ≈ 5.9e-31 J — E_min(M) = ℏc³
 erasureCost.confidence;                   // 'highly-speculative' (min of the operands)
 ```
 
+`GM_SUN_SI` is the IAU 2015 nominal solar gravitational parameter, `1.3271244e20` m³/s². It is not `G_SI * M_SUN_SI`. `parseUnit`, `convertValue`, and `UnitError` read a number with a unit:
+
+```typescript
+import { GM_SUN_SI, convertValue } from 'universal-physics-tensor';
+
+GM_SUN_SI;                    // 1.3271244e20
+convertValue('25degC', 'K'); // { value: 298.15, given: 'degC' }
+```
+
 That derived relation — the minimum erasure cost at a black-hole
 horizon — is the framework's first **derived** (rather than encoded)
 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 — 36 bridges · 5 not-a-bridge · 3 contested —
+adjudicates the catalog — <!-- readme-status:membership -->47 bridges · 5 not-a-bridge · 3 unadjudicated<!-- /readme-status:membership --> —
 with rejections recorded in a reviewable negative catalog
 (`src/bridges/rejected.ts`).
 
@@ -308,15 +319,17 @@ this file. It said `v0.44.1` while the package was at `0.44.3`.
 
 The current machine-checked state is:
 
+<!-- readme-status:table -->
 | Surface | Current state |
 |---|---|
 | Bridge catalog | **55 entries (BE-11…65)**: 19 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 | **41 bridge edges** plus the canonical L-layer graph; dimensional, symbolic, discovery, consequence, and visualization tooling |
+| Composition layer | **46 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** and a clean unused-analysis report; `npm run docs:deps` is CI freshness-gated |
+| Architecture | Generated dependency graph reports **0 circular dependencies**. The unused-analysis report lists **1** file and **77** 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. **13** state the catalogued equation, so the kind is `bridge` while the covers line still begins with `derivation-step`; passing one to `deriveEvidence` lights `formally-proved`, and the catalog path still omits it. **3** carry a cross-check and **3** 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. **14** state the catalogued equation, so the kind is `bridge` while the covers line still begins with `derivation-step`; passing one to `deriveEvidence` lights `formally-proved`, and the catalog path still omits it. **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
 laboratory and falsification/review instrument, not a claim that physics itself is

package/dist/atlas/chain-pipeline.d.ts

@@ -0,0 +1,52 @@
+/**
+ * Internal bridge-discovery pipeline.
+ *
+ * Seeds, then seed-filtered symbolic enumeration, the Buckingham filter,
+ * the structural classifier, the regime join gate, the chain order,
+ * and the proof-target stub.
+ * A confirmation reports the catalog id. A restatement reports the
+ * pre-declared canonical equation. A regime mismatch is recorded and
+ * is not a stub. Any other survivor is a statement skeleton. Nothing
+ * is written into the catalog.
+ *
+ * No command calls this. `discovery.ts` and the probe are not inputs.
+ *
+ * @module atlas/chain-pipeline
+ */
+import type { BridgeEdge } from '../composition/edge.js';
+import { type ChainRegimeMismatch } from '../composition/chain-regime.js';
+/** A chain whose normal form matches a catalog equation. Nothing was written. @internal */
+export interface ChainConfirmationRecord {
+    readonly kind: 'confirmation';
+    readonly catalogId: number;
+    readonly edgeIds: readonly string[];
+}
+/** A chain the registry pre-declared with `restatesBridge`. Not a new equation. @internal */
+export interface ChainRestatementRecord {
+    readonly kind: 'restatement';
+    readonly canonicalId: string;
+    readonly restatesBridge: string;
+    readonly edgeIds: readonly string[];
+}
+/** A provisional chain, as a Lean statement skeleton. @internal */
+export interface ChainStubRecord {
+    readonly kind: 'stub';
+    readonly id: string;
+    readonly edgeIds: readonly string[];
+    readonly text: string;
+}
+/** One ordered survivor, or a recorded regime rejection. @internal */
+export type ChainPipelineResult = ChainConfirmationRecord | ChainRestatementRecord | ChainStubRecord | ChainRegimeMismatch;
+/**
+ * Run the pipeline on `edges`.
+ *
+ * A manifest key whose derived kind is not `bridge` is not a premise.
+ * A chain the Buckingham filter drops is absent. A confirmation or a
+ * restatement is not sent to the regime gate. Any other mismatch is
+ * `rejected: regime mismatch` and is not a stub. The catalog array is
+ * not modified.
+ *
+ * @internal
+ */
+export declare function runChainPipeline(edges: readonly BridgeEdge[]): readonly ChainPipelineResult[];
+//# sourceMappingURL=chain-pipeline.d.ts.map

package/dist/atlas/chain-pipeline.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"chain-pipeline.d.ts","sourceRoot":"","sources":["../../src/atlas/chain-pipeline.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAOH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAUzD,OAAO,EAEL,KAAK,mBAAmB,EACzB,MAAM,gCAAgC,CAAC;AAKxC,2FAA2F;AAC3F,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,6FAA6F;AAC7F,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,mEAAmE;AACnE,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,sEAAsE;AACtE,MAAM,MAAM,mBAAmB,GAC3B,uBAAuB,GACvB,sBAAsB,GACtB,eAAe,GACf,mBAAmB,CAAC;AA6HxB;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,GAAG,SAAS,mBAAmB,EAAE,CA2B7F"}

package/dist/atlas/chain-pipeline.js

@@ -0,0 +1,176 @@
+/**
+ * Internal bridge-discovery pipeline.
+ *
+ * Seeds, then seed-filtered symbolic enumeration, the Buckingham filter,
+ * the structural classifier, the regime join gate, the chain order,
+ * and the proof-target stub.
+ * A confirmation reports the catalog id. A restatement reports the
+ * pre-declared canonical equation. A regime mismatch is recorded and
+ * is not a stub. Any other survivor is a statement skeleton. Nothing
+ * is written into the catalog.
+ *
+ * No command calls this. `discovery.ts` and the probe are not inputs.
+ *
+ * @module atlas/chain-pipeline
+ */
+import { DIMENSIONLESS } from '../dimensional/types.js';
+import { equals } from '../dimensional/algebra.js';
+import { CONSTANTS } from '../dimensional/symbolic-constants.js';
+import { enumerateCompositions } from '../composition/enumerate.js';
+import { buckinghamFilter } from '../composition/buckingham-filter.js';
+import { matchChain } from '../composition/chain-match.js';
+import { compareChainEdgeIds, orderChainCandidates, } from '../composition/chain-candidate.js';
+import { joinRegimeMismatch, } from '../composition/chain-regime.js';
+import { bridgeSeedKeys, physjsTheorem } from './physjs-ref.js';
+import { emitProofTarget } from './proof-target.js';
+function isNumericName(name) {
+    return /^\d+(\.\d+)?$/.test(name);
+}
+function isDimensionlessConstant(name) {
+    if (/^\d*pi$/.test(name))
+        return true;
+    const registered = CONSTANTS[name];
+    return registered !== undefined && equals(registered.dim, DIMENSIONLESS);
+}
+function collectSymbols(expr, out) {
+    switch (expr.kind) {
+        case 'symbol':
+            out.set(expr.name, expr.dim);
+            return;
+        case 'op':
+            for (const arg of expr.args)
+                collectSymbols(arg, out);
+            return;
+        case 'integral':
+            collectSymbols(expr.over, out);
+            collectSymbols(expr.integrand, out);
+            return;
+        case 'derivative':
+            collectSymbols(expr.of, out);
+            collectSymbols(expr.wrt, out);
+            return;
+        case 'transcendental':
+        case 'abs':
+        case 'dirac-delta':
+            collectSymbols(expr.arg, out);
+            return;
+        default:
+            return;
+    }
+}
+/** Dimensioned leaves of the composed formula, excluding the target name. */
+function governingOf(expr, targetName) {
+    const dims = new Map();
+    collectSymbols(expr, dims);
+    const vars = [];
+    for (const [name, dim] of dims) {
+        if (name === targetName)
+            continue;
+        if (isNumericName(name) || isDimensionlessConstant(name))
+            continue;
+        vars.push({ name, dim });
+    }
+    vars.sort((a, b) => (a.name < b.name ? -1 : a.name > b.name ? 1 : 0));
+    return vars;
+}
+function toCandidate(classification, filter) {
+    const theorem = filter.theorem ?? undefined;
+    const carried = theorem === undefined ? {} : { theorem };
+    if (classification.kind === 'confirmation') {
+        return {
+            kind: 'confirmation',
+            edgeIds: classification.edgeIds,
+            catalogId: classification.catalogId,
+            ...carried,
+        };
+    }
+    if (classification.kind === 'restatement') {
+        return {
+            kind: 'restatement',
+            edgeIds: classification.edgeIds,
+            canonicalId: classification.canonicalId,
+            restatesBridge: classification.restatesBridge,
+            ...carried,
+        };
+    }
+    const kind = filter.theorem === 'PhysJS.Dimensional.monomial_form'
+        ? 'unique-monomial'
+        : 'unfixed-shape';
+    return {
+        kind,
+        edgeIds: classification.edgeIds,
+        id: classification.id,
+        ...carried,
+    };
+}
+function theoremsFor(edgeIds) {
+    return edgeIds.map((id) => {
+        const name = physjsTheorem(id);
+        if (name === undefined) {
+            throw new Error(`chain pipeline: manifest copy has no theorem for seed '${id}'`);
+        }
+        return name;
+    });
+}
+function emit(candidate) {
+    if (candidate.kind === 'confirmation' && candidate.catalogId !== undefined) {
+        return {
+            kind: 'confirmation',
+            catalogId: candidate.catalogId,
+            edgeIds: candidate.edgeIds,
+        };
+    }
+    if (candidate.kind === 'restatement' &&
+        candidate.canonicalId !== undefined &&
+        candidate.restatesBridge !== undefined) {
+        return {
+            kind: 'restatement',
+            canonicalId: candidate.canonicalId,
+            restatesBridge: candidate.restatesBridge,
+            edgeIds: candidate.edgeIds,
+        };
+    }
+    const id = candidate.id ?? `chain-${candidate.edgeIds.join('-')}`;
+    return {
+        kind: 'stub',
+        id,
+        edgeIds: candidate.edgeIds,
+        text: emitProofTarget({ ...candidate, id }, theoremsFor(candidate.edgeIds)),
+    };
+}
+/**
+ * Run the pipeline on `edges`.
+ *
+ * A manifest key whose derived kind is not `bridge` is not a premise.
+ * A chain the Buckingham filter drops is absent. A confirmation or a
+ * restatement is not sent to the regime gate. Any other mismatch is
+ * `rejected: regime mismatch` and is not a stub. The catalog array is
+ * not modified.
+ *
+ * @internal
+ */
+export function runChainPipeline(edges) {
+    const seedIds = new Set(bridgeSeedKeys());
+    const report = enumerateCompositions(edges, { seedIds });
+    const candidates = [];
+    const rejections = [];
+    for (const target of report.proofTargets) {
+        const filtered = buckinghamFilter({ name: target.second.target.name, dim: target.second.target.dim }, governingOf(target.expr, target.second.target.name));
+        if (filtered === undefined)
+            continue;
+        const classification = matchChain(target.expr, [target.first.id, target.second.id]);
+        if (classification.kind === 'confirmation' || classification.kind === 'restatement') {
+            candidates.push(toCandidate(classification, filtered));
+            continue;
+        }
+        const mismatch = joinRegimeMismatch(target.first, target.second);
+        if (mismatch !== undefined) {
+            rejections.push(mismatch);
+            continue;
+        }
+        candidates.push(toCandidate(classification, filtered));
+    }
+    const orderedRejections = [...rejections].sort((a, b) => compareChainEdgeIds(a.edgeIds, b.edgeIds));
+    return [...orderChainCandidates(candidates).map(emit), ...orderedRejections];
+}
+//# sourceMappingURL=chain-pipeline.js.map

package/dist/atlas/chain-pipeline.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"chain-pipeline.js","sourceRoot":"","sources":["../../src/atlas/chain-pipeline.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAIH,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,MAAM,sCAAsC,CAAC;AAEjE,OAAO,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AACpE,OAAO,EAAE,gBAAgB,EAAE,MAAM,qCAAqC,CAAC;AAEvE,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EACL,mBAAmB,EACnB,oBAAoB,GAErB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,kBAAkB,GAEnB,MAAM,gCAAgC,CAAC;AAExC,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAChE,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAgCpD,SAAS,aAAa,CAAC,IAAY;IACjC,OAAO,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAY;IAC3C,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IACnC,OAAO,UAAU,KAAK,SAAS,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,cAAc,CAAC,IAAc,EAAE,GAA2B;IACjE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;YAC7B,OAAO;QACT,KAAK,IAAI;YACP,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI;gBAAE,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACtD,OAAO;QACT,KAAK,UAAU;YACb,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC/B,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YACpC,OAAO;QACT,KAAK,YAAY;YACf,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YAC7B,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YAC9B,OAAO;QACT,KAAK,gBAAgB,CAAC;QACtB,KAAK,KAAK,CAAC;QACX,KAAK,aAAa;YAChB,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YAC9B,OAAO;QACT;YACE,OAAO;IACX,CAAC;AACH,CAAC;AAED,6EAA6E;AAC7E,SAAS,WAAW,CAAC,IAAc,EAAE,UAAkB;IACrD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC1C,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3B,MAAM,IAAI,GAAuC,EAAE,CAAC;IACpD,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;QAC/B,IAAI,IAAI,KAAK,UAAU;YAAE,SAAS;QAClC,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,uBAAuB,CAAC,IAAI,CAAC;YAAE,SAAS;QACnE,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAC3B,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,WAAW,CAClB,cAAmC,EACnC,MAA8B;IAE9B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,IAAI,SAAS,CAAC;IAC5C,MAAM,OAAO,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;IACzD,IAAI,cAAc,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QAC3C,OAAO;YACL,IAAI,EAAE,cAAc;YACpB,OAAO,EAAE,cAAc,CAAC,OAAO;YAC/B,SAAS,EAAE,cAAc,CAAC,SAAS;YACnC,GAAG,OAAO;SACX,CAAC;IACJ,CAAC;IACD,IAAI,cAAc,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAC1C,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,OAAO,EAAE,cAAc,CAAC,OAAO;YAC/B,WAAW,EAAE,cAAc,CAAC,WAAW;YACvC,cAAc,EAAE,cAAc,CAAC,cAAc;YAC7C,GAAG,OAAO;SACX,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,KAAK,kCAAkC;QAChE,CAAC,CAAC,iBAAiB;QACnB,CAAC,CAAC,eAAe,CAAC;IACpB,OAAO;QACL,IAAI;QACJ,OAAO,EAAE,cAAc,CAAC,OAAO;QAC/B,EAAE,EAAE,cAAc,CAAC,EAAE;QACrB,GAAG,OAAO;KACX,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,OAA0B;IAC7C,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE;QACxB,MAAM,IAAI,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,0DAA0D,EAAE,GAAG,CAAC,CAAC;QACnF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,IAAI,CAAC,SAAyB;IACrC,IAAI,SAAS,CAAC,IAAI,KAAK,cAAc,IAAI,SAAS,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QAC3E,OAAO;YACL,IAAI,EAAE,cAAc;YACpB,SAAS,EAAE,SAAS,CAAC,SAAS;YAC9B,OAAO,EAAE,SAAS,CAAC,OAAO;SAC3B,CAAC;IACJ,CAAC;IACD,IACE,SAAS,CAAC,IAAI,KAAK,aAAa;QAChC,SAAS,CAAC,WAAW,KAAK,SAAS;QACnC,SAAS,CAAC,cAAc,KAAK,SAAS,EACtC,CAAC;QACD,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,WAAW,EAAE,SAAS,CAAC,WAAW;YAClC,cAAc,EAAE,SAAS,CAAC,cAAc;YACxC,OAAO,EAAE,SAAS,CAAC,OAAO;SAC3B,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,GAAG,SAAS,CAAC,EAAE,IAAI,SAAS,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IAClE,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,EAAE;QACF,OAAO,EAAE,SAAS,CAAC,OAAO;QAC1B,IAAI,EAAE,eAAe,CAAC,EAAE,GAAG,SAAS,EAAE,EAAE,EAAE,EAAE,WAAW,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;KAC5E,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAA4B;IAC3D,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,cAAc,EAAE,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAG,qBAAqB,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;IACzD,MAAM,UAAU,GAAqB,EAAE,CAAC;IACxC,MAAM,UAAU,GAA0B,EAAE,CAAC;IAC7C,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;QACzC,MAAM,QAAQ,GAAG,gBAAgB,CAC/B,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,EAClE,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CACpD,CAAC;QACF,IAAI,QAAQ,KAAK,SAAS;YAAE,SAAS;QACrC,MAAM,cAAc,GAAG,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;QACpF,IAAI,cAAc,CAAC,IAAI,KAAK,cAAc,IAAI,cAAc,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACpF,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC,CAAC;YACvD,SAAS;QACX,CAAC;QACD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;QACjE,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC1B,SAAS;QACX,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC,CAAC;IACzD,CAAC;IACD,MAAM,iBAAiB,GAAG,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACtD,mBAAmB,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAC1C,CAAC;IACF,OAAO,CAAC,GAAG,oBAAoB,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,iBAAiB,CAAC,CAAC;AAC/E,CAAC"}

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

@@ -7,7 +7,7 @@
  * the file and this copy disagree on the commit, a theorem, a key, or the
  * coverage phrase.
  *
- * The commit is PhysJS `main` `dd35202920bf19c39f71f15d9ee740a6d28ec173`.
+ * The commit is PhysJS `main` `2e09357f9674bc60b60b378155a1623c27dc7b04`.
  * 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
@@ -20,9 +20,9 @@
  *
  * @module atlas/physjs-ref
  */
-import type { FormalRef } from './types.js';
+import type { FormalRef, FormalRefKind } from './types.js';
 /** PhysJS commit the vendored manifest records. @internal */
-export declare const PHYSJS_COMMIT = "dd35202920bf19c39f71f15d9ee740a6d28ec173";
+export declare const PHYSJS_COMMIT = "2e09357f9674bc60b60b378155a1623c27dc7b04";
 /** A second statement on the same entry. No key. Not a `formalRef`. */
 interface PhysjsNestedStatement {
     readonly theorem: string;
@@ -79,6 +79,35 @@ export interface PhysjsManifestFile {
     readonly physlib: string;
     readonly entries: readonly PhysjsEntry[];
 }
+/**
+ * Theorem name on the compiled manifest copy for `key`.
+ *
+ * This reads the compiled table. It does not build a formal reference
+ * and it does not derive an evidence tag.
+ *
+ * @internal
+ */
+export declare function physjsTheorem(key: string): string | undefined;
+/**
+ * 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.
+ *
+ * `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 bridgeSeedKeys(entries?: readonly {
+    readonly key: string;
+    readonly covers: string;
+    readonly kind?: FormalRefKind;
+}[]): readonly string[];
 /**
  * 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.

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,EAAiB,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;AAkoBD;;;;;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;;;;;;;;;;;;;;;;;;;;;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;AA8jBD;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAE7D;AAuED;;;;;;;;;;;;;;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,7 @@
  * the file and this copy disagree on the commit, a theorem, a key, or the
  * coverage phrase.
  *
- * The commit is PhysJS `main` `dd35202920bf19c39f71f15d9ee740a6d28ec173`.
+ * The commit is PhysJS `main` `2e09357f9674bc60b60b378155a1623c27dc7b04`.
  * 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
@@ -21,7 +21,7 @@
  * @module atlas/physjs-ref
  */
 /** PhysJS commit the vendored manifest records. @internal */
-export const PHYSJS_COMMIT = 'dd35202920bf19c39f71f15d9ee740a6d28ec173';
+export const PHYSJS_COMMIT = '2e09357f9674bc60b60b378155a1623c27dc7b04';
 /** Lean toolchain the vendored manifest records. */
 const PHYSJS_TOOLCHAIN = 'leanprover/lean4:v4.34.1';
 /** Mathlib pin the vendored manifest records. */
@@ -298,8 +298,8 @@ const PHYSJS_ENTRIES = [
     {
         key: 'be-16',
         bridgeId: 'be-16',
-        theorem: 'PhysJS.Landauer.equal_levels',
-        covers: 'property: equal two-state levels have thermodynamic entropy k_B log 2. At T ≠ 0, levels E and E+δ are not that value. At T = 0 the closed form does not separate the levels. Not E ≥ T ΔS, and not the Bérut confrontation',
+        theorem: 'PhysJS.Landauer.erasure_eq',
+        covers: 'derivation-step: for T > 0, the equal-level two-state ensemble has ⟨E⟩ − F = k_B T log 2. equal_levels remains the entropy k_B log 2. At T > 0, levels E and E+δ do not have that deficit. At T = 0 the Helmholtz closed form does not separate the levels. Not E ≥ T ΔS for an arbitrary protocol, and not the Bérut confrontation',
         coverage: PHYSJS_COVERAGE,
         leanProof: 'complete',
         axioms: PHYSJS_AXIOMS,
@@ -589,6 +589,17 @@ const PHYSJS_ENTRIES = [
     },
 ];
 const entryByKey = new Map(PHYSJS_ENTRIES.map((entry) => [entry.key, entry]));
+/**
+ * Theorem name on the compiled manifest copy for `key`.
+ *
+ * This reads the compiled table. It does not build a formal reference
+ * and it does not derive an evidence tag.
+ *
+ * @internal
+ */
+export function physjsTheorem(key) {
+    return entryByKey.get(key)?.theorem;
+}
 /** `formalRef.version` for the pinned manifest. */
 function physjsVersion() {
     return `physjs@${PHYSJS_COMMIT} ${PHYSJS_TOOLCHAIN} mathlib:${PHYSJS_MATHLIB} physlib@${PHYSJS_PHYS_LIB}`;
@@ -618,6 +629,7 @@ function physjsStatementUrl(theorem) {
  */
 const CATALOG_EQUATION_KEYS = new Set([
     'be-12',
+    'be-16',
     'be-21',
     'be-27',
     'be-33',
@@ -653,6 +665,30 @@ function formalRefKind(key, covers) {
     }
     return undefined;
 }
+/**
+ * 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.
+ *
+ * `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 function bridgeSeedKeys(entries = PHYSJS_ENTRIES) {
+    const keys = [];
+    for (const entry of entries) {
+        const kind = entry.kind ?? formalRefKind(entry.key, entry.covers);
+        if (kind === 'bridge')
+            keys.push(entry.key);
+    }
+    return keys;
+}
 /**
  * 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.

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,8BAA8B;QACvC,MAAM,EACJ,4NAA4N;QAC9N,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;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,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;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;;;;;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;;;;;;;;;;;;;;;;;;;;;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;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;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/atlas/proof-target.d.ts

@@ -0,0 +1,32 @@
+/**
+ * Lean statement skeleton for one chain candidate.
+ *
+ * The text names the theorem chain in the order the caller recorded,
+ * checked against the compiled manifest copy. It is a target. The proof
+ * body is absent. Nothing here is written into the catalog, the
+ * formal-reference overlay, or the vendored manifest.
+ *
+ * A units-only survivor carries a covers line that begins with
+ * `derivation-step:` and names the hypothesis the dimensional theorem
+ * leaves open. The import `PhysJS.Dimensional` is present when that
+ * filter named one of its theorems. `Dim` is fixed at `n = 7` in the
+ * base order `src/dimensional/types.ts` declares.
+ *
+ * @module atlas/proof-target
+ */
+import type { ChainCandidate } from '../composition/chain-candidate.js';
+/** Marker before the draft object the manifest checker can read. @internal */
+export declare const PROOF_TARGET_DRAFT_BEGIN = "PROOF-TARGET-DRAFT-BEGIN";
+/** Marker after the draft object. @internal */
+export declare const PROOF_TARGET_DRAFT_END = "PROOF-TARGET-DRAFT-END";
+/**
+ * Lean 4 statement skeleton and the theorem chain it would compose.
+ *
+ * `seedTheorems` is one PhysJS theorem name per seed step, in chain order.
+ * A name that disagrees with the compiled manifest copy is refused.
+ * The returned text is not written anywhere.
+ *
+ * @internal
+ */
+export declare function emitProofTarget(candidate: ChainCandidate, seedTheorems: readonly string[]): string;
+//# sourceMappingURL=proof-target.d.ts.map

package/dist/atlas/proof-target.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof-target.d.ts","sourceRoot":"","sources":["../../src/atlas/proof-target.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC;AAGxE,8EAA8E;AAC9E,eAAO,MAAM,wBAAwB,6BAA6B,CAAC;AAEnE,+CAA+C;AAC/C,eAAO,MAAM,sBAAsB,2BAA2B,CAAC;AA0F/D;;;;;;;;GAQG;AACH,wBAAgB,eAAe,CAC7B,SAAS,EAAE,cAAc,EACzB,YAAY,EAAE,SAAS,MAAM,EAAE,GAC9B,MAAM,CAyCR"}