@noy-db/hub 0.2.0-pre.2 → 0.2.0-pre.21

package/dist/periods/index.d.cts

@@ -1,10 +1,12 @@
-import { a5 as PeriodsStrategy } from '../types-DJG8HG6F.cjs';
-export { a6 as CarryForwardContext, a7 as ClosePeriodOptions, a8 as OpenPeriodOptions, a9 as PERIODS_COLLECTION, aa as PeriodRecord, ab as ReadOnlyCollection, ac as appendPeriodLedgerEntry, ad as assertTsWritable, ae as chainAnchor, af as loadPeriods, ag as validatePeriodName } from '../types-DJG8HG6F.cjs';
-import '../lazy-builder-C-rPfWG0.cjs';
-import '../predicate-Dnu81tsS.cjs';
-import '../strategy-DSTrsZ8t.cjs';
+import { ab as PeriodsStrategy } from '../types-DyOI6XZ_.cjs';
+export { ac as CarryForwardContext, ad as ClosePeriodOptions, ae as OpenPeriodOptions, af as PERIODS_COLLECTION, ag as PeriodRecord, ah as ReadOnlyCollection, ai as appendPeriodLedgerEntry, aj as assertTsWritable, ak as chainAnchor, al as loadPeriods, am as validatePeriodName } from '../types-DyOI6XZ_.cjs';
+import '../lazy-builder-eYZzLEL1.cjs';
+import '../predicate-BmhBSPCH.cjs';
+import '../strategy-WtB-jXYv.cjs';
+import '../errors-Dkc_fi-S.cjs';
 import '../strategy-BSxFXGzb.cjs';
-import '../index-BMjrzNZr.cjs';
+import '../index-BMmajblo.cjs';
+import '../index-tZqVB9g5.cjs';
 import '@noy-db/attestation';
 
 /**

package/dist/periods/index.d.ts

@@ -1,10 +1,12 @@
-import { a5 as PeriodsStrategy } from '../types-BoFFiskX.js';
-export { a6 as CarryForwardContext, a7 as ClosePeriodOptions, a8 as OpenPeriodOptions, a9 as PERIODS_COLLECTION, aa as PeriodRecord, ab as ReadOnlyCollection, ac as appendPeriodLedgerEntry, ad as assertTsWritable, ae as chainAnchor, af as loadPeriods, ag as validatePeriodName } from '../types-BoFFiskX.js';
-import '../lazy-builder-Rpd-V3jP.js';
-import '../predicate-Dnu81tsS.js';
-import '../strategy-DSTrsZ8t.js';
+import { ab as PeriodsStrategy } from '../types-DLfWFr6U.js';
+export { ac as CarryForwardContext, ad as ClosePeriodOptions, ae as OpenPeriodOptions, af as PERIODS_COLLECTION, ag as PeriodRecord, ah as ReadOnlyCollection, ai as appendPeriodLedgerEntry, aj as assertTsWritable, ak as chainAnchor, al as loadPeriods, am as validatePeriodName } from '../types-DLfWFr6U.js';
+import '../lazy-builder-ChSqcF5t.js';
+import '../predicate-BmhBSPCH.js';
+import '../strategy-54eIwox5.js';
+import '../errors-Dkc_fi-S.js';
 import '../strategy-BSxFXGzb.js';
-import '../index-BCKdioeh.js';
+import '../index-BMmajblo.js';
+import '../index-Bm9hIY7t.js';
 import '@noy-db/attestation';
 
 /**

package/dist/periods/index.js

@@ -6,13 +6,13 @@ import {
   loadPeriods,
   validatePeriodName,
   withPeriods
-} from "../chunk-QPEXPHJR.js";
+} from "../chunk-I3IYTUUI.js";
 import "../chunk-UF3BUNQZ.js";
-import "../chunk-7Z23ZFLV.js";
-import "../chunk-XG3PTSCD.js";
-import "../chunk-YS3POABP.js";
-import "../chunk-2PAQNPE3.js";
-import "../chunk-W3XXT26A.js";
+import "../chunk-JDCPRJVS.js";
+import "../chunk-PDVP3C2I.js";
+import "../chunk-TA6HPKWQ.js";
+import "../chunk-37VGJM3T.js";
+import "../chunk-OTWT6BAJ.js";
 export {
   PERIODS_COLLECTION,
   appendPeriodLedgerEntry,

package/dist/{predicate-Dnu81tsS.d.cts → predicate-BmhBSPCH.d.cts}

@@ -30,6 +30,7 @@
  */
 type IndexDef = string | {
     readonly fields: readonly string[];
+    readonly unique?: boolean;
 } | readonly string[];
 /**
  * Internal representation of a built hash index.
@@ -103,12 +104,55 @@ declare class CollectionIndexes {
     lookupIn(field: string, values: readonly unknown[]): ReadonlySet<string> | null;
 }
 
+/**
+ * Money-aware `where()` comparison (#336).
+ *
+ * Query clauses evaluate against RAW stored records — money decode
+ * happens on output only (#322) — so a money field's stored form is a
+ * scaled-integer digit string (`'1000000'`) while the caller naturally
+ * writes the operand in major units (`10000`, `'10000.00'`). Without a
+ * rewrite the comparison is silently wrong by the scale factor, and a
+ * string-vs-number comparison is excluded by `isComparable` anyway.
+ *
+ * Two halves:
+ *
+ * - {@link moneyFieldClause} runs at QUERY BUILD time: it quantizes the
+ *   caller's major-unit operand into stored scaled-int space via the
+ *   same `parseToScaledInt` path as writes, so a malformed operand
+ *   throws at `.where()` — not silently filters everything out.
+ * - {@link evaluateMoneyClause} runs per record and compares
+ *   `BigInt`-exact in scaled space (exact past 2^53, like the rest of
+ *   the money subsystem).
+ *
+ * Currency semantics (multi mode): an operand carries one currency —
+ * explicit via `{ amount, currency }`, or the descriptor's sole allowed
+ * currency for a bare amount. A record in a DIFFERENT currency has no
+ * defined order against the operand: it matches `!=` and nothing else.
+ */
+
+/** One quantized operand value: scaled digit string + its currency. */
+interface MoneyOperandEntry {
+    readonly scaled: string;
+    readonly currency: string;
+}
+/**
+ * The money payload attached to a {@link FieldClause} over a declared
+ * money field. `entries` holds one element for comparison ops, two for
+ * `between` (lo, hi — same currency), N for `in`.
+ */
+interface MoneyWhereOperand {
+    readonly mode: 'fixed' | 'multi';
+    readonly entries: ReadonlyArray<MoneyOperandEntry>;
+}
+
 /**
  * Operator implementations for the query DSL.
  *
  * All predicates run client-side, AFTER decryption — they never see ciphertext.
- * This file is dependency-free and tree-shakeable.
+ * The only dependency is the money clause evaluator (#336) — still
+ * tree-shakeable through it.
  */
+
 /** Comparison operators supported by the where() builder. */
 type Operator = '==' | '!=' | '<' | '<=' | '>' | '>=' | 'in' | 'contains' | 'startsWith' | 'between';
 /**
@@ -120,6 +164,14 @@ interface FieldClause {
     readonly field: string;
     readonly op: Operator;
     readonly value: unknown;
+    /**
+     * Present when `field` is a declared money field (#336): the operand
+     * quantized into stored scaled-int space at query BUILD time, so the
+     * per-record comparison is BigInt-exact against the raw stored value.
+     * Built by `moneyFieldClause` — `Query.where()` attaches it when the
+     * source declares the field in `moneyFields`.
+     */
+    readonly money?: MoneyWhereOperand;
 }
 /**
  * A user-supplied predicate function escape hatch. Not serializable.
@@ -134,7 +186,7 @@ interface FilterClause {
     readonly fn: (record: unknown) => boolean;
 }
 /**
- * A declared deterministic predicate reference (#153). The query
+ * A declared deterministic predicate reference. The query
  * builder produces this via `.wherePredicate(name, ctx?)` when a
  * Query has been augmented with a predicates map (typically by the
  * materialized-view registry — see MV v2 spec § Function-based
@@ -163,7 +215,31 @@ interface GroupClause {
     readonly op: 'and' | 'or';
     readonly clauses: readonly Clause[];
 }
-type Clause = FieldClause | FilterClause | WherePredicateClause | GroupClause;
+/**
+ * Cartesian-product expansion clause. Appended to `QueryPlan.clauses`
+ * by `Query.crossJoin()`. Processed in declaration order by
+ * `executeClausePipeline` — NOT by `evaluateClause` (which is a
+ * per-record predicate and throws on this type).
+ */
+interface CrossJoinClause {
+    readonly type: 'crossJoin';
+    /** Target collection name to cross-join against. */
+    readonly target: string;
+    /** Alias under which the right-side record is exposed on each result row. */
+    readonly as: string;
+    /**
+     * Lateral filter callback. `undefined` → full cartesian product.
+     * Two call shapes:
+     *   - Subset:    `(left) => TTarget[]`            — returns the right rows for this left row
+     *   - Predicate: `(left) => (right) => boolean`   — executor materializes then filters
+     */
+    readonly on?: (left: unknown) => unknown[] | ((right: unknown) => boolean);
+    /** When `on:` was supplied as `{ predicate: name }`, the name is stored here for queryHash. */
+    readonly onPredicateName?: string;
+    /** Per-clause row ceiling override. `undefined` → `DEFAULT_CROSS_JOIN_MAX_ROWS`. */
+    readonly maxRows?: number;
+}
+type Clause = FieldClause | FilterClause | WherePredicateClause | GroupClause | CrossJoinClause;
 /**
  * Read a possibly nested field path like "address.city" from a record.
  * Returns undefined if any segment is missing.
@@ -179,7 +255,13 @@ declare function evaluateFieldClause(record: unknown, clause: FieldClause): bool
  * Evaluate any clause (field / filter / group) against a record.
  * The recursion depth is bounded by the user's query expression — no risk of
  * blowing the stack on a 50K-record collection.
+ *
+ * `fnRecord`, when provided, is the view handed to USER CALLBACK clauses
+ * (`filter` / `wherePredicate`) instead of `record` — the executor passes
+ * the money-decoded view there (#335) so user code never sees the stored
+ * scaled-int form, while field clauses keep evaluating against the raw
+ * record (their money operands are pre-quantized to that space, #336).
  */
-declare function evaluateClause(record: unknown, clause: Clause): boolean;
+declare function evaluateClause(record: unknown, clause: Clause, fnRecord?: unknown): boolean;
 
-export { CollectionIndexes as C, type FieldClause as F, type GroupClause as G, type HashIndex as H, type IndexDef as I, type Operator as O, type Clause as a, type FilterClause as b, evaluateFieldClause as c, evaluateClause as e, readPath as r };
+export { CollectionIndexes as C, type FieldClause as F, type GroupClause as G, type HashIndex as H, type IndexDef as I, type Operator as O, type Clause as a, type FilterClause as b, evaluateFieldClause as c, type CrossJoinClause as d, evaluateClause as e, readPath as r };

package/dist/{predicate-Dnu81tsS.d.ts → predicate-BmhBSPCH.d.ts}

@@ -30,6 +30,7 @@
  */
 type IndexDef = string | {
     readonly fields: readonly string[];
+    readonly unique?: boolean;
 } | readonly string[];
 /**
  * Internal representation of a built hash index.
@@ -103,12 +104,55 @@ declare class CollectionIndexes {
     lookupIn(field: string, values: readonly unknown[]): ReadonlySet<string> | null;
 }
 
+/**
+ * Money-aware `where()` comparison (#336).
+ *
+ * Query clauses evaluate against RAW stored records — money decode
+ * happens on output only (#322) — so a money field's stored form is a
+ * scaled-integer digit string (`'1000000'`) while the caller naturally
+ * writes the operand in major units (`10000`, `'10000.00'`). Without a
+ * rewrite the comparison is silently wrong by the scale factor, and a
+ * string-vs-number comparison is excluded by `isComparable` anyway.
+ *
+ * Two halves:
+ *
+ * - {@link moneyFieldClause} runs at QUERY BUILD time: it quantizes the
+ *   caller's major-unit operand into stored scaled-int space via the
+ *   same `parseToScaledInt` path as writes, so a malformed operand
+ *   throws at `.where()` — not silently filters everything out.
+ * - {@link evaluateMoneyClause} runs per record and compares
+ *   `BigInt`-exact in scaled space (exact past 2^53, like the rest of
+ *   the money subsystem).
+ *
+ * Currency semantics (multi mode): an operand carries one currency —
+ * explicit via `{ amount, currency }`, or the descriptor's sole allowed
+ * currency for a bare amount. A record in a DIFFERENT currency has no
+ * defined order against the operand: it matches `!=` and nothing else.
+ */
+
+/** One quantized operand value: scaled digit string + its currency. */
+interface MoneyOperandEntry {
+    readonly scaled: string;
+    readonly currency: string;
+}
+/**
+ * The money payload attached to a {@link FieldClause} over a declared
+ * money field. `entries` holds one element for comparison ops, two for
+ * `between` (lo, hi — same currency), N for `in`.
+ */
+interface MoneyWhereOperand {
+    readonly mode: 'fixed' | 'multi';
+    readonly entries: ReadonlyArray<MoneyOperandEntry>;
+}
+
 /**
  * Operator implementations for the query DSL.
  *
  * All predicates run client-side, AFTER decryption — they never see ciphertext.
- * This file is dependency-free and tree-shakeable.
+ * The only dependency is the money clause evaluator (#336) — still
+ * tree-shakeable through it.
  */
+
 /** Comparison operators supported by the where() builder. */
 type Operator = '==' | '!=' | '<' | '<=' | '>' | '>=' | 'in' | 'contains' | 'startsWith' | 'between';
 /**
@@ -120,6 +164,14 @@ interface FieldClause {
     readonly field: string;
     readonly op: Operator;
     readonly value: unknown;
+    /**
+     * Present when `field` is a declared money field (#336): the operand
+     * quantized into stored scaled-int space at query BUILD time, so the
+     * per-record comparison is BigInt-exact against the raw stored value.
+     * Built by `moneyFieldClause` — `Query.where()` attaches it when the
+     * source declares the field in `moneyFields`.
+     */
+    readonly money?: MoneyWhereOperand;
 }
 /**
  * A user-supplied predicate function escape hatch. Not serializable.
@@ -134,7 +186,7 @@ interface FilterClause {
     readonly fn: (record: unknown) => boolean;
 }
 /**
- * A declared deterministic predicate reference (#153). The query
+ * A declared deterministic predicate reference. The query
  * builder produces this via `.wherePredicate(name, ctx?)` when a
  * Query has been augmented with a predicates map (typically by the
  * materialized-view registry — see MV v2 spec § Function-based
@@ -163,7 +215,31 @@ interface GroupClause {
     readonly op: 'and' | 'or';
     readonly clauses: readonly Clause[];
 }
-type Clause = FieldClause | FilterClause | WherePredicateClause | GroupClause;
+/**
+ * Cartesian-product expansion clause. Appended to `QueryPlan.clauses`
+ * by `Query.crossJoin()`. Processed in declaration order by
+ * `executeClausePipeline` — NOT by `evaluateClause` (which is a
+ * per-record predicate and throws on this type).
+ */
+interface CrossJoinClause {
+    readonly type: 'crossJoin';
+    /** Target collection name to cross-join against. */
+    readonly target: string;
+    /** Alias under which the right-side record is exposed on each result row. */
+    readonly as: string;
+    /**
+     * Lateral filter callback. `undefined` → full cartesian product.
+     * Two call shapes:
+     *   - Subset:    `(left) => TTarget[]`            — returns the right rows for this left row
+     *   - Predicate: `(left) => (right) => boolean`   — executor materializes then filters
+     */
+    readonly on?: (left: unknown) => unknown[] | ((right: unknown) => boolean);
+    /** When `on:` was supplied as `{ predicate: name }`, the name is stored here for queryHash. */
+    readonly onPredicateName?: string;
+    /** Per-clause row ceiling override. `undefined` → `DEFAULT_CROSS_JOIN_MAX_ROWS`. */
+    readonly maxRows?: number;
+}
+type Clause = FieldClause | FilterClause | WherePredicateClause | GroupClause | CrossJoinClause;
 /**
  * Read a possibly nested field path like "address.city" from a record.
  * Returns undefined if any segment is missing.
@@ -179,7 +255,13 @@ declare function evaluateFieldClause(record: unknown, clause: FieldClause): bool
  * Evaluate any clause (field / filter / group) against a record.
  * The recursion depth is bounded by the user's query expression — no risk of
  * blowing the stack on a 50K-record collection.
+ *
+ * `fnRecord`, when provided, is the view handed to USER CALLBACK clauses
+ * (`filter` / `wherePredicate`) instead of `record` — the executor passes
+ * the money-decoded view there (#335) so user code never sees the stored
+ * scaled-int form, while field clauses keep evaluating against the raw
+ * record (their money operands are pre-quantized to that space, #336).
  */
-declare function evaluateClause(record: unknown, clause: Clause): boolean;
+declare function evaluateClause(record: unknown, clause: Clause, fnRecord?: unknown): boolean;
 
-export { CollectionIndexes as C, type FieldClause as F, type GroupClause as G, type HashIndex as H, type IndexDef as I, type Operator as O, type Clause as a, type FilterClause as b, evaluateFieldClause as c, evaluateClause as e, readPath as r };
+export { CollectionIndexes as C, type FieldClause as F, type GroupClause as G, type HashIndex as H, type IndexDef as I, type Operator as O, type Clause as a, type FilterClause as b, evaluateFieldClause as c, type CrossJoinClause as d, evaluateClause as e, readPath as r };

package/dist/{public-envelope-U3CMEOMV.js → public-envelope-5XRTUNKF.js}

@@ -12,9 +12,9 @@ import {
   resolveLocale,
   savePublicEnvelope,
   validatePublicEnvelopeInput
-} from "./chunk-243PNUA6.js";
-import "./chunk-YS3POABP.js";
-import "./chunk-W3XXT26A.js";
+} from "./chunk-JOK73NDT.js";
+import "./chunk-TA6HPKWQ.js";
+import "./chunk-OTWT6BAJ.js";
 export {
   DEFAULT_PUBLIC_ENVELOPE_SCHEMA,
   PUBLIC_ENVELOPE_FIELDS,
@@ -28,4 +28,4 @@ export {
   savePublicEnvelope,
   validatePublicEnvelopeInput
 };
-//# sourceMappingURL=public-envelope-U3CMEOMV.js.map
+//# sourceMappingURL=public-envelope-5XRTUNKF.js.map