@bjornpagen/bumbledb 0.14.0 → 0.17.0

package/dist/query/scope.d.ts

@@ -1,79 +1,14 @@
-/**
- * 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.js";
 import type { AnyField, Infer } from "../fields.js";
 import type { ClassLookup, ClassRecordOf, SchemaClasses } from "../law.js";
 import type { QueryParam } from "../native.js";
 import type { AnyRelation, RelationFields } from "../relation.js";
-/**
- * The runtime discriminant of query term values. Host literals (bigints,
- * strings, interval objects) never carry it, so "is this position a term
- * or a literal" is one property probe, never a guess.
- */
 declare const term: unique symbol;
-/**
- * The carrier of a value's INFERRED types (a rule's row/params, a query's
- * row/params, a rec's params). The property is never present at runtime —
- * it exists so inference rides plain values without any brand on any
- * field value.
- */
 declare const inferred: unique symbol;
-/**
- * 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).
- */
 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 owner: MatchOwner & {
@@ -83,57 +18,45 @@ interface Var<F extends AnyField = AnyField, RN extends string = string, K exten
     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
- * position that anchors it (a field binding, or the bound-variable side of
- * a comparison).
- */
 interface Param<Name extends string = string> {
     readonly [term]: "param";
     readonly name: Name;
 }
-/**
- * A set-valued query parameter (the IR's `ParamSet` term) — `r.inSet("frontier")`:
- * bound at execution to a readonly ARRAY of values of the anchoring field's
- * type; a binding position matches iff the field value is in the set. Legal
- * in atom bindings (positive and negated) and as the right side of `eq` —
- * nowhere else, exactly as the IR rules it.
- */
 interface SetParam<Name extends string = string> {
     readonly [term]: "setParam";
     readonly name: Name;
 }
-/**
- * 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
- * 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<V extends AnyVar = AnyVar> {
-    readonly [term]: "duration";
-    readonly over: V;
-}
-/** Any scope term value. */
-type AnyTerm = Var | Param | SetParam | Duration;
-/** Narrows an unknown position value to a scope term (vs a host literal). */
+type AnyTerm = Var | Param | SetParam;
 declare function isTerm(value: unknown): value is AnyTerm;
-/**
- * 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>;
 };
+/**
+ * The exactness judgment of the six full-binding `match` forms (`#query/
+ * lower.ts` intersects it into the `bindings` parameter): a mapped type
+ * over the INFERRED record `B` requiring every entry to be a variable
+ * whose mint COLUMN is the entry's own key restricted to `R`'s matchable
+ * fields — for a column of `R` that is just the {@link VarsOf} entry's own
+ * shape, and for a FOREIGN key the column type is `never`, which no
+ * mintable variable inhabits. So an aliased or function-returned record
+ * carrying an extra key (`{...v(Account), extra: otherVar }` — shapes
+ * excess-property checking never sees, it covers inline literals only)
+ * fails the intersection and falls to the general form's judgment: the
+ * pre-0.16.0 compile refusal, restored. The identity record `v(rel)` still
+ * unifies for GENERIC `R` — the judgment is intersections and index
+ * constraints only, no deferred conditional anywhere, so the full-binding
+ * law (50-generic-binding.md, "The ruling") stands untouched.
+ */
+type ExactVars<R extends MatchOwner, B> = {
+    readonly [K in keyof B]: Var<AnyField, R["name"], K & keyof MatchFields<R> & string>;
+};
 /**
  * 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
+ * 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
@@ -141,82 +64,35 @@ type VarsOf<R extends MatchOwner> = {
  * 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 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 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 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 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). */
 type Flatten<T> = {
     [K in keyof T]: T[K];
 };
-/** The standard union-to-intersection fold (distributes over `U`). */
 type UnionToIntersection<U> = (U extends unknown ? (member: U) => void : never) extends (member: infer I) => void ? I : never;
-/**
- * Folds a union of per-position record fragments into one flattened record
- * (the machinery both `Params` and `Row` inference ride).
- */
 type ShapeOf<U> = [U] extends [never] ? Record<never, never> : Flatten<UnionToIntersection<U>>;
-/** Reads a field descriptor's width label (`bytes<N>`, `interval<E, W>`); `undefined` when the kind carries none. */
 type WidthOf<F extends AnyField> = F extends {
     readonly width: infer W;
 } ? W : undefined;
-/** Reads an interval descriptor's element kind; `undefined` on scalar kinds. */
 type ElementOf<F extends AnyField> = F extends {
     readonly element: infer E;
 } ? E : undefined;
-/**
- * Reads a closed reference's vocabulary name literal paired with its handle
- * union; `undefined` on every non-closed kind (the roster IS descriptor
- * structure). The name literal is the type-tier encoding of the runtime's
- * roster VALUE-IDENTITY judgment ({@link fieldJoins}): two same-shaped
- * vocabularies are distinct rosters, so they mismatch here exactly as they
- * refuse at runtime.
- */
 type RosterOf<F extends AnyField> = F extends {
     readonly closed: {
         readonly name: infer N extends string;
         readonly handles: readonly (infer H extends string)[];
     };
 } ? readonly [N, H] : undefined;
-/**
- * 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) 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"],
     A["class"],
@@ -230,51 +106,19 @@ type JoinOk<A extends ClassedField, B extends ClassedField> = [
     ElementOf<A["field"]>,
     RosterOf<A["field"]>
 ] ? true : false : false;
-/**
- * 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, 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) 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`).
- */
 type ParamValueAt<F extends AnyField> = Infer<F>;
-/** Reads a value's inferred-types carrier (rules, queries, recs). */
 type InferredOf<T> = T extends {
     readonly [inferred]?: infer S;
 } ? Exclude<S, undefined> : never;
-/**
- * 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). `anchor` is `undefined` only on a query built but not yet
- * anchored by any rule. `membership` is present exactly on a
- * MEMBERSHIP-ARRAY entry: the FROZEN wire param, already resolved through
- * the one roster-verification point at BUILD time (the entry stores the
- * image, never the pre-image — no per-execute re-translation exists, and an
- * out-of-roster handle name fails where the mistake was made).
- */
 interface ParamEntry {
     readonly name: string;
     readonly shape: "value" | "set";
-    readonly anchor: AnyField | "measure" | undefined;
+    readonly anchor: AnyField | undefined;
     readonly op: "binding" | "eq" | "ne" | "lt" | "le" | "gt" | "ge" | "pointIn" | "allen";
     readonly membership: QueryParam | undefined;
 }
-export type { AnyTerm, AnyVar, ClassedField, Duration, Flatten, InferredOf, JoinOk, MatchFields, MatchOwner, MintClassOf, MintSlotOf, Param, ParamEntry, ParamsRecord, ParamValueAt, SetParam, ShapeOf, UnionToIntersection, Var, VarsOf };
-export { fieldJoins, inferred, isTerm, makeDuration, makeParam, makeSetParam, renderFieldKind, term, v };
+export type { AnyTerm, AnyVar, ClassedField, ExactVars, Flatten, InferredOf, JoinOk, MatchFields, MatchOwner, MintClassOf, MintSlotOf, Param, ParamEntry, ParamsRecord, ParamValueAt, SetParam, ShapeOf, UnionToIntersection, Var, VarsOf };
+export { fieldJoins, inferred, isTerm, 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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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,UAAU,EAAE,MAAM,YAAY,CAAA;AAC5C,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;;;;;;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,QAAQ,CAAA;AAEhD,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,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;;;;;;;GAOG;AACH,KAAK,QAAQ,CAAC,CAAC,SAAS,QAAQ,IAAI,CAAC,SAAS;IAC7C,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,MAAM,CAAC,SAAS,MAAM,CAAC,EAAE,CAAA;KAAE,CAAA;CACjH,GACE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GACf,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;;;;;;;;;;GAUG;AACH,UAAU,UAAU;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,CAAA;IAC/B,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,UAAU,EAAE,UAAU,GAAG,SAAS,CAAA;CAC3C;AAED,YAAY,EACX,OAAO,EACP,MAAM,EACN,YAAY,EACZ,QAAQ,EACR,OAAO,EACP,UAAU,EACV,MAAM,EACN,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,SAAS,EAAE,YAAY,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,EAAE,CAAA"}
+{"version":3,"file":"scope.d.ts","sourceRoot":"","sources":["../../src/query/scope.ts"],"names":[],"mappings":"AACA,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,UAAU,EAAE,MAAM,YAAY,CAAA;AAC5C,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAE/D,QAAA,MAAM,IAAI,EAAE,OAAO,MAAsC,CAAA;AAEzD,QAAA,MAAM,QAAQ,EAAE,OAAO,MAA0C,CAAA;AAEjE,KAAK,UAAU,GAAG,WAAW,GAAG,SAAS,CAAA;AAEzC,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,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,KAAK,MAAM,GAAG,GAAG,CAAA;AAEjB,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,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,KAAK,OAAO,GAAG,GAAG,GAAG,KAAK,GAAG,QAAQ,CAAA;AAErC,iBAAS,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,OAAO,CAEhD;AAED,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;AAED;;;;;;;;;;;;;;;GAeG;AACH,KAAK,SAAS,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,IAAI;IACzC,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,MAAM,WAAW,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC;CACpF,CAAA;AAcD;;;;;;;;;;;GAWG;AACH,iBAAS,CAAC,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAiBpD;AAED,iBAAS,SAAS,CAAC,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAGrE;AAED,iBAAS,YAAY,CAAC,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAG3E;AAED,UAAU,YAAY;IACrB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAA;CAClC;AAED,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,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,KAAK,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;AAErD,KAAK,OAAO,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAA;AAE1C,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,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,KAAK,OAAO,CAAC,CAAC,SAAS,QAAQ,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,SAAS,CAAA;AAExF,KAAK,SAAS,CAAC,CAAC,SAAS,QAAQ,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,SAAS,CAAA;AAE5F,KAAK,QAAQ,CAAC,CAAC,SAAS,QAAQ,IAAI,CAAC,SAAS;IAC7C,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,MAAM,CAAC,SAAS,MAAM,CAAC,EAAE,CAAA;KAAE,CAAA;CACjH,GACE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GACf,SAAS,CAAA;AAEZ,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,iBAAS,UAAU,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,YAAY,GAAG,OAAO,CAc7D;AAED,iBAAS,eAAe,CAAC,IAAI,EAAE,YAAY,GAAG,MAAM,CAcnD;AAED,KAAK,YAAY,CAAC,CAAC,SAAS,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,CAAA;AAEhD,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,UAAU,UAAU;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,CAAA;IAC/B,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,SAAS,CAAA;IACrC,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,UAAU,EAAE,UAAU,GAAG,SAAS,CAAA;CAC3C;AAED,YAAY,EACX,OAAO,EACP,MAAM,EACN,YAAY,EACZ,SAAS,EACT,OAAO,EACP,UAAU,EACV,MAAM,EACN,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,SAAS,EAAE,YAAY,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,EAAE,CAAA"}

package/dist/query/scope.js

@@ -1,51 +1,8 @@
-/**
- * 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,
- * strings, interval objects) never carry it, so "is this position a term
- * or a literal" is one property probe, never a guess.
- */
 const term = Symbol("bumbledb.query.term");
-/**
- * The carrier of a value's INFERRED types (a rule's row/params, a query's
- * row/params, a rec's params). The property is never present at runtime —
- * it exists so inference rides plain values without any brand on any
- * field value.
- */
 const inferred = Symbol("bumbledb.query.inferred");
-/** Narrows an unknown position value to a scope term (vs a host literal). */
 function isTerm(value) {
     return typeof value === "object" && value !== null && term in value;
 }
@@ -65,7 +22,7 @@ function varsMinted(owner, record) {
  * 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
+ * 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
@@ -90,29 +47,14 @@ function v(owner) {
     }
     return record;
 }
-/** Builds one scalar-parameter term. */
 function makeParam(name) {
     const value = { [term]: "param", name };
     return Object.freeze(value);
 }
-/** Builds one set-parameter term. */
 function makeSetParam(name) {
     const value = { [term]: "setParam", name };
     return Object.freeze(value);
 }
-/** 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, 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;
     const widthB = "width" in b.field ? b.field.width : undefined;
@@ -126,12 +68,6 @@ function fieldJoins(a, b) {
         elementA === elementB &&
         rosterA === rosterB);
 }
-/**
- * Renders one bound slot for join-mismatch diagnostics — the structural
- * kind in the schema grammar's spelling (a closed reference names its
- * 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;
     let base = field.kind;
@@ -147,5 +83,5 @@ function renderFieldKind(slot) {
     }
     return slot.class === undefined ? `${base} (bare)` : `${base} in class ${slot.class}`;
 }
-export { fieldJoins, inferred, isTerm, makeDuration, makeParam, makeSetParam, renderFieldKind, term, v };
+export { fieldJoins, inferred, isTerm, 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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;AAKrC;;;;GAIG;AACH,MAAM,IAAI,GAAkB,MAAM,CAAC,qBAAqB,CAAC,CAAA;AAEzD;;;;;GAKG;AACH,MAAM,QAAQ,GAAkB,MAAM,CAAC,yBAAyB,CAAC,CAAA;AAkFjE,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,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;AAkGD;;;;;;;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;AAsDD,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,YAAY,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,EAAE,CAAA"}
+{"version":3,"file":"scope.js","sourceRoot":"","sources":["../../src/query/scope.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAE/C,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAE3C,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAKrC,MAAM,IAAI,GAAkB,MAAM,CAAC,qBAAqB,CAAC,CAAA;AAEzD,MAAM,QAAQ,GAAkB,MAAM,CAAC,yBAAyB,CAAC,CAAA;AAgCjE,SAAS,MAAM,CAAC,KAAc;IAC7B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,IAAI,IAAI,KAAK,CAAA;AACpE,CAAC;AA0BD;;;;;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,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,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;AAuDD,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,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;AAoCD,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,EAAE,CAAA"}

package/dist/relation.d.ts

@@ -1,8 +1,8 @@
 /**
- * `relation()` — the ordinary-relation half of the theory's signature. A
+ * `relation` — the ordinary-relation half of the theory's signature. A
  * relation value is a frozen plain object carrying its name, its ordered
  * field descriptors (declaration order = ordinal ids, the macro's law),
- * and — since selections are the relation's own vocabulary — `where()`,
+ * and — since selections are the relation's own vocabulary — `where`,
  * which resolves a selection into lowered bindings eagerly (handles
  * verified against their roster at construction). Fields are addressed by
  * NAME everywhere — statements (`on(R, "holder")`), selections, and match
@@ -13,94 +13,46 @@
  */
 import { type AnyField, type Infer } from "./fields.js";
 import { type LiteralSetSpec } from "./spec.js";
-/**
- * Resolves a whole `where()` selection against the declared fields, in the
- * selection's written order (macro parity: σ is spelled, not sorted). An
- * empty selection is the bare relation respelled and rejected (the
- * canonical-utterance law). THE one selection resolver — `closed()`'s
- * `where()` resolves its payload columns through this same machine (a
- * `ClosedColumn` is structurally a {@link RelationField}), so both surfaces
- * share one vocabulary and one error voice.
- */
 declare function resolveSelection(name: string, ordered: readonly RelationField[], entries: ReadonlyArray<readonly [string, unknown]>): readonly SelectionBinding[];
-/** The field block of a relation: field name to field descriptor. */
 type FieldsShape = Record<string, AnyField>;
-/** One declared field: name plus its descriptor, in declaration order. */
 interface RelationField {
     readonly name: string;
     readonly field: AnyField;
 }
-/** A relation's runtime description. */
 interface RelationData {
     readonly name: string;
     readonly fields: readonly RelationField[];
 }
-/**
- * One resolved σ binding: the field name and its lowered literal set —
- * handles already resolved to names, values already tagged by structural
- * type.
- */
 interface SelectionBinding {
     readonly field: string;
     readonly set: LiteralSetSpec;
 }
-/**
- * The `where()` argument: per field, a bare structural literal of that
- * field's value type (a closed reference's literal IS its handle name —
- * `"Savings"`, verified against the roster at construction), a plain
- * ARRAY of such literals read disjunctively — `kind: ["Checking",
- * "Savings"]` — or a `span(start, end)` interval literal. Membership is
- * an array, never an operator (the drizzle law); equality-only by
- * construction: no operator parameter exists anywhere.
- */
 type SelectionInput<Fields extends FieldsShape> = {
     readonly [K in keyof Fields]?: Infer<Fields[K]> | readonly Infer<Fields[K]>[];
 };
-/** A relation with a selection applied — what `on()` consumes as a σ-carrying source. */
 interface Selected<Name extends string, Fields extends FieldsShape> {
     readonly relation: Relation<Name, Fields>;
     readonly selection: readonly SelectionBinding[];
 }
-/** A relation value. */
 interface Relation<Name extends string, Fields extends FieldsShape> {
     readonly name: Name;
     readonly data: RelationData;
     where(selection: SelectionInput<Fields>): Selected<Name, Fields>;
 }
-/** Any relation value, whatever its name and field block. */
 type AnyRelation = Relation<string, FieldsShape>;
-/** Any selected relation value. */
 interface AnySelected {
     readonly relation: AnyRelation;
     readonly selection: readonly SelectionBinding[];
 }
-/** Extracts a relation's field block type. */
 type RelationFields<R extends AnyRelation> = R extends Relation<string, infer F extends FieldsShape> ? F : never;
-/**
- * The inferred row object type of a relation as READ: every field present,
- * at its BARE structural value type ({@link Infer}). Closed relations have
- * no `Fact` — they are unwritable, and the type constraint refuses them
- * because a closed value lacks the relation shape.
- */
 type Fact<R extends AnyRelation> = {
     [K in keyof RelationFields<R>]: Infer<RelationFields<R>[K]>;
 };
-/** The field names of `R` whose descriptor type carries the fresh mint mark. */
 type FreshKeys<R extends AnyRelation> = {
     [K in keyof RelationFields<R>]: RelationFields<R>[K] extends {
         readonly fresh: true;
     } ? K : never;
 }[keyof RelationFields<R>];
-/**
- * Declares one relation: `relation("Account", { id: u64.fresh,
- * holder: u64, kind: Kind.id, ... })` — every field is a pure-structure
- * descriptor (the constructor values themselves; domains are never
- * declared: `schema()` computes them from the statements). Field
- * declaration order is ordinal-id order (macro parity), carried at BOTH
- * levels: the type level by the fields object, the value level by the
- * frozen `data.fields` list — the law the schema-level class naming leans
- * on. The returned value is frozen and side-effect free.
- */
 declare function relation<const Name extends string, Fields extends FieldsShape>(name: Name, fields: Fields): Relation<Name, Fields>;
 export type { AnyRelation, AnySelected, Fact, FieldsShape, FreshKeys, Relation, RelationData, RelationField, RelationFields, Selected, SelectionBinding, SelectionInput };
 export { relation, resolveSelection };

package/dist/relation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"relation.d.ts","sourceRoot":"","sources":["../src/relation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAAE,KAAK,QAAQ,EAAsD,KAAK,KAAK,EAAa,MAAM,YAAY,CAAA;AACrH,OAAO,EAAE,KAAK,cAAc,EAAmC,MAAM,UAAU,CAAA;AA4C/E;;;;;;;;GAQG;AACH,iBAAS,gBAAgB,CACxB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,SAAS,aAAa,EAAE,EACjC,OAAO,EAAE,aAAa,CAAC,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAChD,SAAS,gBAAgB,EAAE,CAsB7B;AAED,qEAAqE;AACrE,KAAK,WAAW,GAAG,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;AAE3C,0EAA0E;AAC1E,UAAU,aAAa;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;CACxB;AAED,wCAAwC;AACxC,UAAU,YAAY;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,SAAS,aAAa,EAAE,CAAA;CACzC;AAED;;;;GAIG;AACH,UAAU,gBAAgB;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,GAAG,EAAE,cAAc,CAAA;CAC5B;AAED;;;;;;;;GAQG;AACH,KAAK,cAAc,CAAC,MAAM,SAAS,WAAW,IAAI;IACjD,QAAQ,EAAE,CAAC,IAAI,MAAM,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE;CAC7E,CAAA;AAED,yFAAyF;AACzF,UAAU,QAAQ,CAAC,IAAI,SAAS,MAAM,EAAE,MAAM,SAAS,WAAW;IACjE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;IACzC,QAAQ,CAAC,SAAS,EAAE,SAAS,gBAAgB,EAAE,CAAA;CAC/C;AAED,wBAAwB;AACxB,UAAU,QAAQ,CAAC,IAAI,SAAS,MAAM,EAAE,MAAM,SAAS,WAAW;IACjE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;IAC3B,KAAK,CAAC,SAAS,EAAE,cAAc,CAAC,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;CAChE;AAED,6DAA6D;AAC7D,KAAK,WAAW,GAAG,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;AAEhD,mCAAmC;AACnC,UAAU,WAAW;IACpB,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAA;IAC9B,QAAQ,CAAC,SAAS,EAAE,SAAS,gBAAgB,EAAE,CAAA;CAC/C;AAED,8CAA8C;AAC9C,KAAK,cAAc,CAAC,CAAC,SAAS,WAAW,IAAI,CAAC,SAAS,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,WAAW,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAEhH;;;;;GAKG;AACH,KAAK,IAAI,CAAC,CAAC,SAAS,WAAW,IAAI;KACjC,CAAC,IAAI,MAAM,cAAc,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC3D,CAAA;AAED,gFAAgF;AAChF,KAAK,SAAS,CAAC,CAAC,SAAS,WAAW,IAAI;KACtC,CAAC,IAAI,MAAM,cAAc,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;QAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAA;KAAE,GAAG,CAAC,GAAG,KAAK;CACjG,CAAC,MAAM,cAAc,CAAC,CAAC,CAAC,CAAC,CAAA;AAE1B;;;;;;;;;GASG;AACH,iBAAS,QAAQ,CAAC,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,MAAM,SAAS,WAAW,EACtE,IAAI,EAAE,IAAI,EACV,MAAM,EAAE,MAAM,GACZ,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAuBxB;AAED,YAAY,EACX,WAAW,EACX,WAAW,EACX,IAAI,EACJ,WAAW,EACX,SAAS,EACT,QAAQ,EACR,YAAY,EACZ,aAAa,EACb,cAAc,EACd,QAAQ,EACR,gBAAgB,EAChB,cAAc,EACd,CAAA;AACD,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAA"}
+{"version":3,"file":"relation.d.ts","sourceRoot":"","sources":["../src/relation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAAE,KAAK,QAAQ,EAAsD,KAAK,KAAK,EAAa,MAAM,YAAY,CAAA;AACrH,OAAO,EAAE,KAAK,cAAc,EAAmC,MAAM,UAAU,CAAA;AA4B/E,iBAAS,gBAAgB,CACxB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,SAAS,aAAa,EAAE,EACjC,OAAO,EAAE,aAAa,CAAC,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAChD,SAAS,gBAAgB,EAAE,CAsB7B;AAED,KAAK,WAAW,GAAG,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;AAE3C,UAAU,aAAa;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;CACxB;AAED,UAAU,YAAY;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,SAAS,aAAa,EAAE,CAAA;CACzC;AAED,UAAU,gBAAgB;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,GAAG,EAAE,cAAc,CAAA;CAC5B;AAED,KAAK,cAAc,CAAC,MAAM,SAAS,WAAW,IAAI;IACjD,QAAQ,EAAE,CAAC,IAAI,MAAM,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE;CAC7E,CAAA;AAED,UAAU,QAAQ,CAAC,IAAI,SAAS,MAAM,EAAE,MAAM,SAAS,WAAW;IACjE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;IACzC,QAAQ,CAAC,SAAS,EAAE,SAAS,gBAAgB,EAAE,CAAA;CAC/C;AAED,UAAU,QAAQ,CAAC,IAAI,SAAS,MAAM,EAAE,MAAM,SAAS,WAAW;IACjE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;IAC3B,KAAK,CAAC,SAAS,EAAE,cAAc,CAAC,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;CAChE;AAED,KAAK,WAAW,GAAG,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;AAEhD,UAAU,WAAW;IACpB,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAA;IAC9B,QAAQ,CAAC,SAAS,EAAE,SAAS,gBAAgB,EAAE,CAAA;CAC/C;AAED,KAAK,cAAc,CAAC,CAAC,SAAS,WAAW,IAAI,CAAC,SAAS,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,WAAW,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAEhH,KAAK,IAAI,CAAC,CAAC,SAAS,WAAW,IAAI;KACjC,CAAC,IAAI,MAAM,cAAc,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC3D,CAAA;AAED,KAAK,SAAS,CAAC,CAAC,SAAS,WAAW,IAAI;KACtC,CAAC,IAAI,MAAM,cAAc,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;QAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAA;KAAE,GAAG,CAAC,GAAG,KAAK;CACjG,CAAC,MAAM,cAAc,CAAC,CAAC,CAAC,CAAC,CAAA;AAE1B,iBAAS,QAAQ,CAAC,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,MAAM,SAAS,WAAW,EACtE,IAAI,EAAE,IAAI,EACV,MAAM,EAAE,MAAM,GACZ,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAuBxB;AAED,YAAY,EACX,WAAW,EACX,WAAW,EACX,IAAI,EACJ,WAAW,EACX,SAAS,EACT,QAAQ,EACR,YAAY,EACZ,aAAa,EACb,cAAc,EACd,QAAQ,EACR,gBAAgB,EAChB,cAAc,EACd,CAAA;AACD,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAA"}

package/dist/relation.js

@@ -1,8 +1,8 @@
 /**
- * `relation()` — the ordinary-relation half of the theory's signature. A
+ * `relation` — the ordinary-relation half of the theory's signature. A
  * relation value is a frozen plain object carrying its name, its ordered
  * field descriptors (declaration order = ordinal ids, the macro's law),
- * and — since selections are the relation's own vocabulary — `where()`,
+ * and — since selections are the relation's own vocabulary — `where`,
  * which resolves a selection into lowered bindings eagerly (handles
  * verified against their roster at construction). Fields are addressed by
  * NAME everywhere — statements (`on(R, "holder")`), selections, and match
@@ -14,22 +14,6 @@
 import * as errors from "@superbuilders/errors";
 import { assertDeclarationOrderKey, assertDeclarationRecord, literalOf } from "#fields.ts";
 import { renderLiteral } from "#spec.ts";
-/**
- * Resolves one selection entry to its lowered literal set: a plain ARRAY
- * (detected by `Array.isArray` — no field's value type is an array;
- * `Uint8Array` is not one) becomes a disjunctive set, anything else the
- * bare literal. The degenerate sets are construction errors, each
- * self-locating (`context` names the relation and field) — the empty set
- * selects nothing, the one-element set is the bare literal respelled, and
- * a DUPLICATE literal (judged on the canonical rendering — the engine's
- * own duplicate test, reached here first so its index-speak twin at
- * `Db.create` stays unreachable from this surface) is the same respelling
- * in disguise (the canonical-utterance law; the old set combinator's
- * signature made the length degenerates unwritable, and the refusals here
- * are that law's runtime seat). The lowered set — `{ kind: "many",
- * literals }` — is byte-identical to what the combinator produced, so no
- * fingerprint moves.
- */
 function resolveEntry(context, field, entry) {
     if (Array.isArray(entry)) {
         if (entry.length < 2) {
@@ -51,15 +35,6 @@ function resolveEntry(context, field, entry) {
     }
     return Object.freeze({ kind: "one", literal: Object.freeze(literalOf(field, entry)) });
 }
-/**
- * Resolves a whole `where()` selection against the declared fields, in the
- * selection's written order (macro parity: σ is spelled, not sorted). An
- * empty selection is the bare relation respelled and rejected (the
- * canonical-utterance law). THE one selection resolver — `closed()`'s
- * `where()` resolves its payload columns through this same machine (a
- * `ClosedColumn` is structurally a {@link RelationField}), so both surfaces
- * share one vocabulary and one error voice.
- */
 function resolveSelection(name, ordered, entries) {
     const bindings = [];
     for (const [fieldName, entry] of entries) {
@@ -79,16 +54,6 @@ function resolveSelection(name, ordered, entries) {
     }
     return Object.freeze(bindings);
 }
-/**
- * Declares one relation: `relation("Account", { id: u64.fresh,
- * holder: u64, kind: Kind.id, ... })` — every field is a pure-structure
- * descriptor (the constructor values themselves; domains are never
- * declared: `schema()` computes them from the statements). Field
- * declaration order is ordinal-id order (macro parity), carried at BOTH
- * levels: the type level by the fields object, the value level by the
- * frozen `data.fields` list — the law the schema-level class naming leans
- * on. The returned value is frozen and side-effect free.
- */
 function relation(name, fields) {
     assertDeclarationOrderKey("relation", name);
     assertDeclarationRecord(`relation ${name} fields`, fields);