@feltdb/core 0.11.5 → 0.11.7

package/dist/runtime-snapshot.js

@@ -0,0 +1,482 @@
+/**
+ * Native materialized runtime snapshots.
+ *
+ * A hot path — an authorization decision, an agent loop, a rendered view —
+ * reads the same durable state hundreds of times per second. Asking the
+ * durable authority every time is slow, so applications build their own cache,
+ * and that cache becomes an unofficial second database: mutable, unversioned,
+ * invalidated by hand, and eventually disagreeing with FeltDB.
+ *
+ * A runtime snapshot is FeltDB's answer. It is a *derived representation* of
+ * authoritative FeltDB state, not a second source of truth:
+ *
+ *   - it says which durable state it represents, through the same revision
+ *     semantics `freshness.ts` defines, or says honestly that it cannot;
+ *   - it is immutable once published, so a consumer mid-decision cannot be
+ *     overtaken by a partial rebuild;
+ *   - it is replaced atomically, so consumers observe one complete snapshot or
+ *     another, never a mixture;
+ *   - it holds no reference to the database, so reading it cannot perform
+ *     durable I/O — that is a structural property, not a promise;
+ *   - it answers bounded queries through the same executor the embedded
+ *     storage boundary uses, so filtering, ordering, cursors, and index
+ *     selection mean what they already mean in FeltDB.
+ *
+ * Writes never go here. A snapshot has no `set` and no `delete`, because
+ * mutation belongs to the authoritative state APIs and nothing else.
+ *
+ * See docs/reference/runtime-snapshots.md for the contract, the consistency
+ * and staleness rules, and the memory and lifecycle semantics.
+ */
+import { isCacheCurrent, } from './freshness.js';
+import { conditionMatches, EmbeddedQueryEngine } from './embedded-query.js';
+export class SnapshotDefinitionError extends Error {
+    constructor(message) { super(message); this.name = 'SnapshotDefinitionError'; }
+}
+/** A build failed. The previously published snapshot, if any, remains active. */
+export class SnapshotBuildError extends Error {
+    cause;
+    constructor(message, cause) {
+        super(message);
+        this.cause = cause;
+        this.name = 'SnapshotBuildError';
+    }
+}
+/** A snapshot was read before anything was published. */
+export class SnapshotNotPublishedError extends Error {
+    constructor(message) { super(message); this.name = 'SnapshotNotPublishedError'; }
+}
+/** Proof of currency was required and the runtime cannot provide it. */
+export class SnapshotFreshnessError extends Error {
+    constructor(message) { super(message); this.name = 'SnapshotFreshnessError'; }
+}
+const EMPTY = Object.freeze([]);
+class PublishedSnapshot {
+    name;
+    generation;
+    basis;
+    materialization;
+    collections;
+    records;
+    constructor(name, generation, basis, materialization) {
+        this.name = name;
+        this.generation = generation;
+        this.basis = basis;
+        this.materialization = materialization;
+        this.collections = Object.freeze([...materialization.byCollection.keys()]);
+        this.records = materialization.records.size;
+        Object.freeze(this);
+    }
+    get revision() { return this.basis.revision; }
+    get materializedAt() { return this.basis.materializedAt; }
+    get(collection, id) {
+        return this.materialization.records.get(`${collection}:${id}`);
+    }
+    has(collection, id) {
+        return this.materialization.records.has(`${collection}:${id}`);
+    }
+    all(collection) {
+        this.requireCollection(collection);
+        return (this.materialization.byCollection.get(collection) ?? EMPTY);
+    }
+    query(request) {
+        this.requireCollection(request.collection);
+        return this.materialization.engine.execute(request);
+    }
+    derived() { return this.materialization.derived; }
+    explain(request) {
+        if (request) {
+            this.requireCollection(request.collection);
+            return this.materialization.engine.explain(request);
+        }
+        return {
+            name: this.name,
+            generation: this.generation,
+            records: this.records,
+            basis: this.basis,
+            buildMs: this.materialization.buildMs,
+            sources: this.materialization.sources,
+            indexes: this.materialization.indexes,
+        };
+    }
+    /**
+     * A collection the snapshot does not hold is a definition mistake, not an
+     * empty result. Answering "no records" would let a consumer conclude the
+     * durable state is empty when the snapshot simply never derived it.
+     */
+    requireCollection(collection) {
+        if (!this.materialization.byCollection.has(collection)) {
+            throw new SnapshotDefinitionError(`snapshot "${this.name}" does not materialize collection "${collection}"; `
+                + `it holds ${this.collections.length ? this.collections.join(', ') : 'no collections'}`);
+        }
+    }
+}
+/**
+ * The lifecycle owner: CREATE → BUILD → VALIDATE → PUBLISH → READ → REPLACE.
+ *
+ * The handle is mutable — it is what replacement means. Everything it
+ * publishes is not.
+ */
+export class RuntimeSnapshotHandle {
+    definition;
+    source;
+    active;
+    generation = 0;
+    building;
+    listeners = new Set();
+    builds = 0;
+    failures = 0;
+    durableReads = 0;
+    lastFailure;
+    closed = false;
+    constructor(definition, source) {
+        this.definition = definition;
+        this.source = source;
+        assertSnapshotDefinition(definition);
+    }
+    get name() { return this.definition.name; }
+    /**
+     * The active snapshot, or `undefined` before the first successful build.
+     *
+     * Never performs I/O and never blocks: this is the hot-path accessor.
+     */
+    get current() { return this.active; }
+    /** The active snapshot, or an error explaining that nothing is published yet. */
+    read() {
+        if (!this.active) {
+            throw new SnapshotNotPublishedError(`snapshot "${this.name}" has not been built; call refresh() before reading it`);
+        }
+        return this.active;
+    }
+    /**
+     * Build and publish a snapshot.
+     *
+     * When the runtime offers an authoritative revision and the active snapshot
+     * already represents it, nothing is rebuilt and the active snapshot is
+     * returned — the cheapest correct incremental step there is. `force` skips
+     * that check.
+     *
+     * A failed build throws and leaves the active snapshot untouched.
+     */
+    async refresh(options = {}) {
+        this.assertOpen();
+        if (!options.force && this.active) {
+            const staleness = await this.staleness();
+            if (staleness.state === 'current')
+                return this.active;
+        }
+        return this.build();
+    }
+    /**
+     * A snapshot proven to represent current durable state.
+     *
+     * Rebuilds when stale, and refuses when currency cannot be established,
+     * rather than serving state of unknown age. Security-sensitive consumers —
+     * authorization above all — use this instead of `current`, so that their
+     * freshness requirement is explicit in the code that depends on it.
+     */
+    async fresh() {
+        this.assertOpen();
+        const staleness = await this.staleness();
+        if (staleness.state === 'unknown') {
+            throw new SnapshotFreshnessError(`snapshot "${this.name}" cannot be proven current: ${staleness.reason}`);
+        }
+        if (staleness.state === 'current' && this.active)
+            return this.active;
+        const rebuilt = await this.build();
+        if (rebuilt.basis.validation !== 'revision') {
+            throw new SnapshotFreshnessError(`snapshot "${this.name}" was rebuilt without an authoritative revision: ${rebuilt.basis.reason}`);
+        }
+        return rebuilt;
+    }
+    /** Whether the active snapshot still represents current durable state. */
+    async staleness() {
+        const capability = await this.source.freshness();
+        if (capability.validation !== 'revision') {
+            return {
+                state: 'unknown',
+                reason: capability.reason ?? 'the runtime does not offer revision validation',
+            };
+        }
+        const current = await this.source.revision();
+        if (!this.active)
+            return { state: 'stale', current, reason: 'no snapshot has been published' };
+        const snapshot = this.active.revision;
+        if (!snapshot) {
+            return {
+                state: 'stale',
+                current,
+                reason: 'the active snapshot was built when the runtime offered no revision',
+            };
+        }
+        return {
+            state: isCacheCurrent(snapshot, current) ? 'current' : 'stale',
+            snapshot,
+            current,
+        };
+    }
+    /** Observe publications. The listener receives the snapshot that became active. */
+    subscribe(listener) {
+        this.listeners.add(listener);
+        return () => { this.listeners.delete(listener); };
+    }
+    /** What this handle holds, how it was built, and what it failed to build. */
+    explain() {
+        const published = this.active?.explain();
+        return {
+            name: this.name,
+            generation: this.generation,
+            records: published?.records ?? 0,
+            basis: published?.basis ?? {
+                validation: 'refresh',
+                reason: 'no snapshot has been published',
+                coherence: 'unproven',
+                materializedAt: 0,
+            },
+            buildMs: published?.buildMs ?? 0,
+            sources: published?.sources ?? [],
+            indexes: published?.indexes ?? [],
+            builds: this.builds,
+            failures: this.failures,
+            ...(this.lastFailure ? { lastFailure: this.lastFailure } : {}),
+            durableReads: this.durableReads,
+        };
+    }
+    /**
+     * Release the active snapshot.
+     *
+     * A handle retains exactly one snapshot, so this is what bounds retention
+     * when an application is done with a snapshot but keeps the database open.
+     * Consumers still holding a snapshot keep reading it; they always could.
+     */
+    close() {
+        this.closed = true;
+        this.active = undefined;
+        this.listeners.clear();
+    }
+    assertOpen() {
+        if (this.closed)
+            throw new SnapshotDefinitionError(`snapshot "${this.name}" is closed`);
+    }
+    /**
+     * Single-flight build. Two concurrent refreshes produce one materialization
+     * and one publication, not two builds racing to replace each other.
+     */
+    build() {
+        if (this.building)
+            return this.building;
+        const running = this.runBuild();
+        this.building = running;
+        return running.finally(() => {
+            if (this.building === running)
+                this.building = undefined;
+        });
+    }
+    async runBuild() {
+        try {
+            const capability = await this.source.freshness();
+            if (capability.validation !== 'revision') {
+                const materialization = await this.materialize();
+                return this.publish(materialization, {
+                    validation: 'refresh',
+                    reason: capability.reason ?? 'the runtime does not offer revision validation',
+                    coherence: 'unproven',
+                    materializedAt: Date.now(),
+                });
+            }
+            // A revision read on each side of the materialization is what makes the
+            // result a point-in-time view rather than a smear across concurrent
+            // writes. When it moved, the work is discarded rather than published
+            // under a revision it does not represent.
+            const attempts = Math.max(1, this.definition.coherenceAttempts ?? 3);
+            for (let attempt = 1; attempt <= attempts; attempt += 1) {
+                const before = await this.source.revision();
+                const materialization = await this.materialize();
+                const after = await this.source.revision();
+                if (!isCacheCurrent(before, after))
+                    continue;
+                return this.publish(materialization, {
+                    validation: 'revision',
+                    revision: before,
+                    coherence: 'proven',
+                    materializedAt: Date.now(),
+                });
+            }
+            throw new SnapshotBuildError(`durable state changed during each of ${attempts} materialization attempts for snapshot "${this.name}"`);
+        }
+        catch (error) {
+            this.failures += 1;
+            this.lastFailure = { at: Date.now(), message: error instanceof Error ? error.message : String(error) };
+            throw error instanceof SnapshotBuildError
+                ? error
+                : new SnapshotBuildError(`snapshot "${this.name}" could not be built: ${this.lastFailure.message}`, error);
+        }
+    }
+    async materialize() {
+        const started = Date.now();
+        const freeze = this.definition.freezeRecords !== false;
+        const records = new Map();
+        const byCollection = new Map();
+        const definitions = [];
+        const sources = [];
+        const indexes = [];
+        for (const source of this.definition.sources) {
+            this.durableReads += 1;
+            const durable = await this.source.readRecords(source.collection);
+            const kept = [];
+            for (const record of durable) {
+                if (!record || typeof record !== 'object' || Array.isArray(record))
+                    continue;
+                if (source.where && !source.where.every(condition => conditionMatches(record, condition)))
+                    continue;
+                const id = record.id;
+                if (typeof id !== 'string' && typeof id !== 'number') {
+                    throw new SnapshotBuildError(`a record in collection "${source.collection}" has no record id, so it cannot be materialized`);
+                }
+                if (freeze)
+                    Object.freeze(record);
+                records.set(`${source.collection}:${id}`, record);
+                kept.push(record);
+            }
+            byCollection.set(source.collection, Object.freeze(kept));
+            sources.push({
+                collection: source.collection,
+                records: kept.length,
+                filtered: Boolean(source.where?.length),
+                indexes: (source.indexes ?? []).map(config => config.name),
+            });
+            for (const config of source.indexes ?? []) {
+                definitions.push([`__indexes__:${source.collection}:${config.name}`, { config }]);
+                indexes.push({
+                    collection: source.collection,
+                    name: config.name,
+                    fields: config.fields?.length ? [...config.fields] : config.field ? [config.field] : [],
+                    entries: kept.length,
+                });
+            }
+        }
+        // The same executor the embedded storage boundary uses, over materialized
+        // rows instead of durable ones. Reusing it is the point: a snapshot query
+        // plans, filters, orders, pages, and explains exactly as a durable bounded
+        // query does, because it is the same code.
+        const engine = new EmbeddedQueryEngine(function* () {
+            yield* definitions;
+            yield* records.entries();
+        });
+        const view = Object.freeze({
+            collections: Object.freeze([...byCollection.keys()]),
+            all: (collection) => (byCollection.get(collection) ?? EMPTY),
+        });
+        const derived = this.definition.derive
+            ? freezeDerived(this.definition.derive(view))
+            : undefined;
+        return {
+            records,
+            byCollection,
+            engine,
+            sources: Object.freeze(sources),
+            indexes: Object.freeze(indexes),
+            derived,
+            buildMs: Date.now() - started,
+        };
+    }
+    /**
+     * VALIDATE, then PUBLISH.
+     *
+     * Publication is the single assignment below. A consumer holding the
+     * previous snapshot keeps a complete snapshot; a consumer reading after it
+     * gets a complete snapshot; there is no moment at which half of each is
+     * visible.
+     */
+    publish(materialization, basis) {
+        const candidate = new PublishedSnapshot(this.name, this.generation + 1, Object.freeze(basis), materialization);
+        this.definition.validate?.(candidate);
+        this.active = candidate;
+        this.generation = candidate.generation;
+        this.builds += 1;
+        for (const listener of [...this.listeners]) {
+            // A subscriber that throws has a problem with its own reaction, not with
+            // the snapshot. It must not unpublish what is already active, nor stop
+            // the other subscribers from being told.
+            try {
+                listener(candidate);
+            }
+            catch { /* observers cannot fail a publication */ }
+        }
+        return candidate;
+    }
+}
+/** Shallow-freeze a derived value so publication cannot hand out mutable state. */
+function freezeDerived(value) {
+    return value !== null && typeof value === 'object' ? Object.freeze(value) : value;
+}
+export function assertSnapshotDefinition(definition) {
+    if (!definition?.name?.trim()) {
+        throw new SnapshotDefinitionError('a snapshot definition requires a name');
+    }
+    if (!Array.isArray(definition.sources) || definition.sources.length === 0) {
+        throw new SnapshotDefinitionError(`snapshot "${definition.name}" declares no sources`);
+    }
+    const seen = new Set();
+    for (const source of definition.sources) {
+        if (!source?.collection?.trim()) {
+            throw new SnapshotDefinitionError(`snapshot "${definition.name}" declares a source with no collection`);
+        }
+        if (seen.has(source.collection)) {
+            throw new SnapshotDefinitionError(`snapshot "${definition.name}" declares collection "${source.collection}" twice`);
+        }
+        seen.add(source.collection);
+        for (const condition of source.where ?? []) {
+            const operators = ['eq', 'neq', 'lt', 'lte', 'gt', 'gte'].filter(operator => operator in condition);
+            if (!condition.field || operators.length !== 1) {
+                throw new SnapshotDefinitionError(`snapshot "${definition.name}" declares a condition on "${source.collection}" without exactly one operator`);
+            }
+        }
+        for (const index of source.indexes ?? []) {
+            if (!index?.name?.trim()) {
+                throw new SnapshotDefinitionError(`snapshot "${definition.name}" declares an unnamed index on "${source.collection}"`);
+            }
+            if (!index.field && !index.fields?.length) {
+                throw new SnapshotDefinitionError(`snapshot "${definition.name}" declares index "${index.name}" with no fields`);
+            }
+            if (index.type === 'text') {
+                // The runtime planner has no text access path. Accepting the
+                // declaration would publish a snapshot whose explain() names an index
+                // that never answers a query.
+                throw new SnapshotDefinitionError(`snapshot "${definition.name}" declares text index "${index.name}"; `
+                    + 'runtime snapshot indexes are hash, sorted, or compound');
+            }
+        }
+    }
+}
+/**
+ * Create a snapshot handle over any FeltDB runtime.
+ *
+ * `StateFirstDB.snapshot()` is the application-facing form; this is the same
+ * primitive for runtimes and tools that hold a source of their own.
+ */
+export function createRuntimeSnapshot(definition, source) {
+    return new RuntimeSnapshotHandle(definition, source);
+}
+/**
+ * Whether two definitions describe the same snapshot.
+ *
+ * Sources, filters, indexes, and options compare structurally; `derive` and
+ * `validate` compare by identity, because two functions with the same text can
+ * still compute different things and nothing here can tell.
+ */
+export function snapshotDefinitionsMatch(left, right) {
+    const shape = (definition) => JSON.stringify({
+        name: definition.name,
+        sources: definition.sources.map(source => ({
+            collection: source.collection,
+            where: source.where ?? [],
+            indexes: source.indexes ?? [],
+        })),
+        coherenceAttempts: definition.coherenceAttempts ?? null,
+        freezeRecords: definition.freezeRecords !== false,
+    });
+    return shape(left) === shape(right)
+        && left.derive === right.derive
+        && left.validate === right.validate;
+}

package/dist/semantic-decision.d.ts

@@ -164,4 +164,61 @@ export interface DecisionBatchEvaluation {
     id: string;
     result: DecisionResult;
 }
+/** Semantic composition over one bounded-query page. See docs/reference/semantic-query.md. */
+export type SemanticQueryMode = 'evaluate' | 'reuse-only';
+export interface SemanticQueryFilter {
+    /** `binary`: keep candidates whose decision equals this value. */
+    is?: boolean;
+    /** `choice` and `score`: keep candidates whose selected value is one of these declared values. */
+    in?: string[];
+    /** `score`: keep candidates at or above this declared level. */
+    atLeast?: string;
+    /** `score`: keep candidates at or below this declared level. */
+    atMost?: string;
+}
+export interface SemanticQueryOrder {
+    direction: 'asc' | 'desc';
+}
+export interface SemanticQueryClause {
+    decision: DecisionDefinition;
+    /** Defaults to `evaluate`. `reuse-only` never reaches a provider. */
+    mode?: SemanticQueryMode;
+    filter?: SemanticQueryFilter;
+    /** Only a `score` decision orders a page, by the ordinal of its selected level. */
+    orderBy?: SemanticQueryOrder;
+    /** Explicit field selection, narrowed further by authorization. */
+    fields?: string[];
+    schemaVersion?: string;
+    /** Field-level narrowing; the authority binds the principal to the authenticated one. */
+    authorization?: DecisionTransportAuthorization;
+}
+export interface SemanticAnnotation {
+    record_id: string;
+    result: DecisionResult;
+    cached: boolean;
+    provenance: DecisionEvaluation['provenance'];
+}
+export type SemanticUnevaluatedReason = 'unauthorized' | 'no-judgment' | 'missing';
+export interface SemanticStageSummary {
+    definition_hash: string;
+    schema_version: string;
+    runtime: DecisionRuntimeMetadata;
+    mode: SemanticQueryMode;
+    candidates: number;
+    reused: number;
+    evaluated: number;
+    unevaluated: number;
+    filtered: number;
+}
+export interface SemanticQueryResult {
+    /** False when at least one candidate of the page could not be evaluated. */
+    complete: boolean;
+    stage: SemanticStageSummary;
+    /** Aligned with the page's `records`; `null` for a record that was not evaluated. */
+    annotations: Array<SemanticAnnotation | null>;
+    unevaluated: Array<{
+        record_id: string;
+        reason: SemanticUnevaluatedReason;
+    }>;
+}
 //# sourceMappingURL=semantic-decision.d.ts.map

package/dist/semantic-decision.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"semantic-decision.d.ts","sourceRoot":"","sources":["../src/semantic-decision.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,iBAAiB;IAChC,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE;QAAE,IAAI,EAAE,OAAO,GAAG,SAAS,GAAG,UAAU,GAAG,OAAO,GAAG,YAAY,GAAG,QAAQ,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC;IACpG,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,8BAA8B;IAC7C,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,SAAS,CAAC,EAAE,iBAAiB,CAAC;CAC/B;AAED,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,MAAM,kBAAkB,GAC1B;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GACrC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAA;CAAE,GACvD;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;AAE1D,MAAM,MAAM,cAAc,GACtB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAA;CAAE,GACxF;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,cAAc,EAAE,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAA;CAAE,GAClH;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,cAAc,EAAE,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;AAErH,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,gBAAgB,CAAC,EAAE,uBAAuB,CAAC;IAC3C,wBAAwB,CAAC,EAAE,MAAM,CAAC;CACnC;AAED,MAAM,MAAM,uBAAuB,GAAG,OAAO,GAAG,YAAY,GAAG,WAAW,GAAG,MAAM,CAAC;AAEpF,MAAM,WAAW,2BAA2B;IAC1C,MAAM,EAAE,OAAO,CAAC;IAChB,MAAM,EAAE,OAAO,CAAC;IAChB,KAAK,EAAE,OAAO,CAAC;IACf,KAAK,EAAE,OAAO,CAAC;IACf,wBAAwB,EAAE,OAAO,CAAC;IAClC,iBAAiB,EAAE,uBAAuB,EAAE,CAAC;CAC9C;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,IAAI,uBAAuB,CAAC;IACpC,YAAY,IAAI,2BAA2B,CAAC;IAC5C,OAAO,CAAC,OAAO,EAAE,eAAe,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;IAC3D,YAAY,CAAC,KAAK,EAAE,aAAa,GAAG,OAAO,CAAC,uBAAuB,EAAE,CAAC,CAAC;CACxE;AAED,MAAM,MAAM,eAAe,GACvB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,GACvE;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,GACzF;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,CAAC;AAE5F,MAAM,MAAM,wBAAwB,GAChC;IAAE,IAAI,EAAE,eAAe,CAAC;IAAC,QAAQ,EAAE,uBAAuB,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;CAAE,GACvG;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,EAAE,uBAAuB,CAAC;IAAC,MAAM,EAAE,cAAc,CAAA;CAAE,CAAC;AAErF,MAAM,WAAW,eAAe;IAC9B,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,qBAAqB;IACpC,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,gBAAgB;IAC/B,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,QAAQ,GAAG,QAAQ,GAAG,OAAO,CAAC;IACpC,KAAK,EAAE,kBAAkB,CAAC;IAC1B,MAAM,EAAE,cAAc,CAAC;IACvB,kBAAkB,EAAE,qBAAqB,EAAE,CAAC;IAC5C,OAAO,EAAE,uBAAuB,CAAC;IACjC,KAAK,EAAE;QACL,UAAU,EAAE,MAAM,CAAC;QACnB,SAAS,EAAE,MAAM,CAAC;QAClB,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,SAAS,EAAE,MAAM,CAAC;QAClB,sBAAsB,EAAE,MAAM,CAAC;QAC/B,eAAe,EAAE,MAAM,EAAE,CAAC;KAC3B,CAAC;CACH;AAED,MAAM,WAAW,kBAAkB;IACjC,MAAM,EAAE,cAAc,CAAC;IACvB,MAAM,EAAE,OAAO,CAAC;IAChB,QAAQ,EAAE,gBAAgB,EAAE,CAAC;IAC7B,UAAU,EAAE;QACV,OAAO,EAAE,MAAM,CAAC;QAChB,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,eAAe,CAAC,EAAE,MAAM,CAAC;QACzB,YAAY,EAAE,MAAM,CAAC;QACrB,sBAAsB,EAAE,MAAM,CAAC;QAC/B,SAAS,EAAE,MAAM,CAAC;QAClB,MAAM,EAAE,MAAM,CAAC;QACf,YAAY,EAAE,MAAM,CAAC;QACrB,SAAS,EAAE,MAAM,CAAC;KACnB,CAAC;CACH;AAED,MAAM,WAAW,iCAAiC;IAChD,MAAM,CAAC,EAAE,iBAAiB,CAAC;IAC3B,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAClC,UAAU,EAAE,kBAAkB,CAAC;IAC/B,OAAO,CAAC,EAAE,eAAe,CAAC;IAC1B,aAAa,CAAC,EAAE,8BAA8B,CAAC;IAC/C,OAAO,EAAE,wBAAwB,CAAC;CACnC;AAED,MAAM,WAAW,kCAAkC;IACjD,UAAU,EAAE,kBAAkB,CAAC;IAC/B,gBAAgB,EAAE,eAAe,EAAE,CAAC;CACrC;AAED,MAAM,WAAW,qBAAqB;IACpC,EAAE,EAAE,MAAM,CAAC;IACX,UAAU,EAAE,kBAAkB,CAAC;IAC/B,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACnC;AAED,MAAM,WAAW,aAAa;IAC5B,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAClC,SAAS,EAAE,qBAAqB,EAAE,CAAC;CACpC;AAED,MAAM,WAAW,uBAAuB;IACtC,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,cAAc,CAAC;CACxB"}
+{"version":3,"file":"semantic-decision.d.ts","sourceRoot":"","sources":["../src/semantic-decision.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,iBAAiB;IAChC,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE;QAAE,IAAI,EAAE,OAAO,GAAG,SAAS,GAAG,UAAU,GAAG,OAAO,GAAG,YAAY,GAAG,QAAQ,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC;IACpG,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,8BAA8B;IAC7C,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,SAAS,CAAC,EAAE,iBAAiB,CAAC;CAC/B;AAED,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,MAAM,kBAAkB,GAC1B;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GACrC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAA;CAAE,GACvD;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;AAE1D,MAAM,MAAM,cAAc,GACtB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAA;CAAE,GACxF;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,cAAc,EAAE,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAA;CAAE,GAClH;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,cAAc,EAAE,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;AAErH,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,gBAAgB,CAAC,EAAE,uBAAuB,CAAC;IAC3C,wBAAwB,CAAC,EAAE,MAAM,CAAC;CACnC;AAED,MAAM,MAAM,uBAAuB,GAAG,OAAO,GAAG,YAAY,GAAG,WAAW,GAAG,MAAM,CAAC;AAEpF,MAAM,WAAW,2BAA2B;IAC1C,MAAM,EAAE,OAAO,CAAC;IAChB,MAAM,EAAE,OAAO,CAAC;IAChB,KAAK,EAAE,OAAO,CAAC;IACf,KAAK,EAAE,OAAO,CAAC;IACf,wBAAwB,EAAE,OAAO,CAAC;IAClC,iBAAiB,EAAE,uBAAuB,EAAE,CAAC;CAC9C;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,IAAI,uBAAuB,CAAC;IACpC,YAAY,IAAI,2BAA2B,CAAC;IAC5C,OAAO,CAAC,OAAO,EAAE,eAAe,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;IAC3D,YAAY,CAAC,KAAK,EAAE,aAAa,GAAG,OAAO,CAAC,uBAAuB,EAAE,CAAC,CAAC;CACxE;AAED,MAAM,MAAM,eAAe,GACvB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,GACvE;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,GACzF;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,CAAC;AAE5F,MAAM,MAAM,wBAAwB,GAChC;IAAE,IAAI,EAAE,eAAe,CAAC;IAAC,QAAQ,EAAE,uBAAuB,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;CAAE,GACvG;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,EAAE,uBAAuB,CAAC;IAAC,MAAM,EAAE,cAAc,CAAA;CAAE,CAAC;AAErF,MAAM,WAAW,eAAe;IAC9B,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,qBAAqB;IACpC,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,gBAAgB;IAC/B,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,QAAQ,GAAG,QAAQ,GAAG,OAAO,CAAC;IACpC,KAAK,EAAE,kBAAkB,CAAC;IAC1B,MAAM,EAAE,cAAc,CAAC;IACvB,kBAAkB,EAAE,qBAAqB,EAAE,CAAC;IAC5C,OAAO,EAAE,uBAAuB,CAAC;IACjC,KAAK,EAAE;QACL,UAAU,EAAE,MAAM,CAAC;QACnB,SAAS,EAAE,MAAM,CAAC;QAClB,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,SAAS,EAAE,MAAM,CAAC;QAClB,sBAAsB,EAAE,MAAM,CAAC;QAC/B,eAAe,EAAE,MAAM,EAAE,CAAC;KAC3B,CAAC;CACH;AAED,MAAM,WAAW,kBAAkB;IACjC,MAAM,EAAE,cAAc,CAAC;IACvB,MAAM,EAAE,OAAO,CAAC;IAChB,QAAQ,EAAE,gBAAgB,EAAE,CAAC;IAC7B,UAAU,EAAE;QACV,OAAO,EAAE,MAAM,CAAC;QAChB,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,eAAe,CAAC,EAAE,MAAM,CAAC;QACzB,YAAY,EAAE,MAAM,CAAC;QACrB,sBAAsB,EAAE,MAAM,CAAC;QAC/B,SAAS,EAAE,MAAM,CAAC;QAClB,MAAM,EAAE,MAAM,CAAC;QACf,YAAY,EAAE,MAAM,CAAC;QACrB,SAAS,EAAE,MAAM,CAAC;KACnB,CAAC;CACH;AAED,MAAM,WAAW,iCAAiC;IAChD,MAAM,CAAC,EAAE,iBAAiB,CAAC;IAC3B,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAClC,UAAU,EAAE,kBAAkB,CAAC;IAC/B,OAAO,CAAC,EAAE,eAAe,CAAC;IAC1B,aAAa,CAAC,EAAE,8BAA8B,CAAC;IAC/C,OAAO,EAAE,wBAAwB,CAAC;CACnC;AAED,MAAM,WAAW,kCAAkC;IACjD,UAAU,EAAE,kBAAkB,CAAC;IAC/B,gBAAgB,EAAE,eAAe,EAAE,CAAC;CACrC;AAED,MAAM,WAAW,qBAAqB;IACpC,EAAE,EAAE,MAAM,CAAC;IACX,UAAU,EAAE,kBAAkB,CAAC;IAC/B,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACnC;AAED,MAAM,WAAW,aAAa;IAC5B,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAClC,SAAS,EAAE,qBAAqB,EAAE,CAAC;CACpC;AAED,MAAM,WAAW,uBAAuB;IACtC,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,cAAc,CAAC;CACxB;AAED,8FAA8F;AAC9F,MAAM,MAAM,iBAAiB,GAAG,UAAU,GAAG,YAAY,CAAC;AAE1D,MAAM,WAAW,mBAAmB;IAClC,kEAAkE;IAClE,EAAE,CAAC,EAAE,OAAO,CAAC;IACb,kGAAkG;IAClG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;IACd,gEAAgE;IAChE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,gEAAgE;IAChE,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,kBAAkB;IACjC,SAAS,EAAE,KAAK,GAAG,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,qEAAqE;IACrE,IAAI,CAAC,EAAE,iBAAiB,CAAC;IACzB,MAAM,CAAC,EAAE,mBAAmB,CAAC;IAC7B,mFAAmF;IACnF,OAAO,CAAC,EAAE,kBAAkB,CAAC;IAC7B,mEAAmE;IACnE,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,yFAAyF;IACzF,aAAa,CAAC,EAAE,8BAA8B,CAAC;CAChD;AAED,MAAM,WAAW,kBAAkB;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,cAAc,CAAC;IACvB,MAAM,EAAE,OAAO,CAAC;IAChB,UAAU,EAAE,kBAAkB,CAAC,YAAY,CAAC,CAAC;CAC9C;AAED,MAAM,MAAM,yBAAyB,GAAG,cAAc,GAAG,aAAa,GAAG,SAAS,CAAC;AAEnF,MAAM,WAAW,oBAAoB;IACnC,eAAe,EAAE,MAAM,CAAC;IACxB,cAAc,EAAE,MAAM,CAAC;IACvB,OAAO,EAAE,uBAAuB,CAAC;IACjC,IAAI,EAAE,iBAAiB,CAAC;IACxB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,mBAAmB;IAClC,4EAA4E;IAC5E,QAAQ,EAAE,OAAO,CAAC;IAClB,KAAK,EAAE,oBAAoB,CAAC;IAC5B,qFAAqF;IACrF,WAAW,EAAE,KAAK,CAAC,kBAAkB,GAAG,IAAI,CAAC,CAAC;IAC9C,WAAW,EAAE,KAAK,CAAC;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,yBAAyB,CAAA;KAAE,CAAC,CAAC;CAC9E"}

package/dist/state-contract.d.ts

@@ -102,7 +102,8 @@ export interface CanonicalQuery {
         collection: string;
         projection?: string[];
         as_name: string;
-    }[];
+    }[]; /** Recognized and refused with SEMANTIC_UNSUPPORTED: canonical queries do not compose semantic decisions. Use the bounded authority query. */
+    semantic?: never;
 }
 export interface QueryResult<T = Record<string, unknown>> {
     query_id: string;
@@ -140,7 +141,7 @@ export interface TransactionResult {
     audit: unknown;
 }
 export interface StateFailure {
-    code: 'VALIDATION_FAILED' | 'PRECONDITION_FAILED' | 'AUTHORIZATION_DENIED' | 'SCHEMA_MISMATCH' | 'CONFLICT' | 'STORAGE_FAILURE' | 'INVALID_QUERY' | 'UNKNOWN_FIELD' | 'UNKNOWN_COLLECTION' | 'UNAUTHORIZED_PROJECTION' | 'INVALID_CURSOR' | 'STATE_UNAVAILABLE';
+    code: 'VALIDATION_FAILED' | 'PRECONDITION_FAILED' | 'AUTHORIZATION_DENIED' | 'SCHEMA_MISMATCH' | 'CONFLICT' | 'STORAGE_FAILURE' | 'INVALID_QUERY' | 'UNKNOWN_FIELD' | 'UNKNOWN_COLLECTION' | 'UNAUTHORIZED_PROJECTION' | 'INVALID_CURSOR' | 'STATE_UNAVAILABLE' | 'SEMANTIC_UNSUPPORTED';
     message: string;
     expected?: unknown;
     actual?: unknown;

package/dist/state-contract.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"state-contract.d.ts","sourceRoot":"","sources":["../src/state-contract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAGvF,gEAAgE;AAChE,MAAM,MAAM,aAAa,GAAC,QAAQ,GAAC,SAAS,GAAC,QAAQ,GAAC,SAAS,GAAC,WAAW,GAAC,MAAM,GAAC,MAAM,GAAC,MAAM,GAAC,MAAM,GAAC,SAAS,GAAC,OAAO,GAAC,QAAQ,GAAC,OAAO,GAAC,KAAK,GAAC,OAAO,GAAC,QAAQ,GAAC,MAAM,GAAC,WAAW,GAAC,QAAQ,CAAC;AAC9L,MAAM,MAAM,SAAS,GAAC;IAAC,IAAI,EAAC,WAAW,CAAC;IAAA,SAAS,EAAC,aAAa,CAAA;CAAC,GAAC;IAAC,IAAI,EAAC,MAAM,CAAC;IAAA,MAAM,EAAC,MAAM,EAAE,CAAA;CAAC,GAAC;IAAC,IAAI,EAAC,WAAW,CAAC;IAAA,UAAU,EAAC,MAAM,CAAA;CAAC,GAAC;IAAC,IAAI,EAAC,OAAO,CAAC;IAAA,KAAK,EAAC,SAAS,CAAA;CAAC,GAAC;IAAC,IAAI,EAAC,KAAK,CAAC;IAAA,MAAM,EAAC,SAAS,CAAA;CAAC,GAAC;IAAC,IAAI,EAAC,QAAQ,CAAC;IAAA,UAAU,CAAC,EAAC,MAAM,CAAA;CAAC,CAAC;AACpO,MAAM,WAAW,UAAU;IAAC,IAAI,EAAC,MAAM,CAAC;IAAA,UAAU,EAAC,SAAS,CAAC;IAAA,QAAQ,CAAC,EAAC,OAAO,CAAC;IAAA,QAAQ,CAAC,EAAC,OAAO,CAAC;IAAA,OAAO,CAAC,EAAC,OAAO,CAAC;IAAA,WAAW,CAAC,EAAC;QAAC,OAAO,CAAC,EAAC,MAAM,CAAC;QAAA,OAAO,CAAC,EAAC,MAAM,CAAC;QAAA,UAAU,CAAC,EAAC,MAAM,CAAC;QAAA,UAAU,CAAC,EAAC,MAAM,CAAC;QAAA,OAAO,CAAC,EAAC,MAAM,CAAA;KAAC,CAAC;IAAA,QAAQ,CAAC,EAAC,MAAM,CAAA;CAAC;AACxO,MAAM,WAAW,WAAW;IAAC,gBAAgB,EAAC,MAAM,CAAC;IAAA,cAAc,EAAC,MAAM,CAAC;IAAA,cAAc,EAAC,MAAM,CAAC;IAAA,WAAW,EAAC,MAAM,CAAC;IAAA,WAAW,EAAC;QAAC,IAAI,EAAC,MAAM,CAAC;QAAA,OAAO,EAAC,MAAM,CAAC;QAAA,MAAM,EAAC,UAAU,EAAE,CAAC;QAAA,OAAO,EAAC;YAAC,IAAI,EAAC,MAAM,CAAC;YAAA,MAAM,EAAC,MAAM,EAAE,CAAC;YAAA,MAAM,CAAC,EAAC,OAAO,CAAC;YAAA,MAAM,CAAC,EAAC,OAAO,CAAC;YAAA,OAAO,EAAC,MAAM,CAAA;SAAC,EAAE,CAAA;KAAC,EAAE,CAAA;CAAC;AAC1Q,MAAM,MAAM,WAAW,GAAC;IAAC,QAAQ,EAAC,IAAI,GAAC,KAAK,GAAC,IAAI,GAAC,KAAK,GAAC,IAAI,GAAC,KAAK,CAAC;IAAA,KAAK,EAAC,MAAM,CAAC;IAAA,KAAK,EAAC,OAAO,CAAA;CAAC,GAAC;IAAC,QAAQ,EAAC,IAAI,CAAC;IAAA,KAAK,EAAC,MAAM,CAAC;IAAA,MAAM,EAAC,OAAO,EAAE,CAAA;CAAC,GAAC;IAAC,QAAQ,EAAC,UAAU,CAAC;IAAA,KAAK,EAAC,MAAM,CAAC;IAAA,KAAK,EAAC,OAAO,CAAA;CAAC,GAAC;IAAC,QAAQ,EAAC,YAAY,GAAC,UAAU,CAAC;IAAA,KAAK,EAAC,MAAM,CAAC;IAAA,KAAK,EAAC,MAAM,CAAA;CAAC,GAAC;IAAC,QAAQ,EAAC,QAAQ,CAAC;IAAA,KAAK,EAAC,MAAM,CAAC;IAAA,MAAM,EAAC,OAAO,CAAA;CAAC,GAAC;IAAC,QAAQ,EAAC,KAAK,GAAC,IAAI,CAAC;IAAA,OAAO,EAAC,WAAW,EAAE,CAAA;CAAC,GAAC;IAAC,QAAQ,EAAC,KAAK,CAAC;IAAA,MAAM,EAAC,WAAW,CAAA;CAAC,CAAC;AAC3X,MAAM,WAAW,cAAc;IAAC,UAAU,EAAC,MAAM,CAAC;IAAA,MAAM,CAAC,EAAC,WAAW,CAAC;IAAA,QAAQ,CAAC,EAAC;QAAC,KAAK,EAAC,MAAM,CAAC;QAAA,SAAS,EAAC,KAAK,GAAC,MAAM,CAAA;KAAC,EAAE,CAAC;IAAA,KAAK,CAAC,EAAC,MAAM,CAAC;IAAA,MAAM,CAAC,EAAC,MAAM,CAAC;IAAA,MAAM,CAAC,EAAC,MAAM,CAAC;IAAA,UAAU,CAAC,EAAC,MAAM,EAAE,CAAC;IAAA,QAAQ,CAAC,EAAC,MAAM,EAAE,CAAC;IAAA,UAAU,CAAC,EAAC;QAAC,IAAI,EAAC,MAAM,CAAC;QAAA,QAAQ,EAAC,OAAO,GAAC,KAAK,GAAC,KAAK,GAAC,KAAK,GAAC,KAAK,CAAC;QAAA,KAAK,CAAC,EAAC,MAAM,CAAA;KAAC,EAAE,CAAC;IAAA,UAAU,CAAC,EAAC;QAAC,KAAK,EAAC,MAAM,CAAC;QAAA,UAAU,EAAC,MAAM,CAAC;QAAA,UAAU,CAAC,EAAC,MAAM,EAAE,CAAC;QAAA,OAAO,EAAC,MAAM,CAAA;KAAC,EAAE,CAAA;CAAC;AAClX,MAAM,WAAW,WAAW,CAAC,CAAC,GAAC,MAAM,CAAC,MAAM,EAAC,OAAO,CAAC;IAAE,QAAQ,EAAC,MAAM,CAAC;IAAA,UAAU,EAAC,MAAM,CAAC;IAAA,oBAAoB,EAAC,MAAM,CAAC;IAAA,cAAc,EAAC,MAAM,CAAC;IAAA,aAAa,EAAC,MAAM,CAAC;IAAA,aAAa,EAAC,MAAM,CAAC,MAAM,EAAC,MAAM,CAAC,CAAC;IAAA,OAAO,EAAC,CAAC,EAAE,CAAC;IAAA,UAAU,EAAC,MAAM,CAAC,MAAM,EAAC,OAAO,CAAC,EAAE,CAAC;IAAA,WAAW,CAAC,EAAC,MAAM,CAAC;IAAA,IAAI,EAAC;QAAC,cAAc,EAAC,MAAM,CAAC;QAAA,UAAU,EAAC,MAAM,CAAC;QAAA,KAAK,CAAC,EAAC,MAAM,CAAC;QAAA,aAAa,EAAC,OAAO,CAAA;KAAC,CAAA;CAAC;AAC3V,MAAM,WAAW,oBAAoB;IAAC,IAAI,EAAC,QAAQ,GAAC,QAAQ,GAAC,QAAQ,CAAC;IAAA,UAAU,EAAC,MAAM,CAAC;IAAA,EAAE,EAAC,MAAM,CAAC;IAAA,KAAK,CAAC,EAAC,OAAO,CAAC;IAAA,UAAU,CAAC,EAAC,MAAM,CAAA;CAAC;AACpI,MAAM,WAAW,iBAAiB;IAAC,cAAc,EAAC,MAAM,CAAC;IAAA,aAAa,EAAC,MAAM,CAAC;IAAA,eAAe,EAAC,MAAM,CAAC;IAAA,MAAM,EAAC,WAAW,CAAC;IAAA,YAAY,EAAC,MAAM,CAAC;IAAA,WAAW,EAAC,MAAM,CAAC;IAAA,aAAa,EAAC,MAAM,CAAC,MAAM,EAAC,MAAM,CAAC,CAAC;IAAA,SAAS,EAAC,OAAO,CAAC;IAAA,KAAK,EAAC,OAAO,CAAA;CAAC;AACnO,MAAM,WAAW,YAAY;IAAC,IAAI,EAAC,mBAAmB,GAAC,qBAAqB,GAAC,sBAAsB,GAAC,iBAAiB,GAAC,UAAU,GAAC,iBAAiB,GAAC,eAAe,GAAC,eAAe,GAAC,oBAAoB,GAAC,yBAAyB,GAAC,gBAAgB,GAAC,mBAAmB,CAAC;IAAA,OAAO,EAAC,MAAM,CAAC;IAAA,QAAQ,CAAC,EAAC,OAAO,CAAC;IAAA,MAAM,CAAC,EAAC,OAAO,CAAC;IAAA,QAAQ,CAAC,EAAC,MAAM,CAAC;IAAA,WAAW,CAAC,EAAC,MAAM,CAAC;IAAA,eAAe,CAAC,EAAC,MAAM,CAAA;CAAC;AAErX,cAAM,kBAAkB;IACtB,QAAQ,CAAC,UAAU,EAAC,oBAAoB,EAAE,CAAI;IAC9C,UAAU,CAAC,IAAI,EAAC,MAAM;qBAAoB,MAAM,SAAO,OAAO;qBAA0F,MAAM,SAAO,OAAO,YAAU;YAAC,SAAS,CAAC,EAAC,MAAM,CAAA;SAAC;qBAA8G,MAAM,YAAU;YAAC,SAAS,CAAC,EAAC,MAAM,CAAA;SAAC;;CAC3V;AACD,qBAAa,mBAAmB;IAClB,OAAO,CAAC,QAAQ,CAAC,MAAM;IAA8D,OAAO,CAAC,QAAQ,CAAC,OAAO;gBAA5F,MAAM,EAAC;QAAC,aAAa,EAAC,MAAM,CAAC;QAAA,UAAU,EAAC,MAAM,CAAC;QAAA,WAAW,CAAC,EAAC,MAAM,CAAA;KAAC,EAAkB,OAAO,SAAG;YAC9G,OAAO;IAmBrB,MAAM;gBAA4L,WAAW;;IAC7M,YAAY;IACZ,KAAK,CAAC,CAAC,GAAC,MAAM,CAAC,MAAM,EAAC,OAAO,CAAC,EAAE,KAAK,EAAC,cAAc;IAC9C,WAAW,CAAC,IAAI,EAAC,CAAC,EAAE,EAAC,kBAAkB,KAAG,IAAI,GAAC,OAAO,CAAC,IAAI,CAAC,EAAC,OAAO,CAAC,EAAC;QAAC,aAAa,CAAC,EAAC,MAAM,CAAC;QAAA,YAAY,CAAC,EAAC,MAAM,CAAA;KAAC;IACxH,0BAA0B,CAAC,KAAK,EAAC,qBAAqB;CACvD"}
+{"version":3,"file":"state-contract.d.ts","sourceRoot":"","sources":["../src/state-contract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAGvF,gEAAgE;AAChE,MAAM,MAAM,aAAa,GAAC,QAAQ,GAAC,SAAS,GAAC,QAAQ,GAAC,SAAS,GAAC,WAAW,GAAC,MAAM,GAAC,MAAM,GAAC,MAAM,GAAC,MAAM,GAAC,SAAS,GAAC,OAAO,GAAC,QAAQ,GAAC,OAAO,GAAC,KAAK,GAAC,OAAO,GAAC,QAAQ,GAAC,MAAM,GAAC,WAAW,GAAC,QAAQ,CAAC;AAC9L,MAAM,MAAM,SAAS,GAAC;IAAC,IAAI,EAAC,WAAW,CAAC;IAAA,SAAS,EAAC,aAAa,CAAA;CAAC,GAAC;IAAC,IAAI,EAAC,MAAM,CAAC;IAAA,MAAM,EAAC,MAAM,EAAE,CAAA;CAAC,GAAC;IAAC,IAAI,EAAC,WAAW,CAAC;IAAA,UAAU,EAAC,MAAM,CAAA;CAAC,GAAC;IAAC,IAAI,EAAC,OAAO,CAAC;IAAA,KAAK,EAAC,SAAS,CAAA;CAAC,GAAC;IAAC,IAAI,EAAC,KAAK,CAAC;IAAA,MAAM,EAAC,SAAS,CAAA;CAAC,GAAC;IAAC,IAAI,EAAC,QAAQ,CAAC;IAAA,UAAU,CAAC,EAAC,MAAM,CAAA;CAAC,CAAC;AACpO,MAAM,WAAW,UAAU;IAAC,IAAI,EAAC,MAAM,CAAC;IAAA,UAAU,EAAC,SAAS,CAAC;IAAA,QAAQ,CAAC,EAAC,OAAO,CAAC;IAAA,QAAQ,CAAC,EAAC,OAAO,CAAC;IAAA,OAAO,CAAC,EAAC,OAAO,CAAC;IAAA,WAAW,CAAC,EAAC;QAAC,OAAO,CAAC,EAAC,MAAM,CAAC;QAAA,OAAO,CAAC,EAAC,MAAM,CAAC;QAAA,UAAU,CAAC,EAAC,MAAM,CAAC;QAAA,UAAU,CAAC,EAAC,MAAM,CAAC;QAAA,OAAO,CAAC,EAAC,MAAM,CAAA;KAAC,CAAC;IAAA,QAAQ,CAAC,EAAC,MAAM,CAAA;CAAC;AACxO,MAAM,WAAW,WAAW;IAAC,gBAAgB,EAAC,MAAM,CAAC;IAAA,cAAc,EAAC,MAAM,CAAC;IAAA,cAAc,EAAC,MAAM,CAAC;IAAA,WAAW,EAAC,MAAM,CAAC;IAAA,WAAW,EAAC;QAAC,IAAI,EAAC,MAAM,CAAC;QAAA,OAAO,EAAC,MAAM,CAAC;QAAA,MAAM,EAAC,UAAU,EAAE,CAAC;QAAA,OAAO,EAAC;YAAC,IAAI,EAAC,MAAM,CAAC;YAAA,MAAM,EAAC,MAAM,EAAE,CAAC;YAAA,MAAM,CAAC,EAAC,OAAO,CAAC;YAAA,MAAM,CAAC,EAAC,OAAO,CAAC;YAAA,OAAO,EAAC,MAAM,CAAA;SAAC,EAAE,CAAA;KAAC,EAAE,CAAA;CAAC;AAC1Q,MAAM,MAAM,WAAW,GAAC;IAAC,QAAQ,EAAC,IAAI,GAAC,KAAK,GAAC,IAAI,GAAC,KAAK,GAAC,IAAI,GAAC,KAAK,CAAC;IAAA,KAAK,EAAC,MAAM,CAAC;IAAA,KAAK,EAAC,OAAO,CAAA;CAAC,GAAC;IAAC,QAAQ,EAAC,IAAI,CAAC;IAAA,KAAK,EAAC,MAAM,CAAC;IAAA,MAAM,EAAC,OAAO,EAAE,CAAA;CAAC,GAAC;IAAC,QAAQ,EAAC,UAAU,CAAC;IAAA,KAAK,EAAC,MAAM,CAAC;IAAA,KAAK,EAAC,OAAO,CAAA;CAAC,GAAC;IAAC,QAAQ,EAAC,YAAY,GAAC,UAAU,CAAC;IAAA,KAAK,EAAC,MAAM,CAAC;IAAA,KAAK,EAAC,MAAM,CAAA;CAAC,GAAC;IAAC,QAAQ,EAAC,QAAQ,CAAC;IAAA,KAAK,EAAC,MAAM,CAAC;IAAA,MAAM,EAAC,OAAO,CAAA;CAAC,GAAC;IAAC,QAAQ,EAAC,KAAK,GAAC,IAAI,CAAC;IAAA,OAAO,EAAC,WAAW,EAAE,CAAA;CAAC,GAAC;IAAC,QAAQ,EAAC,KAAK,CAAC;IAAA,MAAM,EAAC,WAAW,CAAA;CAAC,CAAC;AAC3X,MAAM,WAAW,cAAc;IAAC,UAAU,EAAC,MAAM,CAAC;IAAA,MAAM,CAAC,EAAC,WAAW,CAAC;IAAA,QAAQ,CAAC,EAAC;QAAC,KAAK,EAAC,MAAM,CAAC;QAAA,SAAS,EAAC,KAAK,GAAC,MAAM,CAAA;KAAC,EAAE,CAAC;IAAA,KAAK,CAAC,EAAC,MAAM,CAAC;IAAA,MAAM,CAAC,EAAC,MAAM,CAAC;IAAA,MAAM,CAAC,EAAC,MAAM,CAAC;IAAA,UAAU,CAAC,EAAC,MAAM,EAAE,CAAC;IAAA,QAAQ,CAAC,EAAC,MAAM,EAAE,CAAC;IAAA,UAAU,CAAC,EAAC;QAAC,IAAI,EAAC,MAAM,CAAC;QAAA,QAAQ,EAAC,OAAO,GAAC,KAAK,GAAC,KAAK,GAAC,KAAK,GAAC,KAAK,CAAC;QAAA,KAAK,CAAC,EAAC,MAAM,CAAA;KAAC,EAAE,CAAC;IAAA,UAAU,CAAC,EAAC;QAAC,KAAK,EAAC,MAAM,CAAC;QAAA,UAAU,EAAC,MAAM,CAAC;QAAA,UAAU,CAAC,EAAC,MAAM,EAAE,CAAC;QAAA,OAAO,EAAC,MAAM,CAAA;KAAC,EAAE,CAAC,CAAA,8IAA8I;IAAA,QAAQ,CAAC,EAAC,KAAK,CAAA;CAAC;AAChhB,MAAM,WAAW,WAAW,CAAC,CAAC,GAAC,MAAM,CAAC,MAAM,EAAC,OAAO,CAAC;IAAE,QAAQ,EAAC,MAAM,CAAC;IAAA,UAAU,EAAC,MAAM,CAAC;IAAA,oBAAoB,EAAC,MAAM,CAAC;IAAA,cAAc,EAAC,MAAM,CAAC;IAAA,aAAa,EAAC,MAAM,CAAC;IAAA,aAAa,EAAC,MAAM,CAAC,MAAM,EAAC,MAAM,CAAC,CAAC;IAAA,OAAO,EAAC,CAAC,EAAE,CAAC;IAAA,UAAU,EAAC,MAAM,CAAC,MAAM,EAAC,OAAO,CAAC,EAAE,CAAC;IAAA,WAAW,CAAC,EAAC,MAAM,CAAC;IAAA,IAAI,EAAC;QAAC,cAAc,EAAC,MAAM,CAAC;QAAA,UAAU,EAAC,MAAM,CAAC;QAAA,KAAK,CAAC,EAAC,MAAM,CAAC;QAAA,aAAa,EAAC,OAAO,CAAA;KAAC,CAAA;CAAC;AAC3V,MAAM,WAAW,oBAAoB;IAAC,IAAI,EAAC,QAAQ,GAAC,QAAQ,GAAC,QAAQ,CAAC;IAAA,UAAU,EAAC,MAAM,CAAC;IAAA,EAAE,EAAC,MAAM,CAAC;IAAA,KAAK,CAAC,EAAC,OAAO,CAAC;IAAA,UAAU,CAAC,EAAC,MAAM,CAAA;CAAC;AACpI,MAAM,WAAW,iBAAiB;IAAC,cAAc,EAAC,MAAM,CAAC;IAAA,aAAa,EAAC,MAAM,CAAC;IAAA,eAAe,EAAC,MAAM,CAAC;IAAA,MAAM,EAAC,WAAW,CAAC;IAAA,YAAY,EAAC,MAAM,CAAC;IAAA,WAAW,EAAC,MAAM,CAAC;IAAA,aAAa,EAAC,MAAM,CAAC,MAAM,EAAC,MAAM,CAAC,CAAC;IAAA,SAAS,EAAC,OAAO,CAAC;IAAA,KAAK,EAAC,OAAO,CAAA;CAAC;AACnO,MAAM,WAAW,YAAY;IAAC,IAAI,EAAC,mBAAmB,GAAC,qBAAqB,GAAC,sBAAsB,GAAC,iBAAiB,GAAC,UAAU,GAAC,iBAAiB,GAAC,eAAe,GAAC,eAAe,GAAC,oBAAoB,GAAC,yBAAyB,GAAC,gBAAgB,GAAC,mBAAmB,GAAC,sBAAsB,CAAC;IAAA,OAAO,EAAC,MAAM,CAAC;IAAA,QAAQ,CAAC,EAAC,OAAO,CAAC;IAAA,MAAM,CAAC,EAAC,OAAO,CAAC;IAAA,QAAQ,CAAC,EAAC,MAAM,CAAC;IAAA,WAAW,CAAC,EAAC,MAAM,CAAC;IAAA,eAAe,CAAC,EAAC,MAAM,CAAA;CAAC;AAE5Y,cAAM,kBAAkB;IACtB,QAAQ,CAAC,UAAU,EAAC,oBAAoB,EAAE,CAAI;IAC9C,UAAU,CAAC,IAAI,EAAC,MAAM;qBAAoB,MAAM,SAAO,OAAO;qBAA0F,MAAM,SAAO,OAAO,YAAU;YAAC,SAAS,CAAC,EAAC,MAAM,CAAA;SAAC;qBAA8G,MAAM,YAAU;YAAC,SAAS,CAAC,EAAC,MAAM,CAAA;SAAC;;CAC3V;AACD,qBAAa,mBAAmB;IAClB,OAAO,CAAC,QAAQ,CAAC,MAAM;IAA8D,OAAO,CAAC,QAAQ,CAAC,OAAO;gBAA5F,MAAM,EAAC;QAAC,aAAa,EAAC,MAAM,CAAC;QAAA,UAAU,EAAC,MAAM,CAAC;QAAA,WAAW,CAAC,EAAC,MAAM,CAAA;KAAC,EAAkB,OAAO,SAAG;YAC9G,OAAO;IAmBrB,MAAM;gBAA4L,WAAW;;IAC7M,YAAY;IACZ,KAAK,CAAC,CAAC,GAAC,MAAM,CAAC,MAAM,EAAC,OAAO,CAAC,EAAE,KAAK,EAAC,cAAc;IAC9C,WAAW,CAAC,IAAI,EAAC,CAAC,EAAE,EAAC,kBAAkB,KAAG,IAAI,GAAC,OAAO,CAAC,IAAI,CAAC,EAAC,OAAO,CAAC,EAAC;QAAC,aAAa,CAAC,EAAC,MAAM,CAAC;QAAA,YAAY,CAAC,EAAC,MAAM,CAAA;KAAC;IACxH,0BAA0B,CAAC,KAAK,EAAC,qBAAqB;CACvD"}