@abelxiaoxing/cadence 1.4.0 → 1.5.0

package/config/plan-draft.multiple-tasks.example.json

@@ -0,0 +1,345 @@
+{
+  "changeContract": {
+    "goal": "Fix integer addition and doubling through add",
+    "acceptance": [
+      {
+        "id": "integer-addition",
+        "statement": "add(2, 3) returns 5 and add(0, 0) remains 0",
+        "verification": {
+          "kind": "static-check",
+          "id": "add-acceptance",
+          "runner": {
+            "kind": "node",
+            "script": "test/add.test.mjs"
+          },
+          "args": [],
+          "classification": "expected-green"
+        }
+      },
+      {
+        "id": "integer-double",
+        "statement": "double(3) returns 6 via add(3, 3)",
+        "verification": {
+          "kind": "steps",
+          "id": "double-green",
+          "classification": "expected-green",
+          "steps": [
+            {
+              "kind": "static-check",
+              "id": "double-green-add",
+              "runner": {
+                "kind": "node",
+                "script": "test/add.test.mjs"
+              },
+              "args": [],
+              "classification": "expected-green"
+            },
+            {
+              "kind": "static-check",
+              "id": "double-green-own",
+              "runner": {
+                "kind": "node",
+                "script": "test/double.test.mjs"
+              },
+              "args": [],
+              "classification": "expected-green"
+            }
+          ]
+        }
+      }
+    ],
+    "constraints": [
+      {
+        "id": "no-dependencies",
+        "statement": "Keep the existing function signature and add no dependencies"
+      }
+    ],
+    "policy": {
+      "writeRoots": [
+        "src/add.mjs",
+        "test/add.test.mjs",
+        "src/double.mjs",
+        "test/double.test.mjs"
+      ],
+      "dependencies": [],
+      "verificationModes": ["behavior"]
+    }
+  },
+  "changeId": "fix-add-and-double",
+  "tasks": [
+    {
+      "taskId": "fix-add",
+      "dependsOn": [],
+      "objective": "Preserve the existing zero assertion; add a failing positive-integer assertion with [ADD:positive-integers], then fix addition",
+      "context": {
+        "agents": "No AGENTS.md in this example consumer; use the actual repository instructions when adapting",
+        "contract": "Gate A integer-addition acceptance; only src/add.mjs and test/add.test.mjs may change"
+      },
+      "roots": ["."],
+      "phases": {
+        "red": {
+          "write": ["test/add.test.mjs"],
+          "delete": [],
+          "verification": {
+            "use": "add-test",
+            "expectedFailure": "[ADD:positive-integers]"
+          }
+        },
+        "green": {
+          "write": ["src/add.mjs"],
+          "delete": [],
+          "verification": {
+            "use": "add-test"
+          }
+        }
+      },
+      "affectedVerification": {
+        "use": "add-test"
+      },
+      "repairVerification": {
+        "use": "add-test"
+      },
+      "scheduling": {
+        "conflicts": [],
+        "resources": []
+      },
+      "agents": {
+        "impact": "none"
+      },
+      "approvedDependencies": [],
+      "impactClosure": {
+        "changedSurfaces": ["none"],
+        "searchEvidence": [
+          "Example consumer: src/add.mjs exports add; test/add.test.mjs is its only caller and existing test"
+        ],
+        "relatedTests": [
+          {
+            "path": "test/add.test.mjs",
+            "evidence": "Existing add(0, 0) assertion passes; preserve it while adding the positive-integer regression"
+          }
+        ],
+        "affectedSuite": ["test/add.test.mjs"]
+      },
+      "read": ["package.json", "src/add.mjs", "test/add.test.mjs"]
+    },
+    {
+      "taskId": "fix-double",
+      "dependsOn": ["fix-add"],
+      "objective": "Keep double(0) passing; add the [DOUBLE:positive-integers] failure then use add(value, value)",
+      "context": {
+        "agents": "No AGENTS.md in this example consumer; use the actual repository instructions when adapting",
+        "contract": "Gate A integer-double acceptance; depends on corrected addition"
+      },
+      "roots": ["."],
+      "phases": {
+        "red": {
+          "write": ["test/double.test.mjs"],
+          "delete": [],
+          "verification": {
+            "kind": "steps",
+            "id": "double-red",
+            "classification": "expected-red",
+            "steps": [
+              {
+                "kind": "static-check",
+                "id": "double-red-add",
+                "runner": {
+                  "kind": "node",
+                  "script": "test/add.test.mjs"
+                },
+                "args": [],
+                "classification": "expected-green"
+              },
+              {
+                "kind": "static-check",
+                "id": "double-red-own",
+                "runner": {
+                  "kind": "node",
+                  "script": "test/double.test.mjs"
+                },
+                "args": [],
+                "classification": "expected-red",
+                "expectedFailure": "[DOUBLE:positive-integers]"
+              }
+            ]
+          }
+        },
+        "green": {
+          "write": ["src/double.mjs"],
+          "delete": [],
+          "verification": {
+            "kind": "steps",
+            "id": "double-green",
+            "classification": "expected-green",
+            "steps": [
+              {
+                "kind": "static-check",
+                "id": "double-green-add",
+                "runner": {
+                  "kind": "node",
+                  "script": "test/add.test.mjs"
+                },
+                "args": [],
+                "classification": "expected-green"
+              },
+              {
+                "kind": "static-check",
+                "id": "double-green-own",
+                "runner": {
+                  "kind": "node",
+                  "script": "test/double.test.mjs"
+                },
+                "args": [],
+                "classification": "expected-green"
+              }
+            ]
+          }
+        }
+      },
+      "affectedVerification": {
+        "kind": "steps",
+        "id": "double-affectedVerification",
+        "classification": "expected-green",
+        "steps": [
+          {
+            "kind": "static-check",
+            "id": "double-green-add-affectedVerification",
+            "runner": {
+              "kind": "node",
+              "script": "test/add.test.mjs"
+            },
+            "args": [],
+            "classification": "expected-green"
+          },
+          {
+            "kind": "static-check",
+            "id": "double-green-own-affectedVerification",
+            "runner": {
+              "kind": "node",
+              "script": "test/double.test.mjs"
+            },
+            "args": [],
+            "classification": "expected-green"
+          }
+        ]
+      },
+      "repairVerification": {
+        "kind": "steps",
+        "id": "double-repairVerification",
+        "classification": "expected-green",
+        "steps": [
+          {
+            "kind": "static-check",
+            "id": "double-green-add-repairVerification",
+            "runner": {
+              "kind": "node",
+              "script": "test/add.test.mjs"
+            },
+            "args": [],
+            "classification": "expected-green"
+          },
+          {
+            "kind": "static-check",
+            "id": "double-green-own-repairVerification",
+            "runner": {
+              "kind": "node",
+              "script": "test/double.test.mjs"
+            },
+            "args": [],
+            "classification": "expected-green"
+          }
+        ]
+      },
+      "scheduling": {
+        "conflicts": [],
+        "resources": []
+      },
+      "agents": {
+        "impact": "none"
+      },
+      "approvedDependencies": [],
+      "impactClosure": {
+        "changedSurfaces": ["none"],
+        "searchEvidence": [
+          "Example consumer: double imports add; each has an existing zero assertion; all.test.mjs imports both test files"
+        ],
+        "relatedTests": [
+          {
+            "path": "test/add.test.mjs",
+            "evidence": "Producer task owns the addition regression, checked before the double regression"
+          },
+          {
+            "path": "test/double.test.mjs",
+            "evidence": "Preserve the existing double(0) assertion while adding double(3)"
+          }
+        ],
+        "affectedSuite": ["test/add.test.mjs", "test/double.test.mjs"]
+      },
+      "read": [
+        "package.json",
+        "src/add.mjs",
+        "test/add.test.mjs",
+        "src/double.mjs",
+        "test/double.test.mjs"
+      ]
+    }
+  ],
+  "outputs": [
+    {
+      "id": "add-regression",
+      "path": "test/add.test.mjs",
+      "producer": {
+        "taskId": "fix-add",
+        "phase": "red"
+      },
+      "postcondition": "regular-file"
+    }
+  ],
+  "verification": {
+    "baseline": {
+      "fullSuite": {
+        "use": "full-suite"
+      }
+    },
+    "change": {
+      "fullSuite": {
+        "use": "full-suite"
+      },
+      "postApply": {
+        "use": "full-suite"
+      }
+    },
+    "artifactCorrection": {
+      "maxAttempts": 2
+    },
+    "repair": {
+      "maxAttempts": 1
+    }
+  },
+  "verificationDefinitions": {
+    "add-test": {
+      "kind": "static-check",
+      "runner": {
+        "kind": "node",
+        "script": "test/add.test.mjs"
+      },
+      "args": []
+    },
+    "full-suite": {
+      "kind": "static-check",
+      "runner": {
+        "kind": "node",
+        "script": "test/all.test.mjs"
+      },
+      "args": []
+    },
+    "double-test": {
+      "kind": "static-check",
+      "runner": {
+        "kind": "node",
+        "script": "test/double.test.mjs"
+      },
+      "args": []
+    }
+  }
+}

package/config/plan-draft.quick.example.json

@@ -0,0 +1,78 @@
+{
+  "changeId": "fix-integer-addition",
+  "changeContract": {
+    "goal": "Fix integer addition while preserving the existing zero case",
+    "acceptance": [
+      {
+        "id": "integer-addition",
+        "statement": "add(2, 3) returns 5 and add(0, 0) remains 0",
+        "verification": {
+          "kind": "static-check",
+          "id": "add-acceptance",
+          "runner": {
+            "kind": "node",
+            "script": "test/add.test.mjs"
+          },
+          "args": [],
+          "classification": "expected-green"
+        }
+      }
+    ],
+    "constraints": [
+      {
+        "id": "no-dependencies",
+        "statement": "Keep the existing function signature and add no dependencies"
+      }
+    ],
+    "policy": {
+      "writeRoots": ["src/add.mjs", "test/add.test.mjs"],
+      "dependencies": [],
+      "verificationModes": ["behavior"]
+    }
+  },
+  "singleTask": {
+    "taskId": "fix-add",
+    "objective": "Preserve the existing zero assertion; add a failing positive-integer assertion with [ADD:positive-integers], then fix addition",
+    "context": {
+      "agents": "No AGENTS.md in this example consumer; use the actual repository instructions when adapting",
+      "contract": "Gate A integer-addition acceptance; only src/add.mjs and test/add.test.mjs may change"
+    },
+    "roots": ["."],
+    "read": ["package.json", "src/add.mjs", "test/add.test.mjs"],
+    "impactClosure": {
+      "changedSurfaces": ["none"],
+      "searchEvidence": [
+        "Example consumer: src/add.mjs exports add; test/add.test.mjs is its only caller and existing test"
+      ],
+      "relatedTests": [
+        {
+          "path": "test/add.test.mjs",
+          "evidence": "Existing add(0, 0) assertion passes; preserve it while adding the positive-integer regression"
+        }
+      ],
+      "affectedSuite": ["test/add.test.mjs"]
+    },
+    "agents": {
+      "impact": "none"
+    },
+    "greenWrite": ["src/add.mjs"],
+    "redWrite": ["test/add.test.mjs"],
+    "expectedFailure": "[ADD:positive-integers]",
+    "verification": {
+      "kind": "static-check",
+      "runner": {
+        "kind": "node",
+        "script": "test/add.test.mjs"
+      },
+      "args": []
+    },
+    "fullSuite": {
+      "kind": "static-check",
+      "runner": {
+        "kind": "node",
+        "script": "test/add.test.mjs"
+      },
+      "args": []
+    }
+  }
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@abelxiaoxing/cadence",
-  "version": "1.4.0",
+  "version": "1.5.0",
   "description": "Four explicit Abel workflow prompts with stage-isolated design and diagnosis, durable resumable implementation, and three package-owned professional Agents.",
   "license": "MIT",
   "type": "module",
@@ -46,12 +46,17 @@
     "test:target": "vitest run",
     "check:agents": "node scripts/check-agents.mjs",
     "build:workspace-io": "bun scripts/build-workspace-io.mjs",
-    "eval:workflow": "node --experimental-strip-types scripts/evaluate-workflow.mjs"
+    "eval:workflow": "node --experimental-strip-types scripts/evaluate-workflow.mjs",
+    "doctor": "node --experimental-strip-types src/operator-cli.mjs doctor",
+    "runs": "node --experimental-strip-types src/operator-cli.mjs runs",
+    "benchmark:verification": "node --experimental-strip-types scripts/benchmark-verification.mjs",
+    "eval:matrix": "node --experimental-strip-types scripts/evaluate-matrix.mjs"
   },
   "peerDependencies": {
     "@earendil-works/pi-coding-agent": "*",
     "@earendil-works/pi-tui": "*",
-    "typebox": "*"
+    "typebox": "*",
+    "@earendil-works/pi-ai": "*"
   },
   "devDependencies": {
     "@biomejs/biome": "^2.4.16",
@@ -60,7 +65,8 @@
     "@types/node": "^22.15.3",
     "rumdl": "^0.2.10",
     "typescript": "^6.0.3",
-    "vitest": "^4.1.8"
+    "vitest": "^4.1.8",
+    "@earendil-works/pi-ai": "0.84.3"
   },
   "repository": {
     "type": "git",