universal-physics-tensor 0.7.2 → 0.14.0

package/dist/composition/catalog-graph.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog-graph.js","sourceRoot":"","sources":["../../src/composition/catalog-graph.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,EACL,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,sBAAsB,GACvB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,GACT,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAE7D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAA0B;IAClD,aAAa;IACb,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,aAAa;IACb,QAAQ;IACR,QAAQ;IACR,sBAAsB;IACtB,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,GAAG,kBAAkB;CACtB,CAAC"}

package/dist/composition/compose-surface.d.ts

@@ -0,0 +1,12 @@
+/**
+ * v0.11 surface barrel for the namespacing-gate symbols (keeps
+ * src/index.ts one-import-per-area while the implementations live in
+ * compose.ts / edge.ts / enumerate.ts).
+ *
+ * @module composition/compose-surface
+ */
+export { CompositionAliasError } from './edge.js';
+export { SOURCE_ALIAS_DISPOSITIONS } from './compose.js';
+export type { AliasDisposition } from './compose.js';
+export type { DispositionRequired } from './enumerate.js';
+//# sourceMappingURL=compose-surface.d.ts.map

package/dist/composition/compose-surface.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compose-surface.d.ts","sourceRoot":"","sources":["../../src/composition/compose-surface.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,qBAAqB,EAAE,MAAM,WAAW,CAAC;AAClD,OAAO,EAAE,yBAAyB,EAAE,MAAM,cAAc,CAAC;AACzD,YAAY,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AACrD,YAAY,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/composition/compose-surface.js

@@ -0,0 +1,10 @@
+/**
+ * v0.11 surface barrel for the namespacing-gate symbols (keeps
+ * src/index.ts one-import-per-area while the implementations live in
+ * compose.ts / edge.ts / enumerate.ts).
+ *
+ * @module composition/compose-surface
+ */
+export { CompositionAliasError } from './edge.js';
+export { SOURCE_ALIAS_DISPOSITIONS } from './compose.js';
+//# sourceMappingURL=compose-surface.js.map

package/dist/composition/compose-surface.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compose-surface.js","sourceRoot":"","sources":["../../src/composition/compose-surface.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,qBAAqB,EAAE,MAAM,WAAW,CAAC;AAClD,OAAO,EAAE,yBAAyB,EAAE,MAAM,cAAc,CAAC"}

package/dist/composition/compose-symbolic.d.ts

@@ -0,0 +1,75 @@
+/**
+ * Symbolic bridge composition (v0.12 — the Observable contract).
+ *
+ * Resolves the Part-IX §4 "Observable contract" deferral with a fourth
+ * option the spec did not enumerate: an OPTIONAL `symbolic` ExprNode on a
+ * bridge edge (leaves = source-quantity names + the `CONSTANTS` registry),
+ * composed by AST SUBSTITUTION. `composeSymbolic(first, second)` substitutes
+ * `first`'s symbolic form into the junction leaf of `second`'s, producing a
+ * new ExprNode that is dimensionally validated and numerically evaluable —
+ * not the black-box numeric closure `composeEdges` chains.
+ *
+ * Non-breaking (the field is optional), no per-pair adapters, and it retains
+ * dimensional type-safety. Edges without a `symbolic` form fall back to
+ * numeric `composeEdges` (unchanged).
+ *
+ * @module composition/compose-symbolic
+ */
+import type { ExprNode } from '../dimensional/validator.js';
+import type { Dimension } from '../dimensional/types.js';
+import type { BridgeEdge } from './edge.js';
+import type { QuantityIdentification } from './compose.js';
+/**
+ * A composed quantity carrying its SYMBOLIC form and an executable
+ * evaluator — the shared return contract Part-IX §4 said was missing.
+ *
+ * @public
+ */
+export interface Observable {
+    /** Target quantity name (from `second.target`). */
+    readonly name: string;
+    /** Display symbol. */
+    readonly symbol: string;
+    /** Dimensionally-validated SI dimension. */
+    readonly dim: Dimension;
+    /** The composed (substituted) AST. */
+    readonly expr: ExprNode;
+    /** Free leaf symbols = the required inputs (constants/literals excluded). */
+    readonly leaves: readonly string[];
+    /**
+     * Numerically evaluate the composed form. STRICT input (Eve EVE-1): every
+     * `leaves` key must be supplied and no extra key is accepted. PURE symbolic
+     * value — NOT domain-checked (unlike `composeEdges`, which throws
+     * `DomainViolationError`); use `composeEdges` for domain-checked values.
+     */
+    evaluate(values: Readonly<Record<string, number>>): number;
+}
+/** Symbolic composition is undefined (no junction / missing `symbolic` /
+ *  zero-occurrence substitution / dimensional mismatch). @public */
+export declare class SymbolicCompositionError extends Error {
+    constructor(message: string);
+}
+/** Options for {@link composeSymbolic}. @public */
+export interface ComposeSymbolicOptions {
+    /** Extra identifications consulted after the registered ones. */
+    readonly identifications?: readonly QuantityIdentification[];
+}
+/**
+ * Build an {@link Observable} from a composed/simplified expression: computes
+ * the free `leaves` and a STRICT `evaluate` closure over THIS `expr` + leaves.
+ * Shared by `composeSymbolic` and `simplifyObservable` so a simplified
+ * Observable gets a fresh closure (never the stale unsimplified one).
+ *
+ * @internal
+ */
+export declare function makeObservable(name: string, symbol: string, dim: Dimension, expr: ExprNode): Observable;
+/**
+ * Compose two bridges SYMBOLICALLY: substitute `first`'s `symbolic` form into
+ * the junction leaf of `second`'s, validate the composed AST's dimension, and
+ * return an {@link Observable}. Both operands must carry a `symbolic` form
+ * (else throws — fall back to `composeEdges` for numeric-only composition).
+ *
+ * @public
+ */
+export declare function composeSymbolic(first: BridgeEdge, second: BridgeEdge, opts?: ComposeSymbolicOptions): Observable;
+//# sourceMappingURL=compose-symbolic.d.ts.map

package/dist/composition/compose-symbolic.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compose-symbolic.d.ts","sourceRoot":"","sources":["../../src/composition/compose-symbolic.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAIH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAM3D;;;;;GAKG;AACH,MAAM,WAAW,UAAU;IACzB,mDAAmD;IACnD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,sBAAsB;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,4CAA4C;IAC5C,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,sCAAsC;IACtC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,6EAA6E;IAC7E,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC;;;;;OAKG;IACH,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC;CAC5D;AAED;oEACoE;AACpE,qBAAa,wBAAyB,SAAQ,KAAK;gBACrC,OAAO,EAAE,MAAM;CAI5B;AAED,mDAAmD;AACnD,MAAM,WAAW,sBAAsB;IACrC,iEAAiE;IACjE,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;CAC9D;AA6DD;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAC5B,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,EACd,GAAG,EAAE,SAAS,EACd,IAAI,EAAE,QAAQ,GACb,UAAU,CA4BZ;AAED;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,UAAU,EAClB,IAAI,GAAE,sBAA2B,GAChC,UAAU,CAmDZ"}

package/dist/composition/compose-symbolic.js

@@ -0,0 +1,157 @@
+/**
+ * Symbolic bridge composition (v0.12 — the Observable contract).
+ *
+ * Resolves the Part-IX §4 "Observable contract" deferral with a fourth
+ * option the spec did not enumerate: an OPTIONAL `symbolic` ExprNode on a
+ * bridge edge (leaves = source-quantity names + the `CONSTANTS` registry),
+ * composed by AST SUBSTITUTION. `composeSymbolic(first, second)` substitutes
+ * `first`'s symbolic form into the junction leaf of `second`'s, producing a
+ * new ExprNode that is dimensionally validated and numerically evaluable —
+ * not the black-box numeric closure `composeEdges` chains.
+ *
+ * Non-breaking (the field is optional), no per-pair adapters, and it retains
+ * dimensional type-safety. Edges without a `symbolic` form fall back to
+ * numeric `composeEdges` (unchanged).
+ *
+ * @module composition/compose-symbolic
+ */
+import { equals, format } from '../dimensional/algebra.js';
+import { validate } from '../dimensional/validator.js';
+import { QUANTITY_IDENTIFICATIONS } from './compose.js';
+import { substitute } from './expr-subst.js';
+import { evalExpr, SymbolicEvalError } from './expr-eval.js';
+import { CONSTANTS } from './symbolic-constants.js';
+/** Symbolic composition is undefined (no junction / missing `symbolic` /
+ *  zero-occurrence substitution / dimensional mismatch). @public */
+export class SymbolicCompositionError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'SymbolicCompositionError';
+    }
+}
+/** Find the junction source of `second` matching `first.target` (by name or
+ *  identification). Returns the source whose NAME is the substitution leaf —
+ *  `junction.name` is correct in BOTH the name-match and identification cases
+ *  (Eve EVE-4), avoiding the always-`ident.to` trap. */
+function findJunctionName(first, second, identifications) {
+    for (const src of second.sources) {
+        if (src.name === first.target.name)
+            return src.name;
+    }
+    for (const ident of identifications) {
+        if (ident.from !== first.target.name)
+            continue;
+        for (const src of second.sources) {
+            if (src.name === ident.to)
+                return src.name;
+        }
+    }
+    throw new SymbolicCompositionError(`Cannot symbolically compose ${first.id} -> ${second.id}: target ` +
+        `'${first.target.name}' matches none of [${second.sources
+            .map((s) => `'${s.name}'`)
+            .join(', ')}] by name or registered identification.`);
+}
+/** Collect the distinct leaf-symbol names of a scalar ExprNode. */
+function collectSymbols(expr, out) {
+    switch (expr.kind) {
+        case 'symbol':
+            out.add(expr.name);
+            return;
+        case 'op':
+            for (const a of expr.args)
+                collectSymbols(a, out);
+            return;
+        case 'integral':
+            collectSymbols(expr.over, out);
+            collectSymbols(expr.integrand, out);
+            return;
+        case 'derivative':
+            collectSymbols(expr.of, out);
+            collectSymbols(expr.wrt, out);
+            return;
+        default:
+            // Tensor arms cannot reach here (substitute would have thrown first).
+            return;
+    }
+}
+/** Free leaves = symbols that are neither registered constants nor numeric
+ *  literals (those are not inputs). */
+function freeLeaves(expr) {
+    const all = new Set();
+    collectSymbols(expr, all);
+    return [...all]
+        .filter((n) => !(n in CONSTANTS) && !Number.isFinite(Number(n)))
+        .sort();
+}
+/**
+ * Build an {@link Observable} from a composed/simplified expression: computes
+ * the free `leaves` and a STRICT `evaluate` closure over THIS `expr` + leaves.
+ * Shared by `composeSymbolic` and `simplifyObservable` so a simplified
+ * Observable gets a fresh closure (never the stale unsimplified one).
+ *
+ * @internal
+ */
+export function makeObservable(name, symbol, dim, expr) {
+    const leaves = freeLeaves(expr);
+    return {
+        name,
+        symbol,
+        dim,
+        expr,
+        leaves,
+        evaluate(values) {
+            for (const leaf of leaves) {
+                if (!Object.prototype.hasOwnProperty.call(values, leaf)) {
+                    throw new SymbolicEvalError(`Observable(${name}).evaluate: missing required input '${leaf}' ` +
+                        `(leaves: ${leaves.join(', ')}).`);
+                }
+            }
+            for (const key of Object.keys(values)) {
+                if (!leaves.includes(key)) {
+                    throw new SymbolicEvalError(`Observable(${name}).evaluate: unexpected input '${key}' (this ` +
+                        `Observable's inputs are exactly: ${leaves.join(', ') || '(none)'}).`);
+                }
+            }
+            return evalExpr(expr, values);
+        },
+    };
+}
+/**
+ * Compose two bridges SYMBOLICALLY: substitute `first`'s `symbolic` form into
+ * the junction leaf of `second`'s, validate the composed AST's dimension, and
+ * return an {@link Observable}. Both operands must carry a `symbolic` form
+ * (else throws — fall back to `composeEdges` for numeric-only composition).
+ *
+ * @public
+ */
+export function composeSymbolic(first, second, opts = {}) {
+    const identifications = [
+        ...QUANTITY_IDENTIFICATIONS,
+        ...(opts.identifications ?? []),
+    ];
+    if (!first.symbolic || !second.symbolic) {
+        const missing = !first.symbolic ? first.id : second.id;
+        throw new SymbolicCompositionError(`Cannot symbolically compose ${first.id} -> ${second.id}: edge ` +
+            `'${missing}' has no symbolic form (numeric-only edge — use ` +
+            `composeEdges).`);
+    }
+    const junctionName = findJunctionName(first, second, identifications);
+    const { expr, count } = substitute(second.symbolic, junctionName, first.symbolic);
+    if (count === 0) {
+        throw new SymbolicCompositionError(`Cannot symbolically compose ${first.id} -> ${second.id}: junction ` +
+            `'${junctionName}' does not appear as a leaf of ${second.id}'s ` +
+            `symbolic form — substitution would silently ignore ${first.id}.`);
+    }
+    const v = validate(expr);
+    if (!v.ok || v.inferredDimension === null) {
+        throw new SymbolicCompositionError(`Composed symbolic form of ${first.id} -> ${second.id} failed ` +
+            `dimensional validation: ${v.violations[0]?.note ?? 'not homogeneous'}.`);
+    }
+    if (!equals(v.inferredDimension, second.target.dim)) {
+        throw new SymbolicCompositionError(`Composed symbolic form of ${first.id} -> ${second.id} has dimension ` +
+            `${format(v.inferredDimension)} but ${second.target.name} is ` +
+            `${format(second.target.dim)}.`);
+    }
+    return makeObservable(second.target.name, second.target.symbol, second.target.dim, expr);
+}
+//# sourceMappingURL=compose-symbolic.js.map

package/dist/composition/compose-symbolic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compose-symbolic.js","sourceRoot":"","sources":["../../src/composition/compose-symbolic.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAKvD,OAAO,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAC7D,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AA4BpD;oEACoE;AACpE,MAAM,OAAO,wBAAyB,SAAQ,KAAK;IACjD,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,0BAA0B,CAAC;IACzC,CAAC;CACF;AAQD;;;wDAGwD;AACxD,SAAS,gBAAgB,CACvB,KAAiB,EACjB,MAAkB,EAClB,eAAkD;IAElD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC,IAAI;YAAE,OAAO,GAAG,CAAC,IAAI,CAAC;IACtD,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,eAAe,EAAE,CAAC;QACpC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC,IAAI;YAAE,SAAS;QAC/C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE;gBAAE,OAAO,GAAG,CAAC,IAAI,CAAC;QAC7C,CAAC;IACH,CAAC;IACD,MAAM,IAAI,wBAAwB,CAChC,+BAA+B,KAAK,CAAC,EAAE,OAAO,MAAM,CAAC,EAAE,WAAW;QAChE,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,sBAAsB,MAAM,CAAC,OAAO;aACtD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC;aACzB,IAAI,CAAC,IAAI,CAAC,yCAAyC,CACzD,CAAC;AACJ,CAAC;AAED,mEAAmE;AACnE,SAAS,cAAc,CAAC,IAAc,EAAE,GAAgB;IACtD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,OAAO;QACT,KAAK,IAAI;YACP,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI;gBAAE,cAAc,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAClD,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;YACE,sEAAsE;YACtE,OAAO;IACX,CAAC;AACH,CAAC;AAED;uCACuC;AACvC,SAAS,UAAU,CAAC,IAAc;IAChC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC1B,OAAO,CAAC,GAAG,GAAG,CAAC;SACZ,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;SAC/D,IAAI,EAAE,CAAC;AACZ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAC5B,IAAY,EACZ,MAAc,EACd,GAAc,EACd,IAAc;IAEd,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAChC,OAAO;QACL,IAAI;QACJ,MAAM;QACN,GAAG;QACH,IAAI;QACJ,MAAM;QACN,QAAQ,CAAC,MAAM;YACb,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;gBAC1B,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;oBACxD,MAAM,IAAI,iBAAiB,CACzB,cAAc,IAAI,uCAAuC,IAAI,IAAI;wBAC/D,YAAY,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CACpC,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBACtC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC1B,MAAM,IAAI,iBAAiB,CACzB,cAAc,IAAI,iCAAiC,GAAG,UAAU;wBAC9D,oCAAoC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,IAAI,CACxE,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,OAAO,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAChC,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAC7B,KAAiB,EACjB,MAAkB,EAClB,OAA+B,EAAE;IAEjC,MAAM,eAAe,GAAG;QACtB,GAAG,wBAAwB;QAC3B,GAAG,CAAC,IAAI,CAAC,eAAe,IAAI,EAAE,CAAC;KAChC,CAAC;IAEF,IAAI,CAAC,KAAK,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QACxC,MAAM,OAAO,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;QACvD,MAAM,IAAI,wBAAwB,CAChC,+BAA+B,KAAK,CAAC,EAAE,OAAO,MAAM,CAAC,EAAE,SAAS;YAC9D,IAAI,OAAO,kDAAkD;YAC7D,gBAAgB,CACnB,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,eAAe,CAAC,CAAC;IACtE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,UAAU,CAChC,MAAM,CAAC,QAAQ,EACf,YAAY,EACZ,KAAK,CAAC,QAAQ,CACf,CAAC;IAEF,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QAChB,MAAM,IAAI,wBAAwB,CAChC,+BAA+B,KAAK,CAAC,EAAE,OAAO,MAAM,CAAC,EAAE,aAAa;YAClE,IAAI,YAAY,kCAAkC,MAAM,CAAC,EAAE,KAAK;YAChE,sDAAsD,KAAK,CAAC,EAAE,GAAG,CACpE,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzB,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,iBAAiB,KAAK,IAAI,EAAE,CAAC;QAC1C,MAAM,IAAI,wBAAwB,CAChC,6BAA6B,KAAK,CAAC,EAAE,OAAO,MAAM,CAAC,EAAE,UAAU;YAC7D,2BAA2B,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,iBAAiB,GAAG,CAC3E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,wBAAwB,CAChC,6BAA6B,KAAK,CAAC,EAAE,OAAO,MAAM,CAAC,EAAE,iBAAiB;YACpE,GAAG,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,QAAQ,MAAM,CAAC,MAAM,CAAC,IAAI,MAAM;YAC9D,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAClC,CAAC;IACJ,CAAC;IAED,OAAO,cAAc,CACnB,MAAM,CAAC,MAAM,CAAC,IAAI,EAClB,MAAM,CAAC,MAAM,CAAC,MAAM,EACpB,MAAM,CAAC,MAAM,CAAC,GAAG,EACjB,IAAI,CACL,CAAC;AACJ,CAAC"}

package/dist/composition/compose.d.ts

@@ -0,0 +1,110 @@
+/**
+ * Composition graph — the composition operator (v0.8.0 T2/T4, per
+ * docs/planning/v0.8.0-Design.md §3 + r2 deltas).
+ *
+ * `composeEdges(first, second)` pipes `first`'s output quantity into a
+ * matching source of `second`, producing a NEW `BridgeEdge` (design
+ * D-2 — composition closes over the edge type, so chains nest
+ * arbitrarily). Defined iff:
+ *
+ *   1. `first.target` matches one of `second.sources` — by canonical
+ *      name, or via an explicit {@link QuantityIdentification} (the
+ *      reviewable physics judgments, e.g. "the Hawking temperature IS
+ *      the temperature in Landauer's bound");
+ *   2. the junction dimensions are EXACTLY equal (the dimension-functor
+ *      check — ℤ⁷ integer-vector equality via the dimensional
+ *      calculus's `equals`);
+ *   3. domains conjoin THROUGH the pipe (design D-5): the composed
+ *      domain checks `first`'s domain on the outer inputs and
+ *      `second`'s domain on the piped intermediate value. This
+ *      evaluates `first.evaluate` inside the predicate — acceptable
+ *      for scalar closed forms.
+ *
+ * Confidence demotes: `min(first, second)` on
+ * established > speculative > highly-speculative. Composition never
+ * launders credibility (improvement-plan confidence algebra).
+ *
+ * Operator is named `composeEdges` (NOT `compose`) — `compose` is the
+ * public v0.7 Cell factory in `src/core/cell.ts` (Adam A-1).
+ *
+ * @module composition/compose
+ */
+import type { BridgeEdge, EdgeConfidence } from './edge.js';
+/**
+ * A reviewable quantity-identification judgment: the assertion that
+ * the quantity named `from` (an edge's target) IS the quantity named
+ * `to` (another edge's source), with the physics rationale on record.
+ *
+ * @public
+ */
+export interface QuantityIdentification {
+    readonly from: string;
+    readonly to: string;
+    readonly rationale: string;
+    readonly citation?: string;
+}
+/**
+ * Registered identifications (v0.8.0 CT-1). Each entry is a physics
+ * judgment intended for review — see CONTRIBUTING.md.
+ *
+ * @public
+ */
+export declare const QUANTITY_IDENTIFICATIONS: readonly QuantityIdentification[];
+/**
+ * A recorded aliasing judgment for one duplicate source name in a
+ * composition (v0.11 Option D). `'shared'` = one input deliberately
+ * feeds both slots (e.g. ST-2: one M is both the lens and the r_s
+ * source). `renameSecond` = split the collision: the SECOND operand's
+ * quantity is renamed, and the composed evaluator remaps the renamed
+ * input key back to the operand's internal name (vet A-4 — without the
+ * remap the rename is a no-op).
+ *
+ * @public
+ */
+export interface AliasDisposition {
+    readonly name: string;
+    readonly treatAs: 'shared' | {
+        readonly renameSecond: string;
+    };
+    readonly rationale: string;
+    readonly citation?: string;
+}
+/**
+ * Registered alias dispositions, keyed by composed id
+ * (`first.id>>second.id`) — judgments live in reviewable registry
+ * data, mirroring {@link QUANTITY_IDENTIFICATIONS} (vet A-6.2).
+ *
+ * @public
+ */
+export declare const SOURCE_ALIAS_DISPOSITIONS: Readonly<Record<string, readonly AliasDisposition[]>>;
+/**
+ * Confidence demotion: the min of the two grades on the ordering
+ * established > speculative > highly-speculative.
+ *
+ * @public
+ */
+export declare function minConfidence(a: EdgeConfidence, b: EdgeConfidence): EdgeConfidence;
+/** Options for {@link composeEdges}. @public */
+export interface ComposeOptions {
+    /** Extra identifications, consulted after the registered ones. */
+    readonly identifications?: readonly QuantityIdentification[];
+    /**
+     * Alias dispositions for duplicate source names (v0.11 Option D);
+     * consulted after {@link SOURCE_ALIAS_DISPOSITIONS} entries for the
+     * composed id.
+     */
+    readonly aliases?: readonly AliasDisposition[];
+}
+/**
+ * Compose two edges into a new edge (sequential composition through a
+ * shared quantity). See module docs for the definedness conditions.
+ *
+ * The composed edge's `sources` are `first.sources` followed by
+ * `second`'s remaining (non-junction) sources; `kind` is `'law'` only
+ * when both operands are laws; `beId` is null (a derived relation has
+ * no single catalog row).
+ *
+ * @public
+ */
+export declare function composeEdges(first: BridgeEdge, second: BridgeEdge, opts?: ComposeOptions): BridgeEdge;
+//# sourceMappingURL=compose.d.ts.map

package/dist/composition/compose.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compose.d.ts","sourceRoot":"","sources":["../../src/composition/compose.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAGH,OAAO,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAS5D;;;;;;GAMG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;GAKG;AACH,eAAO,MAAM,wBAAwB,EAAE,SAAS,sBAAsB,EAYrE,CAAC;AAGF;;;;;;;;;;GAUG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,QAAQ,GAAG;QAAE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC;IAC/D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;;GAMG;AACH,eAAO,MAAM,yBAAyB,EAAE,QAAQ,CAC9C,MAAM,CAAC,MAAM,EAAE,SAAS,gBAAgB,EAAE,CAAC,CAe5C,CAAC;AAQF;;;;;GAKG;AACH,wBAAgB,aAAa,CAC3B,CAAC,EAAE,cAAc,EACjB,CAAC,EAAE,cAAc,GAChB,cAAc,CAEhB;AAED,gDAAgD;AAChD,MAAM,WAAW,cAAc;IAC7B,kEAAkE;IAClE,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC7D;;;;OAIG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;CAChD;AA4BD;;;;;;;;;;GAUG;AACH,wBAAgB,YAAY,CAC1B,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,UAAU,EAClB,IAAI,GAAE,cAAmB,GACxB,UAAU,CA6IZ"}

package/dist/composition/compose.js

@@ -0,0 +1,231 @@
+/**
+ * Composition graph — the composition operator (v0.8.0 T2/T4, per
+ * docs/planning/v0.8.0-Design.md §3 + r2 deltas).
+ *
+ * `composeEdges(first, second)` pipes `first`'s output quantity into a
+ * matching source of `second`, producing a NEW `BridgeEdge` (design
+ * D-2 — composition closes over the edge type, so chains nest
+ * arbitrarily). Defined iff:
+ *
+ *   1. `first.target` matches one of `second.sources` — by canonical
+ *      name, or via an explicit {@link QuantityIdentification} (the
+ *      reviewable physics judgments, e.g. "the Hawking temperature IS
+ *      the temperature in Landauer's bound");
+ *   2. the junction dimensions are EXACTLY equal (the dimension-functor
+ *      check — ℤ⁷ integer-vector equality via the dimensional
+ *      calculus's `equals`);
+ *   3. domains conjoin THROUGH the pipe (design D-5): the composed
+ *      domain checks `first`'s domain on the outer inputs and
+ *      `second`'s domain on the piped intermediate value. This
+ *      evaluates `first.evaluate` inside the predicate — acceptable
+ *      for scalar closed forms.
+ *
+ * Confidence demotes: `min(first, second)` on
+ * established > speculative > highly-speculative. Composition never
+ * launders credibility (improvement-plan confidence algebra).
+ *
+ * Operator is named `composeEdges` (NOT `compose`) — `compose` is the
+ * public v0.7 Cell factory in `src/core/cell.ts` (Adam A-1).
+ *
+ * @module composition/compose
+ */
+import { equals, format } from '../dimensional/algebra.js';
+import { CompositionAliasError, CompositionDimensionError, CompositionJunctionError, DomainViolationError, } from './edge.js';
+/**
+ * Registered identifications (v0.8.0 CT-1). Each entry is a physics
+ * judgment intended for review — see CONTRIBUTING.md.
+ *
+ * @public
+ */
+export const QUANTITY_IDENTIFICATIONS = [
+    {
+        from: 'hawking-temperature',
+        to: 'temperature',
+        rationale: 'The Hawking temperature of a black-hole horizon is a genuine ' +
+            'thermodynamic temperature — the temperature appearing in ' +
+            "Landauer's bound for erasure at the horizon. This is the " +
+            'standard identification underlying black-hole thermodynamics ' +
+            '(the horizon radiates as a black body at T_H).',
+        citation: 'Hawking 1975 CMP 43:199; Bekenstein 1973 PRD 7:2333',
+    },
+];
+/**
+ * Registered alias dispositions, keyed by composed id
+ * (`first.id>>second.id`) — judgments live in reviewable registry
+ * data, mirroring {@link QUANTITY_IDENTIFICATIONS} (vet A-6.2).
+ *
+ * @public
+ */
+export const SOURCE_ALIAS_DISPOSITIONS = {
+    // ST-2 (stress test, pre-registered v0.10.0 plan §T2): the photon
+    // grazes AT r_s of the SAME mass that bends it — one M is both the
+    // lensing mass and the r_s source. Deliberate, physical sharing.
+    'law-schwarzschild-radius>>be-51': [
+        {
+            name: 'mass',
+            treatAs: 'shared',
+            rationale: 'One gravitating mass M is simultaneously the lens (BE-51) and ' +
+                'the source of the Schwarzschild radius the photon grazes — ' +
+                'the sharing IS the stress-test physics (ST-2).',
+        },
+    ],
+};
+const CONFIDENCE_RANK = {
+    established: 2,
+    speculative: 1,
+    'highly-speculative': 0,
+};
+/**
+ * Confidence demotion: the min of the two grades on the ordering
+ * established > speculative > highly-speculative.
+ *
+ * @public
+ */
+export function minConfidence(a, b) {
+    return CONFIDENCE_RANK[a] <= CONFIDENCE_RANK[b] ? a : b;
+}
+function findJunction(first, second, identifications) {
+    for (const src of second.sources) {
+        if (src.name === first.target.name) {
+            return { junction: src, viaIdentification: null };
+        }
+    }
+    for (const ident of identifications) {
+        if (ident.from !== first.target.name)
+            continue;
+        for (const src of second.sources) {
+            if (src.name === ident.to) {
+                return { junction: src, viaIdentification: ident };
+            }
+        }
+    }
+    throw new CompositionJunctionError(`Cannot compose ${first.id} -> ${second.id}: target quantity ` +
+        `'${first.target.name}' matches none of [${second.sources
+            .map((s) => `'${s.name}'`)
+            .join(', ')}] by name or registered identification`);
+}
+/**
+ * Compose two edges into a new edge (sequential composition through a
+ * shared quantity). See module docs for the definedness conditions.
+ *
+ * The composed edge's `sources` are `first.sources` followed by
+ * `second`'s remaining (non-junction) sources; `kind` is `'law'` only
+ * when both operands are laws; `beId` is null (a derived relation has
+ * no single catalog row).
+ *
+ * @public
+ */
+export function composeEdges(first, second, opts = {}) {
+    const identifications = [
+        ...QUANTITY_IDENTIFICATIONS,
+        ...(opts.identifications ?? []),
+    ];
+    const { junction, viaIdentification } = findJunction(first, second, identifications);
+    if (!equals(first.target.dim, junction.dim)) {
+        throw new CompositionDimensionError(`Cannot compose ${first.id} -> ${second.id}: junction dimension ` +
+            `mismatch — ${first.target.name} is ${format(first.target.dim)} ` +
+            `but ${junction.name} is ${format(junction.dim)}`);
+    }
+    const remainingSources = second.sources.filter((s) => s !== junction);
+    // v0.11 Option D (namespacing gate): pure name-collision rule across
+    // operands. Intra-operand duplicates (e.g. ['mass','mass'] inherited
+    // from a prior 'shared' disposition) are exempt by construction —
+    // only names present in BOTH first.sources and second's remaining
+    // sources are collisions, and each needs a recorded disposition.
+    const firstNames = new Set(first.sources.map((s) => s.name));
+    const collisionNames = [
+        ...new Set(remainingSources
+            .filter((s) => firstNames.has(s.name))
+            .map((s) => s.name)),
+    ];
+    const composedId = `${first.id}>>${second.id}`;
+    const dispositions = [
+        ...(SOURCE_ALIAS_DISPOSITIONS[composedId] ?? []),
+        ...(opts.aliases ?? []),
+    ];
+    const renameMap = {}; // renamed key -> operand-internal name
+    const dispositionsUsed = [];
+    let finalRemaining = [...remainingSources];
+    for (const name of collisionNames) {
+        const d = dispositions.find((x) => x.name === name);
+        if (!d) {
+            throw new CompositionAliasError(`Cannot compose ${composedId}: source quantity '${name}' appears ` +
+                `in BOTH operands (first: [${[...firstNames].join(', ')}]; ` +
+                `second remaining: [${remainingSources
+                    .map((s) => s.name)
+                    .join(', ')}]). Same name does not imply same physical ` +
+                `quantity — record an AliasDisposition ('shared' or ` +
+                `{renameSecond}) in SOURCE_ALIAS_DISPOSITIONS or opts.aliases.`);
+        }
+        dispositionsUsed.push(d);
+        if (d.treatAs === 'shared')
+            continue; // one input key feeds both slots
+        const renamed = d.treatAs.renameSecond;
+        if (firstNames.has(renamed) ||
+            second.sources.some((s) => s.name === renamed)) {
+            throw new CompositionAliasError(`Cannot compose ${composedId}: renameSecond target '${renamed}' ` +
+                `collides with an existing source name of an operand (vet A-4).`);
+        }
+        finalRemaining = finalRemaining.map((s) => s.name === name ? { ...s, name: renamed, symbol: s.symbol } : s);
+        renameMap[renamed] = name;
+    }
+    /** Build the second operand's input map: remap renamed keys back to
+     *  the operand-internal names (shadowing the first operand's value
+     *  for that name — vet A-4's required remap), then pipe the junction. */
+    const buildSecondInputs = (inputs, intermediate) => {
+        const si = { ...inputs };
+        for (const [renamed, original] of Object.entries(renameMap)) {
+            si[original] = inputs[renamed];
+            delete si[renamed];
+        }
+        si[junction.name] = intermediate;
+        return si;
+    };
+    const composedDomain = {
+        description: `(${first.domain.description}) AND, on the piped ` +
+            `${junction.name}, (${second.domain.description})`,
+        // Standalone domain queries evaluate `first` to obtain the piped
+        // intermediate (design D-5; acceptable for scalar closed forms).
+        // The composed `evaluate` below does NOT call this predicate — it
+        // computes the intermediate once and checks both domains inline
+        // (v0.8.0 punch-list: removed the double evaluation of `first`).
+        predicate: (inputs) => {
+            if (!first.domain.predicate(inputs))
+                return false;
+            const intermediate = first.evaluate(inputs);
+            return second.domain.predicate(buildSecondInputs(inputs, intermediate));
+        },
+    };
+    const id = `${first.id}>>${second.id}`;
+    return {
+        id,
+        beId: null,
+        kind: first.kind === 'law' && second.kind === 'law' ? 'law' : 'bridge',
+        label: `${first.label} ∘ ${second.label}`,
+        sources: [...first.sources, ...finalRemaining],
+        target: second.target,
+        confidence: minConfidence(first.confidence, second.confidence),
+        domain: composedDomain,
+        evaluate: (inputs) => {
+            if (!first.domain.predicate(inputs)) {
+                throw new DomainViolationError(`${id}: inputs violate composed validity domain ` +
+                    `(${composedDomain.description})`);
+            }
+            const intermediate = first.evaluate(inputs);
+            const pipedInputs = buildSecondInputs(inputs, intermediate);
+            if (!second.domain.predicate(pipedInputs)) {
+                throw new DomainViolationError(`${id}: inputs violate composed validity domain ` +
+                    `(${composedDomain.description})`);
+            }
+            return second.evaluate(pipedInputs);
+        },
+        citation: `${first.citation} | ${second.citation}`,
+        ...(viaIdentification !== null
+            ? { identificationUsed: viaIdentification }
+            : {}),
+        ...(dispositionsUsed.length > 0
+            ? { aliasDispositionsUsed: dispositionsUsed }
+            : {}),
+    };
+}
+//# sourceMappingURL=compose.js.map

package/dist/composition/compose.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compose.js","sourceRoot":"","sources":["../../src/composition/compose.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAG3D,OAAO,EACL,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EACxB,oBAAoB,GACrB,MAAM,WAAW,CAAC;AAgBnB;;;;;GAKG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAsC;IACzE;QACE,IAAI,EAAE,qBAAqB;QAC3B,EAAE,EAAE,aAAa;QACjB,SAAS,EACP,+DAA+D;YAC/D,2DAA2D;YAC3D,2DAA2D;YAC3D,+DAA+D;YAC/D,gDAAgD;QAClD,QAAQ,EAAE,qDAAqD;KAChE;CACF,CAAC;AAqBF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAElC;IACF,kEAAkE;IAClE,mEAAmE;IACnE,iEAAiE;IACjE,iCAAiC,EAAE;QACjC;YACE,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,QAAQ;YACjB,SAAS,EACP,gEAAgE;gBAChE,6DAA6D;gBAC7D,gDAAgD;SACnD;KACF;CACF,CAAC;AAEF,MAAM,eAAe,GAAmC;IACtD,WAAW,EAAE,CAAC;IACd,WAAW,EAAE,CAAC;IACd,oBAAoB,EAAE,CAAC;CACxB,CAAC;AAEF;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAC3B,CAAiB,EACjB,CAAiB;IAEjB,OAAO,eAAe,CAAC,CAAC,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1D,CAAC;AAcD,SAAS,YAAY,CACnB,KAAiB,EACjB,MAAkB,EAClB,eAAkD;IAElD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YACnC,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC;QACpD,CAAC;IACH,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,eAAe,EAAE,CAAC;QACpC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC,IAAI;YAAE,SAAS;QAC/C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,EAAE,CAAC;gBAC1B,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC;YACrD,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,IAAI,wBAAwB,CAChC,kBAAkB,KAAK,CAAC,EAAE,OAAO,MAAM,CAAC,EAAE,oBAAoB;QAC5D,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,sBAAsB,MAAM,CAAC,OAAO;aACtD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC;aACzB,IAAI,CAAC,IAAI,CAAC,wCAAwC,CACxD,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,YAAY,CAC1B,KAAiB,EACjB,MAAkB,EAClB,OAAuB,EAAE;IAEzB,MAAM,eAAe,GAAG;QACtB,GAAG,wBAAwB;QAC3B,GAAG,CAAC,IAAI,CAAC,eAAe,IAAI,EAAE,CAAC;KAChC,CAAC;IACF,MAAM,EAAE,QAAQ,EAAE,iBAAiB,EAAE,GAAG,YAAY,CAClD,KAAK,EACL,MAAM,EACN,eAAe,CAChB,CAAC;IAEF,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,yBAAyB,CACjC,kBAAkB,KAAK,CAAC,EAAE,OAAO,MAAM,CAAC,EAAE,uBAAuB;YAC/D,cAAc,KAAK,CAAC,MAAM,CAAC,IAAI,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG;YACjE,OAAO,QAAQ,CAAC,IAAI,OAAO,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CACpD,CAAC;IACJ,CAAC;IAED,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC;IAEtE,qEAAqE;IACrE,qEAAqE;IACrE,kEAAkE;IAClE,kEAAkE;IAClE,iEAAiE;IACjE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7D,MAAM,cAAc,GAAG;QACrB,GAAG,IAAI,GAAG,CACR,gBAAgB;aACb,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;aACrC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACtB;KACF,CAAC;IACF,MAAM,UAAU,GAAG,GAAG,KAAK,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC;IAC/C,MAAM,YAAY,GAAuB;QACvC,GAAG,CAAC,yBAAyB,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;QAChD,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC;KACxB,CAAC;IACF,MAAM,SAAS,GAA2B,EAAE,CAAC,CAAC,uCAAuC;IACrF,MAAM,gBAAgB,GAAuB,EAAE,CAAC;IAChD,IAAI,cAAc,GAAe,CAAC,GAAG,gBAAgB,CAAC,CAAC;IACvD,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QACpD,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,MAAM,IAAI,qBAAqB,CAC7B,kBAAkB,UAAU,sBAAsB,IAAI,YAAY;gBAChE,6BAA6B,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;gBAC5D,sBAAsB,gBAAgB;qBACnC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;qBAClB,IAAI,CAAC,IAAI,CAAC,6CAA6C;gBAC1D,qDAAqD;gBACrD,+DAA+D,CAClE,CAAC;QACJ,CAAC;QACD,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,CAAC,CAAC,OAAO,KAAK,QAAQ;YAAE,SAAS,CAAC,iCAAiC;QACvE,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC;QACvC,IACE,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC;YACvB,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,EAC9C,CAAC;YACD,MAAM,IAAI,qBAAqB,CAC7B,kBAAkB,UAAU,0BAA0B,OAAO,IAAI;gBAC/D,gEAAgE,CACnE,CAAC;QACJ,CAAC;QACD,cAAc,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACxC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAChE,CAAC;QACF,SAAS,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC;IAC5B,CAAC;IAED;;6EAEyE;IACzE,MAAM,iBAAiB,GAAG,CACxB,MAA8B,EAC9B,YAAoB,EACI,EAAE;QAC1B,MAAM,EAAE,GAA2B,EAAE,GAAG,MAAM,EAAE,CAAC;QACjD,KAAK,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YAC5D,EAAE,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;YAC/B,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC;QACrB,CAAC;QACD,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC;QACjC,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC;IAEF,MAAM,cAAc,GAAG;QACrB,WAAW,EACT,IAAI,KAAK,CAAC,MAAM,CAAC,WAAW,sBAAsB;YAClD,GAAG,QAAQ,CAAC,IAAI,MAAM,MAAM,CAAC,MAAM,CAAC,WAAW,GAAG;QACpD,iEAAiE;QACjE,iEAAiE;QACjE,kEAAkE;QAClE,gEAAgE;QAChE,iEAAiE;QACjE,SAAS,EAAE,CAAC,MAA8B,EAAW,EAAE;YACrD,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;gBAAE,OAAO,KAAK,CAAC;YAClD,MAAM,YAAY,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAC5C,OAAO,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,iBAAiB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC;QAC1E,CAAC;KACF,CAAC;IAEF,MAAM,EAAE,GAAG,GAAG,KAAK,CAAC,EAAE,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC;IAEvC,OAAO;QACL,EAAE;QACF,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ;QACtE,KAAK,EAAE,GAAG,KAAK,CAAC,KAAK,MAAM,MAAM,CAAC,KAAK,EAAE;QACzC,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,GAAG,cAAc,CAAC;QAC9C,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,UAAU,EAAE,aAAa,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC;QAC9D,MAAM,EAAE,cAAc;QACtB,QAAQ,EAAE,CAAC,MAAM,EAAE,EAAE;YACnB,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;gBACpC,MAAM,IAAI,oBAAoB,CAC5B,GAAG,EAAE,4CAA4C;oBAC/C,IAAI,cAAc,CAAC,WAAW,GAAG,CACpC,CAAC;YACJ,CAAC;YACD,MAAM,YAAY,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAC5C,MAAM,WAAW,GAAG,iBAAiB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;YAC5D,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC1C,MAAM,IAAI,oBAAoB,CAC5B,GAAG,EAAE,4CAA4C;oBAC/C,IAAI,cAAc,CAAC,WAAW,GAAG,CACpC,CAAC;YACJ,CAAC;YACD,OAAO,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACtC,CAAC;QACD,QAAQ,EAAE,GAAG,KAAK,CAAC,QAAQ,MAAM,MAAM,CAAC,QAAQ,EAAE;QAClD,GAAG,CAAC,iBAAiB,KAAK,IAAI;YAC5B,CAAC,CAAC,EAAE,kBAAkB,EAAE,iBAAiB,EAAE;YAC3C,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC;YAC7B,CAAC,CAAC,EAAE,qBAAqB,EAAE,gBAAgB,EAAE;YAC7C,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;AACJ,CAAC"}