@osolmaz/pi-workflows 0.13.0 → 0.13.2

package/dist/builtins/catalog.js

@@ -7,12 +7,12 @@ import plainSummaryWorkflow from "./plain-summary.workflow.js";
 import planApprovalWorkflow from "./plan-approval.workflow.js";
 import sanityCheckWorkflow from "./sanity-check.workflow.js";
 export const builtinWorkflowCatalog = new BuiltinWorkflowCatalog([
-    { id: "plain-summary", revision: "1", definition: plainSummaryWorkflow },
-    { id: "autoplan", revision: "2", definition: autoplanWorkflow },
-    { id: "autodoc", revision: "1", definition: autodocWorkflow },
-    { id: "autoimplement", revision: "9", definition: autoimplementWorkflow },
+    { id: "plain-summary", revision: "3", definition: plainSummaryWorkflow },
+    { id: "autoplan", revision: "5", definition: autoplanWorkflow },
+    { id: "autodoc", revision: "2", definition: autodocWorkflow },
+    { id: "autoimplement", revision: "10", definition: autoimplementWorkflow },
     { id: "plan-approval", revision: "4", definition: planApprovalWorkflow },
-    { id: "sanity-check", revision: "4", definition: sanityCheckWorkflow },
+    { id: "sanity-check", revision: "6", definition: sanityCheckWorkflow },
     {
         id: "monitor",
         revision: "11",

package/dist/builtins/catalog.js.map

@@ -1 +1 @@
-{"version":3,"file":"catalog.js","sourceRoot":"","sources":["../../src/builtins/catalog.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,eAAe,MAAM,uBAAuB,CAAC;AACpD,OAAO,qBAAqB,MAAM,6BAA6B,CAAC;AAChE,OAAO,gBAAgB,MAAM,wBAAwB,CAAC;AACtD,OAAO,eAAe,MAAM,uBAAuB,CAAC;AACpD,OAAO,oBAAoB,MAAM,6BAA6B,CAAC;AAC/D,OAAO,oBAAoB,MAAM,6BAA6B,CAAC;AAC/D,OAAO,mBAAmB,MAAM,4BAA4B,CAAC;AAE7D,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,sBAAsB,CAAC;IAC/D,EAAE,EAAE,EAAE,eAAe,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,oBAAoB,EAAE;IACxE,EAAE,EAAE,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,gBAAgB,EAAE;IAC/D,EAAE,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,eAAe,EAAE;IAC7D,EAAE,EAAE,EAAE,eAAe,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,qBAAqB,EAAE;IACzE,EAAE,EAAE,EAAE,eAAe,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,oBAAoB,EAAE;IACxE,EAAE,EAAE,EAAE,cAAc,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,mBAAmB,EAAE;IACtE;QACE,EAAE,EAAE,SAAS;QACb,QAAQ,EAAE,IAAI;QACd,UAAU,EAAE,eAAe;QAC3B,aAAa,EAAE;YACb;gBACE,YAAY,EAAE,kEAAkE;gBAChF,QAAQ,EAAE,GAAG;gBACb,YAAY,EAAE;oBACZ,mCAAmC;oBACnC,oCAAoC;oBACpC,oCAAoC;oBACpC,qCAAqC;iBACtC;aACF;YACD;gBACE,YAAY,EAAE,kEAAkE;gBAChF,QAAQ,EAAE,GAAG;gBACb,YAAY,EAAE,CAAC,oCAAoC,CAAC;aACrD;YACD;gBACE,YAAY,EAAE,kEAAkE;gBAChF,QAAQ,EAAE,GAAG;gBACb,YAAY,EAAE,CAAC,oCAAoC,CAAC;aACrD;SACF;KACF;CACF,CAAC,CAAC"}
+{"version":3,"file":"catalog.js","sourceRoot":"","sources":["../../src/builtins/catalog.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,eAAe,MAAM,uBAAuB,CAAC;AACpD,OAAO,qBAAqB,MAAM,6BAA6B,CAAC;AAChE,OAAO,gBAAgB,MAAM,wBAAwB,CAAC;AACtD,OAAO,eAAe,MAAM,uBAAuB,CAAC;AACpD,OAAO,oBAAoB,MAAM,6BAA6B,CAAC;AAC/D,OAAO,oBAAoB,MAAM,6BAA6B,CAAC;AAC/D,OAAO,mBAAmB,MAAM,4BAA4B,CAAC;AAE7D,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,sBAAsB,CAAC;IAC/D,EAAE,EAAE,EAAE,eAAe,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,oBAAoB,EAAE;IACxE,EAAE,EAAE,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,gBAAgB,EAAE;IAC/D,EAAE,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,eAAe,EAAE;IAC7D,EAAE,EAAE,EAAE,eAAe,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,qBAAqB,EAAE;IAC1E,EAAE,EAAE,EAAE,eAAe,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,oBAAoB,EAAE;IACxE,EAAE,EAAE,EAAE,cAAc,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,mBAAmB,EAAE;IACtE;QACE,EAAE,EAAE,SAAS;QACb,QAAQ,EAAE,IAAI;QACd,UAAU,EAAE,eAAe;QAC3B,aAAa,EAAE;YACb;gBACE,YAAY,EAAE,kEAAkE;gBAChF,QAAQ,EAAE,GAAG;gBACb,YAAY,EAAE;oBACZ,mCAAmC;oBACnC,oCAAoC;oBACpC,oCAAoC;oBACpC,qCAAqC;iBACtC;aACF;YACD;gBACE,YAAY,EAAE,kEAAkE;gBAChF,QAAQ,EAAE,GAAG;gBACb,YAAY,EAAE,CAAC,oCAAoC,CAAC;aACrD;YACD;gBACE,YAAY,EAAE,kEAAkE;gBAChF,QAAQ,EAAE,GAAG;gBACb,YAAY,EAAE,CAAC,oCAAoC,CAAC;aACrD;SACF;KACF;CACF,CAAC,CAAC"}

package/dist/builtins/change-verification.workflow.d.ts

@@ -0,0 +1,110 @@
+import { type CommandBatchItem, type CommandBatchResult } from "../workflows/command-batch.js";
+import { type PreparedWorkspace } from "./workspace-preparation.workflow.js";
+export declare const CHANGE_VERIFICATION_SCHEMA = "pi-workflows.change-verification.v1";
+export type FindingFormat = "text" | "json";
+export type MechanicalFix = {
+    command: string;
+    args: string[];
+    files: string[];
+    timeoutMs: number;
+    maxOutputChars: number;
+    expectedDiff: string;
+};
+export type VerificationCheck = CommandBatchItem & {
+    readOnly: boolean;
+    baseEligible: boolean;
+    changedFileScope: boolean;
+    findingFormat: FindingFormat;
+    mechanicalFix?: MechanicalFix;
+};
+export type VerificationFinding = {
+    checkId: string;
+    kind: "related" | "unrelated" | "fixedBaseline" | "unknown" | "untested";
+    summary: string;
+    fingerprint: string;
+    candidateOutputRef?: string;
+    baseOutputRef?: string;
+};
+export type RepairAttempt = {
+    attempt: number;
+    kind: "mechanical" | "semantic" | "judgment";
+    fingerprint: string;
+    changedFiles: string[];
+    result: string;
+};
+export type ChangeVerificationResult = {
+    schema: typeof CHANGE_VERIFICATION_SCHEMA;
+    route: "ready" | "repairable" | "needsJudgment" | "blocked";
+    originatingWorkflow: string;
+    qualifiedNode: string;
+    workspace: PreparedWorkspace;
+    changedFiles: string[];
+    candidateCommands: CommandBatchResult | null;
+    baseCommands: CommandBatchResult | null;
+    relatedFailures: VerificationFinding[];
+    unrelatedFailures: VerificationFinding[];
+    fixedBaselineFailures: VerificationFinding[];
+    unknownFailures: VerificationFinding[];
+    untestedChecks: VerificationFinding[];
+    repairAttempts: RepairAttempt[];
+    failureFingerprint: string;
+    outputReferences: string[];
+    reason: string;
+    evidence: string[];
+};
+export type ChangeVerificationInput = {
+    originatingWorkflow: string;
+    qualifiedNode: string;
+    workspace: PreparedWorkspace;
+    checks?: VerificationCheck[];
+    changedFiles?: string[];
+    untested?: string[];
+    plan?: unknown;
+    maxConcurrency?: number;
+};
+type ExecutionState = {
+    checks: VerificationCheck[];
+    candidate: CommandBatchResult;
+    base: CommandBatchResult;
+    baseEvidence: string[];
+    cleanupEvidence: string[];
+    repairAttempts: RepairAttempt[];
+};
+export declare function parseChangeVerificationInput(value: unknown): ChangeVerificationInput;
+export declare function classifyVerification(input: ChangeVerificationInput, state: ExecutionState): ChangeVerificationResult;
+export declare const changeVerificationWorkflow: import("../workflows/types.js").WorkflowDefinition<ChangeVerificationInput, {
+    readonly ready: {
+        readonly from: "ready";
+        readonly validate: (value: unknown) => ChangeVerificationResult;
+    };
+    readonly blocked: {
+        readonly from: "blocked";
+        readonly validate: (value: unknown) => ChangeVerificationResult;
+    };
+}, import("../workflows/types.js").WorkflowIncludeMap> & {
+    nodes: {
+        readonly selectChecks: import("../workflows/types.js").ComputeNodeDefinition;
+        readonly planChecks: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+        readonly runCandidate: import("../workflows/types.js").FunctionActionNodeDefinition;
+        readonly runBase: import("../workflows/types.js").FunctionActionNodeDefinition;
+        readonly classify: import("../workflows/types.js").ComputeNodeDefinition;
+        readonly repairGuard: import("../workflows/types.js").ComputeNodeDefinition;
+        readonly mechanicalRepair: import("../workflows/types.js").FunctionActionNodeDefinition;
+        readonly semanticRepair: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+        readonly judge: import("../workflows/types.js").SubmittedAgentNodeDefinition;
+        readonly ready: import("../workflows/types.js").ComputeNodeDefinition;
+        readonly blocked: import("../workflows/types.js").ComputeNodeDefinition;
+    };
+    includes?: import("../workflows/types.js").WorkflowIncludeMap;
+    exits?: {
+        readonly ready: {
+            readonly from: "ready";
+            readonly validate: (value: unknown) => ChangeVerificationResult;
+        };
+        readonly blocked: {
+            readonly from: "blocked";
+            readonly validate: (value: unknown) => ChangeVerificationResult;
+        };
+    };
+};
+export default changeVerificationWorkflow;