@bjornpagen/bumbledb 0.14.0 → 0.17.0

package/dist/query/atom.js

@@ -1,118 +1,43 @@
-/**
- * Atoms and conditions, REFERENCE-IDENTITY edition — the body vocabulary of
- * a rule, mirroring the engine IR variant for variant
- * (`bumbledb/crates/bumbledb/src/ir.rs`, the bijection target;
- * `docs/architecture/20-query-ir.md` normative). A `match` binding record
- * binds fields to VARIABLES (minted by {@link v}), params, ∈-set params, or
- * bare structural literals — a closed-reference field's literal is its
- * handle NAME, and a plain ARRAY of names there is membership
- * (unmentioned fields ARE the wildcard — no wildcard value exists);
- * `not(Rel, {...})` is negation-as-position (anti-join); `eq`/`ne` and the
- * order roster, `pointIn` (the one spelling of `ir::CmpOp::PointIn`,
- * always lowered interval-left), `allen` (the 13-bit mask pair
- * comparison), and `and`/`or` (the input condition-tree grammar) complete
- * the roster. Nothing beyond the IR exists here — and the walls the engine
- * enforces at prepare are TYPES first: a variable joins only class-equal
- * fields, judged at every binding position against the var's MINT slot
- * ({@link MintSlotOf}); because {@link JoinOk} is an equality, that ALONE
- * makes every cross-binding join transitively class-equal (the env/sibling
- * checks the name-keyed edition needed are gone). An interval-typed var
- * under a non-`pointIn` comparison is unwritable. BOUNDNESS (a negated
- * atom's variables must be positively bound) is the one check types cannot
- * carry — object identity is invisible to TS — so it is a construction-time
- * wall only.
- *
- * This module also owns the plain runtime DATA a built rule is made of
- * (`RuleData`/`InteriorData`/`RecData` and friends): frozen values the
- * lowering walks — pure data (variable references included), so lowering
- * stays a pure, stable function of the query value.
- */
 import * as errors from "@superbuilders/errors";
 import { isTerm, term } from "#query/scope.ts";
-/** Builds one comparison value. */
 function comparison(op, lhs, rhs, mask) {
     return Object.freeze({ cond: "cmp", op, lhs, rhs, mask });
 }
-/**
- * Whether a comparison side is a VARIABLE side in the engine's sense — a
- * bound variable or the measure. A param is a constant at execution, so a
- * comparison whose every side is a param or literal is constant-valued:
- * the engine's `ConstantComparison` conviction
- * (`bumbledb/crates/bumbledb/src/ir/validate/context.rs`,
- * `comparison_shape`'s last arm).
- */
 function isVariableSide(value) {
-    return isTerm(value) && (value[term] === "var" || value[term] === "duration");
+    return isTerm(value) && value[term] === "var";
 }
-/**
- * Rejects a comparison with no variable side: it is constant-valued —
- * params included, a param is a constant the moment it binds — the
- * engine's own validation refuses it (`ConstantComparison`), and the
- * lowering has no anchored position to type the literals by — fail here
- * with the same verdict.
- */
 function assertTermSide(op, lhs, rhs) {
     if (!isVariableSide(lhs) && !isVariableSide(rhs)) {
         throw errors.new(`${op}: a comparison without a variable side is constant-valued (a parameter is a constant at execution) — write the query you mean`);
     }
 }
-/**
- * The equality comparison (`ir::CmpOp::Eq`) — a bound variable against a
- * variable (var-to-var unification, class-equal by the join judgment), a
- * param (typed by the variable), an ∈-set param (`Eq`-only), or a bare
- * literal of the variable's own value type. Prefer direct placement in
- * `match` where punning applies.
- */
 function eq(left, right) {
     return comparison("eq", left, right, undefined);
 }
-/** Typed disequality (`ir::CmpOp::Ne`). "Not in set" has no operator — write a negated atom. */
 function ne(left, right) {
     return comparison("ne", left, right, undefined);
 }
-/** The shared order-comparison constructor. */
 function order(op, left, right) {
     assertTermSide(op, left, right);
     return comparison(op, left, right, undefined);
 }
-/** Strict less-than (`ir::CmpOp::Lt`) — orderable sides only (bool included: `false < true`, R3), never intervals/bytes/strings. */
 function lt(left, right) {
     return order("lt", left, right);
 }
-/** Less-or-equal (`ir::CmpOp::Le`). */
 function le(left, right) {
     return order("le", left, right);
 }
-/** Strict greater-than (`ir::CmpOp::Gt`). */
 function gt(left, right) {
     return order("gt", left, right);
 }
-/** Greater-or-equal (`ir::CmpOp::Ge`). */
 function ge(left, right) {
     return order("ge", left, right);
 }
-/**
- * Point membership as a predicate (`ir::CmpOp::PointIn`) — THE one
- * spelling: `pointIn(t, w)` holds iff `w.start ≤ t < w.end`. The IR
- * orders the operands interval-left, point-right; the value stores them
- * that way whatever the surface argument order. Interval ⊇ interval is NOT
- * this operator; that predicate is `allen(a, ALLEN.covers, b)`.
- */
 function pointIn(point, interval) {
     assertTermSide("pointIn", point, interval);
     return comparison("pointIn", interval, point, undefined);
 }
-/**
- * The 13-bit mask range: bits above the low 13 are unrepresentable in the
- * engine's `AllenMask` (`bumbledb/crates/bumbledb/src/allen.rs`:
- * `AllenMask::new` refuses them).
- */
 const ALLEN_ALL_BITS = (1 << 13) - 1;
-/**
- * The Allen coordinate system's named constants — the 13 basics in the
- * engine's palindromic bit order plus the workload composites, values
- * identical to the engine's. Compose with `|`: `ALLEN.before | ALLEN.meets`.
- */
 const ALLEN = Object.freeze({
     before: 1 << 0,
     meets: 1 << 1,
@@ -127,20 +52,11 @@ const ALLEN = Object.freeze({
     overlappedBy: 1 << 10,
     metBy: 1 << 11,
     after: 1 << 12,
-    /** The point-sets share a point (9 bits; under half-open intervals *meets* shares none). */
     intersects: (1 << 2) | (1 << 3) | (1 << 4) | (1 << 5) | (1 << 6) | (1 << 7) | (1 << 8) | (1 << 9) | (1 << 10),
-    /** Point-set ⊇: equals ∪ contains ∪ started-by ∪ finished-by. */
     covers: (1 << 6) | (1 << 8) | (1 << 9) | (1 << 7),
-    /** Point-set ⊆ — `covers`' converse: equals ∪ during ∪ starts ∪ finishes. */
     coveredBy: (1 << 6) | (1 << 4) | (1 << 3) | (1 << 5),
-    /** The point-sets share no point: before ∪ meets ∪ met-by ∪ after. */
     disjoint: (1 << 0) | (1 << 1) | (1 << 11) | (1 << 12)
 });
-/**
- * THE interval-pair comparison (`ir::CmpOp::Allen`): two interval terms of
- * one element type, satisfied iff the pair's classification is in the
- * 13-bit mask — a literal built from the `ALLEN` constants.
- */
 function allen(left, mask, right) {
     assertTermSide("allen", left, right);
     if (!Number.isInteger(mask) || mask < 0 || mask > ALLEN_ALL_BITS) {
@@ -148,20 +64,9 @@ function allen(left, mask, right) {
     }
     return comparison("allen", left, right, mask);
 }
-/**
- * Conjunction node of the input condition grammar (`ConditionTree::And`).
- * The rule's condition list is already a conjunction — `and` exists for
- * nesting under `or`, and the empty combination keeps the IR's algebraic
- * reading (`And([])` is true).
- */
 function and(...children) {
     return Object.freeze({ cond: "tree", op: "and", children: Object.freeze(children) });
 }
-/**
- * Disjunction node of the input condition grammar (`ConditionTree::Or`) —
- * the one place the surface admits a nested OR; validation distributes it
- * to DNF rules engine-side. `Or([])` keeps its algebraic reading (false).
- */
 function or(...children) {
     return Object.freeze({ cond: "tree", op: "or", children: Object.freeze(children) });
 }

package/dist/query/atom.js.map

@@ -1 +1 @@
-{"version":3,"file":"atom.js","sourceRoot":"","sources":["../../src/query/atom.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,OAAO,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAgB/C,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAwT9C,mCAAmC;AACnC,SAAS,UAAU,CAA8B,EAAM,EAAE,GAAM,EAAE,GAAM,EAAE,IAAO;IAC/E,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAA;AAC1D,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,cAAc,CAAC,KAAc;IACrC,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,CAAA;AAC9E,CAAC;AAED;;;;;;GAMG;AACH,SAAS,cAAc,CAAC,EAAU,EAAE,GAAY,EAAE,GAAY;IAC7D,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC;QAClD,MAAM,MAAM,CAAC,GAAG,CACf,GAAG,EAAE,+HAA+H,CACpI,CAAA;IACF,CAAC;AACF,CAAC;AAED;;;;;;GAMG;AACH,SAAS,EAAE,CAA4C,IAAO,EAAE,KAAQ;IACvE,OAAO,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAA;AAChD,CAAC;AAED,gGAAgG;AAChG,SAAS,EAAE,CAA4C,IAAO,EAAE,KAAQ;IACvE,OAAO,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAA;AAChD,CAAC;AAED,+CAA+C;AAC/C,SAAS,KAAK,CACb,EAAM,EACN,IAAO,EACP,KAAQ;IAER,cAAc,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;IAC/B,OAAO,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAA;AAC9C,CAAC;AAED,oIAAoI;AACpI,SAAS,EAAE,CAAuD,IAAO,EAAE,KAAQ;IAClF,OAAO,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;AAChC,CAAC;AAED,uCAAuC;AACvC,SAAS,EAAE,CAAuD,IAAO,EAAE,KAAQ;IAClF,OAAO,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;AAChC,CAAC;AAED,6CAA6C;AAC7C,SAAS,EAAE,CAAuD,IAAO,EAAE,KAAQ;IAClF,OAAO,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;AAChC,CAAC;AAED,0CAA0C;AAC1C,SAAS,EAAE,CAAuD,IAAO,EAAE,KAAQ;IAClF,OAAO,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;AAChC,CAAC;AAED;;;;;;GAMG;AACH,SAAS,OAAO,CAA0D,KAAQ,EAAE,QAAW;IAC9F,cAAc,CAAC,SAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAA;IAC1C,OAAO,UAAU,CAAC,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,CAAC,CAAA;AACzD,CAAC;AAED;;;;GAIG;AACH,MAAM,cAAc,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAA;AAEpC;;;;GAIG;AACH,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3B,MAAM,EAAE,CAAC,IAAI,CAAC;IACd,KAAK,EAAE,CAAC,IAAI,CAAC;IACb,QAAQ,EAAE,CAAC,IAAI,CAAC;IAChB,MAAM,EAAE,CAAC,IAAI,CAAC;IACd,MAAM,EAAE,CAAC,IAAI,CAAC;IACd,QAAQ,EAAE,CAAC,IAAI,CAAC;IAChB,MAAM,EAAE,CAAC,IAAI,CAAC;IACd,UAAU,EAAE,CAAC,IAAI,CAAC;IAClB,QAAQ,EAAE,CAAC,IAAI,CAAC;IAChB,SAAS,EAAE,CAAC,IAAI,CAAC;IACjB,YAAY,EAAE,CAAC,IAAI,EAAE;IACrB,KAAK,EAAE,CAAC,IAAI,EAAE;IACd,KAAK,EAAE,CAAC,IAAI,EAAE;IACd,4FAA4F;IAC5F,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7G,iEAAiE;IACjE,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACjD,6EAA6E;IAC7E,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACpD,sEAAsE;IACtE,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;CACrD,CAAC,CAAA;AAEF;;;;GAIG;AACH,SAAS,KAAK,CACb,IAAO,EACP,IAAY,EACZ,KAAQ;IAER,cAAc,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;IACpC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,cAAc,EAAE,CAAC;QAClE,MAAM,MAAM,CAAC,GAAG,CACf,cAAc,IAAI,6HAA6H,CAC/I,CAAA;IACF,CAAC;IACD,OAAO,UAAU,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;AAC9C,CAAC;AAED;;;;;GAKG;AACH,SAAS,GAAG,CAA0C,GAAG,QAAW;IACnE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;AACrF,CAAC;AAED;;;;GAIG;AACH,SAAS,EAAE,CAA0C,GAAG,QAAW;IAClE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;AACpF,CAAC;AAiBD,SAAS,GAAG,CACX,QAA6B,EAC7B,QAA2C;IAE3C,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAClC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,aAAsB,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAA;IACjF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAc,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAA;AACnE,CAAC;AA4UD,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,OAAO,EAAE,CAAA"}
+{"version":3,"file":"atom.js","sourceRoot":"","sources":["../../src/query/atom.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAe/C,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAoN9C,SAAS,UAAU,CAA8B,EAAM,EAAE,GAAM,EAAE,GAAM,EAAE,IAAO;IAC/E,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAA;AAC1D,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACrC,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAA;AAC9C,CAAC;AAED,SAAS,cAAc,CAAC,EAAU,EAAE,GAAY,EAAE,GAAY;IAC7D,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC;QAClD,MAAM,MAAM,CAAC,GAAG,CACf,GAAG,EAAE,+HAA+H,CACpI,CAAA;IACF,CAAC;AACF,CAAC;AAED,SAAS,EAAE,CAA4C,IAAO,EAAE,KAAQ;IACvE,OAAO,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAA;AAChD,CAAC;AAED,SAAS,EAAE,CAA4C,IAAO,EAAE,KAAQ;IACvE,OAAO,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAA;AAChD,CAAC;AAED,SAAS,KAAK,CACb,EAAM,EACN,IAAO,EACP,KAAQ;IAER,cAAc,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;IAC/B,OAAO,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAA;AAC9C,CAAC;AAED,SAAS,EAAE,CAAuD,IAAO,EAAE,KAAQ;IAClF,OAAO,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;AAChC,CAAC;AAED,SAAS,EAAE,CAAuD,IAAO,EAAE,KAAQ;IAClF,OAAO,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;AAChC,CAAC;AAED,SAAS,EAAE,CAAuD,IAAO,EAAE,KAAQ;IAClF,OAAO,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;AAChC,CAAC;AAED,SAAS,EAAE,CAAuD,IAAO,EAAE,KAAQ;IAClF,OAAO,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;AAChC,CAAC;AAED,SAAS,OAAO,CAA0D,KAAQ,EAAE,QAAW;IAC9F,cAAc,CAAC,SAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAA;IAC1C,OAAO,UAAU,CAAC,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,CAAC,CAAA;AACzD,CAAC;AAED,MAAM,cAAc,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAA;AAEpC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3B,MAAM,EAAE,CAAC,IAAI,CAAC;IACd,KAAK,EAAE,CAAC,IAAI,CAAC;IACb,QAAQ,EAAE,CAAC,IAAI,CAAC;IAChB,MAAM,EAAE,CAAC,IAAI,CAAC;IACd,MAAM,EAAE,CAAC,IAAI,CAAC;IACd,QAAQ,EAAE,CAAC,IAAI,CAAC;IAChB,MAAM,EAAE,CAAC,IAAI,CAAC;IACd,UAAU,EAAE,CAAC,IAAI,CAAC;IAClB,QAAQ,EAAE,CAAC,IAAI,CAAC;IAChB,SAAS,EAAE,CAAC,IAAI,CAAC;IACjB,YAAY,EAAE,CAAC,IAAI,EAAE;IACrB,KAAK,EAAE,CAAC,IAAI,EAAE;IACd,KAAK,EAAE,CAAC,IAAI,EAAE;IAEd,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAE7G,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IAEjD,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IAEpD,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;CACrD,CAAC,CAAA;AAEF,SAAS,KAAK,CACb,IAAO,EACP,IAAY,EACZ,KAAQ;IAER,cAAc,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;IACpC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,cAAc,EAAE,CAAC;QAClE,MAAM,MAAM,CAAC,GAAG,CACf,cAAc,IAAI,6HAA6H,CAC/I,CAAA;IACF,CAAC;IACD,OAAO,UAAU,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;AAC9C,CAAC;AAED,SAAS,GAAG,CAA0C,GAAG,QAAW;IACnE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;AACrF,CAAC;AAED,SAAS,EAAE,CAA0C,GAAG,QAAW;IAClE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;AACpF,CAAC;AAiBD,SAAS,GAAG,CACX,QAA6B,EAC7B,QAA2C;IAE3C,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAClC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,aAAsB,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAA;IACjF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAc,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAA;AACnE,CAAC;AA8OD,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,OAAO,EAAE,CAAA"}

package/dist/query/find.d.ts

@@ -1,48 +1,19 @@
-/**
- * Find entries and aggregates, REFERENCE-IDENTITY edition — the head
- * vocabulary, mirroring the IR's aggregate roster exactly
- * (`bumbledb/crates/bumbledb/src/ir.rs` `AggOp`/`FindTerm`;
- * `docs/architecture/20-query-ir.md` § aggregation): `count` (nullary),
- * `sum`/`min`/`max` (over an orderable variable or the measure), and
- * `pack` (the coalescing fold — RELATION-SHAPED, the result position
- * interval-typed). Aggregates fold VARIABLES by reference — `r.sum(w)` —
- * and are typed by the variable's own descriptor.
- *
- * `select(strings)` is DEAD: the head is a `find` RECORD, whose KEYS name
- * the answer columns (`find({ total: r.count(), owner: h })`). The keys are
- * unique object keys, so a duplicate answer column is unrepresentable and a
- * rename is a real typed key. Grouping is implicit: the non-aggregate
- * entries are the group key; over empty input an all-aggregate find yields
- * the EMPTY SET, never a zero row. The creation quarantine is
- * representational: a head position is a variable, the measure, or an
- * aggregate — no minting or arithmetic term exists to spell (permanent law).
- */
 import type { Infer } from "../fields.js";
 import type { SchemaClasses } from "../law.js";
-import type { IntervalVarOk, NumericVarOk, OrderVarOk } from "./atom.js";
-import type { AnyVar, Duration, MintSlotOf } from "./scope.js";
-/** One aggregate operator name of the find vocabulary. */
+import type { IntervalVarOk, NumericVarOk } from "./atom.js";
+import type { AnyVar, MintSlotOf } from "./scope.js";
 type FoldOpName = "sum" | "min" | "max" | "pack";
 type AggOpName = "count" | FoldOpName;
-/** Nullary count: no `over` exists to inhabit. */
 interface CountAgg {
     readonly agg: "count";
 }
-/**
- * One fold aggregate: the op and the variable (or measure) it folds
- * BY REFERENCE. Count is [`CountAgg`], not this type with `undefined`.
- */
-interface Agg<Op extends FoldOpName, Over extends AnyVar | Duration> {
+interface Agg<Op extends FoldOpName, Over extends AnyVar> {
     readonly agg: Op;
     readonly over: Over;
 }
-/** Any aggregate find value. */
-type AnyAgg = CountAgg | Agg<FoldOpName, AnyVar | Duration>;
-/** One find entry: a projected variable, the measure, or an aggregate. */
-type FindEntry = AnyVar | Duration | AnyAgg;
-/** The `find` record: column name → find entry. Keys ARE the answer columns. */
+type AnyAgg = CountAgg | Agg<FoldOpName, AnyVar>;
+type FindEntry = AnyVar | AnyAgg;
 type FindShape = Readonly<Record<string, FindEntry>>;
-/** Nullary count: |the group's set of distinct full bindings|, `bigint`. */
 declare function count(): CountAgg;
 /**
  * Exact checked sum over a NUMERIC (u64/i64) variable — wide accumulator,
@@ -50,55 +21,18 @@ declare function count(): CountAgg;
  * or over the measure (`r.sum(r.duration(w))`). Bool stays refused: a
  * quantifier is not an addition (R3).
  */
-declare function sum<const O extends AnyVar | Duration>(over: O): Agg<"sum", O>;
-/** Minimum over an orderable variable (u64/i64/bool — over bool, `Min` is the ALL quantifier; R3) or the measure. */
-declare function min<const O extends AnyVar | Duration>(over: O): Agg<"min", O>;
-/** Maximum over an orderable variable (u64/i64/bool — over bool, `Max` is the ANY quantifier; R3) or the measure. */
-declare function max<const O extends AnyVar | Duration>(over: O): Agg<"max", O>;
-/**
- * The coalescing fold (Snodgrass coalesce, `ir::AggOp::Pack`): per group,
- * the maximal disjoint half-open segments of the union of the group's
- * interval point sets — RELATION-SHAPED, one answer row per (group, maximal
- * segment), the result position carrying one interval of the input's element
- * type. At most one `pack` per find, never beside a fold entry.
- */
+declare function sum<const O extends AnyVar>(over: O): Agg<"sum", O>;
+declare function min<const O extends AnyVar>(over: O): Agg<"min", O>;
+declare function max<const O extends AnyVar>(over: O): Agg<"max", O>;
 declare function pack<const V extends AnyVar>(over: V): Agg<"pack", V>;
-/**
- * A `sum` input's judgment: a NUMERIC variable — Sum over bool stays
- * refused, a quantifier is not an addition (R3) — or the measure of an
- * interval variable.
- */
-type SumOverOk<O> = O extends AnyVar ? NumericVarOk<O> : O extends Duration<infer V extends AnyVar> ? IntervalVarOk<V> : false;
-/**
- * A `min`/`max` input's judgment: an ORDERABLE variable — bool folds:
- * `Max` is Any and `Min` is All, the two quantifiers as the 0/1 encoding's
- * extremes (R3) — or the measure of an interval variable.
- */
-type FoldOverOk<O> = O extends AnyVar ? OrderVarOk<O> : O extends Duration<infer V extends AnyVar> ? IntervalVarOk<V> : false;
-/**
- * One find entry's judgment (off the entry's own descriptor — no env, no
- * class map needed): a projected variable is ok, the measure and `pack`
- * demand interval-typed variables, folds demand orderable ones.
- */
-type FindEntryOk<E> = E extends AnyVar ? true : E extends Duration<infer V extends AnyVar> ? IntervalVarOk<V> : E extends CountAgg ? true : E extends Agg<"sum", infer O> ? SumOverOk<O> : E extends Agg<"min" | "max", infer O> ? FoldOverOk<O> : E extends Agg<"pack", infer V extends AnyVar> ? IntervalVarOk<V> : false;
-/** The validated find record (intersect with the inferred entries — errors land on the offending key). */
+type FindEntryOk<E> = E extends AnyVar ? true : E extends CountAgg ? true : E extends Agg<"sum" | "min" | "max", infer O extends AnyVar> ? NumericVarOk<O> : E extends Agg<"pack", infer V extends AnyVar> ? IntervalVarOk<V> : false;
 type CheckFind<F extends FindShape> = {
     readonly [K in keyof F]: FindEntryOk<F[K]> extends true ? F[K] : never;
 };
-/**
- * The validated find record of a RECURSIVE rule: every entry must be a plain
- * variable (aggregates and the measure are unwritable in a rec head).
- */
 type CheckRecFind<F extends FindShape> = {
     readonly [K in keyof F]: F[K] extends AnyVar ? F[K] : never;
 };
-/**
- * One find entry's answer-column value type: a variable carries its field's
- * type, the measure/count are `bigint`, folds carry their input's type
- * (a measure fold is `bigint`), `pack` its interval type.
- */
-type FindValue<E> = E extends AnyVar ? Infer<E["field"]> : E extends Duration<AnyVar> ? bigint : E extends CountAgg ? bigint : E extends Agg<"sum" | "min" | "max", infer O> ? O extends AnyVar ? Infer<O["field"]> : bigint : E extends Agg<"pack", infer V extends AnyVar> ? Infer<V["field"]> : never;
-/** The inferred answer-row object type of a find record — the keys ARE the columns. */
+type FindValue<E> = E extends AnyVar ? Infer<E["field"]> : E extends CountAgg ? bigint : E extends Agg<"sum" | "min" | "max", infer O extends AnyVar> ? Infer<O["field"]> : E extends Agg<"pack", infer V extends AnyVar> ? Infer<V["field"]> : never;
 type RowOfFind<F extends FindShape> = {
     readonly [K in keyof F]: FindValue<F[K]>;
 };

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

@@ -1 +1 @@
-{"version":3,"file":"find.d.ts","sourceRoot":"","sources":["../../src/query/find.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AACvC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,SAAS,CAAA;AAC5C,OAAO,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAA;AAC7E,OAAO,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAEnE,0DAA0D;AAC1D,KAAK,UAAU,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,MAAM,CAAA;AAChD,KAAK,SAAS,GAAG,OAAO,GAAG,UAAU,CAAA;AAErC,kDAAkD;AAClD,UAAU,QAAQ;IACjB,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAA;CACrB;AAED;;;GAGG;AACH,UAAU,GAAG,CAAC,EAAE,SAAS,UAAU,EAAE,IAAI,SAAS,MAAM,GAAG,QAAQ;IAClE,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAA;IAChB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CACnB;AAED,gCAAgC;AAChC,KAAK,MAAM,GAAG,QAAQ,GAAG,GAAG,CAAC,UAAU,EAAE,MAAM,GAAG,QAAQ,CAAC,CAAA;AAE3D,0EAA0E;AAC1E,KAAK,SAAS,GAAG,MAAM,GAAG,QAAQ,GAAG,MAAM,CAAA;AAE3C,gFAAgF;AAChF,KAAK,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAA;AAOpD,4EAA4E;AAC5E,iBAAS,KAAK,IAAI,QAAQ,CAEzB;AAED;;;;;GAKG;AACH,iBAAS,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,GAAG,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAEtE;AAED,qHAAqH;AACrH,iBAAS,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,GAAG,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAEtE;AAED,qHAAqH;AACrH,iBAAS,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,GAAG,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAEtE;AAED;;;;;;GAMG;AACH,iBAAS,IAAI,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAE7D;AAED;;;;GAIG;AACH,KAAK,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GACjC,YAAY,CAAC,CAAC,CAAC,GACf,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,SAAS,MAAM,CAAC,GACzC,aAAa,CAAC,CAAC,CAAC,GAChB,KAAK,CAAA;AAET;;;;GAIG;AACH,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GAClC,UAAU,CAAC,CAAC,CAAC,GACb,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,SAAS,MAAM,CAAC,GACzC,aAAa,CAAC,CAAC,CAAC,GAChB,KAAK,CAAA;AAET;;;;GAIG;AACH,KAAK,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GACnC,IAAI,GACJ,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,SAAS,MAAM,CAAC,GACzC,aAAa,CAAC,CAAC,CAAC,GAChB,CAAC,SAAS,QAAQ,GACjB,IAAI,GACJ,CAAC,SAAS,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,GAC5B,SAAS,CAAC,CAAC,CAAC,GACZ,CAAC,SAAS,GAAG,CAAC,KAAK,GAAG,KAAK,EAAE,MAAM,CAAC,CAAC,GACpC,UAAU,CAAC,CAAC,CAAC,GACb,CAAC,SAAS,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,GAC5C,aAAa,CAAC,CAAC,CAAC,GAChB,KAAK,CAAA;AAEb,0GAA0G;AAC1G,KAAK,SAAS,CAAC,CAAC,SAAS,SAAS,IAAI;IACrC,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK;CACtE,CAAA;AAED;;;GAGG;AACH,KAAK,YAAY,CAAC,CAAC,SAAS,SAAS,IAAI;IACxC,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK;CAC3D,CAAA;AAED;;;;GAIG;AACH,KAAK,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GACjC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GACjB,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,GACzB,MAAM,GACN,CAAC,SAAS,QAAQ,GACjB,MAAM,GACN,CAAC,SAAS,GAAG,CAAC,KAAK,GAAG,KAAK,GAAG,KAAK,EAAE,MAAM,CAAC,CAAC,GAC5C,CAAC,SAAS,MAAM,GACf,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GACjB,MAAM,GACP,CAAC,SAAS,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,GAC5C,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GACjB,KAAK,CAAA;AAEZ,uFAAuF;AACvF,KAAK,SAAS,CAAC,CAAC,SAAS,SAAS,IAAI;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAA;AAElF;;;;GAIG;AACH,KAAK,YAAY,CAAC,OAAO,SAAS,aAAa,EAAE,CAAC,SAAS,SAAS,IAAI;IACvE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK;CAChF,CAAA;AAED,YAAY,EACX,GAAG,EACH,SAAS,EACT,MAAM,EACN,SAAS,EACT,YAAY,EACZ,QAAQ,EACR,SAAS,EACT,WAAW,EACX,SAAS,EACT,SAAS,EACT,UAAU,EACV,YAAY,EACZ,SAAS,EACT,CAAA;AACD,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAA"}
+{"version":3,"file":"find.d.ts","sourceRoot":"","sources":["../../src/query/find.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AACvC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,SAAS,CAAA;AAC5C,OAAO,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AACjE,OAAO,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAEzD,KAAK,UAAU,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,MAAM,CAAA;AAChD,KAAK,SAAS,GAAG,OAAO,GAAG,UAAU,CAAA;AAErC,UAAU,QAAQ;IACjB,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAA;CACrB;AAED,UAAU,GAAG,CAAC,EAAE,SAAS,UAAU,EAAE,IAAI,SAAS,MAAM;IACvD,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAA;IAChB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CACnB;AAED,KAAK,MAAM,GAAG,QAAQ,GAAG,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;AAEhD,KAAK,SAAS,GAAG,MAAM,GAAG,MAAM,CAAA;AAEhC,KAAK,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAA;AAMpD,iBAAS,KAAK,IAAI,QAAQ,CAEzB;AAED;;;;;GAKG;AACH,iBAAS,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAE3D;AAED,iBAAS,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAE3D;AAED,iBAAS,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAE3D;AAED,iBAAS,IAAI,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAE7D;AAED,KAAK,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GACnC,IAAI,GACJ,CAAC,SAAS,QAAQ,GACjB,IAAI,GACJ,CAAC,SAAS,GAAG,CAAC,KAAK,GAAG,KAAK,GAAG,KAAK,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,GAC3D,YAAY,CAAC,CAAC,CAAC,GACf,CAAC,SAAS,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,GAC5C,aAAa,CAAC,CAAC,CAAC,GAChB,KAAK,CAAA;AAEX,KAAK,SAAS,CAAC,CAAC,SAAS,SAAS,IAAI;IACrC,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK;CACtE,CAAA;AAED,KAAK,YAAY,CAAC,CAAC,SAAS,SAAS,IAAI;IACxC,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK;CAC3D,CAAA;AAED,KAAK,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GACjC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GACjB,CAAC,SAAS,QAAQ,GACjB,MAAM,GACN,CAAC,SAAS,GAAG,CAAC,KAAK,GAAG,KAAK,GAAG,KAAK,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,GAC3D,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GACjB,CAAC,SAAS,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,GAC5C,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GACjB,KAAK,CAAA;AAEX,KAAK,SAAS,CAAC,CAAC,SAAS,SAAS,IAAI;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAA;AAElF;;;;GAIG;AACH,KAAK,YAAY,CAAC,OAAO,SAAS,aAAa,EAAE,CAAC,SAAS,SAAS,IAAI;IACvE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK;CAChF,CAAA;AAED,YAAY,EACX,GAAG,EACH,SAAS,EACT,MAAM,EACN,SAAS,EACT,YAAY,EACZ,QAAQ,EACR,SAAS,EACT,WAAW,EACX,SAAS,EACT,SAAS,EACT,UAAU,EACV,YAAY,EACZ,SAAS,EACT,CAAA;AACD,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAA"}

package/dist/query/find.js

@@ -1,27 +1,6 @@
-/**
- * Find entries and aggregates, REFERENCE-IDENTITY edition — the head
- * vocabulary, mirroring the IR's aggregate roster exactly
- * (`bumbledb/crates/bumbledb/src/ir.rs` `AggOp`/`FindTerm`;
- * `docs/architecture/20-query-ir.md` § aggregation): `count` (nullary),
- * `sum`/`min`/`max` (over an orderable variable or the measure), and
- * `pack` (the coalescing fold — RELATION-SHAPED, the result position
- * interval-typed). Aggregates fold VARIABLES by reference — `r.sum(w)` —
- * and are typed by the variable's own descriptor.
- *
- * `select(strings)` is DEAD: the head is a `find` RECORD, whose KEYS name
- * the answer columns (`find({ total: r.count(), owner: h })`). The keys are
- * unique object keys, so a duplicate answer column is unrepresentable and a
- * rename is a real typed key. Grouping is implicit: the non-aggregate
- * entries are the group key; over empty input an all-aggregate find yields
- * the EMPTY SET, never a zero row. The creation quarantine is
- * representational: a head position is a variable, the measure, or an
- * aggregate — no minting or arithmetic term exists to spell (permanent law).
- */
-/** Builds one fold aggregate value. */
 function aggregate(op, over) {
     return Object.freeze({ agg: op, over });
 }
-/** Nullary count: |the group's set of distinct full bindings|, `bigint`. */
 function count() {
     return Object.freeze({ agg: "count" });
 }
@@ -34,21 +13,12 @@ function count() {
 function sum(over) {
     return aggregate("sum", over);
 }
-/** Minimum over an orderable variable (u64/i64/bool — over bool, `Min` is the ALL quantifier; R3) or the measure. */
 function min(over) {
     return aggregate("min", over);
 }
-/** Maximum over an orderable variable (u64/i64/bool — over bool, `Max` is the ANY quantifier; R3) or the measure. */
 function max(over) {
     return aggregate("max", over);
 }
-/**
- * The coalescing fold (Snodgrass coalesce, `ir::AggOp::Pack`): per group,
- * the maximal disjoint half-open segments of the union of the group's
- * interval point sets — RELATION-SHAPED, one answer row per (group, maximal
- * segment), the result position carrying one interval of the input's element
- * type. At most one `pack` per find, never beside a fold entry.
- */
 function pack(over) {
     return aggregate("pack", over);
 }

package/dist/query/find.js.map

@@ -1 +1 @@
-{"version":3,"file":"find.js","sourceRoot":"","sources":["../../src/query/find.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAkCH,uCAAuC;AACvC,SAAS,SAAS,CAAwD,EAAM,EAAE,IAAU;IAC3F,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAA;AACxC,CAAC;AAED,4EAA4E;AAC5E,SAAS,KAAK;IACb,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAA;AACvC,CAAC;AAED;;;;;GAKG;AACH,SAAS,GAAG,CAAoC,IAAO;IACtD,OAAO,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;AAC9B,CAAC;AAED,qHAAqH;AACrH,SAAS,GAAG,CAAoC,IAAO;IACtD,OAAO,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;AAC9B,CAAC;AAED,qHAAqH;AACrH,SAAS,GAAG,CAAoC,IAAO;IACtD,OAAO,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;AAC9B,CAAC;AAED;;;;;;GAMG;AACH,SAAS,IAAI,CAAyB,IAAO;IAC5C,OAAO,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;AAC/B,CAAC;AAsGD,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAA"}
+{"version":3,"file":"find.js","sourceRoot":"","sources":["../../src/query/find.ts"],"names":[],"mappings":"AAuBA,SAAS,SAAS,CAA6C,EAAM,EAAE,IAAU;IAChF,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAA;AACxC,CAAC;AAED,SAAS,KAAK;IACb,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAA;AACvC,CAAC;AAED;;;;;GAKG;AACH,SAAS,GAAG,CAAyB,IAAO;IAC3C,OAAO,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;AAC9B,CAAC;AAED,SAAS,GAAG,CAAyB,IAAO;IAC3C,OAAO,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;AAC9B,CAAC;AAED,SAAS,GAAG,CAAyB,IAAO;IAC3C,OAAO,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;AAC9B,CAAC;AAED,SAAS,IAAI,CAAyB,IAAO;IAC5C,OAAO,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;AAC/B,CAAC;AAwDD,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAA"}