@nanobpm/urban 0.80.0 → 0.82.0

package/src/runtime/index.ts

@@ -62,6 +62,7 @@ export type {
   DataSource,
   DomainField,
   DomainType,
+  InstanceTracking,
   LlmBinding,
   NetworkConfig,
   PagesSurface,
@@ -226,45 +227,76 @@ export type {
 //     workers.ts) applies its managed VIEW. The `writer-source-inversion` task registers here.
 //   • `projectionRegistry` — register a canonical engine-truth projection NAME usable in `exists(...)`.
 //     The `canonical-projections` task registers `urban_open_user_tasks` / `urban_instance_state`.
+// The GROUP-BY sibling `defineRollup` (ADR 0065, #468): a declare-once aggregate rollup compiled to
+// BOTH a managed `*_counts` VIEW and a TS group-reduce (closed aggregate op set: `count`/`countWhere`/
+// `max`/`minWhere`/`coalesce`/`add`), registered as a canonical projection via `rollupRegistry` and
+// parity-guarded by `assertRollupParity`. `defineReadModel` gains a key-correlated rollup lookup
+// (`ReadModelDecl.lookups` + `rcol`) so per-row derivations read a rollup's columns for the base row.
 export {
+  add,
   and,
   assertReadModelParity,
+  assertRollupParity,
   assertSqlIdentifier,
   caseWhen,
+  coalesce,
   col,
   compileToFn,
   compileToSqlSelect,
+  count,
+  countWhere,
   defineReadModel,
+  defineRollup,
   deriveReadModelViewDdl,
   eq,
   exists,
+  fromProjection,
+  fromRollup,
+  fromTable,
   gt,
   gte,
+  isNotNull,
+  isNull,
+  joinSource,
   lit,
   lt,
   lte,
+  max,
+  minWhere,
   neq,
   not,
   or,
   pcol,
   ProjectionRegistry,
   projectionRegistry,
+  rcol,
   ReadModelRegistry,
   readModelRegistry,
+  RollupRegistry,
+  rollupRegistry,
   when,
 } from "./core/read-model.ts";
 export type {
+  AddAgg,
+  AggExpr,
   AndExpr,
   BaseRow,
   CaseExpr,
   ColExpr,
+  CoalesceAgg,
   CompareExpr,
   CompareOp,
+  CountAgg,
+  CountWhereAgg,
   DerivationFn,
   ExistsExpr,
   Expr,
+  IsNullExpr,
   Literal,
   LitExpr,
+  LookupRows,
+  MaxAgg,
+  MinWhereAgg,
   NotExpr,
   OrExpr,
   ParityDb,
@@ -275,6 +307,18 @@ export type {
   ProjectionSource,
   ReadModel,
   ReadModelDecl,
+  RollupColExpr,
+  Rollup,
+  RollupDecl,
+  RollupInputs,
+  RollupJoinSource,
+  RollupLookupDecl,
+  RollupParityOptions,
+  RollupProjectionSource,
+  RollupRelation,
+  RollupRollupSource,
+  RollupSource,
+  RollupTableSource,
   SqlCompileOptions,
   WhenClause,
 } from "./core/read-model.ts";
@@ -308,6 +352,20 @@ export type {
   InstanceStateRow,
   InstanceStateStoreOptions,
 } from "./core/modules/instance-state-store.ts";
+// The DERIVED half of the instanceTracking writer→source inversion (ADR 0065, #439-L1 / #318): the
+// builder that declares a binding's effective-status read model — the terminal + wait-on-human edges —
+// as ONE `defineReadModel` derivation over the canonical projections, compiled to both the managed
+// SQLite VIEW and the TS function. The reconciler feeds the projections; this derives the status edge.
+export {
+  DEFAULT_DERIVED_STATUS_COLUMN,
+  defaultInstanceTrackingViewName,
+  defineInstanceTrackingReadModel,
+  deriveInstanceStatusExpr,
+  instanceTrackingReadModelTarget,
+  TERMINATED_STATE,
+  terminatedEdgeExpr,
+  waitingHumanEdgeExpr,
+} from "./core/modules/instance-status-read-model.ts";
 // instance in?" from the BPMN scope hierarchy + write-provenance (Tier 0, zero declaration), an
 // optional `nano:phase` override (Tier 1), and a lineage rollup for the epic frontier (Tier 2).
 export {