@bjornpagen/bumbledb 0.12.2 → 0.15.0

package/src/index.ts

@@ -5,9 +5,8 @@
  * never declared: THE LAWS TYPE THE COLUMNS, `schema()` computing every
  * field's equivalence class FROM the statement list at both tiers), the
  * statement algebra with `schema()` and `SchemaSpec` lowering (PRD-06), the `Db`
- * runtime (exclusive-lock stores, transactions, typed violations, scoped
- * snapshot reads, one-shot `write`/`writeFrom` with `abandon` — PRD-07, zero
- * closables), the query surface (kysely-shaped:
+ * runtime (exclusive-lock stores, transactions, typed violations, callback
+ * instance reads, one-shot `write`/`writeFrom` with `abandon` — PRD-07), the query surface (kysely-shaped:
  * `query(S).rule(r => { const { id, name } = v(Holder); return r.match(Holder, { id, name }).find({ name }) })` —
  * variables minted by `v()` and joined by OBJECT REFERENCE (reuse is the
  * join), the head a `find` RECORD whose keys name the answer columns
@@ -17,10 +16,7 @@
  * `db.prepare` as a plain value; the comparison/connective builders are
  * also free exports, and the free names `eq`/`not`/`and`/`or` collide with
  * common host identifiers — import aliasing is the answer; the SDK does
- * not rename for collision-avoidance), the exhume surface
- * (`Db.exhume` — the one schema-independent read path: the store's
- * self-described shapes and raw facts by name, typed at bare structural
- * values, deliberately schema-free). The raw native bridge is not exported.
+ * not rename for collision-avoidance). The raw native bridge is not exported.
  */
 
 export type {
@@ -51,35 +47,44 @@ export { closed } from "#closed.ts"
 export type {
 	Abandon,
 	AbandonedArm,
+	Admission,
 	CapacityViolation,
+	Committed,
 	ContainmentViolation,
 	DeclaredKeyFact,
 	DeclaredKeyViolation,
 	DeltaBuild,
+	FreshRange,
 	ImpliedKeyViolation,
 	MemberRelation,
 	MirrorViolation,
+	MutationReport,
 	OffendingFact,
+	OwnedInstance,
 	Prepared,
-	ReadScope,
+	ReadInstance,
+	SyncResult,
 	Tx,
 	Violation,
-	WriteResult
+	Witness,
+	WriteFromOutcome,
+	WriteOutcome,
+	WriteTx
 } from "#db.ts"
-export { abandon, Db, ErrGenerationMoved, ErrNewtypeMismatch } from "#db.ts"
-export type {
-	Exhumed,
-	ExhumedAxiom,
-	ExhumedDescriptor,
-	ExhumedFact,
-	ExhumedField,
-	ExhumedRelation
-} from "#exhume.ts"
 export {
-	ErrExhumeCorruption,
-	ErrExhumeFormatMismatch,
-	ErrExhumeNoDescriptor
-} from "#exhume.ts"
+	abandon,
+	Db,
+	ErrAsyncCallback,
+	ErrForeignPrepared,
+	ErrForeignWitness,
+	ErrFingerprintMismatch,
+	ErrIrError,
+	ErrNewtypeMismatch,
+	ErrSchemaError,
+	ErrSpentHandle,
+	ErrUseAfterScope,
+	InstanceBuilder
+} from "#db.ts"
 export type {
 	AnyFace,
 	Arity,
@@ -114,7 +119,7 @@ export type {
 export { bool, bytes, i64, interval, span, str, u64 } from "#fields.ts"
 export type { ClassesOf, ClassWall, LawfulStatements, RelationClasses, SchemaClasses } from "#law.ts"
 export { lower, lowerClosed, lowerRelation } from "#lower.ts"
-export type { KeyFact, Minted } from "#marshal.ts"
+export type { KeyFact } from "#marshal.ts"
 export type { FactValue, ParsedQuery, QueryIr, StatementKindTag } from "#native.ts"
 
 export type {
@@ -169,7 +174,6 @@ export type {
 	Fact,
 	FieldsShape,
 	FreshKeys,
-	InsertFact,
 	Relation,
 	RelationData,
 	RelationField,

package/src/marshal.ts

@@ -43,13 +43,6 @@ function isFreshField(field: AnyField): boolean {
 	return "fresh" in field && field.fresh === true
 }
 
-/**
- * The inferred object type `tx.insert` returns: one property per
- * fresh-marked field of `R`, carrying the minted (or resupplied) id as a
- * bare `bigint`. A relation with no fresh field returns the empty object.
- */
-type Minted<R extends AnyRelation> = { [K in FreshKeys<R>]: Fact<R>[K] }
-
 /**
  * The key object `get` reads through. THE PRIMARY-KEY RULE: `get` always
  * reads through the PRIMARY candidate key — the first-declared one in the
@@ -74,10 +67,7 @@ type KeyFact<R extends AnyRelation> = [FreshKeys<R>] extends [never]
  * ALLOCATION-FREE IDENTITY (the admission predicate is the type
  * reprojection; the value passes through untouched): every consumer
  * downstream — `rowOf`, `keyRowOf`, the query param marshal — only READS
- * properties, so no copy is warranted. The one mutating consumer
- * (`mintFreshCells` on the insert path) takes its own spread copy at the
- * call site, so the caller's fact object is never written through this
- * seam.
+ * properties, so no copy is warranted.
  */
 function recordOf(fact: object): Readonly<Record<string, unknown>> {
 	if (!isStringIndexed(fact)) {
@@ -203,9 +193,8 @@ function cellOf(context: string, field: AnyField, value: unknown): FactValue {
 
 /**
  * Marshals one complete fact object to its positional row, in field
- * declaration order (= ordinal ids). Every declared field must be present;
- * fresh minting happens BEFORE this point (the transaction fills omitted
- * fresh cells via the engine's alloc lane).
+ * declaration order (= ordinal ids). Every declared field must be present.
+ * Mint with `tx.reserve` first; insert takes complete facts.
  */
 function rowOf(relation: RelationData, fact: Readonly<Record<string, unknown>>): FactValue[] {
 	return relation.fields.map(function marshalCell(declared) {
@@ -260,25 +249,6 @@ function isCompleteFact<R extends AnyRelation>(
 	})
 }
 
-/**
- * The insert-return trusted seam (R11): one insert's return carries the
- * engine's changed-state report beside the collected fresh cells (minted by
- * the engine or resupplied by the caller) — the bit is verified boolean and
- * the fresh ids present, same presence-only direction as
- * {@link isCompleteFact}.
- */
-function isInserted<R extends AnyRelation>(
-	relation: R,
-	value: Readonly<Record<string, FactValue | boolean>>
-): value is Readonly<Record<string, FactValue | boolean>> & { readonly changed: boolean } & Minted<R> {
-	return (
-		typeof value.changed === "boolean" &&
-		relation.data.fields.every(function presentWhenFresh(declared) {
-			return !isFreshField(declared.field) || value[declared.name] !== undefined
-		})
-	)
-}
-
 /**
  * Unmarshals one positional row to the relation's named, frozen fact object
  * of bare structural values — the inverse of {@link rowOf},
@@ -310,5 +280,5 @@ function factOf<R extends AnyRelation>(relation: R, row: readonly FactValue[]):
 	return decoded
 }
 
-export type { KeyFact, Minted }
-export { cellOf, factOf, handleOf, isFreshField, isInserted, keyRowOf, recordOf, rowOf }
+export type { KeyFact }
+export { cellOf, factOf, handleOf, isFreshField, keyRowOf, recordOf, rowOf }