@jungjaehoon/mama-os 0.77.0 → 0.79.0

package/dist/runtime/upkeep-close.js

@@ -0,0 +1,127 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.CLOSE_ORDER_CHANNEL = void 0;
+exports.closeUpkeepKind = closeUpkeepKind;
+const knowledge_1 = require("@jungjaehoon/mama-core/knowledge");
+const untrusted_content_js_1 = require("../utils/untrusted-content.js");
+const timezone_js_1 = require("./timezone.js");
+const upkeep_orders_js_1 = require("./upkeep-orders.js");
+exports.CLOSE_ORDER_CHANNEL = 'operator:close';
+const CLOSED_STATUSES = ['done', 'cancelled'];
+/**
+ * U1, closing summaries. A subject is one closing revision: a reopened item that closes again is
+ * a new subject. It is checked by a revision from the order's runs that sets a description, or by
+ * a work.no_update naming the item; a revision that only sets the status again does not count.
+ */
+function closeUpkeepKind(options) {
+    return {
+        name: 'close',
+        channel: exports.CLOSE_ORDER_CHANNEL,
+        intervalMs: 60 * 60 * 1000,
+        maxPerOrder: 10,
+        scan: (adapter, now, page) => {
+            const scopes = (0, knowledge_1.readableScopeIds)(options.access());
+            // Visibility as core's readWork applies it: an unbound head, or one bound to a read scope.
+            const visible = `(NOT EXISTS (SELECT 1 FROM memory_scope_bindings b WHERE b.memory_id = c.head_record_id)${scopes.length === 0
+                ? ''
+                : ` OR EXISTS (SELECT 1 FROM memory_scope_bindings b WHERE b.memory_id = c.head_record_id
+                AND b.scope_id IN (${scopes.map(() => '?').join(',')}))`})`;
+            const closed = CLOSED_STATUSES.map(() => '?').join(',');
+            const rows = adapter
+                .prepare(
+            // Core folds revisions in the order they were written and drops one whose applies_until
+            // has passed; a revision that clears the status leaves the item without one. The subject
+            // is the transition: the first closed revision after the last one that was not closed,
+            // so a later revision that sets the status to done again is not a new subject.
+            `WITH live AS (
+             SELECT * FROM commitment_assignments WHERE applies_until IS NULL OR applies_until > ?),
+           statuses AS (
+             SELECT commitment_id, revision, created_at,
+                    CASE WHEN EXISTS (SELECT 1 FROM json_each(live.clear_json) WHERE value = 'status')
+                         THEN NULL ELSE json_extract(set_json, '$.status') END AS status
+               FROM live
+              WHERE json_extract(set_json, '$.status') IS NOT NULL
+                 OR EXISTS (SELECT 1 FROM json_each(live.clear_json) WHERE value = 'status')),
+           latest AS (
+             SELECT commitment_id, MAX(revision) AS revision FROM statuses GROUP BY commitment_id),
+           reopened AS (
+             SELECT commitment_id, MAX(revision) AS revision FROM statuses
+              WHERE status IS NULL OR status NOT IN (${closed}) GROUP BY commitment_id),
+           closing AS (
+             SELECT s.commitment_id, MIN(s.revision) AS revision FROM statuses s
+               LEFT JOIN reopened o ON o.commitment_id = s.commitment_id
+              WHERE s.status IN (${closed}) AND s.revision > coalesce(o.revision, 0)
+              GROUP BY s.commitment_id),
+           titles AS (
+             SELECT x.commitment_id, json_extract(x.set_json, '$.title') AS title FROM live x
+              WHERE x.revision = (SELECT MAX(y.revision) FROM live y
+                                   WHERE y.commitment_id = x.commitment_id
+                                     AND json_extract(y.set_json, '$.title') IS NOT NULL))
+           SELECT k.commitment_id, k.revision, s.created_at, now.status, coalesce(t.title, '') AS title
+             FROM closing k
+             JOIN latest l ON l.commitment_id = k.commitment_id
+             JOIN statuses now ON now.commitment_id = l.commitment_id AND now.revision = l.revision
+             JOIN statuses s ON s.commitment_id = k.commitment_id AND s.revision = k.revision
+             JOIN commitments c ON c.commitment_id = k.commitment_id AND c.withdrawn = 0
+             LEFT JOIN titles t ON t.commitment_id = k.commitment_id
+            WHERE now.status IN (${closed}) AND s.created_at >= ? AND ${visible}
+            ORDER BY s.created_at, k.commitment_id
+            LIMIT ? OFFSET ?`)
+                .all(now, ...CLOSED_STATUSES, ...CLOSED_STATUSES, ...CLOSED_STATUSES, 
+            // A subject older than the attempt window would count its attempts from zero again.
+            Math.max(options.since, now - upkeep_orders_js_1.UPKEEP_WINDOW_MS), ...scopes, upkeep_orders_js_1.UPKEEP_SCAN_PAGE, page * upkeep_orders_js_1.UPKEEP_SCAN_PAGE);
+            return rows.map((row) => ({
+                key: `${row.commitment_id}:${row.revision}`,
+                commitmentId: row.commitment_id,
+                revision: row.revision,
+                title: row.title,
+                status: row.status,
+                closedAt: row.created_at,
+            }));
+        },
+        checked: (adapter, subject, runIds) => {
+            const { commitmentId, revision } = subject;
+            if (runIds.length === 0)
+                return false;
+            // The description as core folds it now: the latest live revision that sets or clears it.
+            // The summary counts when that revision is the order's own, after the closing revision,
+            // and leaves text there.
+            const current = adapter
+                .prepare(`SELECT revision, model_run_id,
+                  CASE WHEN EXISTS (SELECT 1 FROM json_each(clear_json) WHERE value = 'description')
+                       THEN '' ELSE coalesce(json_extract(set_json, '$.description'), '') END AS text
+             FROM commitment_assignments
+            WHERE commitment_id = ? AND (applies_until IS NULL OR applies_until > ?)
+              AND (json_extract(set_json, '$.description') IS NOT NULL
+                   OR EXISTS (SELECT 1 FROM json_each(clear_json) WHERE value = 'description'))
+            ORDER BY revision DESC LIMIT 1`)
+                .get(commitmentId, Date.now());
+            const summarized = current !== undefined &&
+                current.revision > revision &&
+                current.text.trim() !== '' &&
+                current.model_run_id !== null &&
+                runIds.includes(current.model_run_id);
+            return (summarized ||
+                (0, upkeep_orders_js_1.noUpdateCites)(adapter, runIds, { field: 'commitmentIds', values: [commitmentId] }));
+        },
+        render: (subjects, now) => {
+            const zone = options.timeZone();
+            // Titles come from stored work, which sources can shape: they are data, never instructions.
+            const ids = subjects.map((subject) => `- ${subject.commitmentId} (${subject.status} ${(0, timezone_js_1.localNow)(subject.closedAt, zone)})`);
+            const titles = subjects.map((subject) => `${subject.commitmentId}: ${subject.title.replace(/\s+/g, ' ').slice(0, 200)}`);
+            return [
+                `[upkeep_close] ${subjects.length} closed work item${subjects.length === 1 ? '' : 's'}`,
+                `Current time: ${(0, timezone_js_1.localNow)(now.getTime(), zone)} (${zone})`,
+                "Write each item's closing summary, so a later question about it reads one place:",
+                '1. Read each item with its history: work.list view=detail with ids (up to 4 per call); page older revisions with history_offset until the first one.',
+                "2. Write one work.revise per item that sets description to the summary: the rounds (each submission, each round of outside feedback with the points raised, each internal review, with dates), who did what, how it ended, and what is worth reusing. Link the revisions' evidence with derived_from. Do not change its status, stage or other fields.",
+                '3. An item whose description is already such a summary: work.no_update with commitmentIds naming it and the reason.',
+                '4. The order is checked when it ends: each item needs step 2 or 3. Correct a refused write (help gives its contract) and write it again.',
+                '5. Reply exactly [ack].',
+                ...ids,
+                (0, untrusted_content_js_1.wrapUntrustedContent)('work_titles', titles.join('\n')),
+            ].join('\n');
+        },
+    };
+}
+//# sourceMappingURL=upkeep-close.js.map

package/dist/runtime/upkeep-close.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"upkeep-close.js","sourceRoot":"","sources":["../../src/runtime/upkeep-close.ts"],"names":[],"mappings":";;;AAoCA,0CA4IC;AAhLD,gEAAyF;AACzF,wEAAqE;AACrE,+CAAyC;AACzC,yDAM4B;AAEf,QAAA,mBAAmB,GAAG,gBAAgB,CAAC;AACpD,MAAM,eAAe,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;AAmB9C;;;;GAIG;AACH,SAAgB,eAAe,CAAC,OAAyB;IACvD,OAAO;QACL,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,2BAAmB;QAC5B,UAAU,EAAE,EAAE,GAAG,EAAE,GAAG,IAAI;QAC1B,WAAW,EAAE,EAAE;QACf,IAAI,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE;YAC3B,MAAM,MAAM,GAAG,IAAA,4BAAgB,EAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;YAClD,2FAA2F;YAC3F,MAAM,OAAO,GAAG,2FACd,MAAM,CAAC,MAAM,KAAK,CAAC;gBACjB,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC;qCACyB,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAC9D,GAAG,CAAC;YACJ,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACxD,MAAM,IAAI,GAAG,OAAO;iBACjB,OAAO;YACN,wFAAwF;YACxF,yFAAyF;YACzF,uFAAuF;YACvF,+EAA+E;YAC/E;;;;;;;;;;;;;uDAa6C,MAAM;;;;mCAI1B,MAAM;;;;;;;;;;;;;;mCAcN,MAAM,+BAA+B,OAAO;;6BAElD,CACpB;iBACA,GAAG,CACF,GAAG,EACH,GAAG,eAAe,EAClB,GAAG,eAAe,EAClB,GAAG,eAAe;YAClB,oFAAoF;YACpF,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,GAAG,mCAAgB,CAAC,EAC/C,GAAG,MAAM,EACT,mCAAgB,EAChB,IAAI,GAAG,mCAAgB,CAOzB,CAAC;YACH,OAAO,IAAI,CAAC,GAAG,CACb,CAAC,GAAG,EAAgB,EAAE,CAAC,CAAC;gBACtB,GAAG,EAAE,GAAG,GAAG,CAAC,aAAa,IAAI,GAAG,CAAC,QAAQ,EAAE;gBAC3C,YAAY,EAAE,GAAG,CAAC,aAAa;gBAC/B,QAAQ,EAAE,GAAG,CAAC,QAAQ;gBACtB,KAAK,EAAE,GAAG,CAAC,KAAK;gBAChB,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,QAAQ,EAAE,GAAG,CAAC,UAAU;aACzB,CAAC,CACH,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE;YACpC,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE,GAAG,OAAuB,CAAC;YAC3D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;YACtC,yFAAyF;YACzF,wFAAwF;YACxF,yBAAyB;YACzB,MAAM,OAAO,GAAG,OAAO;iBACpB,OAAO,CACN;;;;;;;2CAOiC,CAClC;iBACA,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC,GAAG,EAAE,CAElB,CAAC;YACd,MAAM,UAAU,GACd,OAAO,KAAK,SAAS;gBACrB,OAAO,CAAC,QAAQ,GAAG,QAAQ;gBAC3B,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE;gBAC1B,OAAO,CAAC,YAAY,KAAK,IAAI;gBAC7B,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;YACxC,OAAO,CACL,UAAU;gBACV,IAAA,gCAAa,EAAC,OAAO,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,MAAM,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,CACnF,CAAC;QACJ,CAAC;QACD,MAAM,EAAE,CAAC,QAAQ,EAAE,GAAG,EAAE,EAAE;YACxB,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAC;YAChC,4FAA4F;YAC5F,MAAM,GAAG,GAAI,QAAoC,CAAC,GAAG,CACnD,CAAC,OAAO,EAAE,EAAE,CACV,KAAK,OAAO,CAAC,YAAY,KAAK,OAAO,CAAC,MAAM,IAAI,IAAA,sBAAQ,EAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,CACtF,CAAC;YACF,MAAM,MAAM,GAAI,QAAoC,CAAC,GAAG,CACtD,CAAC,OAAO,EAAE,EAAE,CAAC,GAAG,OAAO,CAAC,YAAY,KAAK,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAC5F,CAAC;YACF,OAAO;gBACL,kBAAkB,QAAQ,CAAC,MAAM,oBAAoB,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE;gBACvF,iBAAiB,IAAA,sBAAQ,EAAC,GAAG,CAAC,OAAO,EAAE,EAAE,IAAI,CAAC,KAAK,IAAI,GAAG;gBAC1D,kFAAkF;gBAClF,sJAAsJ;gBACtJ,wVAAwV;gBACxV,qHAAqH;gBACrH,0IAA0I;gBAC1I,yBAAyB;gBACzB,GAAG,GAAG;gBACN,IAAA,2CAAoB,EAAC,aAAa,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aACvD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACf,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/runtime/upkeep-orders.d.ts

@@ -0,0 +1,124 @@
+import type { DatabaseAdapter } from '@jungjaehoon/mama-core/db-manager';
+import type { JsonValue } from '@jungjaehoon/mama-core/knowledge';
+import type { MailboxRow, Stimulus } from '@jungjaehoon/mama-core/runtime/mailbox';
+import type { StimulusReceipt } from '@jungjaehoon/mama-core/runtime/runtime';
+/**
+ * Ledger upkeep orders (docs/development/work/ledger-upkeep.md). The host chooses the subjects,
+ * the agent judges and writes in the common session, and the host checks each subject when the
+ * order's run ends. Record orders (record-orders.ts) stay a separate lane: they follow live deltas
+ * and carry batches; upkeep follows the ledger's own state.
+ *
+ *   tick(kind) ── scan ──> subjects not checked, not in an open order, under the attempt limit
+ *        │                          │
+ *        │                  accept(order on kind.channel)
+ *        ▼                          ▼
+ *   onResult / onLost ──> per subject: checked │ waiting (picked by the next tick) │ lost
+ *
+ * Checked and lost subjects are also written to upkeep_settled: the mailbox deletes acked order
+ * rows after seven days, and a settled subject must never be ordered again.
+ */
+/** A subject is ordered at most this many times; then it is reported lost and left alone. */
+export declare const UPKEEP_MAX_ATTEMPTS = 3;
+/** How far back stored orders are read to count a subject's attempts. */
+export declare const UPKEEP_WINDOW_MS: number;
+/** Candidates per scan page. */
+export declare const UPKEEP_SCAN_PAGE = 200;
+/** Every order of a kind has an id with this prefix; its runs carry it as sourceMessageRef. */
+export declare function upkeepOrderIdPrefix(kindName: string): string;
+export interface UpkeepSubject {
+    /** Stable per subject: the same fact always gets the same key. */
+    key: string;
+    [field: string]: JsonValue;
+}
+export interface UpkeepKind {
+    name: string;
+    /** The order's mailbox channel, `operator:<name>`. */
+    channel: string;
+    /** How often the host scans. */
+    intervalMs: number;
+    maxPerOrder: number;
+    /**
+     * The subject's group, when the kind's subjects come in kinds of their own: maxPerOrder then
+     * bounds each group, so one group never starves the other.
+     */
+    group?(subject: UpkeepSubject): string;
+    /**
+     * Candidate subjects, oldest first, one page at a time: the runner reads further pages while
+     * settled subjects fill the earlier ones.
+     */
+    scan(adapter: DatabaseAdapter, now: number, page: number): UpkeepSubject[];
+    /** Whether the subject's work is done, judged from the runs of the orders that carried it. */
+    checked(adapter: DatabaseAdapter, subject: UpkeepSubject, runIds: readonly string[]): boolean;
+    render(subjects: readonly UpkeepSubject[], now: Date): string;
+}
+export interface UpkeepOrderPayload {
+    order: 'upkeep';
+    kind: string;
+    subjects: UpkeepSubject[];
+}
+export type UpkeepEvent = {
+    type: 'ordered';
+    kind: string;
+    order: string;
+    subjects: number;
+} | {
+    type: 'checked';
+    kind: string;
+    subject: string;
+}
+/** The subject is picked again by the kind's next tick. */
+ | {
+    type: 'waiting';
+    kind: string;
+    subject: string;
+    attempt: number;
+    reason: string;
+} | {
+    type: 'lost';
+    kind: string;
+    subject: string;
+    attempt: number;
+    reason: string;
+};
+export interface UpkeepOrdersOptions {
+    adapter: DatabaseAdapter;
+    accept(stimulus: Omit<Stimulus, 'principalId'>): StimulusReceipt;
+    kinds: readonly UpkeepKind[];
+    /** When this daemon process started: runs begun earlier can no longer write. */
+    processStartedAt: number;
+    onEvent?(event: UpkeepEvent): void;
+    /** How long to wait for an order run's child runs to end before checking. */
+    childWaitMs?: number;
+    sleep?(ms: number): Promise<void>;
+    now?(): number;
+    /** The first scan after start, so work closed while the daemon was down is not left an hour. */
+    firstTickDelayMs?: number;
+}
+export interface UpkeepOrders {
+    isUpkeepRow(row: Pick<MailboxRow, 'kind' | 'channelKey'>): boolean;
+    render(row: MailboxRow, now: Date): string;
+    onResult(row: MailboxRow, modelRunId: string | null): void;
+    /** An order row that went uncertain or dead: the same check, run at once. */
+    onLost(row: MailboxRow, reason: string): void;
+    /** Scan one kind and place its next order; at most one open order per kind. */
+    tick(kindName: string): void;
+    start(): void;
+    stop(): void;
+}
+export declare function parseUpkeepOrder(payload: JsonValue | undefined): UpkeepOrderPayload;
+/** The runs an order produced: its own turn and the child runs that turn started. */
+export declare function orderRunIds(adapter: DatabaseAdapter, orderIds: readonly string[]): string[];
+/**
+ * A completed work.no_update in these runs. With `cites`, the no-update must name one of the
+ * values in that input field (`commitmentIds` for a work item, `observationRefs` for a source);
+ * with `cites` null, any no-update in the runs counts. The field name is a fixed union, never
+ * caller text, so it interpolates into the json path safely.
+ */
+export declare function noUpdateCites(adapter: DatabaseAdapter, runIds: readonly string[], cites: {
+    field: 'commitmentIds' | 'observationRefs';
+    values: readonly string[];
+} | null): boolean;
+/** Child runs of an order run that this process started and that have not ended yet. */
+export declare function runningChildren(adapter: DatabaseAdapter, modelRunId: string, startedAt: number): number;
+export declare function createUpkeepOrders(options: UpkeepOrdersOptions): UpkeepOrders;
+//# sourceMappingURL=upkeep-orders.d.ts.map

package/dist/runtime/upkeep-orders.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"upkeep-orders.d.ts","sourceRoot":"","sources":["../../src/runtime/upkeep-orders.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAC;AACzE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kCAAkC,CAAC;AAClE,OAAO,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,wCAAwC,CAAC;AACnF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wCAAwC,CAAC;AAE9E;;;;;;;;;;;;;;GAcG;AAEH,6FAA6F;AAC7F,eAAO,MAAM,mBAAmB,IAAI,CAAC;AACrC,yEAAyE;AACzE,eAAO,MAAM,gBAAgB,QAA0B,CAAC;AACxD,gCAAgC;AAChC,eAAO,MAAM,gBAAgB,MAAM,CAAC;AAEpC,+FAA+F;AAC/F,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAE5D;AAED,MAAM,WAAW,aAAa;IAC5B,kEAAkE;IAClE,GAAG,EAAE,MAAM,CAAC;IACZ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAC;CAC5B;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,sDAAsD;IACtD,OAAO,EAAE,MAAM,CAAC;IAChB,gCAAgC;IAChC,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB;;;OAGG;IACH,KAAK,CAAC,CAAC,OAAO,EAAE,aAAa,GAAG,MAAM,CAAC;IACvC;;;OAGG;IACH,IAAI,CAAC,OAAO,EAAE,eAAe,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,aAAa,EAAE,CAAC;IAC3E,8FAA8F;IAC9F,OAAO,CAAC,OAAO,EAAE,eAAe,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC;IAC9F,MAAM,CAAC,QAAQ,EAAE,SAAS,aAAa,EAAE,EAAE,GAAG,EAAE,IAAI,GAAG,MAAM,CAAC;CAC/D;AAED,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,QAAQ,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,aAAa,EAAE,CAAC;CAC3B;AAED,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GAClE;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE;AACpD,2DAA2D;GACzD;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACnF;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAErF,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,eAAe,CAAC;IACzB,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,aAAa,CAAC,GAAG,eAAe,CAAC;IACjE,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;IAC7B,gFAAgF;IAChF,gBAAgB,EAAE,MAAM,CAAC;IACzB,OAAO,CAAC,CAAC,KAAK,EAAE,WAAW,GAAG,IAAI,CAAC;IACnC,6EAA6E;IAC7E,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,KAAK,CAAC,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAClC,GAAG,CAAC,IAAI,MAAM,CAAC;IACf,gGAAgG;IAChG,gBAAgB,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,YAAY;IAC3B,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,UAAU,EAAE,MAAM,GAAG,YAAY,CAAC,GAAG,OAAO,CAAC;IACnE,MAAM,CAAC,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,GAAG,MAAM,CAAC;IAC3C,QAAQ,CAAC,GAAG,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAAC;IAC3D,6EAA6E;IAC7E,MAAM,CAAC,GAAG,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9C,+EAA+E;IAC/E,IAAI,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,KAAK,IAAI,IAAI,CAAC;IACd,IAAI,IAAI,IAAI,CAAC;CACd;AAED,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,SAAS,GAAG,SAAS,GAAG,kBAAkB,CAYnF;AAED,qFAAqF;AACrF,wBAAgB,WAAW,CAAC,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,EAAE,CAc3F;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAC3B,OAAO,EAAE,eAAe,EACxB,MAAM,EAAE,SAAS,MAAM,EAAE,EACzB,KAAK,EAAE;IAAE,KAAK,EAAE,eAAe,GAAG,iBAAiB,CAAC;IAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GAAG,IAAI,GACtF,OAAO,CAqBT;AAoDD,wFAAwF;AACxF,wBAAgB,eAAe,CAC7B,OAAO,EAAE,eAAe,EACxB,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,MAAM,GAChB,MAAM,CAQR;AAED,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,mBAAmB,GAAG,YAAY,CAiM7E"}

package/dist/runtime/upkeep-orders.js

@@ -0,0 +1,310 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.UPKEEP_SCAN_PAGE = exports.UPKEEP_WINDOW_MS = exports.UPKEEP_MAX_ATTEMPTS = void 0;
+exports.upkeepOrderIdPrefix = upkeepOrderIdPrefix;
+exports.parseUpkeepOrder = parseUpkeepOrder;
+exports.orderRunIds = orderRunIds;
+exports.noUpdateCites = noUpdateCites;
+exports.runningChildren = runningChildren;
+exports.createUpkeepOrders = createUpkeepOrders;
+const node_crypto_1 = require("node:crypto");
+/**
+ * Ledger upkeep orders (docs/development/work/ledger-upkeep.md). The host chooses the subjects,
+ * the agent judges and writes in the common session, and the host checks each subject when the
+ * order's run ends. Record orders (record-orders.ts) stay a separate lane: they follow live deltas
+ * and carry batches; upkeep follows the ledger's own state.
+ *
+ *   tick(kind) ── scan ──> subjects not checked, not in an open order, under the attempt limit
+ *        │                          │
+ *        │                  accept(order on kind.channel)
+ *        ▼                          ▼
+ *   onResult / onLost ──> per subject: checked │ waiting (picked by the next tick) │ lost
+ *
+ * Checked and lost subjects are also written to upkeep_settled: the mailbox deletes acked order
+ * rows after seven days, and a settled subject must never be ordered again.
+ */
+/** A subject is ordered at most this many times; then it is reported lost and left alone. */
+exports.UPKEEP_MAX_ATTEMPTS = 3;
+/** How far back stored orders are read to count a subject's attempts. */
+exports.UPKEEP_WINDOW_MS = 7 * 24 * 60 * 60 * 1000;
+/** Candidates per scan page. */
+exports.UPKEEP_SCAN_PAGE = 200;
+/** Every order of a kind has an id with this prefix; its runs carry it as sourceMessageRef. */
+function upkeepOrderIdPrefix(kindName) {
+    return `upkeep:${kindName}:`;
+}
+function parseUpkeepOrder(payload) {
+    const value = payload;
+    if (!value ||
+        value.order !== 'upkeep' ||
+        typeof value.kind !== 'string' ||
+        !Array.isArray(value.subjects) ||
+        value.subjects.length === 0 ||
+        value.subjects.some((subject) => typeof subject?.key !== 'string' || subject.key === ''))
+        throw new Error('Upkeep order requires { order: upkeep, kind, subjects: [{ key }] }');
+    return value;
+}
+/** The runs an order produced: its own turn and the child runs that turn started. */
+function orderRunIds(adapter, orderIds) {
+    if (orderIds.length === 0)
+        return [];
+    const marks = orderIds.map(() => '?').join(',');
+    return adapter
+        .prepare(`SELECT r.model_run_id AS id FROM model_runs r
+          WHERE json_extract(r.input_refs_json, '$.sourceMessageRef') IN (${marks})
+         UNION
+         SELECT c.model_run_id FROM model_runs c JOIN model_runs p ON c.parent_model_run_id = p.model_run_id
+          WHERE json_extract(p.input_refs_json, '$.sourceMessageRef') IN (${marks})`)
+        .all(...orderIds, ...orderIds).map((row) => row.id);
+}
+/**
+ * A completed work.no_update in these runs. With `cites`, the no-update must name one of the
+ * values in that input field (`commitmentIds` for a work item, `observationRefs` for a source);
+ * with `cites` null, any no-update in the runs counts. The field name is a fixed union, never
+ * caller text, so it interpolates into the json path safely.
+ */
+function noUpdateCites(adapter, runIds, cites) {
+    if (runIds.length === 0)
+        return false;
+    if (cites !== null && cites.values.length === 0)
+        return false;
+    const citing = cites === null
+        ? ''
+        : `AND EXISTS (
+            SELECT 1 FROM json_each(CASE WHEN json_valid(t.input_summary)
+                THEN json_extract(t.input_summary, '$.${cites.field}') END) ref
+             WHERE ref.value IN (${cites.values.map(() => '?').join(',')}))`;
+    return (adapter
+        .prepare(`SELECT 1 FROM tool_traces t
+          WHERE t.tool_name = 'work.no_update' AND t.execution_status = 'completed'
+            AND t.model_run_id IN (${runIds.map(() => '?').join(',')})
+            ${citing}
+          LIMIT 1`)
+        .get(...runIds, ...(cites?.values ?? [])) !== undefined);
+}
+/** The kind's subjects as its stored orders of the last week show them. */
+function storedSubjects(adapter, kind, now) {
+    const rows = adapter
+        .prepare(`SELECT m.stimulus_id, m.payload_json, m.status, n.state AS native_state
+         FROM mailbox_inputs m LEFT JOIN native_input_deliveries n ON n.input_id = m.id
+        WHERE m.kind = 'scheduled' AND m.channel_key = ? AND m.created_at >= ?
+        ORDER BY m.created_at, m.id`)
+        .all(kind.channel, now - exports.UPKEEP_WINDOW_MS);
+    const states = new Map();
+    let anyOpen = false;
+    for (const row of rows) {
+        const order = parseUpkeepOrder(JSON.parse(row.payload_json));
+        // A row parked uncertain stays claimed; it is settled through onLost, not left open.
+        const open = (row.status === 'pending' || row.status === 'claimed') && row.native_state !== 'uncertain';
+        anyOpen ||= open;
+        for (const subject of order.subjects) {
+            const current = states.get(subject.key);
+            states.set(subject.key, {
+                subject,
+                orders: [...(current?.orders ?? []), row.stimulus_id],
+                open: (current?.open ?? false) || open,
+            });
+        }
+    }
+    return { states, anyOpen };
+}
+/** A subject settled for good (upkeep_settled); a later write keeps the latest state. */
+function recordSettled(adapter) {
+    return adapter.prepare(`INSERT OR REPLACE INTO upkeep_settled (kind, subject_key, state, settled_at) VALUES (?, ?, ?, ?)`);
+}
+/** Child runs of an order run that this process started and that have not ended yet. */
+function runningChildren(adapter, modelRunId, startedAt) {
+    const row = adapter
+        .prepare(`SELECT count(*) AS n FROM model_runs
+        WHERE parent_model_run_id = ? AND status NOT IN ('committed', 'failed') AND created_at >= ?`)
+        .get(modelRunId, startedAt);
+    return row?.n ?? 0;
+}
+function createUpkeepOrders(options) {
+    const now = options.now ?? Date.now;
+    const sleep = options.sleep ?? ((ms) => new Promise((resolve) => setTimeout(resolve, ms)));
+    const childWaitMs = options.childWaitMs ?? 10 * 60 * 1000;
+    const byName = new Map(options.kinds.map((kind) => [kind.name, kind]));
+    const byChannel = new Map(options.kinds.map((kind) => [kind.channel, kind]));
+    const timers = [];
+    // Orders whose check is still waiting for child runs: their subjects are not ordered again yet.
+    const checking = new Set();
+    // An order is settled once: a row parked uncertain and then closed reports here twice.
+    const settledOrders = new Set();
+    let stopped = false;
+    const kindOf = (row) => {
+        const kind = byChannel.get(row.channelKey);
+        if (!kind)
+            throw new Error(`No upkeep kind serves channel ${row.channelKey}`);
+        return kind;
+    };
+    const settle = (kind, orderId, order, reason) => {
+        if (settledOrders.has(orderId))
+            return;
+        settledOrders.add(orderId);
+        const at = now();
+        const { states } = storedSubjects(options.adapter, kind, at);
+        const record = recordSettled(options.adapter);
+        for (const subject of order.subjects) {
+            const orders = states.get(subject.key)?.orders ?? [];
+            if (kind.checked(options.adapter, subject, orderRunIds(options.adapter, orders))) {
+                record.run(kind.name, subject.key, 'checked', at);
+                options.onEvent?.({ type: 'checked', kind: kind.name, subject: subject.key });
+                continue;
+            }
+            const attempt = orders.length;
+            if (attempt >= exports.UPKEEP_MAX_ATTEMPTS) {
+                record.run(kind.name, subject.key, 'lost', at);
+                options.onEvent?.({ type: 'lost', kind: kind.name, subject: subject.key, attempt, reason });
+            }
+            else
+                options.onEvent?.({
+                    type: 'waiting',
+                    kind: kind.name,
+                    subject: subject.key,
+                    attempt,
+                    reason,
+                });
+        }
+    };
+    const tick = (kindName) => {
+        const kind = byName.get(kindName);
+        if (!kind)
+            throw new Error(`Unknown upkeep kind ${kindName}`);
+        if (stopped)
+            return;
+        const at = now();
+        const { states, anyOpen } = storedSubjects(options.adapter, kind, at);
+        // One order of a kind at a time keeps the common session's queue for the owner; an order whose
+        // child runs may still write is not over yet.
+        if (anyOpen || [...checking].some((id) => id.startsWith(upkeepOrderIdPrefix(kind.name))))
+            return;
+        const settled = new Set(options.adapter
+            .prepare(`SELECT subject_key FROM upkeep_settled WHERE kind = ?`)
+            .all(kind.name).map((row) => row.subject_key));
+        const record = recordSettled(options.adapter);
+        const due = [];
+        const perGroup = new Map();
+        const candidates = function* () {
+            for (let page = 0;; page += 1) {
+                const rows = kind.scan(options.adapter, at, page);
+                yield* rows;
+                if (rows.length < exports.UPKEEP_SCAN_PAGE)
+                    return;
+            }
+        };
+        for (const subject of candidates()) {
+            if (kind.group === undefined && due.length >= kind.maxPerOrder)
+                break;
+            const group = kind.group?.(subject);
+            if (group !== undefined && (perGroup.get(group) ?? 0) >= kind.maxPerOrder)
+                continue;
+            if (settled.has(subject.key))
+                continue;
+            const state = states.get(subject.key);
+            const orders = state?.orders ?? [];
+            // No order of the kind is open here, so these orders are over. Their settlement is recorded
+            // again: a stop during the child-run wait, a failed check or a crash in settle() leaves it
+            // unwritten, and the stored orders that show it are deleted after seven days.
+            if (orders.length > 0 &&
+                kind.checked(options.adapter, subject, orderRunIds(options.adapter, orders))) {
+                record.run(kind.name, subject.key, 'checked', at);
+                continue;
+            }
+            // Reported lost when its last order was settled; it is never ordered again.
+            if (orders.length >= exports.UPKEEP_MAX_ATTEMPTS) {
+                record.run(kind.name, subject.key, 'lost', at);
+                continue;
+            }
+            due.push(subject);
+            if (group !== undefined)
+                perGroup.set(group, (perGroup.get(group) ?? 0) + 1);
+        }
+        if (due.length === 0)
+            return;
+        const id = `${upkeepOrderIdPrefix(kind.name)}${at}:${(0, node_crypto_1.randomUUID)().slice(0, 8)}`;
+        const payload = { order: 'upkeep', kind: kind.name, subjects: due };
+        const receipt = options.accept({
+            id,
+            kind: 'scheduled',
+            channelKey: kind.channel,
+            occurredAt: at,
+            payload: payload,
+        });
+        if (receipt.state !== 'duplicate')
+            options.onEvent?.({ type: 'ordered', kind: kind.name, order: id, subjects: due.length });
+    };
+    return {
+        isUpkeepRow: (row) => row.kind === 'scheduled' && byChannel.has(row.channelKey),
+        render: (row, at) => kindOf(row).render(parseUpkeepOrder(row.payload).subjects, at),
+        // The check waits for child runs in the background so the owner's queue is never held.
+        onResult: (row, modelRunId) => {
+            const kind = kindOf(row);
+            const order = parseUpkeepOrder(row.payload);
+            checking.add(row.stimulusId);
+            void (async () => {
+                if (modelRunId !== null) {
+                    const deadline = Date.now() + childWaitMs;
+                    while (!stopped &&
+                        runningChildren(options.adapter, modelRunId, options.processStartedAt) > 0 &&
+                        Date.now() < deadline)
+                        await sleep(5_000);
+                }
+                if (stopped)
+                    return;
+                settle(kind, row.stimulusId, order, 'the order ended without the expected write or a no-update naming it');
+            })()
+                .catch((error) => {
+                // A check cut off by shutdown is not a loss: the next tick finds the subject again.
+                if (stopped)
+                    return;
+                for (const subject of order.subjects)
+                    options.onEvent?.({
+                        type: 'lost',
+                        kind: kind.name,
+                        subject: subject.key,
+                        attempt: 0,
+                        reason: `upkeep check failed: ${error instanceof Error ? error.message : String(error)}`,
+                    });
+            })
+                .finally(() => checking.delete(row.stimulusId));
+        },
+        onLost: (row, reason) => {
+            const kind = kindOf(row);
+            settle(kind, row.stimulusId, parseUpkeepOrder(row.payload), reason);
+        },
+        tick,
+        start: () => {
+            if (timers.length > 0 || stopped)
+                return;
+            for (const kind of options.kinds) {
+                const run = () => {
+                    try {
+                        tick(kind.name);
+                    }
+                    catch (error) {
+                        // A scan that fails names its kind; no subject was ordered, so the next scan retries.
+                        options.onEvent?.({
+                            type: 'lost',
+                            kind: kind.name,
+                            subject: '*',
+                            attempt: 0,
+                            reason: `upkeep scan failed: ${error instanceof Error ? error.message : String(error)}`,
+                        });
+                    }
+                };
+                const first = setTimeout(run, options.firstTickDelayMs ?? 60_000);
+                const every = setInterval(run, kind.intervalMs);
+                first.unref?.();
+                every.unref?.();
+                timers.push({ cancel: () => clearTimeout(first) }, { cancel: () => clearInterval(every) });
+            }
+        },
+        stop: () => {
+            stopped = true;
+            for (const timer of timers.splice(0))
+                timer.cancel();
+        },
+    };
+}
+//# sourceMappingURL=upkeep-orders.js.map

package/dist/runtime/upkeep-orders.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"upkeep-orders.js","sourceRoot":"","sources":["../../src/runtime/upkeep-orders.ts"],"names":[],"mappings":";;;AA8BA,kDAEC;AAsED,4CAYC;AAGD,kCAcC;AAQD,sCAyBC;AAqDD,0CAYC;AAED,gDAiMC;AAxaD,6CAAyC;AAMzC;;;;;;;;;;;;;;GAcG;AAEH,6FAA6F;AAChF,QAAA,mBAAmB,GAAG,CAAC,CAAC;AACrC,yEAAyE;AAC5D,QAAA,gBAAgB,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;AACxD,gCAAgC;AACnB,QAAA,gBAAgB,GAAG,GAAG,CAAC;AAEpC,+FAA+F;AAC/F,SAAgB,mBAAmB,CAAC,QAAgB;IAClD,OAAO,UAAU,QAAQ,GAAG,CAAC;AAC/B,CAAC;AAsED,SAAgB,gBAAgB,CAAC,OAA8B;IAC7D,MAAM,KAAK,GAAG,OAAyD,CAAC;IACxE,IACE,CAAC,KAAK;QACN,KAAK,CAAC,KAAK,KAAK,QAAQ;QACxB,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;QAC9B,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC;QAC9B,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QAC3B,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,OAAO,EAAE,GAAG,KAAK,QAAQ,IAAI,OAAO,CAAC,GAAG,KAAK,EAAE,CAAC;QAExF,MAAM,IAAI,KAAK,CAAC,oEAAoE,CAAC,CAAC;IACxF,OAAO,KAA2B,CAAC;AACrC,CAAC;AAED,qFAAqF;AACrF,SAAgB,WAAW,CAAC,OAAwB,EAAE,QAA2B;IAC/E,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACrC,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChD,OACE,OAAO;SACJ,OAAO,CACN;4EACoE,KAAK;;;4EAGL,KAAK,GAAG,CAC7E;SACA,GAAG,CAAC,GAAG,QAAQ,EAAE,GAAG,QAAQ,CAChC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AACzB,CAAC;AAED;;;;;GAKG;AACH,SAAgB,aAAa,CAC3B,OAAwB,EACxB,MAAyB,EACzB,KAAuF;IAEvF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9D,MAAM,MAAM,GACV,KAAK,KAAK,IAAI;QACZ,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC;;wDAEgD,KAAK,CAAC,KAAK;mCAChC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;IAC3E,OAAO,CACL,OAAO;SACJ,OAAO,CACN;;qCAE6B,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;cACtD,MAAM;kBACF,CACX;SACA,GAAG,CAAC,GAAG,MAAM,EAAE,GAAG,CAAC,KAAK,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,KAAK,SAAS,CAC1D,CAAC;AACJ,CAAC;AAUD,2EAA2E;AAC3E,SAAS,cAAc,CAAC,OAAwB,EAAE,IAAgB,EAAE,GAAW;IAC7E,MAAM,IAAI,GAAG,OAAO;SACjB,OAAO,CACN;;;oCAG8B,CAC/B;SACA,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,GAAG,wBAAgB,CAKzC,CAAC;IACH,MAAM,MAAM,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC/C,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAc,CAAC,CAAC;QAC1E,qFAAqF;QACrF,MAAM,IAAI,GACR,CAAC,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,IAAI,GAAG,CAAC,YAAY,KAAK,WAAW,CAAC;QAC7F,OAAO,KAAK,IAAI,CAAC;QACjB,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACrC,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACxC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE;gBACtB,OAAO;gBACP,MAAM,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,WAAW,CAAC;gBACrD,IAAI,EAAE,CAAC,OAAO,EAAE,IAAI,IAAI,KAAK,CAAC,IAAI,IAAI;aACvC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AAC7B,CAAC;AAED,yFAAyF;AACzF,SAAS,aAAa,CAAC,OAAwB;IAC7C,OAAO,OAAO,CAAC,OAAO,CACpB,kGAAkG,CACnG,CAAC;AACJ,CAAC;AAED,wFAAwF;AACxF,SAAgB,eAAe,CAC7B,OAAwB,EACxB,UAAkB,EAClB,SAAiB;IAEjB,MAAM,GAAG,GAAG,OAAO;SAChB,OAAO,CACN;oGAC8F,CAC/F;SACA,GAAG,CAAC,UAAU,EAAE,SAAS,CAA8B,CAAC;IAC3D,OAAO,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;AACrB,CAAC;AAED,SAAgB,kBAAkB,CAAC,OAA4B;IAC7D,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC;IACpC,MAAM,KAAK,GACT,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,EAAU,EAAE,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACvF,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;IAC1D,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACvE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7E,MAAM,MAAM,GAA8B,EAAE,CAAC;IAC7C,gGAAgG;IAChG,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,uFAAuF;IACvF,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,IAAI,OAAO,GAAG,KAAK,CAAC;IAEpB,MAAM,MAAM,GAAG,CAAC,GAAmC,EAAc,EAAE;QACjE,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC3C,IAAI,CAAC,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;QAC9E,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,CACb,IAAgB,EAChB,OAAe,EACf,KAAyB,EACzB,MAAc,EACR,EAAE;QACR,IAAI,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,OAAO;QACvC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC3B,MAAM,EAAE,GAAG,GAAG,EAAE,CAAC;QACjB,MAAM,EAAE,MAAM,EAAE,GAAG,cAAc,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QAC7D,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAC9C,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACrC,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,MAAM,IAAI,EAAE,CAAC;YACrD,IAAI,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;gBACjF,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;gBAClD,OAAO,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;gBAC9E,SAAS;YACX,CAAC;YACD,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC;YAC9B,IAAI,OAAO,IAAI,2BAAmB,EAAE,CAAC;gBACnC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;gBAC/C,OAAO,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;YAC9F,CAAC;;gBACC,OAAO,CAAC,OAAO,EAAE,CAAC;oBAChB,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,OAAO,EAAE,OAAO,CAAC,GAAG;oBACpB,OAAO;oBACP,MAAM;iBACP,CAAC,CAAC;QACP,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,IAAI,GAAG,CAAC,QAAgB,EAAQ,EAAE;QACtC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAClC,IAAI,CAAC,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,QAAQ,EAAE,CAAC,CAAC;QAC9D,IAAI,OAAO;YAAE,OAAO;QACpB,MAAM,EAAE,GAAG,GAAG,EAAE,CAAC;QACjB,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,cAAc,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QACtE,+FAA+F;QAC/F,8CAA8C;QAC9C,IAAI,OAAO,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YACtF,OAAO;QACT,MAAM,OAAO,GAAG,IAAI,GAAG,CAEnB,OAAO,CAAC,OAAO;aACZ,OAAO,CAAC,uDAAuD,CAAC;aAChE,GAAG,CAAC,IAAI,CAAC,IAAI,CACjB,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,WAAW,CAAC,CAChC,CAAC;QACF,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAC9C,MAAM,GAAG,GAAoB,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC3C,MAAM,UAAU,GAAG,QAAQ,CAAC;YAC1B,KAAK,IAAI,IAAI,GAAG,CAAC,GAAI,IAAI,IAAI,CAAC,EAAE,CAAC;gBAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;gBAClD,KAAK,CAAC,CAAC,IAAI,CAAC;gBACZ,IAAI,IAAI,CAAC,MAAM,GAAG,wBAAgB;oBAAE,OAAO;YAC7C,CAAC;QACH,CAAC,CAAC;QACF,KAAK,MAAM,OAAO,IAAI,UAAU,EAAE,EAAE,CAAC;YACnC,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,IAAI,IAAI,CAAC,WAAW;gBAAE,MAAM;YACtE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC;YACpC,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,WAAW;gBAAE,SAAS;YACpF,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC;gBAAE,SAAS;YACvC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACtC,MAAM,MAAM,GAAG,KAAK,EAAE,MAAM,IAAI,EAAE,CAAC;YACnC,4FAA4F;YAC5F,2FAA2F;YAC3F,8EAA8E;YAC9E,IACE,MAAM,CAAC,MAAM,GAAG,CAAC;gBACjB,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,EAC5E,CAAC;gBACD,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;gBAClD,SAAS;YACX,CAAC;YACD,4EAA4E;YAC5E,IAAI,MAAM,CAAC,MAAM,IAAI,2BAAmB,EAAE,CAAC;gBACzC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;gBAC/C,SAAS;YACX,CAAC;YACD,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAClB,IAAI,KAAK,KAAK,SAAS;gBAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/E,CAAC;QACD,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QAC7B,MAAM,EAAE,GAAG,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,IAAA,wBAAU,GAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAChF,MAAM,OAAO,GAAuB,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;QACxF,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;YAC7B,EAAE;YACF,IAAI,EAAE,WAAW;YACjB,UAAU,EAAE,IAAI,CAAC,OAAO;YACxB,UAAU,EAAE,EAAE;YACd,OAAO,EAAE,OAAyC;SACnD,CAAC,CAAC;QACH,IAAI,OAAO,CAAC,KAAK,KAAK,WAAW;YAC/B,OAAO,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;IAC7F,CAAC,CAAC;IAEF,OAAO;QACL,WAAW,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,WAAW,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC;QAC/E,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;QACnF,uFAAuF;QACvF,QAAQ,EAAE,CAAC,GAAG,EAAE,UAAU,EAAE,EAAE;YAC5B,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;YACzB,MAAM,KAAK,GAAG,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAC5C,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAC7B,KAAK,CAAC,KAAK,IAAI,EAAE;gBACf,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;oBACxB,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,WAAW,CAAC;oBAC1C,OACE,CAAC,OAAO;wBACR,eAAe,CAAC,OAAO,CAAC,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC;wBAC1E,IAAI,CAAC,GAAG,EAAE,GAAG,QAAQ;wBAErB,MAAM,KAAK,CAAC,KAAK,CAAC,CAAC;gBACvB,CAAC;gBACD,IAAI,OAAO;oBAAE,OAAO;gBACpB,MAAM,CACJ,IAAI,EACJ,GAAG,CAAC,UAAU,EACd,KAAK,EACL,qEAAqE,CACtE,CAAC;YACJ,CAAC,CAAC,EAAE;iBACD,KAAK,CAAC,CAAC,KAAc,EAAE,EAAE;gBACxB,oFAAoF;gBACpF,IAAI,OAAO;oBAAE,OAAO;gBACpB,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ;oBAClC,OAAO,CAAC,OAAO,EAAE,CAAC;wBAChB,IAAI,EAAE,MAAM;wBACZ,IAAI,EAAE,IAAI,CAAC,IAAI;wBACf,OAAO,EAAE,OAAO,CAAC,GAAG;wBACpB,OAAO,EAAE,CAAC;wBACV,MAAM,EAAE,wBAAwB,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;qBACzF,CAAC,CAAC;YACP,CAAC,CAAC;iBACD,OAAO,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC;QACpD,CAAC;QACD,MAAM,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE;YACtB,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;YACzB,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,EAAE,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC;QACtE,CAAC;QACD,IAAI;QACJ,KAAK,EAAE,GAAG,EAAE;YACV,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO;gBAAE,OAAO;YACzC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;gBACjC,MAAM,GAAG,GAAG,GAAG,EAAE;oBACf,IAAI,CAAC;wBACH,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAClB,CAAC;oBAAC,OAAO,KAAK,EAAE,CAAC;wBACf,sFAAsF;wBACtF,OAAO,CAAC,OAAO,EAAE,CAAC;4BAChB,IAAI,EAAE,MAAM;4BACZ,IAAI,EAAE,IAAI,CAAC,IAAI;4BACf,OAAO,EAAE,GAAG;4BACZ,OAAO,EAAE,CAAC;4BACV,MAAM,EAAE,uBAAuB,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;yBACxF,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC,CAAC;gBACF,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE,OAAO,CAAC,gBAAgB,IAAI,MAAM,CAAC,CAAC;gBAClE,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;gBAChD,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;gBAChB,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;gBAChB,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC7F,CAAC;QACH,CAAC;QACD,IAAI,EAAE,GAAG,EAAE;YACT,OAAO,GAAG,IAAI,CAAC;YACf,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;gBAAE,KAAK,CAAC,MAAM,EAAE,CAAC;QACvD,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/runtime/upkeep-reconcile.d.ts

@@ -0,0 +1,25 @@
+import type { JudgmentAccess } from '@jungjaehoon/mama-core/knowledge';
+import { type WorkListViewContext } from '../api/work-actions.js';
+import { type UpkeepKind } from './upkeep-orders.js';
+export declare const RECONCILE_ORDER_CHANNEL = "operator:reconcile";
+export interface ReconcileKindOptions {
+    knowledge: WorkListViewContext['knowledge'];
+    /** The common session's access: only work it can read is chosen. */
+    access: () => JudgmentAccess;
+    timeZone: () => string;
+    /** reports.full_report_hours, read at each scan: the first after midnight is the morning one. */
+    fullReportHours: () => readonly number[];
+}
+/**
+ * U3, board reconcile. Once a day before the morning report the host orders two groups of
+ * subject, at most ten of each:
+ * - an open item with cited cards that moved after the item's latest revision, all its moved cards
+ *   in one subject keyed by the item and its latest move, so a new move is a new subject;
+ * - an item in progress or in review whose latest source event is over 30 days old, chosen the way
+ *   work.list lastEventBefore chooses it, oldest first, keyed by the item and its latest revision
+ *   from outside the reconcile orders.
+ * A subject is checked by a revision on the item from the order's runs, or a work.no_update
+ * naming it. The runner keeps settled subjects past the mailbox's retention (upkeep_settled).
+ */
+export declare function reconcileUpkeepKind(options: ReconcileKindOptions): UpkeepKind;
+//# sourceMappingURL=upkeep-reconcile.d.ts.map

package/dist/runtime/upkeep-reconcile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"upkeep-reconcile.d.ts","sourceRoot":"","sources":["../../src/runtime/upkeep-reconcile.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAkB,cAAc,EAAE,MAAM,kCAAkC,CAAC;AACvF,OAAO,EAIL,KAAK,mBAAmB,EACzB,MAAM,wBAAwB,CAAC;AAGhC,OAAO,EAKL,KAAK,UAAU,EAEhB,MAAM,oBAAoB,CAAC;AAE5B,eAAO,MAAM,uBAAuB,uBAAuB,CAAC;AAO5D,MAAM,WAAW,oBAAoB;IACnC,SAAS,EAAE,mBAAmB,CAAC,WAAW,CAAC,CAAC;IAC5C,oEAAoE;IACpE,MAAM,EAAE,MAAM,cAAc,CAAC;IAC7B,QAAQ,EAAE,MAAM,MAAM,CAAC;IACvB,iGAAiG;IACjG,eAAe,EAAE,MAAM,SAAS,MAAM,EAAE,CAAC;CAC1C;AAoID;;;;;;;;;;GAUG;AACH,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,oBAAoB,GAAG,UAAU,CAsI7E"}