@abelxiaoxing/cadence 1.8.4 → 2.0.1

package/web/dist/index.html

@@ -0,0 +1,18 @@
+<!doctype html>
+<html lang="en">
+  <head>
+    <meta charset="UTF-8" />
+    <meta name="viewport" content="width=device-width,initial-scale=1,viewport-fit=cover" />
+    <meta name="referrer" content="no-referrer" />
+    <title>Cadence task workspace</title>
+    <script type="module" crossorigin src="/assets/cadence.js"></script>
+    <link rel="modulepreload" crossorigin href="/assets/rolldown-runtime.js">
+    <link rel="modulepreload" crossorigin href="/assets/react.js">
+    <link rel="modulepreload" crossorigin href="/assets/markdown.js">
+    <link rel="stylesheet" crossorigin href="/assets/cadence.css">
+    <link rel="stylesheet" href="/assets/vis-timeline.css">
+  </head>
+  <body>
+    <div id="root"></div>
+  </body>
+</html>

package/web/dist/manifest.json

@@ -0,0 +1,505 @@
+{
+  "schema": "cadence-web-assets/1",
+  "sourceHash": "178a1a7a96ba2a554829698b1daa2654e3665775fb1ab3cd54e4d5a700ed82bc",
+  "contractHash": "e7e5248f8273a373827ac70d2d8be1d5aaea1e329379e59e4947fc10f82be818",
+  "buildId": "684ef04941850c7e116df3961a01159570c290ce8fbafc29ec540b00ebcf791e",
+  "assets": [
+    {
+      "name": "assets/cadence.css",
+      "bytes": 77060,
+      "sha256": "334964187a5a9125767826c880926647d81dd390a02c408c1cc05767578acf39",
+      "references": [
+        "assets/KaTeX_AMS-Regular.ttf",
+        "assets/KaTeX_AMS-Regular.woff",
+        "assets/KaTeX_AMS-Regular.woff2",
+        "assets/KaTeX_Caligraphic-Bold.ttf",
+        "assets/KaTeX_Caligraphic-Bold.woff",
+        "assets/KaTeX_Caligraphic-Bold.woff2",
+        "assets/KaTeX_Caligraphic-Regular.ttf",
+        "assets/KaTeX_Caligraphic-Regular.woff",
+        "assets/KaTeX_Caligraphic-Regular.woff2",
+        "assets/KaTeX_Fraktur-Bold.ttf",
+        "assets/KaTeX_Fraktur-Bold.woff",
+        "assets/KaTeX_Fraktur-Bold.woff2",
+        "assets/KaTeX_Fraktur-Regular.ttf",
+        "assets/KaTeX_Fraktur-Regular.woff",
+        "assets/KaTeX_Fraktur-Regular.woff2",
+        "assets/KaTeX_Main-Bold.ttf",
+        "assets/KaTeX_Main-Bold.woff",
+        "assets/KaTeX_Main-Bold.woff2",
+        "assets/KaTeX_Main-BoldItalic.ttf",
+        "assets/KaTeX_Main-BoldItalic.woff",
+        "assets/KaTeX_Main-BoldItalic.woff2",
+        "assets/KaTeX_Main-Italic.ttf",
+        "assets/KaTeX_Main-Italic.woff",
+        "assets/KaTeX_Main-Italic.woff2",
+        "assets/KaTeX_Main-Regular.ttf",
+        "assets/KaTeX_Main-Regular.woff",
+        "assets/KaTeX_Main-Regular.woff2",
+        "assets/KaTeX_Math-BoldItalic.ttf",
+        "assets/KaTeX_Math-BoldItalic.woff",
+        "assets/KaTeX_Math-BoldItalic.woff2",
+        "assets/KaTeX_Math-Italic.ttf",
+        "assets/KaTeX_Math-Italic.woff",
+        "assets/KaTeX_Math-Italic.woff2",
+        "assets/KaTeX_SansSerif-Bold.ttf",
+        "assets/KaTeX_SansSerif-Bold.woff",
+        "assets/KaTeX_SansSerif-Bold.woff2",
+        "assets/KaTeX_SansSerif-Italic.ttf",
+        "assets/KaTeX_SansSerif-Italic.woff",
+        "assets/KaTeX_SansSerif-Italic.woff2",
+        "assets/KaTeX_SansSerif-Regular.ttf",
+        "assets/KaTeX_SansSerif-Regular.woff",
+        "assets/KaTeX_SansSerif-Regular.woff2",
+        "assets/KaTeX_Script-Regular.ttf",
+        "assets/KaTeX_Script-Regular.woff",
+        "assets/KaTeX_Script-Regular.woff2",
+        "assets/KaTeX_Size1-Regular.ttf",
+        "assets/KaTeX_Size1-Regular.woff",
+        "assets/KaTeX_Size1-Regular.woff2",
+        "assets/KaTeX_Size2-Regular.ttf",
+        "assets/KaTeX_Size2-Regular.woff",
+        "assets/KaTeX_Size2-Regular.woff2",
+        "assets/KaTeX_Size3-Regular.ttf",
+        "assets/KaTeX_Size3-Regular.woff",
+        "assets/KaTeX_Size3-Regular.woff2",
+        "assets/KaTeX_Size4-Regular.ttf",
+        "assets/KaTeX_Size4-Regular.woff",
+        "assets/KaTeX_Size4-Regular.woff2",
+        "assets/KaTeX_Typewriter-Regular.ttf",
+        "assets/KaTeX_Typewriter-Regular.woff",
+        "assets/KaTeX_Typewriter-Regular.woff2"
+      ]
+    },
+    {
+      "name": "assets/cadence.js",
+      "bytes": 173363,
+      "sha256": "58cd4a9b02b89e7b4e09d97a5a6dc5501c5f42c9ef4496b11f7e953f289525e3",
+      "references": [
+        "assets/markdown.js",
+        "assets/react.js",
+        "assets/rolldown-runtime.js",
+        "assets/timeline-client.js"
+      ]
+    },
+    {
+      "name": "assets/KaTeX_AMS-Regular.ttf",
+      "bytes": 63632,
+      "sha256": "68534840bcfdd2bffb6f0e8deb48684dd01e7f04ea2813267577afb906de1d13",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_AMS-Regular.woff",
+      "bytes": 33516,
+      "sha256": "30da91e84c893f875e252689faebdc590b2871145e8adc7f9a9d4dbd8ce0b251",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_AMS-Regular.woff2",
+      "bytes": 28076,
+      "sha256": "0cdd387c9590a1a9f9794560022dbb59654a7d86f187aa0c81495ad42d3a7308",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Caligraphic-Bold.ttf",
+      "bytes": 12368,
+      "sha256": "07d8e303ce4fc12b4bb54f1004170dd190a1f3db45d400fe68060df3e0897268",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Caligraphic-Bold.woff",
+      "bytes": 7716,
+      "sha256": "1ae6bd7475590e97e7f145a89e09ccde322f7a6bc0b91607b1c8b8ee28290fed",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Caligraphic-Bold.woff2",
+      "bytes": 6912,
+      "sha256": "de7701e42cf1f4cf0b766c03fb27977207eee2f4fd5d76fa82188406da43ea4c",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Caligraphic-Regular.ttf",
+      "bytes": 12344,
+      "sha256": "ed0b74372feefcbb9c0666b2e210da37b7e49fa7fbbf3eeb11db5f693dacfbb7",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Caligraphic-Regular.woff",
+      "bytes": 7656,
+      "sha256": "3398dd02302557a793f2863f88e02d96ce10df2abffa07c8e9fa90775116e65c",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Caligraphic-Regular.woff2",
+      "bytes": 6908,
+      "sha256": "5d53e70ad607c2352162dec9e0923fb54ecdafaccbf604cd8dcf7d00facb989b",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Fraktur-Bold.ttf",
+      "bytes": 19584,
+      "sha256": "9163df9c7122432e6495b4229fa9071cf9ae86a758ae5efc4924ec2e1a6dbce1",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Fraktur-Bold.woff",
+      "bytes": 13296,
+      "sha256": "9be7ceb88004ab8ad124082246fbfcca4091e36385d4ec6ed1df67375dad50fb",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Fraktur-Bold.woff2",
+      "bytes": 11348,
+      "sha256": "74444efd593c005e3f4573b44524704c0af0a937fe911cca9e94068d0d140d3f",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Fraktur-Regular.ttf",
+      "bytes": 19572,
+      "sha256": "1e6f9579e90e2cac37f8f60a597c436e075c114385652b7cbeb0dec0421291b3",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Fraktur-Regular.woff",
+      "bytes": 13208,
+      "sha256": "5e28753be717dac97f559f49bc10be9cf3c124ddcabda6659d11cb68febc6463",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Fraktur-Regular.woff2",
+      "bytes": 11316,
+      "sha256": "51814d270d06ff0255dba0799994fa4d8c84d11f09951d47595f4abb1f3602dc",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Main-Bold.ttf",
+      "bytes": 51336,
+      "sha256": "138ac28d1663b3037e9c5f52371fa5c63d8324f4a38d22cd573e6ea3a3fd0cf8",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Main-Bold.woff",
+      "bytes": 29912,
+      "sha256": "c76c5d696297d51b9cb1639c7da4334f0e7dec81b42b11213b5e25ef671bb822",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Main-Bold.woff2",
+      "bytes": 25324,
+      "sha256": "0f60d1b897938ec918c8ce073092411baf9438f6739465693ff18b0f9d20b021",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Main-BoldItalic.ttf",
+      "bytes": 32968,
+      "sha256": "70ee1f64a20f2048c21940ef46d0144fd215baa953ca69afd1e31e98544f708f",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Main-BoldItalic.woff",
+      "bytes": 19412,
+      "sha256": "a6f7ec0d846ac7ad975adb8959c37ed49b94acbc4ae436db9ce9e20287e4a64c",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Main-BoldItalic.woff2",
+      "bytes": 16780,
+      "sha256": "99cd42a3c072d918f2f44984a807cf7aa16e13545fd0875fc07c6c65f99e715b",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Main-Italic.ttf",
+      "bytes": 33580,
+      "sha256": "0d85ae7cc30f23790a7f1a58c4a112fdca8aae769b6ba11429af1d98b1b6cb3a",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Main-Italic.woff",
+      "bytes": 19676,
+      "sha256": "f1d6ef86f3b11a528bd5185199bd2443ecb2b0dead96d88674b5a2c12be24bdf",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Main-Italic.woff2",
+      "bytes": 16988,
+      "sha256": "97479ca6cce906abc961ecac96faa5f9ca2e61b8e7670d475826bcdee9a7c267",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Main-Regular.ttf",
+      "bytes": 53580,
+      "sha256": "d0332f52868370fd83ae7fa46470f90c8f2eab2fcf12bc4f88080b340c95a830",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Main-Regular.woff",
+      "bytes": 30772,
+      "sha256": "c6368d87e8a1a3a5d337623d83d8dc4b868f242a9ad476237d6f8d1e0f168cdc",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Main-Regular.woff2",
+      "bytes": 26272,
+      "sha256": "c2342cd8b869e01752a9321dc17213fc40d4d04c79688c1d43f2cf316abd7866",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Math-BoldItalic.ttf",
+      "bytes": 31196,
+      "sha256": "f9377ab0271cda59af24bcffbd46a4d0c8a3572ffafdbb38de2ad5ea7b0d5ee5",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Math-BoldItalic.woff",
+      "bytes": 18668,
+      "sha256": "850c0af5c2238497febaf5e461d880bf458c341f42f4f330f1b1ab5698b1998e",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Math-BoldItalic.woff2",
+      "bytes": 16400,
+      "sha256": "dc47344dbb6cb5b655c8460d561f4df5f501b90c804ad3c6cec65fe322351ab1",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Math-Italic.ttf",
+      "bytes": 31308,
+      "sha256": "08ce98e51b04d58945a301e639e02b6998af29fdfd61a7b8afdd07bbfc479d4a",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Math-Italic.woff",
+      "bytes": 18748,
+      "sha256": "8a8d244581371912b8f3f5a23e2437cb2a59cd9bcaebb0346e722c05737a2571",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Math-Italic.woff2",
+      "bytes": 16440,
+      "sha256": "7af58c5ec8f132a2ddde9027c6d7814decce4d3b822a11192a42a20e2e973264",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_SansSerif-Bold.ttf",
+      "bytes": 24504,
+      "sha256": "1ece03f79f95277d57dc7f6b435a74e1379b0d46104a8530286b60ff49369ea0",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_SansSerif-Bold.woff",
+      "bytes": 14408,
+      "sha256": "ece03cfd83e22c212cdef66feb8442d25a083beb988db3f1883f3f9738d750ba",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_SansSerif-Bold.woff2",
+      "bytes": 12216,
+      "sha256": "e99ae51144bf1232efcc1bfe5add36262c6866b0faab24fa75740e1b98577a62",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_SansSerif-Italic.ttf",
+      "bytes": 22364,
+      "sha256": "3931dd81faed86ba021bb2bbdc36f5bed9a38d6b4f4077aca59b265aa1b02083",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_SansSerif-Italic.woff",
+      "bytes": 14112,
+      "sha256": "91ee67500cc0129aa0ace3ac5c61ff1692102f0f31d02b69347fba35dcb75bf2",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_SansSerif-Italic.woff2",
+      "bytes": 12028,
+      "sha256": "00b26ac825e2095056396e0553b8ac26d3f8ad158c3826e28b4c45b385c4714a",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_SansSerif-Regular.ttf",
+      "bytes": 19436,
+      "sha256": "f36ea897e19f4a2e571d1e900e4e3710e438deb05a842486045ba0a3e616a4ad",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_SansSerif-Regular.woff",
+      "bytes": 12316,
+      "sha256": "11e4dc8a6471ff6d6ee561d53d10fde8f7489e798257ff449c5d37c197435605",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_SansSerif-Regular.woff2",
+      "bytes": 10344,
+      "sha256": "68e8c73ef42afd3ccec58bf0fba302cce448938e7fc020a5e31f8a952eee1342",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Script-Regular.ttf",
+      "bytes": 16648,
+      "sha256": "1c67f068fea8bb09bf099c088b1cf64bd27516a6e07f4684344873564bb66a67",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Script-Regular.woff",
+      "bytes": 10588,
+      "sha256": "d96cdf2b3bdd4d64a8fd5f74a4c467f123a8a73931cd435889f08ffaf9bf947a",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Script-Regular.woff2",
+      "bytes": 9644,
+      "sha256": "036d4e95149b69ff9bcc0cd55771efeb25ffa3947293e69acd78d5ac328c684b",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Size1-Regular.ttf",
+      "bytes": 12228,
+      "sha256": "95b6d2f1a50173bfedb8c63e1d1c99b10427d0a4df4201cb44513b226951a22b",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Size1-Regular.woff",
+      "bytes": 6496,
+      "sha256": "c943cc986384f59e86bea5fd7dc50a9c4dfe567a7c05eb40d6790720dead97c9",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Size1-Regular.woff2",
+      "bytes": 5468,
+      "sha256": "6b47c40166b6dbe21a5dfca7718413f2147fd2399be1ba605d8ad39cedf25dfe",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Size2-Regular.ttf",
+      "bytes": 11508,
+      "sha256": "a6b2099fb555c60e3a0db3a08842ebf1d732c6eb4e4bf44913613bed4fc4e39b",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Size2-Regular.woff",
+      "bytes": 6188,
+      "sha256": "2014c523c3210bcc166648c4d4cc57f05b747df07a24277bf71c51e67dc79e3d",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Size2-Regular.woff2",
+      "bytes": 5208,
+      "sha256": "d04c54219f9eaec6d4d4fd42dfb28785975a4794d6b2fc71e566b9cd6db842dd",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Size3-Regular.ttf",
+      "bytes": 7588,
+      "sha256": "500e04d54f0d51666332c9d2089aa803be22aa878eca539e59fa53c6e522b082",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Size3-Regular.woff",
+      "bytes": 4420,
+      "sha256": "6ab6b62e9b62dae2c00dd90f791bd10950be0ecc3490d7d6045f51c2e8fe0949",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Size3-Regular.woff2",
+      "bytes": 3624,
+      "sha256": "73d591271b1604960cb10bb90fee021670af7297017e0e98480b332d11f51995",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Size4-Regular.ttf",
+      "bytes": 10364,
+      "sha256": "c647367d1dd4e162468717d020e1fc0f1dc5c26ebfdffbe55261713bf88c5877",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Size4-Regular.woff",
+      "bytes": 5980,
+      "sha256": "99f9c6750b489c9462bf04900bd3f939df9b829339daaaaa99ef5495cdddea58",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Size4-Regular.woff2",
+      "bytes": 4928,
+      "sha256": "a4af7d414440a1c1790825cfb700cf9cf43b0f2c4b04f0ebc523011ad9853ec0",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Typewriter-Regular.ttf",
+      "bytes": 27556,
+      "sha256": "f01f3e87d9c6a61c0c081ceb577abd864eb00a612f7ac1620dd6915fad2ef5aa",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Typewriter-Regular.woff",
+      "bytes": 16028,
+      "sha256": "e14fed02b1aba7ce9f5afd5844b5d0321b22351febc720e0de8b8723527609f7",
+      "references": []
+    },
+    {
+      "name": "assets/KaTeX_Typewriter-Regular.woff2",
+      "bytes": 13568,
+      "sha256": "71d517d67827787cfabdf186914cc3358eda539e37931941f2b2fd4a21f68c0b",
+      "references": []
+    },
+    {
+      "name": "assets/markdown.js",
+      "bytes": 764381,
+      "sha256": "8176da275ed35ef409028dcaab73dadd00578b98fab0741aff50d8f9d5c8b42c",
+      "references": [
+        "assets/react.js",
+        "assets/rolldown-runtime.js"
+      ]
+    },
+    {
+      "name": "assets/react.js",
+      "bytes": 218750,
+      "sha256": "37f3e79ca8c7f45f6002174922a963e3139e22568e400fa2395a2229ae1ae083",
+      "references": [
+        "assets/rolldown-runtime.js"
+      ]
+    },
+    {
+      "name": "assets/rolldown-runtime.js",
+      "bytes": 726,
+      "sha256": "548d1dbf321e7d2ae804fcc158b588706a7c52f8ca175de1490c6ccb4dbe55b7",
+      "references": []
+    },
+    {
+      "name": "assets/timeline-client.js",
+      "bytes": 20696,
+      "sha256": "be4442e3b1dfb7d297ecb8c704de834c241483128792ff4b47fd49fda1711977",
+      "references": [
+        "assets/cadence.js",
+        "assets/vis-timeline.js"
+      ]
+    },
+    {
+      "name": "assets/vis-timeline.css",
+      "bytes": 26066,
+      "sha256": "c59b69abdd0e298d975163cacec16f316ea27889f0d8ba5c676203a4413afe13",
+      "references": []
+    },
+    {
+      "name": "assets/vis-timeline.js",
+      "bytes": 529006,
+      "sha256": "e80f98e605d7fc6d1474c4dca56e930e76bc7e25fc2b263608208cfda3d958ce",
+      "references": [
+        "assets/rolldown-runtime.js"
+      ]
+    },
+    {
+      "name": "index.html",
+      "bytes": 735,
+      "sha256": "8f7f8ccac2056653927f045a9e8a0f1473291fa2a989861fee2e45bcde6dceaa",
+      "references": [
+        "assets/cadence.css",
+        "assets/cadence.js",
+        "assets/markdown.js",
+        "assets/react.js",
+        "assets/rolldown-runtime.js",
+        "assets/vis-timeline.css"
+      ]
+    }
+  ]
+}

package/config/plan-draft.example.json

@@ -1,125 +0,0 @@
-{
-  "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"]
-    }
-  },
-  "changeId": "fix-integer-addition",
-  "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"]
-    }
-  ],
-  "outputs": [],
-  "verification": {
-    "baseline": {
-      "fullSuite": {
-        "use": "add-test"
-      }
-    },
-    "change": {
-      "fullSuite": {
-        "use": "add-test"
-      },
-      "postApply": {
-        "use": "add-test"
-      }
-    },
-    "artifactCorrection": {
-      "maxAttempts": 2
-    },
-    "repair": {
-      "maxAttempts": 1
-    }
-  },
-  "verificationDefinitions": {
-    "add-test": {
-      "kind": "static-check",
-      "runner": {
-        "kind": "node",
-        "script": "test/add.test.mjs"
-      },
-      "args": []
-    }
-  }
-}