@bjornpagen/bumbledb 0.1.0 → 0.2.0

package/dist/query/scope.js

@@ -1,134 +1,90 @@
 /**
- * Query scope terms (PRD-08): typed variables and parameters, declared
- * inside a `query()` scope callback so identity is lexical. A `Var` is
- * typed by the field it is declared from and joins are brand-equal by
- * construction (the nominal join discipline); var identity is OBJECT
- * identity — two `$.var` calls are two variables even from the same field,
- * and no name-collision machinery exists. Params are query-global, carry a
- * mandatory literal name (the key of `execute`'s params object), and lower
- * to dense positional `ParamId`s in declaration order. This module also
- * owns the type-level params extraction: every atom and condition value
- * carries its contributed params object in a phantom, and the query's
- * `Params` type is the flattened intersection over the returned rules —
- * inference rides the return value, never a mutable type accumulator.
+ * Query scope terms, STRUCTURAL edition: string-named variables and
+ * parameters as plain frozen values. A `Var` is a NAME — it is typed by the
+ * field it first binds (structurally, off the schema type, through the rule
+ * builder's environment), reuse of the name within one rule IS the join,
+ * and a domain-mismatched reuse is a compile error (the structural analog
+ * of the old brand-equal join — now domain-equal, no value brands
+ * anywhere). 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 → field descriptor), the domain-equality
+ * judgment, and the record-folding helpers `Params` and `Row` inference
+ * ride.
  */
-import * as errors from "@superbuilders/errors";
-import { phantom } from "#brand.ts";
 /**
  * The runtime discriminant of query term values. Host literals (bigints,
- * strings, interval objects, `oneOf` sets) never carry it, so "is this
- * binding a term or a literal" is one property probe, never a guess.
+ * 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");
-/** Narrows an unknown binding value to a scope term (vs a host literal). */
+/**
+ * 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;
 }
-/** Creates one empty scope registry over the query's theory. */
-function createRegistry(theory) {
-    return {
-        theory,
-        vars: new Set(),
-        params: [],
-        paramIndex: new Map(),
-        predicates: []
-    };
+/** Builds one variable term. */
+function makeVar(name) {
+    const value = { [term]: "var", name };
+    return Object.freeze(value);
+}
+/** 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 Allen-mask-parameter term. */
+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 };
+    return Object.freeze(value);
 }
 /**
- * The relation-kind discriminant: a closed relation's runtime description
- * carries its handle roster, an ordinary relation's never does.
+ * The runtime twin of {@link JoinOk}: two field descriptors join iff kind,
+ * domain label, width label, and interval element all agree — the same
+ * structural comparison the type tier makes, judged on the descriptor
+ * VALUES (S1 descriptors are honest at runtime). The rule builders throw
+ * through this on a domain-unequal variable reuse, so the wall holds for
+ * untyped callers too, not only where the compiler can see.
  */
-function isClosedMember(member) {
-    return "handles" in member.data;
+function fieldJoins(a, b) {
+    const widthA = "width" in a ? a.width : undefined;
+    const widthB = "width" in b ? b.width : undefined;
+    const elementA = "element" in a ? a.element : undefined;
+    const elementB = "element" in b ? b.element : undefined;
+    return a.kind === b.kind && a.domain === b.domain && widthA === widthB && elementA === elementB;
 }
 /**
- * Resolves a field reference's runtime description through the schema —
- * the seam that types `$.var`/`$.param` declarations at runtime (the type
- * level already carries the brand; this recovers the structural type the
- * lowering and the param marshaler direct by).
+ * Renders one field descriptor for join-mismatch diagnostics — the schema
+ * grammar's own spelling (`u64 as HolderId`, `interval<i64, 7> as Window`).
  */
-function resolveFieldData(theory, relationName, fieldName) {
-    const member = theory.relations[relationName];
-    if (member === undefined) {
-        throw errors.new(`schema ${theory.name} has no relation ${relationName}`);
-    }
-    if (isClosedMember(member)) {
-        if (fieldName === "id") {
-            return member.id.data;
-        }
-        const column = member.data.columns.find(function byName(candidate) {
-            return candidate.name === fieldName;
-        });
-        if (column === undefined) {
-            throw errors.new(`closed relation ${relationName} has no column ${fieldName}`);
-        }
-        return column.field;
+function renderFieldKind(field) {
+    let base = field.kind;
+    if (field.kind === "bytes") {
+        base = `bytes<${field.width}>`;
     }
-    const declared = member.data.fields.find(function byName(candidate) {
-        return candidate.name === fieldName;
-    });
-    if (declared === undefined) {
-        throw errors.new(`relation ${relationName} has no field ${fieldName}`);
+    if (field.kind === "interval") {
+        base = field.width === undefined ? `interval<${field.element}>` : `interval<${field.element}, ${field.width}>`;
     }
-    return declared.field;
-}
-/** Declares one variable in the scope (the `$.var` implementation). */
-function scopeVar(registry, ref) {
-    const value = Object.freeze({
-        [term]: "var",
-        relation: ref.relation,
-        field: ref.field,
-        data: resolveFieldData(registry.theory, ref.relation, ref.field)
-    });
-    registry.vars.add(value);
-    return value;
-}
-/** Rejects a second parameter under an already-taken name. */
-function assertFreshParamName(registry, name) {
-    const taken = registry.params.some(function byName(entry) {
-        return entry.name === name;
-    });
-    if (taken) {
-        throw errors.new(`query scope already declares a param named ${name} — param names key the execute params object, one declaration each`);
-    }
-}
-/** Declares one scalar parameter (the `$.param` implementation). */
-function scopeParam(registry, name, ref) {
-    assertFreshParamName(registry, name);
-    const data = resolveFieldData(registry.theory, ref.relation, ref.field);
-    const value = Object.freeze({
-        [term]: "param",
-        name,
-        relation: ref.relation,
-        field: ref.field,
-        data
-    });
-    registry.paramIndex.set(value, registry.params.length);
-    registry.params.push(Object.freeze({ name, shape: "value", data }));
-    return value;
-}
-/** Declares one set parameter (the `$.paramSet` implementation). */
-function scopeParamSet(registry, name, ref) {
-    assertFreshParamName(registry, name);
-    const data = resolveFieldData(registry.theory, ref.relation, ref.field);
-    const value = Object.freeze({
-        [term]: "paramSet",
-        name,
-        relation: ref.relation,
-        field: ref.field,
-        data
-    });
-    registry.paramIndex.set(value, registry.params.length);
-    registry.params.push(Object.freeze({ name, shape: "set", data }));
-    return value;
-}
-/** Declares one Allen-mask parameter (the `$.allenParam` implementation). */
-function scopeAllenParam(registry, name) {
-    assertFreshParamName(registry, name);
-    const value = Object.freeze({ [term]: "maskParam", name });
-    registry.paramIndex.set(value, registry.params.length);
-    registry.params.push(Object.freeze({ name, shape: "mask", data: undefined }));
-    return value;
+    return field.domain === undefined ? base : `${base} as ${field.domain}`;
 }
-export { createRegistry, isTerm, resolveFieldData, scopeAllenParam, scopeParam, scopeParamSet, scopeVar, term };
+export { fieldJoins, inferred, isTerm, makeDuration, makeMaskParam, makeParam, makeSetParam, makeVar, renderFieldKind, term };
 //# 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;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAC/C,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAMnC;;;;GAIG;AACH,MAAM,IAAI,GAAkB,MAAM,CAAC,qBAAqB,CAAC,CAAA;AAkEzD,4EAA4E;AAC5E,SAAS,MAAM,CAAC,KAAc;IAC7B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,IAAI,IAAI,KAAK,CAAA;AACpE,CAAC;AAiED,gEAAgE;AAChE,SAAS,cAAc,CAAC,MAAiB;IACxC,OAAO;QACN,MAAM;QACN,IAAI,EAAE,IAAI,GAAG,EAAE;QACf,MAAM,EAAE,EAAE;QACV,UAAU,EAAE,IAAI,GAAG,EAAE;QACrB,UAAU,EAAE,EAAE;KACd,CAAA;AACF,CAAC;AAED;;;GAGG;AACH,SAAS,cAAc,CAAC,MAAsB;IAC7C,OAAO,SAAS,IAAI,MAAM,CAAC,IAAI,CAAA;AAChC,CAAC;AAED;;;;;GAKG;AACH,SAAS,gBAAgB,CAAC,MAAiB,EAAE,YAAoB,EAAE,SAAiB;IACnF,MAAM,MAAM,GAA+B,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,CAAA;IACzE,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,MAAM,CAAC,GAAG,CAAC,UAAU,MAAM,CAAC,IAAI,oBAAoB,YAAY,EAAE,CAAC,CAAA;IAC1E,CAAC;IACD,IAAI,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACxB,OAAO,MAAM,CAAC,EAAE,CAAC,IAAI,CAAA;QACtB,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,SAAS;YAChE,OAAO,SAAS,CAAC,IAAI,KAAK,SAAS,CAAA;QACpC,CAAC,CAAC,CAAA;QACF,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,MAAM,CAAC,GAAG,CAAC,mBAAmB,YAAY,kBAAkB,SAAS,EAAE,CAAC,CAAA;QAC/E,CAAC;QACD,OAAO,MAAM,CAAC,KAAK,CAAA;IACpB,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,SAAS;QACjE,OAAO,SAAS,CAAC,IAAI,KAAK,SAAS,CAAA;IACpC,CAAC,CAAC,CAAA;IACF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,MAAM,CAAC,GAAG,CAAC,YAAY,YAAY,iBAAiB,SAAS,EAAE,CAAC,CAAA;IACvE,CAAC;IACD,OAAO,QAAQ,CAAC,KAAK,CAAA;AACtB,CAAC;AAQD,uEAAuE;AACvE,SAAS,QAAQ,CAAI,QAAuB,EAAE,GAAa;IAC1D,MAAM,KAAK,GAAW,MAAM,CAAC,MAAM,CAAC;QACnC,CAAC,IAAI,CAAC,EAAE,KAAc;QACtB,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,IAAI,EAAE,gBAAgB,CAAC,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC;KAChE,CAAC,CAAA;IACF,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IACxB,OAAO,KAAK,CAAA;AACb,CAAC;AAED,8DAA8D;AAC9D,SAAS,oBAAoB,CAAC,QAAuB,EAAE,IAAY;IAClE,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,KAAK;QACvD,OAAO,KAAK,CAAC,IAAI,KAAK,IAAI,CAAA;IAC3B,CAAC,CAAC,CAAA;IACF,IAAI,KAAK,EAAE,CAAC;QACX,MAAM,MAAM,CAAC,GAAG,CACf,8CAA8C,IAAI,oEAAoE,CACtH,CAAA;IACF,CAAC;AACF,CAAC;AAED,oEAAoE;AACpE,SAAS,UAAU,CAAyB,QAAuB,EAAE,IAAU,EAAE,GAAa;IAC7F,oBAAoB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;IACpC,MAAM,IAAI,GAAG,gBAAgB,CAAC,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC,CAAA;IACvE,MAAM,KAAK,GAAmB,MAAM,CAAC,MAAM,CAAC;QAC3C,CAAC,IAAI,CAAC,EAAE,OAAgB;QACxB,IAAI;QACJ,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,IAAI;KACJ,CAAC,CAAA;IACF,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IACtD,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAgB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;IAC5E,OAAO,KAAK,CAAA;AACb,CAAC;AAED,oEAAoE;AACpE,SAAS,aAAa,CAAyB,QAAuB,EAAE,IAAU,EAAE,GAAa;IAChG,oBAAoB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;IACpC,MAAM,IAAI,GAAG,gBAAgB,CAAC,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC,CAAA;IACvE,MAAM,KAAK,GAAsB,MAAM,CAAC,MAAM,CAAC;QAC9C,CAAC,IAAI,CAAC,EAAE,UAAmB;QAC3B,IAAI;QACJ,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,IAAI;KACJ,CAAC,CAAA;IACF,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IACtD,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAc,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;IAC1E,OAAO,KAAK,CAAA;AACb,CAAC;AAED,6EAA6E;AAC7E,SAAS,eAAe,CAAsB,QAAuB,EAAE,IAAU;IAChF,oBAAoB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;IACpC,MAAM,KAAK,GAAoB,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,WAAoB,EAAE,IAAI,EAAE,CAAC,CAAA;IACpF,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IACtD,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAA;IACtF,OAAO,KAAK,CAAA;AACb,CAAC;AAmBD,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,gBAAgB,EAAE,eAAe,EAAE,UAAU,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAA"}
+{"version":3,"file":"scope.js","sourceRoot":"","sources":["../../src/query/scope.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAIH;;;;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;AAoDD;;;;;;;GAOG;AACH,SAAS,UAAU,CAAC,CAAW,EAAE,CAAW;IAC3C,MAAM,MAAM,GAAG,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;IACjD,MAAM,MAAM,GAAG,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;IACjD,MAAM,QAAQ,GAAG,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAA;IACvD,MAAM,QAAQ,GAAG,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAA;IACvD,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,IAAI,MAAM,KAAK,MAAM,IAAI,QAAQ,KAAK,QAAQ,CAAA;AAChG,CAAC;AAED;;;GAGG;AACH,SAAS,eAAe,CAAC,KAAe;IACvC,IAAI,IAAI,GAAW,KAAK,CAAC,IAAI,CAAA;IAC7B,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,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,OAAO,KAAK,CAAC,MAAM,EAAE,CAAA;AACxE,CAAC;AAgDD,OAAO,EACN,UAAU,EACV,QAAQ,EACR,MAAM,EACN,YAAY,EACZ,aAAa,EACb,SAAS,EACT,YAAY,EACZ,OAAO,EACP,eAAe,EACf,IAAI,EACJ,CAAA"}

package/dist/query/select.d.ts

@@ -1,86 +1,55 @@
 /**
- * Select entries and aggregates (PRD-08) — 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), `countDistinct`, `sum`/`min`/`max` (over a u64/i64
- * variable or the measure), `argmax`/`argmin` (arg-restriction: carried
- * value + orderable key; a tie yields every attaining row), and `pack`
- * (the coalescing fold — RELATION-SHAPED: one answer row per (group,
- * maximal segment), the result position interval-typed). Grouping is
+ * Select entries and aggregates, STRUCTURAL 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),
+ * `countDistinct`, `sum`/`min`/`max` (over an orderable variable or the
+ * measure), `argMax`/`argMin` (arg-restriction: carried value + orderable
+ * key; a tie yields every attaining row), and `pack` (the coalescing fold —
+ * RELATION-SHAPED: one answer row per (group, maximal segment), the result
+ * position interval-typed). Aggregates name their variables — `r.sum("m")`
+ * — and are typed by the rule environment at `.select`. Grouping is
  * implicit: the non-aggregate select entries are the group key; over empty
  * input an all-aggregate select yields the EMPTY SET, never a zero row.
+ * The creation quarantine is representational: a head position is a var
+ * name, the measure, or an aggregate — no minting or arithmetic term
+ * exists to spell (permanent law).
  */
-import type { IntervalValue } from "#brand.ts";
-import { phantom } from "#brand.ts";
-import type { Duration } from "#query/atom.ts";
-import type { AnyVar, Flatten, Var } from "#query/scope.ts";
-import { term } from "#query/scope.ts";
-/** The three folds the measure admits (and the plain-variable folds). */
-type FoldOp = "sum" | "min" | "max";
-/** One aggregate's runtime description. */
-type AggregateData = {
-    readonly op: "count";
-} | {
-    readonly op: "countDistinct";
-    readonly over: AnyVar;
-} | {
-    readonly op: "fold";
-    readonly fold: FoldOp;
-    readonly over: AnyVar | Duration;
-} | {
-    readonly op: "arg";
-    readonly direction: "argMax" | "argMin";
-    readonly key: AnyVar;
-    readonly over: AnyVar;
-} | {
-    readonly op: "pack";
-    readonly over: AnyVar;
-};
+import type { Infer } from "#fields.ts";
+import type { IntervalVarOk, OrderVarOk } from "#query/atom.ts";
+import type { Duration, EnvShape, ShapeOf } from "#query/scope.ts";
+/** One aggregate operator name of the select vocabulary. */
+type AggOpName = "count" | "countDistinct" | "sum" | "min" | "max" | "argMax" | "argMin" | "pack";
 /**
- * One aggregate select value; the phantom carries the answer column's
- * host type (`count`/`countDistinct` → `bigint` whatever they counted;
- * folds carry their input's type; the Arg forms the carried payload's
- * type; `pack` its interval type).
+ * One aggregate select VALUE: the op, the variable name (or measure) it
+ * folds, and — for the Arg forms — the orderable key's variable name. The
+ * runtime representation carries the types; the rule environment types the
+ * result at `.select`.
  */
-interface Aggregate<R> {
-    readonly aggregate: AggregateData;
-    readonly [phantom]?: R;
+interface Agg<Op extends AggOpName, Over extends string | Duration<string> | undefined, Key extends string | undefined = undefined> {
+    readonly agg: Op;
+    readonly over: Over;
+    readonly key: Key;
 }
-/** What a select record's values may be: a projection, a measure, or an aggregate. */
-type SelectEntryInput = AnyVar | Duration | Aggregate<unknown>;
-/** The select record: answer column name to entry, written order = column order. */
-type SelectShape = Readonly<Record<string, SelectEntryInput>>;
-/** One select entry's answer type. */
-type SelectValue<T> = T extends {
-    readonly aggregate: AggregateData;
-    readonly [phantom]?: infer R;
-} ? Exclude<R, undefined> : T extends {
-    readonly measure: AnyVar;
-} ? bigint : T extends {
-    readonly [term]: "var";
-    readonly [phantom]?: infer V;
-} ? Exclude<V, undefined> : never;
-/** The inferred answer-row object type of a select record. */
-type RowOf<Sel extends SelectShape> = Flatten<{
-    [K in keyof Sel]: SelectValue<Sel[K]>;
-}>;
-/** Nullary count: |the group's set of distinct full bindings|, `bigint`. */
-declare function count(): Aggregate<bigint>;
-/** |the distinct values of `over` across the group|, `bigint`; legal over every type. */
-declare function countDistinct<V>(over: Var<V>): Aggregate<bigint>;
+/** Any aggregate select value. */
+type AnyAgg = Agg<AggOpName, string | Duration<string> | undefined, string | undefined>;
+/** One select entry: a projected var name, the measure, or an aggregate. */
+type SelectEntry = string | Duration<string> | AnyAgg;
+/** Nullary count: |the group's set of distinct full bindings|, `bigint`; the answer column is named `count`. */
+declare function count(): Agg<"count", undefined>;
+/** |the distinct values of the named variable across the group|, `bigint`; legal over every type. */
+declare function countDistinct<const N extends string>(over: N): Agg<"countDistinct", N>;
 /**
- * Exact checked sum over a u64/i64 variable (wide accumulator, one
- * finalize range check — overflow is the engine's typed runtime error,
- * never a wrap), or over the measure (`sum(duration(v))`).
+ * Exact checked sum over an orderable (u64/i64) variable — wide
+ * accumulator, one finalize range check; overflow is the engine's typed
+ * runtime error, never a wrap — or over the measure
+ * (`r.sum(r.duration("w"))`).
  */
-declare function sum<V extends bigint>(over: Var<V>): Aggregate<V>;
-declare function sum(over: Duration): Aggregate<bigint>;
-/** Minimum over a u64/i64 variable or the measure (orderable types only). */
-declare function min<V extends bigint>(over: Var<V>): Aggregate<V>;
-declare function min(over: Duration): Aggregate<bigint>;
-/** Maximum over a u64/i64 variable or the measure (orderable types only). */
-declare function max<V extends bigint>(over: Var<V>): Aggregate<V>;
-declare function max(over: Duration): Aggregate<bigint>;
+declare function sum<const N extends string | Duration<string>>(over: N): Agg<"sum", N>;
+/** Minimum over an orderable variable or the measure (orderable types only). */
+declare function min<const N extends string | Duration<string>>(over: N): Agg<"min", N>;
+/** Maximum over an orderable variable or the measure (orderable types only). */
+declare function max<const N extends string | Duration<string>>(over: N): Agg<"max", N>;
 /**
  * Arg-restriction toward the maximum of `key` (`ir::AggOp::ArgMax`): the
  * group's binding set is restricted to the bindings attaining the extreme
@@ -89,9 +58,9 @@ declare function max(over: Duration): Aggregate<bigint>;
  * direction; Arg and fold aggregates never mix (both the engine's typed
  * rules).
  */
-declare function argmax<K extends bigint, V>(key: Var<K>, value: Var<V>): Aggregate<V>;
-/** Arg-restriction toward the minimum of `key`; rules as {@link argmax}. */
-declare function argmin<K extends bigint, V>(key: Var<K>, value: Var<V>): Aggregate<V>;
+declare function argMax<const V extends string, const K extends string>(value: V, key: K): Agg<"argMax", V, K>;
+/** Arg-restriction toward the minimum of `key`; rules as {@link argMax}. */
+declare function argMin<const V extends string, const K extends string>(value: V, key: K): Agg<"argMin", V, K>;
 /**
  * The coalescing fold (Snodgrass coalesce, `ir::AggOp::Pack`): per group,
  * the maximal disjoint half-open segments of the union of the group's
@@ -100,7 +69,60 @@ declare function argmin<K extends bigint, V>(key: Var<K>, value: Var<V>): Aggreg
  * input's element type. At most one `pack` per select, never beside a
  * fold or an Arg entry (the engine's typed rules).
  */
-declare function pack<IV extends IntervalValue>(over: Var<IV>): Aggregate<IV>;
-export type { Aggregate, AggregateData, FoldOp, RowOf, SelectEntryInput, SelectShape, SelectValue };
-export { argmax, argmin, count, countDistinct, max, min, pack, sum };
+declare function pack<const N extends string>(over: N): Agg<"pack", N>;
+/** A fold input's judgment: an orderable variable, or the measure of an interval variable. */
+type FoldOverOk<Env extends EnvShape, O> = O extends string ? OrderVarOk<Env, O> : O extends Duration<infer N extends string> ? IntervalVarOk<Env, N> : false;
+/**
+ * One select entry's judgment against the rule environment: projected
+ * names must be bound, the measure and `pack` demand interval-typed
+ * variables, folds and Arg keys demand orderable ones.
+ */
+type SelectEntryOk<Env extends EnvShape, E> = E extends string ? E extends keyof Env ? true : false : E extends Duration<infer N extends string> ? IntervalVarOk<Env, N> : E extends Agg<"count", undefined> ? true : E extends Agg<"countDistinct", infer O extends string> ? O extends keyof Env ? true : false : E extends Agg<"sum" | "min" | "max", infer O> ? FoldOverOk<Env, O> : E extends Agg<"argMax" | "argMin", infer O extends string, infer K extends string> ? [O extends keyof Env ? true : false, OrderVarOk<Env, K>] extends [true, true] ? true : false : E extends Agg<"pack", infer O extends string> ? IntervalVarOk<Env, O> : false;
+/** The validated select tuple (intersect with the inferred entries — errors land on the offending argument). */
+type CheckSelect<Env extends EnvShape, S> = {
+    readonly [I in keyof S]: SelectEntryOk<Env, S[I]> extends true ? S[I] : never;
+};
+/** The validated names-only select tuple of a RECURSIVE rule (aggregates and the measure are unwritable there). */
+type CheckNameSelect<Env extends EnvShape, S> = {
+    readonly [I in keyof S]: S[I] extends keyof Env ? S[I] : never;
+};
+/**
+ * One select entry's answer-column fragment: the column is named by the
+ * variable it projects or folds (`count` names its column `count`), and
+ * its type reflects the entry — `count`/`countDistinct` are `bigint`
+ * whatever they counted, folds carry their input's type, the measure is
+ * `bigint`, the Arg forms carry the payload's type, `pack` its interval
+ * type.
+ */
+type SelectEntryRow<Env extends EnvShape, E> = E extends string ? {
+    readonly [K in E]: Infer<Env[E & keyof Env]>;
+} : E extends Duration<infer N extends string> ? {
+    readonly [K in N]: bigint;
+} : E extends Agg<"count", undefined> ? {
+    readonly count: bigint;
+} : E extends Agg<"countDistinct", infer O extends string> ? {
+    readonly [K in O]: bigint;
+} : E extends Agg<"sum" | "min" | "max", infer O> ? O extends string ? {
+    readonly [K in O]: Infer<Env[O & keyof Env]>;
+} : O extends Duration<infer N extends string> ? {
+    readonly [K in N]: bigint;
+} : never : E extends Agg<"argMax" | "argMin", infer O extends string, string> ? {
+    readonly [K in O]: Infer<Env[O & keyof Env]>;
+} : E extends Agg<"pack", infer O extends string> ? {
+    readonly [K in O]: Infer<Env[O & keyof Env]>;
+} : never;
+/** The inferred answer-row object type of a select tuple. */
+type RowOfSelect<Env extends EnvShape, S extends readonly SelectEntry[]> = ShapeOf<SelectEntryRow<Env, S[number]>>;
+/**
+ * One projected name's answer-column fragment — a NAKED parameter, so the
+ * judgment distributes per name (the union of a multi-name select never
+ * smears into one column's type), mirroring {@link SelectEntryRow}.
+ */
+type NameSelectRow<Env extends EnvShape, N> = N extends string ? {
+    readonly [K in N]: Infer<Env[K & keyof Env]>;
+} : never;
+/** The inferred answer-row object type of a names-only (recursive-rule) select tuple. */
+type RowOfNameSelect<Env extends EnvShape, S extends readonly string[]> = ShapeOf<NameSelectRow<Env, S[number]>>;
+export type { Agg, AggOpName, AnyAgg, CheckNameSelect, CheckSelect, RowOfNameSelect, RowOfSelect, SelectEntry, SelectEntryOk, SelectEntryRow };
+export { argMax, argMin, count, countDistinct, max, min, pack, sum };
 //# sourceMappingURL=select.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"select.d.ts","sourceRoot":"","sources":["../../src/query/select.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,WAAW,CAAA;AAC9C,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAA;AAC9C,OAAO,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,iBAAiB,CAAA;AAC3D,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAEtC,yEAAyE;AACzE,KAAK,MAAM,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,CAAA;AAEnC,2CAA2C;AAC3C,KAAK,aAAa,GACf;IAAE,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAA;CAAE,GACxB;IAAE,QAAQ,CAAC,EAAE,EAAE,eAAe,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,CAAA;CAAE,GAChF;IACA,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAA;IAClB,QAAQ,CAAC,SAAS,EAAE,QAAQ,GAAG,QAAQ,CAAA;IACvC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACpB,GACD;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAA;AAEjD;;;;;GAKG;AACH,UAAU,SAAS,CAAC,CAAC;IACpB,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAA;IACjC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAA;CACtB;AAED,sFAAsF;AACtF,KAAK,gBAAgB,GAAG,MAAM,GAAG,QAAQ,GAAG,SAAS,CAAC,OAAO,CAAC,CAAA;AAE9D,oFAAoF;AACpF,KAAK,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAA;AAE7D,sCAAsC;AACtC,KAAK,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;CAAE,GAChG,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,GACrB,CAAC,SAAS;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GACrC,MAAM,GACN,CAAC,SAAS;IAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;CAAE,GACjE,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,GACrB,KAAK,CAAA;AAEV,8DAA8D;AAC9D,KAAK,KAAK,CAAC,GAAG,SAAS,WAAW,IAAI,OAAO,CAAC;KAAG,CAAC,IAAI,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,CAAA;AAExF,4EAA4E;AAC5E,iBAAS,KAAK,IAAI,SAAS,CAAC,MAAM,CAAC,CAElC;AAED,yFAAyF;AACzF,iBAAS,aAAa,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,CAEzD;AAED;;;;GAIG;AACH,iBAAS,GAAG,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;AAC1D,iBAAS,GAAG,CAAC,IAAI,EAAE,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,CAAA;AAO/C,6EAA6E;AAC7E,iBAAS,GAAG,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;AAC1D,iBAAS,GAAG,CAAC,IAAI,EAAE,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,CAAA;AAO/C,6EAA6E;AAC7E,iBAAS,GAAG,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;AAC1D,iBAAS,GAAG,CAAC,IAAI,EAAE,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,CAAA;AAO/C;;;;;;;GAOG;AACH,iBAAS,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAI7E;AAED,4EAA4E;AAC5E,iBAAS,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAI7E;AAED;;;;;;;GAOG;AACH,iBAAS,IAAI,CAAC,EAAE,SAAS,aAAa,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,EAAE,CAAC,CAEpE;AAED,YAAY,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,EAAE,KAAK,EAAE,gBAAgB,EAAE,WAAW,EAAE,WAAW,EAAE,CAAA;AACnG,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAA"}
+{"version":3,"file":"select.d.ts","sourceRoot":"","sources":["../../src/query/select.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AACvC,OAAO,KAAK,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAA;AAC/D,OAAO,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAA;AAElE,4DAA4D;AAC5D,KAAK,SAAS,GAAG,OAAO,GAAG,eAAe,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,QAAQ,GAAG,QAAQ,GAAG,MAAM,CAAA;AAEjG;;;;;GAKG;AACH,UAAU,GAAG,CACZ,EAAE,SAAS,SAAS,EACpB,IAAI,SAAS,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,SAAS,EAClD,GAAG,SAAS,MAAM,GAAG,SAAS,GAAG,SAAS;IAE1C,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAA;IAChB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAA;CACjB;AAED,kCAAkC;AAClC,KAAK,MAAM,GAAG,GAAG,CAAC,SAAS,EAAE,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,SAAS,EAAE,MAAM,GAAG,SAAS,CAAC,CAAA;AAEvF,4EAA4E;AAC5E,KAAK,WAAW,GAAG,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,MAAM,CAAA;AAWrD,gHAAgH;AAChH,iBAAS,KAAK,IAAI,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAExC;AAED,qGAAqG;AACrG,iBAAS,aAAa,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,GAAG,CAAC,eAAe,EAAE,CAAC,CAAC,CAE/E;AAED;;;;;GAKG;AACH,iBAAS,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAE9E;AAED,gFAAgF;AAChF,iBAAS,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAE9E;AAED,gFAAgF;AAChF,iBAAS,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAE9E;AAED;;;;;;;GAOG;AACH,iBAAS,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAErG;AAED,4EAA4E;AAC5E,iBAAS,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAErG;AAED;;;;;;;GAOG;AACH,iBAAS,IAAI,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAE7D;AAED,8FAA8F;AAC9F,KAAK,UAAU,CAAC,GAAG,SAAS,QAAQ,EAAE,CAAC,IAAI,CAAC,SAAS,MAAM,GACxD,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,GAClB,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,SAAS,MAAM,CAAC,GACzC,aAAa,CAAC,GAAG,EAAE,CAAC,CAAC,GACrB,KAAK,CAAA;AAET;;;;GAIG;AACH,KAAK,aAAa,CAAC,GAAG,SAAS,QAAQ,EAAE,CAAC,IAAI,CAAC,SAAS,MAAM,GAC3D,CAAC,SAAS,MAAM,GAAG,GAClB,IAAI,GACJ,KAAK,GACN,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,SAAS,MAAM,CAAC,GACzC,aAAa,CAAC,GAAG,EAAE,CAAC,CAAC,GACrB,CAAC,SAAS,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,GAChC,IAAI,GACJ,CAAC,SAAS,GAAG,CAAC,eAAe,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,GACrD,CAAC,SAAS,MAAM,GAAG,GAClB,IAAI,GACJ,KAAK,GACN,CAAC,SAAS,GAAG,CAAC,KAAK,GAAG,KAAK,GAAG,KAAK,EAAE,MAAM,CAAC,CAAC,GAC5C,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,GAClB,CAAC,SAAS,GAAG,CAAC,QAAQ,GAAG,QAAQ,EAAE,MAAM,CAAC,SAAS,MAAM,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,GACjF,CAAC,CAAC,SAAS,MAAM,GAAG,GAAG,IAAI,GAAG,KAAK,EAAE,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,GAC5E,IAAI,GACJ,KAAK,GACN,CAAC,SAAS,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,GAC5C,aAAa,CAAC,GAAG,EAAE,CAAC,CAAC,GACrB,KAAK,CAAA;AAEd,gHAAgH;AAChH,KAAK,WAAW,CAAC,GAAG,SAAS,QAAQ,EAAE,CAAC,IAAI;IAC3C,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK;CAC7E,CAAA;AAED,mHAAmH;AACnH,KAAK,eAAe,CAAC,GAAG,SAAS,QAAQ,EAAE,CAAC,IAAI;IAC/C,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK;CAC9D,CAAA;AAED;;;;;;;GAOG;AACH,KAAK,cAAc,CAAC,GAAG,SAAS,QAAQ,EAAE,CAAC,IAAI,CAAC,SAAS,MAAM,GAC5D;IAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC;CAAE,GAChD,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,SAAS,MAAM,CAAC,GACzC;IAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,MAAM;CAAE,GAC7B,CAAC,SAAS,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,GAChC;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAC1B,CAAC,SAAS,GAAG,CAAC,eAAe,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,GACrD;IAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,MAAM;CAAE,GAC7B,CAAC,SAAS,GAAG,CAAC,KAAK,GAAG,KAAK,GAAG,KAAK,EAAE,MAAM,CAAC,CAAC,GAC5C,CAAC,SAAS,MAAM,GACf;IAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC;CAAE,GAChD,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,SAAS,MAAM,CAAC,GACzC;IAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,MAAM;CAAE,GAC7B,KAAK,GACP,CAAC,SAAS,GAAG,CAAC,QAAQ,GAAG,QAAQ,EAAE,MAAM,CAAC,SAAS,MAAM,EAAE,MAAM,CAAC,GACjE;IAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC;CAAE,GAChD,CAAC,SAAS,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,GAC5C;IAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC;CAAE,GAChD,KAAK,CAAA;AAEd,6DAA6D;AAC7D,KAAK,WAAW,CAAC,GAAG,SAAS,QAAQ,EAAE,CAAC,SAAS,SAAS,WAAW,EAAE,IAAI,OAAO,CAAC,cAAc,CAAC,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;AAElH;;;;GAIG;AACH,KAAK,aAAa,CAAC,GAAG,SAAS,QAAQ,EAAE,CAAC,IAAI,CAAC,SAAS,MAAM,GAC3D;IAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC;CAAE,GAChD,KAAK,CAAA;AAER,yFAAyF;AACzF,KAAK,eAAe,CAAC,GAAG,SAAS,QAAQ,EAAE,CAAC,SAAS,SAAS,MAAM,EAAE,IAAI,OAAO,CAAC,aAAa,CAAC,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;AAEhH,YAAY,EACX,GAAG,EACH,SAAS,EACT,MAAM,EACN,eAAe,EACf,WAAW,EACX,eAAe,EACf,WAAW,EACX,WAAW,EACX,aAAa,EACb,cAAc,EACd,CAAA;AACD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAA"}

package/dist/query/select.js

@@ -1,39 +1,48 @@
 /**
- * Select entries and aggregates (PRD-08) — 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), `countDistinct`, `sum`/`min`/`max` (over a u64/i64
- * variable or the measure), `argmax`/`argmin` (arg-restriction: carried
- * value + orderable key; a tie yields every attaining row), and `pack`
- * (the coalescing fold — RELATION-SHAPED: one answer row per (group,
- * maximal segment), the result position interval-typed). Grouping is
+ * Select entries and aggregates, STRUCTURAL 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),
+ * `countDistinct`, `sum`/`min`/`max` (over an orderable variable or the
+ * measure), `argMax`/`argMin` (arg-restriction: carried value + orderable
+ * key; a tie yields every attaining row), and `pack` (the coalescing fold —
+ * RELATION-SHAPED: one answer row per (group, maximal segment), the result
+ * position interval-typed). Aggregates name their variables — `r.sum("m")`
+ * — and are typed by the rule environment at `.select`. Grouping is
  * implicit: the non-aggregate select entries are the group key; over empty
  * input an all-aggregate select yields the EMPTY SET, never a zero row.
+ * The creation quarantine is representational: a head position is a var
+ * name, the measure, or an aggregate — no minting or arithmetic term
+ * exists to spell (permanent law).
  */
-import { phantom } from "#brand.ts";
-import { term } from "#query/scope.ts";
-/** Nullary count: |the group's set of distinct full bindings|, `bigint`. */
+/** Builds one aggregate value. */
+function aggregate(op, over, key) {
+    return Object.freeze({ agg: op, over, key });
+}
+/** Nullary count: |the group's set of distinct full bindings|, `bigint`; the answer column is named `count`. */
 function count() {
-    return Object.freeze({ aggregate: Object.freeze({ op: "count" }) });
+    return aggregate("count", undefined, undefined);
 }
-/** |the distinct values of `over` across the group|, `bigint`; legal over every type. */
+/** |the distinct values of the named variable across the group|, `bigint`; legal over every type. */
 function countDistinct(over) {
-    return Object.freeze({ aggregate: Object.freeze({ op: "countDistinct", over }) });
+    return aggregate("countDistinct", over, undefined);
 }
+/**
+ * Exact checked sum over an orderable (u64/i64) variable — wide
+ * accumulator, one finalize range check; overflow is the engine's typed
+ * runtime error, never a wrap — or over the measure
+ * (`r.sum(r.duration("w"))`).
+ */
 function sum(over) {
-    return Object.freeze({
-        aggregate: Object.freeze({ op: "fold", fold: "sum", over })
-    });
+    return aggregate("sum", over, undefined);
 }
+/** Minimum over an orderable variable or the measure (orderable types only). */
 function min(over) {
-    return Object.freeze({
-        aggregate: Object.freeze({ op: "fold", fold: "min", over })
-    });
+    return aggregate("min", over, undefined);
 }
+/** Maximum over an orderable variable or the measure (orderable types only). */
 function max(over) {
-    return Object.freeze({
-        aggregate: Object.freeze({ op: "fold", fold: "max", over })
-    });
+    return aggregate("max", over, undefined);
 }
 /**
  * Arg-restriction toward the maximum of `key` (`ir::AggOp::ArgMax`): the
@@ -43,16 +52,12 @@ function max(over) {
  * direction; Arg and fold aggregates never mix (both the engine's typed
  * rules).
  */
-function argmax(key, value) {
-    return Object.freeze({
-        aggregate: Object.freeze({ op: "arg", direction: "argMax", key, over: value })
-    });
+function argMax(value, key) {
+    return aggregate("argMax", value, key);
 }
-/** Arg-restriction toward the minimum of `key`; rules as {@link argmax}. */
-function argmin(key, value) {
-    return Object.freeze({
-        aggregate: Object.freeze({ op: "arg", direction: "argMin", key, over: value })
-    });
+/** Arg-restriction toward the minimum of `key`; rules as {@link argMax}. */
+function argMin(value, key) {
+    return aggregate("argMin", value, key);
 }
 /**
  * The coalescing fold (Snodgrass coalesce, `ir::AggOp::Pack`): per group,
@@ -63,7 +68,7 @@ function argmin(key, value) {
  * fold or an Arg entry (the engine's typed rules).
  */
 function pack(over) {
-    return Object.freeze({ aggregate: Object.freeze({ op: "pack", over }) });
+    return aggregate("pack", over, undefined);
 }
-export { argmax, argmin, count, countDistinct, max, min, pack, sum };
+export { argMax, argMin, count, countDistinct, max, min, pack, sum };
 //# sourceMappingURL=select.js.map

package/dist/query/select.js.map

@@ -1 +1 @@
-{"version":3,"file":"select.js","sourceRoot":"","sources":["../../src/query/select.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAGH,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAGnC,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AA+CtC,4EAA4E;AAC5E,SAAS,KAAK;IACb,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,OAAgB,EAAE,CAAC,EAAE,CAAC,CAAA;AAC7E,CAAC;AAED,yFAAyF;AACzF,SAAS,aAAa,CAAI,IAAY;IACrC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,eAAwB,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAA;AAC3F,CAAC;AASD,SAAS,GAAG,CAAC,IAA4B;IACxC,OAAO,MAAM,CAAC,MAAM,CAAC;QACpB,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,MAAe,EAAE,IAAI,EAAE,KAAc,EAAE,IAAI,EAAE,CAAC;KAC7E,CAAC,CAAA;AACH,CAAC;AAKD,SAAS,GAAG,CAAC,IAA4B;IACxC,OAAO,MAAM,CAAC,MAAM,CAAC;QACpB,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,MAAe,EAAE,IAAI,EAAE,KAAc,EAAE,IAAI,EAAE,CAAC;KAC7E,CAAC,CAAA;AACH,CAAC;AAKD,SAAS,GAAG,CAAC,IAA4B;IACxC,OAAO,MAAM,CAAC,MAAM,CAAC;QACpB,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,MAAe,EAAE,IAAI,EAAE,KAAc,EAAE,IAAI,EAAE,CAAC;KAC7E,CAAC,CAAA;AACH,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,MAAM,CAAsB,GAAW,EAAE,KAAa;IAC9D,OAAO,MAAM,CAAC,MAAM,CAAC;QACpB,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,KAAc,EAAE,SAAS,EAAE,QAAiB,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;KAChG,CAAC,CAAA;AACH,CAAC;AAED,4EAA4E;AAC5E,SAAS,MAAM,CAAsB,GAAW,EAAE,KAAa;IAC9D,OAAO,MAAM,CAAC,MAAM,CAAC;QACpB,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,KAAc,EAAE,SAAS,EAAE,QAAiB,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;KAChG,CAAC,CAAA;AACH,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,IAAI,CAA2B,IAAa;IACpD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,MAAe,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAA;AAClF,CAAC;AAGD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAA"}
+{"version":3,"file":"select.js","sourceRoot":"","sources":["../../src/query/select.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AA+BH,kCAAkC;AAClC,SAAS,SAAS,CAIhB,EAAM,EAAE,IAAU,EAAE,GAAQ;IAC7B,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAA;AAC7C,CAAC;AAED,gHAAgH;AAChH,SAAS,KAAK;IACb,OAAO,SAAS,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,CAAA;AAChD,CAAC;AAED,qGAAqG;AACrG,SAAS,aAAa,CAAyB,IAAO;IACrD,OAAO,SAAS,CAAC,eAAe,EAAE,IAAI,EAAE,SAAS,CAAC,CAAA;AACnD,CAAC;AAED;;;;;GAKG;AACH,SAAS,GAAG,CAA4C,IAAO;IAC9D,OAAO,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,SAAS,CAAC,CAAA;AACzC,CAAC;AAED,gFAAgF;AAChF,SAAS,GAAG,CAA4C,IAAO;IAC9D,OAAO,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,SAAS,CAAC,CAAA;AACzC,CAAC;AAED,gFAAgF;AAChF,SAAS,GAAG,CAA4C,IAAO;IAC9D,OAAO,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,SAAS,CAAC,CAAA;AACzC,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,MAAM,CAAiD,KAAQ,EAAE,GAAM;IAC/E,OAAO,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;AACvC,CAAC;AAED,4EAA4E;AAC5E,SAAS,MAAM,CAAiD,KAAQ,EAAE,GAAM;IAC/E,OAAO,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,CAAA;AACvC,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,IAAI,CAAyB,IAAO;IAC5C,OAAO,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC,CAAA;AAC1C,CAAC;AAqGD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAA"}