feat: multi-language IPC codegen (TS/C++/Rust/Zig) with cross-language wire compat tests

.claude/skills/iterate-on-pr/SKILL.md

@@ -0,0 +1,88 @@
+---
+name: iterate-on-pr
+description: Iterate on a PR until CI passes. Use when fixing CI failures, debugging test issues, or waiting for CI results. Enforces local testing before pushing.
+---
+
+# Iterate on PR
+
+Workflow for getting a PR to green CI.
+
+## Golden Rule
+
+**NEVER push and pray.** Always run the failing test locally first.
+
+## Building
+
+**Full repo build:**
+```bash
+./bootstrap.sh   # In repo root
+```
+
+**Targeted builds:**
+```bash
+# Project-specific bootstrap scripts
+./yarn-project/bootstrap.sh
+./barretenberg/bootstrap.sh
+
+# Or use make for specific targets + deps
+make <target>   # Check Makefile for available targets
+```
+
+## Testing
+
+**Run the exact command CI reports as failed.** These are usually project-specific:
+```bash
+# Look at CI failure output for the actual command, typically:
+./yarn-project/run_tests.sh <test-name>
+./barretenberg/run_tests.sh <test-name>
+
+# Or for Jest tests with timeout (hang detection):
+timeout 120 yarn test <package> --testNamePattern="<test-name>"
+```
+
+Only push when the test passes locally.
+
+## CI Iteration Loop
+
+1. **CI fails** → Read the failure logs (use analyze-logs agent if needed)
+2. **Identify root cause** → Understand what broke
+3. **Fix locally** → Make the code change
+4. **Build** → Run bootstrap.sh or targeted make
+5. **Test locally** → Run the exact CI command that failed
+6. **Push** → Immediately after local tests pass. Do not ask the user for permission to push.
+7. **Monitor CI** → Set up a cron to poll every 5 min until pass/fail
+8. **Repeat** if CI fails again
+
+## Monitoring CI
+
+Poll PR checks every 5 minutes:
+```bash
+gh pr checks <PR_NUMBER> --json name,state | jq '.[] | select(.state != "SUCCESS" and .state != "SKIPPED")'
+```
+
+## Handling Flaky Tests
+
+**Do NOT immediately rerun CI.** Follow this process:
+
+1. **Try to replicate locally first** — run the failing test
+2. **If it passes locally**: Check if the failure seems related to your changes
+3. **Only rerun CI if**: Test passes locally AND failure appears unrelated to your changes
+4. **If it fails locally**: Debug and fix it, don't assume it's flaky
+
+## Common Failures
+
+- **Lint errors**: Fix and verify with `yarn lint <package>`
+- **Type errors**: Fix and verify with `yarn build` or `tsc --noEmit`
+- **Test hangs (Jest)**: Usually resource leaks — check for unclosed handles, missing `.close()` calls
+- **Build failures**: Run bootstrap.sh to rebuild everything
+
+## When to Ask for Help
+
+- Architectural decisions ("should I use approach A or B?")
+- Unclear requirements
+- CI infrastructure issues (not code problems)
+
+Do NOT ask for help with:
+- Simple lint/type errors
+- Obvious fixes
+- Things you can figure out by reading the code

Makefile

@@ -208,6 +208,7 @@ bb-cpp-release-dir: bb-cpp-native bb-cpp-cross
 bb-cpp-full: bb-cpp bb-cpp-gcc bb-cpp-fuzzing bb-cpp-asan bb-cpp-smt bb-cpp-cross-arm64-macos bb-cpp-cross-arm64-ios bb-cpp-cross-arm64-android
 
 # BB TypeScript - TypeScript bindings
+# Codegen runs inline as a pre-build step in ts/bootstrap.sh (reads committed JSON schemas)
 bb-ts: bb-cpp-wasm bb-cpp-wasm-threads bb-cpp-native
 	$(call build,$@,barretenberg/ts)
 
@@ -216,7 +217,8 @@ bb-ts-cross-copy: bb-ts bb-cpp-cross
 	$(call build,$@,barretenberg/ts,cross_copy)
 
 # BB Rust - barretenberg-rs FFI crate
-bb-rs: bb-ts bb-cpp-native
+# Codegen runs inline as a pre-build step in rust/bootstrap.sh (reads committed JSON schemas)
+bb-rs: bb-cpp-native
 	$(call build,$@,barretenberg/rust)
 
 # BB ACIR Tests - ACIR compatibility tests

barretenberg/.gitignore

@@ -9,7 +9,5 @@ cmake-build-debug
 *_opt.pil
 bench-out
 
-# Generated code from msgpack schema (run `yarn generate` in ts/)
-rust/barretenberg-rs/src/generated_types.rs
-rust/barretenberg-rs/src/api.rs
-ts/src/cbind/generated/
+# Generated code (produced by barretenberg/codegen, not committed)
+**/generated/

barretenberg/codegen/.rebuild_patterns

@@ -0,0 +1,5 @@
+^barretenberg/codegen/src/.*\.ts$
+^barretenberg/codegen/schemas/.*\.(json|msgpack)$
+^barretenberg/codegen/templates/
+^barretenberg/codegen/package\.json$
+^barretenberg/codegen/bootstrap\.sh$

barretenberg/codegen/bootstrap.sh

@@ -0,0 +1,71 @@
+#!/usr/bin/env bash
+# Codegen tool: generates bindings from committed JSON schemas.
+# Zero npm dependencies — runs with just Node.js (v22+).
+#
+# Usage:
+#   ./bootstrap.sh           # Run codegen (generate all bindings)
+#   ./bootstrap.sh generate  # Same
+#   ./bootstrap.sh hash      # Print content hash
+
+source $(git rev-parse --show-toplevel)/ci3/source_bootstrap
+
+# Hash includes codegen source AND committed schema files.
+export hash=$(cache_content_hash .rebuild_patterns)
+
+NODE_FLAGS="--experimental-strip-types --experimental-transform-types --no-warnings"
+
+gen() { node $NODE_FLAGS src/generate.ts "$@"; }
+
+function generate {
+  echo_header "codegen generate"
+  local S="schemas"
+  local CPP="../cpp/src/barretenberg"
+  local TS="../ts/src"
+  local ZIG="../zig/aztec-ipc/src"
+
+  # --- BB ---
+  gen --schema $S/bb_schema.json --lang cpp --out $CPP/bbapi/generated \
+    --server --cpp-namespace bb::bbapi --prefix Bb --cpp-include-dir barretenberg/bbapi/generated
+  gen --schema $S/bb_schema.json --lang ts --out $TS/cbind/generated \
+    --server --client --prefix Bb --strip-method-prefix --curve-constants
+  gen --schema $S/bb_schema.json --lang rust --out ../rust/barretenberg-rs/src/generated \
+    --client --uds --ffi --prefix Bb
+  gen --schema $S/bb_schema.json --lang zig --out $ZIG/bb \
+    --client --uds --ffi --prefix Bb
+
+  # --- WSDB ---
+  gen --schema $S/wsdb_schema.json --lang cpp --out $CPP/wsdb/generated \
+    --server --client --cpp-namespace bb::wsdb --prefix Wsdb --cpp-include-dir barretenberg/wsdb/generated
+  gen --schema $S/wsdb_schema.json --lang ts --out $TS/aztec-wsdb/generated \
+    --server --client --prefix Wsdb
+  gen --schema $S/wsdb_schema.json --lang zig --out $ZIG/wsdb \
+    --server --client --uds --ffi --prefix Wsdb
+
+  # --- CDB ---
+  gen --schema $S/cdb_schema.json --lang cpp --out $CPP/cdb/generated \
+    --client --cpp-namespace bb::cdb --prefix Cdb --cpp-include-dir barretenberg/cdb/generated
+  gen --schema $S/cdb_schema.json --lang ts --out $TS/aztec-cdb/generated \
+    --server --client --prefix Cdb
+  gen --schema $S/cdb_schema.json --lang zig --out $ZIG/cdb \
+    --client --uds --ffi --prefix Cdb
+
+  # --- AVM ---
+  gen --schema $S/avm_schema.json --lang cpp --out $CPP/avm/generated \
+    --server --cpp-namespace bb::avm --prefix Avm --cpp-include-dir barretenberg/avm/generated
+  gen --schema $S/avm_schema.json --lang ts --out $TS/aztec-avm/generated \
+    --server --client --prefix Avm
+  gen --schema $S/avm_schema.json --lang zig --out $ZIG/avm \
+    --server --client --uds --ffi --prefix Avm
+}
+
+case "$cmd" in
+  ""|generate)
+    generate
+    ;;
+  hash)
+    echo $hash
+    ;;
+  *)
+    default_cmd_handler "$@"
+    ;;
+esac

barretenberg/codegen/schemas/avm_schema.json

@@ -0,0 +1,2 @@
+{"__typename":"AvmApi","commands":["named_union",[["AvmSimulate",{"__typename":"AvmSimulate","inputs":["vector",["unsigned char"]]}],["AvmSimulateWithHints",{"__typename":"AvmSimulateWithHints","inputs":["vector",["unsigned char"]]}],["AvmShutdown",{"__typename":"AvmShutdown"}]]],"responses":["named_union",[["AvmErrorResponse",{"__typename":"AvmErrorResponse","message":"string"}],["AvmSimulateResponse",{"__typename":"AvmSimulateResponse","result":["vector",["unsigned char"]]}],["AvmSimulateWithHintsResponse",{"__typename":"AvmSimulateWithHintsResponse","result":["vector",["unsigned char"]]}],["AvmShutdownResponse",{"__typename":"AvmShutdownResponse"}]]]}
+

barretenberg/codegen/schemas/bb_curve_constants.json

@@ -0,0 +1,36 @@
+{
+  "bn254_fr_modulus": "30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001",
+  "bn254_fq_modulus": "30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd47",
+  "bn254_g1_generator": {
+    "x": "0000000000000000000000000000000000000000000000000000000000000001",
+    "y": "0000000000000000000000000000000000000000000000000000000000000002"
+  },
+  "bn254_g2_generator": {
+    "x": [
+      "1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed",
+      "198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c2"
+    ],
+    "y": [
+      "12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa",
+      "090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b"
+    ]
+  },
+  "grumpkin_fr_modulus": "30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd47",
+  "grumpkin_fq_modulus": "30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001",
+  "grumpkin_g1_generator": {
+    "x": "0000000000000000000000000000000000000000000000000000000000000001",
+    "y": "0000000000000002cf135e7506a45d632d270d45f1181294833fc48d823f272c"
+  },
+  "secp256k1_fr_modulus": "fffffffffffffffffffffffffffffffebaaedce6af48a03bbfd25e8cd0364141",
+  "secp256k1_fq_modulus": "fffffffffffffffffffffffffffffffffffffffffffffffffffffffefffffc2f",
+  "secp256k1_g1_generator": {
+    "x": "79be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798",
+    "y": "483ada7726a3c4655da4fbfc0e1108a8fd17b448a68554199c47d08ffb10d4b8"
+  },
+  "secp256r1_fr_modulus": "ffffffff00000000ffffffffffffffffbce6faada7179e84f3b9cac2fc632551",
+  "secp256r1_fq_modulus": "ffffffff00000001000000000000000000000000ffffffffffffffffffffffff",
+  "secp256r1_g1_generator": {
+    "x": "6b17d1f2e12c4247f8bce6e563a440f277037d812deb33a0f4a13945d898c296",
+    "y": "4fe342e2fe1a7f9b8ee7eb4a7c0f9e162bce33576b315ececbb6406837bf51f5"
+  }
+}