@bjornpagen/bumbledb 0.5.0 → 0.6.0

package/dist/query/scope.d.ts

@@ -1,24 +1,38 @@
 /**
- * Query scope terms, LAW-TYPED edition: string-named variables and
- * parameters as plain frozen values. A `Var` is a NAME — it is typed by the
- * field slot it first binds (the descriptor AND the slot's law-computed
- * CLASS, read off the schema's class map through the rule builder's
- * environment), reuse of the name within one rule IS the join, and a
- * class-mismatched reuse is a compile error: a var joins only class-equal
- * slots, and BARE PAIRS ONLY WITH BARE (ruling 3 — a slot in no law has no
- * class and never joins a classed slot; the deliberate sum-domain pointer
- * stays legal against other bare slots). Params are query-global by name
- * and typed BY USE: the field position or comparison sibling that anchors
- * a param types it, the query's inferred `Params` object is exactly the
- * params the rules use, and a param value that no rule uses simply never
- * registers — the query executes under its own inferred type (the
- * bug-hunt law). This module also owns the environment/typing utilities
- * the whole surface shares: the env shape (var name → classed slot), the
- * class-equality judgment {@link JoinOk} with its runtime twin
- * {@link fieldJoins}, and the record-folding helpers `Params` and `Row`
- * inference ride.
+ * Query scope terms, REFERENCE-IDENTITY edition: a query variable is an
+ * OBJECT, minted fresh by {@link v} over a relation's statically-known
+ * columns. `v(relation)` returns a record of fresh variables — one per
+ * column, each typed at mint by its column's descriptor AND the mint
+ * coordinate (the owner relation name and the column name), so
+ * destructuring preserves every literal and every class
+ * (`const { id, holder } = v(Account)`). Variable IDENTITY is the object
+ * reference: reusing the same var value across binding positions IS the
+ * join, and a name-collision join is unrepresentable (two `v()` calls mint
+ * two distinct batches, so two same-named vars are two variables). Params
+ * stay STRING-named — their names are the execute() params object's runtime
+ * keys, an honest load-bearing channel, not a lie.
+ *
+ * THE DESIGN THEOREM. {@link JoinOk} is an EQUALITY (kind, class, width,
+ * element, roster), so judging every binding position against the
+ * variable's MINT slot ({@link MintSlotOf}) makes all cross-binding joins
+ * mutually class-equal by transitivity — the env/sibling checks the
+ * name-keyed edition needed are subsumed, deleted rather than ported. The
+ * one check representation cannot carry is BOUNDNESS (is this var positively
+ * bound in this rule): TypeScript types cannot see object identity, so
+ * boundness moves from the type tier to construction-time walls only — an
+ * explicit essential-vs-accidental concession; every runtime twin is
+ * preserved.
+ *
+ * This module also owns the environment/typing utilities the whole surface
+ * shares: the join descriptor {@link ClassedField}, the mint-slot machinery
+ * ({@link MintSlotOf}/{@link MintClassOf}), the class-equality judgment
+ * {@link JoinOk} with its runtime twin {@link fieldJoins}, and the
+ * record-folding helpers `Params` and `Row` inference ride.
  */
+import type { AnyClosed } from "#closed.ts";
 import type { AnyField, Infer } from "#fields.ts";
+import type { ClassLookup, ClassRecordOf, SchemaClasses } from "#law.ts";
+import type { AnyRelation, RelationFields } from "#relation.ts";
 /**
  * The runtime discriminant of query term values. Host literals (bigints,
  * strings, interval objects) never carry it, so "is this position a term
@@ -33,16 +47,43 @@ declare const term: unique symbol;
  */
 declare const inferred: unique symbol;
 /**
- * A query variable — a NAME. Its type comes from the field it first binds
- * in the rule (the builder's environment); reusing the name joins, and a
- * cross-domain reuse is a compile error. Identity is the name, strictly
- * rule-scoped: the same name in two rules names two unrelated variables
- * (exactly as the IR scopes `VarId`).
+ * What a query atom matches over: an ordinary relation or a CLOSED
+ * vocabulary (ψ query atoms — the engine folds a resolvable closed atom
+ * into a plan-constant member set at prepare, or joins the L1-resident
+ * virtual image when the shape does not fold; the SDK never pre-folds and
+ * never knows which — transparency is the contract).
  */
-interface Var<Name extends string = string> {
+type MatchOwner = AnyRelation | AnyClosed;
+/**
+ * The matchable field block of an atom owner: a relation's declared
+ * fields; a closed relation's SEALED shape — the synthetic `id` (the
+ * value's OWN roster-carrying descriptor, at its precise type) first, then
+ * the declared payload columns read through the typed `columns` carrier.
+ * The runtime twin is `sealedFieldsOf` in `#closed.ts`.
+ */
+type MatchFields<R extends MatchOwner> = R extends AnyClosed ? {
+    readonly id: R["id"];
+} & R["columns"] : R extends AnyRelation ? RelationFields<R> : never;
+/**
+ * A query variable — an OBJECT minted by {@link v}. Identity is the object
+ * reference: reuse of the same value across binding positions is the join,
+ * strictly rule-scoped (each rule numbers its own dense `VarId`s). The type
+ * carries the mint COORDINATE — `RN` the owner relation name literal, `K`
+ * the column name literal — and `F` the mint descriptor, so the mint slot
+ * (descriptor + law-computed class) is recoverable at every binding
+ * position for the join judgment.
+ */
+interface Var<F extends AnyField = AnyField, RN extends string = string, K extends string = string> {
     readonly [term]: "var";
-    readonly name: Name;
+    readonly owner: MatchOwner & {
+        readonly name: RN;
+    };
+    readonly column: K;
+    readonly field: F;
+    readonly label: string;
 }
+/** Any query variable, whatever its descriptor and mint coordinate. */
+type AnyVar = Var;
 /**
  * A scalar query parameter — `r.param("root")`. The name is the key of the
  * typed params object `execute` takes; the type is the element type of the
@@ -77,47 +118,72 @@ interface MaskParam<Name extends string = string> {
 /**
  * The measure of an interval-typed variable (`ir::Term::Measure`):
  * `|[s, e)| = e − s`, u64 — legal as one side of an order comparison, as a
- * select entry, and as the input of `sum`/`min`/`max`; every other position
- * is unwritable, exactly as the IR rejects it typed. A ray has no finite
- * measure — the engine's `MeasureOfRay` execution error; exclude rays first
- * (`allen` against a bounded window).
+ * find entry, and as the input of `sum`/`min`/`max`; every other position
+ * is unwritable, exactly as the IR rejects it typed. Carries the interval
+ * variable it measures BY REFERENCE.
  */
-interface Duration<Name extends string = string> {
+interface Duration<V extends AnyVar = AnyVar> {
     readonly [term]: "duration";
-    readonly name: Name;
+    readonly over: V;
 }
 /** Any scope term value. */
 type AnyTerm = Var | Param | SetParam | MaskParam | Duration;
 /** Narrows an unknown position value to a scope term (vs a host literal). */
 declare function isTerm(value: unknown): value is AnyTerm;
-/** Builds one variable term. */
-declare function makeVar<const Name extends string>(name: Name): Var<Name>;
+/**
+ * The record of fresh variables `v(owner)` mints — one per statically-known
+ * column, each typed by its column's descriptor and mint coordinate.
+ */
+type VarsOf<R extends MatchOwner> = {
+    readonly [K in keyof MatchFields<R> & string]: Var<MatchFields<R>[K], R["name"], K>;
+};
+/**
+ * Mints a FRESH batch of query variables over an atom owner's
+ * statically-known columns — one variable per sealed column
+ * (`sealedFieldsOf`: a closed owner mints `id` first, then payload columns),
+ * each frozen and each defined by OWN-property definition (object-protocol
+ * column names must work, the `closed()` precedent). Every `v()` call mints
+ * new objects, so two batches are two variables; property access within one
+ * batch is stable by construction (the record is an eager frozen record,
+ * never a Proxy). Variable identity is the object reference: destructure
+ * what you need (`const { id, holder } = v(Account)`) and reuse a value
+ * across binding positions to join.
+ */
+declare function v<R extends MatchOwner>(owner: R): VarsOf<R>;
 /** Builds one scalar-parameter term. */
 declare function makeParam<const Name extends string>(name: Name): Param<Name>;
 /** Builds one set-parameter term. */
 declare function makeSetParam<const Name extends string>(name: Name): SetParam<Name>;
 /** Builds one Allen-mask-parameter term. */
 declare function makeMaskParam<const Name extends string>(name: Name): MaskParam<Name>;
-/** Builds one measure term over an interval-typed variable's name. */
-declare function makeDuration<const Name extends string>(name: Name): Duration<Name>;
+/** Builds one measure term over an interval-typed variable reference. */
+declare function makeDuration<const V extends AnyVar>(over: V): Duration<V>;
 /**
  * One bound field slot: the field's descriptor plus the slot's
  * law-computed CLASS (`undefined` = bare — the slot is in no law). The one
- * shape the rule environment carries per variable, at the TYPE level (env
- * entries hold the schema type's class-map lookups) and at RUNTIME alike
- * (the rule's `varFields` record holds exactly this shape, read off the
- * schema value's frozen class map) — one shape, two tiers, one walk.
+ * shape every join judgment compares, at the TYPE level (a variable's mint
+ * slot, a binding position's slot) and at RUNTIME alike.
  */
 interface ClassedField {
     readonly field: AnyField;
     readonly class: string | undefined;
 }
 /**
- * A rule's typing environment: variable name → the classed slot it first
- * bound. Purely a TYPE — the runtime twin is the rule's `varFields`
- * record, and the two are built by the same walk.
+ * A variable's law-computed CLASS at the TYPE level: its column's class,
+ * read off the schema type's class map through the mint coordinate the
+ * variable carries (`RN.K`). `undefined` = bare.
+ */
+type MintClassOf<Classes extends SchemaClasses, V> = V extends Var<AnyField, infer RN extends string, infer K extends string> ? ClassLookup<ClassRecordOf<Classes, RN>, K> : never;
+/**
+ * A variable's MINT slot: the descriptor it was minted at plus its
+ * law-computed class. The one slot every binding position judges against —
+ * because {@link JoinOk} is an equality, judging each position against the
+ * mint slot makes every cross-binding join transitively class-equal.
  */
-type EnvShape = Record<string, ClassedField>;
+type MintSlotOf<Classes extends SchemaClasses, V extends AnyVar> = {
+    readonly field: V["field"];
+    readonly class: MintClassOf<Classes, V>;
+};
 /** A params object type — what `execute` takes and inference carries. */
 type ParamsRecord = Readonly<Record<string, unknown>>;
 /** Flattens an intersection into one displayed object type (hover legibility). */
@@ -139,7 +205,9 @@ type WidthOf<F extends AnyField> = F extends {
 type ElementOf<F extends AnyField> = F extends {
     readonly element: infer E;
 } ? E : undefined;
-/** Reads a closed reference's handle union; `undefined` on every non-closed kind (the roster IS descriptor structure). */
+/**
+ * Reads a closed reference's handle union; `undefined` on every non-closed kind (the roster IS descriptor structure).
+ */
 type RosterOf<F extends AnyField> = F extends {
     readonly closed: {
         readonly handles: readonly (infer H extends string)[];
@@ -149,13 +217,10 @@ type RosterOf<F extends AnyField> = F extends {
  * The join judgment: two bound slots join iff their descriptors' structure
  * agrees (kind, width label, interval element, and the closed ROSTER — a
  * closed reference pairs only with the same vocabulary, never with a bare
- * u64: the roster keys every closed judgment downstream, so a join across
- * it would decode/order/translate incoherently by binding order) AND their
- * law-computed classes agree — same class name joins, and bare
- * (`undefined`) pairs only with bare (ruling 3: a field in no law has no
- * class; a bare↔classed pairing refuses). The class names come off the
- * SCHEMA type's class map — the statements are the typing; no descriptor
- * label beyond the roster exists to compare.
+ * u64) AND their law-computed classes agree — same class name joins, and
+ * bare (`undefined`) pairs only with bare (ruling 3). The class names come
+ * off the SCHEMA type's class map; no descriptor label beyond the roster
+ * exists to compare.
  */
 type JoinOk<A extends ClassedField, B extends ClassedField> = [
     A["field"]["kind"],
@@ -174,29 +239,23 @@ type JoinOk<A extends ClassedField, B extends ClassedField> = [
  * The runtime twin of {@link JoinOk}: two bound slots join iff descriptor
  * structure and class agree — the same comparison the type tier makes,
  * judged on the honest runtime values (the descriptor, the roster by VALUE
- * IDENTITY — vocabulary identity is value identity — and the schema
- * value's frozen class map). The rule builders throw through this on a
- * class-unequal variable reuse, so the wall holds for untyped callers too,
- * not only where the compiler can see.
+ * IDENTITY, and the schema value's frozen class map). The rule builders
+ * throw through this on a class-unequal reuse, so the wall holds for untyped
+ * callers too.
  */
 declare function fieldJoins(a: ClassedField, b: ClassedField): boolean;
 /**
  * Renders one bound slot for join-mismatch diagnostics — the structural
  * kind in the schema grammar's spelling (a closed reference names its
- * vocabulary: the roster is part of the structure being compared) plus the
- * slot's law-computed class (`u64 in class Holder.id`; a lawless slot
- * renders `bare`).
+ * vocabulary) plus the slot's law-computed class (`u64 in class Holder.id`;
+ * a lawless slot renders `bare`).
  */
 declare function renderFieldKind(slot: ClassedField): string;
 /**
  * What a PARAM anchored at field `F` accepts at execution: the field's
  * bare value type, exactly — at a CLOSED-reference field that is the
  * handle-name union (`"DirectPass" | "Failed"`), translated name → row id
- * at execute through the one roster-verification point
- * (`taggedHandleId`). At an interval field the engine resolves the
- * bivalent anchor to the INTERVAL reading (value equality) — the point
- * reading of a param is spelled `pointIn(r.param(...), w)`, whose sibling
- * anchors it element-typed.
+ * at execute through the one roster-verification point (`taggedHandleId`).
  */
 type ParamValueAt<F extends AnyField> = Infer<F>;
 /** Reads a value's inferred-types carrier (rules, queries, recs). */
@@ -207,13 +266,9 @@ type InferredOf<T> = T extends {
  * One registered parameter of a query, as the wire marshal reads it: the
  * name, the wire shape, the field descriptor (or the measure) that anchored
  * it, and the comparison op the anchor came from (`"binding"` for atom
- * positions) — the op keeps literal tagging op-aware at `pointIn`
- * (the bug-hunt fix, preserved). `anchor` is `undefined` only on a query
- * built but not yet anchored by any rule; lowering and the wire both refuse
- * that state typed. `members` is present exactly on a MEMBERSHIP-ARRAY
- * entry (a literal set at a closed field, folded into the program): the
- * SDK itself translates and supplies the set at every execute — the entry
- * is never read from, and never demanded of, the host's params object.
+ * positions). `anchor` is `undefined` only on a query built but not yet
+ * anchored by any rule. `members` is present exactly on a MEMBERSHIP-ARRAY
+ * entry.
  */
 interface ParamEntry {
     readonly name: string;
@@ -222,6 +277,6 @@ interface ParamEntry {
     readonly op: "binding" | "eq" | "ne" | "lt" | "le" | "gt" | "ge" | "pointIn" | "allen";
     readonly members: readonly string[] | undefined;
 }
-export type { AnyTerm, ClassedField, Duration, EnvShape, Flatten, InferredOf, JoinOk, MaskParam, Param, ParamEntry, ParamsRecord, ParamValueAt, SetParam, ShapeOf, UnionToIntersection, Var };
-export { fieldJoins, inferred, isTerm, makeDuration, makeMaskParam, makeParam, makeSetParam, makeVar, renderFieldKind, term };
+export type { AnyTerm, AnyVar, ClassedField, Duration, Flatten, InferredOf, JoinOk, MaskParam, MatchFields, MatchOwner, MintClassOf, MintSlotOf, Param, ParamEntry, ParamsRecord, ParamValueAt, SetParam, ShapeOf, UnionToIntersection, Var, VarsOf };
+export { fieldJoins, inferred, isTerm, makeDuration, makeMaskParam, makeParam, makeSetParam, renderFieldKind, term, v };
 //# sourceMappingURL=scope.d.ts.map

package/dist/query/scope.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"scope.d.ts","sourceRoot":"","sources":["../../src/query/scope.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAGjD;;;;GAIG;AACH,QAAA,MAAM,IAAI,EAAE,OAAO,MAAsC,CAAA;AAEzD;;;;;GAKG;AACH,QAAA,MAAM,QAAQ,EAAE,OAAO,MAA0C,CAAA;AAEjE;;;;;;GAMG;AACH,UAAU,GAAG,CAAC,IAAI,SAAS,MAAM,GAAG,MAAM;IACzC,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,CAAA;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CACnB;AAED;;;;;GAKG;AACH,UAAU,KAAK,CAAC,IAAI,SAAS,MAAM,GAAG,MAAM;IAC3C,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CACnB;AAED;;;;;;GAMG;AACH,UAAU,QAAQ,CAAC,IAAI,SAAS,MAAM,GAAG,MAAM;IAC9C,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,UAAU,CAAA;IAC3B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CACnB;AAED;;;;;GAKG;AACH,UAAU,SAAS,CAAC,IAAI,SAAS,MAAM,GAAG,MAAM;IAC/C,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,WAAW,CAAA;IAC5B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CACnB;AAED;;;;;;;GAOG;AACH,UAAU,QAAQ,CAAC,IAAI,SAAS,MAAM,GAAG,MAAM;IAC9C,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,UAAU,CAAA;IAC3B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CACnB;AAED,4BAA4B;AAC5B,KAAK,OAAO,GAAG,GAAG,GAAG,KAAK,GAAG,QAAQ,GAAG,SAAS,GAAG,QAAQ,CAAA;AAE5D,6EAA6E;AAC7E,iBAAS,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,OAAO,CAEhD;AAED,gCAAgC;AAChC,iBAAS,OAAO,CAAC,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,CAGjE;AAED,wCAAwC;AACxC,iBAAS,SAAS,CAAC,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAGrE;AAED,qCAAqC;AACrC,iBAAS,YAAY,CAAC,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAG3E;AAED,4CAA4C;AAC5C,iBAAS,aAAa,CAAC,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAG7E;AAED,sEAAsE;AACtE,iBAAS,YAAY,CAAC,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAG3E;AAED;;;;;;;GAOG;AACH,UAAU,YAAY;IACrB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAA;CAClC;AAED;;;;GAIG;AACH,KAAK,QAAQ,GAAG,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;AAE5C,yEAAyE;AACzE,KAAK,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;AAErD,kFAAkF;AAClF,KAAK,OAAO,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAA;AAE1C,sEAAsE;AACtE,KAAK,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,OAAO,GAAG,CAAC,MAAM,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,IAAI,GAC9G,CAAC,GACD,KAAK,CAAA;AAER;;;GAGG;AACH,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAA;AAE9F,qHAAqH;AACrH,KAAK,OAAO,CAAC,CAAC,SAAS,QAAQ,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,SAAS,CAAA;AAExF,gFAAgF;AAChF,KAAK,SAAS,CAAC,CAAC,SAAS,QAAQ,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,SAAS,CAAA;AAE5F,0HAA0H;AAC1H,KAAK,QAAQ,CAAC,CAAC,SAAS,QAAQ,IAAI,CAAC,SAAS;IAC7C,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,MAAM,CAAC,SAAS,MAAM,CAAC,EAAE,CAAA;KAAE,CAAA;CAC1E,GACE,CAAC,GACD,SAAS,CAAA;AAEZ;;;;;;;;;;;GAWG;AACH,KAAK,MAAM,CAAC,CAAC,SAAS,YAAY,EAAE,CAAC,SAAS,YAAY,IAAI;IAC7D,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;IAClB,CAAC,CAAC,OAAO,CAAC;IACV,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IACnB,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IACrB,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;CACpB,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GACzG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;IAC3G,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;IAClB,CAAC,CAAC,OAAO,CAAC;IACV,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IACnB,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IACrB,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;CACpB,GACC,IAAI,GACJ,KAAK,GACN,KAAK,CAAA;AAER;;;;;;;;GAQG;AACH,iBAAS,UAAU,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,YAAY,GAAG,OAAO,CAc7D;AAED;;;;;;GAMG;AACH,iBAAS,eAAe,CAAC,IAAI,EAAE,YAAY,GAAG,MAAM,CAcnD;AAED;;;;;;;;;GASG;AACH,KAAK,YAAY,CAAC,CAAC,SAAS,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,CAAA;AAEhD,qEAAqE;AACrE,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,KAAK,CAAA;AAEhG;;;;;;;;;;;GAWG;AACH,UAAU,UAAU;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,GAAG,MAAM,CAAA;IACxC,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,SAAS,GAAG,SAAS,CAAA;IACjD,QAAQ,CAAC,EAAE,EAAE,SAAS,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,SAAS,GAAG,OAAO,CAAA;IACtF,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,CAAA;CAC/C;AAED,YAAY,EACX,OAAO,EACP,YAAY,EACZ,QAAQ,EACR,QAAQ,EACR,OAAO,EACP,UAAU,EACV,MAAM,EACN,SAAS,EACT,KAAK,EACL,UAAU,EACV,YAAY,EACZ,YAAY,EACZ,QAAQ,EACR,OAAO,EACP,mBAAmB,EACnB,GAAG,EACH,CAAA;AACD,OAAO,EACN,UAAU,EACV,QAAQ,EACR,MAAM,EACN,YAAY,EACZ,aAAa,EACb,SAAS,EACT,YAAY,EACZ,OAAO,EACP,eAAe,EACf,IAAI,EACJ,CAAA"}
+{"version":3,"file":"scope.d.ts","sourceRoot":"","sources":["../../src/query/scope.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAGH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAE3C,OAAO,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAEjD,OAAO,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,SAAS,CAAA;AACxE,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAE/D;;;;GAIG;AACH,QAAA,MAAM,IAAI,EAAE,OAAO,MAAsC,CAAA;AAEzD;;;;;GAKG;AACH,QAAA,MAAM,QAAQ,EAAE,OAAO,MAA0C,CAAA;AAEjE;;;;;;GAMG;AACH,KAAK,UAAU,GAAG,WAAW,GAAG,SAAS,CAAA;AAEzC;;;;;;GAMG;AACH,KAAK,WAAW,CAAC,CAAC,SAAS,UAAU,IAAI,CAAC,SAAS,SAAS,GACzD;IAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAA;CAAE,GAAG,CAAC,CAAC,SAAS,CAAC,GACvC,CAAC,SAAS,WAAW,GACpB,cAAc,CAAC,CAAC,CAAC,GACjB,KAAK,CAAA;AAET;;;;;;;;GAQG;AACH,UAAU,GAAG,CAAC,CAAC,SAAS,QAAQ,GAAG,QAAQ,EAAE,EAAE,SAAS,MAAM,GAAG,MAAM,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM;IACjG,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,CAAA;IACtB,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG;QAAE,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAA;KAAE,CAAA;IAClD,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;IAClB,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;IACjB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CACtB;AAED,uEAAuE;AACvE,KAAK,MAAM,GAAG,GAAG,CAAA;AAEjB;;;;;GAKG;AACH,UAAU,KAAK,CAAC,IAAI,SAAS,MAAM,GAAG,MAAM;IAC3C,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CACnB;AAED;;;;;;GAMG;AACH,UAAU,QAAQ,CAAC,IAAI,SAAS,MAAM,GAAG,MAAM;IAC9C,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,UAAU,CAAA;IAC3B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CACnB;AAED;;;;;GAKG;AACH,UAAU,SAAS,CAAC,IAAI,SAAS,MAAM,GAAG,MAAM;IAC/C,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,WAAW,CAAA;IAC5B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CACnB;AAED;;;;;;GAMG;AACH,UAAU,QAAQ,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM;IAC3C,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,UAAU,CAAA;IAC3B,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CAChB;AAED,4BAA4B;AAC5B,KAAK,OAAO,GAAG,GAAG,GAAG,KAAK,GAAG,QAAQ,GAAG,SAAS,GAAG,QAAQ,CAAA;AAE5D,6EAA6E;AAC7E,iBAAS,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,OAAO,CAEhD;AAED;;;GAGG;AACH,KAAK,MAAM,CAAC,CAAC,SAAS,UAAU,IAAI;IACnC,QAAQ,EAAE,CAAC,IAAI,MAAM,WAAW,CAAC,CAAC,CAAC,GAAG,MAAM,GAAG,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;CACnF,CAAA;AAcD;;;;;;;;;;;GAWG;AACH,iBAAS,CAAC,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAiBpD;AAED,wCAAwC;AACxC,iBAAS,SAAS,CAAC,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAGrE;AAED,qCAAqC;AACrC,iBAAS,YAAY,CAAC,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAG3E;AAED,4CAA4C;AAC5C,iBAAS,aAAa,CAAC,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAG7E;AAED,yEAAyE;AACzE,iBAAS,YAAY,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAGlE;AAED;;;;;GAKG;AACH,UAAU,YAAY;IACrB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAA;CAClC;AAED;;;;GAIG;AACH,KAAK,WAAW,CAAC,OAAO,SAAS,aAAa,EAAE,CAAC,IAChD,CAAC,SAAS,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,MAAM,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,GACrE,WAAW,CAAC,aAAa,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,GAC1C,KAAK,CAAA;AAET;;;;;GAKG;AACH,KAAK,UAAU,CAAC,OAAO,SAAS,aAAa,EAAE,CAAC,SAAS,MAAM,IAAI;IAClE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,CAAA;IAC1B,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;CACvC,CAAA;AAED,yEAAyE;AACzE,KAAK,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;AAErD,kFAAkF;AAClF,KAAK,OAAO,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAA;AAE1C,sEAAsE;AACtE,KAAK,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,OAAO,GAAG,CAAC,MAAM,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,IAAI,GAC9G,CAAC,GACD,KAAK,CAAA;AAER;;;GAGG;AACH,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAA;AAE9F,qHAAqH;AACrH,KAAK,OAAO,CAAC,CAAC,SAAS,QAAQ,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,SAAS,CAAA;AAExF,gFAAgF;AAChF,KAAK,SAAS,CAAC,CAAC,SAAS,QAAQ,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,SAAS,CAAA;AAE5F;;GAEG;AACH,KAAK,QAAQ,CAAC,CAAC,SAAS,QAAQ,IAAI,CAAC,SAAS;IAC7C,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,MAAM,CAAC,SAAS,MAAM,CAAC,EAAE,CAAA;KAAE,CAAA;CAC1E,GACE,CAAC,GACD,SAAS,CAAA;AAEZ;;;;;;;;GAQG;AACH,KAAK,MAAM,CAAC,CAAC,SAAS,YAAY,EAAE,CAAC,SAAS,YAAY,IAAI;IAC7D,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;IAClB,CAAC,CAAC,OAAO,CAAC;IACV,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IACnB,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IACrB,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;CACpB,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GACzG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;IAC3G,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;IAClB,CAAC,CAAC,OAAO,CAAC;IACV,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IACnB,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IACrB,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;CACpB,GACC,IAAI,GACJ,KAAK,GACN,KAAK,CAAA;AAER;;;;;;;GAOG;AACH,iBAAS,UAAU,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,YAAY,GAAG,OAAO,CAc7D;AAED;;;;;GAKG;AACH,iBAAS,eAAe,CAAC,IAAI,EAAE,YAAY,GAAG,MAAM,CAcnD;AAED;;;;;GAKG;AACH,KAAK,YAAY,CAAC,CAAC,SAAS,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,CAAA;AAEhD,qEAAqE;AACrE,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,KAAK,CAAA;AAEhG;;;;;;;GAOG;AACH,UAAU,UAAU;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,GAAG,MAAM,CAAA;IACxC,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,SAAS,GAAG,SAAS,CAAA;IACjD,QAAQ,CAAC,EAAE,EAAE,SAAS,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,SAAS,GAAG,OAAO,CAAA;IACtF,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,CAAA;CAC/C;AAED,YAAY,EACX,OAAO,EACP,MAAM,EACN,YAAY,EACZ,QAAQ,EACR,OAAO,EACP,UAAU,EACV,MAAM,EACN,SAAS,EACT,WAAW,EACX,UAAU,EACV,WAAW,EACX,UAAU,EACV,KAAK,EACL,UAAU,EACV,YAAY,EACZ,YAAY,EACZ,QAAQ,EACR,OAAO,EACP,mBAAmB,EACnB,GAAG,EACH,MAAM,EACN,CAAA;AACD,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,YAAY,EAAE,aAAa,EAAE,SAAS,EAAE,YAAY,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,EAAE,CAAA"}

package/dist/query/scope.js

@@ -1,23 +1,36 @@
 /**
- * Query scope terms, LAW-TYPED edition: string-named variables and
- * parameters as plain frozen values. A `Var` is a NAME — it is typed by the
- * field slot it first binds (the descriptor AND the slot's law-computed
- * CLASS, read off the schema's class map through the rule builder's
- * environment), reuse of the name within one rule IS the join, and a
- * class-mismatched reuse is a compile error: a var joins only class-equal
- * slots, and BARE PAIRS ONLY WITH BARE (ruling 3 — a slot in no law has no
- * class and never joins a classed slot; the deliberate sum-domain pointer
- * stays legal against other bare slots). Params are query-global by name
- * and typed BY USE: the field position or comparison sibling that anchors
- * a param types it, the query's inferred `Params` object is exactly the
- * params the rules use, and a param value that no rule uses simply never
- * registers — the query executes under its own inferred type (the
- * bug-hunt law). This module also owns the environment/typing utilities
- * the whole surface shares: the env shape (var name → classed slot), the
- * class-equality judgment {@link JoinOk} with its runtime twin
- * {@link fieldJoins}, and the record-folding helpers `Params` and `Row`
- * inference ride.
+ * Query scope terms, REFERENCE-IDENTITY edition: a query variable is an
+ * OBJECT, minted fresh by {@link v} over a relation's statically-known
+ * columns. `v(relation)` returns a record of fresh variables — one per
+ * column, each typed at mint by its column's descriptor AND the mint
+ * coordinate (the owner relation name and the column name), so
+ * destructuring preserves every literal and every class
+ * (`const { id, holder } = v(Account)`). Variable IDENTITY is the object
+ * reference: reusing the same var value across binding positions IS the
+ * join, and a name-collision join is unrepresentable (two `v()` calls mint
+ * two distinct batches, so two same-named vars are two variables). Params
+ * stay STRING-named — their names are the execute() params object's runtime
+ * keys, an honest load-bearing channel, not a lie.
+ *
+ * THE DESIGN THEOREM. {@link JoinOk} is an EQUALITY (kind, class, width,
+ * element, roster), so judging every binding position against the
+ * variable's MINT slot ({@link MintSlotOf}) makes all cross-binding joins
+ * mutually class-equal by transitivity — the env/sibling checks the
+ * name-keyed edition needed are subsumed, deleted rather than ported. The
+ * one check representation cannot carry is BOUNDNESS (is this var positively
+ * bound in this rule): TypeScript types cannot see object identity, so
+ * boundness moves from the type tier to construction-time walls only — an
+ * explicit essential-vs-accidental concession; every runtime twin is
+ * preserved.
+ *
+ * This module also owns the environment/typing utilities the whole surface
+ * shares: the join descriptor {@link ClassedField}, the mint-slot machinery
+ * ({@link MintSlotOf}/{@link MintClassOf}), the class-equality judgment
+ * {@link JoinOk} with its runtime twin {@link fieldJoins}, and the
+ * record-folding helpers `Params` and `Row` inference ride.
  */
+import * as errors from "@superbuilders/errors";
+import { sealedFieldsOf } from "#closed.ts";
 import { rosterOf } from "#fields.ts";
 /**
  * The runtime discriminant of query term values. Host literals (bigints,
@@ -36,10 +49,46 @@ const inferred = Symbol("bumbledb.query.inferred");
 function isTerm(value) {
     return typeof value === "object" && value !== null && term in value;
 }
-/** Builds one variable term. */
-function makeVar(name) {
-    const value = { [term]: "var", name };
-    return Object.freeze(value);
+/**
+ * The trusted admission seam of the variable-record mint (the pattern's
+ * home is `isTypedScope` in `#query/lower.ts`): the checkable fact — one own
+ * enumerable variable per sealed column — is verified before the record is
+ * admitted at its computed {@link VarsOf} type.
+ */
+function varsMinted(owner, record) {
+    return sealedFieldsOf(owner).every(function columnMinted(declared) {
+        return Object.hasOwn(record, declared.name);
+    });
+}
+/**
+ * Mints a FRESH batch of query variables over an atom owner's
+ * statically-known columns — one variable per sealed column
+ * (`sealedFieldsOf`: a closed owner mints `id` first, then payload columns),
+ * each frozen and each defined by OWN-property definition (object-protocol
+ * column names must work, the `closed()` precedent). Every `v()` call mints
+ * new objects, so two batches are two variables; property access within one
+ * batch is stable by construction (the record is an eager frozen record,
+ * never a Proxy). Variable identity is the object reference: destructure
+ * what you need (`const { id, holder } = v(Account)`) and reuse a value
+ * across binding positions to join.
+ */
+function v(owner) {
+    const record = {};
+    for (const declared of sealedFieldsOf(owner)) {
+        const variable = Object.freeze({
+            [term]: "var",
+            owner,
+            column: declared.name,
+            field: declared.field,
+            label: `${owner.name}.${declared.name}`
+        });
+        Object.defineProperty(record, declared.name, { value: variable, enumerable: true });
+    }
+    Object.freeze(record);
+    if (!varsMinted(owner, record)) {
+        throw errors.new(`v(${owner.name}): variable-record minting incomplete`);
+    }
+    return record;
 }
 /** Builds one scalar-parameter term. */
 function makeParam(name) {
@@ -56,19 +105,18 @@ function makeMaskParam(name) {
     const value = { [term]: "maskParam", name };
     return Object.freeze(value);
 }
-/** Builds one measure term over an interval-typed variable's name. */
-function makeDuration(name) {
-    const value = { [term]: "duration", name };
+/** Builds one measure term over an interval-typed variable reference. */
+function makeDuration(over) {
+    const value = { [term]: "duration", over };
     return Object.freeze(value);
 }
 /**
  * The runtime twin of {@link JoinOk}: two bound slots join iff descriptor
  * structure and class agree — the same comparison the type tier makes,
  * judged on the honest runtime values (the descriptor, the roster by VALUE
- * IDENTITY — vocabulary identity is value identity — and the schema
- * value's frozen class map). The rule builders throw through this on a
- * class-unequal variable reuse, so the wall holds for untyped callers too,
- * not only where the compiler can see.
+ * IDENTITY, and the schema value's frozen class map). The rule builders
+ * throw through this on a class-unequal reuse, so the wall holds for untyped
+ * callers too.
  */
 function fieldJoins(a, b) {
     const widthA = "width" in a.field ? a.field.width : undefined;
@@ -86,9 +134,8 @@ function fieldJoins(a, b) {
 /**
  * Renders one bound slot for join-mismatch diagnostics — the structural
  * kind in the schema grammar's spelling (a closed reference names its
- * vocabulary: the roster is part of the structure being compared) plus the
- * slot's law-computed class (`u64 in class Holder.id`; a lawless slot
- * renders `bare`).
+ * vocabulary) plus the slot's law-computed class (`u64 in class Holder.id`;
+ * a lawless slot renders `bare`).
  */
 function renderFieldKind(slot) {
     const field = slot.field;
@@ -105,5 +152,5 @@ function renderFieldKind(slot) {
     }
     return slot.class === undefined ? `${base} (bare)` : `${base} in class ${slot.class}`;
 }
-export { fieldJoins, inferred, isTerm, makeDuration, makeMaskParam, makeParam, makeSetParam, makeVar, renderFieldKind, term };
+export { fieldJoins, inferred, isTerm, makeDuration, makeMaskParam, makeParam, makeSetParam, renderFieldKind, term, v };
 //# sourceMappingURL=scope.js.map

package/dist/query/scope.js.map

@@ -1 +1 @@
-{"version":3,"file":"scope.js","sourceRoot":"","sources":["../../src/query/scope.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAGH,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAErC;;;;GAIG;AACH,MAAM,IAAI,GAAkB,MAAM,CAAC,qBAAqB,CAAC,CAAA;AAEzD;;;;;GAKG;AACH,MAAM,QAAQ,GAAkB,MAAM,CAAC,yBAAyB,CAAC,CAAA;AAgEjE,6EAA6E;AAC7E,SAAS,MAAM,CAAC,KAAc;IAC7B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,IAAI,IAAI,KAAK,CAAA;AACpE,CAAC;AAED,gCAAgC;AAChC,SAAS,OAAO,CAA4B,IAAU;IACrD,MAAM,KAAK,GAAc,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAA;IAChD,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AAC5B,CAAC;AAED,wCAAwC;AACxC,SAAS,SAAS,CAA4B,IAAU;IACvD,MAAM,KAAK,GAAgB,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAA;IACpD,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AAC5B,CAAC;AAED,qCAAqC;AACrC,SAAS,YAAY,CAA4B,IAAU;IAC1D,MAAM,KAAK,GAAmB,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAA;IAC1D,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AAC5B,CAAC;AAED,4CAA4C;AAC5C,SAAS,aAAa,CAA4B,IAAU;IAC3D,MAAM,KAAK,GAAoB,EAAE,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAA;IAC5D,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AAC5B,CAAC;AAED,sEAAsE;AACtE,SAAS,YAAY,CAA4B,IAAU;IAC1D,MAAM,KAAK,GAAmB,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAA;IAC1D,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AAC5B,CAAC;AAkFD;;;;;;;;GAQG;AACH,SAAS,UAAU,CAAC,CAAe,EAAE,CAAe;IACnD,MAAM,MAAM,GAAG,OAAO,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;IAC7D,MAAM,MAAM,GAAG,OAAO,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;IAC7D,MAAM,QAAQ,GAAG,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAA;IACnE,MAAM,QAAQ,GAAG,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAA;IACnE,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;IACjC,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;IACjC,OAAO,CACN,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI;QAC7B,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK;QACnB,MAAM,KAAK,MAAM;QACjB,QAAQ,KAAK,QAAQ;QACrB,OAAO,KAAK,OAAO,CACnB,CAAA;AACF,CAAC;AAED;;;;;;GAMG;AACH,SAAS,eAAe,CAAC,IAAkB;IAC1C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAA;IACxB,IAAI,IAAI,GAAW,KAAK,CAAC,IAAI,CAAA;IAC7B,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;IAC9B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QAC1B,IAAI,GAAG,mBAAmB,MAAM,CAAC,IAAI,EAAE,CAAA;IACxC,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC5B,IAAI,GAAG,SAAS,KAAK,CAAC,KAAK,GAAG,CAAA;IAC/B,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC/B,IAAI,GAAG,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,KAAK,GAAG,CAAA;IAC/G,CAAC;IACD,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,aAAa,IAAI,CAAC,KAAK,EAAE,CAAA;AACtF,CAAC;AAuDD,OAAO,EACN,UAAU,EACV,QAAQ,EACR,MAAM,EACN,YAAY,EACZ,aAAa,EACb,SAAS,EACT,YAAY,EACZ,OAAO,EACP,eAAe,EACf,IAAI,EACJ,CAAA"}
+{"version":3,"file":"scope.js","sourceRoot":"","sources":["../../src/query/scope.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAE/C,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAE3C,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAIrC;;;;GAIG;AACH,MAAM,IAAI,GAAkB,MAAM,CAAC,qBAAqB,CAAC,CAAA;AAEzD;;;;;GAKG;AACH,MAAM,QAAQ,GAAkB,MAAM,CAAC,yBAAyB,CAAC,CAAA;AA6FjE,6EAA6E;AAC7E,SAAS,MAAM,CAAC,KAAc;IAC7B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,IAAI,IAAI,KAAK,CAAA;AACpE,CAAC;AAUD;;;;;GAKG;AACH,SAAS,UAAU,CAAuB,KAAQ,EAAE,MAAwC;IAC3F,OAAO,cAAc,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,SAAS,YAAY,CAAC,QAAQ;QAChE,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAA;IAC5C,CAAC,CAAC,CAAA;AACH,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAS,CAAC,CAAuB,KAAQ;IACxC,MAAM,MAAM,GAA2B,EAAE,CAAA;IACzC,KAAK,MAAM,QAAQ,IAAI,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9C,MAAM,QAAQ,GAAW,MAAM,CAAC,MAAM,CAAC;YACtC,CAAC,IAAI,CAAC,EAAE,KAAc;YACtB,KAAK;YACL,MAAM,EAAE,QAAQ,CAAC,IAAI;YACrB,KAAK,EAAE,QAAQ,CAAC,KAAK;YACrB,KAAK,EAAE,GAAG,KAAK,CAAC,IAAI,IAAI,QAAQ,CAAC,IAAI,EAAE;SACvC,CAAC,CAAA;QACF,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAA;IACpF,CAAC;IACD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IACrB,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC;QAChC,MAAM,MAAM,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,IAAI,uCAAuC,CAAC,CAAA;IACzE,CAAC;IACD,OAAO,MAAM,CAAA;AACd,CAAC;AAED,wCAAwC;AACxC,SAAS,SAAS,CAA4B,IAAU;IACvD,MAAM,KAAK,GAAgB,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAA;IACpD,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AAC5B,CAAC;AAED,qCAAqC;AACrC,SAAS,YAAY,CAA4B,IAAU;IAC1D,MAAM,KAAK,GAAmB,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAA;IAC1D,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AAC5B,CAAC;AAED,4CAA4C;AAC5C,SAAS,aAAa,CAA4B,IAAU;IAC3D,MAAM,KAAK,GAAoB,EAAE,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAA;IAC5D,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AAC5B,CAAC;AAED,yEAAyE;AACzE,SAAS,YAAY,CAAyB,IAAO;IACpD,MAAM,KAAK,GAAgB,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAA;IACvD,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AAC5B,CAAC;AA6FD;;;;;;;GAOG;AACH,SAAS,UAAU,CAAC,CAAe,EAAE,CAAe;IACnD,MAAM,MAAM,GAAG,OAAO,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;IAC7D,MAAM,MAAM,GAAG,OAAO,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;IAC7D,MAAM,QAAQ,GAAG,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAA;IACnE,MAAM,QAAQ,GAAG,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAA;IACnE,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;IACjC,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;IACjC,OAAO,CACN,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI;QAC7B,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK;QACnB,MAAM,KAAK,MAAM;QACjB,QAAQ,KAAK,QAAQ;QACrB,OAAO,KAAK,OAAO,CACnB,CAAA;AACF,CAAC;AAED;;;;;GAKG;AACH,SAAS,eAAe,CAAC,IAAkB;IAC1C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAA;IACxB,IAAI,IAAI,GAAW,KAAK,CAAC,IAAI,CAAA;IAC7B,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;IAC9B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QAC1B,IAAI,GAAG,mBAAmB,MAAM,CAAC,IAAI,EAAE,CAAA;IACxC,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC5B,IAAI,GAAG,SAAS,KAAK,CAAC,KAAK,GAAG,CAAA;IAC/B,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC/B,IAAI,GAAG,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,KAAK,GAAG,CAAA;IAC/G,CAAC;IACD,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,aAAa,IAAI,CAAC,KAAK,EAAE,CAAA;AACtF,CAAC;AAoDD,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,YAAY,EAAE,aAAa,EAAE,SAAS,EAAE,YAAY,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,EAAE,CAAA"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@bjornpagen/bumbledb",
-  "version": "0.5.0",
+  "version": "0.6.0",
   "description": "Type-theoretic TypeScript SDK for the bumbledb embedded relational engine",
   "type": "module",
   "exports": {
@@ -41,7 +41,7 @@
     "@superbuilders/errors": "^4.0.2"
   },
   "optionalDependencies": {
-    "@bjornpagen/bumbledb-darwin-arm64": "0.5.0"
+    "@bjornpagen/bumbledb-darwin-arm64": "0.6.0"
   },
   "devDependencies": {
     "@biomejs/biome": "^2.0.0-beta.5",

package/src/db.ts

@@ -62,7 +62,7 @@ import type {
 	ViolationFact as WireViolationFact
 } from "#native.ts"
 import { bridged, native } from "#native.ts"
-import type { SelectColumn } from "#query/atom.ts"
+import type { FindColumn } from "#query/atom.ts"
 import type { Query } from "#query/lower.ts"
 import { lowerQuery } from "#query/lower.ts"
 import { decodeAnswers, wireParams } from "#query/run.ts"
@@ -643,7 +643,7 @@ interface PreparedPlan {
 	readonly handle: PreparedHandle
 	readonly owner: object
 	readonly params: readonly ParamEntry[]
-	readonly select: readonly SelectColumn[]
+	readonly finds: readonly FindColumn[]
 }
 
 /** The private engine halves of this module's prepared values. */
@@ -938,7 +938,7 @@ function openDb<Rels extends SchemaRelations>(handle: DbHandle, theory: Schema<R
 			const rows = bridged("execute bumbledb prepared query", function callExecute() {
 				return native.preparedExecute(plan.handle, state.handle, wire)
 			})
-			return decodeAnswers<Row>(plan.select, rows)
+			return decodeAnswers<Row>(plan.finds, rows)
 		}
 		const scope: ReadScope<Rels> = Object.freeze({
 			generation,
@@ -1424,7 +1424,7 @@ function openDb<Rels extends SchemaRelations>(handle: DbHandle, theory: Schema<R
 				handle: preparedHandle,
 				owner,
 				params: q.data.params,
-				select: q.data.select
+				finds: q.data.finds
 			})
 		)
 		planReclaimer.register(prepared, preparedHandle)

package/src/index.ts

@@ -8,8 +8,10 @@
  * runtime (path-cached stores, transactions, typed violations, scoped
  * snapshot reads, the witnessed write loop with `abandon` — PRD-07, zero
  * closables), the query surface (Datalog as values, kysely-shaped:
- * `query(S).rule(r => r.match(...).where(...).select(...))` with
- * string-named domain-typed vars, params typed by use, negation,
+ * `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 stratified recursion via `program()`/`rec` —
  * `db.prepare` as a plain value; the comparison/connective builders are
  * also free exports, and the free names `eq`/`not`/`and`/`or` collide with
@@ -115,16 +117,15 @@ export type {
 	AnyCond,
 	BindingInput,
 	Cmp,
-	MatchFields,
-	MatchOwner,
+	FindColumn,
 	MatchShape,
 	NotAtom,
 	RecData,
 	RuleData,
-	SelectColumn,
 	Tree
 } from "#query/atom.ts"
 export { ALLEN, allen, and, eq, ge, gt, le, lt, ne, not, or, pointIn } from "#query/atom.ts"
+export type { Agg, FindEntry } from "#query/find.ts"
 export type {
 	AnyQuery,
 	AnyRuleValue,
@@ -151,13 +152,16 @@ export type {
 	ClassedField,
 	Duration,
 	MaskParam,
+	MatchFields,
+	MatchOwner,
 	Param,
 	ParamEntry,
 	ParamsRecord,
 	SetParam,
-	Var
+	Var,
+	VarsOf
 } from "#query/scope.ts"
-export type { Agg, SelectEntry } from "#query/select.ts"
+export { v } from "#query/scope.ts"
 export type {
 	AnyRelation,
 	AnySelected,