@bjornpagen/bumbledb 0.20.2 → 1.0.0

package/dist/marshal.js

@@ -1,165 +0,0 @@
-/**
- * The marshal layer: fact object ⇄ positional `FactValue[]` by field
- * ordinal, schema-directed, in ONE place only. The write side lowers named
- * host objects to rows in the relation's field-declaration order
- * (declaration order = ordinal ids, the macro's law); the read side decodes
- * rows back to named objects of BARE structural values — the marshal
- * boundary is pure both ways. CAST-FREE, LITERALLY: with structural values
- * there is no brand to assert on the way out (the historical "one
- * sanctioned marshal cast" died with the brand era), so product code
- * carries zero casts — the only trusted seams are the completeness
- * PREDICATES below, which verify the checkable half (every declared field
- * present) and rely on the store as the proof carrier for the rest: a row
- * the engine admitted IS a legal fact of its relation (the same trust
- * direction as Rust's typed readback). Shape mismatches here are genuine
- * failures and THROW typed; they are never domain data.
- *
- * THE CLOSED BIJECTION (0.4.0): a closed-referencing cell crosses this
- * boundary as its handle NAME — the write side lowers name → u64 row id
- * (declaration order = row ids, the sealed roster's own law, ≤ 256 rows),
- * the read side lifts id → name, and both directions are total and static
- * over the roster. An unknown name is a pointed THROW at the write seam —
- * a deliberate UPGRADE over 0.3.0, where any bigint sailed through the
- * marshal to a commit-time containment violation; the wrong spelling now
- * dies here, before the engine ever sees the row. An out-of-roster id on
- * the read side (reachable only in a store whose closed-typed column was
- * never pinned by its containment law) is equally pointed — never a
- * silent fallback, never `undefined`.
- */
-import * as errors from "@superbuilders/errors";
-import { isIntervalValue, literalShapeError, rosterOf } from "#fields.ts";
-function isFreshField(field) {
-    return "fresh" in field && field.fresh === true;
-}
-function recordOf(fact) {
-    if (!isStringIndexed(fact)) {
-        throw errors.new("fact object is not string-indexable");
-    }
-    return fact;
-}
-function isStringIndexed(value) {
-    return typeof value === "object" || typeof value === "function";
-}
-/**
- * The write half of the closed bijection: one handle NAME to its u64 row
- * id (declaration order = row ids — the engine's own minting of the
- * sealed extension). An unknown name is a pointed refusal naming the
- * vocabulary and its roster — the 0.4.0 upgrade over any-bigint-compiles:
- * the wrong spelling dies at the marshal, never as a commit-time
- * violation. `indexOf` is the whole machine (the roster is ≤ 256 rows,
- * engine law — no map is warranted).
- */
-function closedCellOf(context, closed, name) {
-    const id = closed.handles.indexOf(name);
-    if (id === -1) {
-        throw errors.new(`${context}: "${name}" is not a handle of ${closed.name} — the roster is ${closed.handles.join(", ")}`);
-    }
-    return BigInt(id);
-}
-function handleOf(context, closed, cell) {
-    if (typeof cell !== "bigint") {
-        throw literalShapeError(context, `a ${closed.name} handle id (bigint)`, cell);
-    }
-    const handle = closed.handles[Number(cell)];
-    if (handle === undefined) {
-        throw errors.new(`${context}: id ${cell} is outside the ${closed.name} roster (${closed.handles.join(", ")}) — the column types ${closed.name} but no law pins it — a containment statement is the missing piece`);
-    }
-    return handle;
-}
-function cellOf(context, field, value) {
-    const roster = rosterOf(field);
-    if (roster !== undefined) {
-        if (typeof value !== "string") {
-            throw literalShapeError(context, `a ${roster.name} handle name (string)`, value);
-        }
-        return closedCellOf(context, roster, value);
-    }
-    switch (field.kind) {
-        case "bool": {
-            if (typeof value !== "boolean") {
-                throw literalShapeError(context, "boolean", value);
-            }
-            return value;
-        }
-        case "u64":
-        case "i64": {
-            if (typeof value !== "bigint") {
-                throw literalShapeError(context, "bigint", value);
-            }
-            return value;
-        }
-        case "str": {
-            if (typeof value !== "string") {
-                throw literalShapeError(context, "string", value);
-            }
-            if (!value.isWellFormed()) {
-                throw literalShapeError(context, "well-formed string", value);
-            }
-            return value;
-        }
-        case "bytes": {
-            if (!(value instanceof Uint8Array)) {
-                throw literalShapeError(context, "Uint8Array", value);
-            }
-            return value;
-        }
-        case "interval": {
-            if (!isIntervalValue(value)) {
-                throw literalShapeError(context, "interval ({ start, end } bigints)", value);
-            }
-            return { start: value.start, end: value.end };
-        }
-    }
-}
-function rowOf(relation, fact) {
-    return relation.fields.map(function marshalCell(declared) {
-        const value = fact[declared.name];
-        if (value === undefined) {
-            throw errors.new(`relation ${relation.name}: fact is missing field ${declared.name}`);
-        }
-        return cellOf(`relation ${relation.name} field ${declared.name}`, declared.field, value);
-    });
-}
-function keyRowOf(relation, projection, key) {
-    return projection.map(function marshalKeyCell(fieldName) {
-        const declared = relation.fields.find(function byName(candidate) {
-            return candidate.name === fieldName;
-        });
-        if (declared === undefined) {
-            throw errors.new(`relation ${relation.name}: key projection cites unknown field ${fieldName}`);
-        }
-        const value = key[fieldName];
-        if (value === undefined) {
-            throw errors.new(`relation ${relation.name}: key object is missing field ${fieldName} — get reads through the primary (first-declared) key, whose projection is (${projection.join(", ")})`);
-        }
-        return cellOf(`relation ${relation.name} key field ${fieldName}`, declared.field, value);
-    });
-}
-function isCompleteFact(relation, decoded) {
-    return relation.data.fields.every(function present(declared) {
-        return decoded[declared.name] !== undefined;
-    });
-}
-function factOf(relation, row) {
-    const data = relation.data;
-    if (row.length !== data.fields.length) {
-        throw errors.new(`relation ${data.name}: row arity ${row.length} does not match the ${data.fields.length} declared fields`);
-    }
-    const decoded = {};
-    data.fields.forEach(function decodeCell(declared, ordinal) {
-        const cell = row[ordinal];
-        if (cell === undefined) {
-            throw errors.new(`relation ${data.name}: row cell ${ordinal} (${declared.name}) is absent`);
-        }
-        const roster = rosterOf(declared.field);
-        decoded[declared.name] =
-            roster !== undefined ? handleOf(`relation ${data.name} field ${declared.name}`, roster, cell) : cell;
-    });
-    Object.freeze(decoded);
-    if (!isCompleteFact(relation, decoded)) {
-        throw errors.new(`relation ${data.name}: decoded row is not a complete fact`);
-    }
-    return decoded;
-}
-export { cellOf, factOf, handleOf, isFreshField, keyRowOf, recordOf, rowOf };
-//# sourceMappingURL=marshal.js.map

package/dist/marshal.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"marshal.js","sourceRoot":"","sources":["../src/marshal.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAE/C,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAIzE,SAAS,YAAY,CAAC,KAAe;IACpC,OAAO,OAAO,IAAI,KAAK,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI,CAAA;AAChD,CAAC;AAMD,SAAS,QAAQ,CAAC,IAAY;IAC7B,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,MAAM,MAAM,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;IACxD,CAAC;IACD,OAAO,IAAI,CAAA;AACZ,CAAC;AAED,SAAS,eAAe,CAAC,KAAa;IACrC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,UAAU,CAAA;AAChE,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,YAAY,CAAC,OAAe,EAAE,MAAuB,EAAE,IAAY;IAC3E,MAAM,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;IACvC,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;QACf,MAAM,MAAM,CAAC,GAAG,CACf,GAAG,OAAO,MAAM,IAAI,wBAAwB,MAAM,CAAC,IAAI,oBAAoB,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACtG,CAAA;IACF,CAAC;IACD,OAAO,MAAM,CAAC,EAAE,CAAC,CAAA;AAClB,CAAC;AAED,SAAS,QAAQ,CAAC,OAAe,EAAE,MAAuB,EAAE,IAAe;IAC1E,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,iBAAiB,CAAC,OAAO,EAAE,KAAK,MAAM,CAAC,IAAI,qBAAqB,EAAE,IAAI,CAAC,CAAA;IAC9E,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAA;IAC3C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,MAAM,CAAC,GAAG,CACf,GAAG,OAAO,QAAQ,IAAI,mBAAmB,MAAM,CAAC,IAAI,YAAY,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,wBAAwB,MAAM,CAAC,IAAI,oEAAoE,CAChM,CAAA;IACF,CAAC;IACD,OAAO,MAAM,CAAA;AACd,CAAC;AAED,SAAS,MAAM,CAAC,OAAe,EAAE,KAAe,EAAE,KAAc;IAC/D,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;IAC9B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QAC1B,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC/B,MAAM,iBAAiB,CAAC,OAAO,EAAE,KAAK,MAAM,CAAC,IAAI,uBAAuB,EAAE,KAAK,CAAC,CAAA;QACjF,CAAC;QACD,OAAO,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,CAAA;IAC5C,CAAC;IACD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,MAAM,EAAE,CAAC;YACb,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;gBAChC,MAAM,iBAAiB,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC,CAAA;YACnD,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,iBAAiB,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAA;YAClD,CAAC;YACD,OAAO,KAAK,CAAA;QACb,CAAC;QACD,KAAK,KAAK,EAAE,CAAC;YACZ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC/B,MAAM,iBAAiB,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAA;YAClD,CAAC;YAED,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,EAAE,CAAC;gBAC3B,MAAM,iBAAiB,CAAC,OAAO,EAAE,oBAAoB,EAAE,KAAK,CAAC,CAAA;YAC9D,CAAC;YACD,OAAO,KAAK,CAAA;QACb,CAAC;QACD,KAAK,OAAO,EAAE,CAAC;YACd,IAAI,CAAC,CAAC,KAAK,YAAY,UAAU,CAAC,EAAE,CAAC;gBACpC,MAAM,iBAAiB,CAAC,OAAO,EAAE,YAAY,EAAE,KAAK,CAAC,CAAA;YACtD,CAAC;YACD,OAAO,KAAK,CAAA;QACb,CAAC;QACD,KAAK,UAAU,EAAE,CAAC;YACjB,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7B,MAAM,iBAAiB,CAAC,OAAO,EAAE,mCAAmC,EAAE,KAAK,CAAC,CAAA;YAC7E,CAAC;YACD,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAA;QAC9C,CAAC;IACF,CAAC;AACF,CAAC;AAED,SAAS,KAAK,CAAC,QAAsB,EAAE,IAAuC;IAC7E,OAAO,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,WAAW,CAAC,QAAQ;QACvD,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;QACjC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,MAAM,CAAC,GAAG,CAAC,YAAY,QAAQ,CAAC,IAAI,2BAA2B,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;QACtF,CAAC;QACD,OAAO,MAAM,CAAC,YAAY,QAAQ,CAAC,IAAI,UAAU,QAAQ,CAAC,IAAI,EAAE,EAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;IACzF,CAAC,CAAC,CAAA;AACH,CAAC;AAED,SAAS,QAAQ,CAChB,QAAsB,EACtB,UAA6B,EAC7B,GAAsC;IAEtC,OAAO,UAAU,CAAC,GAAG,CAAC,SAAS,cAAc,CAAC,SAAS;QACtD,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,SAAS;YAC9D,OAAO,SAAS,CAAC,IAAI,KAAK,SAAS,CAAA;QACpC,CAAC,CAAC,CAAA;QACF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC5B,MAAM,MAAM,CAAC,GAAG,CAAC,YAAY,QAAQ,CAAC,IAAI,wCAAwC,SAAS,EAAE,CAAC,CAAA;QAC/F,CAAC;QACD,MAAM,KAAK,GAAG,GAAG,CAAC,SAAS,CAAC,CAAA;QAC5B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,MAAM,CAAC,GAAG,CACf,YAAY,QAAQ,CAAC,IAAI,iCAAiC,SAAS,+EAA+E,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC1K,CAAA;QACF,CAAC;QACD,OAAO,MAAM,CAAC,YAAY,QAAQ,CAAC,IAAI,cAAc,SAAS,EAAE,EAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;IACzF,CAAC,CAAC,CAAA;AACH,CAAC;AAED,SAAS,cAAc,CACtB,QAAW,EACX,OAA4C;IAE5C,OAAO,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,OAAO,CAAC,QAAQ;QAC1D,OAAO,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,SAAS,CAAA;IAC5C,CAAC,CAAC,CAAA;AACH,CAAC;AAED,SAAS,MAAM,CAAwB,QAAW,EAAE,GAAyB;IAC5E,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAA;IAC1B,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QACvC,MAAM,MAAM,CAAC,GAAG,CACf,YAAY,IAAI,CAAC,IAAI,eAAe,GAAG,CAAC,MAAM,uBAAuB,IAAI,CAAC,MAAM,CAAC,MAAM,kBAAkB,CACzG,CAAA;IACF,CAAC;IACD,MAAM,OAAO,GAA8B,EAAE,CAAA;IAC7C,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,UAAU,CAAC,QAAQ,EAAE,OAAO;QACxD,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,CAAA;QACzB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,MAAM,CAAC,GAAG,CAAC,YAAY,IAAI,CAAC,IAAI,cAAc,OAAO,KAAK,QAAQ,CAAC,IAAI,aAAa,CAAC,CAAA;QAC5F,CAAC;QACD,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;QACvC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;YACrB,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,YAAY,IAAI,CAAC,IAAI,UAAU,QAAQ,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;IACtG,CAAC,CAAC,CAAA;IACF,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IACtB,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;QACxC,MAAM,MAAM,CAAC,GAAG,CAAC,YAAY,IAAI,CAAC,IAAI,sCAAsC,CAAC,CAAA;IAC9E,CAAC;IACD,OAAO,OAAO,CAAA;AACf,CAAC;AAGD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAA"}

package/src/marshal.ts

@@ -1,200 +0,0 @@
-/**
- * The marshal layer: fact object ⇄ positional `FactValue[]` by field
- * ordinal, schema-directed, in ONE place only. The write side lowers named
- * host objects to rows in the relation's field-declaration order
- * (declaration order = ordinal ids, the macro's law); the read side decodes
- * rows back to named objects of BARE structural values — the marshal
- * boundary is pure both ways. CAST-FREE, LITERALLY: with structural values
- * there is no brand to assert on the way out (the historical "one
- * sanctioned marshal cast" died with the brand era), so product code
- * carries zero casts — the only trusted seams are the completeness
- * PREDICATES below, which verify the checkable half (every declared field
- * present) and rely on the store as the proof carrier for the rest: a row
- * the engine admitted IS a legal fact of its relation (the same trust
- * direction as Rust's typed readback). Shape mismatches here are genuine
- * failures and THROW typed; they are never domain data.
- *
- * THE CLOSED BIJECTION (0.4.0): a closed-referencing cell crosses this
- * boundary as its handle NAME — the write side lowers name → u64 row id
- * (declaration order = row ids, the sealed roster's own law, ≤ 256 rows),
- * the read side lifts id → name, and both directions are total and static
- * over the roster. An unknown name is a pointed THROW at the write seam —
- * a deliberate UPGRADE over 0.3.0, where any bigint sailed through the
- * marshal to a commit-time containment violation; the wrong spelling now
- * dies here, before the engine ever sees the row. An out-of-roster id on
- * the read side (reachable only in a store whose closed-typed column was
- * never pinned by its containment law) is equally pointed — never a
- * silent fallback, never `undefined`.
- */
-
-import * as errors from "@superbuilders/errors"
-import type { AnyClosedRoster, AnyField } from "#fields.ts"
-import { isIntervalValue, literalShapeError, rosterOf } from "#fields.ts"
-import type { FactValue } from "#native.ts"
-import type { AnyRelation, Fact, FreshKeys, RelationData } from "#relation.ts"
-
-function isFreshField(field: AnyField): boolean {
-	return "fresh" in field && field.fresh === true
-}
-
-type KeyFact<R extends AnyRelation> = [FreshKeys<R>] extends [never]
-	? Partial<Fact<R>>
-	: { [K in FreshKeys<R>]: Fact<R>[K] }
-
-function recordOf(fact: object): Readonly<Record<string, unknown>> {
-	if (!isStringIndexed(fact)) {
-		throw errors.new("fact object is not string-indexable")
-	}
-	return fact
-}
-
-function isStringIndexed(value: object): value is Readonly<Record<string, unknown>> {
-	return typeof value === "object" || typeof value === "function"
-}
-
-/**
- * The write half of the closed bijection: one handle NAME to its u64 row
- * id (declaration order = row ids — the engine's own minting of the
- * sealed extension). An unknown name is a pointed refusal naming the
- * vocabulary and its roster — the 0.4.0 upgrade over any-bigint-compiles:
- * the wrong spelling dies at the marshal, never as a commit-time
- * violation. `indexOf` is the whole machine (the roster is ≤ 256 rows,
- * engine law — no map is warranted).
- */
-function closedCellOf(context: string, closed: AnyClosedRoster, name: string): FactValue {
-	const id = closed.handles.indexOf(name)
-	if (id === -1) {
-		throw errors.new(
-			`${context}: "${name}" is not a handle of ${closed.name} — the roster is ${closed.handles.join(", ")}`
-		)
-	}
-	return BigInt(id)
-}
-
-function handleOf(context: string, closed: AnyClosedRoster, cell: FactValue): string {
-	if (typeof cell !== "bigint") {
-		throw literalShapeError(context, `a ${closed.name} handle id (bigint)`, cell)
-	}
-	const handle = closed.handles[Number(cell)]
-	if (handle === undefined) {
-		throw errors.new(
-			`${context}: id ${cell} is outside the ${closed.name} roster (${closed.handles.join(", ")}) — the column types ${closed.name} but no law pins it — a containment statement is the missing piece`
-		)
-	}
-	return handle
-}
-
-function cellOf(context: string, field: AnyField, value: unknown): FactValue {
-	const roster = rosterOf(field)
-	if (roster !== undefined) {
-		if (typeof value !== "string") {
-			throw literalShapeError(context, `a ${roster.name} handle name (string)`, value)
-		}
-		return closedCellOf(context, roster, value)
-	}
-	switch (field.kind) {
-		case "bool": {
-			if (typeof value !== "boolean") {
-				throw literalShapeError(context, "boolean", value)
-			}
-			return value
-		}
-		case "u64":
-		case "i64": {
-			if (typeof value !== "bigint") {
-				throw literalShapeError(context, "bigint", value)
-			}
-			return value
-		}
-		case "str": {
-			if (typeof value !== "string") {
-				throw literalShapeError(context, "string", value)
-			}
-
-			if (!value.isWellFormed()) {
-				throw literalShapeError(context, "well-formed string", value)
-			}
-			return value
-		}
-		case "bytes": {
-			if (!(value instanceof Uint8Array)) {
-				throw literalShapeError(context, "Uint8Array", value)
-			}
-			return value
-		}
-		case "interval": {
-			if (!isIntervalValue(value)) {
-				throw literalShapeError(context, "interval ({ start, end } bigints)", value)
-			}
-			return { start: value.start, end: value.end }
-		}
-	}
-}
-
-function rowOf(relation: RelationData, fact: Readonly<Record<string, unknown>>): FactValue[] {
-	return relation.fields.map(function marshalCell(declared) {
-		const value = fact[declared.name]
-		if (value === undefined) {
-			throw errors.new(`relation ${relation.name}: fact is missing field ${declared.name}`)
-		}
-		return cellOf(`relation ${relation.name} field ${declared.name}`, declared.field, value)
-	})
-}
-
-function keyRowOf(
-	relation: RelationData,
-	projection: readonly string[],
-	key: Readonly<Record<string, unknown>>
-): FactValue[] {
-	return projection.map(function marshalKeyCell(fieldName) {
-		const declared = relation.fields.find(function byName(candidate) {
-			return candidate.name === fieldName
-		})
-		if (declared === undefined) {
-			throw errors.new(`relation ${relation.name}: key projection cites unknown field ${fieldName}`)
-		}
-		const value = key[fieldName]
-		if (value === undefined) {
-			throw errors.new(
-				`relation ${relation.name}: key object is missing field ${fieldName} — get reads through the primary (first-declared) key, whose projection is (${projection.join(", ")})`
-			)
-		}
-		return cellOf(`relation ${relation.name} key field ${fieldName}`, declared.field, value)
-	})
-}
-
-function isCompleteFact<R extends AnyRelation>(
-	relation: R,
-	decoded: Readonly<Record<string, FactValue>>
-): decoded is Readonly<Record<string, FactValue>> & Fact<R> {
-	return relation.data.fields.every(function present(declared) {
-		return decoded[declared.name] !== undefined
-	})
-}
-
-function factOf<R extends AnyRelation>(relation: R, row: readonly FactValue[]): Fact<R> {
-	const data = relation.data
-	if (row.length !== data.fields.length) {
-		throw errors.new(
-			`relation ${data.name}: row arity ${row.length} does not match the ${data.fields.length} declared fields`
-		)
-	}
-	const decoded: Record<string, FactValue> = {}
-	data.fields.forEach(function decodeCell(declared, ordinal) {
-		const cell = row[ordinal]
-		if (cell === undefined) {
-			throw errors.new(`relation ${data.name}: row cell ${ordinal} (${declared.name}) is absent`)
-		}
-		const roster = rosterOf(declared.field)
-		decoded[declared.name] =
-			roster !== undefined ? handleOf(`relation ${data.name} field ${declared.name}`, roster, cell) : cell
-	})
-	Object.freeze(decoded)
-	if (!isCompleteFact(relation, decoded)) {
-		throw errors.new(`relation ${data.name}: decoded row is not a complete fact`)
-	}
-	return decoded
-}
-
-export type { KeyFact }
-export { cellOf, factOf, handleOf, isFreshField, keyRowOf, recordOf, rowOf }