@bjornpagen/bumbledb 1.0.1 → 1.2.0

package/src/index.ts

@@ -16,39 +16,35 @@ export type {
 	WeightOnSource
 } from "#capacity.ts"
 export { duration, ref, weigh, within } from "#capacity.ts"
-export type { ChangeDraft } from "#changes.ts"
+export type { ChangeCounts, ChangeDraft, ChangeRecord } from "#changes.ts"
 export { ChangeSet } from "#changes.ts"
 export type {
 	AnyClosed,
-	AnySelectedClosed,
 	AxiomRow,
 	Axioms,
 	Closed,
-	ClosedColumn,
-	ClosedCore,
-	ClosedData,
-	ClosedRow,
-	ClosedSelectionInput,
-	PayloadField,
-	SelectedClosed
+	PayloadField
 } from "#closed.ts"
-export { closed } from "#closed.ts"
+export { closed, closedId } from "#closed.ts"
 export type { RowShape } from "#codec.ts"
 export { decodeBoundaryRows, decodeRows, encodeBoundaryRows, encodeRows, rowSchema, rowShape } from "#codec.ts"
 export type { CompiledSchema, SchemaId } from "#compile.ts"
 export { Schema } from "#compile.ts"
 export type {
-	ApplyExpected,
-	ApplyOptions,
 	ApplyOutcome,
 	CoreWitness,
 	DbInspection,
-	ExecutionSession,
+	JudgeOutcome,
+	PreparedQuery,
 	QueryReader,
-	Snapshot
+	Snapshot,
+	StorageInspection,
+	WriteExpected,
+	WriteOptions
 } from "#db.ts"
 export { Db } from "#db.ts"
 export {
+	AuthoringDiagnostic,
 	AuthoringError,
 	NativeLoadError,
 	NativeOperationError,
@@ -60,7 +56,6 @@ export type {
 	Arity,
 	Face,
 	FaceArityMismatch,
-	FaceData,
 	FaceFields,
 	FaceOwner,
 	FaceShapeMismatch,
@@ -93,14 +88,32 @@ export type {
 	U64Field,
 	UuidField
 } from "#fields.ts"
-export { bool, bytes, f64, i64, interval, span, str, u64, uuid } from "#fields.ts"
+export { bool, bytes, f64, i64, interval, str, u64, uuid } from "#fields.ts"
 export type { Same, SameLen } from "#judgment.ts"
 export type { ClassesOf, ClassWall, LawfulStatements, RelationClasses, SchemaClasses } from "#law.ts"
-export type { Violation, ViolationFact } from "#native.ts"
+export type {
+	AtomIr,
+	AtomSourceIr,
+	CmpOpIr,
+	ComparisonIr,
+	ConditionTreeIr,
+	FindTermIr,
+	HeadTermIr,
+	InteriorIr,
+	QueryIr,
+	RecIr,
+	RuleIr,
+	ScalarExprIr,
+	TermIr,
+	Violation,
+	ViolationFact
+} from "#native.ts"
 export type { FindColumn } from "#query/atom.ts"
 export { ALLEN } from "#query/atom.ts"
 export type { AnyComputeExpr, ComputeExpr, ComputeValue, QueryNode } from "#query/compute.ts"
 export { Compute } from "#query/compute.ts"
+export type { DescriptionParameter, DescriptionRow, DescriptionTable, QueryDescription } from "#query/description.ts"
+export { describeQuery, queryFromDescription } from "#query/description.ts"
 export type { Agg, RowOfFind } from "#query/find.ts"
 export type {
 	AnyQuery,
@@ -135,22 +148,17 @@ export type {
 export { v } from "#query/scope.ts"
 export type {
 	AnyRelation,
-	AnySelected,
 	Fact,
 	FieldsShape,
 	Relation,
-	RelationData,
 	RelationField,
-	RelationFields,
-	Selected,
-	SelectionBinding,
-	SelectionInput
+	RelationFields
 } from "#relation.ts"
 export { relation } from "#relation.ts"
 export type { CompleteResult } from "#result.ts"
 export type { CellValue } from "#rows.ts"
-export { cellBytes, cellOf, factOfCells, flatRowsOf, keyCellsOf } from "#rows.ts"
-export type { ExecutionPolicy, NativeRuntimeOptions } from "#runtime.ts"
+export { cellOf, factOfCells, flatRowsOf, keyCellsOf } from "#rows.ts"
+export type { NativeRuntimeOptions } from "#runtime.ts"
 export { NativeRuntime } from "#runtime.ts"
 export type { CloseReport, OutstandingWork } from "#runtime-errors.ts"
 export { CloseFailure, DbError, dbError, runtimeErrorCodes } from "#runtime-errors.ts"
@@ -168,6 +176,8 @@ export type {
 export { Scalar } from "#scalar.ts"
 export type { AnySchema, Schema as SchemaDeclaration, SchemaRelation, SchemaRelations } from "#schema.ts"
 export { schema } from "#schema.ts"
+export type { AnySelected, FieldsOf, Selected, SelectionBinding, SelectionInput } from "#selection.ts"
+export { select } from "#selection.ts"
 export type { Key, QueryTemplate, Rel } from "#shape.ts"
 export type {
 	CapacityBoundSpec,
@@ -184,14 +194,11 @@ export type {
 	ValueTypeSpec
 } from "#spec.ts"
 export type {
-	CapacityData,
 	CapacityStatement,
-	ContainedStatement,
-	ContainmentData,
-	KeyData,
+	ContainmentStatement,
 	KeyStatement,
-	Statement,
-	StatementData
+	MirrorsStatement,
+	Statement
 } from "#statements.ts"
 export { capacity, contained, key, mirrors, renderStatement } from "#statements.ts"
 export { Uuid } from "#uuid.ts"

package/src/internal/log.ts

@@ -8,7 +8,7 @@ export type { ChangeDraft } from "#changes.ts"
 export { ChangeSet, internalChanges } from "#changes.ts"
 export type { CompiledSchema, SchemaId } from "#compile.ts"
 export { Schema } from "#compile.ts"
-export type { ExecutionSession, QueryReader } from "#db.ts"
+export type { PreparedQuery, QueryReader } from "#db.ts"
 export { Db, internalPublishedReader } from "#db.ts"
 export type { SnapshotHandle } from "#db-native.ts"
 export { lower } from "#lower.ts"
@@ -21,16 +21,15 @@ export {
 	nativeBindingIsLoaded
 } from "#native.ts"
 export type { CompleteResult } from "#result.ts"
-export type { ExecutionPolicy, NativeRuntimeOptions, RepositoryLock } from "#runtime.ts"
+export { factCellsOf } from "#rows.ts"
+export type { NativeRuntimeOptions, RepositoryLock } from "#runtime.ts"
 export {
-	deliveryResultBytes,
 	finalizeClose,
 	hashChunk,
 	internalAcquireRepositoryLock,
 	NativeRuntime,
 	nativeOperation,
 	nativeOperationWith,
-	policyWire,
 	runtimeHandle
 } from "#runtime.ts"
 export type { CloseReport, OutstandingWork } from "#runtime-errors.ts"
@@ -42,8 +41,8 @@ export type {
 	InspectionWire,
 	NativeKind,
 	OperationHandle,
-	PolicyWire,
 	RepositoryLockHandle,
 	RuntimeHandle
 } from "#runtime-native.ts"
 export { runtimeNative } from "#runtime-native.ts"
+export { schemasAgree } from "#schema.ts"

package/src/law.ts

@@ -50,7 +50,7 @@ import { AuthoringError } from "#errors.ts"
  * widened type) — the runtime map stays complete and authoritative, and
  * the wire lowering reads only the runtime map. Every loop below is
  * tail-recursive with an accumulator, so the machinery rides TypeScript's
- * tail-recursion elimination at primer scale (~40 relations, ~200 slots,
+ * tail-recursion elimination for large schemas (~40 relations, ~200 slots,
  * ~123 statements); should a schema ever exceed the compiler's limits, tsc
  * fails LOUDLY with its own instantiation-depth error — the map is never
  * silently widened.
@@ -58,7 +58,7 @@ import { AuthoringError } from "#errors.ts"
 
 import type { AnyClosed } from "#closed.ts"
 import { isClosedMember, sealedFieldsOf } from "#closed.ts"
-import type { FaceData } from "#face.ts"
+import type { AnyFace } from "#face.ts"
 import type { Same } from "#judgment.ts"
 import type { AnyRelation, RelationFields } from "#relation.ts"
 import type { SchemaRelation, SchemaRelations } from "#schema.ts"
@@ -104,9 +104,9 @@ type ZipCoords<
 		: Acc
 	: Acc
 
-type StatementPairs<St extends Statement> = St["data"] extends {
-	readonly source: infer S extends FaceData
-	readonly target: infer T extends FaceData
+type StatementPairs<St extends Statement> = St extends {
+	readonly source: infer S extends AnyFace
+	readonly target: infer T extends AnyFace
 }
 	? string extends S["owner"]["name"]
 		? []
@@ -208,7 +208,7 @@ type DeclaredKeysOf<Stmts extends readonly Statement[], Acc extends readonly Key
 	infer H extends Statement,
 	...infer T extends readonly Statement[]
 ]
-	? H["data"] extends {
+	? H extends {
 			readonly kind: "key"
 			readonly owner: infer O extends AnyRelation
 			readonly projection: infer P extends readonly string[]
@@ -295,8 +295,8 @@ type DecidableRoster<Stmts extends readonly Statement[]> = [true] extends [IsMul
 		: [Stmts] extends [readonly [infer H extends Statement, ...infer T extends readonly Statement[]]]
 			? [true] extends [IsMulti<H>]
 				? false
-				: "key" extends H["data"]["kind"]
-					? [DecidableKeyData<H["data"]>] extends [true]
+				: "key" extends H["kind"]
+					? [DecidableKeyData<H>] extends [true]
 						? DecidableRoster<T>
 						: false
 					: DecidableRoster<T>
@@ -322,7 +322,7 @@ type DeclaredKeyMatch<N extends string, PU extends string, Keys extends readonly
 		: DeclaredKeyMatch<N, PU, T>
 	: TargetKeyWall<N, PU>
 
-type JudgeTargetFace<F extends FaceData, Keys extends readonly KeyEntry[]> = string extends F["owner"]["name"]
+type JudgeTargetFace<F extends AnyFace, Keys extends readonly KeyEntry[]> = string extends F["owner"]["name"]
 	? true
 	: string extends F["projection"][number]
 		? true
@@ -334,9 +334,9 @@ type JudgeTargetFace<F extends FaceData, Keys extends readonly KeyEntry[]> = str
 				? DeclaredKeyMatch<F["owner"]["name"], F["projection"][number], Keys>
 				: true
 
-type JudgeStatement<St extends Statement, Keys extends readonly KeyEntry[]> = St["data"] extends {
-	readonly source: FaceData
-	readonly target: infer Tg extends FaceData
+type JudgeStatement<St extends Statement, Keys extends readonly KeyEntry[]> = St extends {
+	readonly source: AnyFace
+	readonly target: infer Tg extends AnyFace
 }
 	? JudgeTargetFace<Tg, Keys>
 	: true
@@ -452,8 +452,8 @@ function makeUnionFind(): UnionFind {
 	}
 }
 
-function statementFaces(statement: Statement): readonly [FaceData, FaceData] | undefined {
-	const data = statement.data
+function statementFaces(statement: Statement): readonly [AnyFace, AnyFace] | undefined {
+	const data = statement
 	if (data.kind === "key") {
 		return undefined
 	}

package/src/lower.ts

@@ -15,10 +15,10 @@ import { AuthoringError } from "#errors.ts"
 
 import type { AnyClosed } from "#closed.ts"
 import { isClosedMember } from "#closed.ts"
-import type { FaceData } from "#face.ts"
-import type { AnyField } from "#fields.ts"
+import type { AnyFace } from "#face.ts"
+import { type AnyField, literalOf } from "#fields.ts"
 import type { RelationClasses } from "#law.ts"
-import type { AnyRelation } from "#relation.ts"
+import { type AnyRelation, relationFields } from "#relation.ts"
 import type { AnySchema } from "#schema.ts"
 import type {
 	FieldSpec,
@@ -60,7 +60,7 @@ function lowerField(name: string, field: AnyField, newtype: string | undefined):
 	}
 }
 
-function lowerFace(face: FaceData): SideSpec {
+function lowerFace(face: AnyFace): SideSpec {
 	return {
 		relation: face.owner.name,
 		projection: [...face.projection],
@@ -71,7 +71,7 @@ function lowerFace(face: FaceData): SideSpec {
 }
 
 function lowerStatement(statement: Statement): StatementSpec {
-	const data = statement.data
+	const data = statement
 	switch (data.kind) {
 		case "key":
 			return { kind: "fd", relation: data.owner.name, projection: [...data.projection] }
@@ -101,18 +101,21 @@ function lowerStatement(statement: Statement): StatementSpec {
 }
 
 function lowerRelation(relation: AnyRelation, classes: RelationClasses): RelationSpec {
-	const fields: FieldSpec[] = relation.data.fields.map(function lowerDeclared(declared) {
+	const fields: FieldSpec[] = relationFields(relation).map(function lowerDeclared(declared) {
 		return lowerField(declared.name, declared.field, classes[declared.name])
 	})
 	return { name: relation.name, fields, closed: undefined }
 }
 
 function lowerClosed(member: AnyClosed, classes: RelationClasses): RelationSpec {
-	const fields: FieldSpec[] = member.data.columns.map(function lowerColumn(column) {
-		return lowerField(column.name, column.field, classes[column.name])
+	const fields: FieldSpec[] = Object.entries(member.columns).map(function lowerColumn([name, field]) {
+		return lowerField(name, field, classes[name])
 	})
-	const rows = member.data.rows.map(function lowerRow(row) {
-		return { handle: row.handle, values: row.values }
+	const rows = member.handles.map(function lowerRow(handle) {
+		return {
+			handle,
+			values: Object.entries(member.columns).map(([name, field]) => literalOf(field, member.axioms[handle]?.[name]))
+		}
 	})
 	const newtype = classes.id
 	if (newtype === undefined) {

package/src/migration.ts

@@ -14,8 +14,7 @@
  */
 import { Effect } from "effect"
 import { dbNative } from "#db-native.ts"
-import type { ExecutionPolicy } from "#runtime.ts"
-import { nativeOperationWith, policyWire, runtimeHandle } from "#runtime.ts"
+import { nativeOperationWith, runtimeHandle } from "#runtime.ts"
 import { DbError, dbError } from "#runtime-errors.ts"
 import type { SchemaSpec } from "#spec.ts"
 
@@ -31,14 +30,11 @@ function owned(operation: string, value: Uint8Array | null): Uint8Array {
  * spec natively and yields bounded JSON bytes carrying the canonical
  * `schemaId` and the rendered schema snapshot.
  */
-const internalMigrationSchema = Effect.fn("internalMigrationSchema")(function* (
-	spec: SchemaSpec,
-	work: ExecutionPolicy
-) {
+const internalMigrationSchema = Effect.fn("internalMigrationSchema")(function* (spec: SchemaSpec) {
 	const runtime = yield* runtimeHandle()
 	return yield* nativeOperationWith(
 		"internalMigrationSchema",
-		(callback) => dbNative.runtimeMigrationSchema(runtime, policyWire(work, "internalMigrationSchema"), spec, callback),
+		(callback) => dbNative.runtimeMigrationSchema(runtime, spec, callback),
 		dbNative.runtimeBytesTake,
 		(bytes) => owned("internalMigrationSchema", bytes)
 	)
@@ -49,17 +45,14 @@ const internalMigrationSchema = Effect.fn("internalMigrationSchema")(function* (
  * render/digest, manifest verify/append preview, plan-set digests): owned
  * JSON request bytes in, owned JSON response bytes out.
  */
-const internalMigrationRead = Effect.fn("internalMigrationRead")(function* (
-	request: Uint8Array,
-	work: ExecutionPolicy
-) {
+const internalMigrationRead = Effect.fn("internalMigrationRead")(function* (request: Uint8Array) {
 	if (!(request instanceof Uint8Array) || !(request.buffer instanceof ArrayBuffer)) {
 		return yield* Effect.fail(new DbError({ operation: "internalMigrationRead", reason: { _tag: "InvalidArgument" } }))
 	}
 	const runtime = yield* runtimeHandle()
 	return yield* nativeOperationWith(
 		"internalMigrationRead",
-		(callback) => dbNative.runtimeMigrationRead(runtime, policyWire(work, "internalMigrationRead"), request, callback),
+		(callback) => dbNative.runtimeMigrationRead(runtime, request, callback),
 		dbNative.runtimeBytesTake,
 		(bytes) => owned("internalMigrationRead", bytes)
 	)

package/src/native.ts

@@ -461,7 +461,6 @@ type ErrorFamilyKind =
 	| "foreignWitness"
 	| "param"
 	| "capacityRayMeasure"
-	| "derivedBudgetExceeded"
 	| "overflow"
 	| "scalar"
 	| "resultBytesOverflow"
@@ -664,6 +663,7 @@ export type {
 	FindTermIr,
 	HeadOpIr,
 	HeadTermIr,
+	InteriorIr,
 	IntervalValue,
 	LogAccess,
 	LogActivation,
@@ -693,6 +693,7 @@ export type {
 	PrepareKind,
 	QueryIr,
 	QueryParam,
+	RecIr,
 	RuleIr,
 	ScalarExprIr,
 	SealedDescriptor,

package/src/query/atom.ts

@@ -582,6 +582,7 @@ type CondParamsShape<C> = ShapeOf<CondParams<C>>
 export type {
 	AggData,
 	AnyCond,
+	AnyTreeChild,
 	AtomData,
 	BindingEntry,
 	BindingInput,