@jungjaehoon/mama-os 0.28.6 → 0.29.1

package/dist/operator/task-ledger.d.ts

@@ -18,6 +18,7 @@
  * The db handle is SHARED with TriggerRegistry and owned by the caller
  * (start.ts opens and closes it once) - deliberately no close() here.
  */
+import { type ChangeCoverage, type EffectQuery, type EffectRecord, type EffectTarget } from '../evidence/effects.js';
 import type { SQLiteDatabase } from '../sqlite.js';
 import type { OperatorTask, TaskSource } from './operator-interfaces.js';
 import { type TemporalEffectReceipt, type TemporalEvidenceAttestation, type TemporalReconcileInput, type TemporalWorkContext } from './temporal-effect.js';
@@ -91,6 +92,27 @@ export interface TaskLedgerOptions {
     now?: () => number;
     timeZone?: string;
 }
+/**
+ * Who is making a change, supplied by the host rather than by the caller's arguments.
+ *
+ * Kept out of CreateTaskInput/UpdateTaskInput on purpose: those are agent-authored, and an
+ * agent that can write its own run id into the effect ledger can attribute its work to
+ * someone else's run. Same reason the temporal path takes its identity from trusted runtime
+ * context instead of from the tool call.
+ */
+export interface ChangeOrigin {
+    /** The model run behind this write, or null when the host itself made it. */
+    runId?: string | null;
+    /**
+     * The events this write responds to.
+     *
+     * A SET, because a cause is one: a reconcile run is handed a channel's delta batch and
+     * everything it changes rests on that batch. The system knows the batch before the run
+     * starts, so it does not have to ask the agent to restate it - which is what a single
+     * agent-supplied id was, and why 375 of 381 unattributed changes were updates.
+     */
+    causeEventIds?: readonly string[];
+}
 export type TemporalGenerationDisposition = 'active' | 'resolved' | 'final_no_update' | 'deferred' | 'exhausted' | 'superseded';
 export interface TemporalGenerationRecord {
     generationKey: string;
@@ -166,6 +188,26 @@ export interface ListTasksFilter {
     /** 'deadline_priority' = deadline asc NULLS LAST, then high>normal>low, then id. */
     order?: 'deadline_priority' | 'updated';
 }
+export interface ListTasksPageFilter extends ListTasksFilter {
+    /** Opaque keyset cursor from a previous page's nextCursor. */
+    cursor?: string;
+}
+/**
+ * One page plus the numbers a caller needs to PROVE it read everything.
+ *
+ * `list()` alone cannot support a whole-situation claim: it clamps to 200 and
+ * defaults to 50, so a caller reading a 150-row board saw a third of it and could
+ * not tell. Accumulating pages until nextCursor is null, with the unique ids
+ * collected equal to total, is that proof.
+ */
+export interface ListTasksPage {
+    tasks: TaskRecord[];
+    /** Rows matching the filter, ignoring limit and cursor. */
+    total: number;
+    returned: number;
+    /** Cursor for the next page, or null when this page ends the set. */
+    nextCursor: string | null;
+}
 export declare class TaskLedger implements TaskSource {
     private db;
     private now;
@@ -187,6 +229,22 @@ export declare class TaskLedger implements TaskSource {
     getTasks(): OperatorTask[];
     countOpenUnconfirmed(): number;
     list(filter?: ListTasksFilter): TaskRecord[];
+    /** Shared filter predicate. Owner surface only - system workorder rows never appear in
+     *  board/REST/gateway listings (Stage-2 kind filter; workorders have dedicated readers). */
+    private buildListPredicate;
+    /** ORDER BY for both list() and listPage(); the trailing id makes it a TOTAL order,
+     *  which is what lets a keyset cursor resume without skipping or repeating a row.
+     *  LIMIT applies AFTER ordering, so a bounded read still returns the true top-N. */
+    private static orderSql;
+    private static cursorFor;
+    /**
+     * One page of the same ordered set, with the totals that make completeness provable.
+     *
+     * Keyset, not OFFSET: an offset page silently skips or repeats rows when the set
+     * changes between pages, which would leave a "whole situation" claim resting on a
+     * read that quietly lost items.
+     */
+    listPage(filter?: ListTasksPageFilter): ListTasksPage;
     /** Internal bounded page for temporal reconciliation; excludes rows that can never be candidates. */
     listTemporalScanPage(input: {
         limit: number;
@@ -201,8 +259,22 @@ export declare class TaskLedger implements TaskSource {
      * (source_channel, source_event_id) UPSERTS - the existing row gets the new
      * latest_event (and title stays) instead of a near-duplicate row appearing.
      */
-    create(input: CreateTaskInput): TaskRecord;
-    update(id: number, patch: UpdateTaskInput): TaskRecord;
+    create(input: CreateTaskInput, origin?: ChangeOrigin): TaskRecord;
+    /**
+     * Write the effect row for a task change.
+     *
+     * Called from inside the same transaction as the write it describes. The cause is the
+     * event the caller already recorded on the row - the tool has always accepted it, and
+     * 178 of the 179 owner tasks that carry one resolve to a real indexed event, so this is
+     * attribution that already exists rather than a new burden on the agent.
+     *
+     * When there is no cause the change is still recorded, marked unattributed. That is the
+     * honest reading of `task_update`, which has never had a cause field at all: the system
+     * has been changing owner work items without recording why, and the ledger's job is to
+     * show how often, not to pretend otherwise or to start refusing writes.
+     */
+    private recordTaskChange;
+    update(id: number, patch: UpdateTaskInput, origin?: ChangeOrigin): TaskRecord;
     private supersedeTemporalGenerationsInTransaction;
     private supersedeAllActiveTemporalGenerationsInTransaction;
     /**
@@ -222,6 +294,16 @@ export declare class TaskLedger implements TaskSource {
     getTemporalGeneration(generationKey: string): TemporalGenerationRecord | null;
     loadTemporalWorkContext(attemptId: number): TemporalWorkContext;
     assertTemporalWorkContextActive(suppliedContext: TemporalWorkContext): TemporalWorkContext;
+    /**
+     * What this system changed, and what it changed it for.
+     *
+     * Reads live beside the writes because the effect ledger shares the tasks database on
+     * purpose. Exposed here rather than by handing out the connection: the ledger owns both
+     * halves, so a change and its account of itself cannot drift apart.
+     */
+    listChanges(query?: EffectQuery): EffectRecord[];
+    /** Of what this system changed, how much rests on evidence. */
+    changeCoverage(sinceMs?: number, targetType?: EffectTarget): ChangeCoverage;
     getTemporalEffect(attemptId: number): TemporalEffectReceipt | null;
     /**
      * Read and validate the durable state that decides a temporal attempt's

package/dist/operator/task-ledger.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"task-ledger.d.ts","sourceRoot":"","sources":["../../src/operator/task-ledger.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAIH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACzE,OAAO,EAGL,KAAK,qBAAqB,EAC1B,KAAK,2BAA2B,EAChC,KAAK,sBAAsB,EAC3B,KAAK,mBAAmB,EACzB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAKL,KAAK,aAAa,EACnB,MAAM,oBAAoB,CAAC;AAE5B,eAAO,MAAM,aAAa,yFAUhB,CAAC;AACX,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC;AAExD,eAAO,MAAM,eAAe,oCAAqC,CAAC;AAClE,MAAM,MAAM,YAAY,GAAG,CAAC,OAAO,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC;AAE5D,eAAO,MAAM,UAAU,8BAA+B,CAAC;AACvD,MAAM,MAAM,QAAQ,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC;AAEnD,eAAO,MAAM,eAAe,2DAA4D,CAAC;AACzF,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC;AAC7D,eAAO,MAAM,+BAA+B,IAAI,CAAC;AAEjD,2EAA2E;AAC3E,eAAO,MAAM,wBAAwB,eAAe,CAAC;AAMrD,MAAM,WAAW,qBAAqB;IACpC,QAAQ,EAAE,aAAa,CAAC;IACxB,gFAAgF;IAChF,cAAc,EAAE,MAAM,CAAC;IACvB,gFAAgF;IAChF,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,QAAQ,CAAC,EAAE,YAAY,CAAC;CACzB;AAED,MAAM,WAAW,8BAA8B;IAC7C,aAAa,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,EAAE,YAAY,CAAC;CACzB;AAED,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,aAAa,CAAC;IACxB,MAAM,EAAE,UAAU,CAAC;IACnB,QAAQ,EAAE,YAAY,CAAC;IACvB,cAAc,EAAE,MAAM,CAAC;IACvB,wDAAwD;IACxD,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IACxD,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,+FAA+F;AAC/F,MAAM,WAAW,UAAW,SAAQ,YAAY;IAC9C,MAAM,EAAE,UAAU,CAAC;IACnB,QAAQ,EAAE,YAAY,CAAC;IACvB,IAAI,EAAE,QAAQ,CAAC;IACf,wFAAwF;IACxF,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,WAAW,EAAE,OAAO,CAAC;IACrB,SAAS,EAAE,OAAO,CAAC;IACnB,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,+BAA+B,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/C,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,aAAa,EAAE,aAAa,CAAC;CAC9B;AAED,MAAM,WAAW,iBAAiB;IAChC,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,MAAM,6BAA6B,GACrC,QAAQ,GACR,UAAU,GACV,iBAAiB,GACjB,UAAU,GACV,WAAW,GACX,YAAY,CAAC;AAEjB,MAAM,WAAW,wBAAwB;IACvC,aAAa,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,6BAA6B,CAAC;IAC3C,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,YAAY,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAEhE,MAAM,WAAW,+BAA+B;IAC9C,UAAU,EAAE,wBAAwB,CAAC;IACrC,SAAS,EAAE,eAAe,CAAC;IAC3B,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,wEAAwE;AACxE,MAAM,WAAW,oBAAoB;IACnC,SAAS,EAAE,eAAe,CAAC;IAC3B,UAAU,EAAE,wBAAwB,CAAC;IACrC,OAAO,EAAE,qBAAqB,GAAG,IAAI,CAAC;CACvC;AAED,MAAM,MAAM,yBAAyB,GACjC;IAAE,WAAW,EAAE,UAAU,CAAC;IAAC,WAAW,EAAE,eAAe,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GAC/F;IACE,WAAW,EAAE,WAAW,CAAC;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B,GACD;IAAE,WAAW,EAAE,YAAY,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CAAC;AAExE,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,UAAU,CAAC;IACpB,QAAQ,CAAC,EAAE,YAAY,CAAC;IACxB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,qBAAqB;IACrB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,qDAAqD;IACrD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,4CAA4C;IAC5C,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,oFAAoF;IACpF,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,OAAO,CAAC;CACrB;AAED,MAAM,WAAW,eAAe;IAC9B,MAAM,CAAC,EAAE,UAAU,CAAC;IACpB,QAAQ,CAAC,EAAE,YAAY,CAAC;IACxB,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,qDAAqD;IACrD,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,eAAe;IAC9B,MAAM,CAAC,EAAE,UAAU,CAAC;IACpB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,oFAAoF;IACpF,KAAK,CAAC,EAAE,mBAAmB,GAAG,SAAS,CAAC;CACzC;AA8FD,qBAAa,UAAW,YAAW,UAAU;IAC3C,OAAO,CAAC,EAAE,CAAiB;IAC3B,OAAO,CAAC,GAAG,CAAe;IAC1B,OAAO,CAAC,QAAQ,CAAS;gBAEb,EAAE,EAAE,cAAc,EAAE,OAAO,GAAE,iBAAsB;IAS/D,OAAO,CAAC,QAAQ;IAIhB,OAAO,CAAC,YAAY;IA2BpB,+EAA+E;IAC/E,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,iBAAiB,CAyBN;IAKnC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAMsD;IAEzF;;;;;OAKG;IACH,OAAO,CAAC,aAAa;IAwErB,mEAAmE;IACnE,QAAQ,IAAI,YAAY,EAAE;IAI1B,oBAAoB,IAAI,MAAM;IAc9B,IAAI,CAAC,MAAM,GAAE,eAAoB,GAAG,UAAU,EAAE;IAsChD,qGAAqG;IACrG,oBAAoB,CAAC,KAAK,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,GAAG,UAAU,EAAE;IAqB7E,+EAA+E;IAC/E,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,UAAU,GAAG,IAAI;IAKtC,2EAA2E;IAC3E,OAAO,CAAC,UAAU;IAOlB;;;;OAIG;IACH,MAAM,CAAC,KAAK,EAAE,eAAe,GAAG,UAAU;IAkF1C,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,GAAG,UAAU;IA+HtD,OAAO,CAAC,yCAAyC;IA6BjD,OAAO,CAAC,kDAAkD;IAuB1D;;;;OAIG;IACH,WAAW,IAAI,MAAM;IAerB;;;;OAIG;IACH,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,GAAG,eAAe;IAU/D,OAAO,CAAC,eAAe;IA4CvB,yBAAyB,CACvB,KAAK,EAAE,8BAA8B,GACpC,+BAA+B;IAmIlC,qBAAqB,CAAC,aAAa,EAAE,MAAM,GAAG,wBAAwB,GAAG,IAAI;IAgC7E,uBAAuB,CAAC,SAAS,EAAE,MAAM,GAAG,mBAAmB;IAI/D,+BAA+B,CAAC,eAAe,EAAE,mBAAmB,GAAG,mBAAmB;IAM1F,iBAAiB,CAAC,SAAS,EAAE,MAAM,GAAG,qBAAqB,GAAG,IAAI;IAkDlE;;;;;OAKG;IACH,sBAAsB,CAAC,SAAS,EAAE,MAAM,GAAG,oBAAoB;IA6H/D,mBAAmB,CACjB,eAAe,EAAE,mBAAmB,EACpC,KAAK,EAAE,sBAAsB,EAC7B,QAAQ,EAAE,2BAA2B,EACrC,GAAG,GAAE,MAAmB,GACvB,qBAAqB;IA0LxB,wBAAwB,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,eAAe;IAqB5E,wBAAwB,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI;IAoBjE,qBAAqB,CACnB,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,EACd,UAAU,UAAO,GAChB,yBAAyB;IAqD5B,OAAO,CAAC,0CAA0C;IAuBlD,2FAA2F;IAC3F,+BAA+B,IAAI,MAAM;IA4BzC,gFAAgF;IAChF,uBAAuB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM;IAsB/C,+EAA+E;IAC/E,wBAAwB,IAAI,eAAe,EAAE;IA4D7C,OAAO,CAAC,qCAAqC;IA6B7C,OAAO,CAAC,qCAAqC;IAiB7C,4BAA4B,CAC1B,MAAM,EAAE,MAAM,EACd,YAAY,EAAE,MAAM,EACpB,oBAAoB,CAAC,EAAE,MAAM,GAC5B,IAAI;IAWP,OAAO,CAAC,+BAA+B;IAgCvC;;;;;OAKG;IACH,OAAO,CAAC,2BAA2B;IAKnC,OAAO,CAAC,2BAA2B;IAgDnC,OAAO,CAAC,4BAA4B;IAoBpC,OAAO,CAAC,+BAA+B;IA0DvC,OAAO,CAAC,4BAA4B;IAkBpC,OAAO,CAAC,oBAAoB;IAY5B,OAAO,CAAC,4BAA4B;IAYpC,OAAO,CAAC,qBAAqB;IAa7B,OAAO,CAAC,oBAAoB;IAM5B,OAAO,CAAC,iBAAiB;IAWzB;;;;OAIG;IACH,kBAAkB,IAAI,eAAe,GAAG,IAAI;IA8B5C;;;;;;OAMG;IACH,gBAAgB,CAAC,EAAE,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,GAAG,eAAe;IA6BtE,iBAAiB,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI;IAInC,aAAa,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI;IAI/C,sBAAsB,IAAI,MAAM;IAWhC,mBAAmB,CAAC,IAAI,CAAC,EAAE,aAAa,GAAG,MAAM;IAoBjD,0BAA0B,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC;IAc1E,kFAAkF;IAClF,eAAe,IAAI,eAAe,EAAE;IAWpC;;;;;OAKG;IACH,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,aAAa,EAAE,GAAG,MAAM;IAmBzE,uDAAuD;IACvD,cAAc,IAAI,KAAK,CAAC;QACtB,QAAQ,EAAE,aAAa,CAAC;QACxB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;QACzB,UAAU,EAAE,UAAU,GAAG,IAAI,CAAC;QAC9B,WAAW,EAAE,MAAM,CAAC;QACpB,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;KAClC,CAAC;IAiCF,OAAO,CAAC,gBAAgB;IAOxB,OAAO,CAAC,mBAAmB;IAc3B,OAAO,CAAC,cAAc;IAmCtB,yFAAyF;IACzF,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG;QAAE,EAAE,EAAE,MAAM,CAAA;KAAE;IAO7D,OAAO,CAAC,kBAAkB;IAO1B,+EAA+E;IAC/E,aAAa,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,MAAM;CAUtC"}
+{"version":3,"file":"task-ledger.d.ts","sourceRoot":"","sources":["../../src/operator/task-ledger.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAIH,OAAO,EAOL,KAAK,cAAc,EACnB,KAAK,WAAW,EAChB,KAAK,YAAY,EACjB,KAAK,YAAY,EAClB,MAAM,wBAAwB,CAAC;AAChC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACzE,OAAO,EAGL,KAAK,qBAAqB,EAC1B,KAAK,2BAA2B,EAChC,KAAK,sBAAsB,EAC3B,KAAK,mBAAmB,EACzB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAKL,KAAK,aAAa,EACnB,MAAM,oBAAoB,CAAC;AAE5B,eAAO,MAAM,aAAa,yFAUhB,CAAC;AACX,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC;AAExD,eAAO,MAAM,eAAe,oCAAqC,CAAC;AAClE,MAAM,MAAM,YAAY,GAAG,CAAC,OAAO,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC;AAE5D,eAAO,MAAM,UAAU,8BAA+B,CAAC;AACvD,MAAM,MAAM,QAAQ,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC;AAEnD,eAAO,MAAM,eAAe,2DAA4D,CAAC;AACzF,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC;AAC7D,eAAO,MAAM,+BAA+B,IAAI,CAAC;AAEjD,2EAA2E;AAC3E,eAAO,MAAM,wBAAwB,eAAe,CAAC;AAMrD,MAAM,WAAW,qBAAqB;IACpC,QAAQ,EAAE,aAAa,CAAC;IACxB,gFAAgF;IAChF,cAAc,EAAE,MAAM,CAAC;IACvB,gFAAgF;IAChF,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,QAAQ,CAAC,EAAE,YAAY,CAAC;CACzB;AAED,MAAM,WAAW,8BAA8B;IAC7C,aAAa,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,EAAE,YAAY,CAAC;CACzB;AAED,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,aAAa,CAAC;IACxB,MAAM,EAAE,UAAU,CAAC;IACnB,QAAQ,EAAE,YAAY,CAAC;IACvB,cAAc,EAAE,MAAM,CAAC;IACvB,wDAAwD;IACxD,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IACxD,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,+FAA+F;AAC/F,MAAM,WAAW,UAAW,SAAQ,YAAY;IAC9C,MAAM,EAAE,UAAU,CAAC;IACnB,QAAQ,EAAE,YAAY,CAAC;IACvB,IAAI,EAAE,QAAQ,CAAC;IACf,wFAAwF;IACxF,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,WAAW,EAAE,OAAO,CAAC;IACrB,SAAS,EAAE,OAAO,CAAC;IACnB,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,+BAA+B,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/C,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,aAAa,EAAE,aAAa,CAAC;CAC9B;AAED,MAAM,WAAW,iBAAiB;IAChC,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,YAAY;IAC3B,6EAA6E;IAC7E,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB;;;;;;;OAOG;IACH,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED,MAAM,MAAM,6BAA6B,GACrC,QAAQ,GACR,UAAU,GACV,iBAAiB,GACjB,UAAU,GACV,WAAW,GACX,YAAY,CAAC;AAEjB,MAAM,WAAW,wBAAwB;IACvC,aAAa,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,6BAA6B,CAAC;IAC3C,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,YAAY,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAEhE,MAAM,WAAW,+BAA+B;IAC9C,UAAU,EAAE,wBAAwB,CAAC;IACrC,SAAS,EAAE,eAAe,CAAC;IAC3B,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,wEAAwE;AACxE,MAAM,WAAW,oBAAoB;IACnC,SAAS,EAAE,eAAe,CAAC;IAC3B,UAAU,EAAE,wBAAwB,CAAC;IACrC,OAAO,EAAE,qBAAqB,GAAG,IAAI,CAAC;CACvC;AAED,MAAM,MAAM,yBAAyB,GACjC;IAAE,WAAW,EAAE,UAAU,CAAC;IAAC,WAAW,EAAE,eAAe,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GAC/F;IACE,WAAW,EAAE,WAAW,CAAC;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B,GACD;IAAE,WAAW,EAAE,YAAY,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CAAC;AAExE,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,UAAU,CAAC;IACpB,QAAQ,CAAC,EAAE,YAAY,CAAC;IACxB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,qBAAqB;IACrB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,qDAAqD;IACrD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,4CAA4C;IAC5C,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,oFAAoF;IACpF,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,OAAO,CAAC;CACrB;AAED,MAAM,WAAW,eAAe;IAC9B,MAAM,CAAC,EAAE,UAAU,CAAC;IACpB,QAAQ,CAAC,EAAE,YAAY,CAAC;IACxB,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,qDAAqD;IACrD,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,eAAe;IAC9B,MAAM,CAAC,EAAE,UAAU,CAAC;IACpB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,oFAAoF;IACpF,KAAK,CAAC,EAAE,mBAAmB,GAAG,SAAS,CAAC;CACzC;AAED,MAAM,WAAW,mBAAoB,SAAQ,eAAe;IAC1D,8DAA8D;IAC9D,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,UAAU,EAAE,CAAC;IACpB,2DAA2D;IAC3D,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,qEAAqE;IACrE,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B;AAiID,qBAAa,UAAW,YAAW,UAAU;IAC3C,OAAO,CAAC,EAAE,CAAiB;IAC3B,OAAO,CAAC,GAAG,CAAe;IAC1B,OAAO,CAAC,QAAQ,CAAS;gBAEb,EAAE,EAAE,cAAc,EAAE,OAAO,GAAE,iBAAsB;IAS/D,OAAO,CAAC,QAAQ;IAIhB,OAAO,CAAC,YAAY;IA8BpB,+EAA+E;IAC/E,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,iBAAiB,CAyBN;IAKnC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAMsD;IAEzF;;;;;OAKG;IACH,OAAO,CAAC,aAAa;IAwErB,mEAAmE;IACnE,QAAQ,IAAI,YAAY,EAAE;IAI1B,oBAAoB,IAAI,MAAM;IAc9B,IAAI,CAAC,MAAM,GAAE,eAAoB,GAAG,UAAU,EAAE;IAehD;gGAC4F;IAC5F,OAAO,CAAC,kBAAkB;IAmB1B;;wFAEoF;IACpF,OAAO,CAAC,MAAM,CAAC,QAAQ;IAQvB,OAAO,CAAC,MAAM,CAAC,SAAS;IAkBxB;;;;;;OAMG;IACH,QAAQ,CAAC,MAAM,GAAE,mBAAwB,GAAG,aAAa;IA+CzD,qGAAqG;IACrG,oBAAoB,CAAC,KAAK,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,GAAG,UAAU,EAAE;IAqB7E,+EAA+E;IAC/E,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,UAAU,GAAG,IAAI;IAKtC,2EAA2E;IAC3E,OAAO,CAAC,UAAU;IAOlB;;;;OAIG;IACH,MAAM,CAAC,KAAK,EAAE,eAAe,EAAE,MAAM,GAAE,YAAiB,GAAG,UAAU;IA+IrE;;;;;;;;;;;;OAYG;IACH,OAAO,CAAC,gBAAgB;IA6BxB,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE,MAAM,GAAE,YAAiB,GAAG,UAAU;IAgJjF,OAAO,CAAC,yCAAyC;IA6BjD,OAAO,CAAC,kDAAkD;IAuB1D;;;;OAIG;IACH,WAAW,IAAI,MAAM;IAerB;;;;OAIG;IACH,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,GAAG,eAAe;IAU/D,OAAO,CAAC,eAAe;IA4CvB,yBAAyB,CACvB,KAAK,EAAE,8BAA8B,GACpC,+BAA+B;IAmIlC,qBAAqB,CAAC,aAAa,EAAE,MAAM,GAAG,wBAAwB,GAAG,IAAI;IAgC7E,uBAAuB,CAAC,SAAS,EAAE,MAAM,GAAG,mBAAmB;IAI/D,+BAA+B,CAAC,eAAe,EAAE,mBAAmB,GAAG,mBAAmB;IAM1F;;;;;;OAMG;IACH,WAAW,CAAC,KAAK,GAAE,WAAgB,GAAG,YAAY,EAAE;IAIpD,+DAA+D;IAC/D,cAAc,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,YAAY,GAAG,cAAc;IAI3E,iBAAiB,CAAC,SAAS,EAAE,MAAM,GAAG,qBAAqB,GAAG,IAAI;IAkDlE;;;;;OAKG;IACH,sBAAsB,CAAC,SAAS,EAAE,MAAM,GAAG,oBAAoB;IA6H/D,mBAAmB,CACjB,eAAe,EAAE,mBAAmB,EACpC,KAAK,EAAE,sBAAsB,EAC7B,QAAQ,EAAE,2BAA2B,EACrC,GAAG,GAAE,MAAmB,GACvB,qBAAqB;IA+MxB,wBAAwB,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,eAAe;IAqB5E,wBAAwB,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI;IAoBjE,qBAAqB,CACnB,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,EACd,UAAU,UAAO,GAChB,yBAAyB;IAqD5B,OAAO,CAAC,0CAA0C;IAuBlD,2FAA2F;IAC3F,+BAA+B,IAAI,MAAM;IA4BzC,gFAAgF;IAChF,uBAAuB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM;IAsB/C,+EAA+E;IAC/E,wBAAwB,IAAI,eAAe,EAAE;IA4D7C,OAAO,CAAC,qCAAqC;IA6B7C,OAAO,CAAC,qCAAqC;IAiB7C,4BAA4B,CAC1B,MAAM,EAAE,MAAM,EACd,YAAY,EAAE,MAAM,EACpB,oBAAoB,CAAC,EAAE,MAAM,GAC5B,IAAI;IAWP,OAAO,CAAC,+BAA+B;IAgCvC;;;;;OAKG;IACH,OAAO,CAAC,2BAA2B;IAKnC,OAAO,CAAC,2BAA2B;IAgDnC,OAAO,CAAC,4BAA4B;IAoBpC,OAAO,CAAC,+BAA+B;IA0DvC,OAAO,CAAC,4BAA4B;IAkBpC,OAAO,CAAC,oBAAoB;IAY5B,OAAO,CAAC,4BAA4B;IAYpC,OAAO,CAAC,qBAAqB;IAa7B,OAAO,CAAC,oBAAoB;IAM5B,OAAO,CAAC,iBAAiB;IAWzB;;;;OAIG;IACH,kBAAkB,IAAI,eAAe,GAAG,IAAI;IA8B5C;;;;;;OAMG;IACH,gBAAgB,CAAC,EAAE,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,GAAG,eAAe;IA6BtE,iBAAiB,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI;IAInC,aAAa,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI;IAI/C,sBAAsB,IAAI,MAAM;IAWhC,mBAAmB,CAAC,IAAI,CAAC,EAAE,aAAa,GAAG,MAAM;IAoBjD,0BAA0B,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC;IAc1E,kFAAkF;IAClF,eAAe,IAAI,eAAe,EAAE;IAWpC;;;;;OAKG;IACH,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,aAAa,EAAE,GAAG,MAAM;IAmBzE,uDAAuD;IACvD,cAAc,IAAI,KAAK,CAAC;QACtB,QAAQ,EAAE,aAAa,CAAC;QACxB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;QACzB,UAAU,EAAE,UAAU,GAAG,IAAI,CAAC;QAC9B,WAAW,EAAE,MAAM,CAAC;QACpB,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;KAClC,CAAC;IAiCF,OAAO,CAAC,gBAAgB;IAOxB,OAAO,CAAC,mBAAmB;IAc3B,OAAO,CAAC,cAAc;IAmCtB,yFAAyF;IACzF,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG;QAAE,EAAE,EAAE,MAAM,CAAA;KAAE;IAO7D,OAAO,CAAC,kBAAkB;IAO1B,+EAA+E;IAC/E,aAAa,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,MAAM;CAUtC"}

package/dist/operator/task-ledger.js

@@ -23,6 +23,7 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.TaskLedger = exports.WORKORDER_CHANNEL_PREFIX = exports.TEMPORAL_WORKORDER_MAX_ATTEMPTS = exports.WORKORDER_KINDS = exports.TASK_KINDS = exports.TASK_PRIORITIES = exports.TASK_STATUSES = void 0;
 const node_crypto_1 = require("node:crypto");
 const operator_task_temporal_js_1 = require("../db/migrations/operator-task-temporal.js");
+const effects_js_1 = require("../evidence/effects.js");
 const temporal_effect_js_1 = require("./temporal-effect.js");
 const task_temporal_js_1 = require("./task-temporal.js");
 exports.TASK_STATUSES = [
@@ -44,6 +45,31 @@ exports.TEMPORAL_WORKORDER_MAX_ATTEMPTS = 3;
 exports.WORKORDER_CHANNEL_PREFIX = 'workorder:';
 const KNOWN_WORKORDER_CHANNELS = exports.WORKORDER_KINDS.map((workKind) => `${exports.WORKORDER_CHANNEL_PREFIX}${workKind}`);
 const KNOWN_WORKORDER_CHANNELS_SQL = KNOWN_WORKORDER_CHANNELS.map(() => '?').join(',');
+const PRIORITY_RANK = { high: 0, normal: 1, low: 2 };
+function encodeListCursor(payload) {
+    return Buffer.from(JSON.stringify(payload), 'utf8').toString('base64url');
+}
+/** Loud on anything malformed or from a different ordering: a cursor silently
+ *  reinterpreted under another order would skip or repeat rows, which is exactly
+ *  the incompleteness this page contract exists to rule out. */
+function decodeListCursor(cursor, order) {
+    let parsed;
+    try {
+        parsed = JSON.parse(Buffer.from(cursor, 'base64url').toString('utf8'));
+    }
+    catch {
+        throw new Error('[task-ledger] malformed list cursor');
+    }
+    const payload = parsed;
+    if (!payload || payload.order !== order || !Array.isArray(payload.k)) {
+        throw new Error(`[task-ledger] list cursor does not belong to order '${order}'`);
+    }
+    const expected = order === 'deadline_priority' ? 4 : 2;
+    if (payload.k.length !== expected || payload.k.some((value) => value === null)) {
+        throw new Error('[task-ledger] malformed list cursor');
+    }
+    return payload;
+}
 const ISO_DATE_PATTERN = /^\d{4}-\d{2}-\d{2}$/;
 function isoToEpochMs(iso) {
     if (!iso)
@@ -134,6 +160,9 @@ class TaskLedger {
       CREATE INDEX IF NOT EXISTS idx_operator_no_update_scope
         ON operator_no_update_notes(scope, id);
     `);
+        // Same database as the tasks, so a change and its cause commit or roll back together.
+        // A ledger that can disagree with the rows it describes is worse than no ledger.
+        (0, effects_js_1.ensureEffectLedger)(this.db);
         this.upgradeSchema();
         const foreignKeyViolations = this.db.pragma('foreign_key_check');
         if (foreignKeyViolations.length > 0) {
@@ -260,8 +289,20 @@ class TaskLedger {
         return row.count;
     }
     list(filter = {}) {
-        // Owner surface only - system workorder rows never appear in board/REST/
-        // gateway listings (Stage-2 kind filter; workorders have dedicated readers).
+        const { where, params } = this.buildListPredicate(filter);
+        const rawLimit = Number(filter.limit);
+        const limit = Number.isFinite(rawLimit) ? Math.max(1, Math.min(200, Math.floor(rawLimit))) : 50;
+        const rows = this.db
+            .prepare(`SELECT * FROM operator_tasks
+         ${where.length > 0 ? `WHERE ${where.join(' AND ')}` : ''}
+         ORDER BY ${TaskLedger.orderSql(filter.order)}
+         LIMIT ?`)
+            .all(...params, limit);
+        return rows.map((row) => this.toRecord(row));
+    }
+    /** Shared filter predicate. Owner surface only - system workorder rows never appear in
+     *  board/REST/gateway listings (Stage-2 kind filter; workorders have dedicated readers). */
+    buildListPredicate(filter) {
         const where = [`kind = 'owner'`];
         const params = [];
         if (filter.status) {
@@ -277,21 +318,77 @@ class TaskLedger {
             const like = `%${filter.search}%`;
             params.push(like, like, like);
         }
-        const order = filter.order === 'updated'
+        return { where, params };
+    }
+    /** ORDER BY for both list() and listPage(); the trailing id makes it a TOTAL order,
+     *  which is what lets a keyset cursor resume without skipping or repeating a row.
+     *  LIMIT applies AFTER ordering, so a bounded read still returns the true top-N. */
+    static orderSql(order) {
+        return order === 'updated'
             ? 'updated_at DESC, id DESC'
             : // deadline asc NULLS LAST, then priority high>normal>low, then id.
-                // LIMIT applies AFTER ordering so the true top-N is returned.
-                `CASE WHEN deadline IS NULL THEN 1 ELSE 0 END ASC, deadline ASC,
-           CASE priority WHEN 'high' THEN 0 WHEN 'normal' THEN 1 ELSE 2 END ASC, id ASC`;
+                `CASE WHEN deadline IS NULL THEN 1 ELSE 0 END ASC, COALESCE(deadline, '') ASC,
+         CASE priority WHEN 'high' THEN 0 WHEN 'normal' THEN 1 ELSE 2 END ASC, id ASC`;
+    }
+    static cursorFor(record, order) {
+        if (order === 'updated') {
+            return { order, k: [record.updatedAt, record.id] };
+        }
+        return {
+            order,
+            k: [
+                record.deadlineIso === null ? 1 : 0,
+                record.deadlineIso ?? '',
+                PRIORITY_RANK[record.priority] ?? 2,
+                record.id,
+            ],
+        };
+    }
+    /**
+     * One page of the same ordered set, with the totals that make completeness provable.
+     *
+     * Keyset, not OFFSET: an offset page silently skips or repeats rows when the set
+     * changes between pages, which would leave a "whole situation" claim resting on a
+     * read that quietly lost items.
+     */
+    listPage(filter = {}) {
+        const order = filter.order === 'updated' ? 'updated' : 'deadline_priority';
+        const { where, params } = this.buildListPredicate(filter);
         const rawLimit = Number(filter.limit);
         const limit = Number.isFinite(rawLimit) ? Math.max(1, Math.min(200, Math.floor(rawLimit))) : 50;
+        const totalRow = this.db
+            .prepare(`SELECT COUNT(*) AS total FROM operator_tasks WHERE ${where.join(' AND ')}`)
+            .get(...params);
+        const pageWhere = [...where];
+        const pageParams = [...params];
+        if (filter.cursor) {
+            const { k } = decodeListCursor(filter.cursor, order);
+            if (order === 'updated') {
+                pageWhere.push('(updated_at, id) < (?, ?)');
+            }
+            else {
+                pageWhere.push(`(CASE WHEN deadline IS NULL THEN 1 ELSE 0 END, COALESCE(deadline, ''),
+            CASE priority WHEN 'high' THEN 0 WHEN 'normal' THEN 1 ELSE 2 END, id) > (?, ?, ?, ?)`);
+            }
+            pageParams.push(...k);
+        }
+        // limit + 1 probes for a next page instead of guessing from a full page, so the
+        // final page never hands out a cursor that resolves to nothing.
         const rows = this.db
             .prepare(`SELECT * FROM operator_tasks
-         ${where.length > 0 ? `WHERE ${where.join(' AND ')}` : ''}
-         ORDER BY ${order}
+         WHERE ${pageWhere.join(' AND ')}
+         ORDER BY ${TaskLedger.orderSql(filter.order)}
          LIMIT ?`)
-            .all(...params, limit);
-        return rows.map((row) => this.toRecord(row));
+            .all(...pageParams, limit + 1);
+        const hasMore = rows.length > limit;
+        const tasks = rows.slice(0, limit).map((row) => this.toRecord(row));
+        const last = tasks[tasks.length - 1];
+        return {
+            tasks,
+            total: totalRow.total,
+            returned: tasks.length,
+            nextCursor: hasMore && last ? encodeListCursor(TaskLedger.cursorFor(last, order)) : null,
+        };
     }
     /** Internal bounded page for temporal reconciliation; excludes rows that can never be candidates. */
     listTemporalScanPage(input) {
@@ -327,7 +424,7 @@ class TaskLedger {
      * (source_channel, source_event_id) UPSERTS - the existing row gets the new
      * latest_event (and title stays) instead of a near-duplicate row appearing.
      */
-    create(input) {
+    create(input, origin = {}) {
         if (!input.title || input.title.trim() === '') {
             throw new Error('task title must be a non-empty string');
         }
@@ -373,22 +470,114 @@ class TaskLedger {
                     ...(input.due_at !== undefined ? { due_at: input.due_at } : {}),
                     ...(input.confirmed !== undefined ? { confirmed: input.confirmed } : {}),
                     ...(input.latest_event !== undefined ? { latest_event: input.latest_event } : {}),
+                }, 
+                // A duplicate delivery of the same event: here the cause genuinely is known,
+                // because it is the event the row is keyed on.
+                {
+                    ...origin,
+                    causeEventIds: input.source_event_id ? [input.source_event_id] : origin.causeEventIds,
                 });
             }
         }
-        const result = this.db
-            .prepare(`INSERT INTO operator_tasks
+        let createdId = 0;
+        this.db.exec('BEGIN IMMEDIATE');
+        try {
+            const result = this.db
+                .prepare(`INSERT INTO operator_tasks
            (title, status, priority, assignee, deadline, due_at, deadline_offset_minutes,
             revision, temporal_epoch, source_channel, source_event_id, latest_event,
             auto_created, confirmed, created_at, updated_at)
          VALUES (?, ?, ?, ?, ?, ?, ?, 1, ?, ?, ?, ?, ?, ?, ?, ?)`)
-            .run(input.title.trim(), input.status ?? 'pending', input.priority ?? 'normal', input.assignee ?? null, normalizedDeadline, exactDue?.dueAt ?? null, exactDue?.offsetMinutes ?? null, initialTemporalEpoch, input.source_channel ?? null, input.source_event_id ?? null, input.latest_event ?? null, 1, input.confirmed ? 1 : 0, now, now);
-        const created = this.getById(Number(result.lastInsertRowid));
+                .run(input.title.trim(), input.status ?? 'pending', input.priority ?? 'normal', input.assignee ?? null, normalizedDeadline, exactDue?.dueAt ?? null, exactDue?.offsetMinutes ?? null, initialTemporalEpoch, input.source_channel ?? null, input.source_event_id ?? null, input.latest_event ?? null, 1, input.confirmed ? 1 : 0, now, now);
+            createdId = Number(result.lastInsertRowid);
+            this.recordTaskChange({
+                kind: 'task_create',
+                taskId: createdId,
+                // The HOST batch wins. `source_event_id` arrives on agent-authored task_create
+                // input, so letting it take precedence made the attribution the agent's to choose:
+                // any 1-200 character string passes the ledger's shape check, and the change was
+                // then stamped `attributed` on a cause nobody could resolve. The run id is already
+                // protected for exactly this reason; the cause was not. Found in review.
+                //
+                // The agent's field is still USED when the host handed the run no batch - a named
+                // source event is better evidence than none, and an unbounded run has nothing else.
+                // It is weaker evidence, not worthless.
+                //
+                // A plain spread would be wrong in the other direction: an absent caller field must
+                // not erase what the host knows.
+                origin: {
+                    ...origin,
+                    causeEventIds: origin.causeEventIds && origin.causeEventIds.length > 0
+                        ? origin.causeEventIds
+                        : input.source_event_id
+                            ? [input.source_event_id]
+                            : origin.causeEventIds,
+                },
+                channel: input.source_channel ?? null,
+                // Everything the INSERT wrote. A hash over two of fifteen columns cannot tell two
+                // materially different writes apart, which is most of what a receipt is for.
+                payload: {
+                    title: input.title.trim(),
+                    status: input.status ?? 'pending',
+                    priority: input.priority ?? 'normal',
+                    assignee: input.assignee ?? null,
+                    deadline: normalizedDeadline,
+                    due_at: exactDue?.dueAt ?? null,
+                    deadline_offset_minutes: exactDue?.offsetMinutes ?? null,
+                    temporal_epoch: initialTemporalEpoch,
+                    source_channel: input.source_channel ?? null,
+                    source_event_id: input.source_event_id ?? null,
+                    latest_event: input.latest_event ?? null,
+                    confirmed: input.confirmed ? 1 : 0,
+                },
+                atMs: now,
+            });
+            this.db.exec('COMMIT');
+        }
+        catch (error) {
+            this.db.exec('ROLLBACK');
+            throw error;
+        }
+        const created = this.getById(createdId);
         if (!created)
             throw new Error('task_create: inserted row could not be read back');
         return created;
     }
-    update(id, patch) {
+    /**
+     * Write the effect row for a task change.
+     *
+     * Called from inside the same transaction as the write it describes. The cause is the
+     * event the caller already recorded on the row - the tool has always accepted it, and
+     * 178 of the 179 owner tasks that carry one resolve to a real indexed event, so this is
+     * attribution that already exists rather than a new burden on the agent.
+     *
+     * When there is no cause the change is still recorded, marked unattributed. That is the
+     * honest reading of `task_update`, which has never had a cause field at all: the system
+     * has been changing owner work items without recording why, and the ledger's job is to
+     * show how often, not to pretend otherwise or to start refusing writes.
+     */
+    recordTaskChange(input) {
+        const common = {
+            runId: input.origin.runId ?? null,
+            channelId: input.channel,
+            kind: input.kind,
+            targetType: 'task',
+            targetId: String(input.taskId),
+            payload: input.payload,
+            atMs: input.atMs,
+        };
+        // A cause the ledger cannot use makes the change unattributed - it never makes the
+        // change fail. Some live rows carry 400-character legacy source identifiers, and an
+        // operator that cannot close a work item because its upstream id is malformed is a
+        // worse system than one that admits it does not know why the item changed.
+        const causes = (input.origin.causeEventIds ?? []).filter(effects_js_1.isUsableCause);
+        if (causes.length > 0) {
+            (0, effects_js_1.recordEffect)(this.db, { ...common, sourceEventIds: causes });
+            return;
+        }
+        (0, effects_js_1.recordUnattributedChange)(this.db, common);
+    }
+    update(id, patch, origin = {}) {
         if (patch.status === 'failed') {
             throw new Error(`task_update: 'failed' is a system-only status`);
         }
@@ -491,24 +680,43 @@ class TaskLedger {
             ];
             const changedColumns = persistedColumns.filter((column) => next[column] !== existing[column]);
             if (changedColumns.length === 0) {
+                // Nothing moved, so nothing is recorded. This is the whole point of the ledger:
+                // a call that ran is not a change, and the two must not be countable as one.
+                //
+                // The read-back happens after the catch, not here: a throw between COMMIT and
+                // return would send this into the catch and issue ROLLBACK with no open
+                // transaction, replacing the real error with a confusing one.
                 this.db.exec('COMMIT');
-                return this.toRecord(existing);
             }
-            const nextRevision = existing.revision + 1;
-            const sets = changedColumns.map((column) => `${column} = ?`);
-            const values = changedColumns.map((column) => next[column]);
-            sets.push('revision = ?', 'updated_at = ?');
-            values.push(nextRevision, this.now());
-            this.db
-                .prepare(`UPDATE operator_tasks SET ${sets.join(', ')} WHERE id = ?`)
-                .run(...values, id);
-            if (temporalChanged || terminalToOpen) {
-                this.supersedeTemporalGenerationsInTransaction(id, Number(next.temporal_epoch));
-            }
-            else if (openToTerminal) {
-                this.supersedeAllActiveTemporalGenerationsInTransaction(id);
+            else {
+                const nextRevision = existing.revision + 1;
+                const sets = changedColumns.map((column) => `${column} = ?`);
+                const values = changedColumns.map((column) => next[column]);
+                const updatedAt = this.now();
+                sets.push('revision = ?', 'updated_at = ?');
+                values.push(nextRevision, updatedAt);
+                this.db
+                    .prepare(`UPDATE operator_tasks SET ${sets.join(', ')} WHERE id = ?`)
+                    .run(...values, id);
+                this.recordTaskChange({
+                    kind: 'task_update',
+                    taskId: id,
+                    origin,
+                    channel: existing.source_channel,
+                    payload: {
+                        revision: nextRevision,
+                        changed: Object.fromEntries(changedColumns.map((column) => [column, next[column]])),
+                    },
+                    atMs: updatedAt,
+                });
+                if (temporalChanged || terminalToOpen) {
+                    this.supersedeTemporalGenerationsInTransaction(id, Number(next.temporal_epoch));
+                }
+                else if (openToTerminal) {
+                    this.supersedeAllActiveTemporalGenerationsInTransaction(id);
+                }
+                this.db.exec('COMMIT');
             }
-            this.db.exec('COMMIT');
         }
         catch (error) {
             this.db.exec('ROLLBACK');
@@ -733,6 +941,20 @@ class TaskLedger {
         this.assertTemporalContextMatches(suppliedContext, trustedContext);
         return trustedContext;
     }
+    /**
+     * What this system changed, and what it changed it for.
+     *
+     * Reads live beside the writes because the effect ledger shares the tasks database on
+     * purpose. Exposed here rather than by handing out the connection: the ledger owns both
+     * halves, so a change and its account of itself cannot drift apart.
+     */
+    listChanges(query = {}) {
+        return (0, effects_js_1.listEffects)(this.db, query);
+    }
+    /** Of what this system changed, how much rests on evidence. */
+    changeCoverage(sinceMs, targetType) {
+        return (0, effects_js_1.changeCoverage)(this.db, sinceMs, targetType);
+    }
     getTemporalEffect(attemptId) {
         const row = this.db
             .prepare(`SELECT * FROM operator_temporal_effects WHERE workorder_attempt_id = ?`)
@@ -970,6 +1192,27 @@ class TaskLedger {
             if (ownerUpdate.changes !== 1) {
                 throw new Error(`temporal effect lost owner task revision for task ${context.taskId}`);
             }
+            // The same ledger as every other owner-task change. This is the canonical case -
+            // a scheduled run closing a work item - and leaving it out would have meant the
+            // effect ledger could not see the one change type it was built to account for,
+            // with its receipt filed in a second table nobody joins against.
+            //
+            // Unattributed, and correctly so: a temporal check fires because a clock advanced,
+            // not because an event arrived. Its evidence is the context packet, which today
+            // carries recalled memories and zero connector events - measured, not assumed.
+            // Recording it as attributed would name a cause that does not exist.
+            this.recordTaskChange({
+                kind: 'task_update',
+                taskId: context.taskId,
+                origin: { runId: null },
+                channel: existing.source_channel,
+                payload: {
+                    revision: afterRevision,
+                    outcome: input.outcome,
+                    changed: Object.fromEntries(changedFields.map((column) => [column, next[column]])),
+                },
+                atMs: now,
+            });
             if (rescheduled) {
                 this.supersedeTemporalGenerationsInTransaction(context.taskId, Number(next.temporal_epoch), context.generationKey, now);
             }