@bjornpagen/bumbledb 0.1.0 → 0.3.0

package/dist/query/run.d.ts

@@ -1,29 +1,32 @@
 /**
- * Prepared-query marshaling seams (PRD-08), the two rides every execution
- * takes — the typed params object down to the bridge's positional
- * `QueryParam[]` (declaration order = dense `ParamId`s, values tagged by
- * each param's declaring field), and answer rows (positional, head order)
- * back up to plain objects with branded values (the store is the proof
- * carrier: the engine computed the answer, so readback asserts the brand,
- * the same trust direction as fact readback in `#marshal.ts`). Answers are
- * SETS — no order or limit exists anywhere; hosts sort. The `Prepared`
- * VALUE itself (no lifecycle, GC-reclaimed plan) lives in `#db.ts`.
+ * Prepared-query marshaling seams, the two rides every execution takes —
+ * the typed params object down to the bridge's positional `QueryParam[]`
+ * (registry order = dense `ParamId`s, values tagged by each param's
+ * ANCHORING use: the field position or comparison sibling that typed it,
+ * op-aware exactly as comparison literals tag), and answer rows
+ * (positional, head order) back up to plain objects of BARE structural
+ * values — the marshal boundary is pure both ways: the engine computed
+ * the answer under the prepared head, so a decoded row that carries every
+ * select column IS a row (the trusted read seam), and nothing is asserted
+ * on any value. Answers are SETS — no order or limit exists anywhere;
+ * hosts sort. The `Prepared` VALUE itself (no lifecycle, GC-reclaimed
+ * plan) lives in `#db.ts`.
  */
 import type { FactValue, QueryParam } from "#native.ts";
-import type { SelectColumn } from "#query/lower.ts";
+import type { SelectColumn } from "#query/atom.ts";
 import type { ParamEntry } from "#query/scope.ts";
 /**
  * Marshals the typed params object to the bridge's positional arguments,
- * in param declaration order (= the lowering's dense `ParamId`s). A
- * missing entry is a typed error naming the param; values tag by the
- * declaring field's structural type; a set param takes a readonly array
- * (the empty set is legal and matches nothing — the engine's rule).
+ * in registry order (= the lowering's dense `ParamId`s). A missing entry
+ * is a typed error naming the param; values tag by the anchoring use's
+ * structural type; a set param takes a readonly array (the empty set is
+ * legal and matches nothing — the engine's rule).
  */
 declare function wireParams(entries: readonly ParamEntry[], supplied: Readonly<Record<string, unknown>>): QueryParam[];
 /**
  * Decodes positional answer rows (column order = the program's head order
- * = the select record's written order) to named, branded, frozen row
- * objects.
+ * = the select's written order) to named, frozen row objects of bare
+ * structural values.
  */
 declare function decodeAnswers<Row>(select: readonly SelectColumn[], rows: FactValue[][]): Row[];
 export { decodeAnswers, wireParams };

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

@@ -1 +1 @@
-{"version":3,"file":"run.d.ts","sourceRoot":"","sources":["../../src/query/run.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAe,MAAM,YAAY,CAAA;AACpE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAA;AAEnD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAajD;;;;;;GAMG;AACH,iBAAS,UAAU,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,UAAU,EAAE,CA0B7G;AAiBD;;;;GAIG;AACH,iBAAS,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,YAAY,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,GAAG,GAAG,EAAE,CAmBvF;AAED,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,CAAA"}
+{"version":3,"file":"run.d.ts","sourceRoot":"","sources":["../../src/query/run.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAe,MAAM,YAAY,CAAA;AACpE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAElD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAuBjD;;;;;;GAMG;AACH,iBAAS,UAAU,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,UAAU,EAAE,CAsB7G;AAkBD;;;;GAIG;AACH,iBAAS,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,YAAY,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,GAAG,GAAG,EAAE,CAmBvF;AAED,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,CAAA"}

package/dist/query/run.js

@@ -1,16 +1,19 @@
 /**
- * Prepared-query marshaling seams (PRD-08), the two rides every execution
- * takes — the typed params object down to the bridge's positional
- * `QueryParam[]` (declaration order = dense `ParamId`s, values tagged by
- * each param's declaring field), and answer rows (positional, head order)
- * back up to plain objects with branded values (the store is the proof
- * carrier: the engine computed the answer, so readback asserts the brand,
- * the same trust direction as fact readback in `#marshal.ts`). Answers are
- * SETS — no order or limit exists anywhere; hosts sort. The `Prepared`
- * VALUE itself (no lifecycle, GC-reclaimed plan) lives in `#db.ts`.
+ * Prepared-query marshaling seams, the two rides every execution takes —
+ * the typed params object down to the bridge's positional `QueryParam[]`
+ * (registry order = dense `ParamId`s, values tagged by each param's
+ * ANCHORING use: the field position or comparison sibling that typed it,
+ * op-aware exactly as comparison literals tag), and answer rows
+ * (positional, head order) back up to plain objects of BARE structural
+ * values — the marshal boundary is pure both ways: the engine computed
+ * the answer under the prepared head, so a decoded row that carries every
+ * select column IS a row (the trusted read seam), and nothing is asserted
+ * on any value. Answers are SETS — no order or limit exists anywhere;
+ * hosts sort. The `Prepared` VALUE itself (no lifecycle, GC-reclaimed
+ * plan) lives in `#db.ts`.
  */
 import * as errors from "@superbuilders/errors";
-import { taggedLiteral } from "#query/lower.ts";
+import { taggedCmpLiteral } from "#query/lower.ts";
 /** The 13-bit Allen mask ceiling (`bumbledb/crates/bumbledb/src/allen.rs`: bits above the low 13 are unrepresentable). */
 const ALLEN_ALL_BITS = (1 << 13) - 1;
 /** Tags one supplied mask-param value. */
@@ -20,12 +23,19 @@ function wireMask(name, value) {
     }
     return { kind: "allenMask", mask: value };
 }
+/** Tags one supplied value-param cell by its anchoring use. */
+function wireValue(entry, context, value) {
+    if (entry.anchor === undefined) {
+        throw errors.new(`param ${entry.name} has no field-anchored use — bind it in an atom or compare it against a bound variable`);
+    }
+    return taggedCmpLiteral(context, entry.anchor, value, entry.op);
+}
 /**
  * Marshals the typed params object to the bridge's positional arguments,
- * in param declaration order (= the lowering's dense `ParamId`s). A
- * missing entry is a typed error naming the param; values tag by the
- * declaring field's structural type; a set param takes a readonly array
- * (the empty set is legal and matches nothing — the engine's rule).
+ * in registry order (= the lowering's dense `ParamId`s). A missing entry
+ * is a typed error naming the param; values tag by the anchoring use's
+ * structural type; a set param takes a readonly array (the empty set is
+ * legal and matches nothing — the engine's rule).
  */
 function wireParams(entries, supplied) {
     return entries.map(function wireOne(entry) {
@@ -36,29 +46,26 @@ function wireParams(entries, supplied) {
         if (entry.shape === "mask") {
             return wireMask(entry.name, value);
         }
-        if (entry.data === undefined) {
-            throw errors.new(`param ${entry.name}: registry entry carries no declaring field`);
-        }
         if (entry.shape === "set") {
             if (!Array.isArray(value)) {
                 throw errors.new(`param ${entry.name}: a set param binds a readonly array of values`);
             }
-            const data = entry.data;
             return {
                 kind: "set",
                 values: value.map(function wireElement(element, index) {
-                    return taggedLiteral(`param ${entry.name}[${index}]`, data, element);
+                    return wireValue(entry, `param ${entry.name}[${index}]`, element);
                 })
             };
         }
-        return taggedLiteral(`param ${entry.name}`, entry.data, value);
+        return wireValue(entry, `param ${entry.name}`, value);
     });
 }
 /**
  * The read-side trusted seam of answers: a decoded row carrying every
  * select column IS a `Row` — the engine computed it under the prepared
- * head, so the brands are asserted, not re-derived (the `#marshal.ts`
- * trust direction).
+ * head, and the values are BARE structural values, so nothing is asserted
+ * beyond presence (the store is the proof carrier; no brand exists to
+ * re-derive).
  */
 function isAnswerRow(select, decoded) {
     return select.every(function present(column) {
@@ -67,8 +74,8 @@ function isAnswerRow(select, decoded) {
 }
 /**
  * Decodes positional answer rows (column order = the program's head order
- * = the select record's written order) to named, branded, frozen row
- * objects.
+ * = the select's written order) to named, frozen row objects of bare
+ * structural values.
  */
 function decodeAnswers(select, rows) {
     return rows.map(function decodeRow(row) {

package/dist/query/run.js.map

@@ -1 +1 @@
-{"version":3,"file":"run.js","sourceRoot":"","sources":["../../src/query/run.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAG/C,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AAG/C,0HAA0H;AAC1H,MAAM,cAAc,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAA;AAEpC,0CAA0C;AAC1C,SAAS,QAAQ,CAAC,IAAY,EAAE,KAAc;IAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,cAAc,EAAE,CAAC;QAClG,MAAM,MAAM,CAAC,GAAG,CAAC,SAAS,IAAI,iFAAiF,CAAC,CAAA;IACjH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,CAAA;AAC1C,CAAC;AAED;;;;;;GAMG;AACH,SAAS,UAAU,CAAC,OAA8B,EAAE,QAA2C;IAC9F,OAAO,OAAO,CAAC,GAAG,CAAC,SAAS,OAAO,CAAC,KAAK;QACxC,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QAClC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,MAAM,CAAC,GAAG,CAAC,0CAA0C,KAAK,CAAC,IAAI,EAAE,CAAC,CAAA;QACzE,CAAC;QACD,IAAI,KAAK,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;YAC5B,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;QACnC,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,MAAM,CAAC,GAAG,CAAC,SAAS,KAAK,CAAC,IAAI,6CAA6C,CAAC,CAAA;QACnF,CAAC;QACD,IAAI,KAAK,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;YAC3B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC3B,MAAM,MAAM,CAAC,GAAG,CAAC,SAAS,KAAK,CAAC,IAAI,gDAAgD,CAAC,CAAA;YACtF,CAAC;YACD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAA;YACvB,OAAO;gBACN,IAAI,EAAE,KAAK;gBACX,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,SAAS,WAAW,CAAC,OAAO,EAAE,KAAK;oBACpD,OAAO,aAAa,CAAC,SAAS,KAAK,CAAC,IAAI,IAAI,KAAK,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,CAAA;gBACrE,CAAC,CAAC;aACF,CAAA;QACF,CAAC;QACD,OAAO,aAAa,CAAC,SAAS,KAAK,CAAC,IAAI,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;IAC/D,CAAC,CAAC,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAS,WAAW,CACnB,MAA+B,EAC/B,OAA4C;IAE5C,OAAO,MAAM,CAAC,KAAK,CAAC,SAAS,OAAO,CAAC,MAAM;QAC1C,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,SAAS,CAAA;IAC1C,CAAC,CAAC,CAAA;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAM,MAA+B,EAAE,IAAmB;IAC/E,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,SAAS,CAAC,GAAG;QACrC,IAAI,GAAG,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC;YAClC,MAAM,MAAM,CAAC,GAAG,CAAC,sBAAsB,GAAG,CAAC,MAAM,uBAAuB,MAAM,CAAC,MAAM,iBAAiB,CAAC,CAAA;QACxG,CAAC;QACD,MAAM,OAAO,GAA8B,EAAE,CAAA;QAC7C,MAAM,CAAC,OAAO,CAAC,SAAS,UAAU,CAAC,MAAM,EAAE,OAAO;YACjD,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,CAAA;YACzB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACxB,MAAM,MAAM,CAAC,GAAG,CAAC,qBAAqB,OAAO,KAAK,MAAM,CAAC,IAAI,aAAa,CAAC,CAAA;YAC5E,CAAC;YACD,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAA;QAC5B,CAAC,CAAC,CAAA;QACF,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;QACtB,IAAI,CAAC,WAAW,CAAM,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;YACxC,MAAM,MAAM,CAAC,GAAG,CAAC,kDAAkD,CAAC,CAAA;QACrE,CAAC;QACD,OAAO,OAAO,CAAA;IACf,CAAC,CAAC,CAAA;AACH,CAAC;AAED,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,CAAA"}
+{"version":3,"file":"run.js","sourceRoot":"","sources":["../../src/query/run.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAG/C,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA;AAGlD,0HAA0H;AAC1H,MAAM,cAAc,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAA;AAEpC,0CAA0C;AAC1C,SAAS,QAAQ,CAAC,IAAY,EAAE,KAAc;IAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,cAAc,EAAE,CAAC;QAClG,MAAM,MAAM,CAAC,GAAG,CAAC,SAAS,IAAI,iFAAiF,CAAC,CAAA;IACjH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,CAAA;AAC1C,CAAC;AAED,+DAA+D;AAC/D,SAAS,SAAS,CAAC,KAAiB,EAAE,OAAe,EAAE,KAAc;IACpE,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,MAAM,CAAC,GAAG,CACf,SAAS,KAAK,CAAC,IAAI,wFAAwF,CAC3G,CAAA;IACF,CAAC;IACD,OAAO,gBAAgB,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAA;AAChE,CAAC;AAED;;;;;;GAMG;AACH,SAAS,UAAU,CAAC,OAA8B,EAAE,QAA2C;IAC9F,OAAO,OAAO,CAAC,GAAG,CAAC,SAAS,OAAO,CAAC,KAAK;QACxC,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QAClC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,MAAM,CAAC,GAAG,CAAC,0CAA0C,KAAK,CAAC,IAAI,EAAE,CAAC,CAAA;QACzE,CAAC;QACD,IAAI,KAAK,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;YAC5B,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;QACnC,CAAC;QACD,IAAI,KAAK,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;YAC3B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC3B,MAAM,MAAM,CAAC,GAAG,CAAC,SAAS,KAAK,CAAC,IAAI,gDAAgD,CAAC,CAAA;YACtF,CAAC;YACD,OAAO;gBACN,IAAI,EAAE,KAAK;gBACX,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,SAAS,WAAW,CAAC,OAAO,EAAE,KAAK;oBACpD,OAAO,SAAS,CAAC,KAAK,EAAE,SAAS,KAAK,CAAC,IAAI,IAAI,KAAK,GAAG,EAAE,OAAO,CAAC,CAAA;gBAClE,CAAC,CAAC;aACF,CAAA;QACF,CAAC;QACD,OAAO,SAAS,CAAC,KAAK,EAAE,SAAS,KAAK,CAAC,IAAI,EAAE,EAAE,KAAK,CAAC,CAAA;IACtD,CAAC,CAAC,CAAA;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,WAAW,CACnB,MAA+B,EAC/B,OAA4C;IAE5C,OAAO,MAAM,CAAC,KAAK,CAAC,SAAS,OAAO,CAAC,MAAM;QAC1C,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,SAAS,CAAA;IAC1C,CAAC,CAAC,CAAA;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAM,MAA+B,EAAE,IAAmB;IAC/E,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,SAAS,CAAC,GAAG;QACrC,IAAI,GAAG,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC;YAClC,MAAM,MAAM,CAAC,GAAG,CAAC,sBAAsB,GAAG,CAAC,MAAM,uBAAuB,MAAM,CAAC,MAAM,iBAAiB,CAAC,CAAA;QACxG,CAAC;QACD,MAAM,OAAO,GAA8B,EAAE,CAAA;QAC7C,MAAM,CAAC,OAAO,CAAC,SAAS,UAAU,CAAC,MAAM,EAAE,OAAO;YACjD,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,CAAA;YACzB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACxB,MAAM,MAAM,CAAC,GAAG,CAAC,qBAAqB,OAAO,KAAK,MAAM,CAAC,IAAI,aAAa,CAAC,CAAA;YAC5E,CAAC;YACD,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAA;QAC5B,CAAC,CAAC,CAAA;QACF,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;QACtB,IAAI,CAAC,WAAW,CAAM,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;YACxC,MAAM,MAAM,CAAC,GAAG,CAAC,kDAAkD,CAAC,CAAA;QACrE,CAAC;QACD,OAAO,OAAO,CAAA;IACf,CAAC,CAAC,CAAA;AACH,CAAC;AAED,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,CAAA"}

package/dist/query/scope.d.ts

@@ -1,87 +1,138 @@
 /**
- * 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.
- */
-import { phantom } from "#brand.ts";
-import type { FieldData } from "#fields.ts";
-import type { PredicateData } from "#query/predicate.ts";
-import type { AnySchema } from "#schema.ts";
+ * Query scope terms, LAW-TYPED edition: string-named variables and
+ * parameters as plain frozen values. A `Var` is a NAME — it is typed by the
+ * field slot it first binds (the descriptor AND the slot's law-computed
+ * CLASS, read off the schema's class map through the rule builder's
+ * environment), reuse of the name within one rule IS the join, and a
+ * class-mismatched reuse is a compile error: a var joins only class-equal
+ * slots, and BARE PAIRS ONLY WITH BARE (ruling 3 — a slot in no law has no
+ * class and never joins a classed slot; the deliberate sum-domain pointer
+ * stays legal against other bare slots). Params are query-global by name
+ * and typed BY USE: the field position or comparison sibling that anchors
+ * a param types it, the query's inferred `Params` object is exactly the
+ * params the rules use, and a param value that no rule uses simply never
+ * registers — the query executes under its own inferred type (the
+ * bug-hunt law). This module also owns the environment/typing utilities
+ * the whole surface shares: the env shape (var name → classed slot), the
+ * class-equality judgment {@link JoinOk} with its runtime twin
+ * {@link fieldJoins}, and the record-folding helpers `Params` and `Row`
+ * inference ride.
+ */
+import type { AnyField, Infer } from "#fields.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.
  */
 declare const term: unique symbol;
 /**
- * A query variable, typed by the field it was declared from
- * (`$.var(Holder.fields.id)` → `Var<Brand<bigint, "HolderId">>`). Usable in
- * any atom position whose field carries the same brand; a brand-mismatched
- * placement is a TYPE error. Identity is object identity.
+ * 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;
+/**
+ * A query variable — a NAME. Its type comes from the field it first binds
+ * in the rule (the builder's environment); reusing the name joins, and a
+ * cross-domain reuse is a compile error. Identity is the name, strictly
+ * rule-scoped: the same name in two rules names two unrelated variables
+ * (exactly as the IR scopes `VarId`).
  */
-interface Var<V> {
+interface Var<Name extends string = string> {
     readonly [term]: "var";
-    readonly relation: string;
-    readonly field: string;
-    readonly data: FieldData;
-    readonly [phantom]?: V;
+    readonly name: Name;
 }
 /**
- * A scalar query parameter — `$.param("root", Holder.fields.id)`. The name
- * literal is the key of the typed params object `execute` takes; the value
- * is marshaled by the declaring field's structural type at bind.
+ * 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, V> {
+interface Param<Name extends string = string> {
     readonly [term]: "param";
     readonly name: Name;
-    readonly relation: string;
-    readonly field: string;
-    readonly data: FieldData;
-    readonly [phantom]?: V;
 }
 /**
- * A set-valued query parameter (the IR's `ParamSet` term): bound at
- * execution to an ARRAY of values of the declaring 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 `is` — nowhere
- * else, exactly as the IR rules it.
+ * 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 ParamSet<Name extends string, V> {
-    readonly [term]: "paramSet";
+interface SetParam<Name extends string = string> {
+    readonly [term]: "setParam";
     readonly name: Name;
-    readonly relation: string;
-    readonly field: string;
-    readonly data: FieldData;
-    readonly [phantom]?: V;
 }
 /**
- * An Allen-mask parameter (the IR's `MaskTerm::Param`): the temporal
- * relation as a bind-time argument — one prepared query answers any of the
+ * An Allen-mask parameter (the IR's `MaskTerm::Param`) — the temporal
+ * relation as a bind-time argument: one prepared query answers any of the
  * mask questions per execution. Bound to a 13-bit mask number built from
  * the `ALLEN` constants.
  */
-interface MaskParam<Name extends string> {
+interface MaskParam<Name extends string = string> {
     readonly [term]: "maskParam";
     readonly name: Name;
 }
-/** Any query variable, whatever its brand. */
-type AnyVar = Var<unknown>;
-/** Any parameter term of the scope, whatever its name and brand. */
-type AnyParamTerm = Param<string, unknown> | ParamSet<string, unknown> | MaskParam<string>;
+/**
+ * The measure of an interval-typed variable (`ir::Term::Measure`):
+ * `|[s, e)| = e − s`, u64 — legal as one side of an order comparison, as a
+ * select entry, and as the input of `sum`/`min`/`max`; every other position
+ * is unwritable, exactly as the IR rejects it typed. A ray has no finite
+ * measure — the engine's `MeasureOfRay` execution error; exclude rays first
+ * (`allen` against a bounded window).
+ */
+interface Duration<Name extends string = string> {
+    readonly [term]: "duration";
+    readonly name: Name;
+}
 /** Any scope term value. */
-type AnyTerm = AnyVar | AnyParamTerm;
-/** Narrows an unknown binding value to a scope term (vs a host literal). */
+type AnyTerm = Var | Param | SetParam | MaskParam | Duration;
+/** Narrows an unknown position value to a scope term (vs a host literal). */
 declare function isTerm(value: unknown): value is AnyTerm;
-/** A params object type — what `execute` takes and the phantoms carry. */
+/** Builds one variable term. */
+declare function makeVar<const Name extends string>(name: Name): Var<Name>;
+/** The record `makeVars` mints: one own frozen `Var<Name>` per requested name, each typed exactly. */
+type VarsRecord<Names extends string> = {
+    readonly [N in Names]: Var<N>;
+};
+/**
+ * Mints several variables at once — `const { service, w } = r.vars("service",
+ * "w")`: tuple-to-object, each name typed exactly (`Var<"service">`),
+ * inference identical to the one-at-a-time `r.var` spelling (one lowering,
+ * two entry flavors). Each key is defined as an OWN property (a name like
+ * `"__proto__"` is a record key like any other, never a prototype write),
+ * and a duplicate name in one call is a construction error: each name mints
+ * one variable — write it once and reuse the binding.
+ */
+declare function makeVars<const Names extends readonly string[]>(...names: Names): VarsRecord<Names[number]>;
+/** Builds one scalar-parameter term. */
+declare function makeParam<const Name extends string>(name: Name): Param<Name>;
+/** Builds one set-parameter term. */
+declare function makeSetParam<const Name extends string>(name: Name): SetParam<Name>;
+/** Builds one Allen-mask-parameter term. */
+declare function makeMaskParam<const Name extends string>(name: Name): MaskParam<Name>;
+/** Builds one measure term over an interval-typed variable's name. */
+declare function makeDuration<const Name extends string>(name: Name): Duration<Name>;
+/**
+ * One bound field slot: the field's descriptor plus the slot's
+ * law-computed CLASS (`undefined` = bare — the slot is in no law). The one
+ * shape the rule environment carries per variable, at the TYPE level (env
+ * entries hold the schema type's class-map lookups) and at RUNTIME alike
+ * (the rule's `varFields` record holds exactly this shape, read off the
+ * schema value's frozen class map) — one shape, two tiers, one walk.
+ */
+interface ClassedField {
+    readonly field: AnyField;
+    readonly class: string | undefined;
+}
+/**
+ * A rule's typing environment: variable name → the classed slot it first
+ * bound. Purely a TYPE — the runtime twin is the rule's `varFields`
+ * record, and the two are built by the same walk.
+ */
+type EnvShape = Record<string, ClassedField>;
+/** 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> = {
@@ -90,79 +141,79 @@ type Flatten<T> = {
 /** 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;
 /**
- * One term's contribution to the query's params object type: a `Param`
- * contributes its value type under its name, a `ParamSet` the readonly
- * array of it, a `MaskParam` a mask number; everything else contributes
- * nothing.
+ * 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;
+/**
+ * The join judgment: two bound slots join iff their descriptors' structure
+ * agrees (kind, width label, interval element) AND their law-computed
+ * classes agree — same class name joins, and bare (`undefined`) pairs only
+ * with bare (ruling 3: a field in no law has no class; a bare↔classed
+ * pairing refuses). The class names come off the SCHEMA type's class map —
+ * the statements are the typing; no descriptor label exists to compare.
+ */
+type JoinOk<A extends ClassedField, B extends ClassedField> = [
+    A["field"]["kind"],
+    A["class"],
+    WidthOf<A["field"]>,
+    ElementOf<A["field"]>
+] extends [B["field"]["kind"], B["class"], WidthOf<B["field"]>, ElementOf<B["field"]>] ? [B["field"]["kind"], B["class"], WidthOf<B["field"]>, ElementOf<B["field"]>] extends [
+    A["field"]["kind"],
+    A["class"],
+    WidthOf<A["field"]>,
+    ElementOf<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 and the schema
+ * value's frozen class map). The rule builders throw through this on a
+ * class-unequal variable reuse, so the wall holds for untyped callers too,
+ * not only where the compiler can see.
+ */
+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 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 an interval field the engine resolves the
+ * bivalent anchor to the INTERVAL reading (value equality) — the point
+ * reading of a param is spelled `pointIn(r.param(...), w)`, whose sibling
+ * anchors it element-typed.
+ */
+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) — the op keeps literal tagging op-aware at `pointIn`
+ * (the bug-hunt fix, preserved). `anchor` is `undefined` only on a query
+ * built but not yet anchored by any rule; lowering and the wire both refuse
+ * that state typed.
  */
-type TermContribution<T> = T extends {
-    readonly [term]: "param";
-    readonly name: infer N extends string;
-    readonly [phantom]?: infer V;
-} ? {
-    readonly [K in N]: Exclude<V, undefined>;
-} : T extends {
-    readonly [term]: "paramSet";
-    readonly name: infer N extends string;
-    readonly [phantom]?: infer V;
-} ? {
-    readonly [K in N]: readonly Exclude<V, undefined>[];
-} : T extends {
-    readonly [term]: "maskParam";
-    readonly name: infer N extends string;
-} ? {
-    readonly [K in N]: number;
-} : Record<never, never>;
-/**
- * Folds a union of per-term/per-item params objects into the one flattened
- * params record (the query's `Params` type).
- */
-type ParamsShape<U> = [U] extends [never] ? Record<never, never> : Flatten<UnionToIntersection<U>>;
-/** Reads an atom's/condition's contributed params object off its phantom. */
-type ItemParams<T> = T extends {
-    readonly [phantom]?: infer P;
-} ? Exclude<P, undefined> : Record<never, never>;
-/** One registered parameter: name, wire shape, and the declaring field. */
 interface ParamEntry {
     readonly name: string;
     readonly shape: "value" | "set" | "mask";
-    readonly data: FieldData | undefined;
-}
-/**
- * The mutable build-time registry one `query()` scope owns: declared vars
- * (membership polices cross-scope smuggling), params in declaration order
- * (= dense `ParamId`s), and declared predicates in declaration order
- * (= dense `PredId`s; the output predicate is appended by lowering).
- */
-interface QueryRegistry {
-    readonly theory: AnySchema;
-    readonly vars: Set<AnyVar>;
-    readonly params: ParamEntry[];
-    readonly paramIndex: Map<AnyTerm, number>;
-    readonly predicates: PredicateData[];
-}
-/** Creates one empty scope registry over the query's theory. */
-declare function createRegistry(theory: AnySchema): QueryRegistry;
-/**
- * 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).
- */
-declare function resolveFieldData(theory: AnySchema, relationName: string, fieldName: string): FieldData;
-/** A field reference's runtime half, as the scope factories consume it. */
-interface RefNames {
-    readonly relation: string;
-    readonly field: string;
+    readonly anchor: AnyField | "measure" | undefined;
+    readonly op: "binding" | "eq" | "ne" | "lt" | "le" | "gt" | "ge" | "pointIn" | "allen";
 }
-/** Declares one variable in the scope (the `$.var` implementation). */
-declare function scopeVar<V>(registry: QueryRegistry, ref: RefNames): Var<V>;
-/** Declares one scalar parameter (the `$.param` implementation). */
-declare function scopeParam<Name extends string, V>(registry: QueryRegistry, name: Name, ref: RefNames): Param<Name, V>;
-/** Declares one set parameter (the `$.paramSet` implementation). */
-declare function scopeParamSet<Name extends string, V>(registry: QueryRegistry, name: Name, ref: RefNames): ParamSet<Name, V>;
-/** Declares one Allen-mask parameter (the `$.allenParam` implementation). */
-declare function scopeAllenParam<Name extends string>(registry: QueryRegistry, name: Name): MaskParam<Name>;
-export type { AnyParamTerm, AnyTerm, AnyVar, Flatten, ItemParams, MaskParam, Param, ParamEntry, ParamSet, ParamsRecord, ParamsShape, QueryRegistry, TermContribution, UnionToIntersection, Var };
-export { createRegistry, isTerm, resolveFieldData, scopeAllenParam, scopeParam, scopeParamSet, scopeVar, term };
+export type { AnyTerm, ClassedField, Duration, EnvShape, Flatten, InferredOf, JoinOk, MaskParam, Param, ParamEntry, ParamsRecord, ParamValueAt, SetParam, ShapeOf, UnionToIntersection, Var, VarsRecord };
+export { fieldJoins, inferred, isTerm, makeDuration, makeMaskParam, makeParam, makeSetParam, makeVar, makeVars, renderFieldKind, term };
 //# 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;;;;;;;;;;;;;GAaG;AAGH,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAEnC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAC3C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACxD,OAAO,KAAK,EAAE,SAAS,EAAkB,MAAM,YAAY,CAAA;AAE3D;;;;GAIG;AACH,QAAA,MAAM,IAAI,EAAE,OAAO,MAAsC,CAAA;AAEzD;;;;;GAKG;AACH,UAAU,GAAG,CAAC,CAAC;IACd,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,CAAA;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAA;CACtB;AAED;;;;GAIG;AACH,UAAU,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAA;CACtB;AAED;;;;;;GAMG;AACH,UAAU,QAAQ,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,UAAU,CAAA;IAC3B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAA;CACtB;AAED;;;;;GAKG;AACH,UAAU,SAAS,CAAC,IAAI,SAAS,MAAM;IACtC,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,WAAW,CAAA;IAC5B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CACnB;AAED,8CAA8C;AAC9C,KAAK,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,CAAA;AAE1B,oEAAoE;AACpE,KAAK,YAAY,GAAG,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,CAAA;AAE1F,4BAA4B;AAC5B,KAAK,OAAO,GAAG,MAAM,GAAG,YAAY,CAAA;AAEpC,4EAA4E;AAC5E,iBAAS,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,OAAO,CAEhD;AAED,0EAA0E;AAC1E,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;;;;;GAKG;AACH,KAAK,gBAAgB,CAAC,CAAC,IAAI,CAAC,SAAS;IACpC,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,MAAM,CAAA;IACrC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;CAC5B,GACE;IAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC;CAAE,GAC5C,CAAC,SAAS;IACT,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,UAAU,CAAA;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,MAAM,CAAA;IACrC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;CAC5B,GACA;IAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,SAAS,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE;CAAE,GACvD,CAAC,SAAS;IAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,MAAM,CAAA;CAAE,GAChF;IAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,MAAM;CAAE,GAC7B,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;AAEzB;;;GAGG;AACH,KAAK,WAAW,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;AAElG,6EAA6E;AAC7E,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;AAE9G,2EAA2E;AAC3E,UAAU,UAAU;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,GAAG,MAAM,CAAA;IACxC,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,CAAA;CACpC;AAED;;;;;GAKG;AACH,UAAU,aAAa;IACtB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;IAC1B,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC1B,QAAQ,CAAC,MAAM,EAAE,UAAU,EAAE,CAAA;IAC7B,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;IACzC,QAAQ,CAAC,UAAU,EAAE,aAAa,EAAE,CAAA;CACpC;AAED,gEAAgE;AAChE,iBAAS,cAAc,CAAC,MAAM,EAAE,SAAS,GAAG,aAAa,CAQxD;AAUD;;;;;GAKG;AACH,iBAAS,gBAAgB,CAAC,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,SAAS,CAwB/F;AAED,2EAA2E;AAC3E,UAAU,QAAQ;IACjB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CACtB;AAED,uEAAuE;AACvE,iBAAS,QAAQ,CAAC,CAAC,EAAE,QAAQ,EAAE,aAAa,EAAE,GAAG,EAAE,QAAQ,GAAG,GAAG,CAAC,CAAC,CAAC,CASnE;AAcD,oEAAoE;AACpE,iBAAS,UAAU,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAa9G;AAED,oEAAoE;AACpE,iBAAS,aAAa,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAapH;AAED,6EAA6E;AAC7E,iBAAS,eAAe,CAAC,IAAI,SAAS,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAMlG;AAED,YAAY,EACX,YAAY,EACZ,OAAO,EACP,MAAM,EACN,OAAO,EACP,UAAU,EACV,SAAS,EACT,KAAK,EACL,UAAU,EACV,QAAQ,EACR,YAAY,EACZ,WAAW,EACX,aAAa,EACb,gBAAgB,EAChB,mBAAmB,EACnB,GAAG,EACH,CAAA;AACD,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,gBAAgB,EAAE,eAAe,EAAE,UAAU,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAA"}
+{"version":3,"file":"scope.d.ts","sourceRoot":"","sources":["../../src/query/scope.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAGH,OAAO,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAEjD;;;;GAIG;AACH,QAAA,MAAM,IAAI,EAAE,OAAO,MAAsC,CAAA;AAEzD;;;;;GAKG;AACH,QAAA,MAAM,QAAQ,EAAE,OAAO,MAA0C,CAAA;AAEjE;;;;;;GAMG;AACH,UAAU,GAAG,CAAC,IAAI,SAAS,MAAM,GAAG,MAAM;IACzC,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,CAAA;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CACnB;AAED;;;;;GAKG;AACH,UAAU,KAAK,CAAC,IAAI,SAAS,MAAM,GAAG,MAAM;IAC3C,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CACnB;AAED;;;;;;GAMG;AACH,UAAU,QAAQ,CAAC,IAAI,SAAS,MAAM,GAAG,MAAM;IAC9C,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,UAAU,CAAA;IAC3B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CACnB;AAED;;;;;GAKG;AACH,UAAU,SAAS,CAAC,IAAI,SAAS,MAAM,GAAG,MAAM;IAC/C,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,WAAW,CAAA;IAC5B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CACnB;AAED;;;;;;;GAOG;AACH,UAAU,QAAQ,CAAC,IAAI,SAAS,MAAM,GAAG,MAAM;IAC9C,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,UAAU,CAAA;IAC3B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CACnB;AAED,4BAA4B;AAC5B,KAAK,OAAO,GAAG,GAAG,GAAG,KAAK,GAAG,QAAQ,GAAG,SAAS,GAAG,QAAQ,CAAA;AAE5D,6EAA6E;AAC7E,iBAAS,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,OAAO,CAEhD;AAED,gCAAgC;AAChC,iBAAS,OAAO,CAAC,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,CAGjE;AAED,sGAAsG;AACtG,KAAK,UAAU,CAAC,KAAK,SAAS,MAAM,IAAI;IAAE,QAAQ,EAAE,CAAC,IAAI,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC;CAAE,CAAA;AAsBzE;;;;;;;;GAQG;AACH,iBAAS,QAAQ,CAAC,KAAK,CAAC,KAAK,SAAS,SAAS,MAAM,EAAE,EAAE,GAAG,KAAK,EAAE,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAiBnG;AAED,wCAAwC;AACxC,iBAAS,SAAS,CAAC,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAGrE;AAED,qCAAqC;AACrC,iBAAS,YAAY,CAAC,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAG3E;AAED,4CAA4C;AAC5C,iBAAS,aAAa,CAAC,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAG7E;AAED,sEAAsE;AACtE,iBAAS,YAAY,CAAC,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAG3E;AAED;;;;;;;GAOG;AACH,UAAU,YAAY;IACrB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAA;CAClC;AAED;;;;GAIG;AACH,KAAK,QAAQ,GAAG,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;AAE5C,yEAAyE;AACzE,KAAK,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;AAErD,kFAAkF;AAClF,KAAK,OAAO,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAA;AAE1C,sEAAsE;AACtE,KAAK,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,OAAO,GAAG,CAAC,MAAM,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,IAAI,GAC9G,CAAC,GACD,KAAK,CAAA;AAER;;;GAGG;AACH,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAA;AAE9F,qHAAqH;AACrH,KAAK,OAAO,CAAC,CAAC,SAAS,QAAQ,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,SAAS,CAAA;AAExF,gFAAgF;AAChF,KAAK,SAAS,CAAC,CAAC,SAAS,QAAQ,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,SAAS,CAAA;AAE5F;;;;;;;GAOG;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;CACrB,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,CAAC,GACnF,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,CAAC,SAAS;IACrF,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;CACrB,GACC,IAAI,GACJ,KAAK,GACN,KAAK,CAAA;AAER;;;;;;;GAOG;AACH,iBAAS,UAAU,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,YAAY,GAAG,OAAO,CAM7D;AAED;;;;GAIG;AACH,iBAAS,eAAe,CAAC,IAAI,EAAE,YAAY,GAAG,MAAM,CAUnD;AAED;;;;;;GAMG;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;;;;;;;;GAQG;AACH,UAAU,UAAU;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,GAAG,MAAM,CAAA;IACxC,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,SAAS,GAAG,SAAS,CAAA;IACjD,QAAQ,CAAC,EAAE,EAAE,SAAS,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,SAAS,GAAG,OAAO,CAAA;CACtF;AAED,YAAY,EACX,OAAO,EACP,YAAY,EACZ,QAAQ,EACR,QAAQ,EACR,OAAO,EACP,UAAU,EACV,MAAM,EACN,SAAS,EACT,KAAK,EACL,UAAU,EACV,YAAY,EACZ,YAAY,EACZ,QAAQ,EACR,OAAO,EACP,mBAAmB,EACnB,GAAG,EACH,UAAU,EACV,CAAA;AACD,OAAO,EACN,UAAU,EACV,QAAQ,EACR,MAAM,EACN,YAAY,EACZ,aAAa,EACb,SAAS,EACT,YAAY,EACZ,OAAO,EACP,QAAQ,EACR,eAAe,EACf,IAAI,EACJ,CAAA"}