@_linked/core 2.33.0 → 2.35.0

package/lib/esm/queries/UpdateBuilder.js.map

@@ -1 +1 @@
-{"version":3,"file":"UpdateBuilder.js","sourceRoot":"","sources":["../../../src/queries/UpdateBuilder.ts"],"names":[],"mappings":";;;;;;;;;AACA,OAAO,EAAC,YAAY,EAAC,MAAM,mBAAmB,CAAC;AAE/C,OAAO,EAAC,oBAAoB,EAAC,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAC,gBAAgB,EAAC,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAC,uBAAuB,EAAC,MAAM,oBAAoB,CAAC;AAE3D,OAAO,EAAC,YAAY,EAAE,iBAAiB,EAAC,MAAM,kBAAkB,CAAC;AACjE,OAAO,EAAC,mBAAmB,EAAE,eAAe,EAAE,sBAAsB,EAAC,MAAM,mBAAmB,CAAC;AAC/F,OAAO,EAAC,gBAAgB,EAAE,gBAAgB,EAAC,MAAM,iBAAiB,CAAC;AAEnE,OAAO,EAAmC,kBAAkB,EAAC,MAAM,kBAAkB,CAAC;AAEtF,OAAO,EACL,cAAc,EACd,mBAAmB,GAGpB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAC,kBAAkB,EAAE,oBAAoB,EAAC,MAAM,gCAAgC,CAAC;AA0BxF;;;;;;;;;;;;GAYG;AACH,MAAM,OAAO,aACX,SAAQ,gBAAmB;IAY3B,YAAoB,IAA0B;;QAC5C,KAAK,EAAE,CAAC;QAXS,SAAI,GAAG,eAAe,CAAC;QAsI1C,8EAA8E;QAC9E,kBAAkB;QAClB,8EAA8E;QAE9E,yEAAyE;QAChE,gBAAW,GAAG,QAAiB,CAAC;QA/HvC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC;QACvB,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC/B,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC;QACvB,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC;QAC7B,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,IAAI,CAAC,kBAAkB,GAAG,IAAI,CAAC,iBAAiB,CAAC;QACjD,IAAI,CAAC,OAAO,GAAG,MAAA,IAAI,CAAC,MAAM,mCAAI,KAAK,CAAC;IACtC,CAAC;IAEO,KAAK,CAAC,YAA2C,EAAE;QACzD,OAAO,IAAI,aAAa,iBACtB,KAAK,EAAE,IAAI,CAAC,MAAM,EAClB,IAAI,EAAE,IAAI,CAAC,KAAK,EAChB,QAAQ,EAAE,IAAI,CAAC,SAAS,EACxB,IAAI,EAAE,IAAI,CAAC,KAAK,EAChB,OAAO,EAAE,IAAI,CAAC,QAAQ,EACtB,KAAK,EAAE,IAAI,CAAC,MAAM,EAClB,iBAAiB,EAAE,IAAI,CAAC,kBAAkB,EAC1C,MAAM,EAAE,IAAI,CAAC,OAAO,IACjB,SAAS,EACZ,CAAC;IACL,CAAC;IAED,8EAA8E;IAC9E,sBAAsB;IACtB,8EAA8E;IAE9E,MAAM,CAAC,IAAI,CAAkB,KAAmC;QAC9D,MAAM,QAAQ,GAAG,YAAY,CAAI,KAAK,CAAC,CAAC;QACxC,OAAO,IAAI,aAAa,CAAI,EAAC,KAAK,EAAE,QAAQ,EAAC,CAAC,CAAC;IACjD,CAAC;IAED,gFAAgF;IAChF,MAAM,CAAC,UAAU,CAAkB,KAAmC;QACpE,MAAM,QAAQ,GAAG,YAAY,CAAI,KAAK,CAAC,CAAC;QACxC,OAAO,IAAI,aAAa,CAAI,EAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAC,CAAC,CAAC;IAC/D,CAAC;IAED,4EAA4E;IAC5E,MAAM,CAAC,QAAQ,CAAC,IAA6C;QAC3D,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1C,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAQ,CAAC;QAEnE,mFAAmF;QACnF,8DAA8D;QAC9D,IAAI,IAAI,CAAC,EAAE,KAAK,QAAQ,EAAE,CAAC;YACzB,+EAA+E;YAC/E,mEAAmE;YACnE,IAAK,IAAI,CAAC,IAAe,KAAK,KAAK,EAAE,CAAC;gBACpC,MAAM,IAAI,KAAK,CACb,gBAAgB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,gDAAgD,CAClF,CAAC;YACJ,CAAC;YACD,IAAI,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACpC,OAAO,IAAI,aAAa,CAAC;oBACvB,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI;iBAC3F,CAAC,CAAC;YACL,CAAC;YACD,OAAO,IAAI,aAAa,CAAC,EAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAC,CAAC,CAAC;QACxG,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACxB,IAAI,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACpC,OAAO,IAAI,aAAa,CAAC,EAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAC,CAAC,CAAC;YAC3G,CAAC;YACD,OAAO,IAAI,aAAa,CAAC,EAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAC,CAAC,CAAC;QAC1F,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3B,OAAO,IAAI,aAAa,CAAC,EAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAC,CAAC,CAAC;QACpE,CAAC;QACD,MAAM,KAAK,GAAG,oBAAoB,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,KAAM,CAAC,CAAC;QAChE,OAAO,IAAI,aAAa,CAAC,EAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAC,CAAC,CAAC;IAC1E,CAAC;IAED,8EAA8E;IAC9E,aAAa;IACb,8EAA8E;IAE9E,sCAAsC;IACtC,GAAG,CAAC,EAAqD;QACvD,IAAI,EAAE,YAAY,mBAAmB,EAAE,CAAC;YACtC,OAAO,IAAI,CAAC,KAAK,CAAC,EAAC,iBAAiB,EAAE,EAAE,CAAC,WAAW,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAC,CAA6C,CAAC;QACvI,CAAC;QACD,MAAM,UAAU,GAAG,OAAO,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QACvD,OAAO,IAAI,CAAC,KAAK,CAAC,EAAC,QAAQ,EAAE,UAAU,EAAE,iBAAiB,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAC,CAA6C,CAAC;IACnI,CAAC;IAED,6DAA6D;IAC7D,MAAM;QACJ,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC;QAClC,OAAO,IAAI,CAAC,KAAK,CAAC,EAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAC,CAAyC,CAAC;IACvH,CAAC;IAED,2DAA2D;IAC3D,KAAK,CAAC,EAAkB;QACtB,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC;QACjC,OAAO,IAAI,CAAC,KAAK,CAAC,EAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAC,CAAyC,CAAC;IAC/G,CAAC;IAED;;;;OAIG;IACK,gBAAgB,CAAC,MAAc;QACrC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CACb,4BAA4B,MAAM,qCAAqC;gBACrE,sBAAsB,MAAM,sDAAsD,CACrF,CAAC;QACJ,CAAC;IACH,CAAC;IAKD,GAAG,CAAC,IAAS;QACX,OAAO,IAAI,CAAC,KAAK,CAAC,EAAC,IAAI,EAAC,CAAQ,CAAC;IACnC,CAAC;IASD,mFAAmF;IACnF,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;IAC3B,CAAC;IAED,mFAAmF;IACnF,UAAU;;QACR,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,MAAM,IAAI,KAAK,CACb,qFAAqF,CACtF,CAAC;QACJ,CAAC;QAED,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAEhE,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,OAAO,EAAC,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAC,CAAC;QACrE,CAAC;QAED,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;YACrB,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;gBACnC,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;YAC1E,CAAC;YACD,MAAM,SAAS,GACb,MAAA,IAAI,CAAC,MAAM,mCAAI,kBAAkB,CAAC,IAAI,CAAC,QAAS,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;YACjE,OAAO,EAAC,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAC,CAAC;QAC/E,CAAC;QAED,qEAAqE;QACrE,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACzC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,IAAI,IAAI,CAAC,kBAAkB,EAAE,CAAC;gBAC5B,MAAM,IAAI,sBAAsB,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAC5D,CAAC;YACD,oFAAoF;YACpF,gFAAgF;YAChF,kFAAkF;YAClF,6EAA6E;YAC7E,uDAAuD;YACvD,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACxC,IAAI,OAAO,EAAE,CAAC;gBACZ,MAAM,IAAI,KAAK,CACb,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,qDAAqD;oBACxF,SAAS,OAAO,6BAA6B;oBAC7C,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,sBAAsB;oBAC3D,oGAAoG,CACvG,CAAC;YACJ,CAAC;YACD,MAAM,IAAI,KAAK,CACb,IAAI,CAAC,OAAO;gBACV,CAAC,CAAC,qFAAqF;gBACvF,CAAC,CAAC,mFAAmF,CACxF,CAAC;QACJ,CAAC;QACD,uBACE,UAAU,EAAE,IAAI,CAAC,MAAM,EACvB,IAAI,EAAE,IAAI,CAAC,KAAK,EAChB,IAAI,EAAE,KAAK,EACX,QAAQ,IACL,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAC,MAAM,EAAE,IAAI,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EACvC;IACJ,CAAC;IAED;;;OAGG;IACK,gBAAgB;QACtB,MAAM,IAAI,GAAG,IAAI,CAAC,KAA4C,CAAC;QAC/D,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QACxD,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC;IAC/C,CAAC;IAED,8EAA8E;IACtE,gBAAgB;;QACtB,IAAI,IAAI,CAAC,SAAS;YAAE,OAAO,IAAI,CAAC,SAAS,CAAC;QAC1C,IAAI,IAAI,CAAC,kBAAkB;YAAE,OAAO,MAAA,eAAe,CAAC,IAAI,CAAC,kBAAkB,CAAC,0CAAE,EAAE,CAAC;QACjF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;;;OAIG;IACH,MAAM;;QACJ,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;QACzE,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAChE,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CACb,2EAA2E,CAC5E,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,oBAAoB,EAAE,CAAC,QAAQ,CAChD,IAAI,CAAC,MAAM,CAAC,KAAK,EACjB,IAAI,CAAC,KAAK,EACV,EAAC,QAAQ,EAAE,SAAS,EAAC,CACtB,CAAC;QACF,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;YACnC,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;QAC3E,CAAC;QACD,MAAM,IAAI,GAAG;YACX,CAAC,EAAE,YAAY;YACf,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ;YACtC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;YAC3B,IAAI;YACJ,IAAI,EAAE,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;SACL,CAAC;QAC7C,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;YACnB,IAAI,IAAI,CAAC,kBAAkB;gBAAE,IAAI,CAAC,QAAQ,GAAG,gBAAgB,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;;gBAClF,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC;QACtC,CAAC;QACD,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;YACrB,MAAM,SAAS,GAAG,MAAA,IAAI,CAAC,MAAM,mCAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAC9G,IAAI,CAAC,SAAS,EAAE,CAAC;gBACf,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;YAC1E,CAAC;YACD,mFAAmF;YACnF,wDAAwD;YACvD,IAA2B,CAAC,KAAK,GAAG,kBAAkB,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACxF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;;;;OAMG;IACG,IAAI,CAAC,MAAiB;;YAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAChE,MAAM,MAAM,GAAG,uBAAuB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YAC3E,+EAA+E;YAC/E,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC1C,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAe,CAAC;YACpD,CAAC;YACD,OAAO,MAAoB,CAAC;QAC9B,CAAC;KAAA;CAEF","sourcesContent":["import {Shape, type ShapeConstructor} from '../shapes/Shape.js';\nimport {resolveShape} from './resolveShape.js';\nimport {type AddId, type UpdatePartial, NodeReferenceValue} from './QueryFactory.js';\nimport {MutationQueryFactory} from './MutationQuery.js';\nimport {MutationThenable} from './MutationThenable.js';\nimport {resolveMutationDispatch} from './queryDispatch.js';\nimport type {IDataset} from '../interfaces/IDataset.js';\nimport {WIRE_VERSION, assertWireVersion} from './wireVersion.js';\nimport {PendingQueryContext, getQueryContext, UnresolvedContextError} from './QueryContext.js';\nimport {encodeContextRef, isContextRefJSON} from './ContextRef.js';\nimport type {NodeShapeData} from '../shapes/SHACL.js';\nimport {type WhereClause, type WherePath, processWhereClause} from './SelectQuery.js';\nimport type {ExpressionUpdateProxy, ExpressionUpdateResult} from '../expressions/ExpressionMethods.js';\nimport {\n  encodeNodeData,\n  decodeNodeDataToRaw,\n  type UpdateMutationJSON,\n  type UpsertMutationJSON,\n} from './MutationSerialization.js';\nimport {serializeWherePath, deserializeWherePath} from './QueryBuilderSerialization.js';\nimport type {UpdateLowerSpec} from './mutationLowerSpec.js';\n\ntype UpdateMode = 'for' | 'forAll' | 'where';\n\n/**\n * Internal state bag for UpdateBuilder.\n */\ninterface UpdateBuilderInit<S extends Shape> {\n  shape: ShapeConstructor<S>;\n  data?: UpdatePartial<S>;\n  targetId?: string;\n  mode?: UpdateMode;\n  whereFn?: WhereClause<S>;\n  /** A pre-resolved where path (used by fromJSON; no live callback). */\n  where?: WherePath;\n  /** A query-context name used as the target subject (resolved at lowering). */\n  targetContextName?: string;\n  /**\n   * Upsert mode — create-or-replace against a known id. Set by `Shape.upsert()`.\n   * The builder is otherwise identical to an update, which is why it reuses this class;\n   * only the lowered IR kind and the `.where()`/`.forAll()` guards differ.\n   */\n  upsert?: boolean;\n}\n\n/**\n * An immutable, fluent builder for update mutations.\n *\n * Every mutation method returns a new UpdateBuilder — the original is never modified.\n *\n * Implements PromiseLike so mutations execute on `await`:\n * ```ts\n * const result = await UpdateBuilder.from(Person).for({id: '...'}).set({name: 'Bob'});\n * await UpdateBuilder.from(Person).set({hobby: 'x'}).forAll();  // returns void\n * ```\n *\n * R is the resolved type: AddId<U> for ID-based, void for bulk operations.\n */\nexport class UpdateBuilder<S extends Shape = Shape, U extends UpdatePartial<S> = UpdatePartial<S>, R = AddId<U>>\n  extends MutationThenable<R>\n{\n  protected readonly _tag = 'UpdateBuilder';\n  private readonly _shape: ShapeConstructor<S>;\n  private readonly _data?: UpdatePartial<S>;\n  private readonly _targetId?: string;\n  private readonly _mode?: UpdateMode;\n  private readonly _whereFn?: WhereClause<S>;\n  private readonly _where?: WherePath;\n  private readonly _targetContextName?: string;\n  private readonly _upsert: boolean;\n\n  private constructor(init: UpdateBuilderInit<S>) {\n    super();\n    this._shape = init.shape;\n    this._data = init.data;\n    this._targetId = init.targetId;\n    this._mode = init.mode;\n    this._whereFn = init.whereFn;\n    this._where = init.where;\n    this._targetContextName = init.targetContextName;\n    this._upsert = init.upsert ?? false;\n  }\n\n  private clone(overrides: Partial<UpdateBuilderInit<S>> = {}): UpdateBuilder<S, any, any> {\n    return new UpdateBuilder<S, any>({\n      shape: this._shape,\n      data: this._data,\n      targetId: this._targetId,\n      mode: this._mode,\n      whereFn: this._whereFn,\n      where: this._where,\n      targetContextName: this._targetContextName,\n      upsert: this._upsert,\n      ...overrides,\n    });\n  }\n\n  // ---------------------------------------------------------------------------\n  // Static constructors\n  // ---------------------------------------------------------------------------\n\n  static from<S extends Shape>(shape: ShapeConstructor<S> | string): UpdateBuilder<S> {\n    const resolved = resolveShape<S>(shape);\n    return new UpdateBuilder<S>({shape: resolved});\n  }\n\n  /** Builder for a create-or-replace against a known id. See `Shape.upsert()`. */\n  static upsertFrom<S extends Shape>(shape: ShapeConstructor<S> | string): UpdateBuilder<S> {\n    const resolved = resolveShape<S>(shape);\n    return new UpdateBuilder<S>({shape: resolved, upsert: true});\n  }\n\n  /** Reconstruct an UpdateBuilder from its DSL-JSON (inverse of `toJSON`). */\n  static fromJSON(json: UpdateMutationJSON | UpsertMutationJSON): UpdateBuilder {\n    assertWireVersion(json.v);\n    const resolved = resolveShape(json.shape);\n    const data = decodeNodeDataToRaw(json.data, resolved.shape) as any;\n\n    // Branch on `op` first so each envelope keeps its own narrowed type; an upsert has\n    // only the `for` form, so its modes are not the update modes.\n    if (json.op === 'upsert') {\n      // The type says `mode: 'for'`, but an inbound envelope is untrusted data — the\n      // cast keeps the runtime check that the type alone cannot enforce.\n      if ((json.mode as string) !== 'for') {\n        throw new Error(\n          `upsert mode \"${String(json.mode)}\" is invalid — an upsert targets one known id.`,\n        );\n      }\n      if (isContextRefJSON(json.targetId)) {\n        return new UpdateBuilder({\n          shape: resolved, data, targetContextName: json.targetId['@ctx'], mode: 'for', upsert: true,\n        });\n      }\n      return new UpdateBuilder({shape: resolved, data, targetId: json.targetId, mode: 'for', upsert: true});\n    }\n\n    if (json.mode === 'for') {\n      if (isContextRefJSON(json.targetId)) {\n        return new UpdateBuilder({shape: resolved, data, targetContextName: json.targetId['@ctx'], mode: 'for'});\n      }\n      return new UpdateBuilder({shape: resolved, data, targetId: json.targetId, mode: 'for'});\n    }\n    if (json.mode === 'forAll') {\n      return new UpdateBuilder({shape: resolved, data, mode: 'forAll'});\n    }\n    const where = deserializeWherePath(resolved.shape, json.where!);\n    return new UpdateBuilder({shape: resolved, data, mode: 'where', where});\n  }\n\n  // ---------------------------------------------------------------------------\n  // Fluent API\n  // ---------------------------------------------------------------------------\n\n  /** Target a specific entity by ID. */\n  for(id: string | NodeReferenceValue | PendingQueryContext): UpdateBuilder<S, U, AddId<U>> {\n    if (id instanceof PendingQueryContext) {\n      return this.clone({targetContextName: id.contextName, targetId: undefined, mode: 'for'}) as unknown as UpdateBuilder<S, U, AddId<U>>;\n    }\n    const resolvedId = typeof id === 'string' ? id : id.id;\n    return this.clone({targetId: resolvedId, targetContextName: undefined, mode: 'for'}) as unknown as UpdateBuilder<S, U, AddId<U>>;\n  }\n\n  /** Update all instances of this shape type. Returns void. */\n  forAll(): UpdateBuilder<S, U, void> {\n    this._assertNotUpsert('forAll()');\n    return this.clone({mode: 'forAll', targetId: undefined, whereFn: undefined}) as unknown as UpdateBuilder<S, U, void>;\n  }\n\n  /** Update instances matching a condition. Returns void. */\n  where(fn: WhereClause<S>): UpdateBuilder<S, U, void> {\n    this._assertNotUpsert('where()');\n    return this.clone({mode: 'where', whereFn: fn, targetId: undefined}) as unknown as UpdateBuilder<S, U, void>;\n  }\n\n  /**\n   * An upsert has to know which node to create, so it only makes sense against a single\n   * known id. `forAll()` and `where()` select existing nodes — there is nothing to create\n   * when they match nothing, and no single id to create it under.\n   */\n  private _assertNotUpsert(method: string): void {\n    if (this._upsert) {\n      throw new Error(\n        `upsert does not support .${method} — an upsert targets one known id, ` +\n          `so use .for(id). (.${method} selects existing nodes, which is what update does.)`,\n      );\n    }\n  }\n\n  /** Replace the update data. */\n  set(fn: (p: ExpressionUpdateProxy<S>) => ExpressionUpdateResult<S>): UpdateBuilder<S, any, R>;\n  set<NewU extends UpdatePartial<S>>(data: NewU): UpdateBuilder<S, NewU, R>;\n  set(data: any): any {\n    return this.clone({data}) as any;\n  }\n\n  // ---------------------------------------------------------------------------\n  // Build & execute\n  // ---------------------------------------------------------------------------\n\n  /** Discriminator for the free `lower()` function and dataset routing. */\n  readonly __queryKind = 'update' as const;\n\n  /** The shape this query targets — the routing key datasets/`LinkedStorage` use. */\n  get shape(): NodeShapeData {\n    return this._shape.shape;\n  }\n\n  /** @internal The IR-free lowering spec consumed by `lower()`. Validates inputs. */\n  _lowerSpec(): UpdateLowerSpec<S> {\n    if (!this._data) {\n      throw new Error(\n        'UpdateBuilder requires .set(data) before it can be lowered. Specify what to update.',\n      );\n    }\n\n    const mode = this._mode || (this._targetId ? 'for' : undefined);\n\n    if (mode === 'forAll') {\n      return {shapeClass: this._shape, data: this._data, mode: 'forAll'};\n    }\n\n    if (mode === 'where') {\n      if (!this._whereFn && !this._where) {\n        throw new Error('UpdateBuilder.where() requires a condition callback.');\n      }\n      const wherePath =\n        this._where ?? processWhereClause(this._whereFn!, this._shape);\n      return {shapeClass: this._shape, data: this._data, mode: 'where', wherePath};\n    }\n\n    // Default: ID-based update (target id may come from a query context)\n    const targetId = this._resolveTargetId();\n    if (!targetId) {\n      if (this._targetContextName) {\n        throw new UnresolvedContextError(this._targetContextName);\n      }\n      // A caller arriving from `create({__id: id, ...values})` — which upsert is meant to\n      // replace — naturally writes the id into the data object. That form is rejected\n      // further down (\"cannot use id in the top level\"), but only once a target exists;\n      // without one they would otherwise get a bare \"requires .for(id)\" that never\n      // mentions the id they did pass. Name it here instead.\n      const strayId = this._strayTopLevelId();\n      if (strayId) {\n        throw new Error(\n          `${this._upsert ? 'upsert' : 'update'} takes the target id in .for(id), not in the data: ` +\n            `move \"${strayId}\" out of the data object — ` +\n            `${this._upsert ? 'upsert' : 'update'}(values).for({id}). ` +\n            `(create() is the one that takes an id in its data, because there it names the node being created.)`,\n        );\n      }\n      throw new Error(\n        this._upsert\n          ? 'upsert requires .for(id) before it can be lowered — an upsert targets one known id.'\n          : 'UpdateBuilder requires .for(id), .forAll(), or .where() before it can be lowered.',\n      );\n    }\n    return {\n      shapeClass: this._shape,\n      data: this._data,\n      mode: 'for',\n      targetId,\n      ...(this._upsert ? {upsert: true} : {}),\n    };\n  }\n\n  /**\n   * The key name of a top-level `id`/`__id` in the update data, if present. Used only to\n   * improve the missing-target error; the data object itself is validated downstream.\n   */\n  private _strayTopLevelId(): string | undefined {\n    const data = this._data as Record<string, unknown> | undefined;\n    if (!data || typeof data !== 'object') return undefined;\n    return ['id', '__id'].find((k) => k in data);\n  }\n\n  /** Resolve the target id from an explicit id or a query-context reference. */\n  private _resolveTargetId(): string | undefined {\n    if (this._targetId) return this._targetId;\n    if (this._targetContextName) return getQueryContext(this._targetContextName)?.id;\n    return undefined;\n  }\n\n  /**\n   * Serialize this update mutation to lightweight DSL-JSON. Normalizes the update\n   * data through the IR-free factory base (handles the expression-callback form\n   * of `.set()`), and serializes the where clause for `where`-mode updates.\n   */\n  toJSON(): UpdateMutationJSON | UpsertMutationJSON {\n    if (!this._data) {\n      throw new Error('UpdateBuilder requires .set(data) before .toJSON().');\n    }\n    const mode = this._mode || (this._targetId ? 'for' : undefined);\n    if (!mode) {\n      throw new Error(\n        'UpdateBuilder requires .for(id), .forAll(), or .where() before .toJSON().',\n      );\n    }\n    const fields = new MutationQueryFactory().describe(\n      this._shape.shape,\n      this._data,\n      {validate: 'partial'},\n    );\n    if (this._upsert && mode !== 'for') {\n      throw new Error('upsert requires .for(id) before it can be serialized.');\n    }\n    const json = {\n      v: WIRE_VERSION,\n      op: this._upsert ? 'upsert' : 'update',\n      shape: this._shape.shape.id,\n      mode,\n      data: encodeNodeData(fields, this._shape.shape),\n    } as UpdateMutationJSON | UpsertMutationJSON;\n    if (mode === 'for') {\n      if (this._targetContextName) json.targetId = encodeContextRef(this._targetContextName);\n      else json.targetId = this._targetId;\n    }\n    if (mode === 'where') {\n      const wherePath = this._where ?? (this._whereFn ? processWhereClause(this._whereFn, this._shape) : undefined);\n      if (!wherePath) {\n        throw new Error('UpdateBuilder.where() requires a condition callback.');\n      }\n      // `mode === 'where'` is unreachable for an upsert (guarded in `.where()` and again\n      // above), so this branch is always the update envelope.\n      (json as UpdateMutationJSON).where = serializeWherePath(wherePath, this._shape.shape);\n    }\n    return json;\n  }\n\n  /**\n   * Execute the mutation.\n   *\n   * @param target Optional explicit dataset (a store or a router) to run against. Omitted →\n   *   the global query dispatch. A `target` runs on that dataset only; the global router is\n   *   untouched. Rejects if the target dataset doesn't implement update.\n   */\n  async exec(target?: IDataset): Promise<R> {\n    const mode = this._mode || (this._targetId ? 'for' : undefined);\n    const result = resolveMutationDispatch('update', target).updateQuery(this);\n    // Bulk (forAll/where) resolves to void; id-based resolves to the updated node.\n    if (mode === 'forAll' || mode === 'where') {\n      return result.then(() => undefined) as Promise<R>;\n    }\n    return result as Promise<R>;\n  }\n\n}\n"]}
+{"version":3,"file":"UpdateBuilder.js","sourceRoot":"","sources":["../../../src/queries/UpdateBuilder.ts"],"names":[],"mappings":";;;;;;;;;AACA,OAAO,EAAC,cAAc,EAAE,qBAAqB,EAAE,gBAAgB,EAAC,MAAM,wBAAwB,CAAC;AAE/F,OAAO,EAAC,YAAY,EAAC,MAAM,mBAAmB,CAAC;AAE/C,OAAO,EAAC,oBAAoB,EAAC,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAC,gBAAgB,EAAC,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAC,uBAAuB,EAAC,MAAM,oBAAoB,CAAC;AAE3D,OAAO,EAAC,YAAY,EAAE,iBAAiB,EAAC,MAAM,kBAAkB,CAAC;AACjE,OAAO,EAAC,mBAAmB,EAAE,eAAe,EAAE,sBAAsB,EAAC,MAAM,mBAAmB,CAAC;AAC/F,OAAO,EAAC,gBAAgB,EAAE,gBAAgB,EAAC,MAAM,iBAAiB,CAAC;AAEnE,OAAO,EAAmC,kBAAkB,EAAC,MAAM,kBAAkB,CAAC;AAEtF,OAAO,EACL,cAAc,EACd,mBAAmB,GAGpB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAC,kBAAkB,EAAE,oBAAoB,EAAC,MAAM,gCAAgC,CAAC;AA4BxF;;;;;;;;;;;;GAYG;AACH,MAAM,OAAO,aACX,SAAQ,gBAAmB;IAc3B,YAAoB,IAA0B;;QAC5C,KAAK,EAAE,CAAC;QAbS,SAAI,GAAG,eAAe,CAAC;QA0I1C,8EAA8E;QAC9E,kBAAkB;QAClB,8EAA8E;QAE9E,yEAAyE;QAChE,gBAAW,GAAG,QAAiB,CAAC;QAjIvC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,IAAI,CAAC,QAAQ,GAAG,SAAS,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9E,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC;QACvB,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC/B,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC;QACvB,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC;QAC7B,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC;QACzB,IAAI,CAAC,kBAAkB,GAAG,IAAI,CAAC,iBAAiB,CAAC;QACjD,IAAI,CAAC,OAAO,GAAG,MAAA,IAAI,CAAC,MAAM,mCAAI,KAAK,CAAC;IACtC,CAAC;IAEO,KAAK,CAAC,YAA2C,EAAE;QACzD,OAAO,IAAI,aAAa,iBACtB,KAAK,EAAE,IAAI,CAAC,MAAM,EAClB,IAAI,EAAE,IAAI,CAAC,KAAK,EAChB,QAAQ,EAAE,IAAI,CAAC,SAAS,EACxB,IAAI,EAAE,IAAI,CAAC,KAAK,EAChB,OAAO,EAAE,IAAI,CAAC,QAAQ,EACtB,KAAK,EAAE,IAAI,CAAC,MAAM,EAClB,iBAAiB,EAAE,IAAI,CAAC,kBAAkB,EAC1C,MAAM,EAAE,IAAI,CAAC,OAAO,EACpB,OAAO,EAAE,IAAI,CAAC,QAAQ,IACnB,SAAS,EACZ,CAAC;IACL,CAAC;IAED,8EAA8E;IAC9E,sBAAsB;IACtB,8EAA8E;IAE9E,MAAM,CAAC,IAAI,CAAkB,KAAmC;QAC9D,MAAM,QAAQ,GAAG,YAAY,CAAI,KAAK,CAAC,CAAC;QACxC,OAAO,IAAI,aAAa,CAAI,EAAC,KAAK,EAAE,QAAQ,EAAC,CAAC,CAAC;IACjD,CAAC;IAED,gFAAgF;IAChF,MAAM,CAAC,UAAU,CAAkB,KAAmC;QACpE,MAAM,QAAQ,GAAG,YAAY,CAAI,KAAK,CAAC,CAAC;QACxC,OAAO,IAAI,aAAa,CAAI,EAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAC,CAAC,CAAC;IAC/D,CAAC;IAED,4EAA4E;IAC5E,MAAM,CAAC,QAAQ,CAAC,IAA6C;QAC3D,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1C,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAQ,CAAC;QAEnE,mFAAmF;QACnF,8DAA8D;QAC9D,IAAI,IAAI,CAAC,EAAE,KAAK,QAAQ,EAAE,CAAC;YACzB,+EAA+E;YAC/E,mEAAmE;YACnE,IAAK,IAAI,CAAC,IAAe,KAAK,KAAK,EAAE,CAAC;gBACpC,MAAM,IAAI,KAAK,CACb,gBAAgB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,gDAAgD,CAClF,CAAC;YACJ,CAAC;YACD,IAAI,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACpC,OAAO,IAAI,aAAa,CAAC;oBACvB,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI;iBAC3F,CAAC,CAAC;YACL,CAAC;YACD,OAAO,IAAI,aAAa,CAAC,EAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAC,CAAC,CAAC;QACxG,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACxB,IAAI,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACpC,OAAO,IAAI,aAAa,CAAC,EAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAC,CAAC,CAAC;YAC3G,CAAC;YACD,OAAO,IAAI,aAAa,CAAC,EAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAC,CAAC,CAAC;QAC1F,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3B,OAAO,IAAI,aAAa,CAAC,EAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAC,CAAC,CAAC;QACpE,CAAC;QACD,MAAM,KAAK,GAAG,oBAAoB,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,KAAM,CAAC,CAAC;QAChE,OAAO,IAAI,aAAa,CAAC,EAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAC,CAAC,CAAC;IAC1E,CAAC;IAED,8EAA8E;IAC9E,aAAa;IACb,8EAA8E;IAE9E,sCAAsC;IACtC,GAAG,CAAC,EAAqD;QACvD,IAAI,EAAE,YAAY,mBAAmB,EAAE,CAAC;YACtC,OAAO,IAAI,CAAC,KAAK,CAAC,EAAC,iBAAiB,EAAE,EAAE,CAAC,WAAW,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAC,CAA6C,CAAC;QACvI,CAAC;QACD,MAAM,UAAU,GAAG,OAAO,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QACvD,OAAO,IAAI,CAAC,KAAK,CAAC,EAAC,QAAQ,EAAE,UAAU,EAAE,iBAAiB,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAC,CAA6C,CAAC;IACnI,CAAC;IAED,6DAA6D;IAC7D,MAAM;QACJ,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC;QAClC,OAAO,IAAI,CAAC,KAAK,CAAC,EAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAC,CAAyC,CAAC;IACvH,CAAC;IAED,2DAA2D;IAC3D,KAAK,CAAC,EAAkB;QACtB,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC;QACjC,OAAO,IAAI,CAAC,KAAK,CAAC,EAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAC,CAAyC,CAAC;IAC/G,CAAC;IAED;;;;OAIG;IACK,gBAAgB,CAAC,MAAc;QACrC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CACb,4BAA4B,MAAM,qCAAqC;gBACrE,sBAAsB,MAAM,sDAAsD,CACrF,CAAC;QACJ,CAAC;IACH,CAAC;IAKD,GAAG,CAAC,IAAS;QACX,OAAO,IAAI,CAAC,KAAK,CAAC,EAAC,IAAI,EAAC,CAAQ,CAAC;IACnC,CAAC;IASD,mFAAmF;IACnF,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;IAC3B,CAAC;IAED,qFAAqF;IACrF,IAAI,OAAO;QACT,OAAO,IAAI,CAAC,QAAQ,CAAC;IACvB,CAAC;IAED,mFAAmF;IACnF,UAAU;;QACR,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC9B,IAAI,OAAO,KAAK,qBAAqB,EAAE,EAAE,CAAC;YACxC,OAAO,gBAAgB,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;QAC5D,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,MAAM,IAAI,KAAK,CACb,qFAAqF,CACtF,CAAC;QACJ,CAAC;QAED,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAEhE,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,OAAO,EAAC,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAC,CAAC;QACrE,CAAC;QAED,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;YACrB,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;gBACnC,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;YAC1E,CAAC;YACD,MAAM,SAAS,GACb,MAAA,IAAI,CAAC,MAAM,mCAAI,kBAAkB,CAAC,IAAI,CAAC,QAAS,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;YACjE,OAAO,EAAC,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAC,CAAC;QAC/E,CAAC;QAED,qEAAqE;QACrE,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACzC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,IAAI,IAAI,CAAC,kBAAkB,EAAE,CAAC;gBAC5B,MAAM,IAAI,sBAAsB,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAC5D,CAAC;YACD,oFAAoF;YACpF,gFAAgF;YAChF,kFAAkF;YAClF,6EAA6E;YAC7E,uDAAuD;YACvD,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACxC,IAAI,OAAO,EAAE,CAAC;gBACZ,MAAM,IAAI,KAAK,CACb,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,qDAAqD;oBACxF,SAAS,OAAO,6BAA6B;oBAC7C,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,sBAAsB;oBAC3D,oGAAoG,CACvG,CAAC;YACJ,CAAC;YACD,MAAM,IAAI,KAAK,CACb,IAAI,CAAC,OAAO;gBACV,CAAC,CAAC,qFAAqF;gBACvF,CAAC,CAAC,mFAAmF,CACxF,CAAC;QACJ,CAAC;QACD,uBACE,UAAU,EAAE,IAAI,CAAC,MAAM,EACvB,IAAI,EAAE,IAAI,CAAC,KAAK,EAChB,IAAI,EAAE,KAAK,EACX,QAAQ,IACL,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAC,MAAM,EAAE,IAAI,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EACvC;IACJ,CAAC;IAED;;;OAGG;IACK,gBAAgB;QACtB,MAAM,IAAI,GAAG,IAAI,CAAC,KAA4C,CAAC;QAC/D,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QACxD,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC;IAC/C,CAAC;IAED,8EAA8E;IACtE,gBAAgB;;QACtB,IAAI,IAAI,CAAC,SAAS;YAAE,OAAO,IAAI,CAAC,SAAS,CAAC;QAC1C,IAAI,IAAI,CAAC,kBAAkB;YAAE,OAAO,MAAA,eAAe,CAAC,IAAI,CAAC,kBAAkB,CAAC,0CAAE,EAAE,CAAC;QACjF,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;;;OAIG;IACH,MAAM;;QACJ,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC9B,IAAI,OAAO,KAAK,qBAAqB,EAAE,EAAE,CAAC;YACxC,OAAO,gBAAgB,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QACxD,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;QACzE,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAChE,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,KAAK,CACb,2EAA2E,CAC5E,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,oBAAoB,EAAE,CAAC,QAAQ,CAChD,IAAI,CAAC,MAAM,CAAC,KAAK,EACjB,IAAI,CAAC,KAAK,EACV,EAAC,QAAQ,EAAE,SAAS,EAAC,CACtB,CAAC;QACF,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;YACnC,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;QAC3E,CAAC;QACD,MAAM,IAAI,GAAG;YACX,CAAC,EAAE,YAAY;YACf,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ;YACtC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;YAC3B,IAAI;YACJ,IAAI,EAAE,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;SACL,CAAC;QAC7C,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;YACnB,IAAI,IAAI,CAAC,kBAAkB;gBAAE,IAAI,CAAC,QAAQ,GAAG,gBAAgB,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;;gBAClF,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC;QACtC,CAAC;QACD,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;YACrB,MAAM,SAAS,GAAG,MAAA,IAAI,CAAC,MAAM,mCAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAC9G,IAAI,CAAC,SAAS,EAAE,CAAC;gBACf,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;YAC1E,CAAC;YACD,mFAAmF;YACnF,wDAAwD;YACvD,IAA2B,CAAC,KAAK,GAAG,kBAAkB,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACxF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;;;;OAMG;IACG,IAAI,CAAC,MAAiB;;YAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAChE,MAAM,MAAM,GAAG,uBAAuB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YAC3E,+EAA+E;YAC/E,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC1C,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAe,CAAC;YACpD,CAAC;YACD,OAAO,MAAoB,CAAC;QAC9B,CAAC;KAAA;CAEF","sourcesContent":["import {Shape, type ShapeConstructor} from '../shapes/Shape.js';\nimport {captureCatalog, getActiveShapeCatalog, withShapeCatalog} from '../utils/ShapeClass.js';\nimport type {ShapeCatalog} from '../utils/ShapeCatalog.js';\nimport {resolveShape} from './resolveShape.js';\nimport {type AddId, type UpdatePartial, NodeReferenceValue} from './QueryFactory.js';\nimport {MutationQueryFactory} from './MutationQuery.js';\nimport {MutationThenable} from './MutationThenable.js';\nimport {resolveMutationDispatch} from './queryDispatch.js';\nimport type {IDataset} from '../interfaces/IDataset.js';\nimport {WIRE_VERSION, assertWireVersion} from './wireVersion.js';\nimport {PendingQueryContext, getQueryContext, UnresolvedContextError} from './QueryContext.js';\nimport {encodeContextRef, isContextRefJSON} from './ContextRef.js';\nimport type {NodeShapeData} from '../shapes/SHACL.js';\nimport {type WhereClause, type WherePath, processWhereClause} from './SelectQuery.js';\nimport type {ExpressionUpdateProxy, ExpressionUpdateResult} from '../expressions/ExpressionMethods.js';\nimport {\n  encodeNodeData,\n  decodeNodeDataToRaw,\n  type UpdateMutationJSON,\n  type UpsertMutationJSON,\n} from './MutationSerialization.js';\nimport {serializeWherePath, deserializeWherePath} from './QueryBuilderSerialization.js';\nimport type {UpdateLowerSpec} from './mutationLowerSpec.js';\n\ntype UpdateMode = 'for' | 'forAll' | 'where';\n\n/**\n * Internal state bag for UpdateBuilder.\n */\ninterface UpdateBuilderInit<S extends Shape> {\n  shape: ShapeConstructor<S>;\n  /** The catalog the builder resolves in; absent = captured from the active one. */\n  catalog?: ShapeCatalog;\n  data?: UpdatePartial<S>;\n  targetId?: string;\n  mode?: UpdateMode;\n  whereFn?: WhereClause<S>;\n  /** A pre-resolved where path (used by fromJSON; no live callback). */\n  where?: WherePath;\n  /** A query-context name used as the target subject (resolved at lowering). */\n  targetContextName?: string;\n  /**\n   * Upsert mode — create-or-replace against a known id. Set by `Shape.upsert()`.\n   * The builder is otherwise identical to an update, which is why it reuses this class;\n   * only the lowered IR kind and the `.where()`/`.forAll()` guards differ.\n   */\n  upsert?: boolean;\n}\n\n/**\n * An immutable, fluent builder for update mutations.\n *\n * Every mutation method returns a new UpdateBuilder — the original is never modified.\n *\n * Implements PromiseLike so mutations execute on `await`:\n * ```ts\n * const result = await UpdateBuilder.from(Person).for({id: '...'}).set({name: 'Bob'});\n * await UpdateBuilder.from(Person).set({hobby: 'x'}).forAll();  // returns void\n * ```\n *\n * R is the resolved type: AddId<U> for ID-based, void for bulk operations.\n */\nexport class UpdateBuilder<S extends Shape = Shape, U extends UpdatePartial<S> = UpdatePartial<S>, R = AddId<U>>\n  extends MutationThenable<R>\n{\n  protected readonly _tag = 'UpdateBuilder';\n  private readonly _shape: ShapeConstructor<S>;\n  private readonly _data?: UpdatePartial<S>;\n  private readonly _targetId?: string;\n  private readonly _mode?: UpdateMode;\n  private readonly _whereFn?: WhereClause<S>;\n  private readonly _where?: WherePath;\n  private readonly _targetContextName?: string;\n  private readonly _upsert: boolean;\n\n  private readonly _catalog: ShapeCatalog | undefined;\n\n  private constructor(init: UpdateBuilderInit<S>) {\n    super();\n    this._shape = init.shape;\n    this._catalog = 'catalog' in init ? init.catalog : captureCatalog(init.shape);\n    this._data = init.data;\n    this._targetId = init.targetId;\n    this._mode = init.mode;\n    this._whereFn = init.whereFn;\n    this._where = init.where;\n    this._targetContextName = init.targetContextName;\n    this._upsert = init.upsert ?? false;\n  }\n\n  private clone(overrides: Partial<UpdateBuilderInit<S>> = {}): UpdateBuilder<S, any, any> {\n    return new UpdateBuilder<S, any>({\n      shape: this._shape,\n      data: this._data,\n      targetId: this._targetId,\n      mode: this._mode,\n      whereFn: this._whereFn,\n      where: this._where,\n      targetContextName: this._targetContextName,\n      upsert: this._upsert,\n      catalog: this._catalog,\n      ...overrides,\n    });\n  }\n\n  // ---------------------------------------------------------------------------\n  // Static constructors\n  // ---------------------------------------------------------------------------\n\n  static from<S extends Shape>(shape: ShapeConstructor<S> | string): UpdateBuilder<S> {\n    const resolved = resolveShape<S>(shape);\n    return new UpdateBuilder<S>({shape: resolved});\n  }\n\n  /** Builder for a create-or-replace against a known id. See `Shape.upsert()`. */\n  static upsertFrom<S extends Shape>(shape: ShapeConstructor<S> | string): UpdateBuilder<S> {\n    const resolved = resolveShape<S>(shape);\n    return new UpdateBuilder<S>({shape: resolved, upsert: true});\n  }\n\n  /** Reconstruct an UpdateBuilder from its DSL-JSON (inverse of `toJSON`). */\n  static fromJSON(json: UpdateMutationJSON | UpsertMutationJSON): UpdateBuilder {\n    assertWireVersion(json.v);\n    const resolved = resolveShape(json.shape);\n    const data = decodeNodeDataToRaw(json.data, resolved.shape) as any;\n\n    // Branch on `op` first so each envelope keeps its own narrowed type; an upsert has\n    // only the `for` form, so its modes are not the update modes.\n    if (json.op === 'upsert') {\n      // The type says `mode: 'for'`, but an inbound envelope is untrusted data — the\n      // cast keeps the runtime check that the type alone cannot enforce.\n      if ((json.mode as string) !== 'for') {\n        throw new Error(\n          `upsert mode \"${String(json.mode)}\" is invalid — an upsert targets one known id.`,\n        );\n      }\n      if (isContextRefJSON(json.targetId)) {\n        return new UpdateBuilder({\n          shape: resolved, data, targetContextName: json.targetId['@ctx'], mode: 'for', upsert: true,\n        });\n      }\n      return new UpdateBuilder({shape: resolved, data, targetId: json.targetId, mode: 'for', upsert: true});\n    }\n\n    if (json.mode === 'for') {\n      if (isContextRefJSON(json.targetId)) {\n        return new UpdateBuilder({shape: resolved, data, targetContextName: json.targetId['@ctx'], mode: 'for'});\n      }\n      return new UpdateBuilder({shape: resolved, data, targetId: json.targetId, mode: 'for'});\n    }\n    if (json.mode === 'forAll') {\n      return new UpdateBuilder({shape: resolved, data, mode: 'forAll'});\n    }\n    const where = deserializeWherePath(resolved.shape, json.where!);\n    return new UpdateBuilder({shape: resolved, data, mode: 'where', where});\n  }\n\n  // ---------------------------------------------------------------------------\n  // Fluent API\n  // ---------------------------------------------------------------------------\n\n  /** Target a specific entity by ID. */\n  for(id: string | NodeReferenceValue | PendingQueryContext): UpdateBuilder<S, U, AddId<U>> {\n    if (id instanceof PendingQueryContext) {\n      return this.clone({targetContextName: id.contextName, targetId: undefined, mode: 'for'}) as unknown as UpdateBuilder<S, U, AddId<U>>;\n    }\n    const resolvedId = typeof id === 'string' ? id : id.id;\n    return this.clone({targetId: resolvedId, targetContextName: undefined, mode: 'for'}) as unknown as UpdateBuilder<S, U, AddId<U>>;\n  }\n\n  /** Update all instances of this shape type. Returns void. */\n  forAll(): UpdateBuilder<S, U, void> {\n    this._assertNotUpsert('forAll()');\n    return this.clone({mode: 'forAll', targetId: undefined, whereFn: undefined}) as unknown as UpdateBuilder<S, U, void>;\n  }\n\n  /** Update instances matching a condition. Returns void. */\n  where(fn: WhereClause<S>): UpdateBuilder<S, U, void> {\n    this._assertNotUpsert('where()');\n    return this.clone({mode: 'where', whereFn: fn, targetId: undefined}) as unknown as UpdateBuilder<S, U, void>;\n  }\n\n  /**\n   * An upsert has to know which node to create, so it only makes sense against a single\n   * known id. `forAll()` and `where()` select existing nodes — there is nothing to create\n   * when they match nothing, and no single id to create it under.\n   */\n  private _assertNotUpsert(method: string): void {\n    if (this._upsert) {\n      throw new Error(\n        `upsert does not support .${method} — an upsert targets one known id, ` +\n          `so use .for(id). (.${method} selects existing nodes, which is what update does.)`,\n      );\n    }\n  }\n\n  /** Replace the update data. */\n  set(fn: (p: ExpressionUpdateProxy<S>) => ExpressionUpdateResult<S>): UpdateBuilder<S, any, R>;\n  set<NewU extends UpdatePartial<S>>(data: NewU): UpdateBuilder<S, NewU, R>;\n  set(data: any): any {\n    return this.clone({data}) as any;\n  }\n\n  // ---------------------------------------------------------------------------\n  // Build & execute\n  // ---------------------------------------------------------------------------\n\n  /** Discriminator for the free `lower()` function and dataset routing. */\n  readonly __queryKind = 'update' as const;\n\n  /** The shape this query targets — the routing key datasets/`LinkedStorage` use. */\n  get shape(): NodeShapeData {\n    return this._shape.shape;\n  }\n\n  /** The catalog this builder resolves shapes in (undefined = the global registry). */\n  get catalog(): ShapeCatalog | undefined {\n    return this._catalog;\n  }\n\n  /** @internal The IR-free lowering spec consumed by `lower()`. Validates inputs. */\n  _lowerSpec(): UpdateLowerSpec<S> {\n    const catalog = this._catalog;\n    if (catalog !== getActiveShapeCatalog()) {\n      return withShapeCatalog(catalog, () => this._lowerSpec());\n    }\n    if (!this._data) {\n      throw new Error(\n        'UpdateBuilder requires .set(data) before it can be lowered. Specify what to update.',\n      );\n    }\n\n    const mode = this._mode || (this._targetId ? 'for' : undefined);\n\n    if (mode === 'forAll') {\n      return {shapeClass: this._shape, data: this._data, mode: 'forAll'};\n    }\n\n    if (mode === 'where') {\n      if (!this._whereFn && !this._where) {\n        throw new Error('UpdateBuilder.where() requires a condition callback.');\n      }\n      const wherePath =\n        this._where ?? processWhereClause(this._whereFn!, this._shape);\n      return {shapeClass: this._shape, data: this._data, mode: 'where', wherePath};\n    }\n\n    // Default: ID-based update (target id may come from a query context)\n    const targetId = this._resolveTargetId();\n    if (!targetId) {\n      if (this._targetContextName) {\n        throw new UnresolvedContextError(this._targetContextName);\n      }\n      // A caller arriving from `create({__id: id, ...values})` — which upsert is meant to\n      // replace — naturally writes the id into the data object. That form is rejected\n      // further down (\"cannot use id in the top level\"), but only once a target exists;\n      // without one they would otherwise get a bare \"requires .for(id)\" that never\n      // mentions the id they did pass. Name it here instead.\n      const strayId = this._strayTopLevelId();\n      if (strayId) {\n        throw new Error(\n          `${this._upsert ? 'upsert' : 'update'} takes the target id in .for(id), not in the data: ` +\n            `move \"${strayId}\" out of the data object — ` +\n            `${this._upsert ? 'upsert' : 'update'}(values).for({id}). ` +\n            `(create() is the one that takes an id in its data, because there it names the node being created.)`,\n        );\n      }\n      throw new Error(\n        this._upsert\n          ? 'upsert requires .for(id) before it can be lowered — an upsert targets one known id.'\n          : 'UpdateBuilder requires .for(id), .forAll(), or .where() before it can be lowered.',\n      );\n    }\n    return {\n      shapeClass: this._shape,\n      data: this._data,\n      mode: 'for',\n      targetId,\n      ...(this._upsert ? {upsert: true} : {}),\n    };\n  }\n\n  /**\n   * The key name of a top-level `id`/`__id` in the update data, if present. Used only to\n   * improve the missing-target error; the data object itself is validated downstream.\n   */\n  private _strayTopLevelId(): string | undefined {\n    const data = this._data as Record<string, unknown> | undefined;\n    if (!data || typeof data !== 'object') return undefined;\n    return ['id', '__id'].find((k) => k in data);\n  }\n\n  /** Resolve the target id from an explicit id or a query-context reference. */\n  private _resolveTargetId(): string | undefined {\n    if (this._targetId) return this._targetId;\n    if (this._targetContextName) return getQueryContext(this._targetContextName)?.id;\n    return undefined;\n  }\n\n  /**\n   * Serialize this update mutation to lightweight DSL-JSON. Normalizes the update\n   * data through the IR-free factory base (handles the expression-callback form\n   * of `.set()`), and serializes the where clause for `where`-mode updates.\n   */\n  toJSON(): UpdateMutationJSON | UpsertMutationJSON {\n    const catalog = this._catalog;\n    if (catalog !== getActiveShapeCatalog()) {\n      return withShapeCatalog(catalog, () => this.toJSON());\n    }\n    if (!this._data) {\n      throw new Error('UpdateBuilder requires .set(data) before .toJSON().');\n    }\n    const mode = this._mode || (this._targetId ? 'for' : undefined);\n    if (!mode) {\n      throw new Error(\n        'UpdateBuilder requires .for(id), .forAll(), or .where() before .toJSON().',\n      );\n    }\n    const fields = new MutationQueryFactory().describe(\n      this._shape.shape,\n      this._data,\n      {validate: 'partial'},\n    );\n    if (this._upsert && mode !== 'for') {\n      throw new Error('upsert requires .for(id) before it can be serialized.');\n    }\n    const json = {\n      v: WIRE_VERSION,\n      op: this._upsert ? 'upsert' : 'update',\n      shape: this._shape.shape.id,\n      mode,\n      data: encodeNodeData(fields, this._shape.shape),\n    } as UpdateMutationJSON | UpsertMutationJSON;\n    if (mode === 'for') {\n      if (this._targetContextName) json.targetId = encodeContextRef(this._targetContextName);\n      else json.targetId = this._targetId;\n    }\n    if (mode === 'where') {\n      const wherePath = this._where ?? (this._whereFn ? processWhereClause(this._whereFn, this._shape) : undefined);\n      if (!wherePath) {\n        throw new Error('UpdateBuilder.where() requires a condition callback.');\n      }\n      // `mode === 'where'` is unreachable for an upsert (guarded in `.where()` and again\n      // above), so this branch is always the update envelope.\n      (json as UpdateMutationJSON).where = serializeWherePath(wherePath, this._shape.shape);\n    }\n    return json;\n  }\n\n  /**\n   * Execute the mutation.\n   *\n   * @param target Optional explicit dataset (a store or a router) to run against. Omitted →\n   *   the global query dispatch. A `target` runs on that dataset only; the global router is\n   *   untouched. Rejects if the target dataset doesn't implement update.\n   */\n  async exec(target?: IDataset): Promise<R> {\n    const mode = this._mode || (this._targetId ? 'for' : undefined);\n    const result = resolveMutationDispatch('update', target).updateQuery(this);\n    // Bulk (forAll/where) resolves to void; id-based resolves to the updated node.\n    if (mode === 'forAll' || mode === 'where') {\n      return result.then(() => undefined) as Promise<R>;\n    }\n    return result as Promise<R>;\n  }\n\n}\n"]}

package/lib/esm/queries/fromJSON.d.ts

@@ -15,6 +15,17 @@ import { CountBuilder } from './CountBuilder.js';
 import type { AskQueryJSON } from './AskQuery.js';
 import type { CountQueryJSON } from './CountQuery.js';
 import type { MutationJSON } from './MutationSerialization.js';
+import type { ShapeCatalog } from '../utils/ShapeCatalog.js';
+/** Options for {@link fromJSON}. */
+export type FromJSONOptions = {
+    /**
+     * Decode against this catalog — even `undefined`, which means the global registry.
+     * Without the key, the active catalog (`withShapeCatalog`) is used. The builder keeps
+     * the catalog it was decoded with. The wire never carries a catalog: each side
+     * supplies its own.
+     */
+    catalog?: ShapeCatalog;
+};
 /** Any query in its wire (DSL-JSON) form. */
 export type QueryJSON = QueryBuilderJSON | AskQueryJSON | CountQueryJSON | MutationJSON;
-export declare function fromJSON(json: QueryJSON): SelectBuilder | AskBuilder | CountBuilder | CreateBuilder | UpdateBuilder | DeleteBuilder;
+export declare function fromJSON(json: QueryJSON, options?: FromJSONOptions): SelectBuilder | AskBuilder | CountBuilder | CreateBuilder | UpdateBuilder | DeleteBuilder;

package/lib/esm/queries/fromJSON.js

@@ -18,7 +18,11 @@ import { DeleteBuilder } from './DeleteBuilder.js';
 import { AskBuilder } from './AskBuilder.js';
 import { CountBuilder } from './CountBuilder.js';
 import { assertWireVersion } from './wireVersion.js';
-export function fromJSON(json) {
+import { getActiveShapeCatalog, withShapeCatalog } from '../utils/ShapeClass.js';
+export function fromJSON(json, options) {
+    if (options && 'catalog' in options && options.catalog !== getActiveShapeCatalog()) {
+        return withShapeCatalog(options.catalog, () => fromJSON(json));
+    }
     assertWireVersion(json === null || json === void 0 ? void 0 : json.v);
     if (json && typeof json === 'object' && 'op' in json) {
         switch (json.op) {

package/lib/esm/queries/fromJSON.js.map

@@ -1 +1 @@
-{"version":3,"file":"fromJSON.js","sourceRoot":"","sources":["../../../src/queries/fromJSON.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH;;;;;;;GAOG;AACH,OAAO,EAAC,aAAa,EAAwB,MAAM,mBAAmB,CAAC;AACvE,OAAO,EAAC,aAAa,EAAC,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAC,aAAa,EAAC,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAC,aAAa,EAAC,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAC,UAAU,EAAC,MAAM,iBAAiB,CAAC;AAC3C,OAAO,EAAC,YAAY,EAAC,MAAM,mBAAmB,CAAC;AAI/C,OAAO,EAAC,iBAAiB,EAAC,MAAM,kBAAkB,CAAC;AASnD,MAAM,UAAU,QAAQ,CACtB,IAAe;IAQf,iBAAiB,CAAE,IAAsB,aAAtB,IAAI,uBAAJ,IAAI,CAAoB,CAAC,CAAC,CAAC;IAC9C,IAAI,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;QACrD,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;YAChB,KAAK,KAAK;gBACR,OAAO,UAAU,CAAC,QAAQ,CAAC,IAAoB,CAAC,CAAC;YACnD,KAAK,OAAO;gBACV,OAAO,YAAY,CAAC,QAAQ,CAAC,IAAsB,CAAC,CAAC;YACvD,KAAK,QAAQ;gBACX,OAAO,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACtC,KAAK,QAAQ,CAAC;YACd,KAAK,QAAQ;gBACX,wEAAwE;gBACxE,OAAO,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACtC,KAAK,QAAQ;gBACX,OAAO,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACtC;gBACE,oEAAoE;gBACpE,qEAAqE;gBACrE,uCAAuC;gBACvC,MAAM,IAAI,KAAK,CACb,qBAAqB,MAAM,CAAE,IAAsB,CAAC,EAAE,CAAC,yBAAyB,CACjF,CAAC;QACN,CAAC;IACH,CAAC;IACD,OAAO,aAAa,CAAC,QAAQ,CAAC,IAAwB,CAAC,CAAC;AAC1D,CAAC","sourcesContent":["/*\n * This Source Code Form is subject to the terms of the Mozilla Public\n * License, v. 2.0. If a copy of the MPL was not distributed with this\n * file, You can obtain one at https://mozilla.org/MPL/2.0/.\n */\n\n/**\n * Kind-detecting `fromJSON` — rehydrate any query DSL-JSON back into its builder.\n *\n * Ask, count and mutation envelopes carry an `op` discriminator; select envelopes\n * (`QueryBuilderJSON`) do not. This is the inbound boundary helper: a receiving\n * process turns wire JSON into a live query with `fromJSON(json).exec()` (the\n * existing generic dispatch), no per-op routing needed.\n */\nimport {SelectBuilder, type QueryBuilderJSON} from './QueryBuilder.js';\nimport {CreateBuilder} from './CreateBuilder.js';\nimport {UpdateBuilder} from './UpdateBuilder.js';\nimport {DeleteBuilder} from './DeleteBuilder.js';\nimport {AskBuilder} from './AskBuilder.js';\nimport {CountBuilder} from './CountBuilder.js';\nimport type {AskQueryJSON} from './AskQuery.js';\nimport type {CountQueryJSON} from './CountQuery.js';\nimport type {MutationJSON} from './MutationSerialization.js';\nimport {assertWireVersion} from './wireVersion.js';\n\n/** Any query in its wire (DSL-JSON) form. */\nexport type QueryJSON =\n  | QueryBuilderJSON\n  | AskQueryJSON\n  | CountQueryJSON\n  | MutationJSON;\n\nexport function fromJSON(\n  json: QueryJSON,\n):\n  | SelectBuilder\n  | AskBuilder\n  | CountBuilder\n  | CreateBuilder\n  | UpdateBuilder\n  | DeleteBuilder {\n  assertWireVersion((json as {v?: unknown})?.v);\n  if (json && typeof json === 'object' && 'op' in json) {\n    switch (json.op) {\n      case 'ask':\n        return AskBuilder.fromJSON(json as AskQueryJSON);\n      case 'count':\n        return CountBuilder.fromJSON(json as CountQueryJSON);\n      case 'create':\n        return CreateBuilder.fromJSON(json);\n      case 'update':\n      case 'upsert':\n        // Both reconstruct an UpdateBuilder; the op selects upsert mode inside.\n        return UpdateBuilder.fromJSON(json);\n      case 'delete':\n        return DeleteBuilder.fromJSON(json);\n      default:\n        // An `op` is present but not one we know — a malformed/corrupted or\n        // future-versioned mutation envelope. Fail loud rather than silently\n        // reinterpreting it as a select query.\n        throw new Error(\n          `Unknown query op \"${String((json as {op: unknown}).op)}\" in DSL-JSON envelope.`,\n        );\n    }\n  }\n  return SelectBuilder.fromJSON(json as QueryBuilderJSON);\n}\n"]}
+{"version":3,"file":"fromJSON.js","sourceRoot":"","sources":["../../../src/queries/fromJSON.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH;;;;;;;GAOG;AACH,OAAO,EAAC,aAAa,EAAwB,MAAM,mBAAmB,CAAC;AACvE,OAAO,EAAC,aAAa,EAAC,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAC,aAAa,EAAC,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAC,aAAa,EAAC,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAC,UAAU,EAAC,MAAM,iBAAiB,CAAC;AAC3C,OAAO,EAAC,YAAY,EAAC,MAAM,mBAAmB,CAAC;AAI/C,OAAO,EAAC,iBAAiB,EAAC,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAC,qBAAqB,EAAE,gBAAgB,EAAC,MAAM,wBAAwB,CAAC;AAqB/E,MAAM,UAAU,QAAQ,CACtB,IAAe,EACf,OAAyB;IAQzB,IAAI,OAAO,IAAI,SAAS,IAAI,OAAO,IAAI,OAAO,CAAC,OAAO,KAAK,qBAAqB,EAAE,EAAE,CAAC;QACnF,OAAO,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IACjE,CAAC;IACD,iBAAiB,CAAE,IAAsB,aAAtB,IAAI,uBAAJ,IAAI,CAAoB,CAAC,CAAC,CAAC;IAC9C,IAAI,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;QACrD,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;YAChB,KAAK,KAAK;gBACR,OAAO,UAAU,CAAC,QAAQ,CAAC,IAAoB,CAAC,CAAC;YACnD,KAAK,OAAO;gBACV,OAAO,YAAY,CAAC,QAAQ,CAAC,IAAsB,CAAC,CAAC;YACvD,KAAK,QAAQ;gBACX,OAAO,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACtC,KAAK,QAAQ,CAAC;YACd,KAAK,QAAQ;gBACX,wEAAwE;gBACxE,OAAO,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACtC,KAAK,QAAQ;gBACX,OAAO,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACtC;gBACE,oEAAoE;gBACpE,qEAAqE;gBACrE,uCAAuC;gBACvC,MAAM,IAAI,KAAK,CACb,qBAAqB,MAAM,CAAE,IAAsB,CAAC,EAAE,CAAC,yBAAyB,CACjF,CAAC;QACN,CAAC;IACH,CAAC;IACD,OAAO,aAAa,CAAC,QAAQ,CAAC,IAAwB,CAAC,CAAC;AAC1D,CAAC","sourcesContent":["/*\n * This Source Code Form is subject to the terms of the Mozilla Public\n * License, v. 2.0. If a copy of the MPL was not distributed with this\n * file, You can obtain one at https://mozilla.org/MPL/2.0/.\n */\n\n/**\n * Kind-detecting `fromJSON` — rehydrate any query DSL-JSON back into its builder.\n *\n * Ask, count and mutation envelopes carry an `op` discriminator; select envelopes\n * (`QueryBuilderJSON`) do not. This is the inbound boundary helper: a receiving\n * process turns wire JSON into a live query with `fromJSON(json).exec()` (the\n * existing generic dispatch), no per-op routing needed.\n */\nimport {SelectBuilder, type QueryBuilderJSON} from './QueryBuilder.js';\nimport {CreateBuilder} from './CreateBuilder.js';\nimport {UpdateBuilder} from './UpdateBuilder.js';\nimport {DeleteBuilder} from './DeleteBuilder.js';\nimport {AskBuilder} from './AskBuilder.js';\nimport {CountBuilder} from './CountBuilder.js';\nimport type {AskQueryJSON} from './AskQuery.js';\nimport type {CountQueryJSON} from './CountQuery.js';\nimport type {MutationJSON} from './MutationSerialization.js';\nimport {assertWireVersion} from './wireVersion.js';\nimport {getActiveShapeCatalog, withShapeCatalog} from '../utils/ShapeClass.js';\nimport type {ShapeCatalog} from '../utils/ShapeCatalog.js';\n\n/** Options for {@link fromJSON}. */\nexport type FromJSONOptions = {\n  /**\n   * Decode against this catalog — even `undefined`, which means the global registry.\n   * Without the key, the active catalog (`withShapeCatalog`) is used. The builder keeps\n   * the catalog it was decoded with. The wire never carries a catalog: each side\n   * supplies its own.\n   */\n  catalog?: ShapeCatalog;\n};\n\n/** Any query in its wire (DSL-JSON) form. */\nexport type QueryJSON =\n  | QueryBuilderJSON\n  | AskQueryJSON\n  | CountQueryJSON\n  | MutationJSON;\n\nexport function fromJSON(\n  json: QueryJSON,\n  options?: FromJSONOptions,\n):\n  | SelectBuilder\n  | AskBuilder\n  | CountBuilder\n  | CreateBuilder\n  | UpdateBuilder\n  | DeleteBuilder {\n  if (options && 'catalog' in options && options.catalog !== getActiveShapeCatalog()) {\n    return withShapeCatalog(options.catalog, () => fromJSON(json));\n  }\n  assertWireVersion((json as {v?: unknown})?.v);\n  if (json && typeof json === 'object' && 'op' in json) {\n    switch (json.op) {\n      case 'ask':\n        return AskBuilder.fromJSON(json as AskQueryJSON);\n      case 'count':\n        return CountBuilder.fromJSON(json as CountQueryJSON);\n      case 'create':\n        return CreateBuilder.fromJSON(json);\n      case 'update':\n      case 'upsert':\n        // Both reconstruct an UpdateBuilder; the op selects upsert mode inside.\n        return UpdateBuilder.fromJSON(json);\n      case 'delete':\n        return DeleteBuilder.fromJSON(json);\n      default:\n        // An `op` is present but not one we know — a malformed/corrupted or\n        // future-versioned mutation envelope. Fail loud rather than silently\n        // reinterpreting it as a select query.\n        throw new Error(\n          `Unknown query op \"${String((json as {op: unknown}).op)}\" in DSL-JSON envelope.`,\n        );\n    }\n  }\n  return SelectBuilder.fromJSON(json as QueryBuilderJSON);\n}\n"]}

package/lib/esm/queries/lower.js

@@ -23,6 +23,7 @@ import { resolveContextId } from './ContextRef.js';
 import { buildCanonicalCreateMutationIR, buildCanonicalUpdateMutationIR, buildCanonicalUpsertMutationIR, buildCanonicalUpdateWhereMutationIR, buildCanonicalDeleteMutationIR, buildCanonicalDeleteAllMutationIR, buildCanonicalDeleteWhereMutationIR, } from './IRMutation.js';
 import { toWhere } from './IRDesugar.js';
 import { lowerWhereToIR } from './IRLower.js';
+import { attachCatalog, catalogOf, getActiveShapeCatalog, withShapeCatalog, } from '../utils/ShapeClass.js';
 /** Lower a pre-evaluated where path to its canonical IR fragment. */
 function lowerWherePath(where) {
     return lowerWhereToIR(toWhere(where));
@@ -124,7 +125,7 @@ function lowerAsk(input) {
         const id = subject instanceof PendingQueryContext
             ? resolveContextId(subject.contextName, true)
             : subject === null || subject === void 0 ? void 0 : subject.id;
-        return { kind: 'ask', patterns: [], subjectId: id };
+        return attachCatalog({ kind: 'ask', patterns: [], subjectId: id });
     }
     const selected = buildSelectQuery({
         entries: [],
@@ -134,14 +135,14 @@ function lowerAsk(input) {
         where: input.where,
         minusEntries: input.minusEntries,
     });
-    return {
+    return attachCatalog({
         kind: 'ask',
         root: selected.root,
         patterns: selected.patterns,
         where: selected.where,
         subjectId: selected.subjectId,
         subjectIds: selected.subjectIds,
-    };
+    });
 }
 /**
  * The variable a root count binds its `COUNT` to.
@@ -192,7 +193,7 @@ function lowerCount(input) {
         where: input.where,
         minusEntries: input.minusEntries,
     });
-    return {
+    return attachCatalog({
         kind: 'count',
         root: selected.root,
         patterns: selected.patterns,
@@ -200,9 +201,15 @@ function lowerCount(input) {
         subjectId: selected.subjectId,
         subjectIds: selected.subjectIds,
         alias: COUNT_ALIAS,
-    };
+    });
 }
 export function lower(query) {
+    // Lower in the catalog the query captured; the IR it returns records it (non-enumerable
+    // `catalog`) for the compile that may run after an await.
+    const catalog = catalogOf(query);
+    if (catalog !== getActiveShapeCatalog()) {
+        return withShapeCatalog(catalog, () => lower(query));
+    }
     switch (query.__queryKind) {
         case 'select':
             return buildSelectQuery(query.toRawInput());

package/lib/esm/queries/lower.js.map

@@ -1 +1 @@
-{"version":3,"file":"lower.js","sourceRoot":"","sources":["../../../src/queries/lower.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH;;;;;;;;;;;GAWG;AACH,OAAO,EAAC,gBAAgB,EAAC,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAC,oBAAoB,EAAC,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAC,sBAAsB,EAA4B,MAAM,mBAAmB,CAAC;AACpF,OAAO,EAAC,mBAAmB,EAAC,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAC,gBAAgB,EAAC,MAAM,iBAAiB,CAAC;AACjD,OAAO,EACL,8BAA8B,EAC9B,8BAA8B,EAC9B,8BAA8B,EAC9B,mCAAmC,EACnC,8BAA8B,EAC9B,iCAAiC,EACjC,mCAAmC,GACpC,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAC,OAAO,EAAC,MAAM,gBAAgB,CAAC;AACvC,OAAO,EAAC,cAAc,EAAC,MAAM,cAAc,CAAC;AAoC5C,qEAAqE;AACrE,SAAS,cAAc,CAAC,KAAgB;IACtC,OAAO,cAAc,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;AACxC,CAAC;AAED;;;;;GAKG;AACH,SAAS,oBAAoB,CAAC,GAAY;IACxC,IAAI,GAAG,YAAY,mBAAmB,EAAE,CAAC;QACvC,OAAO,EAAC,EAAE,EAAE,gBAAgB,CAAC,GAAG,CAAC,WAAW,EAAE,IAAI,CAAE,EAAC,CAAC;IACxD,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,GAAG,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;IACvC,CAAC;IACD,IAAI,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QACnC,IAAI,sBAAsB,CAAC,GAAG,CAAC,EAAE,CAAC;YAChC,MAAM,GAAG,GAAG,GAA8C,CAAC;YAC3D,MAAM,GAAG,GAA4C,EAAE,CAAC;YACxD,IAAI,GAAG,CAAC,IAAI;gBAAE,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;YAC5D,IAAI,GAAG,CAAC,OAAO;gBAAE,GAAG,CAAC,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;YACrE,OAAO,GAAG,CAAC;QACb,CAAC;QACD,IAAI,QAAQ,IAAI,GAAG,EAAE,CAAC;YACpB,OAAO,0BAA0B,CAAC,GAA2B,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,6FAA6F;AAC7F,SAAS,0BAA0B,CAAC,IAA0B;IAC5D,uCACK,IAAI,KACP,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iCAAK,CAAC,KAAE,GAAG,EAAE,oBAAoB,CAAC,CAAC,CAAC,GAAG,CAAiB,IAAE,CAAC,IAC1F;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,IAAqB;IACxC,MAAM,WAAW,GAAG,0BAA0B,CAC5C,IAAI,oBAAoB,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;QACpE,eAAe,EAAE,IAAI;QACrB,QAAQ,EAAE,UAAU;KACrB,CAAC,CACH,CAAC;IACF,OAAO,8BAA8B,CAAC,EAAC,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,WAAW,EAAC,CAAC,CAAC;AACrF,CAAC;AAED,SAAS,WAAW,CAAC,IAAqB;IACxC,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;IACpC,MAAM,OAAO,GAAG,0BAA0B,CACxC,IAAI,oBAAoB,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,EAAC,QAAQ,EAAE,SAAS,EAAC,CAAC,CAC7E,CAAC;IACF,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACxB,OAAO,IAAI,CAAC,MAAM;YAChB,CAAC,CAAC,8BAA8B,CAAC,EAAC,EAAE,EAAE,IAAI,CAAC,QAAS,EAAE,KAAK,EAAE,OAAO,EAAC,CAAC;YACtE,CAAC,CAAC,8BAA8B,CAAC,EAAC,EAAE,EAAE,IAAI,CAAC,QAAS,EAAE,KAAK,EAAE,OAAO,EAAC,CAAC,CAAC;IAC3E,CAAC;IACD,iBAAiB;IACjB,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5E,OAAO,mCAAmC,CAAC;QACzC,KAAK;QACL,OAAO;QACP,KAAK,EAAE,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,KAAK;QACrB,aAAa,EAAE,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,aAAa;KACtC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,WAAW,CAAC,IAAqB;IACxC,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;IACpC,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACxB,OAAO,iCAAiC,CAAC,EAAC,KAAK,EAAC,CAAC,CAAC;IACpD,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,MAAM,EAAC,KAAK,EAAE,aAAa,EAAC,GAAG,cAAc,CAAC,IAAI,CAAC,SAAU,CAAC,CAAC;QAC/D,OAAO,mCAAmC,CAAC,EAAC,KAAK,EAAE,KAAK,EAAE,aAAa,EAAC,CAAC,CAAC;IAC5E,CAAC;IACD,gFAAgF;IAChF,mFAAmF;IACnF,MAAM,WAAW,GAAG,IAAI,CAAC,GAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CACvC,EAAE,YAAY,mBAAmB;QAC/B,CAAC,CAAC,EAAC,EAAE,EAAE,gBAAgB,CAAC,EAAE,CAAC,WAAW,EAAE,IAAI,CAAE,EAAC;QAC/C,CAAC,CAAC,EAAE,CACP,CAAC;IACF,MAAM,GAAG,GAAG,IAAI,oBAAoB,EAAE,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC;IACtE,OAAO,8BAA8B,CAAC,EAAC,KAAK,EAAE,GAAG,EAAC,CAAC,CAAC;AACtD,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,QAAQ,CAAC,KAAkB;IAClC,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QACtB,2EAA2E;QAC3E,4EAA4E;QAC5E,2EAA2E;QAC3E,4EAA4E;QAC5E,MAAM,IAAI,KAAK,CACb,2EAA2E;YAC3E,iFAAiF,CAClF,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC9B,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACjB,4EAA4E;QAC5E,MAAM,EAAE,GACN,OAAO,YAAY,mBAAmB;YACpC,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,WAAW,EAAE,IAAI,CAAE;YAC9C,CAAC,CAAE,OAAqC,aAArC,OAAO,uBAAP,OAAO,CAAgC,EAAE,CAAC;QACjD,OAAO,EAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAC,CAAC;IACpD,CAAC;IACD,MAAM,QAAQ,GAAG,gBAAgB,CAAC;QAChC,OAAO,EAAE,EAAE;QACX,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,OAAO;QACP,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,YAAY,EAAE,KAAK,CAAC,YAAY;KACjC,CAAC,CAAC;IACH,OAAO;QACL,IAAI,EAAE,KAAK;QACX,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,UAAU,EAAE,QAAQ,CAAC,UAAU;KAChC,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,OAAO,CAAC;AAEnC;;;;;;;GAOG;AACH,SAAS,UAAU,CAAC,KAAoB;IACtC,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QACtB,wEAAwE;QACxE,8EAA8E;QAC9E,2EAA2E;QAC3E,4EAA4E;QAC5E,MAAM,IAAI,KAAK,CACb,4EAA4E;YAC5E,6EAA6E,CAC9E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACjB,MAAM,IAAI,KAAK,CACb,0EAA0E;YAC1E,kDAAkD,CACnD,CAAC;IACJ,CAAC;IACD,6EAA6E;IAC7E,iFAAiF;IACjF,iFAAiF;IACjF,gFAAgF;IAChF,iFAAiF;IACjF,mFAAmF;IACnF,mFAAmF;IACnF,mFAAmF;IACnF,4BAA4B;IAC5B,MAAM,OAAO,GACX,KAAK,CAAC,OAAO,YAAY,mBAAmB;QAC1C,CAAC,CAAC,EAAC,EAAE,EAAE,gBAAgB,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,IAAI,CAAE,EAAC;QAC1D,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC;IACpB,MAAM,QAAQ,GAAG,gBAAgB,CAAC;QAChC,OAAO,EAAE,EAAE;QACX,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,OAAO;QACP,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,YAAY,EAAE,KAAK,CAAC,YAAY;KACjC,CAAC,CAAC;IACH,OAAO;QACL,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,KAAK,EAAE,WAAW;KACnB,CAAC;AACJ,CAAC;AAQD,MAAM,UAAU,KAAK,CACnB,KAAqB;IAQrB,QAAQ,KAAK,CAAC,WAAW,EAAE,CAAC;QAC1B,KAAK,QAAQ;YACX,OAAO,gBAAgB,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;QAC9C,KAAK,KAAK;YACR,OAAO,QAAQ,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;QACtC,KAAK,OAAO;YACV,OAAO,UAAU,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;QACxC,KAAK,QAAQ;YACX,OAAO,WAAW,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;QACzC,KAAK,QAAQ;YACX,OAAO,WAAW,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;QACzC,KAAK,QAAQ;YACX,OAAO,WAAW,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;IAC3C,CAAC;AACH,CAAC","sourcesContent":["/*\n * This Source Code Form is subject to the terms of the Mozilla Public\n * License, v. 2.0. If a copy of the MPL was not distributed with this\n * file, You can obtain one at https://mozilla.org/MPL/2.0/.\n */\n\n/**\n * `lower(query)` — turn a live query (builder) into its canonical IR algebra.\n *\n * This is the single, **free** lowering entry point, and the *only* place the\n * canonical-IR pipeline (`IRPipeline` / `IRMutation` / `IRLower` / …) is reached\n * from. The builders are deliberately IR-free: they hand `lower()` a plain\n * \"lowering spec\" (`mutationLowerSpec`) or raw select input, and all IR\n * construction happens here. A client that authors/serializes/forwards queries\n * but never calls `lower()` therefore tree-shakes the entire IR pipeline away.\n * The IR is an implementation detail of stores that want it (e.g. SPARQL) — not\n * the contract.\n */\nimport {buildSelectQuery} from './IRPipeline.js';\nimport {MutationQueryFactory} from './MutationQuery.js';\nimport {isSetModificationValue, type NodeDescriptionValue} from './QueryFactory.js';\nimport {PendingQueryContext} from './QueryContext.js';\nimport {resolveContextId} from './ContextRef.js';\nimport {\n  buildCanonicalCreateMutationIR,\n  buildCanonicalUpdateMutationIR,\n  buildCanonicalUpsertMutationIR,\n  buildCanonicalUpdateWhereMutationIR,\n  buildCanonicalDeleteMutationIR,\n  buildCanonicalDeleteAllMutationIR,\n  buildCanonicalDeleteWhereMutationIR,\n} from './IRMutation.js';\nimport {toWhere} from './IRDesugar.js';\nimport {lowerWhereToIR} from './IRLower.js';\nimport type {WherePath} from './SelectQuery.js';\nimport type {\n  IRAskQuery,\n  IRCountQuery,\n  IRSelectQuery,\n} from './IntermediateRepresentation.js';\nimport type {RawAskInput} from './AskQuery.js';\nimport type {RawCountInput} from './CountQuery.js';\nimport type {IRCreateQuery} from './CreateQuery.js';\nimport type {IRUpdateQuery} from './UpdateQuery.js';\nimport type {IRDeleteQuery} from './DeleteQuery.js';\nimport type {\n  CreateLowerSpec,\n  UpdateLowerSpec,\n  DeleteLowerSpec,\n} from './mutationLowerSpec.js';\n\n/** A select query that can be lowered (the select builder). */\nexport type LowerableSelect = {readonly __queryKind: 'select'; toRawInput(): any};\n/** An ask query that can be lowered (the ask builder). */\nexport type LowerableAsk = {readonly __queryKind: 'ask'; toRawInput(): RawAskInput};\n/** A count query that can be lowered (the count builder). */\nexport type LowerableCount = {readonly __queryKind: 'count'; toRawInput(): RawCountInput};\n/** A mutation query that can be lowered (the mutation builders). */\nexport type LowerableCreate = {readonly __queryKind: 'create'; _lowerSpec(): CreateLowerSpec};\nexport type LowerableUpdate = {readonly __queryKind: 'update'; _lowerSpec(): UpdateLowerSpec};\nexport type LowerableDelete = {readonly __queryKind: 'delete'; _lowerSpec(): DeleteLowerSpec};\nexport type LowerableQuery =\n  | LowerableSelect\n  | LowerableAsk\n  | LowerableCount\n  | LowerableCreate\n  | LowerableUpdate\n  | LowerableDelete;\n\n/** Lower a pre-evaluated where path to its canonical IR fragment. */\nfunction lowerWherePath(where: WherePath) {\n  return lowerWhereToIR(toWhere(where));\n}\n\n/**\n * Resolve any query-context reference carried as a mutation field value. The\n * builder preserves a live `PendingQueryContext` through normalization (so it can\n * serialize as `{@ctx}`); at lowering a mutation must hit a concrete node, so the\n * context is resolved here and an unset one throws `UnresolvedContextError`.\n */\nfunction resolveValueContexts(val: unknown): unknown {\n  if (val instanceof PendingQueryContext) {\n    return {id: resolveContextId(val.contextName, true)!};\n  }\n  if (Array.isArray(val)) {\n    return val.map(resolveValueContexts);\n  }\n  if (val && typeof val === 'object') {\n    if (isSetModificationValue(val)) {\n      const mod = val as {$add?: unknown[]; $remove?: unknown[]};\n      const out: {$add?: unknown[]; $remove?: unknown[]} = {};\n      if (mod.$add) out.$add = mod.$add.map(resolveValueContexts);\n      if (mod.$remove) out.$remove = mod.$remove.map(resolveValueContexts);\n      return out;\n    }\n    if ('fields' in val) {\n      return resolveDescriptionContexts(val as NodeDescriptionValue);\n    }\n  }\n  return val;\n}\n\n/** Deep-resolve context references in a normalized node description (returns a new copy). */\nfunction resolveDescriptionContexts(desc: NodeDescriptionValue): NodeDescriptionValue {\n  return {\n    ...desc,\n    fields: desc.fields.map((f) => ({...f, val: resolveValueContexts(f.val) as typeof f.val})),\n  };\n}\n\nfunction lowerCreate(spec: CreateLowerSpec): IRCreateQuery {\n  const description = resolveDescriptionContexts(\n    new MutationQueryFactory().describe(spec.shapeClass.shape, spec.data, {\n      allowTopLevelId: true,\n      validate: 'complete',\n    }),\n  );\n  return buildCanonicalCreateMutationIR({shape: spec.shapeClass.shape, description});\n}\n\nfunction lowerUpdate(spec: UpdateLowerSpec): IRUpdateQuery {\n  const shape = spec.shapeClass.shape;\n  const updates = resolveDescriptionContexts(\n    new MutationQueryFactory().describe(shape, spec.data, {validate: 'partial'}),\n  );\n  if (spec.mode === 'for') {\n    return spec.upsert\n      ? buildCanonicalUpsertMutationIR({id: spec.targetId!, shape, updates})\n      : buildCanonicalUpdateMutationIR({id: spec.targetId!, shape, updates});\n  }\n  // forAll / where\n  const lowered = spec.wherePath ? lowerWherePath(spec.wherePath) : undefined;\n  return buildCanonicalUpdateWhereMutationIR({\n    shape,\n    updates,\n    where: lowered?.where,\n    wherePatterns: lowered?.wherePatterns,\n  });\n}\n\nfunction lowerDelete(spec: DeleteLowerSpec): IRDeleteQuery {\n  const shape = spec.shapeClass.shape;\n  if (spec.mode === 'all') {\n    return buildCanonicalDeleteAllMutationIR({shape});\n  }\n  if (spec.mode === 'where') {\n    const {where, wherePatterns} = lowerWherePath(spec.wherePath!);\n    return buildCanonicalDeleteWhereMutationIR({shape, where, wherePatterns});\n  }\n  // Resolve any context-ref ids ({@ctx}) against the live map — a delete must hit\n  // a concrete node, so an unresolved one throws (never a silent `{id: undefined}`).\n  const resolvedIds = spec.ids!.map((id) =>\n    id instanceof PendingQueryContext\n      ? {id: resolveContextId(id.contextName, true)!}\n      : id,\n  );\n  const ids = new MutationQueryFactory().normalizeNodeRefs(resolvedIds);\n  return buildCanonicalDeleteMutationIR({shape, ids});\n}\n\n/**\n * Lower an ask to its canonical IR.\n *\n * The shaped case reuses the select pipeline to build the pattern — one\n * implementation of shape scans, traversals, filters and minus — and then keeps\n * only the pattern-bearing part. The rootless (shapeless) case has no pattern to\n * build: it is a bare subject.\n */\nfunction lowerAsk(input: RawAskInput): IRAskQuery {\n  if (input.nullSubject) {\n    // \"Does the node with no id exist?\" is answered `false` without querying —\n    // `AskBuilder.exec` does that before dispatching. Reaching lowering means a\n    // store took the builder off the normal path; a subject-less pattern would\n    // match every instance of the shape and answer `true`, so refuse it loudly.\n    throw new Error(\n      'Cannot lower an ask query with no subject (`.for(null)`). It resolves to ' +\n      '`false` without querying — execute it through `exec()` rather than lowering it.',\n    );\n  }\n  const subject = input.subject;\n  if (!input.shape) {\n    // Shapeless: no rdf:type constraint, so no shape scan and no property refs.\n    const id =\n      subject instanceof PendingQueryContext\n        ? resolveContextId(subject.contextName, true)!\n        : (subject as {id?: string} | undefined)?.id;\n    return {kind: 'ask', patterns: [], subjectId: id};\n  }\n  const selected = buildSelectQuery({\n    entries: [],\n    shape: input.shape,\n    subject,\n    subjects: input.subjects,\n    where: input.where,\n    minusEntries: input.minusEntries,\n  });\n  return {\n    kind: 'ask',\n    root: selected.root,\n    patterns: selected.patterns,\n    where: selected.where,\n    subjectId: selected.subjectId,\n    subjectIds: selected.subjectIds,\n  };\n}\n\n/**\n * The variable a root count binds its `COUNT` to.\n *\n * Chosen not to collide with the `a<N>` alias scheme the pipeline generates for\n * the root and every traversal, so it never needs the collision rename\n * `selectToAlgebra` applies to aggregate aliases.\n */\nexport const COUNT_ALIAS = 'count';\n\n/**\n * Lower a count to its canonical IR.\n *\n * Reuses the select pipeline to build the pattern — one implementation of shape\n * scans, traversals, filters and minus — and then keeps only the pattern-bearing\n * part, exactly as {@link lowerAsk} does. The `entries: []` is why nothing is\n * projected: a count has no projection to build.\n */\nfunction lowerCount(input: RawCountInput): IRCountQuery {\n  if (input.nullSubject) {\n    // \"How many nodes with no id match?\" is answered `0` without querying —\n    // `CountBuilder.exec` does that before dispatching. Reaching lowering means a\n    // store took the builder off the normal path; a subject-less pattern would\n    // count every instance of the shape and report it as the count of one node.\n    throw new Error(\n      'Cannot lower a count query with no subject (`.for(null)`). It resolves to ' +\n      '`0` without querying — execute it through `exec()` rather than lowering it.',\n    );\n  }\n  if (!input.shape) {\n    throw new Error(\n      'Cannot lower a count query with no shape. A shapeless count would count ' +\n      'every node in the store, under any type or none.',\n    );\n  }\n  // A `{\"@ctx\": name}` subject arrives here as a live PendingQueryContext, and\n  // `buildSelectQuery` narrows a subject with `'id' in subject` — so an UNRESOLVED\n  // one would quietly yield `subjectId: undefined` and the count would be of every\n  // instance of the shape, reported as the count of one node. `CountBuilder.exec`\n  // answers `0` for that case before dispatching, but this path is reached without\n  // it: a receiver that rehydrates an envelope with `fromJSON` and hands the builder\n  // straight to a store. Resolve it here, which throws `UnresolvedContextError` when\n  // the context is unset — the same \"not ready\" a where-clause reference raises, and\n  // never a plausible number.\n  const subject =\n    input.subject instanceof PendingQueryContext\n      ? {id: resolveContextId(input.subject.contextName, true)!}\n      : input.subject;\n  const selected = buildSelectQuery({\n    entries: [],\n    shape: input.shape,\n    subject,\n    subjects: input.subjects,\n    where: input.where,\n    minusEntries: input.minusEntries,\n  });\n  return {\n    kind: 'count',\n    root: selected.root,\n    patterns: selected.patterns,\n    where: selected.where,\n    subjectId: selected.subjectId,\n    subjectIds: selected.subjectIds,\n    alias: COUNT_ALIAS,\n  };\n}\n\nexport function lower(query: LowerableSelect): IRSelectQuery;\nexport function lower(query: LowerableAsk): IRAskQuery;\nexport function lower(query: LowerableCount): IRCountQuery;\nexport function lower(query: LowerableCreate): IRCreateQuery;\nexport function lower(query: LowerableUpdate): IRUpdateQuery;\nexport function lower(query: LowerableDelete): IRDeleteQuery;\nexport function lower(\n  query: LowerableQuery,\n):\n  | IRSelectQuery\n  | IRAskQuery\n  | IRCountQuery\n  | IRCreateQuery\n  | IRUpdateQuery\n  | IRDeleteQuery {\n  switch (query.__queryKind) {\n    case 'select':\n      return buildSelectQuery(query.toRawInput());\n    case 'ask':\n      return lowerAsk(query.toRawInput());\n    case 'count':\n      return lowerCount(query.toRawInput());\n    case 'create':\n      return lowerCreate(query._lowerSpec());\n    case 'update':\n      return lowerUpdate(query._lowerSpec());\n    case 'delete':\n      return lowerDelete(query._lowerSpec());\n  }\n}\n"]}
+{"version":3,"file":"lower.js","sourceRoot":"","sources":["../../../src/queries/lower.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH;;;;;;;;;;;GAWG;AACH,OAAO,EAAC,gBAAgB,EAAC,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAC,oBAAoB,EAAC,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAC,sBAAsB,EAA4B,MAAM,mBAAmB,CAAC;AACpF,OAAO,EAAC,mBAAmB,EAAC,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAC,gBAAgB,EAAC,MAAM,iBAAiB,CAAC;AACjD,OAAO,EACL,8BAA8B,EAC9B,8BAA8B,EAC9B,8BAA8B,EAC9B,mCAAmC,EACnC,8BAA8B,EAC9B,iCAAiC,EACjC,mCAAmC,GACpC,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAC,OAAO,EAAC,MAAM,gBAAgB,CAAC;AACvC,OAAO,EAAC,cAAc,EAAC,MAAM,cAAc,CAAC;AAC5C,OAAO,EACL,aAAa,EACb,SAAS,EACT,qBAAqB,EACrB,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAoChC,qEAAqE;AACrE,SAAS,cAAc,CAAC,KAAgB;IACtC,OAAO,cAAc,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;AACxC,CAAC;AAED;;;;;GAKG;AACH,SAAS,oBAAoB,CAAC,GAAY;IACxC,IAAI,GAAG,YAAY,mBAAmB,EAAE,CAAC;QACvC,OAAO,EAAC,EAAE,EAAE,gBAAgB,CAAC,GAAG,CAAC,WAAW,EAAE,IAAI,CAAE,EAAC,CAAC;IACxD,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,GAAG,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;IACvC,CAAC;IACD,IAAI,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QACnC,IAAI,sBAAsB,CAAC,GAAG,CAAC,EAAE,CAAC;YAChC,MAAM,GAAG,GAAG,GAA8C,CAAC;YAC3D,MAAM,GAAG,GAA4C,EAAE,CAAC;YACxD,IAAI,GAAG,CAAC,IAAI;gBAAE,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;YAC5D,IAAI,GAAG,CAAC,OAAO;gBAAE,GAAG,CAAC,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;YACrE,OAAO,GAAG,CAAC;QACb,CAAC;QACD,IAAI,QAAQ,IAAI,GAAG,EAAE,CAAC;YACpB,OAAO,0BAA0B,CAAC,GAA2B,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,6FAA6F;AAC7F,SAAS,0BAA0B,CAAC,IAA0B;IAC5D,uCACK,IAAI,KACP,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iCAAK,CAAC,KAAE,GAAG,EAAE,oBAAoB,CAAC,CAAC,CAAC,GAAG,CAAiB,IAAE,CAAC,IAC1F;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,IAAqB;IACxC,MAAM,WAAW,GAAG,0BAA0B,CAC5C,IAAI,oBAAoB,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;QACpE,eAAe,EAAE,IAAI;QACrB,QAAQ,EAAE,UAAU;KACrB,CAAC,CACH,CAAC;IACF,OAAO,8BAA8B,CAAC,EAAC,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,WAAW,EAAC,CAAC,CAAC;AACrF,CAAC;AAED,SAAS,WAAW,CAAC,IAAqB;IACxC,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;IACpC,MAAM,OAAO,GAAG,0BAA0B,CACxC,IAAI,oBAAoB,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,EAAC,QAAQ,EAAE,SAAS,EAAC,CAAC,CAC7E,CAAC;IACF,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACxB,OAAO,IAAI,CAAC,MAAM;YAChB,CAAC,CAAC,8BAA8B,CAAC,EAAC,EAAE,EAAE,IAAI,CAAC,QAAS,EAAE,KAAK,EAAE,OAAO,EAAC,CAAC;YACtE,CAAC,CAAC,8BAA8B,CAAC,EAAC,EAAE,EAAE,IAAI,CAAC,QAAS,EAAE,KAAK,EAAE,OAAO,EAAC,CAAC,CAAC;IAC3E,CAAC;IACD,iBAAiB;IACjB,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5E,OAAO,mCAAmC,CAAC;QACzC,KAAK;QACL,OAAO;QACP,KAAK,EAAE,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,KAAK;QACrB,aAAa,EAAE,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,aAAa;KACtC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,WAAW,CAAC,IAAqB;IACxC,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;IACpC,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACxB,OAAO,iCAAiC,CAAC,EAAC,KAAK,EAAC,CAAC,CAAC;IACpD,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,MAAM,EAAC,KAAK,EAAE,aAAa,EAAC,GAAG,cAAc,CAAC,IAAI,CAAC,SAAU,CAAC,CAAC;QAC/D,OAAO,mCAAmC,CAAC,EAAC,KAAK,EAAE,KAAK,EAAE,aAAa,EAAC,CAAC,CAAC;IAC5E,CAAC;IACD,gFAAgF;IAChF,mFAAmF;IACnF,MAAM,WAAW,GAAG,IAAI,CAAC,GAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CACvC,EAAE,YAAY,mBAAmB;QAC/B,CAAC,CAAC,EAAC,EAAE,EAAE,gBAAgB,CAAC,EAAE,CAAC,WAAW,EAAE,IAAI,CAAE,EAAC;QAC/C,CAAC,CAAC,EAAE,CACP,CAAC;IACF,MAAM,GAAG,GAAG,IAAI,oBAAoB,EAAE,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC;IACtE,OAAO,8BAA8B,CAAC,EAAC,KAAK,EAAE,GAAG,EAAC,CAAC,CAAC;AACtD,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,QAAQ,CAAC,KAAkB;IAClC,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QACtB,2EAA2E;QAC3E,4EAA4E;QAC5E,2EAA2E;QAC3E,4EAA4E;QAC5E,MAAM,IAAI,KAAK,CACb,2EAA2E;YAC3E,iFAAiF,CAClF,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC9B,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACjB,4EAA4E;QAC5E,MAAM,EAAE,GACN,OAAO,YAAY,mBAAmB;YACpC,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,WAAW,EAAE,IAAI,CAAE;YAC9C,CAAC,CAAE,OAAqC,aAArC,OAAO,uBAAP,OAAO,CAAgC,EAAE,CAAC;QACjD,OAAO,aAAa,CAAa,EAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAC,CAAC,CAAC;IAC/E,CAAC;IACD,MAAM,QAAQ,GAAG,gBAAgB,CAAC;QAChC,OAAO,EAAE,EAAE;QACX,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,OAAO;QACP,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,YAAY,EAAE,KAAK,CAAC,YAAY;KACjC,CAAC,CAAC;IACH,OAAO,aAAa,CAAa;QAC/B,IAAI,EAAE,KAAK;QACX,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,UAAU,EAAE,QAAQ,CAAC,UAAU;KAChC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,OAAO,CAAC;AAEnC;;;;;;;GAOG;AACH,SAAS,UAAU,CAAC,KAAoB;IACtC,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QACtB,wEAAwE;QACxE,8EAA8E;QAC9E,2EAA2E;QAC3E,4EAA4E;QAC5E,MAAM,IAAI,KAAK,CACb,4EAA4E;YAC5E,6EAA6E,CAC9E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACjB,MAAM,IAAI,KAAK,CACb,0EAA0E;YAC1E,kDAAkD,CACnD,CAAC;IACJ,CAAC;IACD,6EAA6E;IAC7E,iFAAiF;IACjF,iFAAiF;IACjF,gFAAgF;IAChF,iFAAiF;IACjF,mFAAmF;IACnF,mFAAmF;IACnF,mFAAmF;IACnF,4BAA4B;IAC5B,MAAM,OAAO,GACX,KAAK,CAAC,OAAO,YAAY,mBAAmB;QAC1C,CAAC,CAAC,EAAC,EAAE,EAAE,gBAAgB,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,IAAI,CAAE,EAAC;QAC1D,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC;IACpB,MAAM,QAAQ,GAAG,gBAAgB,CAAC;QAChC,OAAO,EAAE,EAAE;QACX,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,OAAO;QACP,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,YAAY,EAAE,KAAK,CAAC,YAAY;KACjC,CAAC,CAAC;IACH,OAAO,aAAa,CAAe;QACjC,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,KAAK,EAAE,WAAW;KACnB,CAAC,CAAC;AACL,CAAC;AAQD,MAAM,UAAU,KAAK,CACnB,KAAqB;IAQrB,wFAAwF;IACxF,0DAA0D;IAC1D,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IACjC,IAAI,OAAO,KAAK,qBAAqB,EAAE,EAAE,CAAC;QACxC,OAAO,gBAAgB,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,KAAwB,CAAC,CAAC,CAAC;IAC1E,CAAC;IACD,QAAQ,KAAK,CAAC,WAAW,EAAE,CAAC;QAC1B,KAAK,QAAQ;YACX,OAAO,gBAAgB,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;QAC9C,KAAK,KAAK;YACR,OAAO,QAAQ,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;QACtC,KAAK,OAAO;YACV,OAAO,UAAU,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;QACxC,KAAK,QAAQ;YACX,OAAO,WAAW,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;QACzC,KAAK,QAAQ;YACX,OAAO,WAAW,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;QACzC,KAAK,QAAQ;YACX,OAAO,WAAW,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;IAC3C,CAAC;AACH,CAAC","sourcesContent":["/*\n * This Source Code Form is subject to the terms of the Mozilla Public\n * License, v. 2.0. If a copy of the MPL was not distributed with this\n * file, You can obtain one at https://mozilla.org/MPL/2.0/.\n */\n\n/**\n * `lower(query)` — turn a live query (builder) into its canonical IR algebra.\n *\n * This is the single, **free** lowering entry point, and the *only* place the\n * canonical-IR pipeline (`IRPipeline` / `IRMutation` / `IRLower` / …) is reached\n * from. The builders are deliberately IR-free: they hand `lower()` a plain\n * \"lowering spec\" (`mutationLowerSpec`) or raw select input, and all IR\n * construction happens here. A client that authors/serializes/forwards queries\n * but never calls `lower()` therefore tree-shakes the entire IR pipeline away.\n * The IR is an implementation detail of stores that want it (e.g. SPARQL) — not\n * the contract.\n */\nimport {buildSelectQuery} from './IRPipeline.js';\nimport {MutationQueryFactory} from './MutationQuery.js';\nimport {isSetModificationValue, type NodeDescriptionValue} from './QueryFactory.js';\nimport {PendingQueryContext} from './QueryContext.js';\nimport {resolveContextId} from './ContextRef.js';\nimport {\n  buildCanonicalCreateMutationIR,\n  buildCanonicalUpdateMutationIR,\n  buildCanonicalUpsertMutationIR,\n  buildCanonicalUpdateWhereMutationIR,\n  buildCanonicalDeleteMutationIR,\n  buildCanonicalDeleteAllMutationIR,\n  buildCanonicalDeleteWhereMutationIR,\n} from './IRMutation.js';\nimport {toWhere} from './IRDesugar.js';\nimport {lowerWhereToIR} from './IRLower.js';\nimport {\n  attachCatalog,\n  catalogOf,\n  getActiveShapeCatalog,\n  withShapeCatalog,\n} from '../utils/ShapeClass.js';\nimport type {WherePath} from './SelectQuery.js';\nimport type {\n  IRAskQuery,\n  IRCountQuery,\n  IRSelectQuery,\n} from './IntermediateRepresentation.js';\nimport type {RawAskInput} from './AskQuery.js';\nimport type {RawCountInput} from './CountQuery.js';\nimport type {IRCreateQuery} from './CreateQuery.js';\nimport type {IRUpdateQuery} from './UpdateQuery.js';\nimport type {IRDeleteQuery} from './DeleteQuery.js';\nimport type {\n  CreateLowerSpec,\n  UpdateLowerSpec,\n  DeleteLowerSpec,\n} from './mutationLowerSpec.js';\n\n/** A select query that can be lowered (the select builder). */\nexport type LowerableSelect = {readonly __queryKind: 'select'; toRawInput(): any};\n/** An ask query that can be lowered (the ask builder). */\nexport type LowerableAsk = {readonly __queryKind: 'ask'; toRawInput(): RawAskInput};\n/** A count query that can be lowered (the count builder). */\nexport type LowerableCount = {readonly __queryKind: 'count'; toRawInput(): RawCountInput};\n/** A mutation query that can be lowered (the mutation builders). */\nexport type LowerableCreate = {readonly __queryKind: 'create'; _lowerSpec(): CreateLowerSpec};\nexport type LowerableUpdate = {readonly __queryKind: 'update'; _lowerSpec(): UpdateLowerSpec};\nexport type LowerableDelete = {readonly __queryKind: 'delete'; _lowerSpec(): DeleteLowerSpec};\nexport type LowerableQuery =\n  | LowerableSelect\n  | LowerableAsk\n  | LowerableCount\n  | LowerableCreate\n  | LowerableUpdate\n  | LowerableDelete;\n\n/** Lower a pre-evaluated where path to its canonical IR fragment. */\nfunction lowerWherePath(where: WherePath) {\n  return lowerWhereToIR(toWhere(where));\n}\n\n/**\n * Resolve any query-context reference carried as a mutation field value. The\n * builder preserves a live `PendingQueryContext` through normalization (so it can\n * serialize as `{@ctx}`); at lowering a mutation must hit a concrete node, so the\n * context is resolved here and an unset one throws `UnresolvedContextError`.\n */\nfunction resolveValueContexts(val: unknown): unknown {\n  if (val instanceof PendingQueryContext) {\n    return {id: resolveContextId(val.contextName, true)!};\n  }\n  if (Array.isArray(val)) {\n    return val.map(resolveValueContexts);\n  }\n  if (val && typeof val === 'object') {\n    if (isSetModificationValue(val)) {\n      const mod = val as {$add?: unknown[]; $remove?: unknown[]};\n      const out: {$add?: unknown[]; $remove?: unknown[]} = {};\n      if (mod.$add) out.$add = mod.$add.map(resolveValueContexts);\n      if (mod.$remove) out.$remove = mod.$remove.map(resolveValueContexts);\n      return out;\n    }\n    if ('fields' in val) {\n      return resolveDescriptionContexts(val as NodeDescriptionValue);\n    }\n  }\n  return val;\n}\n\n/** Deep-resolve context references in a normalized node description (returns a new copy). */\nfunction resolveDescriptionContexts(desc: NodeDescriptionValue): NodeDescriptionValue {\n  return {\n    ...desc,\n    fields: desc.fields.map((f) => ({...f, val: resolveValueContexts(f.val) as typeof f.val})),\n  };\n}\n\nfunction lowerCreate(spec: CreateLowerSpec): IRCreateQuery {\n  const description = resolveDescriptionContexts(\n    new MutationQueryFactory().describe(spec.shapeClass.shape, spec.data, {\n      allowTopLevelId: true,\n      validate: 'complete',\n    }),\n  );\n  return buildCanonicalCreateMutationIR({shape: spec.shapeClass.shape, description});\n}\n\nfunction lowerUpdate(spec: UpdateLowerSpec): IRUpdateQuery {\n  const shape = spec.shapeClass.shape;\n  const updates = resolveDescriptionContexts(\n    new MutationQueryFactory().describe(shape, spec.data, {validate: 'partial'}),\n  );\n  if (spec.mode === 'for') {\n    return spec.upsert\n      ? buildCanonicalUpsertMutationIR({id: spec.targetId!, shape, updates})\n      : buildCanonicalUpdateMutationIR({id: spec.targetId!, shape, updates});\n  }\n  // forAll / where\n  const lowered = spec.wherePath ? lowerWherePath(spec.wherePath) : undefined;\n  return buildCanonicalUpdateWhereMutationIR({\n    shape,\n    updates,\n    where: lowered?.where,\n    wherePatterns: lowered?.wherePatterns,\n  });\n}\n\nfunction lowerDelete(spec: DeleteLowerSpec): IRDeleteQuery {\n  const shape = spec.shapeClass.shape;\n  if (spec.mode === 'all') {\n    return buildCanonicalDeleteAllMutationIR({shape});\n  }\n  if (spec.mode === 'where') {\n    const {where, wherePatterns} = lowerWherePath(spec.wherePath!);\n    return buildCanonicalDeleteWhereMutationIR({shape, where, wherePatterns});\n  }\n  // Resolve any context-ref ids ({@ctx}) against the live map — a delete must hit\n  // a concrete node, so an unresolved one throws (never a silent `{id: undefined}`).\n  const resolvedIds = spec.ids!.map((id) =>\n    id instanceof PendingQueryContext\n      ? {id: resolveContextId(id.contextName, true)!}\n      : id,\n  );\n  const ids = new MutationQueryFactory().normalizeNodeRefs(resolvedIds);\n  return buildCanonicalDeleteMutationIR({shape, ids});\n}\n\n/**\n * Lower an ask to its canonical IR.\n *\n * The shaped case reuses the select pipeline to build the pattern — one\n * implementation of shape scans, traversals, filters and minus — and then keeps\n * only the pattern-bearing part. The rootless (shapeless) case has no pattern to\n * build: it is a bare subject.\n */\nfunction lowerAsk(input: RawAskInput): IRAskQuery {\n  if (input.nullSubject) {\n    // \"Does the node with no id exist?\" is answered `false` without querying —\n    // `AskBuilder.exec` does that before dispatching. Reaching lowering means a\n    // store took the builder off the normal path; a subject-less pattern would\n    // match every instance of the shape and answer `true`, so refuse it loudly.\n    throw new Error(\n      'Cannot lower an ask query with no subject (`.for(null)`). It resolves to ' +\n      '`false` without querying — execute it through `exec()` rather than lowering it.',\n    );\n  }\n  const subject = input.subject;\n  if (!input.shape) {\n    // Shapeless: no rdf:type constraint, so no shape scan and no property refs.\n    const id =\n      subject instanceof PendingQueryContext\n        ? resolveContextId(subject.contextName, true)!\n        : (subject as {id?: string} | undefined)?.id;\n    return attachCatalog<IRAskQuery>({kind: 'ask', patterns: [], subjectId: id});\n  }\n  const selected = buildSelectQuery({\n    entries: [],\n    shape: input.shape,\n    subject,\n    subjects: input.subjects,\n    where: input.where,\n    minusEntries: input.minusEntries,\n  });\n  return attachCatalog<IRAskQuery>({\n    kind: 'ask',\n    root: selected.root,\n    patterns: selected.patterns,\n    where: selected.where,\n    subjectId: selected.subjectId,\n    subjectIds: selected.subjectIds,\n  });\n}\n\n/**\n * The variable a root count binds its `COUNT` to.\n *\n * Chosen not to collide with the `a<N>` alias scheme the pipeline generates for\n * the root and every traversal, so it never needs the collision rename\n * `selectToAlgebra` applies to aggregate aliases.\n */\nexport const COUNT_ALIAS = 'count';\n\n/**\n * Lower a count to its canonical IR.\n *\n * Reuses the select pipeline to build the pattern — one implementation of shape\n * scans, traversals, filters and minus — and then keeps only the pattern-bearing\n * part, exactly as {@link lowerAsk} does. The `entries: []` is why nothing is\n * projected: a count has no projection to build.\n */\nfunction lowerCount(input: RawCountInput): IRCountQuery {\n  if (input.nullSubject) {\n    // \"How many nodes with no id match?\" is answered `0` without querying —\n    // `CountBuilder.exec` does that before dispatching. Reaching lowering means a\n    // store took the builder off the normal path; a subject-less pattern would\n    // count every instance of the shape and report it as the count of one node.\n    throw new Error(\n      'Cannot lower a count query with no subject (`.for(null)`). It resolves to ' +\n      '`0` without querying — execute it through `exec()` rather than lowering it.',\n    );\n  }\n  if (!input.shape) {\n    throw new Error(\n      'Cannot lower a count query with no shape. A shapeless count would count ' +\n      'every node in the store, under any type or none.',\n    );\n  }\n  // A `{\"@ctx\": name}` subject arrives here as a live PendingQueryContext, and\n  // `buildSelectQuery` narrows a subject with `'id' in subject` — so an UNRESOLVED\n  // one would quietly yield `subjectId: undefined` and the count would be of every\n  // instance of the shape, reported as the count of one node. `CountBuilder.exec`\n  // answers `0` for that case before dispatching, but this path is reached without\n  // it: a receiver that rehydrates an envelope with `fromJSON` and hands the builder\n  // straight to a store. Resolve it here, which throws `UnresolvedContextError` when\n  // the context is unset — the same \"not ready\" a where-clause reference raises, and\n  // never a plausible number.\n  const subject =\n    input.subject instanceof PendingQueryContext\n      ? {id: resolveContextId(input.subject.contextName, true)!}\n      : input.subject;\n  const selected = buildSelectQuery({\n    entries: [],\n    shape: input.shape,\n    subject,\n    subjects: input.subjects,\n    where: input.where,\n    minusEntries: input.minusEntries,\n  });\n  return attachCatalog<IRCountQuery>({\n    kind: 'count',\n    root: selected.root,\n    patterns: selected.patterns,\n    where: selected.where,\n    subjectId: selected.subjectId,\n    subjectIds: selected.subjectIds,\n    alias: COUNT_ALIAS,\n  });\n}\n\nexport function lower(query: LowerableSelect): IRSelectQuery;\nexport function lower(query: LowerableAsk): IRAskQuery;\nexport function lower(query: LowerableCount): IRCountQuery;\nexport function lower(query: LowerableCreate): IRCreateQuery;\nexport function lower(query: LowerableUpdate): IRUpdateQuery;\nexport function lower(query: LowerableDelete): IRDeleteQuery;\nexport function lower(\n  query: LowerableQuery,\n):\n  | IRSelectQuery\n  | IRAskQuery\n  | IRCountQuery\n  | IRCreateQuery\n  | IRUpdateQuery\n  | IRDeleteQuery {\n  // Lower in the catalog the query captured; the IR it returns records it (non-enumerable\n  // `catalog`) for the compile that may run after an await.\n  const catalog = catalogOf(query);\n  if (catalog !== getActiveShapeCatalog()) {\n    return withShapeCatalog(catalog, () => lower(query as LowerableSelect));\n  }\n  switch (query.__queryKind) {\n    case 'select':\n      return buildSelectQuery(query.toRawInput());\n    case 'ask':\n      return lowerAsk(query.toRawInput());\n    case 'count':\n      return lowerCount(query.toRawInput());\n    case 'create':\n      return lowerCreate(query._lowerSpec());\n    case 'update':\n      return lowerUpdate(query._lowerSpec());\n    case 'delete':\n      return lowerDelete(query._lowerSpec());\n  }\n}\n"]}

package/lib/esm/queries/queryDependencies.js

@@ -19,10 +19,11 @@
  * (`^member`, `knows/name`) contributes every predicate it touches.
  */
 import { lower } from './lower.js';
+import { RegistryCache } from '../utils/registryCache.js';
 import { getSimplePathId } from '../paths/normalizePropertyPath.js';
 import { collectPathUris } from '../paths/pathExprToSparql.js';
 import { findPropertyShapeById, getPropertyShapes, } from '../shapes/nodeShapeData.js';
-import { getAllNodeShapes, getNodeShape, getRegistryVersion, getShapeClass, } from '../utils/ShapeClass.js';
+import { getAllNodeShapes, getNodeShape, catalogOf, getActiveShapeCatalog, withShapeCatalog, getShapeClass, } from '../utils/ShapeClass.js';
 // ---------------------------------------------------------------------------
 // Predicate resolution
 // ---------------------------------------------------------------------------
@@ -55,8 +56,7 @@ function valueShapeOf(propertyShapeId) {
 }
 // Owner lookups, cached on the same terms as `findPropertyShapeById`: successful
 // resolutions only, invalidated by the registry version.
-const declaringShapeCache = new Map();
-let declaringShapeCacheVersion = -1;
+const declaringShapeCache = new RegistryCache();
 /**
  * The node shape that declares a property shape as its own.
  *
@@ -66,17 +66,13 @@ let declaringShapeCacheVersion = -1;
  * trace of `Employee` left is that `employeeId` is declared there.
  */
 function declaringShapeOf(propertyShapeId) {
-    const version = getRegistryVersion();
-    if (version !== declaringShapeCacheVersion) {
-        declaringShapeCache.clear();
-        declaringShapeCacheVersion = version;
-    }
-    const cached = declaringShapeCache.get(propertyShapeId);
+    const cache = declaringShapeCache.get();
+    const cached = cache.get(propertyShapeId);
     if (cached)
         return cached;
     for (const nodeShape of getAllNodeShapes().values()) {
         if (getPropertyShapes(nodeShape, false).some((ps) => ps.id === propertyShapeId)) {
-            declaringShapeCache.set(propertyShapeId, nodeShape.id);
+            cache.set(propertyShapeId, nodeShape.id);
             return nodeShape.id;
         }
     }
@@ -298,6 +294,10 @@ function isBound(ir) {
  */
 export function queryDependencies(query) {
     var _a;
+    const catalog = catalogOf(query);
+    if (catalog !== getActiveShapeCatalog()) {
+        return withShapeCatalog(catalog, () => queryDependencies(query));
+    }
     const ir = lowerQuery(query);
     const collector = new DependencyCollector();
     const deps = collector.deps;
@@ -424,6 +424,10 @@ function resolveShapeData(shapeId) {
  * (`update_where`, `delete_all`, `delete_where`), where `ids` stays `undefined`.
  */
 export function mutationEffects(mutation, result) {
+    const catalog = catalogOf(mutation);
+    if (catalog !== getActiveShapeCatalog()) {
+        return withShapeCatalog(catalog, () => mutationEffects(mutation, result));
+    }
     const ir = lowerMutation(mutation);
     const collector = new EffectCollector();
     switch (ir.kind) {

package/lib/esm/queries/queryDependencies.js.map

@@ -1 +1 @@
-{"version":3,"file":"queryDependencies.js","sourceRoot":"","sources":["../../../src/queries/queryDependencies.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAC,KAAK,EAAC,MAAM,YAAY,CAAC;AAwBjC,OAAO,EAAC,eAAe,EAAC,MAAM,mCAAmC,CAAC;AAClE,OAAO,EAAC,eAAe,EAAC,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EACL,qBAAqB,EACrB,iBAAiB,GAElB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,kBAAkB,EAClB,aAAa,GACd,MAAM,wBAAwB,CAAC;AA0ChC,8EAA8E;AAC9E,uBAAuB;AACvB,8EAA8E;AAE9E;;;;;;;GAOG;AACH,SAAS,YAAY,CAAC,eAAuB,EAAE,QAAmB;IAChE,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,IAAI,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;QACvC,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;IAChD,CAAC;IACD,MAAM,aAAa,GAAG,qBAAqB,CAAC,eAAe,CAAC,CAAC;IAC7D,IAAI,CAAC,aAAa;QAAE,OAAO,CAAC,eAAe,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,eAAe,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;IACnD,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,eAAe,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;IACjD,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;AAChD,CAAC;AAED,kFAAkF;AAClF,SAAS,YAAY,CAAC,eAAuB;;IAC3C,OAAO,MAAA,MAAA,qBAAqB,CAAC,eAAe,CAAC,0CAAE,UAAU,0CAAE,EAAE,CAAC;AAChE,CAAC;AAED,iFAAiF;AACjF,yDAAyD;AACzD,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAkB,CAAC;AACtD,IAAI,0BAA0B,GAAG,CAAC,CAAC,CAAC;AAEpC;;;;;;;GAOG;AACH,SAAS,gBAAgB,CAAC,eAAuB;IAC/C,MAAM,OAAO,GAAG,kBAAkB,EAAE,CAAC;IACrC,IAAI,OAAO,KAAK,0BAA0B,EAAE,CAAC;QAC3C,mBAAmB,CAAC,KAAK,EAAE,CAAC;QAC5B,0BAA0B,GAAG,OAAO,CAAC;IACvC,CAAC;IACD,MAAM,MAAM,GAAG,mBAAmB,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;IACxD,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAC1B,KAAK,MAAM,SAAS,IAAI,gBAAgB,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC;QACpD,IAAI,iBAAiB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,eAAe,CAAC,EAAE,CAAC;YAChF,mBAAmB,CAAC,GAAG,CAAC,eAAe,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC;YACvD,OAAO,SAAS,CAAC,EAAE,CAAC;QACtB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,MAAM,GAAG,CAAC,MAAmB,EAAE,MAAwB,EAAQ,EAAE;IACrE,KAAK,MAAM,CAAC,IAAI,MAAM;QAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACxC,CAAC,CAAC;AAYF,MAAM,mBAAmB;IAAzB;QACW,SAAI,GAAsB;YACjC,MAAM,EAAE,IAAI,GAAG,EAAE;YACjB,MAAM,EAAE,IAAI,GAAG,EAAE;YACjB,MAAM,EAAE,IAAI,GAAG,EAAE;YACjB,MAAM,EAAE,IAAI,GAAG,EAAE;YACjB,OAAO,EAAE,IAAI;SACd,CAAC;QACF,mDAAmD;QAClC,iBAAY,GAAG,IAAI,GAAG,EAAwB,CAAC;QAChE,uFAAuF;QACtE,YAAO,GAAG,IAAI,GAAG,EAAqB,CAAC;QACxD,6FAA6F;QAC5E,kBAAa,GAA2C,EAAE,CAAC;IAsJ9E,CAAC;IApJC,+EAA+E;IAE/E,WAAW,CAAC,OAAuB,EAAE,QAAiB;;QACpD,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;YACrB,KAAK,YAAY;gBACf,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBACpC,OAAO;YACT,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,EAAC,OAAO,EAAE,QAAQ,EAAC,CAAC,CAAC;gBACvD,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;gBACtC,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;oBACnB,wEAAwE;oBACxE,mEAAmE;oBACnE,yDAAyD;oBACzD,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,EAAE,EAAC,CAAC,CAAC;gBACrE,CAAC;gBACD,KAAK,MAAM,KAAK,IAAI,MAAA,OAAO,CAAC,YAAY,mCAAI,EAAE,EAAE,CAAC;oBAC/C,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;gBACzD,CAAC;gBACD,OAAO;YACT,CAAC;YACD,KAAK,MAAM;gBACT,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,QAAQ;oBAAE,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;gBAChE,OAAO;YACT,KAAK,UAAU;gBACb,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;gBAC5C,OAAO;YACT,KAAK,OAAO;gBACV,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,QAAQ;oBAAE,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;gBAChE,OAAO;YACT,KAAK,QAAQ;gBACX,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBACxC,OAAO;YACT,KAAK,OAAO;gBACV,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBACxC,IAAI,OAAO,CAAC,MAAM;oBAAE,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAC,CAAC,CAAC;gBACpE,OAAO;QACX,CAAC;IACH,CAAC;IAED,gFAAgF;IAEhF;;;OAGG;IACH,KAAK,CAAC,KAAa,EAAE,MAAe;QAClC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,OAAO,OAAO,KAAK,MAAM,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACnD,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACrB,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAC5C,IAAI,CAAC,IAAI;gBAAE,MAAM;YACjB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC1E,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;QAC9B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,6FAA6F;IACrF,cAAc,CAAC,eAAuB;QAC5C,MAAM,SAAS,GAAG,gBAAgB,CAAC,eAAe,CAAC,CAAC;QACpD,IAAI,SAAS;YAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC/C,MAAM,UAAU,GAAG,YAAY,CAAC,eAAe,CAAC,CAAC;QACjD,IAAI,UAAU;YAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACnD,CAAC;IAEO,sBAAsB,CAAC,IAA0B,EAAE,KAAc;QACvE,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACnC,OAAO,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC;IACjG,CAAC;IAED,oEAAoE;IACpE,aAAa,CAAC,IAAkB,EAAE,KAAc;QAC9C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,eAAe;gBAClB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,sBAAsB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;gBACnE,OAAO;YACT,KAAK,uBAAuB;gBAC1B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;gBACtD,OAAO;YACT,KAAK,YAAY;gBACf,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;gBACxD,OAAO;YACT,KAAK,aAAa;gBAChB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBACrC,IAAI,IAAI,CAAC,MAAM;oBAAE,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;gBACxD,OAAO;YACT;gBACE,KAAK,MAAM,KAAK,IAAI,gBAAgB,CAAC,IAAI,CAAC;oBAAE,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACjF,CAAC;IACH,CAAC;IAED,8EAA8E;IAC9E,iBAAiB,CAAC,IAAkB;QAClC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,eAAe;gBAClB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC5D,OAAO;YACT,KAAK,YAAY;gBACf,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;gBACjD,OAAO;YACT;gBACE,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAEO,aAAa,CAAC,IAAkB;QACtC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,eAAe;gBAClB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC5D,OAAO;YACT,KAAK,YAAY;gBACf,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;gBACjD,OAAO;YACT,KAAK,uBAAuB;gBAC1B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;gBACtD,OAAO;YACT,KAAK,aAAa;gBAChB,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;gBACzB,OAAO;YACT;gBACE,KAAK,MAAM,KAAK,IAAI,gBAAgB,CAAC,IAAI,CAAC;oBAAE,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,kBAAkB;QAChB,6EAA6E;QAC7E,yCAAyC;QACzC,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC;YACjC,MAAM,EAAC,IAAI,EAAE,KAAK,EAAC,GAAG,IAAI,CAAC,aAAa,CAAC,KAAK,EAAG,CAAC;YAClD,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IAED,wFAAwF;IACxF,kBAAkB;QAChB,KAAK,MAAM,EAAC,OAAO,EAAE,QAAQ,EAAC,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;YAC7D,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC;gBAAE,SAAS;YACxC,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;YAC9D,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;YACjE,4DAA4D;YAC5D,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;CACF;AAED,gFAAgF;AAChF,SAAS,gBAAgB,CAAC,IAAkB;IAC1C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,aAAa;YAChB,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,KAAK,cAAc;YACjB,OAAO,IAAI,CAAC,WAAW,CAAC;QAC1B,KAAK,UAAU;YACb,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC3B,KAAK,eAAe,CAAC;QACrB,KAAK,gBAAgB;YACnB,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,KAAK,SAAS;YACZ,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC3C;YACE,OAAO,EAAE,CAAC;IACd,CAAC;AACH,CAAC;AAED,+EAA+E;AAC/E,SAAS,UAAU,CACjB,KAAsD;IAEtD,QAAQ,KAAK,CAAC,WAAW,EAAE,CAAC;QAC1B,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC;QACtB,KAAK,OAAO;YACV,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC;QACtB,KAAK,KAAK;YACR,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CAAC,EAA+C;IAC9D,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;AACrE,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,iBAAiB,CAC/B,KAAsD;;IAEtD,MAAM,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IAC7B,MAAM,SAAS,GAAG,IAAI,mBAAmB,EAAE,CAAC;IAC5C,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC;IAE5B,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QACb,6EAA6E;QAC7E,sBAAsB;QACtB,IAAI,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;QAC7B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACtC,KAAK,MAAM,OAAO,IAAI,EAAE,CAAC,QAAQ;QAAE,SAAS,CAAC,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAEzE,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU;YAAE,SAAS,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACjF,CAAC;IACD,IAAI,EAAE,CAAC,KAAK;QAAE,SAAS,CAAC,aAAa,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IAChD,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACzB,KAAK,MAAM,KAAK,IAAI,MAAA,EAAE,CAAC,OAAO,mCAAI,EAAE;YAAE,SAAS,CAAC,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAClF,CAAC;IACD,SAAS,CAAC,kBAAkB,EAAE,CAAC;IAC/B,SAAS,CAAC,kBAAkB,EAAE,CAAC;IAE/B,IAAI,CAAC,OAAO,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC5B,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8EAA8E;AAC9E,kBAAkB;AAClB,8EAA8E;AAE9E,MAAM,UAAU,GAAG,CAAC,KAAc,EAAuB,EAAE,CACzD,CAAC,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,QAAQ,IAAI,KAAK,IAAI,OAAO,IAAI,KAAK,CAAC;AAEhF,MAAM,iBAAiB,GAAG,CAAC,KAAc,EAA4D,EAAE,CACrG,CAAC,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,KAAK,IAAI,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC;AAEtG,MAAM,eAAe;IAArB;QACW,UAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAC1B,QAAG,GAAG,IAAI,GAAG,EAAU,CAAC;QACxB,eAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IAoD1C,CAAC;IAlDC,oFAAoF;IACpF,YAAY,CAAC,IAAgB,EAAE,MAAe;QAC5C,IAAI,MAAM,EAAE,CAAC;YACX,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAChC,IAAI,IAAI,CAAC,EAAE;gBAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrC,CAAC;aAAM,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;YACnB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACxB,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;YACjD,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAEO,SAAS,CAAC,KAAmB;;QACnC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO;QAClD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,KAAK,MAAM,IAAI,IAAI,KAAK;gBAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YAC/C,OAAO;QACT,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,YAAY,IAAI;YAAE,OAAO;QAC/D,IAAI,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YACtB,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC/B,OAAO;QACT,CAAC;QACD,IAAI,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7B,KAAK,MAAM,IAAI,IAAI,MAAA,KAAK,CAAC,GAAG,mCAAI,EAAE;gBAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YACzD,KAAK,MAAM,GAAG,IAAI,MAAA,KAAK,CAAC,MAAM,mCAAI,EAAE,EAAE,CAAC;gBACrC,IAAI,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,EAAE;oBAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACpC,CAAC;YACD,OAAO;QACT,CAAC;QACD,8EAA8E;QAC9E,gDAAgD;IAClD,CAAC;IAED,uEAAuE;IACvE,UAAU,CAAC,KAAc,EAAE,OAAO,IAAI,GAAG,EAAU;QACjD,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,YAAY,IAAI;YAAE,OAAO;QACzE,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO;QAC5B,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,KAAK,MAAM,IAAI,IAAI,KAAK;gBAAE,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACtD,OAAO;QACT,CAAC;QACD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,EAAE,CAAC;YAC5E,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;;gBAC9D,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;CACF;AAED,+EAA+E;AAC/E,SAAS,aAAa,CACpB,QAA6D;IAE7D,QAAQ,QAAQ,CAAC,WAAW,EAAE,CAAC;QAC7B,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,QAAQ,CAAC,CAAC;QACzB,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,QAAQ,CAAC,CAAC;QACzB,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC3B,CAAC;AACH,CAAC;AAED,qEAAqE;AACrE,SAAS,gBAAgB,CAAC,OAAe;;IACvC,OAAO,MAAA,MAAA,aAAa,CAAC,OAAO,CAAC,0CAAE,KAAK,mCAAI,YAAY,CAAC,OAAO,CAAC,CAAC;AAChE,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,eAAe,CAC7B,QAA6D,EAC7D,MAAgB;IAEhB,MAAM,EAAE,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IACnC,MAAM,SAAS,GAAG,IAAI,eAAe,EAAE,CAAC;IAExC,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YACnC,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACvC,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YAC7B,OAAO;gBACL,EAAE,EAAE,QAAQ;gBACZ,KAAK,EAAE,EAAE,CAAC,KAAK;gBACf,KAAK,EAAE,SAAS,CAAC,KAAK;gBACtB,GAAG,EAAE,SAAS,CAAC,GAAG;gBAClB,UAAU,EAAE,SAAS,CAAC,UAAU;aACjC,CAAC;QACJ,CAAC;QACD,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ;gBAAE,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YAC7D,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACzB,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACvC,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YAC7B,OAAO;gBACL,EAAE,EAAE,EAAE,CAAC,IAAI;gBACX,KAAK,EAAE,EAAE,CAAC,KAAK;gBACf,KAAK,EAAE,SAAS,CAAC,KAAK;gBACtB,GAAG,EAAE,SAAS,CAAC,GAAG;gBAClB,UAAU,EAAE,SAAS,CAAC,UAAU;aACjC,CAAC;QACJ,CAAC;QACD,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACvC,OAAO;gBACL,EAAE,EAAE,QAAQ;gBACZ,KAAK,EAAE,EAAE,CAAC,KAAK;gBACf,KAAK,EAAE,SAAS,CAAC,KAAK;gBACtB,GAAG,EAAE,SAAS;gBACd,UAAU,EAAE,SAAS,CAAC,UAAU;aACjC,CAAC;QACJ,CAAC;QACD,KAAK,QAAQ,CAAC;QACd,KAAK,YAAY,CAAC;QAClB,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YACnC,MAAM,SAAS,GAAG,gBAAgB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YAC7C,IAAI,SAAS,EAAE,CAAC;gBACd,KAAK,MAAM,EAAE,IAAI,iBAAiB,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC;oBACpD,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC/C,CAAC;YACH,CAAC;YACD,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACzB,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC;oBACzB,IAAI,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,EAAE;wBAAE,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACzC,CAAC;gBACD,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YAC/B,CAAC;YACD,OAAO;gBACL,EAAE,EAAE,QAAQ;gBACZ,KAAK,EAAE,EAAE,CAAC,KAAK;gBACf,KAAK,EAAE,SAAS,CAAC,KAAK;gBACtB,GAAG,EAAE,EAAE,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS;gBACrD,UAAU,EAAE,SAAS,CAAC,UAAU;aACjC,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC","sourcesContent":["/*\n * This Source Code Form is subject to the terms of the Mozilla Public\n * License, v. 2.0. If a copy of the MPL was not distributed with this\n * file, You can obtain one at https://mozilla.org/MPL/2.0/.\n */\n\n/**\n * Dependency helpers for live queries.\n *\n * Two pure functions that describe, in terms of **predicate IRIs**, what a query\n * reads ({@link queryDependencies}) and what a mutation writes\n * ({@link mutationEffects}). A live-query store feeds both into its change matcher:\n * a query is re-run when a mutation writes a predicate the query depends on, on a\n * node the query can see.\n *\n * Both work on the canonical IR (`lower(query)`), where every property is a\n * property-SHAPE id. Each one is resolved to the predicate(s) it is declared with\n * (`sh:path`), so two shapes that share a predicate — `Person.name` and `Team.name`\n * both on `schema:name` — describe the same dependency, and a structured path\n * (`^member`, `knows/name`) contributes every predicate it touches.\n */\nimport {lower} from './lower.js';\nimport type {\n  LowerableAsk,\n  LowerableCount,\n  LowerableCreate,\n  LowerableDelete,\n  LowerableSelect,\n  LowerableUpdate,\n} from './lower.js';\nimport type {\n  IRAskQuery,\n  IRCountQuery,\n  IRExpression,\n  IRFieldValue,\n  IRGraphPattern,\n  IRNodeData,\n  IRPropertyExpression,\n  IRSelectQuery,\n  IRTraversePattern,\n} from './IntermediateRepresentation.js';\nimport type {IRCreateQuery} from './CreateQuery.js';\nimport type {IRUpdateQuery} from './UpdateQuery.js';\nimport type {IRDeleteQuery} from './DeleteQuery.js';\nimport type {PathExpr} from '../paths/PropertyPathExpr.js';\nimport {getSimplePathId} from '../paths/normalizePropertyPath.js';\nimport {collectPathUris} from '../paths/pathExprToSparql.js';\nimport {\n  findPropertyShapeById,\n  getPropertyShapes,\n  type NodeShapeData,\n} from '../shapes/nodeShapeData.js';\nimport {\n  getAllNodeShapes,\n  getNodeShape,\n  getRegistryVersion,\n  getShapeClass,\n} from '../utils/ShapeClass.js';\n\n// ---------------------------------------------------------------------------\n// Public types\n// ---------------------------------------------------------------------------\n\nexport type QueryDependencies = {\n  /** Predicates read on nodes whose ids appear in the result (root row + projected relation rows). */\n  narrow: Set<string>;\n  /** Predicates deciding membership/order: where, scoped where, minus, exists, sortBy, inner orderBy. */\n  filter: Set<string>;\n  /**\n   * Predicates read on nodes whose ids are NOT projected: `size()` / aggregates over\n   * relations, computed values over traversals, traversals with no projected id.\n   */\n  hidden: Set<string>;\n  /**\n   * Shape IRIs the query is pinned to: the root scan, nested shape scans (minus by\n   * shape), and — for every property read — the shape declaring it and the value\n   * shape it points at.\n   */\n  shapes: Set<string>;\n  /** `false` when the query is bound to subjects (`.for` / `.forAll` / a resolved context). */\n  unbound: boolean;\n};\n\nexport type MutationEffects = {\n  op: 'create' | 'update' | 'upsert' | 'delete';\n  /** Routing shape IRI. */\n  shape: string;\n  /** Predicates written (nested node descriptions and add/remove relations included); for delete: every predicate of the shape. */\n  props: Set<string>;\n  /**\n   * Affected node ids: the target id(s), nested created nodes, removed references, and every\n   * `id` found anywhere in `result` (conservative: a reference echoed in the result counts).\n   * `undefined` = unknown (`update_where`, `delete_all`, `delete_where`).\n   */\n  ids?: Set<string>;\n  /** Shapes whose instance set may have changed: the target shape for create/upsert/delete + shapes of nested created nodes; empty for a plain update. */\n  membership: Set<string>;\n};\n\n// ---------------------------------------------------------------------------\n// Predicate resolution\n// ---------------------------------------------------------------------------\n\n/**\n * The predicate IRI(s) a property-shape id reads or writes.\n *\n * An inline `pathExpr` wins (it IS the path). Otherwise the registered property\n * shape's `sh:path`: a simple path is one predicate, a structured path every IRI\n * it mentions. An unknown id falls back to the id itself — never empty, so a\n * dependency is never silently dropped.\n */\nfunction predicatesOf(propertyShapeId: string, pathExpr?: PathExpr): string[] {\n  if (pathExpr) {\n    const uris = collectPathUris(pathExpr);\n    return uris.length ? uris : [propertyShapeId];\n  }\n  const propertyShape = findPropertyShapeById(propertyShapeId);\n  if (!propertyShape) return [propertyShapeId];\n  const simple = getSimplePathId(propertyShape.path);\n  if (simple !== null) return [simple];\n  const uris = collectPathUris(propertyShape.path);\n  return uris.length ? uris : [propertyShapeId];\n}\n\n/** The value shape a property-shape id points at, if it is an object property. */\nfunction valueShapeOf(propertyShapeId: string): string | undefined {\n  return findPropertyShapeById(propertyShapeId)?.valueShape?.id;\n}\n\n// Owner lookups, cached on the same terms as `findPropertyShapeById`: successful\n// resolutions only, invalidated by the registry version.\nconst declaringShapeCache = new Map<string, string>();\nlet declaringShapeCacheVersion = -1;\n\n/**\n * The node shape that declares a property shape as its own.\n *\n * Reading a property pins the query to the shape it is declared on, even when the\n * IR carries no scan for it: `p.friends.as(Employee).employeeId` lowers to a plain\n * traversal plus a property read — the cast is type-level only — and the only\n * trace of `Employee` left is that `employeeId` is declared there.\n */\nfunction declaringShapeOf(propertyShapeId: string): string | undefined {\n  const version = getRegistryVersion();\n  if (version !== declaringShapeCacheVersion) {\n    declaringShapeCache.clear();\n    declaringShapeCacheVersion = version;\n  }\n  const cached = declaringShapeCache.get(propertyShapeId);\n  if (cached) return cached;\n  for (const nodeShape of getAllNodeShapes().values()) {\n    if (getPropertyShapes(nodeShape, false).some((ps) => ps.id === propertyShapeId)) {\n      declaringShapeCache.set(propertyShapeId, nodeShape.id);\n      return nodeShape.id;\n    }\n  }\n  return undefined;\n}\n\nconst addAll = (target: Set<string>, values: Iterable<string>): void => {\n  for (const v of values) target.add(v);\n};\n\n// ---------------------------------------------------------------------------\n// queryDependencies\n// ---------------------------------------------------------------------------\n\ntype TraverseInfo = {\n  pattern: IRTraversePattern;\n  /** Sits under a `minus` / `exists` pattern: its predicates decide membership. */\n  inFilter: boolean;\n};\n\nclass DependencyCollector {\n  readonly deps: QueryDependencies = {\n    narrow: new Set(),\n    filter: new Set(),\n    hidden: new Set(),\n    shapes: new Set(),\n    unbound: true,\n  };\n  /** Every traverse, keyed by the alias it binds. */\n  private readonly traverseByTo = new Map<string, TraverseInfo>();\n  /** Traverses whose predicates were attributed to a set by a projection or a filter. */\n  private readonly reached = new Set<IRTraversePattern>();\n  /** Filter expressions found while walking patterns, with the alias their scope starts at. */\n  private readonly scopedFilters: {expr: IRExpression; scope?: string}[] = [];\n\n  // --- pass 1: patterns -------------------------------------------------------\n\n  walkPattern(pattern: IRGraphPattern, inFilter: boolean): void {\n    switch (pattern.kind) {\n      case 'shape_scan':\n        this.deps.shapes.add(pattern.shape);\n        return;\n      case 'traverse': {\n        this.traverseByTo.set(pattern.to, {pattern, inFilter});\n        this.recordShapesOf(pattern.property);\n        if (pattern.filter) {\n          // A scoped where (`t.members.where(m => …)`) decides which related rows\n          // take part; its chain stops at the traversal it scopes, whose own\n          // predicate is attributed wherever that traversal lands.\n          this.scopedFilters.push({expr: pattern.filter, scope: pattern.to});\n        }\n        for (const order of pattern.innerOrderBy ?? []) {\n          addAll(this.deps.filter, predicatesOf(order.property));\n        }\n        return;\n      }\n      case 'join':\n        for (const p of pattern.patterns) this.walkPattern(p, inFilter);\n        return;\n      case 'optional':\n        this.walkPattern(pattern.pattern, inFilter);\n        return;\n      case 'union':\n        for (const p of pattern.branches) this.walkPattern(p, inFilter);\n        return;\n      case 'exists':\n        this.walkPattern(pattern.pattern, true);\n        return;\n      case 'minus':\n        this.walkPattern(pattern.pattern, true);\n        if (pattern.filter) this.scopedFilters.push({expr: pattern.filter});\n        return;\n    }\n  }\n\n  // --- pass 2: attribution -----------------------------------------------------\n\n  /**\n   * The predicates of every traversal from `alias` back towards the root, stopping\n   * before `stopAt` when given. Marks each traversal as reached.\n   */\n  chain(alias: string, stopAt?: string): string[] {\n    const preds: string[] = [];\n    const visited = new Set<string>();\n    let current = alias;\n    while (current !== stopAt && !visited.has(current)) {\n      visited.add(current);\n      const info = this.traverseByTo.get(current);\n      if (!info) break;\n      this.reached.add(info.pattern);\n      preds.push(...predicatesOf(info.pattern.property, info.pattern.pathExpr));\n      current = info.pattern.from;\n    }\n    return preds;\n  }\n\n  /** The shapes a property read pins the query to: its declaring shape and its value shape. */\n  private recordShapesOf(propertyShapeId: string): void {\n    const declaring = declaringShapeOf(propertyShapeId);\n    if (declaring) this.deps.shapes.add(declaring);\n    const valueShape = valueShapeOf(propertyShapeId);\n    if (valueShape) this.deps.shapes.add(valueShape);\n  }\n\n  private propertyExprPredicates(expr: IRPropertyExpression, scope?: string): string[] {\n    this.recordShapesOf(expr.property);\n    return [...predicatesOf(expr.property, expr.pathExpr), ...this.chain(expr.sourceAlias, scope)];\n  }\n\n  /** Every predicate an expression decides membership or order by. */\n  collectFilter(expr: IRExpression, scope?: string): void {\n    switch (expr.kind) {\n      case 'property_expr':\n        addAll(this.deps.filter, this.propertyExprPredicates(expr, scope));\n        return;\n      case 'context_property_expr':\n        addAll(this.deps.filter, predicatesOf(expr.property));\n        return;\n      case 'alias_expr':\n        addAll(this.deps.filter, this.chain(expr.alias, scope));\n        return;\n      case 'exists_expr':\n        this.walkPattern(expr.pattern, true);\n        if (expr.filter) this.collectFilter(expr.filter, scope);\n        return;\n      default:\n        for (const child of childExpressions(expr)) this.collectFilter(child, scope);\n    }\n  }\n\n  /** A projected expression: plain paths are narrow, computed values hidden. */\n  collectProjection(expr: IRExpression): void {\n    switch (expr.kind) {\n      case 'property_expr':\n        addAll(this.deps.narrow, this.propertyExprPredicates(expr));\n        return;\n      case 'alias_expr':\n        addAll(this.deps.narrow, this.chain(expr.alias));\n        return;\n      default:\n        this.collectHidden(expr);\n    }\n  }\n\n  private collectHidden(expr: IRExpression): void {\n    switch (expr.kind) {\n      case 'property_expr':\n        addAll(this.deps.hidden, this.propertyExprPredicates(expr));\n        return;\n      case 'alias_expr':\n        addAll(this.deps.hidden, this.chain(expr.alias));\n        return;\n      case 'context_property_expr':\n        addAll(this.deps.filter, predicatesOf(expr.property));\n        return;\n      case 'exists_expr':\n        this.collectFilter(expr);\n        return;\n      default:\n        for (const child of childExpressions(expr)) this.collectHidden(child);\n    }\n  }\n\n  /** Filters gathered while walking patterns (scoped where, minus filter). */\n  flushScopedFilters(): void {\n    // `collectFilter` on an exists expression may walk new patterns and push new\n    // scoped filters, so drain until stable.\n    while (this.scopedFilters.length) {\n      const {expr, scope} = this.scopedFilters.shift()!;\n      this.collectFilter(expr, scope);\n    }\n  }\n\n  /** Traversals no projection or filter attributed: read, but their ids never surface. */\n  attributeUnreached(): void {\n    for (const {pattern, inFilter} of this.traverseByTo.values()) {\n      if (this.reached.has(pattern)) continue;\n      const target = inFilter ? this.deps.filter : this.deps.hidden;\n      addAll(target, predicatesOf(pattern.property, pattern.pathExpr));\n      // The traversal leading up to it is read on the same terms.\n      addAll(target, this.chain(pattern.from));\n    }\n  }\n}\n\n/** The immediate sub-expressions of a compound expression (none for leaves). */\nfunction childExpressions(expr: IRExpression): IRExpression[] {\n  switch (expr.kind) {\n    case 'binary_expr':\n      return [expr.left, expr.right];\n    case 'logical_expr':\n      return expr.expressions;\n    case 'not_expr':\n      return [expr.expression];\n    case 'function_expr':\n    case 'aggregate_expr':\n      return expr.args;\n    case 'in_expr':\n      return [expr.value, ...expr.source.list];\n    default:\n      return [];\n  }\n}\n\n/** `lower()` is overloaded per builder kind; dispatch on the discriminator. */\nfunction lowerQuery(\n  query: LowerableSelect | LowerableCount | LowerableAsk,\n): IRSelectQuery | IRCountQuery | IRAskQuery {\n  switch (query.__queryKind) {\n    case 'select':\n      return lower(query);\n    case 'count':\n      return lower(query);\n    case 'ask':\n      return lower(query);\n  }\n}\n\nfunction isBound(ir: {subjectId?: string; subjectIds?: string[]}): boolean {\n  return !!(ir.subjectId || (ir.subjectIds && ir.subjectIds.length));\n}\n\n/**\n * What a query reads, as predicate IRIs and shape IRIs.\n *\n * - `narrow`: read on nodes whose ids are in the result (root rows and projected\n *   relation rows) — a change to one of these on a visible node changes the result.\n * - `filter`: decide which nodes are in the result and in what order.\n * - `hidden`: read on nodes the result does not identify (counted relations,\n *   computed values over traversals), so a change there can only be matched by\n *   predicate, not by id.\n * - `shapes`: every shape whose instance set the query scans or traverses into.\n * - `unbound`: `true` unless the query is pinned to known subjects.\n */\nexport function queryDependencies(\n  query: LowerableSelect | LowerableCount | LowerableAsk,\n): QueryDependencies {\n  const ir = lowerQuery(query);\n  const collector = new DependencyCollector();\n  const deps = collector.deps;\n\n  if (!ir.root) {\n    // Shapeless ask: no rdf:type constraint, no properties — nothing is read but\n    // the subject itself.\n    deps.unbound = !ir.subjectId;\n    return deps;\n  }\n\n  collector.walkPattern(ir.root, false);\n  for (const pattern of ir.patterns) collector.walkPattern(pattern, false);\n\n  if (ir.kind === 'select') {\n    for (const item of ir.projection) collector.collectProjection(item.expression);\n  }\n  if (ir.where) collector.collectFilter(ir.where);\n  if (ir.kind === 'select') {\n    for (const order of ir.orderBy ?? []) collector.collectFilter(order.expression);\n  }\n  collector.flushScopedFilters();\n  collector.attributeUnreached();\n\n  deps.unbound = !isBound(ir);\n  return deps;\n}\n\n// ---------------------------------------------------------------------------\n// mutationEffects\n// ---------------------------------------------------------------------------\n\nconst isNodeData = (value: unknown): value is IRNodeData =>\n  !!value && typeof value === 'object' && 'fields' in value && 'shape' in value;\n\nconst isSetModification = (value: unknown): value is {add?: IRFieldValue[]; remove?: {id: string}[]} =>\n  !!value && typeof value === 'object' && ('add' in value || 'remove' in value) && !('kind' in value);\n\nclass EffectCollector {\n  readonly props = new Set<string>();\n  readonly ids = new Set<string>();\n  readonly membership = new Set<string>();\n\n  /** Every field at every depth writes its predicate; nested nodes may be created. */\n  walkNodeData(data: IRNodeData, nested: boolean): void {\n    if (nested) {\n      this.membership.add(data.shape);\n      if (data.id) this.ids.add(data.id);\n    } else if (data.id) {\n      this.ids.add(data.id);\n    }\n    for (const field of data.fields) {\n      addAll(this.props, predicatesOf(field.property));\n      this.walkValue(field.value);\n    }\n  }\n\n  private walkValue(value: IRFieldValue): void {\n    if (value === null || value === undefined) return;\n    if (Array.isArray(value)) {\n      for (const item of value) this.walkValue(item);\n      return;\n    }\n    if (typeof value !== 'object' || value instanceof Date) return;\n    if (isNodeData(value)) {\n      this.walkNodeData(value, true);\n      return;\n    }\n    if (isSetModification(value)) {\n      for (const item of value.add ?? []) this.walkValue(item);\n      for (const ref of value.remove ?? []) {\n        if (ref?.id) this.ids.add(ref.id);\n      }\n      return;\n    }\n    // A `{id}` reference or an expression: neither writes a predicate of its own,\n    // and a referenced node is not itself modified.\n  }\n\n  /** Every string under a key named `id`, anywhere in a store result. */\n  walkResult(value: unknown, seen = new Set<object>()): void {\n    if (!value || typeof value !== 'object' || value instanceof Date) return;\n    if (seen.has(value)) return;\n    seen.add(value);\n    if (Array.isArray(value)) {\n      for (const item of value) this.walkResult(item, seen);\n      return;\n    }\n    for (const [key, child] of Object.entries(value as Record<string, unknown>)) {\n      if (key === 'id' && typeof child === 'string') this.ids.add(child);\n      else this.walkResult(child, seen);\n    }\n  }\n}\n\n/** `lower()` is overloaded per builder kind; dispatch on the discriminator. */\nfunction lowerMutation(\n  mutation: LowerableCreate | LowerableUpdate | LowerableDelete,\n): IRCreateQuery | IRUpdateQuery | IRDeleteQuery {\n  switch (mutation.__queryKind) {\n    case 'create':\n      return lower(mutation);\n    case 'update':\n      return lower(mutation);\n    case 'delete':\n      return lower(mutation);\n  }\n}\n\n/** The shape metadata for a shape IRI, class-backed or data-only. */\nfunction resolveShapeData(shapeId: string): NodeShapeData | undefined {\n  return getShapeClass(shapeId)?.shape ?? getNodeShape(shapeId);\n}\n\n/**\n * What a mutation writes, as predicate IRIs, affected node ids and the shapes\n * whose instance sets may have changed.\n *\n * `result` — what the store returned — is optional and only widens `ids`: a create\n * learns its generated id from it, and an add/remove learns the ids of nested\n * creates. It is never consulted for an op whose target set is unknown\n * (`update_where`, `delete_all`, `delete_where`), where `ids` stays `undefined`.\n */\nexport function mutationEffects(\n  mutation: LowerableCreate | LowerableUpdate | LowerableDelete,\n  result?: unknown,\n): MutationEffects {\n  const ir = lowerMutation(mutation);\n  const collector = new EffectCollector();\n\n  switch (ir.kind) {\n    case 'create': {\n      collector.membership.add(ir.shape);\n      collector.walkNodeData(ir.data, false);\n      collector.walkResult(result);\n      return {\n        op: 'create',\n        shape: ir.shape,\n        props: collector.props,\n        ids: collector.ids,\n        membership: collector.membership,\n      };\n    }\n    case 'update':\n    case 'upsert': {\n      if (ir.kind === 'upsert') collector.membership.add(ir.shape);\n      collector.ids.add(ir.id);\n      collector.walkNodeData(ir.data, false);\n      collector.walkResult(result);\n      return {\n        op: ir.kind,\n        shape: ir.shape,\n        props: collector.props,\n        ids: collector.ids,\n        membership: collector.membership,\n      };\n    }\n    case 'update_where': {\n      collector.walkNodeData(ir.data, false);\n      return {\n        op: 'update',\n        shape: ir.shape,\n        props: collector.props,\n        ids: undefined,\n        membership: collector.membership,\n      };\n    }\n    case 'delete':\n    case 'delete_all':\n    case 'delete_where': {\n      collector.membership.add(ir.shape);\n      const shapeData = resolveShapeData(ir.shape);\n      if (shapeData) {\n        for (const ps of getPropertyShapes(shapeData, true)) {\n          addAll(collector.props, predicatesOf(ps.id));\n        }\n      }\n      if (ir.kind === 'delete') {\n        for (const ref of ir.ids) {\n          if (ref?.id) collector.ids.add(ref.id);\n        }\n        collector.walkResult(result);\n      }\n      return {\n        op: 'delete',\n        shape: ir.shape,\n        props: collector.props,\n        ids: ir.kind === 'delete' ? collector.ids : undefined,\n        membership: collector.membership,\n      };\n    }\n  }\n}\n"]}
+{"version":3,"file":"queryDependencies.js","sourceRoot":"","sources":["../../../src/queries/queryDependencies.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH;;;;;;;;;;;;;;GAcG;AACH,OAAO,EAAC,KAAK,EAAC,MAAM,YAAY,CAAC;AACjC,OAAO,EAAC,aAAa,EAAC,MAAM,2BAA2B,CAAC;AAwBxD,OAAO,EAAC,eAAe,EAAC,MAAM,mCAAmC,CAAC;AAClE,OAAO,EAAC,eAAe,EAAC,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EACL,qBAAqB,EACrB,iBAAiB,GAElB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,SAAS,EACT,qBAAqB,EACrB,gBAAgB,EAChB,aAAa,GACd,MAAM,wBAAwB,CAAC;AA0ChC,8EAA8E;AAC9E,uBAAuB;AACvB,8EAA8E;AAE9E;;;;;;;GAOG;AACH,SAAS,YAAY,CAAC,eAAuB,EAAE,QAAmB;IAChE,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,IAAI,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;QACvC,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;IAChD,CAAC;IACD,MAAM,aAAa,GAAG,qBAAqB,CAAC,eAAe,CAAC,CAAC;IAC7D,IAAI,CAAC,aAAa;QAAE,OAAO,CAAC,eAAe,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,eAAe,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;IACnD,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,eAAe,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;IACjD,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;AAChD,CAAC;AAED,kFAAkF;AAClF,SAAS,YAAY,CAAC,eAAuB;;IAC3C,OAAO,MAAA,MAAA,qBAAqB,CAAC,eAAe,CAAC,0CAAE,UAAU,0CAAE,EAAE,CAAC;AAChE,CAAC;AAED,iFAAiF;AACjF,yDAAyD;AACzD,MAAM,mBAAmB,GAAG,IAAI,aAAa,EAAkB,CAAC;AAEhE;;;;;;;GAOG;AACH,SAAS,gBAAgB,CAAC,eAAuB;IAC/C,MAAM,KAAK,GAAG,mBAAmB,CAAC,GAAG,EAAE,CAAC;IACxC,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;IAC1C,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAC1B,KAAK,MAAM,SAAS,IAAI,gBAAgB,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC;QACpD,IAAI,iBAAiB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,eAAe,CAAC,EAAE,CAAC;YAChF,KAAK,CAAC,GAAG,CAAC,eAAe,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC;YACzC,OAAO,SAAS,CAAC,EAAE,CAAC;QACtB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,MAAM,GAAG,CAAC,MAAmB,EAAE,MAAwB,EAAQ,EAAE;IACrE,KAAK,MAAM,CAAC,IAAI,MAAM;QAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACxC,CAAC,CAAC;AAYF,MAAM,mBAAmB;IAAzB;QACW,SAAI,GAAsB;YACjC,MAAM,EAAE,IAAI,GAAG,EAAE;YACjB,MAAM,EAAE,IAAI,GAAG,EAAE;YACjB,MAAM,EAAE,IAAI,GAAG,EAAE;YACjB,MAAM,EAAE,IAAI,GAAG,EAAE;YACjB,OAAO,EAAE,IAAI;SACd,CAAC;QACF,mDAAmD;QAClC,iBAAY,GAAG,IAAI,GAAG,EAAwB,CAAC;QAChE,uFAAuF;QACtE,YAAO,GAAG,IAAI,GAAG,EAAqB,CAAC;QACxD,6FAA6F;QAC5E,kBAAa,GAA2C,EAAE,CAAC;IAsJ9E,CAAC;IApJC,+EAA+E;IAE/E,WAAW,CAAC,OAAuB,EAAE,QAAiB;;QACpD,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;YACrB,KAAK,YAAY;gBACf,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBACpC,OAAO;YACT,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,EAAC,OAAO,EAAE,QAAQ,EAAC,CAAC,CAAC;gBACvD,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;gBACtC,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;oBACnB,wEAAwE;oBACxE,mEAAmE;oBACnE,yDAAyD;oBACzD,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,EAAE,EAAC,CAAC,CAAC;gBACrE,CAAC;gBACD,KAAK,MAAM,KAAK,IAAI,MAAA,OAAO,CAAC,YAAY,mCAAI,EAAE,EAAE,CAAC;oBAC/C,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;gBACzD,CAAC;gBACD,OAAO;YACT,CAAC;YACD,KAAK,MAAM;gBACT,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,QAAQ;oBAAE,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;gBAChE,OAAO;YACT,KAAK,UAAU;gBACb,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;gBAC5C,OAAO;YACT,KAAK,OAAO;gBACV,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,QAAQ;oBAAE,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;gBAChE,OAAO;YACT,KAAK,QAAQ;gBACX,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBACxC,OAAO;YACT,KAAK,OAAO;gBACV,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBACxC,IAAI,OAAO,CAAC,MAAM;oBAAE,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAC,CAAC,CAAC;gBACpE,OAAO;QACX,CAAC;IACH,CAAC;IAED,gFAAgF;IAEhF;;;OAGG;IACH,KAAK,CAAC,KAAa,EAAE,MAAe;QAClC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,OAAO,OAAO,KAAK,MAAM,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACnD,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACrB,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAC5C,IAAI,CAAC,IAAI;gBAAE,MAAM;YACjB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC1E,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;QAC9B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,6FAA6F;IACrF,cAAc,CAAC,eAAuB;QAC5C,MAAM,SAAS,GAAG,gBAAgB,CAAC,eAAe,CAAC,CAAC;QACpD,IAAI,SAAS;YAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC/C,MAAM,UAAU,GAAG,YAAY,CAAC,eAAe,CAAC,CAAC;QACjD,IAAI,UAAU;YAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACnD,CAAC;IAEO,sBAAsB,CAAC,IAA0B,EAAE,KAAc;QACvE,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACnC,OAAO,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC;IACjG,CAAC;IAED,oEAAoE;IACpE,aAAa,CAAC,IAAkB,EAAE,KAAc;QAC9C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,eAAe;gBAClB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,sBAAsB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;gBACnE,OAAO;YACT,KAAK,uBAAuB;gBAC1B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;gBACtD,OAAO;YACT,KAAK,YAAY;gBACf,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;gBACxD,OAAO;YACT,KAAK,aAAa;gBAChB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBACrC,IAAI,IAAI,CAAC,MAAM;oBAAE,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;gBACxD,OAAO;YACT;gBACE,KAAK,MAAM,KAAK,IAAI,gBAAgB,CAAC,IAAI,CAAC;oBAAE,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACjF,CAAC;IACH,CAAC;IAED,8EAA8E;IAC9E,iBAAiB,CAAC,IAAkB;QAClC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,eAAe;gBAClB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC5D,OAAO;YACT,KAAK,YAAY;gBACf,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;gBACjD,OAAO;YACT;gBACE,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAEO,aAAa,CAAC,IAAkB;QACtC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,eAAe;gBAClB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC5D,OAAO;YACT,KAAK,YAAY;gBACf,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;gBACjD,OAAO;YACT,KAAK,uBAAuB;gBAC1B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;gBACtD,OAAO;YACT,KAAK,aAAa;gBAChB,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;gBACzB,OAAO;YACT;gBACE,KAAK,MAAM,KAAK,IAAI,gBAAgB,CAAC,IAAI,CAAC;oBAAE,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,kBAAkB;QAChB,6EAA6E;QAC7E,yCAAyC;QACzC,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC;YACjC,MAAM,EAAC,IAAI,EAAE,KAAK,EAAC,GAAG,IAAI,CAAC,aAAa,CAAC,KAAK,EAAG,CAAC;YAClD,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IAED,wFAAwF;IACxF,kBAAkB;QAChB,KAAK,MAAM,EAAC,OAAO,EAAE,QAAQ,EAAC,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;YAC7D,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC;gBAAE,SAAS;YACxC,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;YAC9D,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;YACjE,4DAA4D;YAC5D,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;CACF;AAED,gFAAgF;AAChF,SAAS,gBAAgB,CAAC,IAAkB;IAC1C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,aAAa;YAChB,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,KAAK,cAAc;YACjB,OAAO,IAAI,CAAC,WAAW,CAAC;QAC1B,KAAK,UAAU;YACb,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC3B,KAAK,eAAe,CAAC;QACrB,KAAK,gBAAgB;YACnB,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,KAAK,SAAS;YACZ,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC3C;YACE,OAAO,EAAE,CAAC;IACd,CAAC;AACH,CAAC;AAED,+EAA+E;AAC/E,SAAS,UAAU,CACjB,KAAsD;IAEtD,QAAQ,KAAK,CAAC,WAAW,EAAE,CAAC;QAC1B,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC;QACtB,KAAK,OAAO;YACV,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC;QACtB,KAAK,KAAK;YACR,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CAAC,EAA+C;IAC9D,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;AACrE,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,iBAAiB,CAC/B,KAAsD;;IAEtD,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IACjC,IAAI,OAAO,KAAK,qBAAqB,EAAE,EAAE,CAAC;QACxC,OAAO,gBAAgB,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC;IACnE,CAAC;IACD,MAAM,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IAC7B,MAAM,SAAS,GAAG,IAAI,mBAAmB,EAAE,CAAC;IAC5C,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC;IAE5B,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QACb,6EAA6E;QAC7E,sBAAsB;QACtB,IAAI,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;QAC7B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACtC,KAAK,MAAM,OAAO,IAAI,EAAE,CAAC,QAAQ;QAAE,SAAS,CAAC,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAEzE,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACzB,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU;YAAE,SAAS,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACjF,CAAC;IACD,IAAI,EAAE,CAAC,KAAK;QAAE,SAAS,CAAC,aAAa,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IAChD,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACzB,KAAK,MAAM,KAAK,IAAI,MAAA,EAAE,CAAC,OAAO,mCAAI,EAAE;YAAE,SAAS,CAAC,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAClF,CAAC;IACD,SAAS,CAAC,kBAAkB,EAAE,CAAC;IAC/B,SAAS,CAAC,kBAAkB,EAAE,CAAC;IAE/B,IAAI,CAAC,OAAO,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC5B,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8EAA8E;AAC9E,kBAAkB;AAClB,8EAA8E;AAE9E,MAAM,UAAU,GAAG,CAAC,KAAc,EAAuB,EAAE,CACzD,CAAC,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,QAAQ,IAAI,KAAK,IAAI,OAAO,IAAI,KAAK,CAAC;AAEhF,MAAM,iBAAiB,GAAG,CAAC,KAAc,EAA4D,EAAE,CACrG,CAAC,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,KAAK,IAAI,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC;AAEtG,MAAM,eAAe;IAArB;QACW,UAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAC1B,QAAG,GAAG,IAAI,GAAG,EAAU,CAAC;QACxB,eAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IAoD1C,CAAC;IAlDC,oFAAoF;IACpF,YAAY,CAAC,IAAgB,EAAE,MAAe;QAC5C,IAAI,MAAM,EAAE,CAAC;YACX,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAChC,IAAI,IAAI,CAAC,EAAE;gBAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrC,CAAC;aAAM,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;YACnB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACxB,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;YACjD,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAEO,SAAS,CAAC,KAAmB;;QACnC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO;QAClD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,KAAK,MAAM,IAAI,IAAI,KAAK;gBAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YAC/C,OAAO;QACT,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,YAAY,IAAI;YAAE,OAAO;QAC/D,IAAI,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YACtB,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC/B,OAAO;QACT,CAAC;QACD,IAAI,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7B,KAAK,MAAM,IAAI,IAAI,MAAA,KAAK,CAAC,GAAG,mCAAI,EAAE;gBAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YACzD,KAAK,MAAM,GAAG,IAAI,MAAA,KAAK,CAAC,MAAM,mCAAI,EAAE,EAAE,CAAC;gBACrC,IAAI,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,EAAE;oBAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACpC,CAAC;YACD,OAAO;QACT,CAAC;QACD,8EAA8E;QAC9E,gDAAgD;IAClD,CAAC;IAED,uEAAuE;IACvE,UAAU,CAAC,KAAc,EAAE,OAAO,IAAI,GAAG,EAAU;QACjD,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,YAAY,IAAI;YAAE,OAAO;QACzE,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO;QAC5B,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,KAAK,MAAM,IAAI,IAAI,KAAK;gBAAE,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACtD,OAAO;QACT,CAAC;QACD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,EAAE,CAAC;YAC5E,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;;gBAC9D,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;CACF;AAED,+EAA+E;AAC/E,SAAS,aAAa,CACpB,QAA6D;IAE7D,QAAQ,QAAQ,CAAC,WAAW,EAAE,CAAC;QAC7B,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,QAAQ,CAAC,CAAC;QACzB,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,QAAQ,CAAC,CAAC;QACzB,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC3B,CAAC;AACH,CAAC;AAED,qEAAqE;AACrE,SAAS,gBAAgB,CAAC,OAAe;;IACvC,OAAO,MAAA,MAAA,aAAa,CAAC,OAAO,CAAC,0CAAE,KAAK,mCAAI,YAAY,CAAC,OAAO,CAAC,CAAC;AAChE,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,eAAe,CAC7B,QAA6D,EAC7D,MAAgB;IAEhB,MAAM,OAAO,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;IACpC,IAAI,OAAO,KAAK,qBAAqB,EAAE,EAAE,CAAC;QACxC,OAAO,gBAAgB,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,eAAe,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,EAAE,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IACnC,MAAM,SAAS,GAAG,IAAI,eAAe,EAAE,CAAC;IAExC,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YACnC,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACvC,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YAC7B,OAAO;gBACL,EAAE,EAAE,QAAQ;gBACZ,KAAK,EAAE,EAAE,CAAC,KAAK;gBACf,KAAK,EAAE,SAAS,CAAC,KAAK;gBACtB,GAAG,EAAE,SAAS,CAAC,GAAG;gBAClB,UAAU,EAAE,SAAS,CAAC,UAAU;aACjC,CAAC;QACJ,CAAC;QACD,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ;gBAAE,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YAC7D,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACzB,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACvC,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YAC7B,OAAO;gBACL,EAAE,EAAE,EAAE,CAAC,IAAI;gBACX,KAAK,EAAE,EAAE,CAAC,KAAK;gBACf,KAAK,EAAE,SAAS,CAAC,KAAK;gBACtB,GAAG,EAAE,SAAS,CAAC,GAAG;gBAClB,UAAU,EAAE,SAAS,CAAC,UAAU;aACjC,CAAC;QACJ,CAAC;QACD,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACvC,OAAO;gBACL,EAAE,EAAE,QAAQ;gBACZ,KAAK,EAAE,EAAE,CAAC,KAAK;gBACf,KAAK,EAAE,SAAS,CAAC,KAAK;gBACtB,GAAG,EAAE,SAAS;gBACd,UAAU,EAAE,SAAS,CAAC,UAAU;aACjC,CAAC;QACJ,CAAC;QACD,KAAK,QAAQ,CAAC;QACd,KAAK,YAAY,CAAC;QAClB,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YACnC,MAAM,SAAS,GAAG,gBAAgB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YAC7C,IAAI,SAAS,EAAE,CAAC;gBACd,KAAK,MAAM,EAAE,IAAI,iBAAiB,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC;oBACpD,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC/C,CAAC;YACH,CAAC;YACD,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACzB,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC;oBACzB,IAAI,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,EAAE;wBAAE,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACzC,CAAC;gBACD,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YAC/B,CAAC;YACD,OAAO;gBACL,EAAE,EAAE,QAAQ;gBACZ,KAAK,EAAE,EAAE,CAAC,KAAK;gBACf,KAAK,EAAE,SAAS,CAAC,KAAK;gBACtB,GAAG,EAAE,EAAE,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS;gBACrD,UAAU,EAAE,SAAS,CAAC,UAAU;aACjC,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC","sourcesContent":["/*\n * This Source Code Form is subject to the terms of the Mozilla Public\n * License, v. 2.0. If a copy of the MPL was not distributed with this\n * file, You can obtain one at https://mozilla.org/MPL/2.0/.\n */\n\n/**\n * Dependency helpers for live queries.\n *\n * Two pure functions that describe, in terms of **predicate IRIs**, what a query\n * reads ({@link queryDependencies}) and what a mutation writes\n * ({@link mutationEffects}). A live-query store feeds both into its change matcher:\n * a query is re-run when a mutation writes a predicate the query depends on, on a\n * node the query can see.\n *\n * Both work on the canonical IR (`lower(query)`), where every property is a\n * property-SHAPE id. Each one is resolved to the predicate(s) it is declared with\n * (`sh:path`), so two shapes that share a predicate — `Person.name` and `Team.name`\n * both on `schema:name` — describe the same dependency, and a structured path\n * (`^member`, `knows/name`) contributes every predicate it touches.\n */\nimport {lower} from './lower.js';\nimport {RegistryCache} from '../utils/registryCache.js';\nimport type {\n  LowerableAsk,\n  LowerableCount,\n  LowerableCreate,\n  LowerableDelete,\n  LowerableSelect,\n  LowerableUpdate,\n} from './lower.js';\nimport type {\n  IRAskQuery,\n  IRCountQuery,\n  IRExpression,\n  IRFieldValue,\n  IRGraphPattern,\n  IRNodeData,\n  IRPropertyExpression,\n  IRSelectQuery,\n  IRTraversePattern,\n} from './IntermediateRepresentation.js';\nimport type {IRCreateQuery} from './CreateQuery.js';\nimport type {IRUpdateQuery} from './UpdateQuery.js';\nimport type {IRDeleteQuery} from './DeleteQuery.js';\nimport type {PathExpr} from '../paths/PropertyPathExpr.js';\nimport {getSimplePathId} from '../paths/normalizePropertyPath.js';\nimport {collectPathUris} from '../paths/pathExprToSparql.js';\nimport {\n  findPropertyShapeById,\n  getPropertyShapes,\n  type NodeShapeData,\n} from '../shapes/nodeShapeData.js';\nimport {\n  getAllNodeShapes,\n  getNodeShape,\n  catalogOf,\n  getActiveShapeCatalog,\n  withShapeCatalog,\n  getShapeClass,\n} from '../utils/ShapeClass.js';\n\n// ---------------------------------------------------------------------------\n// Public types\n// ---------------------------------------------------------------------------\n\nexport type QueryDependencies = {\n  /** Predicates read on nodes whose ids appear in the result (root row + projected relation rows). */\n  narrow: Set<string>;\n  /** Predicates deciding membership/order: where, scoped where, minus, exists, sortBy, inner orderBy. */\n  filter: Set<string>;\n  /**\n   * Predicates read on nodes whose ids are NOT projected: `size()` / aggregates over\n   * relations, computed values over traversals, traversals with no projected id.\n   */\n  hidden: Set<string>;\n  /**\n   * Shape IRIs the query is pinned to: the root scan, nested shape scans (minus by\n   * shape), and — for every property read — the shape declaring it and the value\n   * shape it points at.\n   */\n  shapes: Set<string>;\n  /** `false` when the query is bound to subjects (`.for` / `.forAll` / a resolved context). */\n  unbound: boolean;\n};\n\nexport type MutationEffects = {\n  op: 'create' | 'update' | 'upsert' | 'delete';\n  /** Routing shape IRI. */\n  shape: string;\n  /** Predicates written (nested node descriptions and add/remove relations included); for delete: every predicate of the shape. */\n  props: Set<string>;\n  /**\n   * Affected node ids: the target id(s), nested created nodes, removed references, and every\n   * `id` found anywhere in `result` (conservative: a reference echoed in the result counts).\n   * `undefined` = unknown (`update_where`, `delete_all`, `delete_where`).\n   */\n  ids?: Set<string>;\n  /** Shapes whose instance set may have changed: the target shape for create/upsert/delete + shapes of nested created nodes; empty for a plain update. */\n  membership: Set<string>;\n};\n\n// ---------------------------------------------------------------------------\n// Predicate resolution\n// ---------------------------------------------------------------------------\n\n/**\n * The predicate IRI(s) a property-shape id reads or writes.\n *\n * An inline `pathExpr` wins (it IS the path). Otherwise the registered property\n * shape's `sh:path`: a simple path is one predicate, a structured path every IRI\n * it mentions. An unknown id falls back to the id itself — never empty, so a\n * dependency is never silently dropped.\n */\nfunction predicatesOf(propertyShapeId: string, pathExpr?: PathExpr): string[] {\n  if (pathExpr) {\n    const uris = collectPathUris(pathExpr);\n    return uris.length ? uris : [propertyShapeId];\n  }\n  const propertyShape = findPropertyShapeById(propertyShapeId);\n  if (!propertyShape) return [propertyShapeId];\n  const simple = getSimplePathId(propertyShape.path);\n  if (simple !== null) return [simple];\n  const uris = collectPathUris(propertyShape.path);\n  return uris.length ? uris : [propertyShapeId];\n}\n\n/** The value shape a property-shape id points at, if it is an object property. */\nfunction valueShapeOf(propertyShapeId: string): string | undefined {\n  return findPropertyShapeById(propertyShapeId)?.valueShape?.id;\n}\n\n// Owner lookups, cached on the same terms as `findPropertyShapeById`: successful\n// resolutions only, invalidated by the registry version.\nconst declaringShapeCache = new RegistryCache<string, string>();\n\n/**\n * The node shape that declares a property shape as its own.\n *\n * Reading a property pins the query to the shape it is declared on, even when the\n * IR carries no scan for it: `p.friends.as(Employee).employeeId` lowers to a plain\n * traversal plus a property read — the cast is type-level only — and the only\n * trace of `Employee` left is that `employeeId` is declared there.\n */\nfunction declaringShapeOf(propertyShapeId: string): string | undefined {\n  const cache = declaringShapeCache.get();\n  const cached = cache.get(propertyShapeId);\n  if (cached) return cached;\n  for (const nodeShape of getAllNodeShapes().values()) {\n    if (getPropertyShapes(nodeShape, false).some((ps) => ps.id === propertyShapeId)) {\n      cache.set(propertyShapeId, nodeShape.id);\n      return nodeShape.id;\n    }\n  }\n  return undefined;\n}\n\nconst addAll = (target: Set<string>, values: Iterable<string>): void => {\n  for (const v of values) target.add(v);\n};\n\n// ---------------------------------------------------------------------------\n// queryDependencies\n// ---------------------------------------------------------------------------\n\ntype TraverseInfo = {\n  pattern: IRTraversePattern;\n  /** Sits under a `minus` / `exists` pattern: its predicates decide membership. */\n  inFilter: boolean;\n};\n\nclass DependencyCollector {\n  readonly deps: QueryDependencies = {\n    narrow: new Set(),\n    filter: new Set(),\n    hidden: new Set(),\n    shapes: new Set(),\n    unbound: true,\n  };\n  /** Every traverse, keyed by the alias it binds. */\n  private readonly traverseByTo = new Map<string, TraverseInfo>();\n  /** Traverses whose predicates were attributed to a set by a projection or a filter. */\n  private readonly reached = new Set<IRTraversePattern>();\n  /** Filter expressions found while walking patterns, with the alias their scope starts at. */\n  private readonly scopedFilters: {expr: IRExpression; scope?: string}[] = [];\n\n  // --- pass 1: patterns -------------------------------------------------------\n\n  walkPattern(pattern: IRGraphPattern, inFilter: boolean): void {\n    switch (pattern.kind) {\n      case 'shape_scan':\n        this.deps.shapes.add(pattern.shape);\n        return;\n      case 'traverse': {\n        this.traverseByTo.set(pattern.to, {pattern, inFilter});\n        this.recordShapesOf(pattern.property);\n        if (pattern.filter) {\n          // A scoped where (`t.members.where(m => …)`) decides which related rows\n          // take part; its chain stops at the traversal it scopes, whose own\n          // predicate is attributed wherever that traversal lands.\n          this.scopedFilters.push({expr: pattern.filter, scope: pattern.to});\n        }\n        for (const order of pattern.innerOrderBy ?? []) {\n          addAll(this.deps.filter, predicatesOf(order.property));\n        }\n        return;\n      }\n      case 'join':\n        for (const p of pattern.patterns) this.walkPattern(p, inFilter);\n        return;\n      case 'optional':\n        this.walkPattern(pattern.pattern, inFilter);\n        return;\n      case 'union':\n        for (const p of pattern.branches) this.walkPattern(p, inFilter);\n        return;\n      case 'exists':\n        this.walkPattern(pattern.pattern, true);\n        return;\n      case 'minus':\n        this.walkPattern(pattern.pattern, true);\n        if (pattern.filter) this.scopedFilters.push({expr: pattern.filter});\n        return;\n    }\n  }\n\n  // --- pass 2: attribution -----------------------------------------------------\n\n  /**\n   * The predicates of every traversal from `alias` back towards the root, stopping\n   * before `stopAt` when given. Marks each traversal as reached.\n   */\n  chain(alias: string, stopAt?: string): string[] {\n    const preds: string[] = [];\n    const visited = new Set<string>();\n    let current = alias;\n    while (current !== stopAt && !visited.has(current)) {\n      visited.add(current);\n      const info = this.traverseByTo.get(current);\n      if (!info) break;\n      this.reached.add(info.pattern);\n      preds.push(...predicatesOf(info.pattern.property, info.pattern.pathExpr));\n      current = info.pattern.from;\n    }\n    return preds;\n  }\n\n  /** The shapes a property read pins the query to: its declaring shape and its value shape. */\n  private recordShapesOf(propertyShapeId: string): void {\n    const declaring = declaringShapeOf(propertyShapeId);\n    if (declaring) this.deps.shapes.add(declaring);\n    const valueShape = valueShapeOf(propertyShapeId);\n    if (valueShape) this.deps.shapes.add(valueShape);\n  }\n\n  private propertyExprPredicates(expr: IRPropertyExpression, scope?: string): string[] {\n    this.recordShapesOf(expr.property);\n    return [...predicatesOf(expr.property, expr.pathExpr), ...this.chain(expr.sourceAlias, scope)];\n  }\n\n  /** Every predicate an expression decides membership or order by. */\n  collectFilter(expr: IRExpression, scope?: string): void {\n    switch (expr.kind) {\n      case 'property_expr':\n        addAll(this.deps.filter, this.propertyExprPredicates(expr, scope));\n        return;\n      case 'context_property_expr':\n        addAll(this.deps.filter, predicatesOf(expr.property));\n        return;\n      case 'alias_expr':\n        addAll(this.deps.filter, this.chain(expr.alias, scope));\n        return;\n      case 'exists_expr':\n        this.walkPattern(expr.pattern, true);\n        if (expr.filter) this.collectFilter(expr.filter, scope);\n        return;\n      default:\n        for (const child of childExpressions(expr)) this.collectFilter(child, scope);\n    }\n  }\n\n  /** A projected expression: plain paths are narrow, computed values hidden. */\n  collectProjection(expr: IRExpression): void {\n    switch (expr.kind) {\n      case 'property_expr':\n        addAll(this.deps.narrow, this.propertyExprPredicates(expr));\n        return;\n      case 'alias_expr':\n        addAll(this.deps.narrow, this.chain(expr.alias));\n        return;\n      default:\n        this.collectHidden(expr);\n    }\n  }\n\n  private collectHidden(expr: IRExpression): void {\n    switch (expr.kind) {\n      case 'property_expr':\n        addAll(this.deps.hidden, this.propertyExprPredicates(expr));\n        return;\n      case 'alias_expr':\n        addAll(this.deps.hidden, this.chain(expr.alias));\n        return;\n      case 'context_property_expr':\n        addAll(this.deps.filter, predicatesOf(expr.property));\n        return;\n      case 'exists_expr':\n        this.collectFilter(expr);\n        return;\n      default:\n        for (const child of childExpressions(expr)) this.collectHidden(child);\n    }\n  }\n\n  /** Filters gathered while walking patterns (scoped where, minus filter). */\n  flushScopedFilters(): void {\n    // `collectFilter` on an exists expression may walk new patterns and push new\n    // scoped filters, so drain until stable.\n    while (this.scopedFilters.length) {\n      const {expr, scope} = this.scopedFilters.shift()!;\n      this.collectFilter(expr, scope);\n    }\n  }\n\n  /** Traversals no projection or filter attributed: read, but their ids never surface. */\n  attributeUnreached(): void {\n    for (const {pattern, inFilter} of this.traverseByTo.values()) {\n      if (this.reached.has(pattern)) continue;\n      const target = inFilter ? this.deps.filter : this.deps.hidden;\n      addAll(target, predicatesOf(pattern.property, pattern.pathExpr));\n      // The traversal leading up to it is read on the same terms.\n      addAll(target, this.chain(pattern.from));\n    }\n  }\n}\n\n/** The immediate sub-expressions of a compound expression (none for leaves). */\nfunction childExpressions(expr: IRExpression): IRExpression[] {\n  switch (expr.kind) {\n    case 'binary_expr':\n      return [expr.left, expr.right];\n    case 'logical_expr':\n      return expr.expressions;\n    case 'not_expr':\n      return [expr.expression];\n    case 'function_expr':\n    case 'aggregate_expr':\n      return expr.args;\n    case 'in_expr':\n      return [expr.value, ...expr.source.list];\n    default:\n      return [];\n  }\n}\n\n/** `lower()` is overloaded per builder kind; dispatch on the discriminator. */\nfunction lowerQuery(\n  query: LowerableSelect | LowerableCount | LowerableAsk,\n): IRSelectQuery | IRCountQuery | IRAskQuery {\n  switch (query.__queryKind) {\n    case 'select':\n      return lower(query);\n    case 'count':\n      return lower(query);\n    case 'ask':\n      return lower(query);\n  }\n}\n\nfunction isBound(ir: {subjectId?: string; subjectIds?: string[]}): boolean {\n  return !!(ir.subjectId || (ir.subjectIds && ir.subjectIds.length));\n}\n\n/**\n * What a query reads, as predicate IRIs and shape IRIs.\n *\n * - `narrow`: read on nodes whose ids are in the result (root rows and projected\n *   relation rows) — a change to one of these on a visible node changes the result.\n * - `filter`: decide which nodes are in the result and in what order.\n * - `hidden`: read on nodes the result does not identify (counted relations,\n *   computed values over traversals), so a change there can only be matched by\n *   predicate, not by id.\n * - `shapes`: every shape whose instance set the query scans or traverses into.\n * - `unbound`: `true` unless the query is pinned to known subjects.\n */\nexport function queryDependencies(\n  query: LowerableSelect | LowerableCount | LowerableAsk,\n): QueryDependencies {\n  const catalog = catalogOf(query);\n  if (catalog !== getActiveShapeCatalog()) {\n    return withShapeCatalog(catalog, () => queryDependencies(query));\n  }\n  const ir = lowerQuery(query);\n  const collector = new DependencyCollector();\n  const deps = collector.deps;\n\n  if (!ir.root) {\n    // Shapeless ask: no rdf:type constraint, no properties — nothing is read but\n    // the subject itself.\n    deps.unbound = !ir.subjectId;\n    return deps;\n  }\n\n  collector.walkPattern(ir.root, false);\n  for (const pattern of ir.patterns) collector.walkPattern(pattern, false);\n\n  if (ir.kind === 'select') {\n    for (const item of ir.projection) collector.collectProjection(item.expression);\n  }\n  if (ir.where) collector.collectFilter(ir.where);\n  if (ir.kind === 'select') {\n    for (const order of ir.orderBy ?? []) collector.collectFilter(order.expression);\n  }\n  collector.flushScopedFilters();\n  collector.attributeUnreached();\n\n  deps.unbound = !isBound(ir);\n  return deps;\n}\n\n// ---------------------------------------------------------------------------\n// mutationEffects\n// ---------------------------------------------------------------------------\n\nconst isNodeData = (value: unknown): value is IRNodeData =>\n  !!value && typeof value === 'object' && 'fields' in value && 'shape' in value;\n\nconst isSetModification = (value: unknown): value is {add?: IRFieldValue[]; remove?: {id: string}[]} =>\n  !!value && typeof value === 'object' && ('add' in value || 'remove' in value) && !('kind' in value);\n\nclass EffectCollector {\n  readonly props = new Set<string>();\n  readonly ids = new Set<string>();\n  readonly membership = new Set<string>();\n\n  /** Every field at every depth writes its predicate; nested nodes may be created. */\n  walkNodeData(data: IRNodeData, nested: boolean): void {\n    if (nested) {\n      this.membership.add(data.shape);\n      if (data.id) this.ids.add(data.id);\n    } else if (data.id) {\n      this.ids.add(data.id);\n    }\n    for (const field of data.fields) {\n      addAll(this.props, predicatesOf(field.property));\n      this.walkValue(field.value);\n    }\n  }\n\n  private walkValue(value: IRFieldValue): void {\n    if (value === null || value === undefined) return;\n    if (Array.isArray(value)) {\n      for (const item of value) this.walkValue(item);\n      return;\n    }\n    if (typeof value !== 'object' || value instanceof Date) return;\n    if (isNodeData(value)) {\n      this.walkNodeData(value, true);\n      return;\n    }\n    if (isSetModification(value)) {\n      for (const item of value.add ?? []) this.walkValue(item);\n      for (const ref of value.remove ?? []) {\n        if (ref?.id) this.ids.add(ref.id);\n      }\n      return;\n    }\n    // A `{id}` reference or an expression: neither writes a predicate of its own,\n    // and a referenced node is not itself modified.\n  }\n\n  /** Every string under a key named `id`, anywhere in a store result. */\n  walkResult(value: unknown, seen = new Set<object>()): void {\n    if (!value || typeof value !== 'object' || value instanceof Date) return;\n    if (seen.has(value)) return;\n    seen.add(value);\n    if (Array.isArray(value)) {\n      for (const item of value) this.walkResult(item, seen);\n      return;\n    }\n    for (const [key, child] of Object.entries(value as Record<string, unknown>)) {\n      if (key === 'id' && typeof child === 'string') this.ids.add(child);\n      else this.walkResult(child, seen);\n    }\n  }\n}\n\n/** `lower()` is overloaded per builder kind; dispatch on the discriminator. */\nfunction lowerMutation(\n  mutation: LowerableCreate | LowerableUpdate | LowerableDelete,\n): IRCreateQuery | IRUpdateQuery | IRDeleteQuery {\n  switch (mutation.__queryKind) {\n    case 'create':\n      return lower(mutation);\n    case 'update':\n      return lower(mutation);\n    case 'delete':\n      return lower(mutation);\n  }\n}\n\n/** The shape metadata for a shape IRI, class-backed or data-only. */\nfunction resolveShapeData(shapeId: string): NodeShapeData | undefined {\n  return getShapeClass(shapeId)?.shape ?? getNodeShape(shapeId);\n}\n\n/**\n * What a mutation writes, as predicate IRIs, affected node ids and the shapes\n * whose instance sets may have changed.\n *\n * `result` — what the store returned — is optional and only widens `ids`: a create\n * learns its generated id from it, and an add/remove learns the ids of nested\n * creates. It is never consulted for an op whose target set is unknown\n * (`update_where`, `delete_all`, `delete_where`), where `ids` stays `undefined`.\n */\nexport function mutationEffects(\n  mutation: LowerableCreate | LowerableUpdate | LowerableDelete,\n  result?: unknown,\n): MutationEffects {\n  const catalog = catalogOf(mutation);\n  if (catalog !== getActiveShapeCatalog()) {\n    return withShapeCatalog(catalog, () => mutationEffects(mutation, result));\n  }\n  const ir = lowerMutation(mutation);\n  const collector = new EffectCollector();\n\n  switch (ir.kind) {\n    case 'create': {\n      collector.membership.add(ir.shape);\n      collector.walkNodeData(ir.data, false);\n      collector.walkResult(result);\n      return {\n        op: 'create',\n        shape: ir.shape,\n        props: collector.props,\n        ids: collector.ids,\n        membership: collector.membership,\n      };\n    }\n    case 'update':\n    case 'upsert': {\n      if (ir.kind === 'upsert') collector.membership.add(ir.shape);\n      collector.ids.add(ir.id);\n      collector.walkNodeData(ir.data, false);\n      collector.walkResult(result);\n      return {\n        op: ir.kind,\n        shape: ir.shape,\n        props: collector.props,\n        ids: collector.ids,\n        membership: collector.membership,\n      };\n    }\n    case 'update_where': {\n      collector.walkNodeData(ir.data, false);\n      return {\n        op: 'update',\n        shape: ir.shape,\n        props: collector.props,\n        ids: undefined,\n        membership: collector.membership,\n      };\n    }\n    case 'delete':\n    case 'delete_all':\n    case 'delete_where': {\n      collector.membership.add(ir.shape);\n      const shapeData = resolveShapeData(ir.shape);\n      if (shapeData) {\n        for (const ps of getPropertyShapes(shapeData, true)) {\n          addAll(collector.props, predicatesOf(ps.id));\n        }\n      }\n      if (ir.kind === 'delete') {\n        for (const ref of ir.ids) {\n          if (ref?.id) collector.ids.add(ref.id);\n        }\n        collector.walkResult(result);\n      }\n      return {\n        op: 'delete',\n        shape: ir.shape,\n        props: collector.props,\n        ids: ir.kind === 'delete' ? collector.ids : undefined,\n        membership: collector.membership,\n      };\n    }\n  }\n}\n"]}

package/lib/esm/queries/resolveShape.js

@@ -1,4 +1,4 @@
-import { getOrCreateShapeAdapter, getShapeClass } from '../utils/ShapeClass.js';
+import { getActiveShapeCatalog, getOrCreateShapeAdapter, getShapeClass } from '../utils/ShapeClass.js';
 /**
  * Resolve a shape class or IRI string to a ShapeConstructor.
  *
@@ -8,7 +8,7 @@ import { getOrCreateShapeAdapter, getShapeClass } from '../utils/ShapeClass.js';
  * @throws If a string IRI cannot be resolved via the shape registry.
  */
 export function resolveShape(shape) {
-    var _a;
+    var _a, _b;
     if (typeof shape === 'string') {
         // An authored class first; otherwise a constructor derived from the registered
         // metadata, so a project-authored shape that exists only as data resolves too.
@@ -18,6 +18,18 @@ export function resolveShape(shape) {
         }
         return shapeClass;
     }
+    // Inside a catalog the catalog's data is the authority for every IRI it holds, so an
+    // authored class for one of them (CN's compiled `Person` for a project's `Person`)
+    // resolves to the catalog's shape. A class the catalog does not hold is kept as is.
+    const catalog = getActiveShapeCatalog();
+    if (catalog !== undefined) {
+        const id = (_b = shape === null || shape === void 0 ? void 0 : shape.shape) === null || _b === void 0 ? void 0 : _b.id;
+        if (id && catalog.has(id)) {
+            const own = getOrCreateShapeAdapter(id);
+            if (own)
+                return own;
+        }
+    }
     return shape;
 }
 //# sourceMappingURL=resolveShape.js.map