@noy-db/hub 0.1.0-pre.9 → 0.2.0-pre.10

package/dist/periods/index.d.cts

@@ -1,10 +1,11 @@
-import { a5 as PeriodsStrategy } from '../types-Bnb82f5R.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-Bnb82f5R.cjs';
-import '../lazy-builder-CZVLKh0Z.cjs';
-import '../predicate-SBHmi6D0.cjs';
-import '../strategy-D-SrOLCl.cjs';
+import { ag as PeriodsStrategy } from '../types-n2_IfwlQ.cjs';
+export { ah as CarryForwardContext, ai as ClosePeriodOptions, aj as OpenPeriodOptions, ak as PERIODS_COLLECTION, al as PeriodRecord, am as ReadOnlyCollection, an as appendPeriodLedgerEntry, ao as assertTsWritable, ap as chainAnchor, aq as loadPeriods, ar as validatePeriodName } from '../types-n2_IfwlQ.cjs';
+import '../lazy-builder-Ci5_YG73.cjs';
+import '../predicate-Bt5ft-9c.cjs';
+import '../strategy-CT2LCKAX.cjs';
 import '../strategy-BSxFXGzb.cjs';
-import '../index-6xNpPsxR.cjs';
+import '../index-B8bjExET.cjs';
+import '@noy-db/attestation';
 
 /**
  * Active periods strategy factory. Only reachable through the

package/dist/periods/index.d.ts

@@ -1,10 +1,11 @@
-import { a5 as PeriodsStrategy } from '../types-Bo7NSXJr.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-Bo7NSXJr.js';
-import '../lazy-builder-BwEoBQZ9.js';
-import '../predicate-SBHmi6D0.js';
-import '../strategy-D-SrOLCl.js';
+import { ag as PeriodsStrategy } from '../types-CaNQm4i8.js';
+export { ah as CarryForwardContext, ai as ClosePeriodOptions, aj as OpenPeriodOptions, ak as PERIODS_COLLECTION, al as PeriodRecord, am as ReadOnlyCollection, an as appendPeriodLedgerEntry, ao as assertTsWritable, ap as chainAnchor, aq as loadPeriods, ar as validatePeriodName } from '../types-CaNQm4i8.js';
+import '../lazy-builder-D5GU14TS.js';
+import '../predicate-Bt5ft-9c.js';
+import '../strategy-CT2LCKAX.js';
 import '../strategy-BSxFXGzb.js';
-import '../index-DJTf9yxn.js';
+import '../index-DfUbNad8.js';
+import '@noy-db/attestation';
 
 /**
  * Active periods strategy factory. Only reachable through the

package/dist/periods/index.js

@@ -6,13 +6,13 @@ import {
   loadPeriods,
   validatePeriodName,
   withPeriods
-} from "../chunk-QGZRWRSL.js";
+} from "../chunk-3LPV6BXR.js";
 import "../chunk-UF3BUNQZ.js";
-import "../chunk-QAVUREFT.js";
-import "../chunk-CIMZBAZB.js";
-import "../chunk-RKJ6OL7K.js";
-import "../chunk-MR4424N3.js";
-import "../chunk-ACLDOTNQ.js";
+import "../chunk-4CLICFEY.js";
+import "../chunk-Z6FNBOTC.js";
+import "../chunk-WIRRPTFH.js";
+import "../chunk-R233SLY3.js";
+import "../chunk-O6EJ6WTI.js";
 export {
   PERIODS_COLLECTION,
   appendPeriodLedgerEntry,

package/dist/{predicate-SBHmi6D0.d.cts → predicate-Bt5ft-9c.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.
@@ -133,13 +134,61 @@ interface FilterClause {
     readonly type: 'filter';
     readonly fn: (record: unknown) => boolean;
 }
+/**
+ * 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
+ * source-row predicates).
+ *
+ * `predicateHash` is the consumer-supplied stable hash for the
+ * function body; `ctxHash` is the canonical-JSON SHA-256 of `ctx`.
+ * Both fold into the MV's `queryHash` so a function or ctx change
+ * forces refresh on next visit.
+ *
+ * `fn` is resolved at builder time from the predicates map and
+ * embedded directly — so `evaluateClause` can fire it without a
+ * runtime lookup.
+ */
+interface WherePredicateClause {
+    readonly type: 'wherePredicate';
+    readonly name: string;
+    readonly ctx: unknown;
+    readonly predicateHash: string;
+    readonly ctxHash: string;
+    readonly fn: (record: unknown, ctx?: unknown) => boolean;
+}
 /** A logical group of clauses combined by AND or OR. */
 interface GroupClause {
     readonly type: 'group';
     readonly op: 'and' | 'or';
     readonly clauses: readonly Clause[];
 }
-type Clause = FieldClause | FilterClause | 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.
@@ -158,4 +207,4 @@ declare function evaluateFieldClause(record: unknown, clause: FieldClause): bool
  */
 declare function evaluateClause(record: unknown, clause: Clause): 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-SBHmi6D0.d.ts → predicate-Bt5ft-9c.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.
@@ -133,13 +134,61 @@ interface FilterClause {
     readonly type: 'filter';
     readonly fn: (record: unknown) => boolean;
 }
+/**
+ * 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
+ * source-row predicates).
+ *
+ * `predicateHash` is the consumer-supplied stable hash for the
+ * function body; `ctxHash` is the canonical-JSON SHA-256 of `ctx`.
+ * Both fold into the MV's `queryHash` so a function or ctx change
+ * forces refresh on next visit.
+ *
+ * `fn` is resolved at builder time from the predicates map and
+ * embedded directly — so `evaluateClause` can fire it without a
+ * runtime lookup.
+ */
+interface WherePredicateClause {
+    readonly type: 'wherePredicate';
+    readonly name: string;
+    readonly ctx: unknown;
+    readonly predicateHash: string;
+    readonly ctxHash: string;
+    readonly fn: (record: unknown, ctx?: unknown) => boolean;
+}
 /** A logical group of clauses combined by AND or OR. */
 interface GroupClause {
     readonly type: 'group';
     readonly op: 'and' | 'or';
     readonly clauses: readonly Clause[];
 }
-type Clause = FieldClause | FilterClause | 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.
@@ -158,4 +207,4 @@ declare function evaluateFieldClause(record: unknown, clause: FieldClause): bool
  */
 declare function evaluateClause(record: unknown, clause: Clause): 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-6JTACYJV.js → public-envelope-HMYHZIRH.js}

@@ -12,9 +12,9 @@ import {
   resolveLocale,
   savePublicEnvelope,
   validatePublicEnvelopeInput
-} from "./chunk-PTVMYYON.js";
-import "./chunk-RKJ6OL7K.js";
-import "./chunk-ACLDOTNQ.js";
+} from "./chunk-2N62W5YP.js";
+import "./chunk-WIRRPTFH.js";
+import "./chunk-O6EJ6WTI.js";
 export {
   DEFAULT_PUBLIC_ENVELOPE_SCHEMA,
   PUBLIC_ENVELOPE_FIELDS,
@@ -28,4 +28,4 @@ export {
   savePublicEnvelope,
   validatePublicEnvelopeInput
 };
-//# sourceMappingURL=public-envelope-6JTACYJV.js.map
+//# sourceMappingURL=public-envelope-HMYHZIRH.js.map

package/dist/public-envelope-HMYHZIRH.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":[],"sourcesContent":[],"mappings":"","names":[]}