@abelxiaoxing/cadence 1.8.4 → 2.0.1

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

@@ -1,375 +0,0 @@
-{
-  "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"
-          }
-        }
-      },
-      "baselineVerification": {
-        "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"
-              }
-            ]
-          }
-        }
-      },
-      "baselineVerification": {
-        "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"
-          }
-        ]
-      },
-      "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

@@ -1,78 +0,0 @@
-{
-  "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": []
-    }
-  }
-}