universal-physics-tensor 0.22.0 → 0.24.0

package/dist/composition/proposed-bridges.js

@@ -0,0 +1,499 @@
+/**
+ * Identity-consequence surfacer — turns a `promising` discovery identification
+ * into the ONE algebraic relation it implies, as an UNADJUDICATED proposal.
+ *
+ * When the discovery funnel flags `a ≟ b` (two canonical quantities of equal
+ * dimension), and `a`, `b` are the TARGETS of two canonical equations `Eₐ`, `E_b`,
+ * the hypothesised identity `a ≡ b` makes their right-hand sides equal:
+ *
+ *     Eₐ.scalarAst  =  E_b.scalarAst
+ *
+ * Eliminating (isolating) one free variable yields a relation among the union of
+ * the two governing sets — e.g. Landauer `k_B T ln2` ≟ Planck–Einstein `h ν`
+ * gives `ν = (k_B ln2 / h) · T`, the "Landauer photon".
+ *
+ * CRITICAL — this is NOT new physics and NOT a bridge. It is the algebraic
+ * consequence of an UNADJUDICATED identification, surfaced for a physicist to
+ * judge (Part-VI §XXVII-B: the enumerator proposes, humans dispose). Every
+ * emitted record carries `status: 'unadjudicated'` — a literal that is NOT a
+ * member of `BridgeEquationStatus`, so a proposal can never be assigned where a
+ * catalog entry is expected. The generator NEVER writes `BRIDGE_EQUATIONS` and a
+ * proposal is NEVER added to `CANONICAL_GRAPH` (no coincidence-amplifying loop).
+ *
+ * Scope (v0.24.0 pilot): canonical-only `promising` candidates whose BOTH source
+ * equations (a) have a non-null `dimensional.monomial` (determinate) and (b) are
+ * `epistemicStatus: 'fully-quantitative'` (so the eliminated prefactor is a
+ * closed numeric constant, not an operator-valued stub — this gates out
+ * `CE-jarzynski`). See `docs/planning/v0.24.0-{Design,Review-Findings}.md`.
+ *
+ * INTERNAL tooling — deliberately NOT re-exported from `src/index.ts`.
+ *
+ * @module composition/proposed-bridges
+ */
+import { validate } from '../dimensional/validator.js';
+import { DIMENSIONLESS } from '../dimensional/types.js';
+import { equals, format } from '../dimensional/algebra.js';
+import { canonicalByTarget, canonicalById } from '../canonical/registry.js';
+import { BRIDGE_EQUATIONS } from '../bridges/index.js';
+import { normalForm } from '../canonical/normal-form.js';
+import { CONSTANTS } from './symbolic-constants.js';
+import { evalExpr } from './expr-eval.js';
+import { rankDiscoveries } from './discovery.js';
+import { CANONICAL_GRAPH } from './canonical-graph.js';
+import { CATALOG_GRAPH } from './catalog-graph.js';
+/** Thrown when an AST is not a product / quotient / integer-power of symbols. */
+export class NotAMonomialError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'NotAMonomialError';
+    }
+}
+function mergeInto(into, from, scale) {
+    for (const [name, { dim, exp }] of from) {
+        const cur = into.get(name);
+        if (cur === undefined) {
+            into.set(name, { dim, exp: exp * scale });
+        }
+        else {
+            if (!equals(cur.dim, dim)) {
+                throw new NotAMonomialError(`leaf '${name}' appears with inconsistent dimensions`);
+            }
+            cur.exp += exp * scale;
+        }
+    }
+}
+/**
+ * Decompose a flat-monomial `ExprNode` into a leaf→exponent map. Throws
+ * `NotAMonomialError` on sums, differences, or non-symbol bases — this is the
+ * AST-level monomial gate.
+ */
+export function toMonomial(ast) {
+    const out = new Map();
+    switch (ast.kind) {
+        case 'symbol':
+            out.set(ast.name, { dim: ast.dim, exp: 1 });
+            return out;
+        case 'op':
+            switch (ast.op) {
+                case '*':
+                    for (const a of ast.args)
+                        mergeInto(out, toMonomial(a), 1);
+                    return out;
+                case '/': {
+                    const [num, ...dens] = ast.args;
+                    mergeInto(out, toMonomial(num), 1);
+                    for (const d of dens)
+                        mergeInto(out, toMonomial(d), -1);
+                    return out;
+                }
+                case '^': {
+                    const [base, expNode] = ast.args;
+                    if (expNode.kind !== 'symbol') {
+                        throw new NotAMonomialError('non-literal exponent');
+                    }
+                    const n = Number(expNode.name);
+                    if (!Number.isFinite(n)) {
+                        throw new NotAMonomialError(`non-numeric exponent '${expNode.name}'`);
+                    }
+                    mergeInto(out, toMonomial(base), n);
+                    return out;
+                }
+                default:
+                    throw new NotAMonomialError(`operator '${ast.op}' is not monomial`);
+            }
+        default:
+            throw new NotAMonomialError(`node kind '${ast.kind}' is not monomial`);
+    }
+}
+function sym(name, dim) {
+    return { kind: 'symbol', name, dim };
+}
+/** Rebuild a flat-monomial `ExprNode` from a leaf→exponent map (numerator =
+ *  positive exponents, denominator = negative). Zero exponents drop out. */
+export function fromMonomial(m) {
+    const factor = (name, dim, e) => e === 1
+        ? sym(name, dim)
+        : { kind: 'op', op: '^', args: [sym(name, dim), sym(String(e), DIMENSIONLESS)] };
+    const num = [];
+    const den = [];
+    for (const [name, { dim, exp }] of [...m].sort((a, b) => a[0].localeCompare(b[0]))) {
+        if (exp === 0)
+            continue;
+        if (exp > 0)
+            num.push(factor(name, dim, exp));
+        else
+            den.push(factor(name, dim, -exp));
+    }
+    const product = (xs) => xs.length === 1 ? xs[0] : { kind: 'op', op: '*', args: xs };
+    const numerator = num.length === 0 ? sym('1', DIMENSIONLESS) : product(num);
+    if (den.length === 0)
+        return numerator;
+    return { kind: 'op', op: '/', args: [numerator, product(den)] };
+}
+const isConstant = (name) => Object.prototype.hasOwnProperty.call(CONSTANTS, name);
+/** The single non-constant leaf of a monomial, or null if 0 or >1. */
+function uniqueNonConstantLeaf(m) {
+    const free = [...m].filter(([name]) => !isConstant(name));
+    if (free.length !== 1)
+        return null;
+    const [name, { dim, exp }] = free[0];
+    return { name, dim, exp };
+}
+function latexFromMono(m) {
+    const num = [];
+    const den = [];
+    for (const [name, { exp }] of [...m].sort((a, b) => a[0].localeCompare(b[0]))) {
+        if (exp === 0)
+            continue;
+        const tok = Math.abs(exp) === 1 ? name : `${name}^{${Math.abs(exp)}}`;
+        (exp > 0 ? num : den).push(tok);
+    }
+    const n = num.join(' \\cdot ') || '1';
+    return den.length ? `\\frac{${n}}{${den.join(' \\cdot ')}}` : n;
+}
+// ── leaf-name canonicalization ──────────────────────────────────────────────
+// A canonical equation's `scalarAst` uses private symbols (`T`) while its
+// `dimensional.governing` and the whole composition graph (and bridge `symbolic`
+// forms) use quantity names (`temperature`). Aligning the AST leaves to the
+// governing names lets a derivation from a canonical equation and one from a
+// bridge edge of the SAME physics collapse under `dedupByNormalForm`.
+function collectLeafDims(ast, into) {
+    if (ast.kind === 'symbol') {
+        if (!into.has(ast.name))
+            into.set(ast.name, ast.dim);
+    }
+    else if (ast.kind === 'op') {
+        for (const a of ast.args)
+            collectLeafDims(a, into);
+    }
+}
+/** Map each non-constant `scalarAst` leaf to the governing quantity of equal
+ *  dimension, when that match is unique (else leave it — never guess). */
+function leafCanonMap(scalarAst, governing) {
+    const leaves = new Map();
+    collectLeafDims(scalarAst, leaves);
+    const govFree = governing.filter((g) => !isConstant(g.name));
+    const map = new Map();
+    for (const [leaf, dim] of leaves) {
+        if (isConstant(leaf) || Number.isFinite(Number(leaf)))
+            continue;
+        if (govFree.some((g) => g.name === leaf))
+            continue; // already a graph name
+        const matches = govFree.filter((g) => equals(g.dim, dim));
+        if (matches.length === 1)
+            map.set(leaf, matches[0].name);
+    }
+    return map;
+}
+function renameLeaves(ast, map) {
+    if (map.size === 0)
+        return ast;
+    if (ast.kind === 'symbol') {
+        const r = map.get(ast.name);
+        return r ? { ...ast, name: r } : ast;
+    }
+    if (ast.kind === 'op') {
+        return { ...ast, args: ast.args.map((a) => renameLeaves(a, map)) };
+    }
+    return ast;
+}
+/** True if the monomial carries a dimensionless leaf that is neither a known
+ *  constant, a numeric literal, NOR a declared input quantity — i.e. an
+ *  operator-valued STUB (e.g. Jarzynski's `ln_avg_exp_minus_betaW`), not a clean
+ *  dimensionless INPUT like a coupling constant (BE-18's `yukawa-coupling`). */
+function hasNonConstantStub(m, inputs) {
+    for (const [name, { dim }] of m) {
+        if (equals(dim, DIMENSIONLESS) &&
+            !isConstant(name) &&
+            !Number.isFinite(Number(name)) &&
+            !inputs.has(name)) {
+            return true;
+        }
+    }
+    return false;
+}
+/** ALL admissible sources for `name` — every canonical equation AND every bridge
+ *  edge whose target is `name` and whose form is a clean monomial. A target with
+ *  several sources (e.g. BE-42 Hawking's two parametrisations) is DE-AMBIGUATED by
+ *  enumeration, not skipped; coinciding derivations collapse later under dedup. */
+export function resolveSources(name) {
+    const out = [];
+    // Canonical: a determinate monomial AND a fully-quantitative form.
+    for (const e of canonicalByTarget(name)) {
+        if (e.scalarAst &&
+            e.dimensional.monomial !== null &&
+            e.epistemicStatus === 'fully-quantitative') {
+            // Align the AST's private leaf symbols (`T`) with the governing quantity
+            // names (`temperature`) so canonical- and bridge-sourced derivations of the
+            // same relation collapse under dedup.
+            const scalarAst = renameLeaves(e.scalarAst, leafCanonMap(e.scalarAst, e.dimensional.governing));
+            out.push({
+                id: e.id,
+                kind: 'canonical',
+                scalarAst,
+                targetDim: e.dimensional.target.dim,
+                grade: e.epistemicStatus,
+            });
+        }
+    }
+    // Bridge: edges carrying a clean-monomial `symbolic` form. `confidence` is about
+    // FRAMING, not formula completeness, so it is recorded — not gated; the
+    // structural stub check enforces a closed prefactor instead.
+    for (const edge of CATALOG_GRAPH) {
+        if (edge.target.name !== name || !edge.symbolic)
+            continue;
+        let m;
+        try {
+            m = toMonomial(edge.symbolic);
+        }
+        catch (err) {
+            if (err instanceof NotAMonomialError)
+                continue;
+            throw err;
+        }
+        if (hasNonConstantStub(m, new Set(edge.sources.map((s) => s.name))))
+            continue;
+        const dim = validate(edge.symbolic).inferredDimension;
+        if (!dim || !equals(dim, edge.target.dim))
+            continue;
+        out.push({
+            id: edge.beId !== null ? `BE-${edge.beId}` : edge.id,
+            kind: 'bridge',
+            scalarAst: edge.symbolic,
+            targetDim: edge.target.dim,
+            grade: edge.confidence,
+        });
+    }
+    return out;
+}
+/**
+ * Derive the implied relation for each `promising` identification in `candidates`.
+ * Returns ONE proposal per admissible candidate (Adam M2), structurally
+ * de-duplicated (`dedupByNormalForm`).
+ *
+ * Candidate-set-agnostic: pass `rankDiscoveries(CANONICAL_GRAPH)` (default),
+ * `…(CATALOG_GRAPH)`, or `…([...CATALOG_GRAPH, ...CANONICAL_GRAPH])` to widen the
+ * source — the CLI `discover --derive` forwards whichever `--source=` graph is
+ * selected. Each endpoint is resolved by `resolveSource` to a canonical equation
+ * OR a bridge edge with a clean-monomial `symbolic` form, so a candidate yields a
+ * proposal when BOTH endpoints resolve (the Landauer photon, for instance, is
+ * derivable both from `CE-landauer` and — at `--source=both` — from the BE-16
+ * bridge). A target with SEVERAL admissible sources (BE-42 Hawking's two
+ * parametrisations, or a canonical + bridge pair) is de-ambiguated by ENUMERATION
+ * — every source pair is tried and coincidences collapse under dedup. HONEST
+ * BOUNDARY: an endpoint with no clean-monomial source (a bridge with no `symbolic`
+ * form or a non-monomial one) yields nothing.
+ *
+ * Pure; reads the registries, writes nothing.
+ *
+ * @internal
+ */
+export function deriveProposedBridges(candidates = rankDiscoveries(CANONICAL_GRAPH)) {
+    const out = [];
+    for (const cand of candidates) {
+        if (cand.verdict !== 'promising')
+            continue;
+        const [t0, t1] = [cand.a, cand.b].sort();
+        // Enumerate every admissible source pair (de-ambiguation by enumeration).
+        for (const E1 of resolveSources(t0)) {
+            for (const E2 of resolveSources(t1)) {
+                const p = derivePair(cand, t0, t1, E1, E2);
+                if (p)
+                    out.push(p);
+            }
+        }
+    }
+    return disambiguateIds(dedupByNormalForm(out));
+}
+/** Derive one proposal from a fixed source pair, or null if inadmissible. */
+function derivePair(cand, t0, t1, E1, E2) {
+    let m1;
+    let m2;
+    try {
+        m1 = toMonomial(E1.scalarAst);
+        m2 = toMonomial(E2.scalarAst);
+    }
+    catch (e) {
+        if (e instanceof NotAMonomialError)
+            return null;
+        throw e;
+    }
+    const solveFor = uniqueNonConstantLeaf(m2);
+    if (!solveFor)
+        return null; // no single observable to isolate
+    if (m1.has(solveFor.name))
+        return null; // degenerate overlap (Design §5.2)
+    // Isolate solveFor from `m1 = m2`:  solveFor^e = m1 / (m2 without solveFor).
+    const result = new Map();
+    mergeInto(result, m1, 1);
+    const m2NoSolve = new Map(m2);
+    m2NoSolve.delete(solveFor.name);
+    mergeInto(result, m2NoSolve, -1);
+    if (solveFor.exp !== 1) {
+        for (const v of result.values())
+            v.exp /= solveFor.exp;
+    }
+    const scalarAst = fromMonomial(result);
+    const dim = validate(scalarAst).inferredDimension;
+    if (!dim || !equals(dim, solveFor.dim))
+        return null; // round-trip guard
+    const governing = [...result]
+        .filter(([name]) => !isConstant(name))
+        .map(([name, { dim: d }]) => ({ name, dim: d }));
+    const src = (e) => `${e.id} (${e.kind}, ${e.grade})`;
+    const provenance = `Monomial elimination of the UNADJUDICATED identification ${cand.a} ≡ ${cand.b} ` +
+        `(${src(E1)}.rhs = ${src(E2)}.rhs), solved for '${solveFor.name}'. ` +
+        `Algebraic consequence of a hypothesised identity — NOT a new physical ` +
+        `relation and NOT a bridge. Invertible (any free leaf may be isolated).`;
+    return {
+        id: `IC-${t0}--${t1}--${solveFor.name}`,
+        derivedFrom: {
+            identification: { a: cand.a, b: cand.b, dim: cand.dim },
+            sourceEquationIds: [E1.id, E2.id],
+            solvedFor: solveFor.name,
+        },
+        target: { name: solveFor.name, dim: solveFor.dim },
+        governing,
+        formulaLatex: `${solveFor.name} = ${latexFromMono(result)}`,
+        scalarAst,
+        dimensionalSignature: format(dim),
+        provenance,
+        alsoDerivableFrom: [],
+        status: 'unadjudicated',
+        evaluate: (values) => evalExpr(scalarAst, values),
+    };
+}
+/** Make ids unique: when distinct proposals (different source pairs) collide on
+ *  the base `IC-<a>--<b>--<solveFor>` id, suffix each with its source pair. */
+function disambiguateIds(proposals) {
+    const counts = new Map();
+    for (const p of proposals)
+        counts.set(p.id, (counts.get(p.id) ?? 0) + 1);
+    return proposals.map((p) => (counts.get(p.id) ?? 0) > 1
+        ? { ...p, id: `${p.id}--${p.derivedFrom.sourceEquationIds.join('+')}` }
+        : p);
+}
+/**
+ * Collapse proposals that derive the SAME relation — equal `normalForm` (up to
+ * dimensionless constants) AND equal target dimension — into the first, recording
+ * the others' identifications in `alsoDerivableFrom`. Distinct stubs do NOT
+ * collapse (e.g. Landauer's dropped `ln2` vs an operator stub hash differently),
+ * so this only merges genuine structural twins that a wider candidate scope can
+ * produce (Design §9 #2). Deterministic: input order is preserved.
+ */
+export function dedupByNormalForm(proposals) {
+    const byKey = new Map();
+    const order = [];
+    const extras = new Map();
+    for (const p of proposals) {
+        const key = `${normalForm(p.scalarAst)}::${p.dimensionalSignature}`;
+        const kept = byKey.get(key);
+        if (kept === undefined) {
+            byKey.set(key, p);
+            order.push(key);
+            extras.set(key, [...p.alsoDerivableFrom]);
+        }
+        else {
+            const tag = `${p.derivedFrom.identification.a} ≡ ${p.derivedFrom.identification.b}`;
+            extras.get(key).push(tag, ...p.alsoDerivableFrom);
+        }
+    }
+    return order.map((key) => {
+        const p = byKey.get(key);
+        const merged = [...new Set(extras.get(key))].sort();
+        return merged.length === p.alsoDerivableFrom.length
+            ? p
+            : { ...p, alsoDerivableFrom: merged };
+    });
+}
+export class MissingEvidenceError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'MissingEvidenceError';
+    }
+}
+/**
+ * Gate a proposal toward the catalog. THROWS `MissingEvidenceError` unless every
+ * human input is present and non-blank (operationalises "null, not guessed").
+ * Returns a `PromotionRequest`; it deliberately does NOT synthesise a
+ * `BridgeEquationEntry` — the physics-judgment fields are human work.
+ *
+ * @internal
+ */
+export function promoteProposal(proposal, evidence) {
+    const blank = (s) => typeof s !== 'string' || s.trim() === '';
+    if (blank(evidence.citation))
+        throw new MissingEvidenceError('citation required');
+    if (blank(evidence.reviewRef))
+        throw new MissingEvidenceError('reviewRef required');
+    if (!evidence.status)
+        throw new MissingEvidenceError('status required (not defaulted)');
+    return { proposal, evidence };
+}
+/** Domain label + citations for a source id — canonical (`CE-…`) or bridge
+ *  (`BE-<n>`), so the entry surface works for either source kind. */
+function equationMeta(id) {
+    const ce = canonicalById(id);
+    if (ce)
+        return { domain: ce.domain, references: ce.references };
+    const n = id.startsWith('BE-') ? Number(id.slice(3)) : NaN;
+    const be = BRIDGE_EQUATIONS.find((e) => e.id === n);
+    if (be)
+        return { domain: `${be.bridges[0]}↔${be.bridges[1]} (${be.status})`, references: be.references };
+    return { domain: 'unknown', references: [] };
+}
+/** Render a `ProposedBridge` into the catalog field-shape, filled honestly. */
+export function toProposedEntry(p) {
+    const [id1, id2] = p.derivedFrom.sourceEquationIds;
+    const M1 = equationMeta(id1);
+    const M2 = equationMeta(id2);
+    const { a, b } = p.derivedFrom.identification;
+    const srcRefs = [
+        [id1, M1],
+        [id2, M2],
+    ].flatMap(([id, m]) => m.references.map((r) => `source ${id}: ${r}`));
+    return {
+        id: p.id,
+        name: `${a} ≡ ${b} ⇒ ${p.derivedFrom.solvedFor} (derived)`,
+        category: 'Z',
+        category_name: 'Machine-Derived Identity Consequences (UNADJUDICATED)',
+        bridges: [M1.domain, M2.domain],
+        status: 'unadjudicated',
+        context: `Algebraic consequence of the UNADJUDICATED identification ${a} ≡ ${b} ` +
+            `(${id1}.rhs = ${id2}.rhs), solved for ${p.derivedFrom.solvedFor}. A ` +
+            `dimensional coincidence surfaced by the discovery funnel — no physical ` +
+            `mechanism is asserted, and it is NOT a bridge.`,
+        formula_latex: p.formulaLatex,
+        dimensional_signature: p.dimensionalSignature,
+        references: [
+            'Machine-derived; the combined relation has no independent literature.',
+            ...srcRefs,
+        ],
+        known_issues: [
+            {
+                severity: 'phenomenological-ansatz',
+                description: 'Machine-derived dimensional coincidence: the algebraic consequence ' +
+                    'of an unadjudicated identification, with no mechanism and no ' +
+                    'independent literature. Promotion to BRIDGE_EQUATIONS requires an ' +
+                    'adversarial + literature review (Part-VI §XXVII-B) via promoteProposal().',
+                fixable: 'unknown',
+            },
+        ],
+        derivedFrom: p.derivedFrom,
+        notes: p.provenance +
+            (p.alsoDerivableFrom.length
+                ? ` Also derivable from: ${p.alsoDerivableFrom.join('; ')}.`
+                : ''),
+    };
+}
+/**
+ * The PROPOSED-BRIDGE review surface: derived identity-consequences in the
+ * catalog's field shape, in their OWN registry, every entry `status:
+ * 'unadjudicated'`. Separate from `BRIDGE_EQUATIONS` (the faithful 44-bridge spec
+ * encoding), which this never mutates. Default scope: canonical-only — widen with
+ * `deriveProposedBridges(rankDiscoveries(graph)).map(toProposedEntry)`.
+ *
+ * @internal
+ */
+export const PROPOSED_BRIDGES = deriveProposedBridges().map(toProposedEntry);
+//# sourceMappingURL=proposed-bridges.js.map

package/dist/composition/proposed-bridges.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"proposed-bridges.js","sourceRoot":"","sources":["../../src/composition/proposed-bridges.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAEvD,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAG3D,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAE5E,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AACzD,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAEjD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAQnD,iFAAiF;AACjF,MAAM,OAAO,iBAAkB,SAAQ,KAAK;IAC1C,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;IAClC,CAAC;CACF;AAED,SAAS,SAAS,CAAC,IAAU,EAAE,IAAU,EAAE,KAAa;IACtD,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,KAAK,EAAE,CAAC,CAAC;QAC5C,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;gBAC1B,MAAM,IAAI,iBAAiB,CACzB,SAAS,IAAI,wCAAwC,CACtD,CAAC;YACJ,CAAC;YACD,GAAG,CAAC,GAAG,IAAI,GAAG,GAAG,KAAK,CAAC;QACzB,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,GAAa;IACtC,MAAM,GAAG,GAAS,IAAI,GAAG,EAAE,CAAC;IAC5B,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,QAAQ;YACX,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;YAC5C,OAAO,GAAG,CAAC;QACb,KAAK,IAAI;YACP,QAAQ,GAAG,CAAC,EAAE,EAAE,CAAC;gBACf,KAAK,GAAG;oBACN,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,IAAI;wBAAE,SAAS,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;oBAC3D,OAAO,GAAG,CAAC;gBACb,KAAK,GAAG,CAAC,CAAC,CAAC;oBACT,MAAM,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC;oBAChC,SAAS,CAAC,GAAG,EAAE,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;oBACnC,KAAK,MAAM,CAAC,IAAI,IAAI;wBAAE,SAAS,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;oBACxD,OAAO,GAAG,CAAC;gBACb,CAAC;gBACD,KAAK,GAAG,CAAC,CAAC,CAAC;oBACT,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC;oBACjC,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBAC9B,MAAM,IAAI,iBAAiB,CAAC,sBAAsB,CAAC,CAAC;oBACtD,CAAC;oBACD,MAAM,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;oBAC/B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;wBACxB,MAAM,IAAI,iBAAiB,CAAC,yBAAyB,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC;oBACxE,CAAC;oBACD,SAAS,CAAC,GAAG,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;oBACpC,OAAO,GAAG,CAAC;gBACb,CAAC;gBACD;oBACE,MAAM,IAAI,iBAAiB,CAAC,aAAa,GAAG,CAAC,EAAE,mBAAmB,CAAC,CAAC;YACxE,CAAC;QACH;YACE,MAAM,IAAI,iBAAiB,CAAC,cAAc,GAAG,CAAC,IAAI,mBAAmB,CAAC,CAAC;IAC3E,CAAC;AACH,CAAC;AAED,SAAS,GAAG,CAAC,IAAY,EAAE,GAAc;IACvC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACvC,CAAC;AAED;4EAC4E;AAC5E,MAAM,UAAU,YAAY,CAAC,CAAO;IAClC,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,GAAc,EAAE,CAAS,EAAY,EAAE,CACnE,CAAC,KAAK,CAAC;QACL,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC;QAChB,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC;IAErF,MAAM,GAAG,GAAe,EAAE,CAAC;IAC3B,MAAM,GAAG,GAAe,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACnF,IAAI,GAAG,KAAK,CAAC;YAAE,SAAS;QACxB,IAAI,GAAG,GAAG,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;;YACzC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzC,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,EAAc,EAAY,EAAE,CAC3C,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;IAE9D,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC5E,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACvC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,SAAS,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;AAClE,CAAC;AAyCD,MAAM,UAAU,GAAG,CAAC,IAAY,EAAW,EAAE,CAC3C,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;AAExD,sEAAsE;AACtE,SAAS,qBAAqB,CAAC,CAAO;IACpC,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1D,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACrC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AAC5B,CAAC;AAED,SAAS,aAAa,CAAC,CAAO;IAC5B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9E,IAAI,GAAG,KAAK,CAAC;YAAE,SAAS;QACxB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC;QACtE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClC,CAAC;IACD,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC;IACtC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,+EAA+E;AAC/E,0EAA0E;AAC1E,iFAAiF;AACjF,4EAA4E;AAC5E,6EAA6E;AAC7E,sEAAsE;AAEtE,SAAS,eAAe,CAAC,GAAa,EAAE,IAA4B;IAClE,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IACvD,CAAC;SAAM,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,IAAI;YAAE,eAAe,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACrD,CAAC;AACH,CAAC;AAED;0EAC0E;AAC1E,SAAS,YAAY,CACnB,SAAmB,EACnB,SAAyC;IAEzC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC5C,eAAe,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IACnC,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7D,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,EAAE,CAAC;QACjC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAAE,SAAS;QAChE,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC;YAAE,SAAS,CAAC,uBAAuB;QAC3E,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC1D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,YAAY,CAAC,GAAa,EAAE,GAAgC;IACnE,IAAI,GAAG,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IAC/B,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC1B,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5B,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;IACvC,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;IACrE,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAoBD;;;gFAGgF;AAChF,SAAS,kBAAkB,CAAC,CAAO,EAAE,MAA2B;IAC9D,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,IACE,MAAM,CAAC,GAAG,EAAE,aAAa,CAAC;YAC1B,CAAC,UAAU,CAAC,IAAI,CAAC;YACjB,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC9B,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EACjB,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;mFAGmF;AACnF,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,MAAM,GAAG,GAAqB,EAAE,CAAC;IAEjC,mEAAmE;IACnE,KAAK,MAAM,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,IACE,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,WAAW,CAAC,QAAQ,KAAK,IAAI;YAC/B,CAAC,CAAC,eAAe,KAAK,oBAAoB,EAC1C,CAAC;YACD,yEAAyE;YACzE,4EAA4E;YAC5E,sCAAsC;YACtC,MAAM,SAAS,GAAG,YAAY,CAC5B,CAAC,CAAC,SAAS,EACX,YAAY,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,CACnD,CAAC;YACF,GAAG,CAAC,IAAI,CAAC;gBACP,EAAE,EAAE,CAAC,CAAC,EAAE;gBACR,IAAI,EAAE,WAAW;gBACjB,SAAS;gBACT,SAAS,EAAE,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG;gBACnC,KAAK,EAAE,CAAC,CAAC,eAAe;aACzB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,iFAAiF;IACjF,wEAAwE;IACxE,6DAA6D;IAC7D,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;QACjC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ;YAAE,SAAS;QAC1D,IAAI,CAAO,CAAC;QACZ,IAAI,CAAC;YACH,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChC,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAI,GAAG,YAAY,iBAAiB;gBAAE,SAAS;YAC/C,MAAM,GAAG,CAAC;QACZ,CAAC;QACD,IAAI,kBAAkB,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAAE,SAAS;QAC9E,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,iBAAiB,CAAC;QACtD,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;YAAE,SAAS;QACpD,GAAG,CAAC,IAAI,CAAC;YACP,EAAE,EAAE,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE;YACpD,IAAI,EAAE,QAAQ;YACd,SAAS,EAAE,IAAI,CAAC,QAAQ;YACxB,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG;YAC1B,KAAK,EAAE,IAAI,CAAC,UAAU;SACvB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,qBAAqB,CACnC,aAAyC,eAAe,CAAC,eAAe,CAAC;IAEzE,MAAM,GAAG,GAAqB,EAAE,CAAC;IACjC,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,OAAO,KAAK,WAAW;YAAE,SAAS;QAC3C,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACzC,0EAA0E;QAC1E,KAAK,MAAM,EAAE,IAAI,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC;YACpC,KAAK,MAAM,EAAE,IAAI,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC;gBACpC,MAAM,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;gBAC3C,IAAI,CAAC;oBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACrB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,eAAe,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC;AACjD,CAAC;AAED,6EAA6E;AAC7E,SAAS,UAAU,CACjB,IAAqB,EACrB,EAAU,EACV,EAAU,EACV,EAAkB,EAClB,EAAkB;IAElB,IAAI,EAAQ,CAAC;IACb,IAAI,EAAQ,CAAC;IACb,IAAI,CAAC;QACH,EAAE,GAAG,UAAU,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QAC9B,EAAE,GAAG,UAAU,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;IAChC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,iBAAiB;YAAE,OAAO,IAAI,CAAC;QAChD,MAAM,CAAC,CAAC;IACV,CAAC;IAED,MAAM,QAAQ,GAAG,qBAAqB,CAAC,EAAE,CAAC,CAAC;IAC3C,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC,CAAC,kCAAkC;IAC9D,IAAI,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,mCAAmC;IAE3E,6EAA6E;IAC7E,MAAM,MAAM,GAAS,IAAI,GAAG,EAAE,CAAC;IAC/B,SAAS,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IACzB,MAAM,SAAS,GAAS,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC;IACpC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAChC,SAAS,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC;IACjC,IAAI,QAAQ,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC;QACvB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE;YAAE,CAAC,CAAC,GAAG,IAAI,QAAQ,CAAC,GAAG,CAAC;IACzD,CAAC;IAED,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,GAAG,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,iBAAiB,CAAC;IAClD,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,mBAAmB;IAExE,MAAM,SAAS,GAA0B,CAAC,GAAG,MAAM,CAAC;SACjD,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;SACrC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAEnD,MAAM,GAAG,GAAG,CAAC,CAAiB,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,GAAG,CAAC;IACrE,MAAM,UAAU,GACd,4DAA4D,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG;QACjF,IAAI,GAAG,CAAC,EAAE,CAAC,UAAU,GAAG,CAAC,EAAE,CAAC,sBAAsB,QAAQ,CAAC,IAAI,KAAK;QACpE,wEAAwE;QACxE,wEAAwE,CAAC;IAE3E,OAAO;QACL,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,QAAQ,CAAC,IAAI,EAAE;QACvC,WAAW,EAAE;YACX,cAAc,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE;YACvD,iBAAiB,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;YACjC,SAAS,EAAE,QAAQ,CAAC,IAAI;SACzB;QACD,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,CAAC,GAAG,EAAE;QAClD,SAAS;QACT,YAAY,EAAE,GAAG,QAAQ,CAAC,IAAI,MAAM,aAAa,CAAC,MAAM,CAAC,EAAE;QAC3D,SAAS;QACT,oBAAoB,EAAE,MAAM,CAAC,GAAG,CAAC;QACjC,UAAU;QACV,iBAAiB,EAAE,EAAE;QACrB,MAAM,EAAE,eAAe;QACvB,QAAQ,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;KAClD,CAAC;AACJ,CAAC;AAED;+EAC+E;AAC/E,SAAS,eAAe,CACtB,SAAoC;IAEpC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,CAAC,IAAI,SAAS;QAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACzE,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACzB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC;QACzB,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,WAAW,CAAC,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE;QACvE,CAAC,CAAC,CAAC,CACN,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAC/B,SAAoC;IAEpC,MAAM,KAAK,GAAG,IAAI,GAAG,EAA0B,CAAC;IAChD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;IAE3C,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,oBAAoB,EAAE,CAAC;QACpE,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAClB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAChB,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC;QAC5C,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC;YACpF,MAAM,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,iBAAiB,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QACvB,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACrD,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,iBAAiB,CAAC,MAAM;YACjD,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC;AAqBD,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAC7C,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;IACrC,CAAC;CACF;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAC7B,QAAwB,EACxB,QAA2B;IAE3B,MAAM,KAAK,GAAG,CAAC,CAAU,EAAW,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;IAChF,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,MAAM,IAAI,oBAAoB,CAAC,mBAAmB,CAAC,CAAC;IAClF,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,MAAM,IAAI,oBAAoB,CAAC,oBAAoB,CAAC,CAAC;IACpF,IAAI,CAAC,QAAQ,CAAC,MAAM;QAAE,MAAM,IAAI,oBAAoB,CAAC,iCAAiC,CAAC,CAAC;IACxF,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;AAChC,CAAC;AAiCD;qEACqE;AACrE,SAAS,YAAY,CAAC,EAAU;IAC9B,MAAM,EAAE,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;IAC7B,IAAI,EAAE;QAAE,OAAO,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE,CAAC;IAChE,MAAM,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IAC3D,MAAM,EAAE,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IACpD,IAAI,EAAE;QAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,MAAM,GAAG,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE,CAAC;IACzG,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;AAC/C,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,eAAe,CAAC,CAAiB;IAC/C,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC,iBAAiB,CAAC;IACnD,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,WAAW,CAAC,cAAc,CAAC;IAC9C,MAAM,OAAO,GAAG;QACd,CAAC,GAAG,EAAE,EAAE,CAAU;QAClB,CAAC,GAAG,EAAE,EAAE,CAAU;KACnB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IACtE,OAAO;QACL,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,WAAW,CAAC,SAAS,YAAY;QAC1D,QAAQ,EAAE,GAAG;QACb,aAAa,EAAE,uDAAuD;QACtE,OAAO,EAAE,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC;QAC/B,MAAM,EAAE,eAAe;QACvB,OAAO,EACL,6DAA6D,CAAC,MAAM,CAAC,GAAG;YACxE,IAAI,GAAG,UAAU,GAAG,qBAAqB,CAAC,CAAC,WAAW,CAAC,SAAS,MAAM;YACtE,yEAAyE;YACzE,gDAAgD;QAClD,aAAa,EAAE,CAAC,CAAC,YAAY;QAC7B,qBAAqB,EAAE,CAAC,CAAC,oBAAoB;QAC7C,UAAU,EAAE;YACV,uEAAuE;YACvE,GAAG,OAAO;SACX;QACD,YAAY,EAAE;YACZ;gBACE,QAAQ,EAAE,yBAAyB;gBACnC,WAAW,EACT,qEAAqE;oBACrE,+DAA+D;oBAC/D,oEAAoE;oBACpE,2EAA2E;gBAC7E,OAAO,EAAE,SAAS;aACnB;SACF;QACD,WAAW,EAAE,CAAC,CAAC,WAAW;QAC1B,KAAK,EACH,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,CAAC,iBAAiB,CAAC,MAAM;gBACzB,CAAC,CAAC,yBAAyB,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;gBAC5D,CAAC,CAAC,EAAE,CAAC;KACV,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAC3B,qBAAqB,EAAE,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC"}

package/dist/composition/representative-values.d.ts

@@ -9,9 +9,15 @@
  * structurally CANNOT supply the magnitudes that would falsify these.
  *
  * This table injects that missing ground truth: a sourced, order-of-magnitude
- * value for quantities that have a WELL-DEFINED physical scale. Generic
- * quantities (`mass`, `energy`, `length`, …) are deliberately ABSENT — they
- * have no single representative scale, and a value for them would mis-fire.
+ * value for quantities that have a WELL-DEFINED physical scale. Two classes are
+ * deliberately ABSENT:
+ *   - generic quantities (`mass`, `energy`, `length`, …) — no single scale (the
+ *     discovery gate now reads these from the graph at the anchor instead, see
+ *     `discovery.ts`); and
+ *   - speculative-physics quantities with no agreed scale (`dark-fermion-mass`,
+ *     `scalar-field-value`, `inflation-hubble-energy`, `boundary-length`, the
+ *     time-dependent `coarsening-length`) — a value would be fabrication, so the
+ *     gate correctly abstains on them.
  * When a value is absent the gate abstains; it never false-rejects on unknowns.
  *
  * Values are order-of-magnitude estimates (good to ~1 order), each carrying its

package/dist/composition/representative-values.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"representative-values.d.ts","sourceRoot":"","sources":["../../src/composition/representative-values.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,qEAAqE;AACrE,MAAM,WAAW,mBAAmB;IAClC,6EAA6E;IAC7E,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,6EAA6E;IAC7E,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,EAAE,QAAQ,CAC1C,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAiCpC,CAAC;AAEF;;;;;GAKG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,MAAM,GACX,mBAAmB,GAAG,SAAS,CAEjC"}
+{"version":3,"file":"representative-values.d.ts","sourceRoot":"","sources":["../../src/composition/representative-values.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH,qEAAqE;AACrE,MAAM,WAAW,mBAAmB;IAClC,6EAA6E;IAC7E,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,6EAA6E;IAC7E,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,EAAE,QAAQ,CAC1C,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CA0DpC,CAAC;AAEF;;;;;GAKG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,MAAM,GACX,mBAAmB,GAAG,SAAS,CAEjC"}

package/dist/composition/representative-values.js

@@ -9,9 +9,15 @@
  * structurally CANNOT supply the magnitudes that would falsify these.
  *
  * This table injects that missing ground truth: a sourced, order-of-magnitude
- * value for quantities that have a WELL-DEFINED physical scale. Generic
- * quantities (`mass`, `energy`, `length`, …) are deliberately ABSENT — they
- * have no single representative scale, and a value for them would mis-fire.
+ * value for quantities that have a WELL-DEFINED physical scale. Two classes are
+ * deliberately ABSENT:
+ *   - generic quantities (`mass`, `energy`, `length`, …) — no single scale (the
+ *     discovery gate now reads these from the graph at the anchor instead, see
+ *     `discovery.ts`); and
+ *   - speculative-physics quantities with no agreed scale (`dark-fermion-mass`,
+ *     `scalar-field-value`, `inflation-hubble-energy`, `boundary-length`, the
+ *     time-dependent `coarsening-length`) — a value would be fabrication, so the
+ *     gate correctly abstains on them.
  * When a value is absent the gate abstains; it never false-rejects on unknowns.
  *
  * Values are order-of-magnitude estimates (good to ~1 order), each carrying its
@@ -46,14 +52,39 @@ export const REPRESENTATIVE_VALUES = {
         value: 3.94e-8,
         source: 'Higgs VEV v ≈ 246 GeV',
     },
+    'barrier-height': {
+        value: 3.2e-20,
+        source: 'BE-26 Löwdin DNA proton-transfer barrier V−E ~0.2 eV',
+    },
     // ── masses [kg] ─────────────────────────────────────────────────────────
     'planck-mass': { value: 2.176e-8, source: 'm_P = √(ℏc/G)' },
+    'tunneling-mass': {
+        value: 1.673e-27,
+        source: 'BE-26 tunneling particle is the proton, m_p = 1.673e-27 kg',
+    },
     // ── lengths [m] ─────────────────────────────────────────────────────────
     'foerster-radius': {
         value: 5e-9,
         source: 'typical FRET Förster radius ~5 nm',
     },
+    'donor-acceptor-distance': {
+        value: 5e-9,
+        source: 'BE-24 FRET donor–acceptor separation ~5 nm (same regime as R_0)',
+    },
+    'barrier-width': {
+        value: 1e-10,
+        source: 'BE-26 DNA H-bond proton-tunneling distance ~1 Å (Löwdin 1963)',
+    },
     'planck-length': { value: 1.616e-35, source: 'ℓ_P = √(ℏG/c³)' },
+    // Canonical-graph atomic length scales — sourced so the gate compares real
+    // magnitudes instead of falling back to the {mass: M_sun} anchor, which makes
+    // a 1/mass quantity like the Compton wavelength absurdly small (~10⁻⁷³ m) and
+    // produces a spurious clash against the (fixed) Bohr radius.
+    'compton-wavelength': {
+        value: 2.426e-12,
+        source: 'electron Compton wavelength λ_C = h/(m_e c) = 2.43e-12 m (CODATA)',
+    },
+    'bohr-radius': { value: 5.292e-11, source: 'Bohr radius a_0 = 5.29e-11 m (CODATA)' },
     // ── times [s] ───────────────────────────────────────────────────────────
     'planck-time': { value: 5.39e-44, source: 't_P = √(ℏG/c⁵)' },
 };

package/dist/composition/representative-values.js.map

@@ -1 +1 @@
-{"version":3,"file":"representative-values.js","sourceRoot":"","sources":["../../src/composition/representative-values.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAUH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAE9B;IACF,2EAA2E;IAC3E,aAAa,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,gCAAgC,EAAE;IAC3E,uBAAuB,EAAE;QACvB,KAAK,EAAE,KAAK;QACZ,MAAM,EAAE,gEAAgE;KACzE;IACD,mBAAmB,EAAE;QACnB,KAAK,EAAE,IAAI;QACX,MAAM,EAAE,0CAA0C;KACnD;IAED,2EAA2E;IAC3E,yBAAyB,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,qBAAqB,EAAE;IAC5E,oBAAoB,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,wBAAwB,EAAE;IACzE,0BAA0B,EAAE;QAC1B,KAAK,EAAE,OAAO;QACd,MAAM,EAAE,uBAAuB;KAChC;IAED,2EAA2E;IAC3E,aAAa,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,eAAe,EAAE;IAE3D,2EAA2E;IAC3E,iBAAiB,EAAE;QACjB,KAAK,EAAE,IAAI;QACX,MAAM,EAAE,mCAAmC;KAC5C;IACD,eAAe,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,gBAAgB,EAAE;IAE/D,2EAA2E;IAC3E,aAAa,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,gBAAgB,EAAE;CAC7D,CAAC;AAEF;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAAY;IAEZ,OAAO,qBAAqB,CAAC,IAAI,CAAC,CAAC;AACrC,CAAC"}
+{"version":3,"file":"representative-values.js","sourceRoot":"","sources":["../../src/composition/representative-values.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAUH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAE9B;IACF,2EAA2E;IAC3E,aAAa,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,gCAAgC,EAAE;IAC3E,uBAAuB,EAAE;QACvB,KAAK,EAAE,KAAK;QACZ,MAAM,EAAE,gEAAgE;KACzE;IACD,mBAAmB,EAAE;QACnB,KAAK,EAAE,IAAI;QACX,MAAM,EAAE,0CAA0C;KACnD;IAED,2EAA2E;IAC3E,yBAAyB,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,qBAAqB,EAAE;IAC5E,oBAAoB,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,wBAAwB,EAAE;IACzE,0BAA0B,EAAE;QAC1B,KAAK,EAAE,OAAO;QACd,MAAM,EAAE,uBAAuB;KAChC;IACD,gBAAgB,EAAE;QAChB,KAAK,EAAE,OAAO;QACd,MAAM,EAAE,sDAAsD;KAC/D;IAED,2EAA2E;IAC3E,aAAa,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,eAAe,EAAE;IAC3D,gBAAgB,EAAE;QAChB,KAAK,EAAE,SAAS;QAChB,MAAM,EAAE,4DAA4D;KACrE;IAED,2EAA2E;IAC3E,iBAAiB,EAAE;QACjB,KAAK,EAAE,IAAI;QACX,MAAM,EAAE,mCAAmC;KAC5C;IACD,yBAAyB,EAAE;QACzB,KAAK,EAAE,IAAI;QACX,MAAM,EAAE,iEAAiE;KAC1E;IACD,eAAe,EAAE;QACf,KAAK,EAAE,KAAK;QACZ,MAAM,EAAE,+DAA+D;KACxE;IACD,eAAe,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,gBAAgB,EAAE;IAC/D,2EAA2E;IAC3E,8EAA8E;IAC9E,8EAA8E;IAC9E,6DAA6D;IAC7D,oBAAoB,EAAE;QACpB,KAAK,EAAE,SAAS;QAChB,MAAM,EAAE,mEAAmE;KAC5E;IACD,aAAa,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,uCAAuC,EAAE;IAEpF,2EAA2E;IAC3E,aAAa,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,gBAAgB,EAAE;CAC7D,CAAC;AAEF;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAAY;IAEZ,OAAO,qBAAqB,CAAC,IAAI,CAAC,CAAC;AACrC,CAAC"}

package/dist/composition/retrodiction.d.ts

@@ -76,6 +76,19 @@ export interface RetrodictionReport {
     /** The headline gate: no inconsistent node was found. */
     readonly allConsistent: boolean;
 }
+/**
+ * Monotone forward EVALUATION: propagate values from `groundTruth` through
+ * the graph (domain-checked; identifications supply identified names;
+ * non-finite or domain-refused edges do not fire). Each node is assigned
+ * the value of the first edge that fires for it.
+ *
+ * Exported `@internal` so the discovery magnitude-gate can read a quantity's
+ * value AT THE REGISTERED ANCHOR when the static representative-value table
+ * has no entry for it (graph-derived quantities like `schwarzschild-radius`).
+ *
+ * @internal
+ */
+export declare function forwardEvaluate(edges: readonly BridgeEdge[], groundTruth: Readonly<Record<string, number>>, idents: readonly QuantityIdentification[]): Map<string, number>;
 /**
  * Retrodict one node: mask it (source values from the target-removed
  * graph), recover it via each incoming edge, and score the spread.

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

@@ -1 +1 @@
-{"version":3,"file":"retrodiction.d.ts","sourceRoot":"","sources":["../../src/composition/retrodiction.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAE5C,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAI3D,gDAAgD;AAChD,MAAM,MAAM,mBAAmB,GAC3B,YAAY,GACZ,cAAc,GACd,QAAQ,GACR,eAAe,CAAC;AAEpB,kEAAkE;AAClE,MAAM,WAAW,sBAAsB;IACrC,4CAA4C;IAC5C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,uCAAuC;AACvC,MAAM,WAAW,mBAAmB;IAClC,0EAA0E;IAC1E,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC7D,iEAAiE;IACjE,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,mEAAmE;IACnE,QAAQ,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACvD,qEAAqE;IACrE,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAC;CACtC;AAED,mDAAmD;AACnD,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;IACtC,uDAAuD;IACvD,QAAQ,CAAC,WAAW,EAAE,SAAS,sBAAsB,EAAE,CAAC;IACxD,oEAAoE;IACpE,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,6DAA6D;IAC7D,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,4CAA4C;IAC5C,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,kEAAkE;IAClE,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC;CAClC;AAED,uDAAuD;AACvD,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAChD,6DAA6D;IAC7D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,yDAAyD;IACzD,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;CACjC;AA4CD;;;;;GAKG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAC7C,MAAM,EAAE,MAAM,EACd,IAAI,GAAE,mBAAwB,GAC7B,kBAAkB,CA8DpB;AAED;;;;;;GAMG;AACH,wBAAgB,SAAS,CACvB,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAC7C,IAAI,GAAE,mBAAwB,GAC7B,kBAAkB,CA2BpB"}
+{"version":3,"file":"retrodiction.d.ts","sourceRoot":"","sources":["../../src/composition/retrodiction.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAE5C,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAI3D,gDAAgD;AAChD,MAAM,MAAM,mBAAmB,GAC3B,YAAY,GACZ,cAAc,GACd,QAAQ,GACR,eAAe,CAAC;AAEpB,kEAAkE;AAClE,MAAM,WAAW,sBAAsB;IACrC,4CAA4C;IAC5C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,uCAAuC;AACvC,MAAM,WAAW,mBAAmB;IAClC,0EAA0E;IAC1E,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC7D,iEAAiE;IACjE,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,mEAAmE;IACnE,QAAQ,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACvD,qEAAqE;IACrE,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAC;CACtC;AAED,mDAAmD;AACnD,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;IACtC,uDAAuD;IACvD,QAAQ,CAAC,WAAW,EAAE,SAAS,sBAAsB,EAAE,CAAC;IACxD,oEAAoE;IACpE,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,6DAA6D;IAC7D,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,4CAA4C;IAC5C,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,kEAAkE;IAClE,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC;CAClC;AAED,uDAAuD;AACvD,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAChD,6DAA6D;IAC7D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,yDAAyD;IACzD,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;CACjC;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAC7C,MAAM,EAAE,SAAS,sBAAsB,EAAE,GACxC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CA8BrB;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAC7C,MAAM,EAAE,MAAM,EACd,IAAI,GAAE,mBAAwB,GAC7B,kBAAkB,CA8DpB;AAED;;;;;;GAMG;AACH,wBAAgB,SAAS,CACvB,KAAK,EAAE,SAAS,UAAU,EAAE,EAC5B,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAC7C,IAAI,GAAE,mBAAwB,GAC7B,kBAAkB,CA2BpB"}