@bjornpagen/bumbledb 1.0.1 → 1.2.0

package/dist/statements.js

@@ -1,13 +1,11 @@
-import { isCapacityWeight, isCapacityWindow, unitWeight } from "#capacity.ts";
-import { isClosedMember, sealedFieldOf } from "#closed.ts";
+import { capacityWeight, capacityWindow, unitWeight } from "#capacity.ts";
+import { isClosedMember, memberDescriptor, sealedFieldOf } from "#closed.ts";
 import { AuthoringError } from "#errors.ts";
-import { renderFace } from "#face.ts";
-import { rosterOf, rostersAgree } from "#fields.ts";
+import { faceDescriptor, renderFace } from "#face.ts";
+import { assertDeclarationRecord, rosterOf, rostersAgree, signaturesAgree } from "#fields.ts";
+import { descriptorCache } from "#immutable.ts";
 import { renderCapacityWindow, renderWeight } from "#spec.ts";
-const admitted = Symbol("bumbledb.statement.admitted");
-function isStatement(value) {
-    return typeof value === "object" && value !== null && admitted in value;
-}
+import { arrayValue, recordValue } from "#values.ts";
 function renderRosterSide(roster) {
     return roster === undefined ? "a bare column" : `a ${roster.name} reference`;
 }
@@ -42,66 +40,6 @@ function assertRosterAgreement(source, target, statement) {
         }
     });
 }
-/**
- * `R(X) -> R` — the FD key form, composite keys as tuples. No selection
- * parameter exists (the FD-with-selection shape is unrepresentable, as in
- * the grammar), and only ordinary relations are accepted: a closed
- * relation's key `R(id) -> R` is materialized by the engine, so an
- * explicit one would only ever be a duplicate. Every projected name is
- * checked against `R`'s field block in the type, and the tuple is carried
- * in the returned value's type ({@link KeyStatement}) — keyed point reads
- * through THIS statement are typed field-for-field, descriptors resolvable
- * through the owner's schema type. A DUPLICATE field in the projection is
- * refused here, at the mint (the engine's `FieldSet` refuses the same
- * duplicate at `Db.create`; canonical utterance says the twice-spelled
- * field is the once-spelled projection respelled) — without this wall a
- * `new Set`-collapsed duplicate could set-match a shorter target
- * projection the engine refuses.
- */
-function key(relation, fields) {
-    if (isClosedMember(relation)) {
-        throw new AuthoringError({
-            message: `key(${relation.name}, ...): closedness already materializes ${relation.name}(id) -> ${relation.name} — an explicit key on a closed relation is rejected as a duplicate`
-        });
-    }
-    const seen = new Set();
-    for (const fieldName of fields) {
-        if (seen.has(fieldName)) {
-            throw new AuthoringError({
-                message: `key(${relation.name}, ...): the projection spells ${fieldName} twice — write it once (the canonical-utterance law: one meaning, one spelling)`
-            });
-        }
-        seen.add(fieldName);
-    }
-    const data = Object.freeze({
-        kind: "key",
-        owner: relation,
-        projection: Object.freeze(fields)
-    });
-    return Object.freeze({ data, [admitted]: true });
-}
-function contained(source, target) {
-    const data = Object.freeze({
-        kind: "containment",
-        source: source.data,
-        target: target.data
-    });
-    const statement = Object.freeze({ data, [admitted]: true });
-    assertArityAgreement(data.source, data.target, statement);
-    assertRosterAgreement(data.source, data.target, statement);
-    return statement;
-}
-function mirrors(source, target) {
-    const data = Object.freeze({
-        kind: "mirrors",
-        source: source.data,
-        target: target.data
-    });
-    const statement = Object.freeze({ data, [admitted]: true });
-    assertArityAgreement(data.source, data.target, statement);
-    assertRosterAgreement(data.source, data.target, statement);
-    return statement;
-}
 function assertWeightOnSource(weight, source, statement) {
     if (weight.kind === "unit") {
         return;
@@ -147,63 +85,106 @@ function assertBoundsOnTarget(window, target, statement) {
         }
     }
 }
-function capacity(target, options) {
-    if (typeof options !== "object" || options === null || !("from" in options) || !("within" in options)) {
-        throw new AuthoringError({
-            message: "capacity takes named options — capacity(target, { from, weight?, within }) (chapter 34's one spelling; the positional arguments are deleted)"
-        });
-    }
-    const windowValue = options.within;
-    const source = options.from;
-    if (!isCapacityWindow(windowValue)) {
-        throw new AuthoringError({
-            message: "a capacity window is minted only by within() — a structural literal skips the ban table (the canonical-utterance law)"
-        });
+function assertShapes(source, target) {
+    for (let i = 0; i < source.projection.length; i++) {
+        const a = sealedFieldOf(source.owner, source.projection[i] ?? "");
+        const b = sealedFieldOf(target.owner, target.projection[i] ?? "");
+        if (a === undefined || b === undefined)
+            throw new AuthoringError({ message: "statement: unknown projected field" });
+        const left = a.kind === "interval" ? { ...a, width: undefined } : a;
+        const right = b.kind === "interval" ? { ...b, width: undefined } : b;
+        if (!signaturesAgree(left, right))
+            throw new AuthoringError({ message: "statement: projected field shapes do not agree" });
     }
-    let weight = unitWeight;
-    if (options.weight !== undefined) {
-        if (!isCapacityWeight(options.weight)) {
+}
+function statementDescriptor(input) {
+    return checkedStatement(input);
+}
+const checkedStatement = descriptorCache((raw) => {
+    const input = recordValue("statement", raw, typeof raw === "object" && raw !== null ? Object.keys(raw) : []);
+    assertDeclarationRecord("statement", input);
+    if (input?.kind === "key") {
+        recordValue("key", input, ["kind", "owner", "projection"]);
+        const owner = memberDescriptor(input.owner);
+        if (isClosedMember(owner))
             throw new AuthoringError({
-                message: "a capacity weight is minted only by weigh() — a structural literal skips the row-local weight wall"
+                message: `key(${owner.name}, ...): closedness already materializes its key; explicit keys on closed relations are duplicates`
             });
+        const projection = arrayValue("key projection", input.projection, (_, value) => {
+            if (typeof value !== "string")
+                throw new AuthoringError({ message: "key: expected a field name" });
+            return value;
+        });
+        if (projection.length === 0)
+            throw new AuthoringError({ message: "key: expected a nonempty field projection" });
+        const seen = new Set();
+        for (const field of projection) {
+            if (typeof field !== "string" || sealedFieldOf(owner, field) === undefined)
+                throw new AuthoringError({ message: `key(${owner.name}, ...): unknown field ${String(field)}` });
+            if (seen.has(field))
+                throw new AuthoringError({ message: `key(${owner.name}, ...): the projection spells ${field} twice` });
+            seen.add(field);
         }
-        weight = options.weight.weight;
+        return Object.freeze({ kind: "key", owner, projection });
     }
-    const window = windowValue.window;
-    // The unit-floor and vacuous-window ban tables are deleted:
-    // `{1..*}`, `{N..*}` and `{0..*}` are accepted canonical laws now.
-    // CapacityDimensionMixing remains — genuinely different semantics.
-    if (weight.kind === "unit" && window.kind === "range" && window.hi.kind === "durationField") {
-        throw new AuthoringError({
-            message: `a unit (count) window against the duration() bound on ${window.hi.field} mixes dimensions (C18) — weigh the source with weigh(duration(field)), or bound by a u64 field or literal`
-        });
+    if (input?.kind !== "containment" && input?.kind !== "mirrors" && input?.kind !== "capacity") {
+        throw new AuthoringError({ message: "statement: unknown kind" });
     }
-    const data = Object.freeze({
+    recordValue("statement", input, input.kind === "capacity" ? ["kind", "target", "weight", "window", "source"] : ["kind", "source", "target"]);
+    const source = faceDescriptor(input.source);
+    const target = faceDescriptor(input.target);
+    const statement = input.kind === "capacity"
+        ? Object.freeze({
+            kind: input.kind,
+            source,
+            target,
+            weight: capacityWeight(input.weight),
+            window: capacityWindow(input.window)
+        })
+        : Object.freeze({ kind: input.kind, source, target });
+    assertArityAgreement(source, target, statement);
+    assertRosterAgreement(source, target, statement);
+    assertShapes(source, target);
+    if (statement.kind === "capacity") {
+        const { weight, window } = statement;
+        if (weight.kind === "unit" && window.kind === "range" && window.hi.kind === "durationField") {
+            throw new AuthoringError({ message: "a unit (count) window against a duration bound mixes dimensions (C18)" });
+        }
+        assertWeightOnSource(weight, source, statement);
+        assertBoundsOnTarget(window, target, statement);
+    }
+    return statement;
+});
+function key(relation, fields) {
+    return statementDescriptor({ kind: "key", owner: relation, projection: fields });
+}
+function contained(source, target) {
+    return statementDescriptor({ kind: "containment", source, target });
+}
+function mirrors(source, target) {
+    return statementDescriptor({ kind: "mirrors", source, target });
+}
+function capacity(target, options) {
+    recordValue("capacity options", options, Object.hasOwn(options, "weight") ? ["from", "weight", "within"] : ["from", "within"]);
+    return statementDescriptor({
         kind: "capacity",
-        target: target.data,
-        weight,
-        window,
-        source: source.data
+        target,
+        source: options.from,
+        weight: options.weight === undefined ? unitWeight : capacityWeight(options.weight),
+        window: capacityWindow(options.within)
     });
-    const statement = Object.freeze({ data, [admitted]: true });
-    assertArityAgreement(data.source, data.target, statement);
-    assertRosterAgreement(data.source, data.target, statement);
-    assertWeightOnSource(weight, data.source, statement);
-    assertBoundsOnTarget(window, data.target, statement);
-    return statement;
 }
 function renderStatement(statement) {
-    const data = statement.data;
-    switch (data.kind) {
+    switch (statement.kind) {
         case "key":
-            return `${data.owner.name}(${data.projection.join(", ")}) -> ${data.owner.name}`;
+            return `${statement.owner.name}(${statement.projection.join(", ")}) -> ${statement.owner.name}`;
         case "containment":
-            return `${renderFace(data.source)} <= ${renderFace(data.target)}`;
+            return `${renderFace(statement.source)} <= ${renderFace(statement.target)}`;
         case "mirrors":
-            return `${renderFace(data.source)} == ${renderFace(data.target)}`;
+            return `${renderFace(statement.source)} == ${renderFace(statement.target)}`;
         case "capacity":
-            return `${renderFace(data.target)} <=${renderWeight(data.weight)}${renderCapacityWindow(data.window)} ${renderFace(data.source)}`;
+            return `${renderFace(statement.target)} <=${renderWeight(statement.weight)}${renderCapacityWindow(statement.window)} ${renderFace(statement.source)}`;
     }
 }
-export { capacity, contained, isStatement, key, mirrors, renderStatement };
+export { capacity, contained, key, mirrors, renderStatement, statementDescriptor };
 //# sourceMappingURL=statements.js.map

package/dist/statements.js.map

@@ -1 +1 @@
-{"version":3,"file":"statements.js","sourceRoot":"","sources":["../src/statements.ts"],"names":[],"mappings":"AAAA,OAAO,EAIN,gBAAgB,EAChB,gBAAgB,EAEhB,UAAU,EAEV,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AAC1D,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAC3C,OAAO,EAA+B,UAAU,EAAmC,MAAM,UAAU,CAAA;AACnG,OAAO,EAAwB,QAAQ,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AAEzE,OAAO,EAA2B,oBAAoB,EAAE,YAAY,EAAmB,MAAM,UAAU,CAAA;AA8BvG,MAAM,QAAQ,GAAkB,MAAM,CAAC,6BAA6B,CAAC,CAAA;AAOrE,SAAS,WAAW,CAAC,KAAc;IAClC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,QAAQ,IAAI,KAAK,CAAA;AACxE,CAAC;AAcD,SAAS,gBAAgB,CAAC,MAAmC;IAC5D,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,IAAI,YAAY,CAAA;AAC7E,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,oBAAoB,CAAC,MAAgB,EAAE,MAAgB,EAAE,SAAoB;IACrF,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,KAAK,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;QAC3D,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,UAAU,CAAC,MAAM,OAAO,MAAM,CAAC,UAAU,CAAC,MAAM,8EAA8E,eAAe,CAAC,SAAS,CAAC,EAAE;SACrS,CAAC,CAAA;IACH,CAAC;AACF,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAgB,EAAE,MAAgB,EAAE,SAAoB;IACtF,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,SAAS,OAAO,CAAC,SAAS,EAAE,QAAQ;QAC7D,MAAM,WAAW,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAA;QAC/C,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC/B,OAAM;QACP,CAAC;QACD,MAAM,YAAY,GAAG,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAA;QACrE,MAAM,YAAY,GAAG,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAA;QACvE,IAAI,CAAC,YAAY,CAAC,YAAY,EAAE,YAAY,CAAC,EAAE,CAAC;YAC/C,MAAM,IAAI,cAAc,CAAC;gBACxB,OAAO,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,SAAS,OAAO,gBAAgB,CAAC,YAAY,CAAC,QAAQ,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,WAAW,OAAO,gBAAgB,CAAC,YAAY,CAAC,gOAAgO,eAAe,CAAC,SAAS,CAAC,EAAE;aACxZ,CAAC,CAAA;QACH,CAAC;IACF,CAAC,CAAC,CAAA;AACH,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,SAAS,GAAG,CAGV,QAAW,EAAE,MAAkB;IAChC,IAAI,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EAAE,OAAO,QAAQ,CAAC,IAAI,2CAA2C,QAAQ,CAAC,IAAI,WAAW,QAAQ,CAAC,IAAI,oEAAoE;SACjL,CAAC,CAAA;IACH,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,KAAK,MAAM,SAAS,IAAI,MAAM,EAAE,CAAC;QAChC,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,cAAc,CAAC;gBACxB,OAAO,EAAE,OAAO,QAAQ,CAAC,IAAI,iCAAiC,SAAS,iFAAiF;aACxJ,CAAC,CAAA;QACH,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;IACpB,CAAC;IACD,MAAM,IAAI,GAA2B,MAAM,CAAC,MAAM,CAAC;QAClD,IAAI,EAAE,KAAK;QACX,KAAK,EAAE,QAAQ;QACf,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;KACjC,CAAC,CAAA;IACF,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAa,EAAE,CAAC,CAAA;AAC1D,CAAC;AAED,SAAS,SAAS,CACjB,MAAS,EACT,MAA8C;IAE9C,MAAM,IAAI,GAA0C,MAAM,CAAC,MAAM,CAAC;QACjE,IAAI,EAAE,aAAa;QACnB,MAAM,EAAE,MAAM,CAAC,IAAI;QACnB,MAAM,EAAE,MAAM,CAAC,IAAI;KACnB,CAAC,CAAA;IACF,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAa,EAAE,CAAC,CAAA;IACpE,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IACzD,qBAAqB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IAC1D,OAAO,SAAS,CAAA;AACjB,CAAC;AAED,SAAS,OAAO,CACf,MAAS,EACT,MAA8C;IAE9C,MAAM,IAAI,GAAsC,MAAM,CAAC,MAAM,CAAC;QAC7D,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,MAAM,CAAC,IAAI;QACnB,MAAM,EAAE,MAAM,CAAC,IAAI;KACnB,CAAC,CAAA;IACF,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAa,EAAE,CAAC,CAAA;IACpE,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IACzD,qBAAqB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IAC1D,OAAO,SAAS,CAAA;AACjB,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAkB,EAAE,MAAgB,EAAE,SAAoB;IACvF,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC5B,OAAM;IACP,CAAC;IACD,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAA;IACvD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,iBAAiB,MAAM,CAAC,KAAK,oGAAoG,eAAe,CAAC,SAAS,CAAC,EAAE;SAC1L,CAAC,CAAA;IACH,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACrD,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,KAAK,OAAO,KAAK,CAAC,IAAI,2HAA2H,eAAe,CAAC,SAAS,CAAC,EAAE;SACrN,CAAC,CAAA;IACH,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAClE,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,KAAK,OAAO,KAAK,CAAC,IAAI,0EAA0E,eAAe,CAAC,SAAS,CAAC,EAAE;SACpK,CAAC,CAAA;IACH,CAAC;AACF,CAAC;AAED,SAAS,oBAAoB,CAAC,MAA0B,EAAE,MAAgB,EAAE,SAAoB;IAC/F,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IAClH,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC1B,SAAQ;QACT,CAAC;QACD,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;QACtD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,IAAI,cAAc,CAAC;gBACxB,OAAO,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,iBAAiB,KAAK,CAAC,KAAK,uHAAuH,eAAe,CAAC,SAAS,CAAC,EAAE;aAC5M,CAAC,CAAA;QACH,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACpD,MAAM,IAAI,cAAc,CAAC;gBACxB,OAAO,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,KAAK,OAAO,KAAK,CAAC,IAAI,wHAAwH,eAAe,CAAC,SAAS,CAAC,EAAE;aACjN,CAAC,CAAA;QACH,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACjE,MAAM,IAAI,cAAc,CAAC;gBACxB,OAAO,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,KAAK,OAAO,KAAK,CAAC,IAAI,6EAA6E,eAAe,CAAC,SAAS,CAAC,EAAE;aACtK,CAAC,CAAA;QACH,CAAC;IACF,CAAC;AACF,CAAC;AAuBD,SAAS,QAAQ,CAChB,MAAe,EACf,OAIC;IAED,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,IAAI,OAAO,CAAC,EAAE,CAAC;QACvG,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EACN,8IAA8I;SAC/I,CAAC,CAAA;IACH,CAAC;IACD,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAA;IAClC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAA;IAC3B,IAAI,CAAC,gBAAgB,CAAC,WAAW,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EACN,uHAAuH;SACxH,CAAC,CAAA;IACH,CAAC;IACD,IAAI,MAAM,GAAe,UAAU,CAAA;IACnC,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAClC,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,cAAc,CAAC;gBACxB,OAAO,EAAE,oGAAoG;aAC7G,CAAC,CAAA;QACH,CAAC;QACD,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAA;IAC/B,CAAC;IACD,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAA;IACjC,4DAA4D;IAC5D,mEAAmE;IACnE,mEAAmE;IACnE,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,EAAE,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC7F,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EAAE,yDAAyD,MAAM,CAAC,EAAE,CAAC,KAAK,4GAA4G;SAC7L,CAAC,CAAA;IACH,CAAC;IACD,MAAM,IAAI,GAAiB,MAAM,CAAC,MAAM,CAAC;QACxC,IAAI,EAAE,UAAU;QAChB,MAAM,EAAE,MAAM,CAAC,IAAI;QACnB,MAAM;QACN,MAAM;QACN,MAAM,EAAE,MAAM,CAAC,IAAI;KACnB,CAAC,CAAA;IACF,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAa,EAAE,CAAC,CAAA;IACpE,oBAAoB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IACzD,qBAAqB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IAC1D,oBAAoB,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IACpD,oBAAoB,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IACpD,OAAO,SAAS,CAAA;AACjB,CAAC;AAED,SAAS,eAAe,CAAC,SAAoB;IAC5C,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAA;IAC3B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,KAAK;YACT,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAA;QACjF,KAAK,aAAa;YACjB,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAA;QAClE,KAAK,SAAS;YACb,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAA;QAClE,KAAK,UAAU;YACd,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,oBAAoB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAA;IACnI,CAAC;AACF,CAAC;AAYD,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,eAAe,EAAE,CAAA"}
+{"version":3,"file":"statements.js","sourceRoot":"","sources":["../src/statements.ts"],"names":[],"mappings":"AAAA,OAAO,EAIN,cAAc,EACd,cAAc,EAEd,UAAU,EAEV,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AAC5E,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAC3C,OAAO,EAAgB,cAAc,EAAE,UAAU,EAAmC,MAAM,UAAU,CAAA;AACpG,OAAO,EAAwB,uBAAuB,EAAE,QAAQ,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AACnH,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAA;AAE/C,OAAO,EAA2B,oBAAoB,EAAE,YAAY,EAAmB,MAAM,UAAU,CAAA;AACvG,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AA0BpD,SAAS,gBAAgB,CAAC,MAAmC;IAC5D,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,IAAI,YAAY,CAAA;AAC7E,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,oBAAoB,CAAC,MAAe,EAAE,MAAe,EAAE,SAAoB;IACnF,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,KAAK,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;QAC3D,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,UAAU,CAAC,MAAM,OAAO,MAAM,CAAC,UAAU,CAAC,MAAM,8EAA8E,eAAe,CAAC,SAAS,CAAC,EAAE;SACrS,CAAC,CAAA;IACH,CAAC;AACF,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAe,EAAE,MAAe,EAAE,SAAoB;IACpF,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,SAAS,OAAO,CAAC,SAAS,EAAE,QAAQ;QAC7D,MAAM,WAAW,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAA;QAC/C,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC/B,OAAM;QACP,CAAC;QACD,MAAM,YAAY,GAAG,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAA;QACrE,MAAM,YAAY,GAAG,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAA;QACvE,IAAI,CAAC,YAAY,CAAC,YAAY,EAAE,YAAY,CAAC,EAAE,CAAC;YAC/C,MAAM,IAAI,cAAc,CAAC;gBACxB,OAAO,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,SAAS,OAAO,gBAAgB,CAAC,YAAY,CAAC,QAAQ,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,WAAW,OAAO,gBAAgB,CAAC,YAAY,CAAC,gOAAgO,eAAe,CAAC,SAAS,CAAC,EAAE;aACxZ,CAAC,CAAA;QACH,CAAC;IACF,CAAC,CAAC,CAAA;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAkB,EAAE,MAAe,EAAE,SAAoB;IACtF,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC5B,OAAM;IACP,CAAC;IACD,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAA;IACvD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,iBAAiB,MAAM,CAAC,KAAK,oGAAoG,eAAe,CAAC,SAAS,CAAC,EAAE;SAC1L,CAAC,CAAA;IACH,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACrD,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,KAAK,OAAO,KAAK,CAAC,IAAI,2HAA2H,eAAe,CAAC,SAAS,CAAC,EAAE;SACrN,CAAC,CAAA;IACH,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAClE,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,KAAK,OAAO,KAAK,CAAC,IAAI,0EAA0E,eAAe,CAAC,SAAS,CAAC,EAAE;SACpK,CAAC,CAAA;IACH,CAAC;AACF,CAAC;AAED,SAAS,oBAAoB,CAAC,MAA0B,EAAE,MAAe,EAAE,SAAoB;IAC9F,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IAClH,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC1B,SAAQ;QACT,CAAC;QACD,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;QACtD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,IAAI,cAAc,CAAC;gBACxB,OAAO,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,iBAAiB,KAAK,CAAC,KAAK,uHAAuH,eAAe,CAAC,SAAS,CAAC,EAAE;aAC5M,CAAC,CAAA;QACH,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACpD,MAAM,IAAI,cAAc,CAAC;gBACxB,OAAO,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,KAAK,OAAO,KAAK,CAAC,IAAI,wHAAwH,eAAe,CAAC,SAAS,CAAC,EAAE;aACjN,CAAC,CAAA;QACH,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACjE,MAAM,IAAI,cAAc,CAAC;gBACxB,OAAO,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,KAAK,OAAO,KAAK,CAAC,IAAI,6EAA6E,eAAe,CAAC,SAAS,CAAC,EAAE;aACtK,CAAC,CAAA;QACH,CAAC;IACF,CAAC;AACF,CAAC;AAED,SAAS,YAAY,CAAC,MAAe,EAAE,MAAe;IACrD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACnD,MAAM,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;QACjE,MAAM,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;QACjE,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS;YAAE,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,oCAAoC,EAAE,CAAC,CAAA;QACnH,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QACnE,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QACpE,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC;YAChC,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,gDAAgD,EAAE,CAAC,CAAA;IACzF,CAAC;AACF,CAAC;AAKD,SAAS,mBAAmB,CAAC,KAAc;IAC1C,OAAO,gBAAgB,CAAC,KAAK,CAAC,CAAA;AAC/B,CAAC;AAED,MAAM,gBAAgB,GAAG,eAAe,CAAC,CAAC,GAAG,EAAa,EAAE;IAC3D,MAAM,KAAK,GAAG,WAAW,CAAC,WAAW,EAAE,GAAG,EAAE,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IAC5G,uBAAuB,CAAC,WAAW,EAAE,KAAK,CAAC,CAAA;IAC3C,IAAI,KAAK,EAAE,IAAI,KAAK,KAAK,EAAE,CAAC;QAC3B,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC,CAAA;QAC1D,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,CAAC,KAAgB,CAAC,CAAA;QACtD,IAAI,cAAc,CAAC,KAAK,CAAC;YACxB,MAAM,IAAI,cAAc,CAAC;gBACxB,OAAO,EAAE,OAAO,KAAK,CAAC,IAAI,mGAAmG;aAC7H,CAAC,CAAA;QACH,MAAM,UAAU,GAAG,UAAU,CAAC,gBAAgB,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;YAC9E,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,4BAA4B,EAAE,CAAC,CAAA;YAClG,OAAO,KAAK,CAAA;QACb,CAAC,CAAC,CAAA;QACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,2CAA2C,EAAE,CAAC,CAAA;QAC/G,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;QAC9B,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;YAChC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,SAAS;gBACzE,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,OAAO,KAAK,CAAC,IAAI,yBAAyB,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAA;YACjG,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;gBAClB,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,OAAO,KAAK,CAAC,IAAI,iCAAiC,KAAK,QAAQ,EAAE,CAAC,CAAA;YACvG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QAChB,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAA;IACzD,CAAC;IACD,IAAI,KAAK,EAAE,IAAI,KAAK,aAAa,IAAI,KAAK,EAAE,IAAI,KAAK,SAAS,IAAI,KAAK,EAAE,IAAI,KAAK,UAAU,EAAE,CAAC;QAC9F,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,yBAAyB,EAAE,CAAC,CAAA;IACjE,CAAC;IACD,WAAW,CACV,WAAW,EACX,KAAK,EACL,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAC3G,CAAA;IACD,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAC3C,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAC3C,MAAM,SAAS,GACd,KAAK,CAAC,IAAI,KAAK,UAAU;QACxB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;YACd,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,MAAM;YACN,MAAM;YACN,MAAM,EAAE,cAAc,CAAC,KAAK,CAAC,MAAM,CAAC;YACpC,MAAM,EAAE,cAAc,CAAC,KAAK,CAAC,MAAM,CAAC;SACpC,CAAC;QACH,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;IACvD,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,CAAA;IAC/C,qBAAqB,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,CAAA;IAChD,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC5B,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACnC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,SAAS,CAAA;QACpC,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,EAAE,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAC7F,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,uEAAuE,EAAE,CAAC,CAAA;QAC/G,CAAC;QACD,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,CAAA;QAC/C,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,CAAA;IAChD,CAAC;IACD,OAAO,SAAS,CAAA;AACjB,CAAC,CAAC,CAAA;AAEF,SAAS,GAAG,CAGV,QAAW,EAAE,MAAkB;IAChC,OAAO,mBAAmB,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAA;AACjF,CAAC;AAED,SAAS,SAAS,CACjB,MAAS,EACT,MAA8C;IAE9C,OAAO,mBAAmB,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;AACpE,CAAC;AAED,SAAS,OAAO,CACf,MAAS,EACT,MAA8C;IAE9C,OAAO,mBAAmB,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;AAChE,CAAC;AAiBD,SAAS,QAAQ,CAChB,MAAe,EACf,OAAwF;IAExF,WAAW,CACV,kBAAkB,EAClB,OAAO,EACP,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,CACpF,CAAA;IACD,OAAO,mBAAmB,CAAC;QAC1B,IAAI,EAAE,UAAU;QAChB,MAAM;QACN,MAAM,EAAE,OAAO,CAAC,IAAI;QACpB,MAAM,EAAE,OAAO,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC;QAClF,MAAM,EAAE,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC;KACtC,CAAC,CAAA;AACH,CAAC;AAED,SAAS,eAAe,CAAC,SAAoB;IAC5C,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,KAAK;YACT,OAAO,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,IAAI,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,CAAA;QAChG,KAAK,aAAa;YACjB,OAAO,GAAG,UAAU,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,UAAU,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAA;QAC5E,KAAK,SAAS;YACb,OAAO,GAAG,UAAU,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,UAAU,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAA;QAC5E,KAAK,UAAU;YACd,OAAO,GAAG,UAAU,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,YAAY,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,oBAAoB,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAA;IACvJ,CAAC;AACF,CAAC;AAGD,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE,eAAe,EAAE,mBAAmB,EAAE,CAAA"}

package/dist/values.d.ts

@@ -0,0 +1,25 @@
+import type { AnyField, Infer } from "./fields.js";
+import type { ValueSpec } from "./spec.js";
+declare const U64_MAX = 18446744073709551615n;
+declare const I64_MIN = -9223372036854775808n;
+declare const I64_MAX = 9223372036854775807n;
+/** Validate the complete record shape without reading any field getter. */
+declare function recordValue(context: string, input: unknown, fields: readonly string[]): Readonly<Record<string, unknown>>;
+/** Own a dense data array without invoking caller element accessors or methods. */
+declare function arrayValue<A>(context: string, input: unknown, parse: (context: string, input: unknown) => A): readonly A[];
+declare function integerValue(context: string, kind: "u64" | "i64", input: unknown): bigint;
+/** Read typed-array internal slots through the intrinsic getters, never a
+ * caller's shadowed buffer/length properties or custom iterator. */
+declare function bytesValue(context: string, input: unknown): Uint8Array;
+/**
+ * The host interpreter of a field descriptor. All ingress paths use the
+ * same range, width, ownership and canonicalization rules. Native admission
+ * remains authoritative; this interpreter mirrors its value domain.
+ */
+declare function fieldValue<F extends AnyField>(context: string, field: F, input: unknown): Infer<F>;
+/** One checked host value to the native logical scalar description. */
+declare function taggedValueOf(context: string, field: AnyField, input: unknown): ValueSpec;
+/** Check a generated logical value through the same field interpreter. */
+declare function valueDescriptor(context: string, input: unknown): ValueSpec;
+export { arrayValue, bytesValue, fieldValue, I64_MAX, I64_MIN, integerValue, recordValue, taggedValueOf, U64_MAX, valueDescriptor };
+//# sourceMappingURL=values.d.ts.map

package/dist/values.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"values.d.ts","sourceRoot":"","sources":["../src/values.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AACjD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,UAAU,CAAA;AAGzC,QAAA,MAAM,OAAO,wBAAsB,CAAA;AACnC,QAAA,MAAM,OAAO,wBAAuB,CAAA;AACpC,QAAA,MAAM,OAAO,uBAAsB,CAAA;AAMnC,2EAA2E;AAC3E,iBAAS,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAuBlH;AAED,mFAAmF;AACnF,iBAAS,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,KAAK,CAAC,GAAG,SAAS,CAAC,EAAE,CAgBnH;AAED,iBAAS,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,GAAG,KAAK,EAAE,KAAK,EAAE,OAAO,GAAG,MAAM,CAMlF;AAQD;oEACoE;AACpE,iBAAS,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,UAAU,CAgB/D;AAED;;;;GAIG;AACH,iBAAS,UAAU,CAAC,CAAC,SAAS,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;AA6C5F,uEAAuE;AACvE,iBAAS,aAAa,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,GAAG,SAAS,CA6BlF;AAED,0EAA0E;AAC1E,iBAAS,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,SAAS,CAkCnE;AAED,OAAO,EACN,UAAU,EACV,UAAU,EACV,UAAU,EACV,OAAO,EACP,OAAO,EACP,YAAY,EACZ,WAAW,EACX,aAAa,EACb,OAAO,EACP,eAAe,EACf,CAAA"}

package/dist/values.js

@@ -0,0 +1,203 @@
+import { AuthoringError } from "#errors.ts";
+import { Uuid } from "#uuid.ts";
+const U64_MAX = 0xffffffffffffffffn;
+const I64_MIN = -0x8000000000000000n;
+const I64_MAX = 0x7fffffffffffffffn;
+function invalid(context, expected, code = "InvalidValue") {
+    throw new AuthoringError({ message: `${context}: expected ${expected}`, diagnostic: { code, context, expected } });
+}
+/** Validate the complete record shape without reading any field getter. */
+function recordValue(context, input, fields) {
+    if (typeof input !== "object" || input === null) {
+        return invalid(context, "a plain record", "InvalidRecord");
+    }
+    const prototype = Object.getPrototypeOf(input);
+    if (prototype !== Object.prototype && prototype !== null) {
+        return invalid(context, "a plain record", "InvalidRecord");
+    }
+    for (const name of Reflect.ownKeys(input)) {
+        if (typeof name !== "string" || !fields.includes(name)) {
+            return invalid(`${context}.${String(name)}`, "only the declared fields", "UnknownField");
+        }
+        const property = Object.getOwnPropertyDescriptor(input, name);
+        if (property?.enumerable !== true || !("value" in property)) {
+            return invalid(`${context}.${name}`, "enumerable own data fields", "InvalidRecord");
+        }
+    }
+    for (const name of fields) {
+        if (!Object.hasOwn(input, name)) {
+            return invalid(`${context}.${name}`, "a required own field", "MissingField");
+        }
+    }
+    return input;
+}
+/** Own a dense data array without invoking caller element accessors or methods. */
+function arrayValue(context, input, parse) {
+    if (!Array.isArray(input))
+        return invalid(context, "an array", "InvalidRecord");
+    for (const name of Reflect.ownKeys(input)) {
+        if (name === "length")
+            continue;
+        if (typeof name !== "string" || !/^(0|[1-9][0-9]*)$/.test(name) || Number(name) >= input.length)
+            return invalid(context, "only array elements", "InvalidRecord");
+        const property = Object.getOwnPropertyDescriptor(input, name);
+        if (property?.enumerable !== true || !("value" in property))
+            return invalid(context, "own data elements", "InvalidRecord");
+    }
+    const result = [];
+    for (let index = 0; index < input.length; index++) {
+        if (!Object.hasOwn(input, index))
+            return invalid(`${context}[${index}]`, "a present element", "MissingField");
+        result.push(parse(`${context}[${index}]`, input[index]));
+    }
+    return Object.freeze(result);
+}
+function integerValue(context, kind, input) {
+    if (typeof input !== "bigint")
+        return invalid(context, `${kind} bigint`);
+    const minimum = kind === "u64" ? 0n : I64_MIN;
+    const maximum = kind === "u64" ? U64_MAX : I64_MAX;
+    if (input < minimum || input > maximum)
+        return invalid(context, `${kind} bigint in range`);
+    return input;
+}
+function floatValue(context, input) {
+    if (typeof input !== "number")
+        return invalid(context, "number");
+    if (Number.isNaN(input))
+        return Number.NaN;
+    return Object.is(input, -0) ? 0 : input;
+}
+/** Read typed-array internal slots through the intrinsic getters, never a
+ * caller's shadowed buffer/length properties or custom iterator. */
+function bytesValue(context, input) {
+    if (!(input instanceof Uint8Array))
+        return invalid(context, "Uint8Array");
+    const prototype = Object.getPrototypeOf(Uint8Array.prototype);
+    const buffer = Reflect.get(prototype, "buffer", input);
+    if (!(buffer instanceof ArrayBuffer))
+        throw new AuthoringError({
+            message: `${context}: SharedArrayBuffer-backed views are refused`,
+            diagnostic: { code: "InvalidValue", context, expected: "ArrayBuffer-backed bytes" }
+        });
+    const offset = Reflect.get(prototype, "byteOffset", input);
+    const length = Reflect.get(prototype, "byteLength", input);
+    try {
+        return new Uint8Array(new Uint8Array(buffer, offset, length));
+    }
+    catch {
+        return invalid(context, "non-detached bytes");
+    }
+}
+function fieldValue(context, field, input) {
+    if ("closed" in field) {
+        if (typeof input !== "string" || !field.closed.handles.includes(input)) {
+            return invalid(context, `a ${field.closed.name} handle`);
+        }
+        return input;
+    }
+    switch (field.kind) {
+        case "bool":
+            return typeof input === "boolean" ? input : invalid(context, "boolean");
+        case "str":
+            return typeof input === "string" && input.isWellFormed() ? input : invalid(context, "well-formed string");
+        case "u64":
+        case "i64":
+            return integerValue(context, field.kind, input);
+        case "f64":
+            return floatValue(context, input);
+        case "uuid":
+            return Uuid.isUuid(input) ? input : invalid(context, "canonical UUID text");
+        case "bytes": {
+            const owned = bytesValue(context, input);
+            if (owned.byteLength !== field.width)
+                return invalid(context, `bytes<${field.width}>`);
+            return owned;
+        }
+        case "interval": {
+            const record = recordValue(context, input, ["start", "end"]);
+            if (field.element === "f64") {
+                const start = floatValue(`${context}.start`, record.start);
+                const end = floatValue(`${context}.end`, record.end);
+                if (!(start < end))
+                    return invalid(context, "a nonempty float interval with non-NaN endpoints");
+                return Object.freeze({ start, end });
+            }
+            const start = integerValue(`${context}.start`, field.element, record.start);
+            const end = integerValue(`${context}.end`, field.element, record.end);
+            if (start >= end)
+                return invalid(context, "a nonempty interval (start < end)");
+            const maximumEnd = field.element === "u64" ? U64_MAX : I64_MAX;
+            if (field.width !== undefined && (end === maximumEnd || end - start !== field.width)) {
+                return invalid(context, `a finite interval of width ${field.width}`);
+            }
+            return Object.freeze({ start, end });
+        }
+    }
+}
+/** One checked host value to the native logical scalar description. */
+function taggedValueOf(context, field, input) {
+    if ("closed" in field) {
+        const handle = fieldValue(context, field, input);
+        return { kind: "u64", value: BigInt(field.closed.handles.indexOf(handle)) };
+    }
+    switch (field.kind) {
+        case "bool":
+            return { kind: "bool", value: fieldValue(context, field, input) };
+        case "str":
+            return { kind: "string", value: fieldValue(context, field, input) };
+        case "u64":
+            return { kind: "u64", value: fieldValue(context, field, input) };
+        case "i64":
+            return { kind: "i64", value: fieldValue(context, field, input) };
+        case "f64":
+            return { kind: "f64", value: fieldValue(context, field, input) };
+        case "uuid":
+            return { kind: "uuid", value: fieldValue(context, field, input) };
+        case "bytes":
+            return { kind: "fixedBytes", value: fieldValue(context, field, input) };
+        case "interval": {
+            if (field.element === "f64") {
+                const value = fieldValue(context, { ...field, element: "f64" }, input);
+                return { kind: "intervalF64", ...value };
+            }
+            const value = fieldValue(context, { ...field, element: field.element }, input);
+            return { kind: field.element === "u64" ? "intervalU64" : "intervalI64", ...value };
+        }
+    }
+}
+/** Check a generated logical value through the same field interpreter. */
+function valueDescriptor(context, input) {
+    if (typeof input !== "object" || input === null)
+        return invalid(context, "a tagged value", "InvalidRecord");
+    const tag = recordValue(context, input, Object.keys(input)).kind;
+    const intervalElement = { intervalU64: "u64", intervalI64: "i64", intervalF64: "f64" };
+    if (tag === "intervalU64" || tag === "intervalI64" || tag === "intervalF64") {
+        const raw = recordValue(context, input, ["kind", "start", "end"]);
+        return Object.freeze(taggedValueOf(context, { kind: "interval", element: intervalElement[tag], width: undefined }, { start: raw.start, end: raw.end }));
+    }
+    const raw = recordValue(context, input, ["kind", "value"]);
+    if (tag === "fixedBytes") {
+        const bytes = bytesValue(context, raw.value);
+        if (bytes.byteLength < 1 || bytes.byteLength > 64)
+            return invalid(context, "bytes with width 1 through 64");
+        return Object.freeze({ kind: "fixedBytes", value: bytes });
+    }
+    if (tag === "string")
+        return Object.freeze(taggedValueOf(context, { kind: "str" }, raw.value));
+    switch (tag) {
+        case "bool":
+            return Object.freeze(taggedValueOf(context, { kind: tag }, raw.value));
+        case "u64":
+            return Object.freeze(taggedValueOf(context, { kind: tag }, raw.value));
+        case "i64":
+            return Object.freeze(taggedValueOf(context, { kind: tag }, raw.value));
+        case "f64":
+            return Object.freeze(taggedValueOf(context, { kind: tag }, raw.value));
+        case "uuid":
+            return Object.freeze(taggedValueOf(context, { kind: tag }, raw.value));
+    }
+    return invalid(context, "a supported value tag", "InvalidDeclaration");
+}
+export { arrayValue, bytesValue, fieldValue, I64_MAX, I64_MIN, integerValue, recordValue, taggedValueOf, U64_MAX, valueDescriptor };
+//# sourceMappingURL=values.js.map

package/dist/values.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"values.js","sourceRoot":"","sources":["../src/values.ts"],"names":[],"mappings":"AAAA,OAAO,EAA4B,cAAc,EAAE,MAAM,YAAY,CAAA;AAGrE,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAA;AAE/B,MAAM,OAAO,GAAG,mBAAmB,CAAA;AACnC,MAAM,OAAO,GAAG,CAAC,mBAAmB,CAAA;AACpC,MAAM,OAAO,GAAG,mBAAmB,CAAA;AAEnC,SAAS,OAAO,CAAC,OAAe,EAAE,QAAgB,EAAE,IAAI,GAAgC,cAAc;IACrG,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,GAAG,OAAO,cAAc,QAAQ,EAAE,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAA;AACnH,CAAC;AAED,2EAA2E;AAC3E,SAAS,WAAW,CAAC,OAAe,EAAE,KAAc,EAAE,MAAyB;IAC9E,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACjD,OAAO,OAAO,CAAC,OAAO,EAAE,gBAAgB,EAAE,eAAe,CAAC,CAAA;IAC3D,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAA;IAC9C,IAAI,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QAC1D,OAAO,OAAO,CAAC,OAAO,EAAE,gBAAgB,EAAE,eAAe,CAAC,CAAA;IAC3D,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3C,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACxD,OAAO,OAAO,CAAC,GAAG,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,0BAA0B,EAAE,cAAc,CAAC,CAAA;QACzF,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;QAC7D,IAAI,QAAQ,EAAE,UAAU,KAAK,IAAI,IAAI,CAAC,CAAC,OAAO,IAAI,QAAQ,CAAC,EAAE,CAAC;YAC7D,OAAO,OAAO,CAAC,GAAG,OAAO,IAAI,IAAI,EAAE,EAAE,4BAA4B,EAAE,eAAe,CAAC,CAAA;QACpF,CAAC;IACF,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;YACjC,OAAO,OAAO,CAAC,GAAG,OAAO,IAAI,IAAI,EAAE,EAAE,sBAAsB,EAAE,cAAc,CAAC,CAAA;QAC7E,CAAC;IACF,CAAC;IACD,OAAO,KAA0C,CAAA;AAClD,CAAC;AAED,mFAAmF;AACnF,SAAS,UAAU,CAAI,OAAe,EAAE,KAAc,EAAE,KAA6C;IACpG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC,OAAO,EAAE,UAAU,EAAE,eAAe,CAAC,CAAA;IAC/E,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3C,IAAI,IAAI,KAAK,QAAQ;YAAE,SAAQ;QAC/B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM;YAC9F,OAAO,OAAO,CAAC,OAAO,EAAE,qBAAqB,EAAE,eAAe,CAAC,CAAA;QAChE,MAAM,QAAQ,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;QAC7D,IAAI,QAAQ,EAAE,UAAU,KAAK,IAAI,IAAI,CAAC,CAAC,OAAO,IAAI,QAAQ,CAAC;YAC1D,OAAO,OAAO,CAAC,OAAO,EAAE,mBAAmB,EAAE,eAAe,CAAC,CAAA;IAC/D,CAAC;IACD,MAAM,MAAM,GAAQ,EAAE,CAAA;IACtB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACnD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC;YAAE,OAAO,OAAO,CAAC,GAAG,OAAO,IAAI,KAAK,GAAG,EAAE,mBAAmB,EAAE,cAAc,CAAC,CAAA;QAC7G,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,OAAO,IAAI,KAAK,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IACzD,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;AAC7B,CAAC;AAED,SAAS,YAAY,CAAC,OAAe,EAAE,IAAmB,EAAE,KAAc;IACzE,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,OAAO,CAAC,OAAO,EAAE,GAAG,IAAI,SAAS,CAAC,CAAA;IACxE,MAAM,OAAO,GAAG,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAA;IAC7C,MAAM,OAAO,GAAG,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAA;IAClD,IAAI,KAAK,GAAG,OAAO,IAAI,KAAK,GAAG,OAAO;QAAE,OAAO,OAAO,CAAC,OAAO,EAAE,GAAG,IAAI,kBAAkB,CAAC,CAAA;IAC1F,OAAO,KAAK,CAAA;AACb,CAAC;AAED,SAAS,UAAU,CAAC,OAAe,EAAE,KAAc;IAClD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;IAChE,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,GAAG,CAAA;IAC1C,OAAO,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;AACxC,CAAC;AAED;oEACoE;AACpE,SAAS,UAAU,CAAC,OAAe,EAAE,KAAc;IAClD,IAAI,CAAC,CAAC,KAAK,YAAY,UAAU,CAAC;QAAE,OAAO,OAAO,CAAC,OAAO,EAAE,YAAY,CAAC,CAAA;IACzE,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;IAC7D,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAA;IACtD,IAAI,CAAC,CAAC,MAAM,YAAY,WAAW,CAAC;QACnC,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EAAE,GAAG,OAAO,8CAA8C;YACjE,UAAU,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,QAAQ,EAAE,0BAA0B,EAAE;SACnF,CAAC,CAAA;IACH,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,YAAY,EAAE,KAAK,CAAC,CAAA;IAC1D,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,YAAY,EAAE,KAAK,CAAC,CAAA;IAC1D,IAAI,CAAC;QACJ,OAAO,IAAI,UAAU,CAAC,IAAI,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;IAC9D,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,OAAO,CAAC,OAAO,EAAE,oBAAoB,CAAC,CAAA;IAC9C,CAAC;AACF,CAAC;AAQD,SAAS,UAAU,CAAC,OAAe,EAAE,KAAe,EAAE,KAAc;IACnE,IAAI,QAAQ,IAAI,KAAK,EAAE,CAAC;QACvB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACxE,OAAO,OAAO,CAAC,OAAO,EAAE,KAAK,KAAK,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,CAAA;QACzD,CAAC;QACD,OAAO,KAAK,CAAA;IACb,CAAC;IACD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,MAAM;YACV,OAAO,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAA;QACxE,KAAK,KAAK;YACT,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,oBAAoB,CAAC,CAAA;QAC1G,KAAK,KAAK,CAAC;QACX,KAAK,KAAK;YACT,OAAO,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;QAChD,KAAK,KAAK;YACT,OAAO,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;QAClC,KAAK,MAAM;YACV,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,qBAAqB,CAAC,CAAA;QAC5E,KAAK,OAAO,EAAE,CAAC;YACd,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;YACxC,IAAI,KAAK,CAAC,UAAU,KAAK,KAAK,CAAC,KAAK;gBAAE,OAAO,OAAO,CAAC,OAAO,EAAE,SAAS,KAAK,CAAC,KAAK,GAAG,CAAC,CAAA;YACtF,OAAO,KAAK,CAAA;QACb,CAAC;QACD,KAAK,UAAU,EAAE,CAAC;YACjB,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAA;YAC5D,IAAI,KAAK,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;gBAC7B,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,OAAO,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,CAAA;gBAC1D,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,OAAO,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAA;gBACpD,IAAI,CAAC,CAAC,KAAK,GAAG,GAAG,CAAC;oBAAE,OAAO,OAAO,CAAC,OAAO,EAAE,kDAAkD,CAAC,CAAA;gBAC/F,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAA;YACrC,CAAC;YACD,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,OAAO,QAAQ,EAAE,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,CAAA;YAC3E,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,OAAO,MAAM,EAAE,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,CAAA;YACrE,IAAI,KAAK,IAAI,GAAG;gBAAE,OAAO,OAAO,CAAC,OAAO,EAAE,mCAAmC,CAAC,CAAA;YAC9E,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAA;YAC9D,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,GAAG,KAAK,UAAU,IAAI,GAAG,GAAG,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;gBACtF,OAAO,OAAO,CAAC,OAAO,EAAE,8BAA8B,KAAK,CAAC,KAAK,EAAE,CAAC,CAAA;YACrE,CAAC;YACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAA;QACrC,CAAC;IACF,CAAC;AACF,CAAC;AAED,uEAAuE;AACvE,SAAS,aAAa,CAAC,OAAe,EAAE,KAAe,EAAE,KAAc;IACtE,IAAI,QAAQ,IAAI,KAAK,EAAE,CAAC;QACvB,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;QAChD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAA;IAC5E,CAAC;IACD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,MAAM;YACV,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAA;QAClE,KAAK,KAAK;YACT,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAA;QACpE,KAAK,KAAK;YACT,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAA;QACjE,KAAK,KAAK;YACT,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAA;QACjE,KAAK,KAAK;YACT,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAA;QACjE,KAAK,MAAM;YACV,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAA;QAClE,KAAK,OAAO;YACX,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAA;QACxE,KAAK,UAAU,EAAE,CAAC;YACjB,IAAI,KAAK,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;gBAC7B,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,EAAE,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,KAAK,CAAC,CAAA;gBACtE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,KAAK,EAAE,CAAA;YACzC,CAAC;YACD,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,EAAE,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,EAAE,KAAK,CAAC,CAAA;YAC9E,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,aAAa,EAAE,GAAG,KAAK,EAAE,CAAA;QACnF,CAAC;IACF,CAAC;AACF,CAAC;AAED,0EAA0E;AAC1E,SAAS,eAAe,CAAC,OAAe,EAAE,KAAc;IACvD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,OAAO,CAAC,OAAO,EAAE,gBAAgB,EAAE,eAAe,CAAC,CAAA;IAC3G,MAAM,GAAG,GAAG,WAAW,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAA;IAChE,MAAM,eAAe,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAW,CAAA;IAC/F,IAAI,GAAG,KAAK,aAAa,IAAI,GAAG,KAAK,aAAa,IAAI,GAAG,KAAK,aAAa,EAAE,CAAC;QAC7E,MAAM,GAAG,GAAG,WAAW,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAA;QACjE,OAAO,MAAM,CAAC,MAAM,CACnB,aAAa,CACZ,OAAO,EACP,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,EACrE,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAClC,CACD,CAAA;IACF,CAAC;IACD,MAAM,GAAG,GAAG,WAAW,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;IAC1D,IAAI,GAAG,KAAK,YAAY,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,EAAE,GAAG,CAAC,KAAK,CAAC,CAAA;QAC5C,IAAI,KAAK,CAAC,UAAU,GAAG,CAAC,IAAI,KAAK,CAAC,UAAU,GAAG,EAAE;YAAE,OAAO,OAAO,CAAC,OAAO,EAAE,+BAA+B,CAAC,CAAA;QAC3G,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;IAC3D,CAAC;IACD,IAAI,GAAG,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAA;IAC9F,QAAQ,GAAG,EAAE,CAAC;QACb,KAAK,MAAM;YACV,OAAO,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAA;QACvE,KAAK,KAAK;YACT,OAAO,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAA;QACvE,KAAK,KAAK;YACT,OAAO,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAA;QACvE,KAAK,KAAK;YACT,OAAO,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAA;QACvE,KAAK,MAAM;YACV,OAAO,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAA;IACxE,CAAC;IACD,OAAO,OAAO,CAAC,OAAO,EAAE,uBAAuB,EAAE,oBAAoB,CAAC,CAAA;AACvE,CAAC;AAED,OAAO,EACN,UAAU,EACV,UAAU,EACV,UAAU,EACV,OAAO,EACP,OAAO,EACP,YAAY,EACZ,WAAW,EACX,aAAa,EACb,OAAO,EACP,eAAe,EACf,CAAA"}

package/pack-provenance.json

@@ -1,7 +1,7 @@
 {
-	"candidateSourceDigest": "2889a1f3027f53bdb6082570e9f215dfe27363d123593bae1f5cf479a217da4f",
+	"candidateSourceDigest": "d4cf5cc7671b7a15bf12106752a9fb770b0d535655878f5667267e2331eae14e",
 	"specificationRevision": "87e9a83ee21d1f843c73ac6e7057b2b740db75aae70a553b8053b4f38e87bd2d",
-	"stagedAt": "2026-09-07T15:15:57.980Z",
+	"stagedAt": "2026-09-10T23:35:44.901Z",
 	"package": "@bjornpagen/bumbledb",
-	"version": "1.0.1"
+	"version": "1.2.0"
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@bjornpagen/bumbledb",
-  "version": "1.0.1",
+  "version": "1.2.0",
   "description": "Effect-native embedded relational database for TypeScript: typed schemas and queries, exact floats, commit-time constraints",
   "type": "module",
   "exports": {
@@ -57,8 +57,8 @@
   },
   "private": false,
   "optionalDependencies": {
-    "@bjornpagen/bumbledb-darwin-arm64": "1.0.1",
-    "@bjornpagen/bumbledb-linux-arm64": "1.0.1",
-    "@bjornpagen/bumbledb-linux-x64": "1.0.1"
+    "@bjornpagen/bumbledb-darwin-arm64": "1.2.0",
+    "@bjornpagen/bumbledb-linux-arm64": "1.2.0",
+    "@bjornpagen/bumbledb-linux-x64": "1.2.0"
   }
 }