@bjornpagen/bumbledb 0.11.0 → 0.12.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@bjornpagen/bumbledb",
-  "version": "0.11.0",
+  "version": "0.12.0",
   "description": "Type-theoretic TypeScript SDK for the bumbledb embedded relational engine",
   "type": "module",
   "exports": {
@@ -53,7 +53,7 @@
   },
   "private": false,
   "optionalDependencies": {
-    "@bjornpagen/bumbledb-darwin-arm64": "0.11.0"
+    "@bjornpagen/bumbledb-darwin-arm64": "0.12.0"
   },
   "scripts": {
     "build": "node scripts/build.ts",

package/src/index.ts

@@ -7,13 +7,13 @@
  * 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 (Datalog as values, kysely-shaped:
+ * closables), 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
  * (renames are real), params still STRING-named, plus negation,
  * conditions, aggregates, and interiors / one linear rec via
- * `q.interior` / `q.recursive` —
+ * `q.interior` / `q.reach` —
  * `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
@@ -132,6 +132,7 @@ export type {
 	Query,
 	QueryData,
 	QueryParams,
+	QueryReachStart,
 	QueryRelation,
 	QueryRow,
 	QueryRuleChain,

package/src/native.ts

@@ -73,14 +73,23 @@ type QueryParam = TaggedValue | { readonly kind: "set"; readonly values: readonl
 /**
  * The IR mirror (`bumbledb::ir`, 1:1): relations, fields, interiors, and
  * params by NUMERIC id — the SDK resolves names through the manifest and
- * sends ids; the bridge never sees names in queries.
+ * sends ids; the bridge never sees names in queries. Q1 is a tagged sum:
+ * CQ carries no rec; Reach carries `rec` by value.
  */
-interface QueryIr {
-	readonly interiors: readonly InteriorIr[]
-	readonly rec: RecIr | null
-	readonly head: readonly HeadTermIr[]
-	readonly rules: readonly RuleIr[]
-}
+type QueryIr =
+	| {
+			readonly kind: "cq"
+			readonly interiors: readonly InteriorIr[]
+			readonly head: readonly HeadTermIr[]
+			readonly rules: readonly RuleIr[]
+	  }
+	| {
+			readonly kind: "reach"
+			readonly interiors: readonly InteriorIr[]
+			readonly rec: RecIr
+			readonly head: readonly HeadTermIr[]
+			readonly rules: readonly RuleIr[]
+	  }
 
 /** One named interior: the head shape its rules align against, and the rules. */
 interface InteriorIr {
@@ -88,7 +97,7 @@ interface InteriorIr {
 	readonly rules: readonly RuleIr[]
 }
 
-/** The optional linear rec: shared head, base arms, rec arms. */
+/** The linear rec on a Reach query: shared head, base arms, rec arms. */
 interface RecIr {
 	readonly head: readonly HeadTermIr[]
 	readonly base: readonly RuleIr[]

package/src/query/atom.ts

@@ -207,7 +207,7 @@ interface RecHead {
 }
 
 /**
- * The optional linear rec's runtime description — identity keys the dense
+ * The linear rec's runtime description — identity keys the dense
  * `InteriorId` (`interiors.length`) at lowering. Base and rec arms are
  * nonempty by type and sealed in one assignment.
  */