@osolmaz/pi-workflows 0.9.0 → 0.10.0

package/README.md

@@ -139,6 +139,37 @@ structured run ends to request one normal, human-readable assistant response.
 Workflows without it remain silent after their final structured output, which
 keeps shell-only and machine-consumed workflows model-free.
 
+## Compose workflows
+
+A workflow can import another workflow and connect its named exits without copying its nodes:
+
+```typescript
+import { compute, defineWorkflow, includeWorkflow } from "@osolmaz/pi-workflows";
+import autodevise from "./autodevise.workflow.js";
+
+export default defineWorkflow({
+  source: import.meta.url,
+  name: "parent",
+  startAt: "start",
+  includes: {
+    design: includeWorkflow(autodevise, {
+      input: ({ outputs }) => ({ problem: String(outputs.start) }),
+    }),
+  },
+  nodes: {
+    start: compute({ run: () => "Fix the reported defect" }),
+    finish: compute({ run: ({ outputs }) => outputs.design }),
+  },
+  edges: [
+    { from: "start", to: "design" },
+    { from: "design.ready", to: "finish" },
+    { from: "design.blocked", to: "finish" },
+  ],
+});
+```
+
+Direct imports check child input and exit names in TypeScript. Names and paths remain available for dynamic discovery. Nested children share one run, trace, pause state, and cancellation state. See [Workflow composition](docs/WORKFLOW_COMPOSITION.md) for the complete contract.
+
 ## Agent-managed workflows
 
 The model can use the same `workflow` tool to list, start, inspect, pause,
@@ -151,10 +182,10 @@ Pi Workflows includes a `monitor` workflow for plain-language requests such as:
 
 The monitor checks immediately, reports only the states requested by the user,
 waits with a normal shell action, and loops until its stop condition or check
-limit. Its input supports `task`, `everyMinutes`, `reportWhen`, `stopWhen`,
-`maxChecks`, and an optional `checkTimeoutMinutes`. Project and global
-workflows can replace the built-in `monitor`
-by using the same file name.
+limit. Its input supports `task`, `everyMinutes`, `stopWhen`, `maxChecks`, and
+an optional `checkTimeoutMinutes`.
+
+Monitor is observation-only by default. An explicit `repair` policy authorizes its composed `autodevise` and `autoimplement` path. The monitor checks the target again after repair and stops when the same issue and target evidence return without progress. Project and global workflows can replace the built-in `monitor` by using the same file name.
 
 A monitor occupies the session's one active workflow slot. If its Pi runner
 stops during the shell wait, the run parks and repeats that wait node when a
@@ -162,13 +193,12 @@ runner resumes it.
 
 Because the workflow runs in your current conversation, you can have a long
 discussion first and then trigger a workflow that builds on it. The
-`elegant-solution` example does exactly that. It asks the model for the most
-elegant long-term production-ready solution to the problem you discussed, then
-for the holy grail, then whether the two are the same (y/n). On `y` it routes
-straight into implementation, and on `n` it asks the model to reconcile the
-gap and pauses at a checkpoint for you to decide. In either case, its
-`presentationPrompt` turns the final structured result into a plain assistant
-response.
+`autodevise` example does exactly that. It frames the problem and scope, devises
+an elegant production-ready solution, and compares it with the holy grail. It
+then selects the best practical in-scope solution without asking the user to
+resolve the gap. The ideal can win when it is feasible, but work outside the
+current authority cannot block a valid practical solution. The workflow ends
+with a detailed implementation plan.
 
 ## Watching a run
 
@@ -183,7 +213,7 @@ pi-workflows view --once   # print a snapshot and exit (good for scripts)
 ```
 
 The run detail view draws the workflow as a boxed graph, like the acpx replay
-viewer. Every card has a centered step-name header and a divider above its
+viewer. Included nodes use hierarchical labels such as `implementation › redesign › plan`. Every card has a centered step-name header and a divider above its
 structured metadata. Border characters keep the graph background, the body
 surface begins inside the border, and the header interior uses a separate
 surface. Node type, status, attempts, and timing use compact symbol rows; start
@@ -302,10 +332,14 @@ example set. Copy any of them into `.pi/workflows/` to use them:
   while they run.
 - `two-turn` chains three agent steps that build on each other's outputs in
   the same conversation.
-- `elegant-solution` is the mid-conversation trigger described above.
-- `autoimplement` runs an implement, verify, review loop where the review
-  decision routes `issues_found` back to a fix step until it comes back
-  `clean`, bounded by `maxSteps`.
+- `autodevise` turns the current problem into a chosen practical solution and
+  a detailed implementation plan, using the ideal end state as guidance rather
+  than an out-of-scope requirement.
+- `autoimplement` implements and verifies a plan, writes and runs the exact Pi
+  Reviewer command, tracks P0 through P2, handles PR comments and CI, and
+  finalizes the PR. P0 and P1 fixes require another review. P2-only work is
+  verified without another reviewer round. A five-minute CI wait routes to
+  additional useful local testing.
 - `autoresearch` runs an iterative feature-search loop in the style of
   [karpathy/autoresearch](https://github.com/karpathy/autoresearch): setup
   creates a frozen evaluation harness, one editable feature file, and a

package/dist/builtins/autodevise.workflow.d.ts

@@ -0,0 +1,58 @@
+export type AutodeviseInput = {
+    problem: string;
+    scope?: string;
+    constraints?: string[];
+    previousPlan?: unknown;
+    newEvidence?: unknown;
+};
+export type AutodeviseReady = {
+    status: "ready";
+    frame: unknown;
+    proposal: unknown;
+    ideal: unknown;
+    selection: unknown;
+    plan: unknown;
+    planDigest: string;
+    previousPlanDigest?: string;
+    changed: boolean;
+};
+export type AutodeviseBlocked = {
+    status: "blocked";
+    frame: unknown;
+    proposal: unknown;
+    ideal: unknown;
+    selection: unknown;
+    reason: string;
+};
+export declare const autodeviseWorkflow: import("../workflows/types.js").WorkflowDefinition<AutodeviseInput, {
+    readonly ready: {
+        readonly from: "finalize";
+        readonly validate: (value: unknown) => AutodeviseReady;
+    };
+    readonly blocked: {
+        readonly from: "blocked";
+        readonly validate: (value: unknown) => AutodeviseBlocked;
+    };
+}, import("../workflows/types.js").WorkflowIncludeMap> & {
+    nodes: {
+        readonly frame: import("../workflows/types.js").AgentNodeDefinition;
+        readonly propose: import("../workflows/types.js").AgentNodeDefinition;
+        readonly ideal: import("../workflows/types.js").AgentNodeDefinition;
+        readonly choose: import("../workflows/types.js").AgentNodeDefinition;
+        readonly plan: import("../workflows/types.js").AgentNodeDefinition;
+        readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+        readonly finalize: import("../workflows/types.js").ComputeNodeDefinition;
+    };
+    includes?: import("../workflows/types.js").WorkflowIncludeMap;
+    exits?: {
+        readonly ready: {
+            readonly from: "finalize";
+            readonly validate: (value: unknown) => AutodeviseReady;
+        };
+        readonly blocked: {
+            readonly from: "blocked";
+            readonly validate: (value: unknown) => AutodeviseBlocked;
+        };
+    };
+};
+export default autodeviseWorkflow;

package/dist/builtins/autodevise.workflow.js

@@ -0,0 +1,190 @@
+import { createHash } from "node:crypto";
+import { agent, compute, defineWorkflow } from "../workflows/definition.js";
+function requireRecord(value, label) {
+    if (value === null || typeof value !== "object" || Array.isArray(value)) {
+        throw new Error(`${label} must be an object`);
+    }
+    return value;
+}
+function requireString(value, label) {
+    if (typeof value !== "string" || value.trim().length === 0) {
+        throw new Error(`${label} must be a non-empty string`);
+    }
+    return value.trim();
+}
+function parseInput(value) {
+    const input = requireRecord(value, "autodevise input");
+    const constraints = input.constraints;
+    if (constraints !== undefined &&
+        (!Array.isArray(constraints) || constraints.some((item) => typeof item !== "string"))) {
+        throw new Error("autodevise constraints must be an array of strings");
+    }
+    return {
+        problem: requireString(input.problem, "autodevise problem"),
+        ...(input.scope !== undefined ? { scope: requireString(input.scope, "autodevise scope") } : {}),
+        ...(constraints !== undefined ? { constraints: [...constraints] } : {}),
+        ...(input.previousPlan !== undefined ? { previousPlan: input.previousPlan } : {}),
+        ...(input.newEvidence !== undefined ? { newEvidence: input.newEvidence } : {}),
+    };
+}
+function parseSelection(value) {
+    const selection = requireRecord(value, "autodevise selection");
+    if (selection.status !== "ready" && selection.status !== "blocked") {
+        throw new Error("autodevise selection status must be ready or blocked");
+    }
+    requireString(selection.selected, "autodevise selected solution");
+    requireString(selection.why, "autodevise selection reason");
+    if (selection.status === "blocked")
+        requireString(selection.blocker, "autodevise blocker");
+    return selection;
+}
+function digest(value) {
+    return `sha256:${createHash("sha256").update(JSON.stringify(value)).digest("hex")}`;
+}
+export const autodeviseWorkflow = defineWorkflow({
+    source: import.meta.url,
+    contractId: "pi-workflows.autodevise.v1",
+    name: "autodevise",
+    input: parseInput,
+    title: ({ input }) => `autodevise: ${input.problem.slice(0, 60)}`,
+    presentationPrompt: [
+        "Present the selected practical solution and its implementation plan.",
+        "Briefly state how the ideal informed the choice and what was excluded as outside scope.",
+        "Do not ask the user to choose between the options.",
+    ].join("\n"),
+    startAt: "frame",
+    maxSteps: 10,
+    exits: {
+        ready: {
+            from: "finalize",
+            validate: (value) => value,
+        },
+        blocked: {
+            from: "blocked",
+            validate: (value) => value,
+        },
+    },
+    nodes: {
+        frame: agent({
+            statusDetail: "framing the problem",
+            prompt: ({ input }) => {
+                const request = input;
+                return [
+                    `Frame this problem: ${request.problem}`,
+                    `Authorized scope: ${request.scope ?? "infer it conservatively from the request and current project"}.`,
+                    `Constraints: ${JSON.stringify(request.constraints ?? [])}.`,
+                    `Previous plan: ${JSON.stringify(request.previousPlan ?? null)}.`,
+                    `New evidence: ${JSON.stringify(request.newEvidence ?? null)}.`,
+                    "Identify the goal, observable success criteria, systems in scope, systems outside scope, and interfaces we control.",
+                    "Do not invent permission to change an upstream project, external service, or unrelated repository.",
+                ].join("\n");
+            },
+            expectedOutput: `{ "problem": "concise statement", "success": ["criterion"], "inScope": ["change"], "outOfScope": ["change"], "constraints": ["constraint"], "controlBoundary": "what can change" }`,
+            validate: (value) => requireRecord(value, "autodevise frame"),
+        }),
+        propose: agent({
+            statusDetail: "devising a solution",
+            prompt: ({ outputs }) => [
+                "Devise the most elegant, long-term production-ready solution within the framed scope.",
+                "Prefer a small number of general parts, clear ownership boundaries, and existing public interfaces.",
+                "Avoid one-off mechanisms and unnecessary infrastructure.",
+                "Do not implement anything.",
+                `Problem frame: ${JSON.stringify(outputs.frame)}`,
+            ].join("\n"),
+            expectedOutput: `{ "solution": "proposal", "rationale": "why", "parts": ["part"], "tradeoffs": ["trade-off"] }`,
+            validate: (value) => requireRecord(value, "autodevise proposal"),
+        }),
+        ideal: agent({
+            statusDetail: "describing the ideal end state",
+            prompt: ({ outputs, input }) => [
+                "Set the proposal aside and describe the holy grail for this problem.",
+                "The holy grail can match the proposal or exceed the current scope.",
+                "Name dependencies outside our authority instead of assuming they can change.",
+                "Explain the practical value beyond the proposal.",
+                `Problem frame: ${JSON.stringify(outputs.frame)}`,
+                `Proposal: ${JSON.stringify(outputs.propose)}`,
+                `New evidence: ${JSON.stringify(input.newEvidence ?? null)}`,
+            ].join("\n"),
+            expectedOutput: `{ "ideal": "ideal end state", "outsideDependencies": ["dependency"], "additionalValue": ["benefit"] }`,
+            validate: (value) => requireRecord(value, "autodevise ideal"),
+        }),
+        choose: agent({
+            statusDetail: "choosing the practical solution",
+            prompt: ({ outputs }) => [
+                "Choose the right solution without asking the user to decide.",
+                "Choose the ideal when it is production-ready, proportionate, in scope, and implementable through interfaces we control.",
+                "Otherwise choose the strongest practical in-scope solution with a clear path toward the ideal.",
+                "Do not block only because the ideal depends on work outside our authority.",
+                "Do not make an upstream change, unrelated repository, new service, or unapproved resource a requirement.",
+                "Prefer the simpler choice when options give materially equivalent results.",
+                "Return blocked only when no truthful in-scope solution can meet the success criteria.",
+                `Frame: ${JSON.stringify(outputs.frame)}`,
+                `Proposal: ${JSON.stringify(outputs.propose)}`,
+                `Ideal: ${JSON.stringify(outputs.ideal)}`,
+            ].join("\n"),
+            expectedOutput: `{ "status": "ready" | "blocked", "selected": "solution", "why": "reason", "relationshipToIdeal": "relationship", "excluded": ["excluded work"], "compromises": ["compromise"], "blocker": "required only when blocked" }`,
+            validate: parseSelection,
+        }),
+        plan: agent({
+            timeoutMs: 30 * 60_000,
+            statusDetail: "writing the implementation plan",
+            prompt: ({ outputs, input }) => [
+                "Write a detailed implementation-ready plan for the selected solution.",
+                "Keep every step inside the framed scope and authority.",
+                "For each step, state what changes, where it changes, and how to verify it.",
+                "Include contract changes, compatibility boundaries, tests, rollout or migration work, and failure handling when they apply.",
+                "Use the new evidence to correct the previous plan when one exists.",
+                "Do not implement the plan.",
+                `Frame: ${JSON.stringify(outputs.frame)}`,
+                `Selection: ${JSON.stringify(outputs.choose)}`,
+                `Previous plan: ${JSON.stringify(input.previousPlan ?? null)}`,
+                `New evidence: ${JSON.stringify(input.newEvidence ?? null)}`,
+            ].join("\n"),
+            expectedOutput: `{ "summary": "approach", "steps": [{ "change": "change", "where": "location", "verification": "evidence" }], "contracts": ["impact"], "tests": ["test"], "risks": [{ "risk": "risk", "mitigation": "mitigation" }], "boundaries": ["excluded work"] }`,
+            validate: (value) => requireRecord(value, "autodevise plan"),
+        }),
+        blocked: compute({
+            run: ({ outputs }) => {
+                const selection = outputs.choose;
+                return {
+                    status: "blocked",
+                    frame: outputs.frame,
+                    proposal: outputs.propose,
+                    ideal: outputs.ideal,
+                    selection,
+                    reason: requireString(selection.blocker, "autodevise blocker"),
+                };
+            },
+        }),
+        finalize: compute({
+            run: ({ outputs, input }) => {
+                const request = input;
+                const planDigest = digest(outputs.plan);
+                const previousPlanDigest = request.previousPlan === undefined ? undefined : digest(request.previousPlan);
+                return {
+                    status: "ready",
+                    frame: outputs.frame,
+                    proposal: outputs.propose,
+                    ideal: outputs.ideal,
+                    selection: outputs.choose,
+                    plan: outputs.plan,
+                    planDigest,
+                    ...(previousPlanDigest !== undefined ? { previousPlanDigest } : {}),
+                    changed: previousPlanDigest === undefined || previousPlanDigest !== planDigest,
+                };
+            },
+        }),
+    },
+    edges: [
+        { from: "frame", to: "propose" },
+        { from: "propose", to: "ideal" },
+        { from: "ideal", to: "choose" },
+        {
+            from: "choose",
+            switch: { on: "$.status", cases: { ready: "plan", blocked: "blocked" } },
+        },
+        { from: "plan", to: "finalize" },
+    ],
+});
+export default autodeviseWorkflow;
+//# sourceMappingURL=autodevise.workflow.js.map

package/dist/builtins/autodevise.workflow.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"autodevise.workflow.js","sourceRoot":"","sources":["../../src/builtins/autodevise.workflow.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AA+B5E,SAAS,aAAa,CAAC,KAAc,EAAE,KAAa;IAClD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,oBAAoB,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,KAAgC,CAAC;AAC1C,CAAC;AAED,SAAS,aAAa,CAAC,KAAc,EAAE,KAAa;IAClD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,6BAA6B,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC;AACtB,CAAC;AAED,SAAS,UAAU,CAAC,KAAc;IAChC,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC;IACvD,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC;IACtC,IACE,WAAW,KAAK,SAAS;QACzB,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,EACrF,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IACxE,CAAC;IACD,OAAO;QACL,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC,OAAO,EAAE,oBAAoB,CAAC;QAC3D,GAAG,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,EAAE,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/F,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,GAAG,WAAW,CAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnF,GAAG,CAAC,KAAK,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjF,GAAG,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC/E,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,EAAE,sBAAsB,CAAC,CAAC;IAC/D,IAAI,SAAS,CAAC,MAAM,KAAK,OAAO,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACnE,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,CAAC;IACD,aAAa,CAAC,SAAS,CAAC,QAAQ,EAAE,8BAA8B,CAAC,CAAC;IAClE,aAAa,CAAC,SAAS,CAAC,GAAG,EAAE,6BAA6B,CAAC,CAAC;IAC5D,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS;QAAE,aAAa,CAAC,SAAS,CAAC,OAAO,EAAE,oBAAoB,CAAC,CAAC;IAC3F,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,MAAM,CAAC,KAAc;IAC5B,OAAO,UAAU,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AACtF,CAAC;AAED,MAAM,CAAC,MAAM,kBAAkB,GAAG,cAAc,CAAC;IAC/C,MAAM,EAAE,OAAO,IAAI,CAAC,GAAG;IACvB,UAAU,EAAE,4BAA4B;IACxC,IAAI,EAAE,YAAY;IAClB,KAAK,EAAE,UAAU;IACjB,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,eAAe,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;IACjE,kBAAkB,EAAE;QAClB,sEAAsE;QACtE,yFAAyF;QACzF,oDAAoD;KACrD,CAAC,IAAI,CAAC,IAAI,CAAC;IACZ,OAAO,EAAE,OAAO;IAChB,QAAQ,EAAE,EAAE;IACZ,KAAK,EAAE;QACL,KAAK,EAAE;YACL,IAAI,EAAE,UAAU;YAChB,QAAQ,EAAE,CAAC,KAAc,EAAmB,EAAE,CAAC,KAAwB;SACxE;QACD,OAAO,EAAE;YACP,IAAI,EAAE,SAAS;YACf,QAAQ,EAAE,CAAC,KAAc,EAAqB,EAAE,CAAC,KAA0B;SAC5E;KACF;IACD,KAAK,EAAE;QACL,KAAK,EAAE,KAAK,CAAC;YACX,YAAY,EAAE,qBAAqB;YACnC,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE;gBACpB,MAAM,OAAO,GAAG,KAAwB,CAAC;gBACzC,OAAO;oBACL,uBAAuB,OAAO,CAAC,OAAO,EAAE;oBACxC,qBAAqB,OAAO,CAAC,KAAK,IAAI,8DAA8D,GAAG;oBACvG,gBAAgB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,WAAW,IAAI,EAAE,CAAC,GAAG;oBAC5D,kBAAkB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,YAAY,IAAI,IAAI,CAAC,GAAG;oBACjE,iBAAiB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,WAAW,IAAI,IAAI,CAAC,GAAG;oBAC/D,qHAAqH;oBACrH,oGAAoG;iBACrG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACf,CAAC;YACD,cAAc,EAAE,oLAAoL;YACpM,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE,kBAAkB,CAAC;SAC9D,CAAC;QACF,OAAO,EAAE,KAAK,CAAC;YACb,YAAY,EAAE,qBAAqB;YACnC,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CACtB;gBACE,uFAAuF;gBACvF,qGAAqG;gBACrG,0DAA0D;gBAC1D,4BAA4B;gBAC5B,kBAAkB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;aAClD,CAAC,IAAI,CAAC,IAAI,CAAC;YACd,cAAc,EAAE,+FAA+F;YAC/G,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE,qBAAqB,CAAC;SACjE,CAAC;QACF,KAAK,EAAE,KAAK,CAAC;YACX,YAAY,EAAE,gCAAgC;YAC9C,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAC7B;gBACE,sEAAsE;gBACtE,oEAAoE;gBACpE,8EAA8E;gBAC9E,kDAAkD;gBAClD,kBAAkB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;gBACjD,aAAa,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;gBAC9C,iBAAiB,IAAI,CAAC,SAAS,CAAE,KAAyB,CAAC,WAAW,IAAI,IAAI,CAAC,EAAE;aAClF,CAAC,IAAI,CAAC,IAAI,CAAC;YACd,cAAc,EAAE,uGAAuG;YACvH,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE,kBAAkB,CAAC;SAC9D,CAAC;QACF,MAAM,EAAE,KAAK,CAAC;YACZ,YAAY,EAAE,iCAAiC;YAC/C,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CACtB;gBACE,8DAA8D;gBAC9D,yHAAyH;gBACzH,gGAAgG;gBAChG,4EAA4E;gBAC5E,0GAA0G;gBAC1G,4EAA4E;gBAC5E,uFAAuF;gBACvF,UAAU,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;gBACzC,aAAa,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE;gBAC9C,UAAU,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;aAC1C,CAAC,IAAI,CAAC,IAAI,CAAC;YACd,cAAc,EAAE,0NAA0N;YAC1O,QAAQ,EAAE,cAAc;SACzB,CAAC;QACF,IAAI,EAAE,KAAK,CAAC;YACV,SAAS,EAAE,EAAE,GAAG,MAAM;YACtB,YAAY,EAAE,iCAAiC;YAC/C,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAC7B;gBACE,uEAAuE;gBACvE,wDAAwD;gBACxD,4EAA4E;gBAC5E,6HAA6H;gBAC7H,oEAAoE;gBACpE,4BAA4B;gBAC5B,UAAU,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;gBACzC,cAAc,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;gBAC9C,kBAAkB,IAAI,CAAC,SAAS,CAAE,KAAyB,CAAC,YAAY,IAAI,IAAI,CAAC,EAAE;gBACnF,iBAAiB,IAAI,CAAC,SAAS,CAAE,KAAyB,CAAC,WAAW,IAAI,IAAI,CAAC,EAAE;aAClF,CAAC,IAAI,CAAC,IAAI,CAAC;YACd,cAAc,EAAE,uPAAuP;YACvQ,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE,iBAAiB,CAAC;SAC7D,CAAC;QACF,OAAO,EAAE,OAAO,CAAC;YACf,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE;gBACnB,MAAM,SAAS,GAAG,OAAO,CAAC,MAAiC,CAAC;gBAC5D,OAAO;oBACL,MAAM,EAAE,SAAS;oBACjB,KAAK,EAAE,OAAO,CAAC,KAAK;oBACpB,QAAQ,EAAE,OAAO,CAAC,OAAO;oBACzB,KAAK,EAAE,OAAO,CAAC,KAAK;oBACpB,SAAS;oBACT,MAAM,EAAE,aAAa,CAAC,SAAS,CAAC,OAAO,EAAE,oBAAoB,CAAC;iBACnC,CAAC;YAChC,CAAC;SACF,CAAC;QACF,QAAQ,EAAE,OAAO,CAAC;YAChB,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE;gBAC1B,MAAM,OAAO,GAAG,KAAwB,CAAC;gBACzC,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBACxC,MAAM,kBAAkB,GACtB,OAAO,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;gBAChF,OAAO;oBACL,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,OAAO,CAAC,KAAK;oBACpB,QAAQ,EAAE,OAAO,CAAC,OAAO;oBACzB,KAAK,EAAE,OAAO,CAAC,KAAK;oBACpB,SAAS,EAAE,OAAO,CAAC,MAAM;oBACzB,IAAI,EAAE,OAAO,CAAC,IAAI;oBAClB,UAAU;oBACV,GAAG,CAAC,kBAAkB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACnE,OAAO,EAAE,kBAAkB,KAAK,SAAS,IAAI,kBAAkB,KAAK,UAAU;iBACrD,CAAC;YAC9B,CAAC;SACF,CAAC;KACH;IACD,KAAK,EAAE;QACL,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE;QAChC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE;QAChC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE;QAC/B;YACE,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,EAAE,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE;SACzE;QACD,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE;KACjC;CACF,CAAC,CAAC;AAEH,eAAe,kBAAkB,CAAC"}

package/dist/builtins/autoimplement.workflow.d.ts

@@ -0,0 +1,154 @@
+import { type AutodeviseInput } from "./autodevise.workflow.js";
+export type AutoimplementInput = {
+    task: string;
+    plan?: unknown;
+    scope?: string;
+    constraints?: string[];
+    repository?: string;
+    baseBranch?: string;
+    merge?: boolean;
+};
+type ReviewFinding = {
+    severity: "P0" | "P1" | "P2" | "lower";
+    kind: "design" | "implementation";
+    summary: string;
+};
+type ReviewAssessment = {
+    route: "critical" | "p2" | "clean" | "command_error";
+    invocationSucceeded: boolean;
+    p0: ReviewFinding[];
+    p1: ReviewFinding[];
+    p2: ReviewFinding[];
+    lower: ReviewFinding[];
+    reason: string;
+};
+export type AutoimplementCompleted = {
+    status: "completed";
+    task: string;
+    plan: unknown;
+    implementation: unknown;
+    verification: unknown;
+    reviewRounds: ReviewAssessment[];
+    ci: unknown;
+    delivery: unknown;
+};
+export type AutoimplementBlocked = {
+    status: "blocked";
+    task: string;
+    reason: string;
+    evidence: unknown;
+};
+export declare const autoimplementWorkflow: import("../workflows/types.js").WorkflowDefinition<AutoimplementInput, {
+    readonly completed: {
+        readonly from: "finalize";
+        readonly validate: (value: unknown) => AutoimplementCompleted;
+    };
+    readonly blocked: {
+        readonly from: "blocked";
+        readonly validate: (value: unknown) => AutoimplementBlocked;
+    };
+}, {
+    readonly redesign: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<AutodeviseInput, {
+        readonly ready: {
+            readonly from: "finalize";
+            readonly validate: (value: unknown) => import("./autodevise.workflow.js").AutodeviseReady;
+        };
+        readonly blocked: {
+            readonly from: "blocked";
+            readonly validate: (value: unknown) => import("./autodevise.workflow.js").AutodeviseBlocked;
+        };
+    }, import("../workflows/types.js").WorkflowIncludeMap> & {
+        nodes: {
+            readonly frame: import("../workflows/types.js").AgentNodeDefinition;
+            readonly propose: import("../workflows/types.js").AgentNodeDefinition;
+            readonly ideal: import("../workflows/types.js").AgentNodeDefinition;
+            readonly choose: import("../workflows/types.js").AgentNodeDefinition;
+            readonly plan: import("../workflows/types.js").AgentNodeDefinition;
+            readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+            readonly finalize: import("../workflows/types.js").ComputeNodeDefinition;
+        };
+        includes?: import("../workflows/types.js").WorkflowIncludeMap;
+        exits?: {
+            readonly ready: {
+                readonly from: "finalize";
+                readonly validate: (value: unknown) => import("./autodevise.workflow.js").AutodeviseReady;
+            };
+            readonly blocked: {
+                readonly from: "blocked";
+                readonly validate: (value: unknown) => import("./autodevise.workflow.js").AutodeviseBlocked;
+            };
+        };
+    }>;
+}> & {
+    nodes: {
+        readonly prepare: import("../workflows/types.js").ComputeNodeDefinition;
+        readonly adoptPlan: import("../workflows/types.js").ComputeNodeDefinition;
+        readonly implement: import("../workflows/types.js").AgentNodeDefinition;
+        readonly classifyImplementation: import("../workflows/types.js").AgentNodeDefinition;
+        readonly verify: import("../workflows/types.js").AgentNodeDefinition;
+        readonly classifyVerification: import("../workflows/types.js").AgentNodeDefinition;
+        readonly fix: import("../workflows/types.js").AgentNodeDefinition;
+        readonly publish: import("../workflows/types.js").AgentNodeDefinition;
+        readonly authorReviewCommand: import("../workflows/types.js").AgentNodeDefinition;
+        readonly runReview: import("../workflows/types.js").ShellActionNodeDefinition;
+        readonly repairReviewCommand: import("../workflows/types.js").AgentNodeDefinition;
+        readonly assessReview: import("../workflows/types.js").AgentNodeDefinition;
+        readonly triageReview: import("../workflows/types.js").ComputeNodeDefinition;
+        readonly addressP2: import("../workflows/types.js").AgentNodeDefinition;
+        readonly verifyP2: import("../workflows/types.js").AgentNodeDefinition;
+        readonly inspectComments: import("../workflows/types.js").AgentNodeDefinition;
+        readonly inspectCi: import("../workflows/types.js").AgentNodeDefinition;
+        readonly trackCi: import("../workflows/types.js").ShellActionNodeDefinition;
+        readonly repairCiCommand: import("../workflows/types.js").AgentNodeDefinition;
+        readonly assessTrackedCi: import("../workflows/types.js").AgentNodeDefinition;
+        readonly opportunisticTest: import("../workflows/types.js").AgentNodeDefinition;
+        readonly classifyCi: import("../workflows/types.js").AgentNodeDefinition;
+        readonly finalizeDelivery: import("../workflows/types.js").AgentNodeDefinition;
+        readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+        readonly finalize: import("../workflows/types.js").ComputeNodeDefinition;
+    };
+    includes?: {
+        readonly redesign: import("../workflows/types.js").WorkflowIncludeDefinition<import("../workflows/types.js").WorkflowDefinition<AutodeviseInput, {
+            readonly ready: {
+                readonly from: "finalize";
+                readonly validate: (value: unknown) => import("./autodevise.workflow.js").AutodeviseReady;
+            };
+            readonly blocked: {
+                readonly from: "blocked";
+                readonly validate: (value: unknown) => import("./autodevise.workflow.js").AutodeviseBlocked;
+            };
+        }, import("../workflows/types.js").WorkflowIncludeMap> & {
+            nodes: {
+                readonly frame: import("../workflows/types.js").AgentNodeDefinition;
+                readonly propose: import("../workflows/types.js").AgentNodeDefinition;
+                readonly ideal: import("../workflows/types.js").AgentNodeDefinition;
+                readonly choose: import("../workflows/types.js").AgentNodeDefinition;
+                readonly plan: import("../workflows/types.js").AgentNodeDefinition;
+                readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+                readonly finalize: import("../workflows/types.js").ComputeNodeDefinition;
+            };
+            includes?: import("../workflows/types.js").WorkflowIncludeMap;
+            exits?: {
+                readonly ready: {
+                    readonly from: "finalize";
+                    readonly validate: (value: unknown) => import("./autodevise.workflow.js").AutodeviseReady;
+                };
+                readonly blocked: {
+                    readonly from: "blocked";
+                    readonly validate: (value: unknown) => import("./autodevise.workflow.js").AutodeviseBlocked;
+                };
+            };
+        }>;
+    };
+    exits?: {
+        readonly completed: {
+            readonly from: "finalize";
+            readonly validate: (value: unknown) => AutoimplementCompleted;
+        };
+        readonly blocked: {
+            readonly from: "blocked";
+            readonly validate: (value: unknown) => AutoimplementBlocked;
+        };
+    };
+};
+export default autoimplementWorkflow;