@maiaos/protocol 0.1.0-canary.1

package/dist/run-ledger/feature.d.ts

@@ -0,0 +1,179 @@
+import { type MaiaOperationsFeature } from "../feature/descriptor/index.js";
+/** A coordinator's Run ledger: a task graph dispatched to executor Sessions. */
+export declare const RUN_LEDGER_FEATURE_OPERATIONS: readonly [{
+    readonly method: "run.ledger.create";
+    readonly nodeHandler: "runLedger";
+    readonly policy: {
+        readonly confirmation: "none";
+        readonly effectClass: "native-idempotent";
+        readonly idempotency: "command-id";
+        readonly ownReceipt: true;
+        readonly receipt: "required";
+        readonly releaseQualified: false;
+        readonly revisionGuard: false;
+        readonly risk: "reversible";
+    };
+    readonly primitives: readonly ["receipt", "task"];
+    readonly projections: {
+        readonly cli: true;
+        readonly coordinator: {
+            readonly description: "Record a Run ledger: a task graph (tasks[].clientKey, dependsOn, objective) in a Workspace whose tasks you dispatch to executor Sessions. Choose a unique commandId and reuse it to retry.";
+            readonly destructive: false;
+            readonly readOnly: false;
+        };
+        readonly desktop: false;
+        readonly mobile: false;
+        readonly voice: false;
+    };
+    readonly sdk: {
+        readonly client: "local-node";
+        readonly operation: "createRunLedger";
+    };
+}, {
+    readonly method: "run.ledger.list";
+    readonly nodeHandler: "runLedger";
+    readonly policy: {
+        readonly confirmation: "none";
+        readonly effectClass: "none";
+        readonly idempotency: "none";
+        readonly ownReceipt: false;
+        readonly receipt: "none";
+        readonly releaseQualified: false;
+        readonly revisionGuard: false;
+        readonly risk: "read";
+    };
+    readonly primitives: readonly ["read"];
+    readonly projections: {
+        readonly cli: true;
+        readonly coordinator: {
+            readonly description: "List a Workspace's Run ledgers with their state and task counts, to find your Run again after a restart. Next page: afterCursor set to the result nextCursor.";
+            readonly destructive: false;
+            readonly readOnly: true;
+        };
+        readonly desktop: false;
+        readonly mobile: false;
+        readonly voice: false;
+    };
+    readonly sdk: {
+        readonly client: "local-node";
+        readonly operation: "listRunLedgers";
+    };
+}, {
+    readonly method: "run.ledger.task.list";
+    readonly nodeHandler: "runLedger";
+    readonly policy: {
+        readonly confirmation: "none";
+        readonly effectClass: "none";
+        readonly idempotency: "none";
+        readonly ownReceipt: false;
+        readonly receipt: "none";
+        readonly releaseQualified: false;
+        readonly revisionGuard: false;
+        readonly risk: "read";
+    };
+    readonly primitives: readonly ["read"];
+    readonly projections: {
+        readonly cli: true;
+        readonly coordinator: {
+            readonly description: "List a Run's tasks with state (blocked, ready, active, succeeded, stopped), revision and dispatches (Session, turn). Set ready to true for exactly the tasks a dispatch accepts now. This is the coordinator's whole state.";
+            readonly destructive: false;
+            readonly readOnly: true;
+        };
+        readonly desktop: false;
+        readonly mobile: false;
+        readonly voice: false;
+    };
+    readonly sdk: {
+        readonly client: "local-node";
+        readonly operation: "listRunLedgerTasks";
+    };
+}, {
+    readonly method: "run.ledger.task.show";
+    readonly nodeHandler: "runLedger";
+    readonly policy: {
+        readonly confirmation: "none";
+        readonly effectClass: "none";
+        readonly idempotency: "none";
+        readonly ownReceipt: false;
+        readonly receipt: "none";
+        readonly releaseQualified: false;
+        readonly revisionGuard: false;
+        readonly risk: "read";
+    };
+    readonly primitives: readonly ["read"];
+    readonly projections: {
+        readonly cli: true;
+        readonly coordinator: {
+            readonly description: "Show one task with its objective and every dispatch's settlement evidence.";
+            readonly destructive: false;
+            readonly readOnly: true;
+        };
+        readonly desktop: false;
+        readonly mobile: false;
+        readonly voice: false;
+    };
+    readonly sdk: {
+        readonly client: "local-node";
+        readonly operation: "showRunLedgerTask";
+    };
+}, {
+    readonly method: "run.ledger.task.dispatch";
+    readonly nodeHandler: "runLedger";
+    readonly policy: {
+        readonly confirmation: "trusted-client-required";
+        readonly effectClass: "external-uncertain";
+        readonly idempotency: "command-id";
+        readonly ownReceipt: true;
+        readonly receipt: "required";
+        readonly releaseQualified: false;
+        readonly revisionGuard: true;
+        readonly risk: "consequential";
+    };
+    readonly primitives: readonly ["confirmation", "message", "receipt", "task"];
+    readonly projections: {
+        readonly cli: true;
+        readonly coordinator: {
+            readonly description: "Dispatch a ready task to a running codex-cli or claude-code Session in the Run's Workspace: the Node queues the task objective as a turn at the task's and Session's current revisions. Wait on the returned turn. Reuse commandId to retry.";
+            readonly destructive: false;
+            readonly readOnly: false;
+        };
+        readonly desktop: false;
+        readonly mobile: false;
+        readonly voice: false;
+    };
+    readonly sdk: {
+        readonly client: "local-node";
+        readonly operation: "dispatchRunLedgerTask";
+    };
+}, {
+    readonly method: "run.ledger.task.settle";
+    readonly nodeHandler: "runLedger";
+    readonly policy: {
+        readonly confirmation: "none";
+        readonly effectClass: "native-idempotent";
+        readonly idempotency: "command-id";
+        readonly ownReceipt: true;
+        readonly receipt: "required";
+        readonly releaseQualified: false;
+        readonly revisionGuard: true;
+        readonly risk: "reversible";
+    };
+    readonly primitives: readonly ["receipt", "task"];
+    readonly projections: {
+        readonly cli: true;
+        readonly coordinator: {
+            readonly description: 'Settle a task\'s active dispatch once its turn settled: outcome "succeeded" (needs a completed turn) or "failed", the dispatch Session, optional later turnId and evidence. A third failed dispatch stops the task. Reuse commandId to retry.';
+            readonly destructive: false;
+            readonly readOnly: false;
+        };
+        readonly desktop: false;
+        readonly mobile: false;
+        readonly voice: false;
+    };
+    readonly sdk: {
+        readonly client: "local-node";
+        readonly operation: "settleRunLedgerTask";
+    };
+}];
+export declare const RUN_LEDGER_FEATURE: MaiaOperationsFeature<"run-ledger", typeof RUN_LEDGER_FEATURE_OPERATIONS>;
+//# sourceMappingURL=feature.d.ts.map

package/dist/run-ledger/feature.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"feature.d.ts","sourceRoot":"","sources":["../../src/run-ledger/feature.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,qBAAqB,EAC3B,MAAM,gCAAgC,CAAC;AAExC,gFAAgF;AAChF,eAAO,MAAM,6BAA6B;qBAE9B,mBAAmB;0BACd,WAAW;;iBAEtB,YAAY,EAAE,MAAM;iBACpB,WAAW,EAAE,mBAAmB;iBAChC,WAAW,EAAE,YAAY;iBACzB,UAAU;iBACV,OAAO,EAAE,UAAU;iBACnB,gBAAgB;iBAChB,aAAa;iBACb,IAAI,EAAE,YAAY;;;;iBAIlB,GAAG;iBACH,WAAW;qBACT,WAAW,EACT,4LAA4L;qBAC9L,WAAW;qBACX,QAAQ;;iBAEV,OAAO;iBACP,MAAM;iBACN,KAAK;;;iBAEA,MAAM,EAAE,YAAY;iBAAE,SAAS,EAAE,iBAAiB;;;qBAGjD,iBAAiB;0BACZ,WAAW;;iBAEtB,YAAY,EAAE,MAAM;iBACpB,WAAW,EAAE,MAAM;iBACnB,WAAW,EAAE,MAAM;iBACnB,UAAU;iBACV,OAAO,EAAE,MAAM;iBACf,gBAAgB;iBAChB,aAAa;iBACb,IAAI,EAAE,MAAM;;;;iBAIZ,GAAG;iBACH,WAAW;qBACT,WAAW,EACT,+JAA+J;qBACjK,WAAW;qBACX,QAAQ;;iBAEV,OAAO;iBACP,MAAM;iBACN,KAAK;;;iBAEA,MAAM,EAAE,YAAY;iBAAE,SAAS,EAAE,gBAAgB;;;qBAGhD,sBAAsB;0BACjB,WAAW;;iBAEtB,YAAY,EAAE,MAAM;iBACpB,WAAW,EAAE,MAAM;iBACnB,WAAW,EAAE,MAAM;iBACnB,UAAU;iBACV,OAAO,EAAE,MAAM;iBACf,gBAAgB;iBAChB,aAAa;iBACb,IAAI,EAAE,MAAM;;;;iBAIZ,GAAG;iBACH,WAAW;qBACT,WAAW,EACT,6NAA6N;qBAC/N,WAAW;qBACX,QAAQ;;iBAEV,OAAO;iBACP,MAAM;iBACN,KAAK;;;iBAEA,MAAM,EAAE,YAAY;iBAAE,SAAS,EAAE,oBAAoB;;;qBAGpD,sBAAsB;0BACjB,WAAW;;iBAEtB,YAAY,EAAE,MAAM;iBACpB,WAAW,EAAE,MAAM;iBACnB,WAAW,EAAE,MAAM;iBACnB,UAAU;iBACV,OAAO,EAAE,MAAM;iBACf,gBAAgB;iBAChB,aAAa;iBACb,IAAI,EAAE,MAAM;;;;iBAIZ,GAAG;iBACH,WAAW;qBACT,WAAW,EACT,4EAA4E;qBAC9E,WAAW;qBACX,QAAQ;;iBAEV,OAAO;iBACP,MAAM;iBACN,KAAK;;;iBAEA,MAAM,EAAE,YAAY;iBAAE,SAAS,EAAE,mBAAmB;;;qBAYnD,0BAA0B;0BACrB,WAAW;;iBAEtB,YAAY,EAAE,yBAAyB;iBACvC,WAAW,EAAE,oBAAoB;iBACjC,WAAW,EAAE,YAAY;iBACzB,UAAU;iBACV,OAAO,EAAE,UAAU;iBACnB,gBAAgB;iBAChB,aAAa;iBACb,IAAI,EAAE,eAAe;;;;iBAIrB,GAAG;iBACH,WAAW;qBACT,WAAW,EACT,8OAA8O;qBAChP,WAAW;qBACX,QAAQ;;iBAEV,OAAO;iBACP,MAAM;iBACN,KAAK;;;iBAEA,MAAM,EAAE,YAAY;iBAAE,SAAS,EAAE,uBAAuB;;;qBAGvD,wBAAwB;0BACnB,WAAW;;iBAEtB,YAAY,EAAE,MAAM;iBACpB,WAAW,EAAE,mBAAmB;iBAChC,WAAW,EAAE,YAAY;iBACzB,UAAU;iBACV,OAAO,EAAE,UAAU;iBACnB,gBAAgB;iBAChB,aAAa;iBACb,IAAI,EAAE,YAAY;;;;iBAIlB,GAAG;iBACH,WAAW;qBACT,WAAW,EACT,+OAA+O;qBACjP,WAAW;qBACX,QAAQ;;iBAEV,OAAO;iBACP,MAAM;iBACN,KAAK;;;iBAEA,MAAM,EAAE,YAAY;iBAAE,SAAS,EAAE,qBAAqB;;EAEH,CAAC;AAE/D,eAAO,MAAM,kBAAkB,EAAE,qBAAqB,CACpD,YAAY,EACZ,OAAO,6BAA6B,CAMpC,CAAC"}

package/dist/run-ledger/feature.js

@@ -0,0 +1,182 @@
+import { defineMaiaFeature, } from "../feature/descriptor/index.js";
+/** A coordinator's Run ledger: a task graph dispatched to executor Sessions. */
+export const RUN_LEDGER_FEATURE_OPERATIONS = [
+    {
+        method: "run.ledger.create",
+        nodeHandler: "runLedger",
+        policy: {
+            confirmation: "none",
+            effectClass: "native-idempotent",
+            idempotency: "command-id",
+            ownReceipt: true,
+            receipt: "required",
+            releaseQualified: false,
+            revisionGuard: false,
+            risk: "reversible",
+        },
+        primitives: ["receipt", "task"],
+        projections: {
+            cli: true,
+            coordinator: {
+                description: "Record a Run ledger: a task graph (tasks[].clientKey, dependsOn, objective) in a Workspace whose tasks you dispatch to executor Sessions. Choose a unique commandId and reuse it to retry.",
+                destructive: false,
+                readOnly: false,
+            },
+            desktop: false,
+            mobile: false,
+            voice: false,
+        },
+        sdk: { client: "local-node", operation: "createRunLedger" },
+    },
+    {
+        method: "run.ledger.list",
+        nodeHandler: "runLedger",
+        policy: {
+            confirmation: "none",
+            effectClass: "none",
+            idempotency: "none",
+            ownReceipt: false,
+            receipt: "none",
+            releaseQualified: false,
+            revisionGuard: false,
+            risk: "read",
+        },
+        primitives: ["read"],
+        projections: {
+            cli: true,
+            coordinator: {
+                description: "List a Workspace's Run ledgers with their state and task counts, to find your Run again after a restart. Next page: afterCursor set to the result nextCursor.",
+                destructive: false,
+                readOnly: true,
+            },
+            desktop: false,
+            mobile: false,
+            voice: false,
+        },
+        sdk: { client: "local-node", operation: "listRunLedgers" },
+    },
+    {
+        method: "run.ledger.task.list",
+        nodeHandler: "runLedger",
+        policy: {
+            confirmation: "none",
+            effectClass: "none",
+            idempotency: "none",
+            ownReceipt: false,
+            receipt: "none",
+            releaseQualified: false,
+            revisionGuard: false,
+            risk: "read",
+        },
+        primitives: ["read"],
+        projections: {
+            cli: true,
+            coordinator: {
+                description: "List a Run's tasks with state (blocked, ready, active, succeeded, stopped), revision and dispatches (Session, turn). Set ready to true for exactly the tasks a dispatch accepts now. This is the coordinator's whole state.",
+                destructive: false,
+                readOnly: true,
+            },
+            desktop: false,
+            mobile: false,
+            voice: false,
+        },
+        sdk: { client: "local-node", operation: "listRunLedgerTasks" },
+    },
+    {
+        method: "run.ledger.task.show",
+        nodeHandler: "runLedger",
+        policy: {
+            confirmation: "none",
+            effectClass: "none",
+            idempotency: "none",
+            ownReceipt: false,
+            receipt: "none",
+            releaseQualified: false,
+            revisionGuard: false,
+            risk: "read",
+        },
+        primitives: ["read"],
+        projections: {
+            cli: true,
+            coordinator: {
+                description: "Show one task with its objective and every dispatch's settlement evidence.",
+                destructive: false,
+                readOnly: true,
+            },
+            desktop: false,
+            mobile: false,
+            voice: false,
+        },
+        sdk: { client: "local-node", operation: "showRunLedgerTask" },
+    },
+    /**
+     * Dispatch queues a model turn on an executor Session and wakes it, the same
+     * effect as `turn.send`, so it carries the same policy: consequential, with
+     * the native confirmation a person's own client shows (the registry pairs
+     * that with every consequential operation; the coordinator principal is
+     * decided by `projections.coordinator` alone), an uncertain external effect,
+     * command-ID idempotency, a revision guard (task and Session revisions) and
+     * its own receipt. `settle` records bookkeeping alone and stays reversible.
+     */
+    {
+        method: "run.ledger.task.dispatch",
+        nodeHandler: "runLedger",
+        policy: {
+            confirmation: "trusted-client-required",
+            effectClass: "external-uncertain",
+            idempotency: "command-id",
+            ownReceipt: true,
+            receipt: "required",
+            releaseQualified: false,
+            revisionGuard: true,
+            risk: "consequential",
+        },
+        primitives: ["confirmation", "message", "receipt", "task"],
+        projections: {
+            cli: true,
+            coordinator: {
+                description: "Dispatch a ready task to a running codex-cli or claude-code Session in the Run's Workspace: the Node queues the task objective as a turn at the task's and Session's current revisions. Wait on the returned turn. Reuse commandId to retry.",
+                destructive: false,
+                readOnly: false,
+            },
+            desktop: false,
+            mobile: false,
+            voice: false,
+        },
+        sdk: { client: "local-node", operation: "dispatchRunLedgerTask" },
+    },
+    {
+        method: "run.ledger.task.settle",
+        nodeHandler: "runLedger",
+        policy: {
+            confirmation: "none",
+            effectClass: "native-idempotent",
+            idempotency: "command-id",
+            ownReceipt: true,
+            receipt: "required",
+            releaseQualified: false,
+            revisionGuard: true,
+            risk: "reversible",
+        },
+        primitives: ["receipt", "task"],
+        projections: {
+            cli: true,
+            coordinator: {
+                description: 'Settle a task\'s active dispatch once its turn settled: outcome "succeeded" (needs a completed turn) or "failed", the dispatch Session, optional later turnId and evidence. A third failed dispatch stops the task. Reuse commandId to retry.',
+                destructive: false,
+                readOnly: false,
+            },
+            desktop: false,
+            mobile: false,
+            voice: false,
+        },
+        sdk: { client: "local-node", operation: "settleRunLedgerTask" },
+    },
+];
+export const RUN_LEDGER_FEATURE = defineMaiaFeature({
+    contributions: { routines: [], rules: [], schedules: [], skills: [] },
+    id: "run-ledger",
+    operations: RUN_LEDGER_FEATURE_OPERATIONS,
+    schemaVersion: "maia.feature/run-ledger/v1",
+});
+//# sourceMappingURL=feature.js.map

package/dist/run-ledger/feature.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"feature.js","sourceRoot":"","sources":["../../src/run-ledger/feature.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,iBAAiB,GAGlB,MAAM,gCAAgC,CAAC;AAExC,gFAAgF;AAChF,MAAM,CAAC,MAAM,6BAA6B,GAAG;IAC3C;QACE,MAAM,EAAE,mBAAmB;QAC3B,WAAW,EAAE,WAAW;QACxB,MAAM,EAAE;YACN,YAAY,EAAE,MAAM;YACpB,WAAW,EAAE,mBAAmB;YAChC,WAAW,EAAE,YAAY;YACzB,UAAU,EAAE,IAAI;YAChB,OAAO,EAAE,UAAU;YACnB,gBAAgB,EAAE,KAAK;YACvB,aAAa,EAAE,KAAK;YACpB,IAAI,EAAE,YAAY;SACnB;QACD,UAAU,EAAE,CAAC,SAAS,EAAE,MAAM,CAAC;QAC/B,WAAW,EAAE;YACX,GAAG,EAAE,IAAI;YACT,WAAW,EAAE;gBACX,WAAW,EACT,4LAA4L;gBAC9L,WAAW,EAAE,KAAK;gBAClB,QAAQ,EAAE,KAAK;aAChB;YACD,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,KAAK;YACb,KAAK,EAAE,KAAK;SACb;QACD,GAAG,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,iBAAiB,EAAE;KAC5D;IACD;QACE,MAAM,EAAE,iBAAiB;QACzB,WAAW,EAAE,WAAW;QACxB,MAAM,EAAE;YACN,YAAY,EAAE,MAAM;YACpB,WAAW,EAAE,MAAM;YACnB,WAAW,EAAE,MAAM;YACnB,UAAU,EAAE,KAAK;YACjB,OAAO,EAAE,MAAM;YACf,gBAAgB,EAAE,KAAK;YACvB,aAAa,EAAE,KAAK;YACpB,IAAI,EAAE,MAAM;SACb;QACD,UAAU,EAAE,CAAC,MAAM,CAAC;QACpB,WAAW,EAAE;YACX,GAAG,EAAE,IAAI;YACT,WAAW,EAAE;gBACX,WAAW,EACT,+JAA+J;gBACjK,WAAW,EAAE,KAAK;gBAClB,QAAQ,EAAE,IAAI;aACf;YACD,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,KAAK;YACb,KAAK,EAAE,KAAK;SACb;QACD,GAAG,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,gBAAgB,EAAE;KAC3D;IACD;QACE,MAAM,EAAE,sBAAsB;QAC9B,WAAW,EAAE,WAAW;QACxB,MAAM,EAAE;YACN,YAAY,EAAE,MAAM;YACpB,WAAW,EAAE,MAAM;YACnB,WAAW,EAAE,MAAM;YACnB,UAAU,EAAE,KAAK;YACjB,OAAO,EAAE,MAAM;YACf,gBAAgB,EAAE,KAAK;YACvB,aAAa,EAAE,KAAK;YACpB,IAAI,EAAE,MAAM;SACb;QACD,UAAU,EAAE,CAAC,MAAM,CAAC;QACpB,WAAW,EAAE;YACX,GAAG,EAAE,IAAI;YACT,WAAW,EAAE;gBACX,WAAW,EACT,6NAA6N;gBAC/N,WAAW,EAAE,KAAK;gBAClB,QAAQ,EAAE,IAAI;aACf;YACD,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,KAAK;YACb,KAAK,EAAE,KAAK;SACb;QACD,GAAG,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,oBAAoB,EAAE;KAC/D;IACD;QACE,MAAM,EAAE,sBAAsB;QAC9B,WAAW,EAAE,WAAW;QACxB,MAAM,EAAE;YACN,YAAY,EAAE,MAAM;YACpB,WAAW,EAAE,MAAM;YACnB,WAAW,EAAE,MAAM;YACnB,UAAU,EAAE,KAAK;YACjB,OAAO,EAAE,MAAM;YACf,gBAAgB,EAAE,KAAK;YACvB,aAAa,EAAE,KAAK;YACpB,IAAI,EAAE,MAAM;SACb;QACD,UAAU,EAAE,CAAC,MAAM,CAAC;QACpB,WAAW,EAAE;YACX,GAAG,EAAE,IAAI;YACT,WAAW,EAAE;gBACX,WAAW,EACT,4EAA4E;gBAC9E,WAAW,EAAE,KAAK;gBAClB,QAAQ,EAAE,IAAI;aACf;YACD,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,KAAK;YACb,KAAK,EAAE,KAAK;SACb;QACD,GAAG,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,mBAAmB,EAAE;KAC9D;IACD;;;;;;;;OAQG;IACH;QACE,MAAM,EAAE,0BAA0B;QAClC,WAAW,EAAE,WAAW;QACxB,MAAM,EAAE;YACN,YAAY,EAAE,yBAAyB;YACvC,WAAW,EAAE,oBAAoB;YACjC,WAAW,EAAE,YAAY;YACzB,UAAU,EAAE,IAAI;YAChB,OAAO,EAAE,UAAU;YACnB,gBAAgB,EAAE,KAAK;YACvB,aAAa,EAAE,IAAI;YACnB,IAAI,EAAE,eAAe;SACtB;QACD,UAAU,EAAE,CAAC,cAAc,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,CAAC;QAC1D,WAAW,EAAE;YACX,GAAG,EAAE,IAAI;YACT,WAAW,EAAE;gBACX,WAAW,EACT,8OAA8O;gBAChP,WAAW,EAAE,KAAK;gBAClB,QAAQ,EAAE,KAAK;aAChB;YACD,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,KAAK;YACb,KAAK,EAAE,KAAK;SACb;QACD,GAAG,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,uBAAuB,EAAE;KAClE;IACD;QACE,MAAM,EAAE,wBAAwB;QAChC,WAAW,EAAE,WAAW;QACxB,MAAM,EAAE;YACN,YAAY,EAAE,MAAM;YACpB,WAAW,EAAE,mBAAmB;YAChC,WAAW,EAAE,YAAY;YACzB,UAAU,EAAE,IAAI;YAChB,OAAO,EAAE,UAAU;YACnB,gBAAgB,EAAE,KAAK;YACvB,aAAa,EAAE,IAAI;YACnB,IAAI,EAAE,YAAY;SACnB;QACD,UAAU,EAAE,CAAC,SAAS,EAAE,MAAM,CAAC;QAC/B,WAAW,EAAE;YACX,GAAG,EAAE,IAAI;YACT,WAAW,EAAE;gBACX,WAAW,EACT,+OAA+O;gBACjP,WAAW,EAAE,KAAK;gBAClB,QAAQ,EAAE,KAAK;aAChB;YACD,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,KAAK;YACb,KAAK,EAAE,KAAK;SACb;QACD,GAAG,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,qBAAqB,EAAE;KAChE;CAC2D,CAAC;AAE/D,MAAM,CAAC,MAAM,kBAAkB,GAG3B,iBAAiB,CAAC;IACpB,aAAa,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;IACrE,EAAE,EAAE,YAAY;IAChB,UAAU,EAAE,6BAA6B;IACzC,aAAa,EAAE,4BAA4B;CAC5C,CAAC,CAAC"}

package/dist/run-ledger/index.d.ts

@@ -0,0 +1,3 @@
+export { MAX_RUN_LEDGER_EVIDENCE_BYTES, MAX_RUN_LEDGER_FAILED_DISPATCHES, MAX_RUN_LEDGER_LIST_PAGE_SIZE, RUN_LEDGER_AGGREGATE_TYPE, RUN_LEDGER_ERROR_CODES, RUN_LEDGER_SCHEMA_VERSION, RUN_LEDGER_TASK_AGGREGATE_TYPE, type RunLedgerCreateParameters, runLedgerCreateParametersSchema, type RunLedgerCreateResult, runLedgerCreateResultSchema, type RunLedgerDispatch, runLedgerDispatchSchema, type RunLedgerDispatchSummary, runLedgerDispatchSummarySchema, type RunLedgerErrorCode, type RunLedgerListParameters, runLedgerListParametersSchema, type RunLedgerListResult, runLedgerListResultSchema, type RunLedgerRun, runLedgerRunSchema, type RunLedgerTask, type RunLedgerTaskDispatchParameters, runLedgerTaskDispatchParametersSchema, type RunLedgerTaskDispatchResult, runLedgerTaskDispatchResultSchema, type RunLedgerTaskListParameters, runLedgerTaskListParametersSchema, type RunLedgerTaskListResult, runLedgerTaskListResultSchema, runLedgerTaskSchema, type RunLedgerTaskSettleParameters, runLedgerTaskSettleParametersSchema, type RunLedgerTaskSettleResult, runLedgerTaskSettleResultSchema, type RunLedgerTaskShowParameters, runLedgerTaskShowParametersSchema, type RunLedgerTaskShowResult, runLedgerTaskShowResultSchema, type RunLedgerTaskSummary, runLedgerTaskSummarySchema, } from "./contract.js";
+export { RUN_LEDGER_FEATURE } from "./feature.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/run-ledger/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/run-ledger/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,6BAA6B,EAC7B,gCAAgC,EAChC,6BAA6B,EAC7B,yBAAyB,EACzB,sBAAsB,EACtB,yBAAyB,EACzB,8BAA8B,EAC9B,KAAK,yBAAyB,EAC9B,+BAA+B,EAC/B,KAAK,qBAAqB,EAC1B,2BAA2B,EAC3B,KAAK,iBAAiB,EACtB,uBAAuB,EACvB,KAAK,wBAAwB,EAC7B,8BAA8B,EAC9B,KAAK,kBAAkB,EACvB,KAAK,uBAAuB,EAC5B,6BAA6B,EAC7B,KAAK,mBAAmB,EACxB,yBAAyB,EACzB,KAAK,YAAY,EACjB,kBAAkB,EAClB,KAAK,aAAa,EAClB,KAAK,+BAA+B,EACpC,qCAAqC,EACrC,KAAK,2BAA2B,EAChC,iCAAiC,EACjC,KAAK,2BAA2B,EAChC,iCAAiC,EACjC,KAAK,uBAAuB,EAC5B,6BAA6B,EAC7B,mBAAmB,EACnB,KAAK,6BAA6B,EAClC,mCAAmC,EACnC,KAAK,yBAAyB,EAC9B,+BAA+B,EAC/B,KAAK,2BAA2B,EAChC,iCAAiC,EACjC,KAAK,uBAAuB,EAC5B,6BAA6B,EAC7B,KAAK,oBAAoB,EACzB,0BAA0B,GAC3B,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC"}

package/dist/run-ledger/index.js

@@ -0,0 +1,3 @@
+export { MAX_RUN_LEDGER_EVIDENCE_BYTES, MAX_RUN_LEDGER_FAILED_DISPATCHES, MAX_RUN_LEDGER_LIST_PAGE_SIZE, RUN_LEDGER_AGGREGATE_TYPE, RUN_LEDGER_ERROR_CODES, RUN_LEDGER_SCHEMA_VERSION, RUN_LEDGER_TASK_AGGREGATE_TYPE, runLedgerCreateParametersSchema, runLedgerCreateResultSchema, runLedgerDispatchSchema, runLedgerDispatchSummarySchema, runLedgerListParametersSchema, runLedgerListResultSchema, runLedgerRunSchema, runLedgerTaskDispatchParametersSchema, runLedgerTaskDispatchResultSchema, runLedgerTaskListParametersSchema, runLedgerTaskListResultSchema, runLedgerTaskSchema, runLedgerTaskSettleParametersSchema, runLedgerTaskSettleResultSchema, runLedgerTaskShowParametersSchema, runLedgerTaskShowResultSchema, runLedgerTaskSummarySchema, } from "./contract.js";
+export { RUN_LEDGER_FEATURE } from "./feature.js";
+//# sourceMappingURL=index.js.map

package/dist/run-ledger/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/run-ledger/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,6BAA6B,EAC7B,gCAAgC,EAChC,6BAA6B,EAC7B,yBAAyB,EACzB,sBAAsB,EACtB,yBAAyB,EACzB,8BAA8B,EAE9B,+BAA+B,EAE/B,2BAA2B,EAE3B,uBAAuB,EAEvB,8BAA8B,EAG9B,6BAA6B,EAE7B,yBAAyB,EAEzB,kBAAkB,EAGlB,qCAAqC,EAErC,iCAAiC,EAEjC,iCAAiC,EAEjC,6BAA6B,EAC7B,mBAAmB,EAEnB,mCAAmC,EAEnC,+BAA+B,EAE/B,iCAAiC,EAEjC,6BAA6B,EAE7B,0BAA0B,GAC3B,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC"}

package/dist/run-ledger/request-effect-schema.d.ts

@@ -0,0 +1,192 @@
+import * as Schema from "effect/Schema";
+export declare const RUN_LEDGER_SCHEMA_VERSION = "maia.run-ledger/v1";
+/** A Task stops being ready after its third failed dispatch. */
+export declare const MAX_RUN_LEDGER_FAILED_DISPATCHES = 3;
+export declare const MAX_RUN_LEDGER_EVIDENCE_BYTES: number;
+export declare const MAX_RUN_LEDGER_LIST_PAGE_SIZE = 100;
+export declare const runLedgerRevisionEffectSchema: Schema.String;
+export declare const runLedgerEvidenceEffectSchema: Schema.String;
+/** Derived from the dispatches and the dependencies; never stored. */
+export declare const runLedgerTaskStateEffectSchema: Schema.Literals<readonly ["blocked", "ready", "active", "succeeded", "stopped"]>;
+export declare const runLedgerDispatchSummaryEffectSchema: Schema.Struct<{
+    createdAt: Schema.String;
+    id: Schema.String;
+    ordinal: Schema.Int;
+    sessionId: Schema.String;
+    settledTurnId: Schema.optional<Schema.String>;
+    state: Schema.Literals<readonly ["active", "succeeded", "failed"]>;
+    /** The turn the dispatch queued on its Session. */
+    turnId: Schema.String;
+    updatedAt: Schema.String;
+}>;
+export declare const runLedgerDispatchEffectSchema: Schema.Struct<{
+    readonly createdAt: Schema.String;
+    readonly id: Schema.String;
+    readonly ordinal: Schema.Int;
+    readonly sessionId: Schema.String;
+    readonly settledTurnId: Schema.optional<Schema.String>;
+    readonly state: Schema.Literals<readonly ["active", "succeeded", "failed"]>;
+    readonly turnId: Schema.String;
+    readonly updatedAt: Schema.String;
+    readonly evidence: Schema.optional<Schema.String>;
+}>;
+export declare const runLedgerTaskSummaryEffectSchema: Schema.Struct<{
+    readonly clientKey: Schema.String;
+    readonly createdAt: Schema.String;
+    readonly dependencyTaskIds: Schema.$Array<Schema.String>;
+    readonly failedDispatches: Schema.Int;
+    readonly id: Schema.String;
+    readonly revision: Schema.String;
+    readonly runId: Schema.String;
+    readonly schemaVersion: Schema.Literal<"maia.run-ledger/v1">;
+    readonly state: Schema.Literals<readonly ["blocked", "ready", "active", "succeeded", "stopped"]>;
+    readonly updatedAt: Schema.String;
+    readonly dispatches: Schema.$Array<Schema.Struct<{
+        createdAt: Schema.String;
+        id: Schema.String;
+        ordinal: Schema.Int;
+        sessionId: Schema.String;
+        settledTurnId: Schema.optional<Schema.String>;
+        state: Schema.Literals<readonly ["active", "succeeded", "failed"]>;
+        /** The turn the dispatch queued on its Session. */
+        turnId: Schema.String;
+        updatedAt: Schema.String;
+    }>>;
+}>;
+export declare const runLedgerTaskEffectSchema: Schema.Struct<{
+    readonly clientKey: Schema.String;
+    readonly createdAt: Schema.String;
+    readonly dependencyTaskIds: Schema.$Array<Schema.String>;
+    readonly failedDispatches: Schema.Int;
+    readonly id: Schema.String;
+    readonly revision: Schema.String;
+    readonly runId: Schema.String;
+    readonly schemaVersion: Schema.Literal<"maia.run-ledger/v1">;
+    readonly state: Schema.Literals<readonly ["blocked", "ready", "active", "succeeded", "stopped"]>;
+    readonly updatedAt: Schema.String;
+    readonly dispatches: Schema.$Array<Schema.Struct<{
+        readonly createdAt: Schema.String;
+        readonly id: Schema.String;
+        readonly ordinal: Schema.Int;
+        readonly sessionId: Schema.String;
+        readonly settledTurnId: Schema.optional<Schema.String>;
+        readonly state: Schema.Literals<readonly ["active", "succeeded", "failed"]>;
+        readonly turnId: Schema.String;
+        readonly updatedAt: Schema.String;
+        readonly evidence: Schema.optional<Schema.String>;
+    }>>;
+    readonly objective: Schema.String;
+}>;
+/** A Run whose dispatches are executor Session turns; counts derive its state. */
+export declare const runLedgerRunEffectSchema: Schema.Struct<{
+    readonly createdAt: Schema.String;
+    readonly id: Schema.String;
+    readonly schemaVersion: Schema.Literal<"maia.run-ledger/v1">;
+    readonly state: Schema.Literals<readonly ["open", "blocked", "succeeded"]>;
+    readonly taskCounts: Schema.Struct<{
+        readonly active: Schema.Int;
+        readonly blocked: Schema.Int;
+        readonly ready: Schema.Int;
+        readonly stopped: Schema.Int;
+        readonly succeeded: Schema.Int;
+    }>;
+    readonly workspaceId: Schema.String;
+}>;
+export declare const runLedgerCreateParametersEffectSchema: Schema.Struct<{
+    readonly commandId: Schema.String;
+    readonly tasks: Schema.$Array<Schema.Struct<{
+        readonly clientKey: Schema.String;
+        readonly dependsOn: Schema.$Array<Schema.String>;
+        readonly objective: Schema.String;
+    }>>;
+    readonly workspaceId: Schema.String;
+}>;
+export declare const runLedgerListParametersEffectSchema: Schema.Struct<{
+    readonly afterCursor: Schema.optional<Schema.String>;
+    readonly limit: Schema.Int;
+    readonly workspaceId: Schema.String;
+}>;
+export declare const runLedgerTaskListParametersEffectSchema: Schema.Struct<{
+    /** Lists the Tasks a dispatch accepts now and no others. */
+    readonly ready: Schema.optional<Schema.Literal<true>>;
+    readonly runId: Schema.String;
+}>;
+export declare const runLedgerTaskShowParametersEffectSchema: Schema.Struct<{
+    readonly runId: Schema.String;
+    readonly taskId: Schema.String;
+}>;
+export declare const runLedgerTaskDispatchParametersEffectSchema: Schema.Struct<{
+    readonly commandId: Schema.String;
+    readonly expectedSessionRevision: Schema.String;
+    readonly expectedTaskRevision: Schema.String;
+    readonly runId: Schema.String;
+    readonly sessionId: Schema.String;
+    readonly taskId: Schema.String;
+}>;
+export declare const runLedgerTaskSettleParametersEffectSchema: Schema.Struct<{
+    readonly commandId: Schema.String;
+    readonly evidence: Schema.String;
+    readonly expectedTaskRevision: Schema.String;
+    readonly outcome: Schema.Literals<readonly ["succeeded", "failed"]>;
+    readonly runId: Schema.String;
+    readonly sessionId: Schema.String;
+    readonly taskId: Schema.String;
+    /** A later turn of the same Session; defaults to the dispatched turn. */
+    readonly turnId: Schema.optional<Schema.String>;
+}>;
+export declare const runLedgerRequestEffectSchema: Schema.Union<readonly [Schema.Struct<{
+    readonly method: Schema.Literal<"run.ledger.create">;
+    readonly parameters: Schema.Struct<{
+        readonly commandId: Schema.String;
+        readonly tasks: Schema.$Array<Schema.Struct<{
+            readonly clientKey: Schema.String;
+            readonly dependsOn: Schema.$Array<Schema.String>;
+            readonly objective: Schema.String;
+        }>>;
+        readonly workspaceId: Schema.String;
+    }>;
+}>, Schema.Struct<{
+    readonly method: Schema.Literal<"run.ledger.list">;
+    readonly parameters: Schema.Struct<{
+        readonly afterCursor: Schema.optional<Schema.String>;
+        readonly limit: Schema.Int;
+        readonly workspaceId: Schema.String;
+    }>;
+}>, Schema.Struct<{
+    readonly method: Schema.Literal<"run.ledger.task.dispatch">;
+    readonly parameters: Schema.Struct<{
+        readonly commandId: Schema.String;
+        readonly expectedSessionRevision: Schema.String;
+        readonly expectedTaskRevision: Schema.String;
+        readonly runId: Schema.String;
+        readonly sessionId: Schema.String;
+        readonly taskId: Schema.String;
+    }>;
+}>, Schema.Struct<{
+    readonly method: Schema.Literal<"run.ledger.task.list">;
+    readonly parameters: Schema.Struct<{
+        /** Lists the Tasks a dispatch accepts now and no others. */
+        readonly ready: Schema.optional<Schema.Literal<true>>;
+        readonly runId: Schema.String;
+    }>;
+}>, Schema.Struct<{
+    readonly method: Schema.Literal<"run.ledger.task.settle">;
+    readonly parameters: Schema.Struct<{
+        readonly commandId: Schema.String;
+        readonly evidence: Schema.String;
+        readonly expectedTaskRevision: Schema.String;
+        readonly outcome: Schema.Literals<readonly ["succeeded", "failed"]>;
+        readonly runId: Schema.String;
+        readonly sessionId: Schema.String;
+        readonly taskId: Schema.String;
+        /** A later turn of the same Session; defaults to the dispatched turn. */
+        readonly turnId: Schema.optional<Schema.String>;
+    }>;
+}>, Schema.Struct<{
+    readonly method: Schema.Literal<"run.ledger.task.show">;
+    readonly parameters: Schema.Struct<{
+        readonly runId: Schema.String;
+        readonly taskId: Schema.String;
+    }>;
+}>]>;
+//# sourceMappingURL=request-effect-schema.d.ts.map

package/dist/run-ledger/request-effect-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"request-effect-schema.d.ts","sourceRoot":"","sources":["../../src/run-ledger/request-effect-schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAgBxC,eAAO,MAAM,yBAAyB,uBAAuB,CAAC;AAC9D,gEAAgE;AAChE,eAAO,MAAM,gCAAgC,IAAI,CAAC;AAClD,eAAO,MAAM,6BAA6B,QAAW,CAAC;AACtD,eAAO,MAAM,6BAA6B,MAAM,CAAC;AAIjD,eAAO,MAAM,6BAA6B,eAC4B,CAAC;AAOvE,eAAO,MAAM,6BAA6B,eAYzC,CAAC;AAEF,sEAAsE;AACtE,eAAO,MAAM,8BAA8B,kFAMzC,CAAC;AA6BH,eAAO,MAAM,oCAAoC;;;;;;;IAd/C,mDAAmD;;;EAoBpD,CAAC;AAEF,eAAO,MAAM,6BAA6B;;;;;;;;;;EAUzC,CAAC;AA0DF,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;;;;QA1F3C,mDAAmD;;;;EA+F7B,CAAC;AAEzB,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;EAMd,CAAC;AAsBzB,kFAAkF;AAClF,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;EAWpC,CAAC;AAEF,eAAO,MAAM,qCAAqC;;;;;;;;EAUhD,CAAC;AACH,eAAO,MAAM,mCAAmC;;;;EAM9C,CAAC;AACH,eAAO,MAAM,uCAAuC;IAClD,4DAA4D;;;EAG5D,CAAC;AACH,eAAO,MAAM,uCAAuC;;;EAGlD,CAAC;AACH,eAAO,MAAM,2CAA2C;;;;;;;EAOtD,CAAC;AACH,eAAO,MAAM,yCAAyC;;;;;;;;IAQpD,yEAAyE;;EAEzE,CAAC;AAEH,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QA5BvC,4DAA4D;;;;;;;;;;;;;;QAwB5D,yEAAyE;;;;;;;;;IA6BzE,CAAC"}