@cavelang/scenario 0.29.0

package/Authors.md

@@ -0,0 +1,5 @@
+# Authors
+
+By adding their name to this file, all listed authors confirm they have copyright over their contributions to this project and are waiving these rights, placing their work in the public domain in accordance with the CC0 1.0 Universal Public Domain Dedication.
+
+- Mirek Rusin (Switzerland)

package/License.md

@@ -0,0 +1,6 @@
+# CC0 1.0 Universal (CC0 1.0) Public Domain Dedication
+
+To the extent possible under law, the authors listed in [Authors.md](./Authors.md) have waived all copyright and related or neighboring rights to this software and associated documentation files (the "Software").
+
+For more information, please see:
+https://creativecommons.org/publicdomain/zero/1.0/

package/README.md

@@ -0,0 +1,146 @@
+# `@cavelang/scenario`
+
+Typed, replayable inputs for decision evaluators and formal solver models.
+The package binds ordinary CAVE-Q patterns against an explicit transaction-
+and valid-time snapshot, then overlays hypothetical CAVE claims inside a
+rolled-back savepoint. The returned record is plain immutable data; no
+database transaction remains open while an evaluator or Wasm solver runs.
+
+```ts
+import { bind, explanationContext, Model } from '@cavelang/scenario'
+
+const definition: Model.Definition = {
+  id: 'architecture-choice',
+  modelDigest: `sha256:${'0'.repeat(64)}`, // use the real model digest
+  snapshot: {
+    aliases: 'exact',
+    resolution: 'winner',
+    minimumConfidence: 0.5
+  },
+  overlay: 'system HAS team-size: 12 people',
+  bindings: [{
+    id: 'team-size',
+    query: 'system HAS team-size: ?n',
+    select: 'n',
+    expected: { kind: 'integer', unit: 'people' },
+    cardinality: 'one',
+    scenarioOverride: true,
+    policies: {
+      missing: 'reject',
+      contested: 'reject',
+      retracted: 'exclude',
+      unresolved: 'reject'
+    }
+  }]
+}
+
+const inputs = bind(store, definition)
+// inputs.values['team-size'] is exact integer 12; the store still says 8.
+```
+
+## Contracts
+
+- `asOf`, `at`, alias handling, resolution, and minimum confidence are frozen
+  into every input record. Omitting `asOf` records the exact current head.
+- Cardinality and missing/contested/retracted/unresolved behavior are explicit.
+  `many` additionally requires `all`, `min`, `max`, or `sum`; there is no
+  implicit first-row policy.
+- Authored decimals and multiplier spellings become exact rationals without a
+  JavaScript `number` round trip. Unit changes require a declared exact
+  conversion. Approximation, uncertainty, sigma level, and confidence remain
+  separate fields and never become solver weights automatically.
+- Durable evidence uses exact CAVE row IDs. Rolled-back assumptions use stable
+  `scenario:<scenario-id>:<overlay-digest>#<claim>` IDs, so replay identity
+  does not depend on transient SQLite row IDs.
+- Overlay patterns are currently non-transitive and match hypothetical claims
+  by their authored entity names. This prevents current alias state from
+  leaking into a historical snapshot; transitive overlay composition waits on
+  the shared snapshot-query primitives tracked in the backlog.
+
+Use `run(store, definition, evaluate)` when convenient. It calls `bind`
+synchronously and invokes `evaluate` only after the overlay and verb registry
+have been restored, including when the evaluator later times out or crashes.
+
+For solver runs, `explanationContext(definition, inputs)` converts the frozen
+record into `@cavelang/solver` explanation metadata. It retains every binding's
+query, typed and authored value, exact belief/scenario evidence IDs, snapshot
+policy, input-record digest, and overlay digest. Passing that context to
+`Solve.runWithExplanation` also rejects replay against a different canonical
+model digest.
+
+```ts
+const inputs = bind(store, definition)
+const report = await Solve.runWithExplanation(
+  adapter,
+  model,
+  { unsatCore: true },
+  explanationContext(definition, inputs)
+)
+```
+
+## Explicit result governance
+
+Evaluation remains ephemeral. The `Record` API is the only transition from a
+plain solver report or ordinary evaluator output into durable CAVE history:
+
+```ts
+import { Record } from '@cavelang/scenario'
+
+Record.result(store, {
+  schema: Record.resultSchema,
+  id: 'architecture-2026-07-15',
+  report
+})
+```
+
+An ordinary deterministic evaluator uses the same frozen input record and a
+separately versioned result—no solver is required:
+
+```ts
+const evaluation = await run(store, definition, inputs => ({
+  schema: Record.evaluationSchema,
+  id: 'architecture-evaluation',
+  inputs,
+  evaluator: { name: 'architecture-threshold', version: '1.0.0' },
+  output: { architecture: 'monolith' }
+} satisfies Record.Evaluation))
+
+Record.result(store, evaluation)
+Record.recommendation(store, {
+  schema: Record.recommendationSchema,
+  id: 'architecture-recommendation',
+  resultId: evaluation.id,
+  value: evaluation.output
+})
+Record.decision(store, {
+  schema: Record.decisionSchema,
+  id: 'architecture-decision',
+  resultId: evaluation.id,
+  recommendationId: 'architecture-recommendation',
+  selected: evaluation.output,
+  decidedBy: 'human/mirek'
+})
+```
+
+`cave.scenario/evaluation@1` records the exact `inputs` (snapshot, overlay,
+evidence, and digest), evaluator name/version, and JSON output. The evaluator
+runs only after rollback; recording, recommendation, and human decision remain
+three explicit operations. The package test suite exercises this complete
+non-solver architecture-choice workflow.
+
+Each stable ID owns one append-only artifact series. Re-recording identical
+content returns `existing`; reusing the ID for different content throws
+`RecordConflictError`. The write is one atomic claim, with canonical JSON
+encoded as a code value so export, backup, and sync preserve the complete
+model digest, backend/version, snapshot, inputs, evidence, limits, and outcome.
+
+`Record.recommendation`, `Record.decision`, `Record.action`, and
+`Record.externalEffect` use different versioned schemas and entity namespaces.
+Each checks its predecessor before appending. These latter two are audit
+records only: they never invoke `@cavelang/act` or a hook. Governed action
+execution remains the sole authority for an external effect.
+
+`Record.replay` reads an immutable solver report without solving again and returns
+explicit incompatibility reasons for a different model digest, backend, or
+solver version. External evaluations retain their exact evaluator identity and
+input digest through `Record.read`; they are never mistaken for solver replay.

package/dist/src/bind.d.ts

@@ -0,0 +1,6 @@
+import type { Store } from '@cavelang/store';
+import { type Definition, type InputRecord } from './model.ts';
+export declare const bind: (store: Store, definition: Definition) => InputRecord;
+/** Materializes and rolls back inputs before `evaluate` is invoked. */
+export declare const run: <Result>(store: Store, definition: Definition, evaluate: (inputs: InputRecord) => Result | Promise<Result>) => Promise<Result>;
+//# sourceMappingURL=bind.d.ts.map

package/dist/src/bind.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bind.d.ts","sourceRoot":"","sources":["../../src/bind.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAG5C,OAAO,EAKL,KAAK,UAAU,EAGf,KAAK,WAAW,EAIjB,MAAM,YAAY,CAAA;AAoUnB,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,EAAE,YAAY,UAAU,KAAG,WAiD3D,CAAA;AAED,uEAAuE;AACvE,eAAO,MAAM,GAAG,GAAU,MAAM,EAC9B,OAAO,KAAK,EACZ,YAAY,UAAU,EACtB,UAAU,CAAC,MAAM,EAAE,WAAW,KAAK,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,KAC1D,OAAO,CAAC,MAAM,CAAsC,CAAA"}

package/dist/src/bind.js

@@ -0,0 +1,347 @@
+import { createHash } from 'node:crypto';
+import * as Canonical from '@cavelang/canonical';
+import { Uuidv7 } from '@cavelang/core';
+import { Pattern, query } from '@cavelang/query';
+import { Exact } from '@cavelang/solver';
+import { ScenarioInputError } from "./error.js";
+import * as Numeric from "./exact.js";
+import { schema } from "./model.js";
+const compareText = (left, right) => left < right ? -1 : left > right ? 1 : 0;
+const stableStringify = (value) => {
+    if (value === null || typeof value !== 'object')
+        return JSON.stringify(value);
+    if (Array.isArray(value))
+        return `[${value.map(stableStringify).join(',')}]`;
+    const record = value;
+    return `{${Object.keys(record).sort().map(key => `${JSON.stringify(key)}:${stableStringify(record[key])}`).join(',')}}`;
+};
+const sha256 = (text) => `sha256:${createHash('sha256').update(text).digest('hex')}`;
+const identifierPattern = /^[A-Za-z0-9][A-Za-z0-9._/-]*$/;
+const invalid = (message, bindingId) => {
+    throw new ScenarioInputError('invalid-definition', message, bindingId);
+};
+const validateBinding = (binding) => {
+    if (!identifierPattern.test(binding.id))
+        invalid('identifier must use letters, numbers, dot, underscore, slash, or dash', binding.id);
+    if (binding.expected.kind !== 'boolean' && binding.select === undefined) {
+        invalid('select is required for non-Boolean inputs', binding.id);
+    }
+    if (binding.cardinality === 'one' && binding.policies.missing !== 'reject') {
+        invalid('cardinality one requires missing: reject', binding.id);
+    }
+    if (binding.cardinality === 'optional' && binding.policies.missing === 'empty') {
+        invalid('cardinality optional supports missing: reject or omit', binding.id);
+    }
+    if (binding.cardinality === 'many' && binding.policies.missing === 'omit') {
+        invalid('cardinality many supports missing: reject or empty', binding.id);
+    }
+    if (binding.cardinality === 'many' && binding.reduce !== 'all' &&
+        binding.expected.kind !== 'number' && binding.expected.kind !== 'integer') {
+        invalid(`reduction ${binding.reduce} requires a numeric input`, binding.id);
+    }
+    if (binding.expected.kind === 'enum') {
+        if (binding.expected.values.length === 0 || new Set(binding.expected.values).size !== binding.expected.values.length) {
+            invalid('enum values must be non-empty and unique', binding.id);
+        }
+    }
+    if (binding.expected.kind === 'number' || binding.expected.kind === 'integer') {
+        for (const conversion of binding.expected.conversions ?? []) {
+            if (conversion.from === conversion.to)
+                invalid('unit conversion must change the unit', binding.id);
+            if (Exact.compare(conversion.factor, '0') <= 0)
+                invalid('unit conversion factor must be positive', binding.id);
+        }
+    }
+    const pattern = (() => {
+        try {
+            return Pattern.parse(binding.query);
+        }
+        catch (error) {
+            return invalid(`invalid CAVE-Q pattern: ${error instanceof Error ? error.message : String(error)}`, binding.id);
+        }
+    })();
+    if (pattern.verb.kind === 'verb' && pattern.verb.transitive) {
+        invalid('transitive bindings are deferred until snapshot-aware shared query primitives are available', binding.id);
+    }
+};
+const validateDefinition = (definition) => {
+    if (!identifierPattern.test(definition.id))
+        invalid('scenario identifier must use letters, numbers, dot, underscore, slash, or dash');
+    if (!/^sha256:[0-9a-f]{64}$/.test(definition.modelDigest))
+        invalid('modelDigest must be a lowercase SHA-256 digest');
+    if (!Number.isFinite(definition.snapshot.minimumConfidence) ||
+        definition.snapshot.minimumConfidence < 0 || definition.snapshot.minimumConfidence > 1) {
+        invalid('minimumConfidence must be between 0 and 1');
+    }
+    const ids = new Set();
+    for (const binding of definition.bindings) {
+        if (ids.has(binding.id))
+            invalid(`duplicate binding identifier ${JSON.stringify(binding.id)}`);
+        ids.add(binding.id);
+        validateBinding(binding);
+    }
+};
+const boundaryUpper = (text) => {
+    const start = Date.parse(text.includes('T') ? text : `${text}T00:00:00Z`);
+    if (Number.isNaN(start))
+        throw new ScenarioInputError('invalid-definition', `cannot parse as-of boundary ${JSON.stringify(text)}`);
+    return Uuidv7.at(start + (text.includes('T') ? 1_000 : 86_400_000), 0, new Uint8Array(8));
+};
+const transactionTime = (store, asOf) => {
+    if (asOf === undefined) {
+        return store.db.prepare('SELECT MAX(tx) AS tx FROM cave_claim').get().tx;
+    }
+    const id = asOf.toLowerCase();
+    return Uuidv7.is(id) ?
+        store.db.prepare('SELECT MAX(tx) AS tx FROM cave_claim WHERE tx <= ?').get(id).tx :
+        store.db.prepare('SELECT MAX(tx) AS tx FROM cave_claim WHERE tx < ?').get(boundaryUpper(asOf)).tx;
+};
+const queryOptions = (snapshot, resolve) => ({
+    ...(snapshot.asOf === undefined ? {} : { asOf: snapshot.asOf }),
+    ...(snapshot.at === undefined ? {} : { at: snapshot.at }),
+    aliases: snapshot.aliases === 'closure',
+    resolve,
+    support: true
+});
+/** Explicit confidence filter opts CAVE-Q into returning current `@ 0%` rows. */
+const includingRetractions = (input) => `${input}\nWHERE conf >= 0`;
+const supportIds = (match) => match.row === undefined ? (match.rows ?? []).map(row => row.id) : [match.row.id];
+const rawBaseCandidates = (store, binding, snapshot) => {
+    const pattern = includingRetractions(binding.query);
+    const unresolved = query(store, pattern, queryOptions(snapshot, false));
+    const winners = query(store, pattern, queryOptions(snapshot, true));
+    const winnerIds = new Set(winners.flatMap(supportIds));
+    const selected = snapshot.resolution === 'winner' ? winners : unresolved;
+    return selected.map(match => {
+        const ids = supportIds(match);
+        return {
+            match,
+            origin: 'belief',
+            contested: snapshot.resolution === 'coexisting' && ids.some(id => !winnerIds.has(id)),
+            retracted: match.row?.conf === 0,
+            unresolved: ids.length === 0
+        };
+    });
+};
+const overlayResult = (store, definition, canonical, stableIds) => {
+    if (canonical.claims.length === 0)
+        return {};
+    const rolledBack = Symbol('cave-scenario-overlay');
+    try {
+        return store.transaction(() => {
+            const inserted = store.insertResult(canonical, {
+                source: `scenario/${definition.id}`,
+                lifecycle: true
+            });
+            const stableByRow = new Map(inserted.ids.map((id, index) => [id, stableIds[index]]));
+            const result = {};
+            for (const binding of definition.bindings) {
+                // Overlay claims are matched as authored. Base aliases and historical
+                // rows cannot make a hypothetical claim appear under a different name.
+                const matches = query(store, includingRetractions(binding.query), {
+                    ...(definition.snapshot.at === undefined ? {} : { at: definition.snapshot.at }),
+                    all: true,
+                    aliases: false,
+                    support: true
+                }).filter(match => match.row !== undefined && stableByRow.has(match.row.id));
+                result[binding.id] = matches.map(match => ({
+                    match,
+                    origin: 'scenario',
+                    contested: false,
+                    retracted: match.row?.conf === 0,
+                    unresolved: false,
+                    scenarioClaimId: stableByRow.get(match.row.id)
+                }));
+            }
+            throw Object.assign(new Error('scenario overlay materialized'), { [rolledBack]: result });
+        });
+    }
+    catch (error) {
+        if (error instanceof Error && rolledBack in error)
+            return error[rolledBack];
+        throw error;
+    }
+};
+const selectedText = (candidate, binding) => {
+    if (binding.select !== undefined)
+        return candidate.match.bindings[binding.select];
+    if (binding.expected.kind === 'boolean')
+        return undefined;
+    return candidate.match.at?.text ?? candidate.match.row?.value_text ?? undefined;
+};
+const plain = (text) => text.length >= 2 && ((text.startsWith('"') && text.endsWith('"')) || (text.startsWith('`') && text.endsWith('`'))) ?
+    text.slice(1, -1) : text;
+const uncertainty = (candidate, expected, bindingId) => {
+    const row = candidate.match.row;
+    if (row?.delta_text === null || row?.delta_text === undefined)
+        return undefined;
+    const parsed = Numeric.convert(Numeric.parse(row.delta_text, bindingId), expected.unit, expected.conversions, bindingId);
+    return {
+        authored: row.delta_text,
+        exact: parsed.exact,
+        ...(parsed.unit === undefined ? {} : { unit: parsed.unit }),
+        sigmaLevel: row.sigma_level ?? 2
+    };
+};
+const valueOf = (candidate, binding) => {
+    const expected = binding.expected;
+    const text = selectedText(candidate, binding);
+    switch (expected.kind) {
+        case 'boolean': {
+            if (binding.select === undefined)
+                return { kind: 'boolean', value: true };
+            if (text === undefined)
+                throw new ScenarioInputError('invalid-value', `query did not bind ?${binding.select}`, binding.id);
+            const value = plain(text);
+            const yes = expected.trueValue ?? 'true';
+            const no = expected.falseValue ?? 'false';
+            if (value !== yes && value !== no) {
+                throw new ScenarioInputError('invalid-value', `expected ${JSON.stringify(yes)} or ${JSON.stringify(no)}, received ${JSON.stringify(value)}`, binding.id);
+            }
+            return { kind: 'boolean', value: value === yes };
+        }
+        case 'enum': {
+            if (text === undefined)
+                throw new ScenarioInputError('invalid-value', `query did not bind ?${binding.select}`, binding.id);
+            const value = plain(text);
+            if (!expected.values.includes(value)) {
+                throw new ScenarioInputError('invalid-value', `value ${JSON.stringify(value)} is outside [${expected.values.join(', ')}]`, binding.id);
+            }
+            return { kind: 'enum', value };
+        }
+        case 'text':
+            if (text === undefined)
+                throw new ScenarioInputError('invalid-value', `query did not bind ?${binding.select}`, binding.id);
+            return { kind: 'text', value: plain(text) };
+        case 'integer':
+        case 'number': {
+            const authored = candidate.match.at?.text ?? candidate.match.row?.value_text ?? text;
+            if (authored === undefined)
+                throw new ScenarioInputError('invalid-value', 'matched row has no numeric value', binding.id);
+            const parsed = Numeric.convert(Numeric.parse(authored, binding.id), expected.unit, expected.conversions, binding.id);
+            const uncertainty_ = uncertainty(candidate, expected, binding.id);
+            const common = {
+                ...(parsed.unit === undefined ? {} : { unit: parsed.unit }),
+                authored,
+                approximate: parsed.approximate,
+                ...(uncertainty_ === undefined ? {} : { uncertainty: uncertainty_ })
+            };
+            if (expected.kind === 'integer') {
+                if (parsed.exact.denominator !== '1') {
+                    throw new ScenarioInputError('invalid-value', `expected an integer, received ${JSON.stringify(authored)}`, binding.id);
+                }
+                return { kind: 'integer', value: parsed.exact.numerator, ...common };
+            }
+            return { kind: 'number', value: parsed.exact, ...common };
+        }
+    }
+};
+const evidenceOf = (candidate) => candidate.origin === 'scenario' ?
+    [{ origin: 'scenario', claimIds: [candidate.scenarioClaimId] }] :
+    [{ origin: 'belief', rowIds: supportIds(candidate.match) }];
+const publicCandidate = (candidate, binding) => ({
+    value: valueOf(candidate, binding),
+    confidence: candidate.match.row?.conf ?? 1,
+    evidence: evidenceOf(candidate)
+});
+const evidenceKey = (candidate) => candidate.origin === 'scenario' ?
+    `scenario:${candidate.scenarioClaimId}` : `belief:${supportIds(candidate.match).join(',')}`;
+const reduce = (values, binding) => {
+    if (binding.cardinality !== 'many' || binding.reduce === 'all')
+        return values;
+    const numeric = values;
+    if (binding.reduce === 'sum') {
+        const exact = numeric.reduce((total, value) => Numeric.add(total, value.kind === 'integer' ? { numerator: value.value, denominator: '1' } : value.value), { numerator: '0', denominator: '1' });
+        const unit = numeric[0]?.unit;
+        const approximate = numeric.some(value => value.approximate);
+        return binding.expected.kind === 'integer' ?
+            { kind: 'integer', value: exact.numerator, ...(unit === undefined ? {} : { unit }), approximate } :
+            { kind: 'number', value: exact, ...(unit === undefined ? {} : { unit }), approximate };
+    }
+    let selected = numeric[0];
+    for (const value of numeric.slice(1)) {
+        const left = selected.kind === 'integer' ? { numerator: selected.value, denominator: '1' } : selected.value;
+        const right = value.kind === 'integer' ? { numerator: value.value, denominator: '1' } : value.value;
+        const comparison = Numeric.compare(right, left);
+        if ((binding.reduce === 'min' && comparison < 0) || (binding.reduce === 'max' && comparison > 0))
+            selected = value;
+    }
+    return selected;
+};
+const bindOne = (binding, base, overlay, minimumConfidence) => {
+    const eligible = (values) => values
+        .filter(candidate => candidate.retracted && binding.policies.retracted === 'reject' ||
+        candidate.match.row === undefined || candidate.match.row.conf >= minimumConfidence)
+        .filter(candidate => binding.policies.retracted !== 'exclude' || !candidate.retracted);
+    const baseEligible = eligible(base);
+    const overlayEligible = eligible(overlay);
+    const selected = (binding.scenarioOverride && overlayEligible.length > 0 ? overlayEligible : [...baseEligible, ...overlayEligible])
+        .sort((left, right) => compareText(evidenceKey(left), evidenceKey(right)));
+    const rejected = selected.find(candidate => candidate.retracted && binding.policies.retracted === 'reject');
+    if (rejected !== undefined)
+        throw new ScenarioInputError('retracted-input', 'matched a retracted belief', binding.id);
+    if (binding.policies.contested === 'reject' && selected.some(candidate => candidate.contested)) {
+        throw new ScenarioInputError('contested-input', 'matched coexisting beliefs that do not win resolution', binding.id);
+    }
+    if (binding.policies.unresolved === 'reject' && selected.some(candidate => candidate.unresolved)) {
+        throw new ScenarioInputError('unresolved-input', 'query result has no supporting claim row', binding.id);
+    }
+    const countOk = binding.cardinality === 'many' || selected.length <= 1;
+    if (!countOk)
+        throw new ScenarioInputError('ambiguous-input', `expected ${binding.cardinality}, matched ${selected.length} values`, binding.id);
+    if (selected.length === 0 && binding.policies.missing === 'reject') {
+        throw new ScenarioInputError('missing-input', 'query matched no eligible value', binding.id);
+    }
+    const candidates = selected.map(candidate => publicCandidate(candidate, binding));
+    if (selected.length === 0 && binding.policies.missing === 'omit')
+        return { id: binding.id, candidates };
+    if (selected.length === 0)
+        return { id: binding.id, candidates, value: [] };
+    const values = candidates.map(candidate => candidate.value);
+    if (binding.cardinality === 'many')
+        return { id: binding.id, candidates, value: reduce(values, binding) };
+    return { id: binding.id, candidates, ...(values[0] === undefined ? {} : { value: values[0] }) };
+};
+export const bind = (store, definition) => {
+    validateDefinition(definition);
+    const frozenTx = transactionTime(store, definition.snapshot.asOf);
+    const effectiveSnapshot = definition.snapshot.asOf === undefined && frozenTx !== null ?
+        { ...definition.snapshot, asOf: frozenTx } : definition.snapshot;
+    const registry = effectiveSnapshot.asOf === undefined ? store.registry() : store.registryAsOf(effectiveSnapshot.asOf);
+    const canonical = Canonical.canonicalizeText(definition.overlay ?? '', registry);
+    if (canonical.problems.length > 0) {
+        const details = canonical.problems.map(problem => `line ${problem.line}: ${problem.message}`).join('; ');
+        throw new ScenarioInputError('invalid-overlay', `overlay has ${canonical.problems.length} problem(s): ${details}`);
+    }
+    const overlayText = Canonical.emit(canonical);
+    const overlayDigest = sha256(overlayText);
+    const claimIds = canonical.claims.map((_, index) => `scenario:${definition.id}:${overlayDigest.slice(7)}#${index + 1}`);
+    const base = Object.fromEntries(definition.bindings.map(binding => [
+        binding.id,
+        rawBaseCandidates(store, binding, effectiveSnapshot)
+    ]));
+    const overlay = overlayResult(store, { ...definition, snapshot: effectiveSnapshot }, canonical, claimIds);
+    const bindings = definition.bindings.map(binding => bindOne(binding, base[binding.id] ?? [], overlay[binding.id] ?? [], definition.snapshot.minimumConfidence));
+    const values = {};
+    for (const binding of bindings)
+        if (binding.value !== undefined)
+            values[binding.id] = binding.value;
+    const supportingRowIds = [...new Set(bindings.flatMap(binding => binding.candidates.flatMap(candidate => candidate.evidence.flatMap(evidence => evidence.origin === 'belief' ? evidence.rowIds : []))))].sort(compareText);
+    const scenarioClaimIds = [...new Set(bindings.flatMap(binding => binding.candidates.flatMap(candidate => candidate.evidence.flatMap(evidence => evidence.origin === 'scenario' ? evidence.claimIds : []))))].sort(compareText);
+    const withoutDigest = {
+        schema,
+        scenarioId: definition.id,
+        modelDigest: definition.modelDigest,
+        snapshot: { ...definition.snapshot, transactionTime: frozenTx },
+        overlay: { digest: overlayDigest, source: `scenario/${definition.id}`, claimIds },
+        values,
+        bindings,
+        supportingRowIds,
+        scenarioClaimIds
+    };
+    const digest = sha256(stableStringify(withoutDigest));
+    return { ...withoutDigest, digest };
+};
+/** Materializes and rolls back inputs before `evaluate` is invoked. */
+export const run = async (store, definition, evaluate) => evaluate(bind(store, definition));
+//# sourceMappingURL=bind.js.map

package/dist/src/bind.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bind.js","sourceRoot":"","sources":["../../src/bind.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,KAAK,SAAS,MAAM,qBAAqB,CAAA;AAChD,OAAO,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAA;AACvC,OAAO,EAAE,OAAO,EAAE,KAAK,EAA4C,MAAM,iBAAiB,CAAA;AAC1F,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AAExC,OAAO,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAA;AAC/C,OAAO,KAAK,OAAO,MAAM,YAAY,CAAA;AACrC,OAAO,EACL,MAAM,EAWP,MAAM,YAAY,CAAA;AAanB,MAAM,WAAW,GAAG,CAAC,IAAY,EAAE,KAAa,EAAU,EAAE,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAErG,MAAM,eAAe,GAAG,CAAC,KAAW,EAAU,EAAE;IAC9C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;IAC7E,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAA;IAC5E,MAAM,MAAM,GAAG,KAAuC,CAAA;IACtD,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,eAAe,CAAC,MAAM,CAAC,GAAG,CAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAA;AAC1H,CAAC,CAAA;AAED,MAAM,MAAM,GAAG,CAAC,IAAY,EAAU,EAAE,CACtC,UAAU,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAA;AAE7D,MAAM,iBAAiB,GAAG,+BAA+B,CAAA;AAEzD,MAAM,OAAO,GAAG,CAAC,OAAe,EAAE,SAAkB,EAAS,EAAE;IAC7D,MAAM,IAAI,kBAAkB,CAAC,oBAAoB,EAAE,OAAO,EAAE,SAAS,CAAC,CAAA;AACxE,CAAC,CAAA;AAED,MAAM,eAAe,GAAG,CAAC,OAAgB,EAAQ,EAAE;IACjD,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAAE,OAAO,CAAC,uEAAuE,EAAE,OAAO,CAAC,EAAE,CAAC,CAAA;IACrI,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACxE,OAAO,CAAC,2CAA2C,EAAE,OAAO,CAAC,EAAE,CAAC,CAAA;IAClE,CAAC;IACD,IAAI,OAAO,CAAC,WAAW,KAAK,KAAK,IAAI,OAAO,CAAC,QAAQ,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QAC3E,OAAO,CAAC,0CAA0C,EAAE,OAAO,CAAC,EAAE,CAAC,CAAA;IACjE,CAAC;IACD,IAAI,OAAO,CAAC,WAAW,KAAK,UAAU,IAAI,OAAO,CAAC,QAAQ,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;QAC/E,OAAO,CAAC,uDAAuD,EAAE,OAAO,CAAC,EAAE,CAAC,CAAA;IAC9E,CAAC;IACD,IAAI,OAAO,CAAC,WAAW,KAAK,MAAM,IAAI,OAAO,CAAC,QAAQ,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;QAC1E,OAAO,CAAC,oDAAoD,EAAE,OAAO,CAAC,EAAE,CAAC,CAAA;IAC3E,CAAC;IACD,IAAI,OAAO,CAAC,WAAW,KAAK,MAAM,IAAI,OAAO,CAAC,MAAM,KAAK,KAAK;QAC1D,OAAO,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9E,OAAO,CAAC,aAAa,OAAO,CAAC,MAAM,2BAA2B,EAAE,OAAO,CAAC,EAAE,CAAC,CAAA;IAC7E,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACrC,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YACrH,OAAO,CAAC,0CAA0C,EAAE,OAAO,CAAC,EAAE,CAAC,CAAA;QACjE,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9E,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,QAAQ,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;YAC5D,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,CAAC,EAAE;gBAAE,OAAO,CAAC,sCAAsC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAA;YAClG,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,CAAC,yCAAyC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAA;QAChH,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAc,CAAC,GAAG,EAAE;QAC/B,IAAI,CAAC;YACH,OAAO,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QACrC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,OAAO,CAAC,2BAA2B,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC,CAAA;QACjH,CAAC;IACH,CAAC,CAAC,EAAE,CAAA;IACJ,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;QAC5D,OAAO,CAAC,6FAA6F,EAAE,OAAO,CAAC,EAAE,CAAC,CAAA;IACpH,CAAC;AACH,CAAC,CAAA;AAED,MAAM,kBAAkB,GAAG,CAAC,UAAsB,EAAQ,EAAE;IAC1D,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QAAE,OAAO,CAAC,gFAAgF,CAAC,CAAA;IACrI,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC;QAAE,OAAO,CAAC,gDAAgD,CAAC,CAAA;IACpH,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,iBAAiB,CAAC;QACvD,UAAU,CAAC,QAAQ,CAAC,iBAAiB,GAAG,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,iBAAiB,GAAG,CAAC,EAAE,CAAC;QAC3F,OAAO,CAAC,2CAA2C,CAAC,CAAA;IACtD,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAA;IAC7B,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;QAC1C,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAAE,OAAO,CAAC,gCAAgC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;QAC9F,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;QACnB,eAAe,CAAC,OAAO,CAAC,CAAA;IAC1B,CAAC;AACH,CAAC,CAAA;AAED,MAAM,aAAa,GAAG,CAAC,IAAY,EAAU,EAAE;IAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,YAAY,CAAC,CAAA;IACzE,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,kBAAkB,CAAC,oBAAoB,EAAE,+BAA+B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAClI,OAAO,MAAM,CAAC,EAAE,CAAC,KAAK,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;AAC3F,CAAC,CAAA;AAED,MAAM,eAAe,GAAG,CAAC,KAAY,EAAE,IAAwB,EAAiB,EAAE;IAChF,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAQ,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,sCAAsC,CAAC,CAAC,GAAG,EAA4B,CAAC,EAAE,CAAA;IACrG,CAAC;IACD,MAAM,EAAE,GAAG,IAAI,CAAC,WAAW,EAAE,CAAA;IAC7B,OAAO,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACnB,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,oDAAoD,CAAC,CAAC,GAAG,CAAC,EAAE,CAA2B,CAAC,EAAE,CAAC,CAAC;QAC7G,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,mDAAmD,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAA2B,CAAC,EAAE,CAAA;AAChI,CAAC,CAAA;AAED,MAAM,YAAY,GAAG,CAAC,QAAkB,EAAE,OAAgB,EAAgB,EAAE,CAAC,CAAC;IAC5E,GAAG,CAAC,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC;IAC/D,GAAG,CAAC,QAAQ,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC;IACzD,OAAO,EAAE,QAAQ,CAAC,OAAO,KAAK,SAAS;IACvC,OAAO;IACP,OAAO,EAAE,IAAI;CACd,CAAC,CAAA;AAEF,iFAAiF;AACjF,MAAM,oBAAoB,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,GAAG,KAAK,mBAAmB,CAAA;AAEnF,MAAM,UAAU,GAAG,CAAC,KAAY,EAAqB,EAAE,CACrD,KAAK,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;AAElF,MAAM,iBAAiB,GAAG,CAAC,KAAY,EAAE,OAAgB,EAAE,QAAkB,EAAkB,EAAE;IAC/F,MAAM,OAAO,GAAG,oBAAoB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;IACnD,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,YAAY,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAA;IACvE,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,YAAY,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAA;IACnE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAA;IACtD,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAA;IACxE,OAAO,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;QAC1B,MAAM,GAAG,GAAG,UAAU,CAAC,KAAK,CAAC,CAAA;QAC7B,OAAO;YACL,KAAK;YACL,MAAM,EAAE,QAAQ;YAChB,SAAS,EAAE,QAAQ,CAAC,UAAU,KAAK,YAAY,IAAI,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACrF,SAAS,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI,KAAK,CAAC;YAChC,UAAU,EAAE,GAAG,CAAC,MAAM,KAAK,CAAC;SAC7B,CAAA;IACH,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,aAAa,GAAG,CACpB,KAAY,EACZ,UAAsB,EACtB,SAA2B,EAC3B,SAA4B,EACuB,EAAE;IACrD,IAAI,SAAS,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAA;IAC5C,MAAM,UAAU,GAAG,MAAM,CAAC,uBAAuB,CAAC,CAAA;IAElD,IAAI,CAAC;QACH,OAAO,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE;YAC5B,MAAM,QAAQ,GAAG,KAAK,CAAC,YAAY,CAAC,SAAS,EAAE;gBAC7C,MAAM,EAAE,YAAY,UAAU,CAAC,EAAE,EAAE;gBACnC,SAAS,EAAE,IAAI;aAChB,CAAC,CAAA;YACF,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,CAAC,KAAK,CAAE,CAAC,CAAC,CAAC,CAAA;YACrF,MAAM,MAAM,GAA4C,EAAE,CAAA;YAC1D,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;gBAC1C,sEAAsE;gBACtE,uEAAuE;gBACvE,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAE,oBAAoB,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;oBAChE,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,UAAU,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;oBAC/E,GAAG,EAAE,IAAI;oBACT,OAAO,EAAE,KAAK;oBACd,OAAO,EAAE,IAAI;iBACd,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,KAAK,SAAS,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;gBAC5E,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;oBACzC,KAAK;oBACL,MAAM,EAAE,UAAU;oBAClB,SAAS,EAAE,KAAK;oBAChB,SAAS,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI,KAAK,CAAC;oBAChC,UAAU,EAAE,KAAK;oBACjB,eAAe,EAAE,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,GAAI,CAAC,EAAE,CAAE;iBACjD,CAAC,CAAC,CAAA;YACL,CAAC;YACD,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,+BAA+B,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC,CAAA;QAC3F,CAAC,CAAC,CAAA;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,KAAK,IAAI,UAAU,IAAI,KAAK;YAAE,OAAQ,KAAkB,CAAC,UAAU,CAAC,CAAA;QACzF,MAAM,KAAK,CAAA;IACb,CAAC;AACH,CAAC,CAAA;AAED,MAAM,YAAY,GAAG,CAAC,SAAuB,EAAE,OAAgB,EAAsB,EAAE;IACrF,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;IACjF,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IACzD,OAAO,SAAS,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,IAAI,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,UAAU,IAAI,SAAS,CAAA;AACjF,CAAC,CAAA;AAED,MAAM,KAAK,GAAG,CAAC,IAAY,EAAU,EAAE,CACrC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAClH,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;AAE5B,MAAM,WAAW,GAAG,CAAC,SAAuB,EAAE,QAA2D,EAAE,SAAiB,EAA2B,EAAE;IACvJ,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAA;IAC/B,IAAI,GAAG,EAAE,UAAU,KAAK,IAAI,IAAI,GAAG,EAAE,UAAU,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAC/E,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,SAAS,CAAC,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,CAAA;IACxH,OAAO;QACL,QAAQ,EAAE,GAAG,CAAC,UAAU;QACxB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;QAC3D,UAAU,EAAE,GAAG,CAAC,WAAW,IAAI,CAAC;KACjC,CAAA;AACH,CAAC,CAAA;AAED,MAAM,OAAO,GAAG,CAAC,SAAuB,EAAE,OAAgB,EAAS,EAAE;IACnE,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAA;IACjC,MAAM,IAAI,GAAG,YAAY,CAAC,SAAS,EAAE,OAAO,CAAC,CAAA;IAC7C,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS;gBAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,CAAA;YACzE,IAAI,IAAI,KAAK,SAAS;gBAAE,MAAM,IAAI,kBAAkB,CAAC,eAAe,EAAE,uBAAuB,OAAO,CAAC,MAAM,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC,CAAA;YAC1H,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAA;YACzB,MAAM,GAAG,GAAG,QAAQ,CAAC,SAAS,IAAI,MAAM,CAAA;YACxC,MAAM,EAAE,GAAG,QAAQ,CAAC,UAAU,IAAI,OAAO,CAAA;YACzC,IAAI,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,EAAE,EAAE,CAAC;gBAClC,MAAM,IAAI,kBAAkB,CAAC,eAAe,EAAE,YAAY,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,cAAc,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC,CAAA;YAC1J,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,KAAK,GAAG,EAAE,CAAA;QAClD,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,IAAI,IAAI,KAAK,SAAS;gBAAE,MAAM,IAAI,kBAAkB,CAAC,eAAe,EAAE,uBAAuB,OAAO,CAAC,MAAM,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC,CAAA;YAC1H,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAA;YACzB,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrC,MAAM,IAAI,kBAAkB,CAAC,eAAe,EAAE,SAAS,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,gBAAgB,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,CAAC,CAAA;YACxI,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAA;QAChC,CAAC;QACD,KAAK,MAAM;YACT,IAAI,IAAI,KAAK,SAAS;gBAAE,MAAM,IAAI,kBAAkB,CAAC,eAAe,EAAE,uBAAuB,OAAO,CAAC,MAAM,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC,CAAA;YAC1H,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAA;QAC7C,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,IAAI,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,UAAU,IAAI,IAAI,CAAA;YACpF,IAAI,QAAQ,KAAK,SAAS;gBAAE,MAAM,IAAI,kBAAkB,CAAC,eAAe,EAAE,kCAAkC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAA;YACzH,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE,CAAC,CAAA;YACpH,MAAM,YAAY,GAAG,WAAW,CAAC,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC,CAAA;YACjE,MAAM,MAAM,GAAG;gBACb,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;gBAC3D,QAAQ;gBACR,WAAW,EAAE,MAAM,CAAC,WAAW;gBAC/B,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC;aACrE,CAAA;YACD,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAChC,IAAI,MAAM,CAAC,KAAK,CAAC,WAAW,KAAK,GAAG,EAAE,CAAC;oBACrC,MAAM,IAAI,kBAAkB,CAAC,eAAe,EAAE,iCAAiC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC,CAAA;gBACxH,CAAC;gBACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,MAAM,EAAE,CAAA;YACtE,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,MAAM,EAAE,CAAA;QAC3D,CAAC;IACH,CAAC;AACH,CAAC,CAAA;AAED,MAAM,UAAU,GAAG,CAAC,SAAuB,EAAuB,EAAE,CAAC,SAAS,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;IACpG,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,SAAS,CAAC,eAAgB,CAAC,EAAE,CAAC,CAAC,CAAC;IAClE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;AAE7D,MAAM,eAAe,GAAG,CAAC,SAAuB,EAAE,OAAgB,EAAa,EAAE,CAAC,CAAC;IACjF,KAAK,EAAE,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC;IAClC,UAAU,EAAE,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC;IAC1C,QAAQ,EAAE,UAAU,CAAC,SAAS,CAAC;CAChC,CAAC,CAAA;AAEF,MAAM,WAAW,GAAG,CAAC,SAAuB,EAAU,EAAE,CAAC,SAAS,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;IACxF,YAAY,SAAS,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,UAAU,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAA;AAE7F,MAAM,MAAM,GAAG,CAAC,MAAwB,EAAE,OAAgB,EAA4B,EAAE;IACtF,IAAI,OAAO,CAAC,WAAW,KAAK,MAAM,IAAI,OAAO,CAAC,MAAM,KAAK,KAAK;QAAE,OAAO,MAAM,CAAA;IAC7E,MAAM,OAAO,GAAG,MAAmE,CAAA;IACnF,IAAI,OAAO,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAC1B,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,KAAK,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,EAC3H,EAAE,SAAS,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,CACrC,CAAA;QACD,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAA;QAC7B,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAA;QAC5D,OAAO,OAAO,CAAC,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAC1C,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,SAAS,EAAE,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC;YACnG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,WAAW,EAAE,CAAA;IAC1F,CAAC;IACD,IAAI,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAE,CAAA;IAC1B,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,QAAQ,CAAC,KAAK,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAA;QAC3G,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,KAAK,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAA;QACnG,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;QAC/C,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,KAAK,IAAI,UAAU,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,KAAK,IAAI,UAAU,GAAG,CAAC,CAAC;YAAE,QAAQ,GAAG,KAAK,CAAA;IACpH,CAAC;IACD,OAAO,QAAQ,CAAA;AACjB,CAAC,CAAA;AAED,MAAM,OAAO,GAAG,CACd,OAAgB,EAChB,IAA6B,EAC7B,OAAgC,EAChC,iBAAyB,EACV,EAAE;IACjB,MAAM,QAAQ,GAAG,CAAC,MAA+B,EAAkB,EAAE,CAAC,MAAM;SACzE,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,SAAS,IAAI,OAAO,CAAC,QAAQ,CAAC,SAAS,KAAK,QAAQ;QACjF,SAAS,CAAC,KAAK,CAAC,GAAG,KAAK,SAAS,IAAI,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,IAAI,iBAAiB,CAAC;SACpF,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAA;IACxF,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAA;IACnC,MAAM,eAAe,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAA;IACzC,MAAM,QAAQ,GAAG,CAAC,OAAO,CAAC,gBAAgB,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,GAAG,YAAY,EAAE,GAAG,eAAe,CAAC,CAAC;SAChI,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IAE5E,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,SAAS,IAAI,OAAO,CAAC,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAA;IAC3G,IAAI,QAAQ,KAAK,SAAS;QAAE,MAAM,IAAI,kBAAkB,CAAC,iBAAiB,EAAE,4BAA4B,EAAE,OAAO,CAAC,EAAE,CAAC,CAAA;IACrH,IAAI,OAAO,CAAC,QAAQ,CAAC,SAAS,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/F,MAAM,IAAI,kBAAkB,CAAC,iBAAiB,EAAE,uDAAuD,EAAE,OAAO,CAAC,EAAE,CAAC,CAAA;IACtH,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,CAAC,UAAU,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;QACjG,MAAM,IAAI,kBAAkB,CAAC,kBAAkB,EAAE,0CAA0C,EAAE,OAAO,CAAC,EAAE,CAAC,CAAA;IAC1G,CAAC;IAED,MAAM,OAAO,GAAG,OAAO,CAAC,WAAW,KAAK,MAAM,IAAI,QAAQ,CAAC,MAAM,IAAI,CAAC,CAAA;IACtE,IAAI,CAAC,OAAO;QAAE,MAAM,IAAI,kBAAkB,CAAC,iBAAiB,EAAE,YAAY,OAAO,CAAC,WAAW,aAAa,QAAQ,CAAC,MAAM,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC,CAAA;IAC/I,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QACnE,MAAM,IAAI,kBAAkB,CAAC,eAAe,EAAE,iCAAiC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAA;IAC9F,CAAC;IAED,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAA;IACjF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,OAAO,KAAK,MAAM;QAAE,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,UAAU,EAAE,CAAA;IACvG,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,CAAA;IAC3E,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;IAC3D,IAAI,OAAO,CAAC,WAAW,KAAK,MAAM;QAAE,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAA;IACzG,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAA;AACjG,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,KAAY,EAAE,UAAsB,EAAe,EAAE;IACxE,kBAAkB,CAAC,UAAU,CAAC,CAAA;IAE9B,MAAM,QAAQ,GAAG,eAAe,CAAC,KAAK,EAAE,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;IACjE,MAAM,iBAAiB,GAAa,UAAU,CAAC,QAAQ,CAAC,IAAI,KAAK,SAAS,IAAI,QAAQ,KAAK,IAAI,CAAC,CAAC;QAC/F,EAAE,GAAG,UAAU,CAAC,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAA;IAClE,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAA;IACrH,MAAM,SAAS,GAAG,SAAS,CAAC,gBAAgB,CAAC,UAAU,CAAC,OAAO,IAAI,EAAE,EAAE,QAAQ,CAAC,CAAA;IAChF,IAAI,SAAS,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,MAAM,OAAO,GAAG,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACxG,MAAM,IAAI,kBAAkB,CAAC,iBAAiB,EAAE,eAAe,SAAS,CAAC,QAAQ,CAAC,MAAM,gBAAgB,OAAO,EAAE,CAAC,CAAA;IACpH,CAAC;IACD,MAAM,WAAW,GAAG,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IAC7C,MAAM,aAAa,GAAG,MAAM,CAAC,WAAW,CAAC,CAAA;IACzC,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CACjD,YAAY,UAAU,CAAC,EAAE,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC,CAAA;IAErE,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QACjE,OAAO,CAAC,EAAE;QACV,iBAAiB,CAAC,KAAK,EAAE,OAAO,EAAE,iBAAiB,CAAC;KACrD,CAAC,CAAsD,CAAA;IACxD,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,EAAE,EAAE,GAAG,UAAU,EAAE,QAAQ,EAAE,iBAAiB,EAAE,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAA;IACzG,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CACzD,OAAO,EACP,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,EACtB,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,EACzB,UAAU,CAAC,QAAQ,CAAC,iBAAiB,CACtC,CAAC,CAAA;IACF,MAAM,MAAM,GAA6C,EAAE,CAAA;IAC3D,KAAK,MAAM,OAAO,IAAI,QAAQ;QAAE,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS;YAAE,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,KAAK,CAAA;IAEnG,MAAM,gBAAgB,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CACtG,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;IACnH,MAAM,gBAAgB,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CACtG,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;IAEvH,MAAM,aAAa,GAAG;QACpB,MAAM;QACN,UAAU,EAAE,UAAU,CAAC,EAAE;QACzB,WAAW,EAAE,UAAU,CAAC,WAAW;QACnC,QAAQ,EAAE,EAAE,GAAG,UAAU,CAAC,QAAQ,EAAE,eAAe,EAAE,QAAQ,EAAE;QAC/D,OAAO,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,YAAY,UAAU,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE;QACjF,MAAM;QACN,QAAQ;QACR,gBAAgB;QAChB,gBAAgB;KACjB,CAAA;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,eAAe,CAAC,aAAgC,CAAC,CAAC,CAAA;IACxE,OAAO,EAAE,GAAG,aAAa,EAAE,MAAM,EAAE,CAAA;AACrC,CAAC,CAAA;AAED,uEAAuE;AACvE,MAAM,CAAC,MAAM,GAAG,GAAG,KAAK,EACtB,KAAY,EACZ,UAAsB,EACtB,QAA2D,EAC1C,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAA"}

package/dist/src/error.d.ts

@@ -0,0 +1,7 @@
+export type Code = 'invalid-definition' | 'invalid-overlay' | 'missing-input' | 'ambiguous-input' | 'contested-input' | 'retracted-input' | 'unresolved-input' | 'invalid-value' | 'incompatible-unit';
+export declare class ScenarioInputError extends Error {
+    readonly code: Code;
+    readonly bindingId?: string;
+    constructor(code: Code, message: string, bindingId?: string);
+}
+//# sourceMappingURL=error.d.ts.map

package/dist/src/error.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"error.d.ts","sourceRoot":"","sources":["../../src/error.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,IAAI,GACZ,oBAAoB,GACpB,iBAAiB,GACjB,eAAe,GACf,iBAAiB,GACjB,iBAAiB,GACjB,iBAAiB,GACjB,kBAAkB,GAClB,eAAe,GACf,mBAAmB,CAAA;AAEvB,qBAAa,kBAAmB,SAAQ,KAAK;IAC3C,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;gBAEf,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,MAAM;CAM5D"}

package/dist/src/error.js

@@ -0,0 +1,11 @@
+export class ScenarioInputError extends Error {
+    code;
+    bindingId;
+    constructor(code, message, bindingId) {
+        super(bindingId === undefined ? message : `scenario input ${JSON.stringify(bindingId)}: ${message}`);
+        this.name = 'ScenarioInputError';
+        this.code = code;
+        this.bindingId = bindingId;
+    }
+}
+//# sourceMappingURL=error.js.map

package/dist/src/error.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"error.js","sourceRoot":"","sources":["../../src/error.ts"],"names":[],"mappings":"AAWA,MAAM,OAAO,kBAAmB,SAAQ,KAAK;IAClC,IAAI,CAAM;IACV,SAAS,CAAS;IAE3B,YAAY,IAAU,EAAE,OAAe,EAAE,SAAkB;QACzD,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,kBAAkB,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,OAAO,EAAE,CAAC,CAAA;QACpG,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAA;QAChC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;QAChB,IAAI,CAAC,SAAS,GAAG,SAAS,CAAA;IAC5B,CAAC;CACF"}

package/dist/src/exact.d.ts

@@ -0,0 +1,13 @@
+import type { Conversion, ExactNumber } from './model.ts';
+type Parsed = {
+    readonly exact: ExactNumber;
+    readonly unit?: string;
+    readonly approximate: boolean;
+};
+export declare const add: (left: ExactNumber, right: ExactNumber) => ExactNumber;
+export declare const compare: (left: ExactNumber, right: ExactNumber) => number;
+/** Parses CAVE's exact scalar spelling without passing the digits through `number`. */
+export declare const parse: (authored: string, bindingId: string) => Parsed;
+export declare const convert: (parsed: Parsed, expectedUnit: string | undefined, conversions: readonly Conversion[] | undefined, bindingId: string) => Parsed;
+export {};
+//# sourceMappingURL=exact.d.ts.map

package/dist/src/exact.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"exact.d.ts","sourceRoot":"","sources":["../../src/exact.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AAYzD,KAAK,MAAM,GAAG;IACZ,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAA;IAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAA;CAC9B,CAAA;AAmBD,eAAO,MAAM,GAAG,GAAI,MAAM,WAAW,EAAE,OAAO,WAAW,KAAG,WAIzD,CAAA;AAEH,eAAO,MAAM,OAAO,GAAI,MAAM,WAAW,EAAE,OAAO,WAAW,KAAG,MAEmD,CAAA;AAInH,uFAAuF;AACvF,eAAO,MAAM,KAAK,GAAI,UAAU,MAAM,EAAE,WAAW,MAAM,KAAG,MAsB3D,CAAA;AAED,eAAO,MAAM,OAAO,GAClB,QAAQ,MAAM,EACd,cAAc,MAAM,GAAG,SAAS,EAChC,aAAa,SAAS,UAAU,EAAE,GAAG,SAAS,EAC9C,WAAW,MAAM,KAChB,MAcF,CAAA"}