@bjornpagen/bumbledb 1.0.1 → 1.2.0

package/dist/codec.js

@@ -1,20 +1,35 @@
 import { Effect, Schema as EffectSchema, Result } from "effect";
+import { membersAgree } from "#closed.ts";
 import { schemaTables } from "#compile.ts";
 import { dbNative } from "#db-native.ts";
-import { isFloatIntervalValue, isIntervalValue, rosterOf } from "#fields.ts";
+import { AuthoringError } from "#errors.ts";
 import { lower } from "#lower.ts";
+import { relationDescriptor, relationFields } from "#relation.ts";
 import { factOfCells, flatRowsOf } from "#rows.ts";
-import { nativeOperationWith, policyWire, runtimeHandle } from "#runtime.ts";
-import { DbError } from "#runtime-errors.ts";
+import { nativeOperationWith, runtimeHandle } from "#runtime.ts";
+import { argumentError, DbError } from "#runtime-errors.ts";
+import { schemaDescriptor } from "#schema.ts";
 import { f64BitsHex } from "#spec.ts";
-import { Uuid } from "#uuid.ts";
+import { fieldValue, recordValue } from "#values.ts";
 function rowShape(schema, relation) {
-    return Object.freeze({ schema, relation });
+    const ownedSchema = schemaDescriptor(schema);
+    const ownedRelation = relationDescriptor(relation);
+    return Object.freeze({ schema: ownedSchema, relation: ownedRelation });
+}
+function checkedRowShape(operation, input) {
+    recordValue(`${operation} shape`, input, ["schema", "relation"]);
+    const schema = schemaDescriptor(input.schema);
+    const relation = relationDescriptor(input.relation);
+    const relationId = schemaTables(schema).relationIds.get(relation.name);
+    if (relationId === undefined || !membersAgree(schema.relations[relation.name], relation)) {
+        throw new AuthoringError({ message: `${operation}: relation is not declared in the schema` });
+    }
+    return { relation, relationId, spec: lower(schema) };
 }
 function invalid(operation) {
     return new DbError({ operation, reason: { _tag: "InvalidArgument" } });
 }
-const DECIMAL = /^-?(?:0|[1-9][0-9]*)$/;
+const DECIMAL = /^(?:0|-?[1-9][0-9]*)$/;
 const HEX16 = /^[0-9a-f]{16}$/;
 const LOWER_HEX = /^(?:[0-9a-f]{2})*$/;
 function hexOfBytes(bytes) {
@@ -48,242 +63,152 @@ function f64OfHex(text) {
     }
     return value;
 }
-/** One host value to its schema-tagged JSON form (pure, bounded). */
-function encodeBoundaryValue(field, value) {
-    const roster = rosterOf(field);
-    if (roster !== undefined) {
-        if (typeof value !== "string" || !roster.handles.includes(value)) {
-            throw invalid("encodeBoundaryRows");
-        }
-        return value;
-    }
+/** One host value to its canonical, field-directed JSON representation. */
+function encodeBoundaryValue(context, field, input) {
+    if ("closed" in field)
+        return fieldValue(context, field, input);
     switch (field.kind) {
-        case "bool": {
-            if (typeof value !== "boolean") {
-                throw invalid("encodeBoundaryRows");
-            }
-            return value;
-        }
+        case "bool":
+        case "str":
+        case "uuid":
+            return fieldValue(context, field, input);
         case "u64":
-        case "i64": {
-            if (typeof value !== "bigint") {
-                throw invalid("encodeBoundaryRows");
-            }
-            return value.toString(10);
-        }
-        case "f64": {
-            if (typeof value !== "number") {
-                throw invalid("encodeBoundaryRows");
-            }
-            return { $f64: f64BitsHex(value) };
-        }
-        case "uuid": {
-            if (!Uuid.isUuid(value)) {
-                throw invalid("encodeBoundaryRows");
-            }
-            return value;
-        }
-        case "str": {
-            if (typeof value !== "string" || !value.isWellFormed()) {
-                throw invalid("encodeBoundaryRows");
-            }
-            return value;
-        }
-        case "bytes": {
-            if (!(value instanceof Uint8Array) || value.byteLength !== field.width) {
-                throw invalid("encodeBoundaryRows");
-            }
-            return hexOfBytes(value);
-        }
+        case "i64":
+            return fieldValue(context, field, input).toString(10);
+        case "f64":
+            return { $f64: f64BitsHex(fieldValue(context, field, input)) };
+        case "bytes":
+            return hexOfBytes(fieldValue(context, field, input));
         case "interval": {
             if (field.element === "f64") {
-                if (!isFloatIntervalValue(value)) {
-                    throw invalid("encodeBoundaryRows");
-                }
+                const value = fieldValue(context, { ...field, element: "f64" }, input);
                 return { start: { $f64: f64BitsHex(value.start) }, end: { $f64: f64BitsHex(value.end) } };
             }
-            if (!isIntervalValue(value)) {
-                throw invalid("encodeBoundaryRows");
-            }
+            const value = fieldValue(context, { ...field, element: field.element }, input);
             return { start: value.start.toString(10), end: value.end.toString(10) };
         }
     }
 }
-const U64_MAX = 0xffffffffffffffffn;
-const I64_MIN = -0x8000000000000000n;
-const I64_MAX = 0x7fffffffffffffffn;
-function decodeInteger(kind, value) {
-    if (typeof value !== "string" || !DECIMAL.test(value)) {
-        return undefined;
-    }
-    const parsed = BigInt(value);
-    if (kind === "u64" && (parsed < 0n || parsed > U64_MAX)) {
+function decodeInteger(value) {
+    // No accepted integer spelling is longer than 20 ASCII characters.
+    if (typeof value !== "string" || value.length > 20 || !DECIMAL.test(value))
         return undefined;
-    }
-    if (kind === "i64" && (parsed < I64_MIN || parsed > I64_MAX)) {
-        return undefined;
-    }
-    // Canonical decimal only (no leading zeros, no "-0") — DECIMAL enforces.
-    return parsed;
+    return BigInt(value);
 }
 function decodeTaggedF64(value) {
-    if (typeof value !== "object" || value === null || !("$f64" in value)) {
-        return undefined;
-    }
-    const keys = Object.keys(value);
-    if (keys.length !== 1) {
-        return undefined;
-    }
-    return f64OfHex(value.$f64);
+    const record = recordValue("binary64 image", value, ["$f64"]);
+    return f64OfHex(record.$f64);
 }
-/** One schema-tagged JSON form back to the host value (strict, pure). */
-function decodeBoundaryValue(field, value) {
-    const roster = rosterOf(field);
-    if (roster !== undefined) {
-        return typeof value === "string" && roster.handles.includes(value) ? value : undefined;
-    }
+/** Decode representation, then judge the value through the shared interpreter. */
+function decodeBoundaryValue(context, field, input) {
+    if ("closed" in field)
+        return fieldValue(context, field, input);
+    let decoded = input;
     switch (field.kind) {
-        case "bool":
-            return typeof value === "boolean" ? value : undefined;
         case "u64":
         case "i64":
-            return decodeInteger(field.kind, value);
+            decoded = decodeInteger(input);
+            break;
         case "f64":
-            return decodeTaggedF64(value);
-        case "uuid":
-            return Uuid.isUuid(value) ? value : undefined;
-        case "str":
-            return typeof value === "string" && value.isWellFormed() ? value : undefined;
-        case "bytes": {
-            if (typeof value !== "string" || value.length !== field.width * 2) {
-                return undefined;
-            }
-            return bytesOfHex(value);
-        }
+            decoded = decodeTaggedF64(input);
+            break;
+        case "bytes":
+            decoded = typeof input === "string" && input.length === field.width * 2 ? bytesOfHex(input) : undefined;
+            break;
         case "interval": {
-            if (typeof value !== "object" || value === null || !("start" in value) || !("end" in value)) {
-                return undefined;
-            }
-            const raw = value;
-            if (field.element === "f64") {
-                const start = decodeTaggedF64(raw.start);
-                const end = decodeTaggedF64(raw.end);
-                if (start === undefined || end === undefined || Number.isNaN(start) || Number.isNaN(end) || !(start < end)) {
-                    return undefined;
-                }
-                return Object.freeze({ start, end });
-            }
-            const start = decodeInteger(field.element, raw.start);
-            const end = decodeInteger(field.element, raw.end);
-            if (start === undefined || end === undefined || start >= end) {
-                return undefined;
-            }
-            return Object.freeze({ start, end });
+            const record = recordValue(context, input, ["start", "end"]);
+            decoded =
+                field.element === "f64"
+                    ? { start: decodeTaggedF64(record.start), end: decodeTaggedF64(record.end) }
+                    : { start: decodeInteger(record.start), end: decodeInteger(record.end) };
+            break;
         }
     }
+    return fieldValue(context, field, decoded);
 }
-/** Pure schema-tagged JSON encoding of owned rows (bounded per call). */
+/** Pure schema-tagged JSON encoding of complete rows. */
 function encodeBoundaryRows(relation, rows) {
     return Result.try({
         try: () => {
             const out = [];
+            const fields = relationFields(relation);
+            const names = fields.map((declared) => declared.name);
             for (const row of rows) {
-                const record = {};
-                for (const declared of relation.data.fields) {
-                    record[declared.name] = encodeBoundaryValue(declared.field, row[declared.name]);
-                }
-                out.push(Object.freeze(record));
+                const input = recordValue(`relation ${relation.name}`, row, names);
+                out.push(Object.freeze(Object.fromEntries(fields.map((declared) => [
+                    declared.name,
+                    encodeBoundaryValue(`relation ${relation.name}.${declared.name}`, declared.field, input[declared.name])
+                ]))));
             }
             return Object.freeze(out);
         },
-        catch: (cause) => (cause instanceof DbError ? cause : invalid("encodeBoundaryRows"))
+        catch: (cause) => argumentError("encodeBoundaryRows", cause)
     });
 }
-/** Pure strict decoding of schema-tagged JSON rows; any refusal is typed. */
+/** Pure strict decoding; malformed records, getters and values fail as data. */
 function decodeBoundaryRows(relation, input) {
-    if (!Array.isArray(input)) {
-        return Result.fail(invalid("decodeBoundaryRows"));
-    }
-    const out = [];
-    for (const raw of input) {
-        if (typeof raw !== "object" || raw === null) {
-            return Result.fail(invalid("decodeBoundaryRows"));
-        }
-        const record = {};
-        for (const declared of relation.data.fields) {
-            const decoded = decodeBoundaryValue(declared.field, raw[declared.name]);
-            if (decoded === undefined) {
-                return Result.fail(invalid("decodeBoundaryRows"));
-            }
-            record[declared.name] = decoded;
-        }
-        // Unknown extra keys refuse: wrong-schema values never pass.
-        for (const key of Object.keys(raw)) {
-            if (!(key in record)) {
-                return Result.fail(invalid("decodeBoundaryRows"));
-            }
-        }
-        out.push(Object.freeze(record));
-    }
-    return Result.succeed(Object.freeze(out));
+    return Result.try({
+        try: () => {
+            if (!Array.isArray(input))
+                throw invalid("decodeBoundaryRows");
+            const fields = relationFields(relation);
+            const names = fields.map((declared) => declared.name);
+            return Object.freeze(input.map((row) => {
+                const raw = recordValue(`relation ${relation.name}`, row, names);
+                return Object.freeze(Object.fromEntries(fields.map((declared) => [
+                    declared.name,
+                    decodeBoundaryValue(`relation ${relation.name}.${declared.name}`, declared.field, raw[declared.name])
+                ])));
+            }));
+        },
+        catch: (cause) => argumentError("decodeBoundaryRows", cause)
+    });
 }
-/**
- * An Effect Schema for one relation's typed row, DERIVED from the core
- * descriptors (a validation-only declaration; the canonical `$f64`/decimal
- * wire form stays this module's explicit codec — Effect Schema's generic
- * JSON number encoding is not Bumbledb's `$f64` codec).
- */
+/** An Effect Schema derived from the same complete-row value interpreter. */
 function rowSchema(relation) {
+    const fields = relationFields(relation);
+    const names = fields.map((declared) => declared.name);
     return EffectSchema.declare((value) => {
-        if (typeof value !== "object" || value === null) {
+        try {
+            const record = recordValue(`relation ${relation.name}`, value, names);
+            for (const declared of fields)
+                fieldValue(`relation ${relation.name}.${declared.name}`, declared.field, record[declared.name]);
+            return true;
+        }
+        catch {
             return false;
         }
-        const record = value;
-        return relation.data.fields.every(function checkField(declared) {
-            const cell = record[declared.name];
-            if (cell === undefined) {
-                return false;
-            }
-            return Result.isSuccess(Result.try({
-                try: () => encodeBoundaryValue(declared.field, cell),
-                catch: () => invalid("rowSchema")
-            }));
-        });
     });
 }
 /**
- * The charged CANONICAL native row codec (chapter 35 roster): owned bytes
+ * The canonical native row codec (chapter 35 roster): owned bytes
  * out, owned typed rows back in — the same implementation log sealing and
  * migrations use. Binding parameters is ingestion: input must stay stable
  * through execution, and no native work starts before the checked owned
  * chunk exists.
  */
-const encodeRows = Effect.fn("encodeRows")(function* (shape, rows, work) {
+const encodeRows = Effect.fn("encodeRows")(function* (shape, rows) {
     const runtime = yield* runtimeHandle();
-    const tables = schemaTables(shape.schema);
-    const relationId = tables.relationIds.get(shape.relation.name);
-    if (relationId === undefined || shape.schema.relations[shape.relation.name] !== shape.relation) {
-        return yield* Effect.fail(invalid("encodeRows"));
-    }
+    const { relation, relationId, spec } = yield* Effect.try({
+        try: () => checkedRowShape("encodeRows", shape),
+        catch: (cause) => argumentError("encodeRows", cause)
+    });
     const flat = yield* Effect.try({
-        try: () => flatRowsOf(shape.relation.data, rows),
-        catch: (cause) => (cause instanceof DbError ? cause : invalid("encodeRows"))
+        try: () => flatRowsOf(relation, rows),
+        catch: (cause) => argumentError("encodeRows", cause)
     });
-    const spec = lower(shape.schema);
-    return yield* nativeOperationWith("encodeRows", (callback) => dbNative.runtimeEncodeRows(runtime, policyWire(work, "encodeRows"), spec, relationId, flat.rows, flat.cells, callback), dbNative.runtimeBytesTake, (bytes) => bytes);
+    return yield* nativeOperationWith("encodeRows", (callback) => dbNative.runtimeEncodeRows(runtime, spec, relationId, flat.rows, flat.cells, callback), dbNative.runtimeBytesTake, (bytes) => bytes);
 });
-const decodeRows = Effect.fn("decodeRows")(function* (shape, input, work) {
+const decodeRows = Effect.fn("decodeRows")(function* (shape, input) {
     const runtime = yield* runtimeHandle();
-    const tables = schemaTables(shape.schema);
-    const relationId = tables.relationIds.get(shape.relation.name);
-    if (relationId === undefined || shape.schema.relations[shape.relation.name] !== shape.relation) {
-        return yield* Effect.fail(invalid("decodeRows"));
-    }
+    const { relation, relationId, spec } = yield* Effect.try({
+        try: () => checkedRowShape("decodeRows", shape),
+        catch: (cause) => argumentError("decodeRows", cause)
+    });
     if (!(input instanceof Uint8Array) || !(input.buffer instanceof ArrayBuffer)) {
         return yield* Effect.fail(invalid("decodeRows"));
     }
-    const spec = lower(shape.schema);
-    return yield* nativeOperationWith("decodeRows", (callback) => dbNative.runtimeDecodeRows(runtime, policyWire(work, "decodeRows"), spec, relationId, input, callback), dbNative.runtimeRowsTake, (rows) => Object.freeze(rows.map((row) => factOfCells(shape.relation, row))));
+    return yield* nativeOperationWith("decodeRows", (callback) => dbNative.runtimeDecodeRows(runtime, spec, relationId, input, callback), dbNative.runtimeRowsTake, (rows) => Object.freeze(rows.map((row) => factOfCells(relation, row))));
 });
 export { decodeBoundaryRows, decodeRows, encodeBoundaryRows, encodeRows, rowSchema, rowShape };
 //# sourceMappingURL=codec.js.map

package/dist/codec.js.map

@@ -1 +1 @@
-{"version":3,"file":"codec.js","sourceRoot":"","sources":["../src/codec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,IAAI,YAAY,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAC1C,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAExC,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAC5E,OAAO,EAAE,KAAK,EAAE,MAAM,WAAW,CAAA;AAGjC,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAElD,OAAO,EAAE,mBAAmB,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAC5E,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAA;AAG5C,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AACrC,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAA;AA8B/B,SAAS,QAAQ,CAAwC,MAAS,EAAE,QAAW;IAC9E,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAA;AAC3C,CAAC;AAED,SAAS,OAAO,CAAC,SAAiB;IACjC,OAAO,IAAI,OAAO,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,EAAE,CAAC,CAAA;AACvE,CAAC;AAED,MAAM,OAAO,GAAG,uBAAuB,CAAA;AACvC,MAAM,KAAK,GAAG,gBAAgB,CAAA;AAC9B,MAAM,SAAS,GAAG,oBAAoB,CAAA;AAEtC,SAAS,UAAU,CAAC,KAAiB;IACpC,IAAI,GAAG,GAAG,EAAE,CAAA;IACZ,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QAC1B,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;IAC1C,CAAC;IACD,OAAO,GAAG,CAAA;AACX,CAAC;AAED,SAAS,UAAU,CAAC,IAAY;IAC/B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO,SAAS,CAAA;IACjB,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAC3C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,GAAG,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACpD,GAAG,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IACvE,CAAC;IACD,OAAO,GAAG,CAAA;AACX,CAAC;AAED,SAAS,QAAQ,CAAC,IAAa;IAC9B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,OAAO,SAAS,CAAA;IACjB,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAA;IAChC,MAAM,KAAK,GAAG,IAAI,QAAQ,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,CAAA;IAC9C,KAAK,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;IAC3B,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAA;IACjC,uEAAuE;IACvE,IAAI,UAAU,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;QAChC,OAAO,SAAS,CAAA;IACjB,CAAC;IACD,OAAO,KAAK,CAAA;AACb,CAAC;AAED,qEAAqE;AACrE,SAAS,mBAAmB,CAAC,KAAe,EAAE,KAAc;IAC3D,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;IAC9B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QAC1B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAClE,MAAM,OAAO,CAAC,oBAAoB,CAAC,CAAA;QACpC,CAAC;QACD,OAAO,KAAK,CAAA;IACb,CAAC;IACD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,MAAM,EAAE,CAAC;YACb,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;gBAChC,MAAM,OAAO,CAAC,oBAAoB,CAAC,CAAA;YACpC,CAAC;YACD,OAAO,KAAK,CAAA;QACb,CAAC;QACD,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,EAAE,CAAC;YACZ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC/B,MAAM,OAAO,CAAC,oBAAoB,CAAC,CAAA;YACpC,CAAC;YACD,OAAO,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;QAC1B,CAAC;QACD,KAAK,KAAK,EAAE,CAAC;YACZ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC/B,MAAM,OAAO,CAAC,oBAAoB,CAAC,CAAA;YACpC,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,CAAA;QACnC,CAAC;QACD,KAAK,MAAM,EAAE,CAAC;YACb,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,MAAM,OAAO,CAAC,oBAAoB,CAAC,CAAA;YACpC,CAAC;YACD,OAAO,KAAK,CAAA;QACb,CAAC;QACD,KAAK,KAAK,EAAE,CAAC;YACZ,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,EAAE,CAAC;gBACxD,MAAM,OAAO,CAAC,oBAAoB,CAAC,CAAA;YACpC,CAAC;YACD,OAAO,KAAK,CAAA;QACb,CAAC;QACD,KAAK,OAAO,EAAE,CAAC;YACd,IAAI,CAAC,CAAC,KAAK,YAAY,UAAU,CAAC,IAAI,KAAK,CAAC,UAAU,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC;gBACxE,MAAM,OAAO,CAAC,oBAAoB,CAAC,CAAA;YACpC,CAAC;YACD,OAAO,UAAU,CAAC,KAAK,CAAC,CAAA;QACzB,CAAC;QACD,KAAK,UAAU,EAAE,CAAC;YACjB,IAAI,KAAK,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;gBAC7B,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,EAAE,CAAC;oBAClC,MAAM,OAAO,CAAC,oBAAoB,CAAC,CAAA;gBACpC,CAAC;gBACD,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,CAAA;YAC1F,CAAC;YACD,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7B,MAAM,OAAO,CAAC,oBAAoB,CAAC,CAAA;YACpC,CAAC;YACD,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAA;QACxE,CAAC;IACF,CAAC;AACF,CAAC;AAED,MAAM,OAAO,GAAG,mBAAmB,CAAA;AACnC,MAAM,OAAO,GAAG,CAAC,mBAAmB,CAAA;AACpC,MAAM,OAAO,GAAG,mBAAmB,CAAA;AAEnC,SAAS,aAAa,CAAC,IAAmB,EAAE,KAAc;IACzD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACvD,OAAO,SAAS,CAAA;IACjB,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;IAC5B,IAAI,IAAI,KAAK,KAAK,IAAI,CAAC,MAAM,GAAG,EAAE,IAAI,MAAM,GAAG,OAAO,CAAC,EAAE,CAAC;QACzD,OAAO,SAAS,CAAA;IACjB,CAAC;IACD,IAAI,IAAI,KAAK,KAAK,IAAI,CAAC,MAAM,GAAG,OAAO,IAAI,MAAM,GAAG,OAAO,CAAC,EAAE,CAAC;QAC9D,OAAO,SAAS,CAAA;IACjB,CAAC;IACD,yEAAyE;IACzE,OAAO,MAAM,CAAA;AACd,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACtC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC,EAAE,CAAC;QACvE,OAAO,SAAS,CAAA;IACjB,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IAC/B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,SAAS,CAAA;IACjB,CAAC;IACD,OAAO,QAAQ,CAAE,KAAoC,CAAC,IAAI,CAAC,CAAA;AAC5D,CAAC;AAED,yEAAyE;AACzE,SAAS,mBAAmB,CAAC,KAAe,EAAE,KAAc;IAC3D,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;IAC9B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;IACvF,CAAC;IACD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,MAAM;YACV,OAAO,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;QACtD,KAAK,KAAK,CAAC;QACX,KAAK,KAAK;YACT,OAAO,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;QACxC,KAAK,KAAK;YACT,OAAO,eAAe,CAAC,KAAK,CAAC,CAAA;QAC9B,KAAK,MAAM;YACV,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;QAC9C,KAAK,KAAK;YACT,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;QAC7E,KAAK,OAAO,EAAE,CAAC;YACd,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;gBACnE,OAAO,SAAS,CAAA;YACjB,CAAC;YACD,OAAO,UAAU,CAAC,KAAK,CAAC,CAAA;QACzB,CAAC;QACD,KAAK,UAAU,EAAE,CAAC;YACjB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,KAAK,CAAC,EAAE,CAAC;gBAC7F,OAAO,SAAS,CAAA;YACjB,CAAC;YACD,MAAM,GAAG,GAAG,KAA2D,CAAA;YACvE,IAAI,KAAK,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;gBAC7B,MAAM,KAAK,GAAG,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;gBACxC,MAAM,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;gBACpC,IAAI,KAAK,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,GAAG,CAAC,EAAE,CAAC;oBAC5G,OAAO,SAAS,CAAA;gBACjB,CAAC;gBACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAA;YACrC,CAAC;YACD,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,CAAC,KAAK,CAAC,CAAA;YACrD,MAAM,GAAG,GAAG,aAAa,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,CAAA;YACjD,IAAI,KAAK,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,IAAI,KAAK,IAAI,GAAG,EAAE,CAAC;gBAC9D,OAAO,SAAS,CAAA;YACjB,CAAC;YACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAA;QACrC,CAAC;IACF,CAAC;AACF,CAAC;AAED,yEAAyE;AACzE,SAAS,kBAAkB,CAC1B,QAAW,EACX,IAAuB;IAEvB,OAAO,MAAM,CAAC,GAAG,CAAC;QACjB,GAAG,EAAE,GAAG,EAAE;YACT,MAAM,GAAG,GAA6C,EAAE,CAAA;YACxD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACxB,MAAM,MAAM,GAA4B,EAAE,CAAA;gBAC1C,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;oBAC7C,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAC1C,QAAQ,CAAC,KAAK,EACb,GAAyC,CAAC,QAAQ,CAAC,IAAI,CAAC,CACzD,CAAA;gBACF,CAAC;gBACD,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAA;YAChC,CAAC;YACD,OAAO,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QAC1B,CAAC;QACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,YAAY,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;KACpF,CAAC,CAAA;AACH,CAAC;AAED,6EAA6E;AAC7E,SAAS,kBAAkB,CAC1B,QAAW,EACX,KAAc;IAEd,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC,CAAA;IAClD,CAAC;IACD,MAAM,GAAG,GAAmB,EAAE,CAAA;IAC9B,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YAC7C,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC,CAAA;QAClD,CAAC;QACD,MAAM,MAAM,GAA4B,EAAE,CAAA;QAC1C,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YAC7C,MAAM,OAAO,GAAG,mBAAmB,CAAC,QAAQ,CAAC,KAAK,EAAG,GAAyC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAA;YAC9G,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC3B,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC,CAAA;YAClD,CAAC;YACD,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,OAAO,CAAA;QAChC,CAAC;QACD,6DAA6D;QAC7D,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACpC,IAAI,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC,EAAE,CAAC;gBACtB,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC,CAAA;YAClD,CAAC;QACF,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAY,CAAC,CAAA;IAC3C,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;AAC1C,CAAC;AAED;;;;;GAKG;AACH,SAAS,SAAS,CAAwB,QAAW;IACpD,OAAO,YAAY,CAAC,OAAO,CAAC,CAAC,KAAc,EAAoB,EAAE;QAChE,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACjD,OAAO,KAAK,CAAA;QACb,CAAC;QACD,MAAM,MAAM,GAAG,KAA0C,CAAA;QACzD,OAAO,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,UAAU,CAAC,QAAQ;YAC7D,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;YAClC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACxB,OAAO,KAAK,CAAA;YACb,CAAC;YACD,OAAO,MAAM,CAAC,SAAS,CACtB,MAAM,CAAC,GAAG,CAAC;gBACV,GAAG,EAAE,GAAG,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;gBACpD,KAAK,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC;aACjC,CAAC,CACF,CAAA;QACF,CAAC,CAAC,CAAA;IACH,CAAC,CAAC,CAAA;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,GAAG,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,QAAQ,CAAC,EACnD,KAAkB,EAClB,IAAuB,EACvB,IAAqB;IAErB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,aAAa,EAAE,CAAA;IACtC,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IACzC,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;IAC9D,IAAI,UAAU,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;QAChG,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAA;IACjD,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;QAC9B,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAwB,CAAC;QACpE,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,YAAY,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;KAC5E,CAAC,CAAA;IACF,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAChC,OAAO,KAAK,CAAC,CAAC,mBAAmB,CAChC,YAAY,EACZ,CAAC,QAAQ,EAAE,EAAE,CACZ,QAAQ,CAAC,iBAAiB,CACzB,OAAO,EACP,UAAU,CAAC,IAAI,EAAE,YAAY,CAAC,EAC9B,IAAI,EACJ,UAAU,EACV,IAAI,CAAC,IAAI,EACT,IAAI,CAAC,KAAK,EACV,QAAQ,CACR,EACF,QAAQ,CAAC,gBAAgB,EACzB,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAChB,CAAA;AACF,CAAC,CAAC,CAAA;AAEF,MAAM,UAAU,GAAG,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,QAAQ,CAAC,EACnD,KAAkB,EAClB,KAAiB,EACjB,IAAqB;IAErB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,aAAa,EAAE,CAAA;IACtC,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IACzC,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;IAC9D,IAAI,UAAU,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;QAChG,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAA;IACjD,CAAC;IACD,IAAI,CAAC,CAAC,KAAK,YAAY,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,YAAY,WAAW,CAAC,EAAE,CAAC;QAC9E,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAA;IACjD,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAChC,OAAO,KAAK,CAAC,CAAC,mBAAmB,CAChC,YAAY,EACZ,CAAC,QAAQ,EAAE,EAAE,CACZ,QAAQ,CAAC,iBAAiB,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,EAAE,YAAY,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,CAAC,EACvG,QAAQ,CAAC,eAAe,EACxB,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,QAAQ,EAAE,GAA2B,CAAC,CAAC,CAAC,CACpG,CAAA;AACF,CAAC,CAAC,CAAA;AAGF,OAAO,EAAE,kBAAkB,EAAE,UAAU,EAAE,kBAAkB,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAA"}
+{"version":3,"file":"codec.js","sourceRoot":"","sources":["../src/codec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,IAAI,YAAY,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAC1C,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AACxC,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAE3C,OAAO,EAAE,KAAK,EAAE,MAAM,WAAW,CAAA;AACjC,OAAO,EAA+B,kBAAkB,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAE9F,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAClD,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAChE,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAA;AAE3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAE7C,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AACrC,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AA8BpD,SAAS,QAAQ,CAAwC,MAAS,EAAE,QAAW;IAC9E,MAAM,WAAW,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAA;IAC5C,MAAM,aAAa,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAA;IAClD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,CAAA;AACvE,CAAC;AAED,SAAS,eAAe,CAAwB,SAAiB,EAAE,KAAkB;IACpF,WAAW,CAAC,GAAG,SAAS,QAAQ,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAA;IAChE,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAC7C,MAAM,QAAQ,GAAG,kBAAkB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;IACnD,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;IACtE,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC1F,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,GAAG,SAAS,0CAA0C,EAAE,CAAC,CAAA;IAC9F,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAA;AACrD,CAAC;AAED,SAAS,OAAO,CAAC,SAAiB;IACjC,OAAO,IAAI,OAAO,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,EAAE,CAAC,CAAA;AACvE,CAAC;AAED,MAAM,OAAO,GAAG,uBAAuB,CAAA;AACvC,MAAM,KAAK,GAAG,gBAAgB,CAAA;AAC9B,MAAM,SAAS,GAAG,oBAAoB,CAAA;AAEtC,SAAS,UAAU,CAAC,KAAiB;IACpC,IAAI,GAAG,GAAG,EAAE,CAAA;IACZ,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QAC1B,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;IAC1C,CAAC;IACD,OAAO,GAAG,CAAA;AACX,CAAC;AAED,SAAS,UAAU,CAAC,IAAY;IAC/B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO,SAAS,CAAA;IACjB,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAC3C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,GAAG,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACpD,GAAG,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IACvE,CAAC;IACD,OAAO,GAAG,CAAA;AACX,CAAC;AAED,SAAS,QAAQ,CAAC,IAAa;IAC9B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,OAAO,SAAS,CAAA;IACjB,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAA;IAChC,MAAM,KAAK,GAAG,IAAI,QAAQ,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,CAAA;IAC9C,KAAK,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;IAC3B,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAA;IACjC,uEAAuE;IACvE,IAAI,UAAU,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;QAChC,OAAO,SAAS,CAAA;IACjB,CAAC;IACD,OAAO,KAAK,CAAA;AACb,CAAC;AAED,2EAA2E;AAC3E,SAAS,mBAAmB,CAAC,OAAe,EAAE,KAAe,EAAE,KAAc;IAC5E,IAAI,QAAQ,IAAI,KAAK;QAAE,OAAO,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;IAC/D,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,MAAM,CAAC;QACZ,KAAK,KAAK,CAAC;QACX,KAAK,MAAM;YACV,OAAO,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;QACzC,KAAK,KAAK,CAAC;QACX,KAAK,KAAK;YACT,OAAO,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;QACtD,KAAK,KAAK;YACT,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAA;QAC/D,KAAK,OAAO;YACX,OAAO,UAAU,CAAC,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;QACrD,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,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,CAAA;YAC1F,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,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAA;QACxE,CAAC;IACF,CAAC;AACF,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACpC,mEAAmE;IACnE,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAA;IAC5F,OAAO,MAAM,CAAC,KAAK,CAAC,CAAA;AACrB,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACtC,MAAM,MAAM,GAAG,WAAW,CAAC,gBAAgB,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;IAC7D,OAAO,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;AAC7B,CAAC;AAED,kFAAkF;AAClF,SAAS,mBAAmB,CAAC,OAAe,EAAE,KAAe,EAAE,KAAc;IAC5E,IAAI,QAAQ,IAAI,KAAK;QAAE,OAAO,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;IAC/D,IAAI,OAAO,GAAY,KAAK,CAAA;IAC5B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,KAAK,CAAC;QACX,KAAK,KAAK;YACT,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,CAAA;YAC9B,MAAK;QACN,KAAK,KAAK;YACT,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,CAAA;YAChC,MAAK;QACN,KAAK,OAAO;YACX,OAAO,GAAG,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;YACvG,MAAK;QACN,KAAK,UAAU,EAAE,CAAC;YACjB,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAA;YAC5D,OAAO;gBACN,KAAK,CAAC,OAAO,KAAK,KAAK;oBACtB,CAAC,CAAC,EAAE,KAAK,EAAE,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,eAAe,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE;oBAC5E,CAAC,CAAC,EAAE,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAA;YAC1E,MAAK;QACN,CAAC;IACF,CAAC;IACD,OAAO,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAA;AAC3C,CAAC;AAED,yDAAyD;AACzD,SAAS,kBAAkB,CAC1B,QAAW,EACX,IAAuB;IAEvB,OAAO,MAAM,CAAC,GAAG,CAAC;QACjB,GAAG,EAAE,GAAG,EAAE;YACT,MAAM,GAAG,GAA6C,EAAE,CAAA;YACxD,MAAM,MAAM,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAA;YACvC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;YACrD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACxB,MAAM,KAAK,GAAG,WAAW,CAAC,YAAY,QAAQ,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;gBAClE,GAAG,CAAC,IAAI,CACP,MAAM,CAAC,MAAM,CACZ,MAAM,CAAC,WAAW,CACjB,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;oBACxB,QAAQ,CAAC,IAAI;oBACb,mBAAmB,CAAC,YAAY,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,IAAI,EAAE,EAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;iBACvG,CAAC,CACF,CACD,CACD,CAAA;YACF,CAAC;YACD,OAAO,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QAC1B,CAAC;QACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,oBAAoB,EAAE,KAAK,CAAC;KAC5D,CAAC,CAAA;AACH,CAAC;AAED,gFAAgF;AAChF,SAAS,kBAAkB,CAC1B,QAAW,EACX,KAAc;IAEd,OAAO,MAAM,CAAC,GAAG,CAAC;QACjB,GAAG,EAAE,GAAG,EAAE;YACT,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;gBAAE,MAAM,OAAO,CAAC,oBAAoB,CAAC,CAAA;YAC9D,MAAM,MAAM,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAA;YACvC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;YACrD,OAAO,MAAM,CAAC,MAAM,CACnB,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;gBACjB,MAAM,GAAG,GAAG,WAAW,CAAC,YAAY,QAAQ,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;gBAChE,OAAO,MAAM,CAAC,MAAM,CACnB,MAAM,CAAC,WAAW,CACjB,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;oBACxB,QAAQ,CAAC,IAAI;oBACb,mBAAmB,CAAC,YAAY,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,IAAI,EAAE,EAAE,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;iBACrG,CAAC,CACF,CACU,CAAA;YACb,CAAC,CAAC,CACF,CAAA;QACF,CAAC;QACD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,oBAAoB,EAAE,KAAK,CAAC;KAC5D,CAAC,CAAA;AACH,CAAC;AAED,6EAA6E;AAC7E,SAAS,SAAS,CAAwB,QAAW;IACpD,MAAM,MAAM,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAA;IACvC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;IACrD,OAAO,YAAY,CAAC,OAAO,CAAC,CAAC,KAAc,EAAoB,EAAE;QAChE,IAAI,CAAC;YACJ,MAAM,MAAM,GAAG,WAAW,CAAC,YAAY,QAAQ,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;YACrE,KAAK,MAAM,QAAQ,IAAI,MAAM;gBAC5B,UAAU,CAAC,YAAY,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,IAAI,EAAE,EAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAA;YAChG,OAAO,IAAI,CAAA;QACZ,CAAC;QAAC,MAAM,CAAC;YACR,OAAO,KAAK,CAAA;QACb,CAAC;IACF,CAAC,CAAC,CAAA;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,GAAG,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,QAAQ,CAAC,EACnD,KAAkB,EAClB,IAAuB;IAEvB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,aAAa,EAAE,CAAA;IACtC,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;QACxD,GAAG,EAAE,GAAG,EAAE,CAAC,eAAe,CAAC,YAAY,EAAE,KAAK,CAAC;QAC/C,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,YAAY,EAAE,KAAK,CAAC;KACpD,CAAC,CAAA;IACF,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;QAC9B,GAAG,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,QAAQ,EAAE,IAAwB,CAAC;QACzD,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,YAAY,EAAE,KAAK,CAAC;KACpD,CAAC,CAAA;IACF,OAAO,KAAK,CAAC,CAAC,mBAAmB,CAChC,YAAY,EACZ,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,iBAAiB,CAAC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,EACpG,QAAQ,CAAC,gBAAgB,EACzB,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAChB,CAAA;AACF,CAAC,CAAC,CAAA;AAEF,MAAM,UAAU,GAAG,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,QAAQ,CAAC,EAAyB,KAAkB,EAAE,KAAiB;IACjH,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,aAAa,EAAE,CAAA;IACtC,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;QACxD,GAAG,EAAE,GAAG,EAAE,CAAC,eAAe,CAAC,YAAY,EAAE,KAAK,CAAC;QAC/C,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,YAAY,EAAE,KAAK,CAAC;KACpD,CAAC,CAAA;IACF,IAAI,CAAC,CAAC,KAAK,YAAY,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,YAAY,WAAW,CAAC,EAAE,CAAC;QAC9E,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAA;IACjD,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,mBAAmB,CAChC,YAAY,EACZ,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,iBAAiB,CAAC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,CAAC,EACpF,QAAQ,CAAC,eAAe,EACxB,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,WAAW,CAAC,QAAQ,EAAE,GAA2B,CAAC,CAAC,CAAC,CAC9F,CAAA;AACF,CAAC,CAAC,CAAA;AAGF,OAAO,EAAE,kBAAkB,EAAE,UAAU,EAAE,kBAAkB,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAA"}

package/dist/compile.d.ts

@@ -1,17 +1,15 @@
 import { Effect } from "effect";
 import type { SchemaClasses } from "./law.js";
 import type { SealedDescriptor } from "./native.js";
-import type { ExecutionPolicy } from "./runtime.js";
+import type { AnyRelation } from "./relation.js";
 import type { AnySchema, Schema as SchemaDeclaration, SchemaRelations } from "./schema.js";
+import { type KeyStatement, type Statement } from "./statements.js";
 /**
  * `SchemaId` — the engine's canonical schema fingerprint as lowercase hex.
- * Independent of database identity; a branded string so arbitrary text does
- * not typecheck where a schema identity is required.
+ * Independent of database identity; ordinary structural text. Native
+ * boundaries verify the fingerprint wherever it grants admission.
  */
-declare const schemaIdBrand: unique symbol;
-type SchemaId = string & {
-    readonly [schemaIdBrand]: "bumbledb.SchemaId";
-};
+type SchemaId = string;
 /**
  * `CompiledSchema<S>` — bounded detached immutable descriptor data plus the
  * canonical `schemaId`. NOT a tenant handle or a second
@@ -29,20 +27,21 @@ interface CompiledSchema<S extends AnySchema> {
  * ids (declaration order = ids), materialized statement ids (closed
  * relations' auto-handle keys FIRST in relation-declaration order, then
  * declared statements in declaration order with `mirrors` occupying two
- * consecutive slots, source-first — the theory's `StatementId` law), and
- * each relation's primary key (a closed relation's synthetic `(id)`,
- * otherwise its FIRST declared `key` statement).
+ * consecutive slots, source-first — the theory's `StatementId` law).
+ * Every declared statement retains its own native identity; no key is
+ * privileged by its position in the declaration.
  */
-interface PrimaryKey {
-    readonly statementId: number;
-    readonly projection: readonly string[];
-}
 interface SchemaTables {
     readonly relationIds: ReadonlyMap<string, number>;
-    readonly primaryKeys: ReadonlyMap<string, PrimaryKey>;
+    readonly statementIds: ReadonlyMap<Statement, number>;
 }
 /** Memoized pure tables (per schema value identity; no native work). */
 declare function schemaTables(theory: AnySchema): SchemaTables;
+/** Resolve a logical key declaration, never an opaque constructor token. */
+declare function declaredKey<R extends AnyRelation>(theory: AnySchema, input: KeyStatement<R>): {
+    readonly key: KeyStatement<R>;
+    readonly statementId: number;
+} | undefined;
 /**
  * The declaration-tier `Schema<Rels, Classes>` TYPE (from `#schema.ts`),
  * re-aliased LOCALLY so the one name carries both meanings through a
@@ -60,8 +59,8 @@ type Schema<Rels extends SchemaRelations, Classes extends SchemaClasses = Schema
  * the effectful half. One exported name, two meanings.
  */
 declare const Schema: Readonly<{
-    compile: <S extends AnySchema>(schema: S, work: ExecutionPolicy) => Effect.Effect<CompiledSchema<S>, import("./runtime-errors.js").DbError, import("./runtime.js").NativeRuntime>;
+    compile: <S extends AnySchema>(schema: S) => Effect.Effect<CompiledSchema<S>, import("./runtime-errors.js").DbError, import("./runtime.js").NativeRuntime>;
 }>;
-export type { CompiledSchema, PrimaryKey, SchemaId, SchemaTables };
-export { Schema, schemaTables };
+export type { CompiledSchema, SchemaId, SchemaTables };
+export { declaredKey, Schema, schemaTables };
 //# sourceMappingURL=compile.d.ts.map

package/dist/compile.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../src/compile.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAI/B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,SAAS,CAAA;AAE5C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAClD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA;AAElD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,IAAI,iBAAiB,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAGzF;;;;GAIG;AACH,OAAO,CAAC,MAAM,aAAa,EAAE,OAAO,MAAM,CAAA;AAE1C,KAAK,QAAQ,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,mBAAmB,CAAA;CAAE,CAAA;AAE1E;;;;;;GAMG;AACH,UAAU,cAAc,CAAC,CAAC,SAAS,SAAS;IAC3C,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;IAClB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;IAC3B,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAA;CACrC;AAED;;;;;;;;GAQG;AACH,UAAU,UAAU;IACnB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAA;CACtC;AAED,UAAU,YAAY;IACrB,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACjD,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;CACrD;AA8BD,wEAAwE;AACxE,iBAAS,YAAY,CAAC,MAAM,EAAE,SAAS,GAAG,YAAY,CAQrD;AAkCD;;;;;;;;GAQG;AACH,KAAK,MAAM,CAAC,IAAI,SAAS,eAAe,EAAE,OAAO,SAAS,aAAa,GAAG,aAAa,IAAI,iBAAiB,CAC3G,IAAI,EACJ,OAAO,CACP,CAAA;AAED;;;;;GAKG;AACH,QAAA,MAAM,MAAM;cArC2C,CAAC,SAAS,SAAS;EAqCjC,CAAA;AAEzC,YAAY,EAAE,cAAc,EAAE,UAAU,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAA;AAClE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,CAAA"}
+{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../src/compile.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAK/B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,SAAS,CAAA;AAE5C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAClD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAG/C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,IAAI,iBAAiB,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAEzF,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,SAAS,EAAuB,MAAM,gBAAgB,CAAA;AAEvF;;;;GAIG;AACH,KAAK,QAAQ,GAAG,MAAM,CAAA;AAEtB;;;;;;GAMG;AACH,UAAU,cAAc,CAAC,CAAC,SAAS,SAAS;IAC3C,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;IAClB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;IAC3B,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAA;CACrC;AAED;;;;;;;;GAQG;AACH,UAAU,YAAY;IACrB,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACjD,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,SAAS,EAAE,MAAM,CAAC,CAAA;CACrD;AA0BD,wEAAwE;AACxE,iBAAS,YAAY,CAAC,MAAM,EAAE,SAAS,GAAG,YAAY,CAQrD;AAED,4EAA4E;AAC5E,iBAAS,WAAW,CAAC,CAAC,SAAS,WAAW,EACzC,MAAM,EAAE,SAAS,EACjB,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,GACpB;IAAE,QAAQ,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GAAG,SAAS,CAAA;AA2D9E;;;;;;;;GAQG;AACH,KAAK,MAAM,CAAC,IAAI,SAAS,eAAe,EAAE,OAAO,SAAS,aAAa,GAAG,aAAa,IAAI,iBAAiB,CAC3G,IAAI,EACJ,OAAO,CACP,CAAA;AAED;;;;;GAKG;AACH,QAAA,MAAM,MAAM;cA9C2C,CAAC,SAAS,SAAS;EA8CjC,CAAA;AAEzC,YAAY,EAAE,cAAc,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAA;AACtD,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,YAAY,EAAE,CAAA"}

package/dist/compile.js

@@ -1,32 +1,32 @@
 import { Effect } from "effect";
-import { isClosedMember } from "#closed.ts";
+import { isClosedMember, membersAgree } from "#closed.ts";
 import { dbNative } from "#db-native.ts";
 import { SdkInvariantError } from "#errors.ts";
+import { isImmutable, snapshotData } from "#immutable.ts";
 import { lower } from "#lower.ts";
-import { nativeOperationWith, policyWire, runtimeHandle } from "#runtime.ts";
+import { nativeOperationWith, runtimeHandle } from "#runtime.ts";
+import { argumentError } from "#runtime-errors.ts";
+import { schemaDescriptor } from "#schema.ts";
+import { statementDescriptor } from "#statements.ts";
 function declaredWidth(statement) {
-    return statement.data.kind === "mirrors" ? 2 : 1;
+    return statement.kind === "mirrors" ? 2 : 1;
 }
 function tablesOf(theory) {
     const relationIds = new Map();
-    const primaryKeys = new Map();
+    const statementIds = new Map();
     let autoKeys = 0;
     Object.entries(theory.relations).forEach(function assignRelation([name, member], ordinal) {
         relationIds.set(name, ordinal);
         if (isClosedMember(member)) {
-            primaryKeys.set(name, Object.freeze({ statementId: autoKeys, projection: Object.freeze(["id"]) }));
             autoKeys += 1;
         }
     });
     let offset = autoKeys;
     for (const statement of theory.statements) {
-        const data = statement.data;
-        if (data.kind === "key" && !primaryKeys.has(data.owner.name)) {
-            primaryKeys.set(data.owner.name, Object.freeze({ statementId: offset, projection: data.projection }));
-        }
+        statementIds.set(statement, offset);
         offset += declaredWidth(statement);
     }
-    return Object.freeze({ relationIds, primaryKeys });
+    return Object.freeze({ relationIds, statementIds });
 }
 const compiledCache = new WeakMap();
 /** Memoized pure tables (per schema value identity; no native work). */
@@ -36,31 +36,52 @@ function schemaTables(theory) {
         return cached;
     }
     const built = tablesOf(theory);
-    compiledCache.set(theory, built);
+    if (isImmutable(theory))
+        compiledCache.set(theory, built);
     return built;
 }
+function declaredKey(theory, input) {
+    const key = statementDescriptor(input);
+    for (const [candidate, statementId] of schemaTables(theory).statementIds) {
+        if (candidate.kind === "key" &&
+            membersAgree(candidate.owner, key.owner) &&
+            candidate.projection.length === key.projection.length &&
+            candidate.projection.every((field) => key.projection.includes(field)))
+            return { key: candidate, statementId };
+    }
+    return undefined;
+}
 function admitSchemaId(fingerprint) {
-    if (typeof fingerprint !== "string" || fingerprint.length === 0) {
+    if (typeof fingerprint !== "string" || !/^[0-9a-f]{64}$/.test(fingerprint)) {
         throw new SdkInvariantError({ message: "Schema.compile: the engine returned no canonical fingerprint" });
     }
     return fingerprint;
 }
 /**
- * Charged, effectful native schema admission/compilation: a
+ * Effectful native schema admission/compilation: a
  * schema declaration is pure metadata and never a claim its theory has been
- * admitted. Runs on the one bounded executor under `work`, requires the
+ * admitted. Runs on the shared executor, requires the
  * acquired {@link NativeRuntime}, and yields detached immutable descriptor
  * data plus the canonical schema identity. No database is opened and no
  * native finalizer is created.
  */
-const compile = Effect.fn("Schema.compile")(function* (schema, work) {
+const compile = Effect.fn("Schema.compile")(function* (schema) {
+    const owned = yield* Effect.try({
+        try: () => schemaDescriptor(schema),
+        catch: (cause) => argumentError("Schema.compile", cause)
+    });
+    const spec = yield* Effect.try({ try: () => lower(owned), catch: (cause) => argumentError("Schema.compile", cause) });
     const handle = yield* runtimeHandle();
-    const spec = lower(schema);
-    const descriptor = yield* nativeOperationWith("Schema.compile", (callback) => dbNative.runtimeSchemaCompile(handle, policyWire(work, "Schema.compile"), spec, callback), dbNative.runtimeSchemaTake, (value) => value);
+    const descriptor = yield* nativeOperationWith("Schema.compile", (callback) => dbNative.runtimeSchemaCompile(handle, spec, callback), dbNative.runtimeSchemaTake, (value) => value);
+    const ownedDescriptor = snapshotData(descriptor);
     const compiled = Object.freeze({
-        schema,
+        get schema() {
+            return snapshotData(owned);
+        },
         schemaId: admitSchemaId(descriptor.fingerprint),
-        descriptor
+        get descriptor() {
+            return snapshotData(ownedDescriptor);
+        }
     });
     return compiled;
 });
@@ -71,5 +92,5 @@ const compile = Effect.fn("Schema.compile")(function* (schema, work) {
  * the effectful half. One exported name, two meanings.
  */
 const Schema = Object.freeze({ compile });
-export { Schema, schemaTables };
+export { declaredKey, Schema, schemaTables };
 //# sourceMappingURL=compile.js.map