v0.14.0

.cspell.json

@@ -1,5 +1,5 @@
 {
-    "version": "0.1",
+    "version": "0.2",
     "language": "en-GB",
     "words": [
         "aave",
@@ -11,6 +11,7 @@
         "authchain",
         "anyhedge",
         "anyonecanpay",
+        "backpointer",
         "badlength",
         "bchjs",
         "bchreg",
@@ -31,9 +32,10 @@
         "boolor",
         "bytecode",
         "bytesize",
+        "callees",
         "cashaddress",
         "cashc",
-        "cashproof",
+        "cashlibs",
         "cashscript",
         "cashtokens",
         "castable",
@@ -48,11 +50,16 @@
         "chipnet",
         "cleanstack",
         "cleanup",
+        "cleanups",
+        "remappings",
+        "codegen",
         "cryptocurrency",
         "collateralized",
         "datasig",
         "defi",
         "deserialisation",
+        "destructures",
+        "divmod",
         "docblock",
         "electroncash",
         "electrum",
@@ -79,7 +86,6 @@
         "hashprevouts",
         "hashsequence",
         "hashtype",
-        "hashtypes",
         "hodl",
         "hodling",
         "htlc",
@@ -108,6 +114,8 @@
         "lshift",
         "LSHIFTNUM",
         "LSHIFTBIN",
+        "math",
+        "mathlib",
         "mecenas",
         "meep",
         "minimaldata",
@@ -116,6 +124,7 @@
         "n",
         "narrowings",
         "noncompressed",
+        "nonexistent",
         "nonfinal",
         "nonschnorr",
         "nops",
@@ -130,6 +139,7 @@
         "op",
         "opcode",
         "opcodes",
+        "opcost",
         "opcount",
         "OUTPOINTINDEX",
         "OUTPOINTTXHASH",

.gitignore

@@ -108,3 +108,6 @@ typings/
 manual-test.ts
 
 .claude/
+
+# Test fixtures that emulate installed packages (re-included despite the node_modules ignore above)
+!packages/cashc/test/import-fixtures/**/node_modules/

AGENTS.md

@@ -1,5 +1,7 @@
 # CLAUDE.md
 
+NEVER stage or unstage changes, just leave them in the working directory.
+
 This file provides guidance to Claude Code (claude.ai/code) when working with code in this repository.
 
 ## Project Overview
@@ -82,7 +84,7 @@ Shared between compiler and SDK:
 - `source-map.ts` — source map encoding/decoding (format: `sl:sc:el:ec:h` per opcode, `;`-separated, with field inheritance compression)
 - `bitauth-script.ts` — formats bytecode as human-readable BitAuth script (used in debugging)
 - `types.ts` — shared types including `SourceTagKind`, `SourceTagEntry`
-- `optimisations.ts` / `cashproof-optimisations.ts` — peephole optimization rules
+- `optimisations.ts` — peephole optimization rules
 
 ## Code Conventions
 

DEVELOPMENT.md

@@ -38,24 +38,6 @@ When updating the grammar file in `src/grammar/CashScript.g4`, we also need to m
 yarn antlr
 ```
 
-### Running `cashproof`
-
-Most of the bytecode optimisations that the `cashc` compiler uses can be verified for correctness using the [`cashproof` tool](https://github.com/EyeOfPython/cashproof). This tool needs to be installed separately by installing its dependencies using `pip` and cloning its repository from GitHub.
-
-From there, you can run `python <cashproof_path> [filenames]` to verify that the optimisations contained in these files are provably correct.
-
-Example:
-```bash
-python <cashproof_path> packages/cashc/test/cashproof/0.1.2=0.2.0.equiv
-```
-
-Note that if you want to run `cashproof` on the "main" CashScript optimisations file, you need to first extract the optimisations from the `cashc` compiler and save them in a separate file. This can be done using the following commands:
-
-```bash
-cp packages/utils/src/cashproof-optimisations.ts opt.equiv && sed -i '' '/`/d' opt.equiv
-python <cashproof_path> opt.equiv
-```
-
 ## cashscript
 
 ### Running tests

examples/package.json

@@ -1,7 +1,7 @@
 {
   "name": "cashscript-examples",
   "private": true,
-  "version": "0.13.3",
+  "version": "0.14.0-next.5",
   "description": "Usage examples of the CashScript SDK",
   "main": "p2pkh.js",
   "type": "module",
@@ -12,9 +12,9 @@
   },
   "dependencies": {
     "@bitauth/libauth": "^3.1.0-next.8",
-    "@types/node": "^22.17.0",
-    "cashc": "^0.13.3",
-    "cashscript": "^0.13.3",
+    "@types/node": "^24.13.3",
+    "cashc": "^0.14.0-next.5",
+    "cashscript": "^0.14.0-next.5",
     "eslint": "^8.56.0",
     "typescript": "^5.9.2"
   }

examples/testing-suite/package.json

@@ -1,6 +1,6 @@
 {
   "name": "testing-suite",
-  "version": "0.13.3",
+  "version": "0.14.0-next.5",
   "description": "Example project to develop and test CashScript contracts",
   "main": "index.js",
   "type": "module",
@@ -18,12 +18,12 @@
   },
   "dependencies": {
     "@bitauth/libauth": "^3.1.0-next.8",
-    "cashc": "^0.13.3",
-    "cashscript": "^0.13.3"
+    "cashc": "^0.14.0-next.5",
+    "cashscript": "^0.14.0-next.5"
   },
   "devDependencies": {
-    "tsx": "^4.20.3",
+    "tsx": "^4.23.12",
     "typescript": "^5.9.2",
-    "vitest": "^4.0.15"
+    "vitest": "^4.1.10"
   }
 }

package.json

@@ -8,17 +8,20 @@
     "examples/testing-suite"
   ],
   "devDependencies": {
-    "@types/node": "^22.17.0",
+    "@types/node": "^24",
     "@typescript-eslint/eslint-plugin": "^7.0.0",
     "@typescript-eslint/parser": "^7.0.0",
-    "cspell": "^9.2.0",
+    "cspell": "^10.0.1",
     "eslint": "^8.54.0",
     "eslint-config-airbnb-typescript": "^18.0.0",
     "eslint-plugin-import": "^2.31.0",
     "lerna": "^3.22.1",
-    "tsx": "^4.20.3",
+    "tsx": "^4.23.12",
     "typescript": "^5.9.2"
   },
+  "resolutions": {
+    "ws": "^8.21.3"
+  },
   "scripts": {
     "test": "lerna run test --ignore cashscript-examples --ignore testing-suite",
     "lint": "lerna run lint --ignore cashscript-examples --ignore testing-suite",

packages/cashc/package.json

@@ -1,6 +1,6 @@
 {
   "name": "cashc",
-  "version": "0.13.3",
+  "version": "0.14.0-next.5",
   "description": "Compile Bitcoin Cash contracts to Bitcoin Cash Script or artifacts",
   "keywords": [
     "bitcoin",
@@ -48,21 +48,20 @@
   },
   "dependencies": {
     "@bitauth/libauth": "^3.1.0-next.8",
-    "@cashscript/utils": "^0.13.3",
+    "@cashscript/utils": "^0.14.0-next.5",
     "antlr4": "^4.13.2",
     "commander": "^14.0.0",
-    "semver": "^7.7.2"
+    "semver": "^7.8.5"
   },
   "devDependencies": {
-    "@types/node": "^22.17.0",
-    "@types/semver": "^7.7.0",
-    "@vitest/coverage-v8": "^4.0.15",
-    "cpy-cli": "^5.0.0",
+    "@types/node": "^24.13.3",
+    "@types/semver": "^7.8.0",
+    "@vitest/coverage-v8": "^4.1.10",
     "eslint": "^8.54.0",
     "eslint-plugin-import": "^2.31.0",
-    "tsx": "^4.20.3",
+    "tsx": "^4.23.12",
     "typescript": "^5.9.2",
-    "vitest": "^4.0.15"
+    "vitest": "^4.1.10"
   },
   "gitHead": "bf02a4b641d5d03c035d052247a545109c17b708"
 }