cpa-agents 0.1.0 → 0.2.2

package/README.md

@@ -1,14 +1,44 @@
 # cpa-agents
 
-Concurrent Process Algebra for AI Agents. Applies π-calculus process algebra to agent orchestration in [Pi Harness](https://github.com/badlogic/pi-mono) and [OpenClaw](https://github.com/openclaw/openclaw).
+Concurrent Process Algebra for AI Agents.
 
-## Why
+`cpa-agents` combines three layers:
+- process algebra (pi-calculus primitives for concurrency/communication)
+- fork algebra (relational composition and paired derivations)
+- operator algebra (practical control flow: rollback, retries, guards, timeout)
+
+Designed for [Pi Harness](https://github.com/badlogic/pi-mono), [OpenClaw](https://github.com/openclaw/openclaw), and standalone TypeScript workflows.
+
+## Install
+
+```bash
+npm install cpa-agents
+```
+
+## Quick start
+
+```typescript
+import { Scheduler, par, agentProcess } from "cpa-agents";
+
+const scheduler = new Scheduler({ timeout: 60_000 });
 
-AI agent harnesses have ad-hoc concurrency: spawn a subprocess, hope it works, manually wire results back. Pi Harness has session trees with branching. OpenClaw has a ReAct loop with skills. Neither has a formal model for what happens when agent tasks run concurrently, need to communicate, or branch to fix errors before continuing.
+const research = par(
+  agentProcess(webSearchAgent, "latest React patterns"),
+  agentProcess(codeSearchAgent, "auth middleware examples"),
+);
+
+const result = await scheduler.run("research", research);
+```
+
+## Why
 
-This library gives you that model. The primitives come from Robin Milner's π-calculus — the same theory behind BPMN, BPEL, and every serious workflow engine — but adapted for the specific patterns AI coding agents actually use.
+Most agent harnesses implement orchestration with ad-hoc control flow and minimal runtime semantics. This library provides formal, typed primitives for:
+- concurrent task execution
+- explicit synchronization and communication
+- fix-and-resume branching
+- provenance and rollback-aware workflows
 
-## Core concepts
+## Layer 1: Process algebra
 
 | π-calculus | cpa-agents | What it does |
 |---|---|---|
@@ -19,26 +49,28 @@ This library gives you that model. The primitives come from Robin Milner's π-ca
 | `ν(x).P` | `restrict(name, body)` | Create a fresh scoped channel |
 | `!P` | `replicate(trigger, handler)` | Spawn new P for each incoming message |
 
-## Usage
+Core runtime exports:
+- `Channel`, `select`
+- `par`, `seq`, `choice`, `branchFix`, `restrict`, `replicate`, `supervisor`
+- `Scheduler`
 
-### Branch-fix-continue (the tree pattern)
+### Branch-fix-continue
 
-The pattern you see in Pi Harness session trees: coding along, hitting a lint error, branching to fix it, then resuming.
+Pattern for "run -> detect error -> fix -> resume".
 
 ```typescript
-import { branchFix, Scheduler } from 'cpa-agents';
+import { branchFix, Scheduler } from "cpa-agents";
 
 const workflow = branchFix<string>({
-  name: 'implement-feature',
+  name: "implement-feature",
   maxFixes: 3,
 
   main: (requestFix) => async (ctx) => {
-    const code = await coder.invoke('add auth middleware', ctx.signal);
+    const code = await coder.invoke("add auth middleware", ctx.signal);
     const check = await linter.invoke(code, ctx.signal);
 
     if (!check.pass) {
-      // Branch: pause main, run fix, then continue here
-      await requestFix(check.errors.join('; '));
+      await requestFix(check.errors.join("; "));
     }
 
     return code;
@@ -50,96 +82,121 @@ const workflow = branchFix<string>({
 });
 
 const scheduler = new Scheduler({ timeout: 60_000 });
-const result = await scheduler.run('feature', workflow);
-// result.sessionTree shows the full branch history
+const result = await scheduler.run("feature", workflow);
 ```
 
-### Parallel agents
+## Layer 2: Fork algebra (relations)
+
+Fork algebra models relation composition and paired derivations over the same input.
 
 ```typescript
-import { par, agentProcess } from 'cpa-agents';
+import { rel, fork, compose, meet, join, toProcess } from "cpa-agents";
 
-const research = par(
-  agentProcess(webSearchAgent, 'latest React patterns'),
-  agentProcess(codeSearchAgent, 'auth middleware examples'),
-  agentProcess(docSearchAgent, 'project conventions'),
-);
+const parse = rel("parse", async (input: string) => [input.trim()]);
+const enrich = rel("enrich", async (input: string) => [`${input}:meta`]);
+const validate = rel("validate", async (input: string) => [input.length > 0 ? "ok" : "bad"]);
+
+const composed = compose(parse, enrich);
+const paired = fork(enrich, validate);
 
-const [web, code, docs] = await scheduler.run('research', research);
+const proc = toProcess(composed, "task payload", "all");
+const run = await scheduler.run("fork-layer", proc);
 ```
 
-### Channel communication between agents
+Key exports:
+- `rel`, `detRel`
+- `compose`, `fork`, `forkN`
+- `converse` (provenance mapping, not rollback)
+- `meet`, `join`, `identity`, `empty`
+- `proj1`, `proj2`, `domRestrict`, `ranRestrict`
+- `toProcess`, `forkToProcess`, `verifyAxioms`
 
-```typescript
-import { Channel, restrict, par } from 'cpa-agents';
-
-const workflow = restrict<CodeReview, void>('review-ch', (ch) =>
-  par(
-    // Agent 1: write code, send for review
-    async (ctx) => {
-      const code = await coder.invoke(task, ctx.signal);
-      await ch.send({ code, file: 'auth.ts' });
-    },
-    // Agent 2: receive code, review it
-    async (ctx) => {
-      const review = await ch.receive();
-      await reviewer.invoke(review, ctx.signal);
-    },
-  )
-);
-```
+## Layer 3: Operator algebra (control flow)
 
-### Pi Harness integration
+Operator layer provides shell-style and reliability-focused control flow.
 
 ```typescript
-// .pi/extensions/cpa.ts
-import { createPiCpaExtension } from 'cpa-agents/adapters/pi';
-export default createPiCpaExtension();
-
-// Then in Pi:
-// /cpa:par implement auth | write tests | update docs
-// /cpa:fix refactor the database layer
-// /cpa:tree
+import {
+  and,
+  or,
+  pipe,
+  saga,
+  invertible,
+  retryWithBackoff,
+  timeout,
+} from "cpa-agents";
+
+const guardedDeploy = and(buildProcess, deployProcess); // A && B
+const withFallback = or(primaryProcess, fallbackProcess); // A || B
+const piped = pipe(fetchProcess, (data) => transformProcess(data)); // A | B
+
+const transactional = saga([
+  invertible(createBranch, deleteBranch),
+  invertible(writeChanges, revertChanges),
+  invertible(runChecks, cleanupChecks),
+]);
+
+const resilient = retryWithBackoff({
+  process: timeout(30_000, transactional),
+  maxAttempts: 3,
+});
 ```
 
-### OpenClaw integration
+Key exports:
+- `attempt`, `unwrap`
+- `and`, `or`, `ifThenElse`, `pipe`, `pipeChain`
+- `bg`, `waitAll`, `not`, `andChain`, `orChain`, `subshell`
+- `invertible`, `runInvertible`, `saga`
+- `guard`, `guardValue`, `timeout`, `retryWithBackoff`
+
+## OpenClaw integration
 
 ```typescript
 // ~/.openclaw/skills/cpa-agents/index.ts
-import { createOpenClawSkill } from 'cpa-agents/adapters/openclaw';
+import { createOpenClawSkill } from "cpa-agents/adapters/openclaw";
 export default createOpenClawSkill();
+```
+
+Supported commands:
+- `parallel`
+- `branch-fix`
+- `fan-out`
+- `status`
 
-// Then via any messaging channel:
-// "Run these tasks in parallel: research competitors, draft blog post"
-// "Fix the auth module — branch and fix any type errors"
+Skill authoring docs are in `skills/cpa-agents/SKILL.md`.
+
+## Pi Harness integration
+
+```typescript
+// .pi/extensions/cpa.ts
+import { createPiCpaExtension } from "cpa-agents/adapters/pi";
+export default createPiCpaExtension();
 ```
 
-## Session tree
+## Session tree and trace
 
-Every process execution produces a session tree — a record of all spawns, branches, fixes, and completions. This maps directly to Pi Harness's `/tree` view and OpenClaw's session logs.
+Every scheduler run emits:
+- `sessionTree` (hierarchical execution tree)
+- `trace` (flat event list)
 
 ```typescript
-const result = await scheduler.run('workflow', myProcess);
+const result = await scheduler.run("workflow", myProcess);
 
 for (const node of result.sessionTree) {
   console.log(node.name, node.runId);
   for (const child of node.children) {
-    console.log('  └─', child.name);
+    console.log("  └─", child.name);
   }
 }
 ```
 
-The trace is also available as a flat event log via `scheduler.getTrace()`, suitable for serialization to OpenClaw's workspace files or Pi's session JSONL format.
+## Development
 
-## Design decisions
-
-**Synchronous rendezvous channels**, not buffered queues. A `send` blocks until a `receive` matches it. This is the π-calculus default and prevents the subtle bugs you get when messages pile up in buffers unobserved.
-
-**Cooperative scheduling** via async/await, not preemptive. LLM calls are inherently async and long-running. The scheduler doesn't need to timeslice — it just needs to manage the dependency graph.
-
-**Typed channels**. `Channel<T>` carries values of type T. This catches mismatched agent interfaces at compile time rather than runtime.
-
-**Trace-first**. Every operation emits trace events. The session tree isn't reconstructed after the fact — it's built as processes execute, so you can inspect it mid-run.
+```bash
+npm run check
+npm test
+npm run coverage
+```
 
 ## License
 

package/dist/adapters/openclaw.d.ts

@@ -6,7 +6,7 @@
 import { type TraceEvent, type SessionNode } from "../process.js";
 import { type AgentCall } from "../agent.js";
 import { type SchedulerResult } from "../scheduler.js";
-export declare const SKILL_MD = "# cpa-agents \u2014 Concurrent Process Algebra\n\nOrchestrate complex multi-step agent workflows using formal\nprocess algebra primitives. Supports parallel execution,\nbranch-fix-continue patterns, and supervised error recovery.\n\n## Commands\n\n- `cpa:parallel` \u2014 Run multiple tasks concurrently\n- `cpa:pipeline` \u2014 Chain tasks sequentially\n- `cpa:branch-fix` \u2014 Run a task with automatic error correction branching\n- `cpa:fan-out` \u2014 Send same task to multiple models, merge results\n- `cpa:status` \u2014 Show running process tree\n\n## When to use\n\nUse this skill when:\n- You need to run multiple independent tasks at the same time\n- A task might fail and needs automatic retry/fix before continuing\n- You want to compare outputs from different approaches\n- Complex workflows with dependencies between steps\n";
+export declare const SKILL_MD = "# cpa-agents \u2014 Concurrent Process Algebra\n\nUse process algebra primitives to orchestrate agent workflows in OpenClaw.\nThis skill is useful for parallel execution, branch-fix loops, fan-out\ncomparison, and inspecting workflow state.\n\n## Install\n\n### 1) Install library\n```bash\nnpm install cpa-agents\n```\n\n### 2) Create the skill entrypoint\n```ts\nimport { createOpenClawSkill } from \"cpa-agents/adapters/openclaw\";\n\nexport default createOpenClawSkill();\n```\n\n### 3) Ensure OpenClaw can execute skills\n- OpenClaw Gateway must be running.\n- Your skill runtime must allow async tool execution.\n- Keep this package at version `0.1.0` or newer.\n\n## Commands\n\n### cpa:parallel\nRun independent tasks concurrently.\n\nInput:\n```json\n{ \"tasks\": [\"task one\", \"task two\"], \"timeout\": 300000 }\n```\n\n### cpa:branch-fix\nRun task, detect errors, branch into a fix subprocess, then continue.\n\nInput:\n```json\n{ \"task\": \"implement feature with checks\", \"timeout\": 300000 }\n```\n\n### cpa:fan-out\nRun same task across multiple models and return merged results.\n\nInput:\n```json\n{ \"task\": \"draft API design\", \"models\": [\"model-a\", \"model-b\"], \"timeout\": 300000 }\n```\n\n### cpa:retry\nRetry a task with exponential backoff and per-attempt timeout.\n\nInput:\n```json\n{ \"task\": \"fix flaky test\", \"maxAttempts\": 3, \"initialDelayMs\": 250, \"stepTimeout\": 60000 }\n```\n\n### cpa:fallback\nRun fallback task if primary task fails.\n\nInput:\n```json\n{ \"primary\": \"run strict analyzer\", \"fallback\": \"run lightweight analyzer\" }\n```\n\n### cpa:saga\nRun multiple steps with rollback compensation on failure.\n\nInput:\n```json\n{ \"steps\": [\"create branch\", \"apply patch\", \"run validation\"] }\n```\n\n### cpa:status\nGet current process tree/status for the current session.\n\nInput:\n```json\n{}\n```\n\n## Recommended usage prompts\n\n- \"Run in parallel: analyze bug, propose fix, generate tests\"\n- \"Branch-fix this refactor until no type errors remain\"\n- \"Fan-out this architecture prompt across 2 models and compare\"\n- \"Show cpa status\"\n\n## Troubleshooting\n\n- **Gateway not connected**\n  - Start OpenClaw Gateway and retry.\n- **Unknown command**\n  - Use one of: `parallel`, `branch-fix`, `fan-out`, `retry`, `fallback`, `saga`, `status`.\n- **Timeout errors**\n  - Increase `timeout` in command args.\n- **No session events**\n  - Confirm session context has `appendEvent` enabled.\n";
 export declare function openclawTool<TInput, TOutput>(opts: {
     name: string;
     tool: string;

package/dist/adapters/openclaw.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"openclaw.d.ts","sourceRoot":"","sources":["../../src/adapters/openclaw.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAGL,KAAK,UAAU,EACf,KAAK,WAAW,EAGjB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,KAAK,SAAS,EAAwB,MAAM,aAAa,CAAC;AACnE,OAAO,EAAa,KAAK,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAIlE,eAAO,MAAM,QAAQ,80BAqBpB,CAAC;AAIF,wBAAgB,YAAY,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE;IAClD,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtD,WAAW,EAAE,CAAC,GAAG,EAAE,OAAO,KAAK,OAAO,CAAC;CACxC,GAAG,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAU7B;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB,GAAG;IACF,UAAU,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC,WAAW,EAAE,SAAS,CAAC;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,IAAI,CAAC,CAAC;CAC9D,CAkBA;AAID,UAAU,eAAe;IACvB,OAAO,CAAC,EAAE;QACR,EAAE,EAAE,MAAM,CAAC;QACX,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,UAAU,KAAK,IAAI,CAAC;KAC3C,CAAC;IACF,KAAK,EAAE;QACL,GAAG,EAAE,CACH,IAAI,EAAE,MAAM,EACZ,IAAI,CAAC,EAAE;YAAE,MAAM,CAAC,EAAE,WAAW,CAAC;YAAC,KAAK,CAAC,EAAE,MAAM,CAAA;SAAE,KAC5C,OAAO,CAAC;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAA;SAAE,CAAC,CAAC;KACrD,CAAC;CACH;AAED,wBAAgB,mBAAmB;;;;2BASpB,MAAM,QACT,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,eAChB,eAAe,GAC3B,OAAO,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;EAkHvC;AAID,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,WAAW,EAAE,EACpB,KAAK,SAAI,GACR,MAAM,CAsCR"}
+{"version":3,"file":"openclaw.d.ts","sourceRoot":"","sources":["../../src/adapters/openclaw.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAGL,KAAK,UAAU,EACf,KAAK,WAAW,EAGjB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,KAAK,SAAS,EAAwB,MAAM,aAAa,CAAC;AAEnE,OAAO,EAAa,KAAK,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAIlE,eAAO,MAAM,QAAQ,s7EAoGpB,CAAC;AAIF,wBAAgB,YAAY,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE;IAClD,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtD,WAAW,EAAE,CAAC,GAAG,EAAE,OAAO,KAAK,OAAO,CAAC;CACxC,GAAG,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAU7B;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB,GAAG;IACF,UAAU,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC,WAAW,EAAE,SAAS,CAAC;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,IAAI,CAAC,CAAC;CAC9D,CAkBA;AAID,UAAU,eAAe;IACvB,OAAO,CAAC,EAAE;QACR,EAAE,EAAE,MAAM,CAAC;QACX,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,UAAU,KAAK,IAAI,CAAC;KAC3C,CAAC;IACF,KAAK,EAAE;QACL,GAAG,EAAE,CACH,IAAI,EAAE,MAAM,EACZ,IAAI,CAAC,EAAE;YAAE,MAAM,CAAC,EAAE,WAAW,CAAC;YAAC,KAAK,CAAC,EAAE,MAAM,CAAA;SAAE,KAC5C,OAAO,CAAC;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAA;SAAE,CAAC,CAAC;KACrD,CAAC;CACH;AAED,wBAAgB,mBAAmB;;;;2BASpB,MAAM,QACT,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,eAChB,eAAe,GAC3B,OAAO,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;EA4LvC;AAID,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,WAAW,EAAE,EACpB,KAAK,SAAI,GACR,MAAM,CAsCR"}

package/dist/adapters/openclaw.js

@@ -5,29 +5,109 @@
  */
 import { par, branchFix, } from "../process.js";
 import { agentProcess, fanOut } from "../agent.js";
+import { invertible, or, retryWithBackoff, saga, timeout } from "../operators.js";
 import { Scheduler } from "../scheduler.js";
 // ─── SKILL.md content ───────────────────────────────────────────
 export const SKILL_MD = `# cpa-agents — Concurrent Process Algebra
 
-Orchestrate complex multi-step agent workflows using formal
-process algebra primitives. Supports parallel execution,
-branch-fix-continue patterns, and supervised error recovery.
+Use process algebra primitives to orchestrate agent workflows in OpenClaw.
+This skill is useful for parallel execution, branch-fix loops, fan-out
+comparison, and inspecting workflow state.
+
+## Install
+
+### 1) Install library
+\`\`\`bash
+npm install cpa-agents
+\`\`\`
+
+### 2) Create the skill entrypoint
+\`\`\`ts
+import { createOpenClawSkill } from "cpa-agents/adapters/openclaw";
+
+export default createOpenClawSkill();
+\`\`\`
+
+### 3) Ensure OpenClaw can execute skills
+- OpenClaw Gateway must be running.
+- Your skill runtime must allow async tool execution.
+- Keep this package at version \`0.1.0\` or newer.
 
 ## Commands
 
-- \`cpa:parallel\` — Run multiple tasks concurrently
-- \`cpa:pipeline\` — Chain tasks sequentially
-- \`cpa:branch-fix\` — Run a task with automatic error correction branching
-- \`cpa:fan-out\` — Send same task to multiple models, merge results
-- \`cpa:status\` — Show running process tree
+### cpa:parallel
+Run independent tasks concurrently.
+
+Input:
+\`\`\`json
+{ "tasks": ["task one", "task two"], "timeout": 300000 }
+\`\`\`
+
+### cpa:branch-fix
+Run task, detect errors, branch into a fix subprocess, then continue.
+
+Input:
+\`\`\`json
+{ "task": "implement feature with checks", "timeout": 300000 }
+\`\`\`
+
+### cpa:fan-out
+Run same task across multiple models and return merged results.
+
+Input:
+\`\`\`json
+{ "task": "draft API design", "models": ["model-a", "model-b"], "timeout": 300000 }
+\`\`\`
+
+### cpa:retry
+Retry a task with exponential backoff and per-attempt timeout.
+
+Input:
+\`\`\`json
+{ "task": "fix flaky test", "maxAttempts": 3, "initialDelayMs": 250, "stepTimeout": 60000 }
+\`\`\`
+
+### cpa:fallback
+Run fallback task if primary task fails.
+
+Input:
+\`\`\`json
+{ "primary": "run strict analyzer", "fallback": "run lightweight analyzer" }
+\`\`\`
 
-## When to use
+### cpa:saga
+Run multiple steps with rollback compensation on failure.
 
-Use this skill when:
-- You need to run multiple independent tasks at the same time
-- A task might fail and needs automatic retry/fix before continuing
-- You want to compare outputs from different approaches
-- Complex workflows with dependencies between steps
+Input:
+\`\`\`json
+{ "steps": ["create branch", "apply patch", "run validation"] }
+\`\`\`
+
+### cpa:status
+Get current process tree/status for the current session.
+
+Input:
+\`\`\`json
+{}
+\`\`\`
+
+## Recommended usage prompts
+
+- "Run in parallel: analyze bug, propose fix, generate tests"
+- "Branch-fix this refactor until no type errors remain"
+- "Fan-out this architecture prompt across 2 models and compare"
+- "Show cpa status"
+
+## Troubleshooting
+
+- **Gateway not connected**
+  - Start OpenClaw Gateway and retry.
+- **Unknown command**
+  - Use one of: \`parallel\`, \`branch-fix\`, \`fan-out\`, \`retry\`, \`fallback\`, \`saga\`, \`status\`.
+- **Timeout errors**
+  - Increase \`timeout\` in command args.
+- **No session events**
+  - Confirm session context has \`appendEvent\` enabled.
 `;
 // ─── OpenClaw tool wrappers ─────────────────────────────────────
 export function openclawTool(opts) {
@@ -59,7 +139,7 @@ export function createOpenClawSkill() {
     const schedulers = new Map();
     return {
         name: "cpa-agents",
-        version: "0.1.0",
+        version: "0.2.2",
         skillMd: SKILL_MD,
         async handleCommand(command, args, openclawCtx) {
             const scheduler = new Scheduler({
@@ -71,6 +151,19 @@ export function createOpenClawSkill() {
             const sessionId = openclawCtx.session?.id ?? "unknown";
             schedulers.set(sessionId, scheduler);
             try {
+                const runTask = (task, model) => async (ctx) => {
+                    const result = await openclawCtx.agent.run(task, {
+                        model,
+                        signal: ctx.signal,
+                    });
+                    if (result.errors?.length) {
+                        throw new Error(result.errors.join("; "));
+                    }
+                    return result.output;
+                };
+                const runTaskVoid = (task, model) => async (ctx) => {
+                    await runTask(task, model)(ctx);
+                };
                 switch (command) {
                     case "parallel": {
                         const tasks = args.tasks;
@@ -127,6 +220,38 @@ export function createOpenClawSkill() {
                         });
                         return scheduler.run("fan-out", proc);
                     }
+                    case "retry": {
+                        const task = args.task;
+                        const model = args.model;
+                        const maxAttempts = args.maxAttempts ?? 3;
+                        const initialDelayMs = args.initialDelayMs ?? 250;
+                        const stepTimeout = args.stepTimeout ?? 60_000;
+                        const proc = retryWithBackoff({
+                            process: timeout(stepTimeout, runTask(task, model)),
+                            maxAttempts,
+                            initialDelayMs,
+                        });
+                        return scheduler.run("retry", proc);
+                    }
+                    case "fallback": {
+                        const primary = args.primary;
+                        const fallback = args.fallback;
+                        const model = args.model;
+                        const proc = async (ctx) => {
+                            const result = await or(runTask(primary, model), runTask(fallback, model))(ctx);
+                            if (!result.ok) {
+                                throw result.error;
+                            }
+                            return result.value;
+                        };
+                        return scheduler.run("fallback", proc);
+                    }
+                    case "saga": {
+                        const steps = args.steps ?? [];
+                        const model = args.model;
+                        const proc = saga(steps.map((step) => invertible(runTask(step, model), () => runTaskVoid(`Rollback/undo the effects of this step: ${step}`, model))));
+                        return scheduler.run("saga", proc);
+                    }
                     case "status": {
                         const s = schedulers.get(sessionId);
                         if (!s) {

package/dist/adapters/openclaw.js.map

@@ -1 +1 @@
-{"version":3,"file":"openclaw.js","sourceRoot":"","sources":["../../src/adapters/openclaw.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAKL,GAAG,EACH,SAAS,GACV,MAAM,eAAe,CAAC;AACvB,OAAO,EAAkB,YAAY,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACnE,OAAO,EAAE,SAAS,EAAwB,MAAM,iBAAiB,CAAC;AAElE,mEAAmE;AAEnE,MAAM,CAAC,MAAM,QAAQ,GAAG;;;;;;;;;;;;;;;;;;;;;CAqBvB,CAAC;AAEF,mEAAmE;AAEnE,MAAM,UAAU,YAAY,CAAkB,IAK7C;IACC,OAAO;QACL,IAAI,EAAE,YAAY,IAAI,CAAC,IAAI,EAAE;QAC7B,MAAM,EAAE,KAAK,EAAE,MAAc,EAAE,OAAoB,EAAoB,EAAE;YACvE,MAAM,IAAI,KAAK,CACb,gBAAgB,IAAI,CAAC,IAAI,4BAA4B;gBACnD,4DAA4D,CAC/D,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAG9B;IAIC,OAAO;QACL,UAAU,EAAE;YACV,IAAI,EAAE,kBAAkB,IAAI,CAAC,IAAI,EAAE;YACnC,MAAM,EAAE,KAAK,EAAE,IAAY,EAAE,OAAoB,EAAmB,EAAE;gBACpE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;YACpD,CAAC;SACF;QACD,WAAW,EAAE;YACX,IAAI,EAAE,mBAAmB,IAAI,CAAC,IAAI,EAAE;YACpC,MAAM,EAAE,KAAK,EACX,MAAsC,EACtC,OAAoB,EACL,EAAE;gBACjB,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;YACpD,CAAC;SACF;KACF,CAAC;AACJ,CAAC;AAiBD,MAAM,UAAU,mBAAmB;IACjC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAqB,CAAC;IAEhD,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,OAAO,EAAE,OAAO;QAChB,OAAO,EAAE,QAAQ;QAEjB,KAAK,CAAC,aAAa,CACjB,OAAe,EACf,IAA6B,EAC7B,WAA4B;YAE5B,MAAM,SAAS,GAAG,IAAI,SAAS,CAAC;gBAC9B,OAAO,EAAG,IAAI,CAAC,OAAkB,IAAI,OAAO;gBAC5C,OAAO,EAAE,CAAC,CAAa,EAAE,EAAE;oBACzB,WAAW,CAAC,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC;gBACxC,CAAC;aACF,CAAC,CAAC;YAEH,MAAM,SAAS,GAAG,WAAW,CAAC,OAAO,EAAE,EAAE,IAAI,SAAS,CAAC;YACvD,UAAU,CAAC,GAAG,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;YAErC,IAAI,CAAC;gBACH,QAAQ,OAAO,EAAE,CAAC;oBAChB,KAAK,UAAU,CAAC,CAAC,CAAC;wBAChB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAiB,CAAC;wBACrC,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAY,EAAE,EAAE,CAC3C,YAAY,CACV;4BACE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;4BACvB,MAAM,EAAE,KAAK,EAAE,CAAO,EAAE,MAAmB,EAAE,EAAE;gCAC7C,OAAO,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;4BACjD,CAAC;yBACF,EACD,SAAS,CACV,CACF,CAAC;wBAEF,OAAO,SAAS,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC;oBACtD,CAAC;oBAED,KAAK,YAAY,CAAC,CAAC,CAAC;wBAClB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAc,CAAC;wBACjC,MAAM,IAAI,GAAG,SAAS,CAAS;4BAC7B,IAAI,EAAE,cAAc;4BACpB,IAAI,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,KAAK,EAAE,GAAmB,EAAE,EAAE;gCAClD,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE;oCAC/C,MAAM,EAAE,GAAG,CAAC,MAAM;iCACnB,CAAC,CAAC;gCAEH,IAAI,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;oCAC1B,MAAM,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;gCAC7C,CAAC;gCAED,OAAO,MAAM,CAAC,MAAM,CAAC;4BACvB,CAAC;4BACD,GAAG,EAAE,CAAC,MAAc,EAAE,EAAE,CAAC,KAAK,EAAE,GAAmB,EAAE,EAAE;gCACrD,MAAM,WAAW,CAAC,KAAK,CAAC,GAAG,CACzB,6BAA6B,MAAM,EAAE,EACrC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CACvB,CAAC;4BACJ,CAAC;yBACF,CAAC,CAAC;wBAEH,OAAO,SAAS,CAAC,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;oBAC3C,CAAC;oBAED,KAAK,SAAS,CAAC,CAAC,CAAC;wBACf,MAAM,IAAI,GAAG,IAAI,CAAC,IAAc,CAAC;wBACjC,MAAM,MAAM,GAAI,IAAI,CAAC,MAAmB,IAAI;4BAC1C,0BAA0B;4BAC1B,QAAQ;yBACT,CAAC;wBAEF,MAAM,MAAM,GAAgC,MAAM,CAAC,GAAG,CACpD,CAAC,KAAa,EAAE,EAAE,CAAC,CAAC;4BAClB,IAAI,EAAE,SAAS,KAAK,EAAE;4BACtB,MAAM,EAAE,KAAK,EAAE,KAAa,EAAE,MAAmB,EAAE,EAAE;gCACnD,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE;oCAChD,KAAK;oCACL,MAAM;iCACP,CAAC,CAAC;gCACH,OAAO,MAAM,CAAC,MAAM,CAAC;4BACvB,CAAC;yBACF,CAAC,CACH,CAAC;wBAEF,MAAM,IAAI,GAAG,MAAM,CAAC;4BAClB,MAAM;4BACN,KAAK,EAAE,IAAI;4BACX,KAAK,EAAE,CAAC,OAAiB,EAAE,EAAE,CAAC,CAAC;gCAC7B,OAAO;gCACP,SAAS,EAAE,OAAO,CAAC,MAAM;6BAC1B,CAAC;yBACH,CAAC,CAAC;wBAEH,OAAO,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;oBACxC,CAAC;oBAED,KAAK,QAAQ,CAAC,CAAC,CAAC;wBACd,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;wBACpC,IAAI,CAAC,CAAC,EAAE,CAAC;4BACP,OAAO;gCACL,OAAO,EAAE,IAAI;gCACb,KAAK,EAAE,EAAE,OAAO,EAAE,yBAAyB,EAAE;gCAC7C,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC;gCACzB,WAAW,EAAE,EAAE;6BAChB,CAAC;wBACJ,CAAC;wBACD,OAAO;4BACL,OAAO,EAAE,IAAI;4BACb,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,cAAc,EAAE,EAAE;4BACnC,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC;4BACjB,WAAW,EAAE,CAAC,CAAC,cAAc,EAAE;yBAChC,CAAC;oBACJ,CAAC;oBAED;wBACE,MAAM,IAAI,KAAK,CAAC,wBAAwB,OAAO,EAAE,CAAC,CAAC;gBACvD,CAAC;YACH,CAAC;oBAAS,CAAC;gBACT,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YAC/B,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC;AAED,mEAAmE;AAEnE,MAAM,UAAU,qBAAqB,CACnC,KAAoB,EACpB,KAAK,GAAG,CAAC;IAET,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,EAAE,GAAG,EAAE,CAAC;IAEZ,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAa,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC;YACpE,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAa,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC;gBACtD,CAAC,CAAC,MAAM;gBACR,CAAC,CAAC,SAAS,CAAC;QAEhB,EAAE,IAAI,GAAG,MAAM,OAAO,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,KAAK,MAAM,MAAM,KAAK,CAAC;QAElE,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CACjC,CAAC,CAAa,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CACvC,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACxB,EAAE,IAAI,GAAG,MAAM,sBAAsB,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;YACzF,CAAC;QACH,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAC9B,CAAC,CAAa,EAAE,EAAE,CAChB,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CACjD,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC3B,EAAE,IAAI,GAAG,MAAM,oBAAoB,CAAC,CAAC,MAAM,IAAI,CAAC;YAClD,CAAC;QACH,CAAC;QAED,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,EAAE,IAAI,qBAAqB,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IAED,OAAO,EAAE,CAAC;AACZ,CAAC"}
+{"version":3,"file":"openclaw.js","sourceRoot":"","sources":["../../src/adapters/openclaw.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EAKL,GAAG,EACH,SAAS,GACV,MAAM,eAAe,CAAC;AACvB,OAAO,EAAkB,YAAY,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACnE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAClF,OAAO,EAAE,SAAS,EAAwB,MAAM,iBAAiB,CAAC;AAElE,mEAAmE;AAEnE,MAAM,CAAC,MAAM,QAAQ,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAoGvB,CAAC;AAEF,mEAAmE;AAEnE,MAAM,UAAU,YAAY,CAAkB,IAK7C;IACC,OAAO;QACL,IAAI,EAAE,YAAY,IAAI,CAAC,IAAI,EAAE;QAC7B,MAAM,EAAE,KAAK,EAAE,MAAc,EAAE,OAAoB,EAAoB,EAAE;YACvE,MAAM,IAAI,KAAK,CACb,gBAAgB,IAAI,CAAC,IAAI,4BAA4B;gBACnD,4DAA4D,CAC/D,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAG9B;IAIC,OAAO;QACL,UAAU,EAAE;YACV,IAAI,EAAE,kBAAkB,IAAI,CAAC,IAAI,EAAE;YACnC,MAAM,EAAE,KAAK,EAAE,IAAY,EAAE,OAAoB,EAAmB,EAAE;gBACpE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;YACpD,CAAC;SACF;QACD,WAAW,EAAE;YACX,IAAI,EAAE,mBAAmB,IAAI,CAAC,IAAI,EAAE;YACpC,MAAM,EAAE,KAAK,EACX,MAAsC,EACtC,OAAoB,EACL,EAAE;gBACjB,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;YACpD,CAAC;SACF;KACF,CAAC;AACJ,CAAC;AAiBD,MAAM,UAAU,mBAAmB;IACjC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAqB,CAAC;IAEhD,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,OAAO,EAAE,OAAO;QAChB,OAAO,EAAE,QAAQ;QAEjB,KAAK,CAAC,aAAa,CACjB,OAAe,EACf,IAA6B,EAC7B,WAA4B;YAE5B,MAAM,SAAS,GAAG,IAAI,SAAS,CAAC;gBAC9B,OAAO,EAAG,IAAI,CAAC,OAAkB,IAAI,OAAO;gBAC5C,OAAO,EAAE,CAAC,CAAa,EAAE,EAAE;oBACzB,WAAW,CAAC,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC;gBACxC,CAAC;aACF,CAAC,CAAC;YAEH,MAAM,SAAS,GAAG,WAAW,CAAC,OAAO,EAAE,EAAE,IAAI,SAAS,CAAC;YACvD,UAAU,CAAC,GAAG,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;YAErC,IAAI,CAAC;gBACH,MAAM,OAAO,GACX,CAAC,IAAY,EAAE,KAAc,EAAmB,EAAE,CAClD,KAAK,EAAE,GAAmB,EAAE,EAAE;oBAC5B,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE;wBAC/C,KAAK;wBACL,MAAM,EAAE,GAAG,CAAC,MAAM;qBACnB,CAAC,CAAC;oBACH,IAAI,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;wBAC1B,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;oBAC5C,CAAC;oBACD,OAAO,MAAM,CAAC,MAAM,CAAC;gBACvB,CAAC,CAAC;gBAEJ,MAAM,WAAW,GACf,CAAC,IAAY,EAAE,KAAc,EAAiB,EAAE,CAChD,KAAK,EAAE,GAAmB,EAAE,EAAE;oBAC5B,MAAM,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC;gBAClC,CAAC,CAAC;gBAEJ,QAAQ,OAAO,EAAE,CAAC;oBAChB,KAAK,UAAU,CAAC,CAAC,CAAC;wBAChB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAiB,CAAC;wBACrC,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAY,EAAE,EAAE,CAC3C,YAAY,CACV;4BACE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;4BACvB,MAAM,EAAE,KAAK,EAAE,CAAO,EAAE,MAAmB,EAAE,EAAE;gCAC7C,OAAO,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;4BACjD,CAAC;yBACF,EACD,SAAS,CACV,CACF,CAAC;wBAEF,OAAO,SAAS,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC;oBACtD,CAAC;oBAED,KAAK,YAAY,CAAC,CAAC,CAAC;wBAClB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAc,CAAC;wBACjC,MAAM,IAAI,GAAG,SAAS,CAAS;4BAC7B,IAAI,EAAE,cAAc;4BACpB,IAAI,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,KAAK,EAAE,GAAmB,EAAE,EAAE;gCAClD,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE;oCAC/C,MAAM,EAAE,GAAG,CAAC,MAAM;iCACnB,CAAC,CAAC;gCAEH,IAAI,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;oCAC1B,MAAM,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;gCAC7C,CAAC;gCAED,OAAO,MAAM,CAAC,MAAM,CAAC;4BACvB,CAAC;4BACD,GAAG,EAAE,CAAC,MAAc,EAAE,EAAE,CAAC,KAAK,EAAE,GAAmB,EAAE,EAAE;gCACrD,MAAM,WAAW,CAAC,KAAK,CAAC,GAAG,CACzB,6BAA6B,MAAM,EAAE,EACrC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CACvB,CAAC;4BACJ,CAAC;yBACF,CAAC,CAAC;wBAEH,OAAO,SAAS,CAAC,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;oBAC3C,CAAC;oBAED,KAAK,SAAS,CAAC,CAAC,CAAC;wBACf,MAAM,IAAI,GAAG,IAAI,CAAC,IAAc,CAAC;wBACjC,MAAM,MAAM,GAAI,IAAI,CAAC,MAAmB,IAAI;4BAC1C,0BAA0B;4BAC1B,QAAQ;yBACT,CAAC;wBAEF,MAAM,MAAM,GAAgC,MAAM,CAAC,GAAG,CACpD,CAAC,KAAa,EAAE,EAAE,CAAC,CAAC;4BAClB,IAAI,EAAE,SAAS,KAAK,EAAE;4BACtB,MAAM,EAAE,KAAK,EAAE,KAAa,EAAE,MAAmB,EAAE,EAAE;gCACnD,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE;oCAChD,KAAK;oCACL,MAAM;iCACP,CAAC,CAAC;gCACH,OAAO,MAAM,CAAC,MAAM,CAAC;4BACvB,CAAC;yBACF,CAAC,CACH,CAAC;wBAEF,MAAM,IAAI,GAAG,MAAM,CAAC;4BAClB,MAAM;4BACN,KAAK,EAAE,IAAI;4BACX,KAAK,EAAE,CAAC,OAAiB,EAAE,EAAE,CAAC,CAAC;gCAC7B,OAAO;gCACP,SAAS,EAAE,OAAO,CAAC,MAAM;6BAC1B,CAAC;yBACH,CAAC,CAAC;wBAEH,OAAO,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;oBACxC,CAAC;oBAED,KAAK,OAAO,CAAC,CAAC,CAAC;wBACb,MAAM,IAAI,GAAG,IAAI,CAAC,IAAc,CAAC;wBACjC,MAAM,KAAK,GAAG,IAAI,CAAC,KAA2B,CAAC;wBAC/C,MAAM,WAAW,GAAI,IAAI,CAAC,WAAsB,IAAI,CAAC,CAAC;wBACtD,MAAM,cAAc,GAAI,IAAI,CAAC,cAAyB,IAAI,GAAG,CAAC;wBAC9D,MAAM,WAAW,GAAI,IAAI,CAAC,WAAsB,IAAI,MAAM,CAAC;wBAE3D,MAAM,IAAI,GAAG,gBAAgB,CAAC;4BAC5B,OAAO,EAAE,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;4BACnD,WAAW;4BACX,cAAc;yBACf,CAAC,CAAC;wBAEH,OAAO,SAAS,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;oBACtC,CAAC;oBAED,KAAK,UAAU,CAAC,CAAC,CAAC;wBAChB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAiB,CAAC;wBACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAkB,CAAC;wBACzC,MAAM,KAAK,GAAG,IAAI,CAAC,KAA2B,CAAC;wBAE/C,MAAM,IAAI,GAAoB,KAAK,EAAE,GAAmB,EAAE,EAAE;4BAC1D,MAAM,MAAM,GAAG,MAAM,EAAE,CACrB,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,EACvB,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,CACzB,CAAC,GAAG,CAAC,CAAC;4BACP,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;gCACf,MAAM,MAAM,CAAC,KAAK,CAAC;4BACrB,CAAC;4BACD,OAAO,MAAM,CAAC,KAAK,CAAC;wBACtB,CAAC,CAAC;wBAEF,OAAO,SAAS,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;oBACzC,CAAC;oBAED,KAAK,MAAM,CAAC,CAAC,CAAC;wBACZ,MAAM,KAAK,GAAI,IAAI,CAAC,KAAkB,IAAI,EAAE,CAAC;wBAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,KAA2B,CAAC;wBAE/C,MAAM,IAAI,GAAG,IAAI,CACf,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACjB,UAAU,CACR,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,EACpB,GAAG,EAAE,CACH,WAAW,CACT,2CAA2C,IAAI,EAAE,EACjD,KAAK,CACN,CACJ,CACF,CACF,CAAC;wBAEF,OAAO,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;oBACrC,CAAC;oBAED,KAAK,QAAQ,CAAC,CAAC,CAAC;wBACd,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;wBACpC,IAAI,CAAC,CAAC,EAAE,CAAC;4BACP,OAAO;gCACL,OAAO,EAAE,IAAI;gCACb,KAAK,EAAE,EAAE,OAAO,EAAE,yBAAyB,EAAE;gCAC7C,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC;gCACzB,WAAW,EAAE,EAAE;6BAChB,CAAC;wBACJ,CAAC;wBACD,OAAO;4BACL,OAAO,EAAE,IAAI;4BACb,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,cAAc,EAAE,EAAE;4BACnC,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC;4BACjB,WAAW,EAAE,CAAC,CAAC,cAAc,EAAE;yBAChC,CAAC;oBACJ,CAAC;oBAED;wBACE,MAAM,IAAI,KAAK,CAAC,wBAAwB,OAAO,EAAE,CAAC,CAAC;gBACvD,CAAC;YACH,CAAC;oBAAS,CAAC;gBACT,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YAC/B,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC;AAED,mEAAmE;AAEnE,MAAM,UAAU,qBAAqB,CACnC,KAAoB,EACpB,KAAK,GAAG,CAAC;IAET,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,EAAE,GAAG,EAAE,CAAC;IAEZ,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAa,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC;YACpE,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAa,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC;gBACtD,CAAC,CAAC,MAAM;gBACR,CAAC,CAAC,SAAS,CAAC;QAEhB,EAAE,IAAI,GAAG,MAAM,OAAO,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,KAAK,MAAM,MAAM,KAAK,CAAC;QAElE,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CACjC,CAAC,CAAa,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CACvC,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACxB,EAAE,IAAI,GAAG,MAAM,sBAAsB,CAAC,CAAC,MAAM,WAAW,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;YACzF,CAAC;QACH,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAC9B,CAAC,CAAa,EAAE,EAAE,CAChB,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CACjD,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAC3B,EAAE,IAAI,GAAG,MAAM,oBAAoB,CAAC,CAAC,MAAM,IAAI,CAAC;YAClD,CAAC;QACH,CAAC;QAED,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,EAAE,IAAI,qBAAqB,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IAED,OAAO,EAAE,CAAC;AACZ,CAAC"}

package/dist/adapters/pi-harness.d.ts

@@ -33,6 +33,18 @@ export declare function createPiCpaExtension(): {
                 message: string;
             }>;
         };
+        "cpa:retry": {
+            description: string;
+            handler: (args: string, piCtx: Record<string, any>) => Promise<import("../scheduler.js").SchedulerResult<string>>;
+        };
+        "cpa:fallback": {
+            description: string;
+            handler: (args: string, piCtx: Record<string, any>) => Promise<import("../scheduler.js").SchedulerResult<string>>;
+        };
+        "cpa:saga": {
+            description: string;
+            handler: (args: string, piCtx: Record<string, any>) => Promise<import("../scheduler.js").SchedulerResult<any[]>>;
+        };
     };
 };
 //# sourceMappingURL=pi-harness.d.ts.map

package/dist/adapters/pi-harness.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"pi-harness.d.ts","sourceRoot":"","sources":["../../src/adapters/pi-harness.ts"],"names":[],"mappings":"AAAA;;GAEG;AAUH,OAAO,EAAE,KAAK,SAAS,EAA6B,MAAM,aAAa,CAAC;AAGxE,wBAAgB,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE;IAC5C,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtD,WAAW,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC;CACvC,GAAG,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAU7B;AAED,wBAAgB,UAAU,CAAC,OAAO,EAAE,IAAI,EAAE;IACxC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,CAAC,aAAa,EAAE,MAAM,KAAK,OAAO,CAAC;CACjD,GAAG,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,CAS3B;AAED,wBAAgB,oBAAoB;;;;;;;4BASN,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;;;;4BAwBlC,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;;;;6BA2BjC,MAAM,UAAU,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;;;;;EAMjE"}
+{"version":3,"file":"pi-harness.d.ts","sourceRoot":"","sources":["../../src/adapters/pi-harness.ts"],"names":[],"mappings":"AAAA;;GAEG;AAUH,OAAO,EAAE,KAAK,SAAS,EAA6B,MAAM,aAAa,CAAC;AAIxE,wBAAgB,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE;IAC5C,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtD,WAAW,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC;CACvC,GAAG,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAU7B;AAED,wBAAgB,UAAU,CAAC,OAAO,EAAE,IAAI,EAAE;IACxC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,CAAC,aAAa,EAAE,MAAM,KAAK,OAAO,CAAC;CACjD,GAAG,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,CAS3B;AAED,wBAAgB,oBAAoB;;;;;;;4BASN,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;;;;4BAwBlC,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;;;;6BA2BjC,MAAM,UAAU,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;;;;;;4BAOpC,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;;;;4BAyBlC,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;;;;4BAyClC,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;;;EAmC/D"}

package/dist/adapters/pi-harness.js

@@ -3,6 +3,7 @@
  */
 import { par, } from "../process.js";
 import { agentProcess, codeThenFix } from "../agent.js";
+import { invertible, or, retryWithBackoff, saga, timeout } from "../operators.js";
 import { Scheduler } from "../scheduler.js";
 export function piTool(opts) {
     return {
@@ -24,7 +25,7 @@ export function piSubAgent(opts) {
 export function createPiCpaExtension() {
     return {
         name: "cpa-agents",
-        version: "0.1.0",
+        version: "0.2.2",
         description: "Concurrent Process Algebra for AI agent orchestration",
         commands: {
             "cpa:par": {
@@ -71,6 +72,82 @@ export function createPiCpaExtension() {
                     return { message: "Session tree display (see trace output)" };
                 },
             },
+            "cpa:retry": {
+                description: "Retry a Pi task with backoff and timeout",
+                handler: async (args, piCtx) => {
+                    const scheduler = new Scheduler({
+                        onTrace: (e) => piCtx.log?.(`[cpa] ${e.type}: ${e.runId}`),
+                    });
+                    const task = args.trim();
+                    const proc = retryWithBackoff({
+                        process: timeout(30_000, async (ctx) => {
+                            const sub = piSubAgent({
+                                name: task.slice(0, 30) || "retry-task",
+                                prompt: task,
+                                parseResult: (out) => out,
+                            });
+                            return sub.invoke(undefined, ctx.signal);
+                        }),
+                        maxAttempts: 3,
+                        initialDelayMs: 100,
+                    });
+                    return scheduler.run("retry", proc);
+                },
+            },
+            "cpa:fallback": {
+                description: "Run fallback Pi task if primary fails",
+                handler: async (args, piCtx) => {
+                    const scheduler = new Scheduler({
+                        onTrace: (e) => piCtx.log?.(`[cpa] ${e.type}: ${e.runId}`),
+                    });
+                    const [primary, fallback] = args
+                        .split("||")
+                        .map((part) => part.trim())
+                        .filter(Boolean);
+                    const primaryPrompt = primary ?? args.trim();
+                    const fallbackPrompt = fallback ?? `Fallback for: ${primaryPrompt}`;
+                    const proc = async (ctx) => {
+                        const result = await or(async (c) => piSubAgent({
+                            name: "primary",
+                            prompt: primaryPrompt,
+                            parseResult: (out) => out,
+                        }).invoke(undefined, c.signal), async (c) => piSubAgent({
+                            name: "fallback",
+                            prompt: fallbackPrompt,
+                            parseResult: (out) => out,
+                        }).invoke(undefined, c.signal))(ctx);
+                        if (!result.ok) {
+                            throw result.error;
+                        }
+                        return result.value;
+                    };
+                    return scheduler.run("fallback", proc);
+                },
+            },
+            "cpa:saga": {
+                description: "Run rollback-aware multi-step Pi workflow",
+                handler: async (args, piCtx) => {
+                    const scheduler = new Scheduler({
+                        onTrace: (e) => piCtx.log?.(`[cpa] ${e.type}: ${e.runId}`),
+                    });
+                    const steps = args
+                        .split("|")
+                        .map((part) => part.trim())
+                        .filter(Boolean);
+                    const proc = saga(steps.map((step) => invertible(async (ctx) => piSubAgent({
+                        name: step.slice(0, 30) || "saga-step",
+                        prompt: step,
+                        parseResult: (out) => out,
+                    }).invoke(undefined, ctx.signal), () => async (ctx) => {
+                        await piSubAgent({
+                            name: "undo",
+                            prompt: `Undo/rollback this step: ${step}`,
+                            parseResult: (out) => out,
+                        }).invoke(undefined, ctx.signal);
+                    })));
+                    return scheduler.run("saga", proc);
+                },
+            },
         },
     };
 }