WIP Shadow test ai

.gitignore

@@ -33,3 +33,5 @@ target
 zkvm-prover/*.json
 .work/
 rollup/tests.test
+local-secrets.md
+tmp/

AGENTS.md

@@ -20,6 +20,22 @@ Follow the structured testing guide in [`docs/testing/openvm-upgrade-testing-gui
 4. End-to-end proving
 5. Docker image builds
 
+## Shadow Coordinator + Prover Testing (Production Task Replay)
+
+For testing proof generation against **real mainnet production tasks** without interfering with the live system, use the **Shadow Coordinator** approach. This is significantly faster than a full shadow fork:
+
+- **Architecture**: Local coordinator (`:8390`) + local prover (GPU), fed by imported production task data.
+- **Docs**: [`docs/shadow-testing/README.md`](docs/shadow-testing/README.md) — full setup guide, troubleshooting, config reference.
+- **Quick Start**: [`scripts/shadow-testing/QUICKSTART.md`](scripts/shadow-testing/QUICKSTART.md)
+- **Automation**: [`scripts/shadow-testing/setup.sh`](scripts/shadow-testing/setup.sh) — one-command setup for postgres, coordinator, and prover.
+
+Key hard-won rules:
+- **L2 RPC**: Must support `debug_executionWitness`. `https://mainnet-rpc.scroll.io` works; `https://rpc.scroll.io` does not.
+- **S3 circuit URLs**: v0.8.0 uses `v0.8.0/` prefix (no `/releases/`).
+- **l2_block table**: Coordinator needs this for block hash lookups. Must be populated and linked via `chunk_hash`.
+- **Blocks**: Must be post-fork (GalileoV2 / codec V10 = blocks ≥ 33,750,000 on mainnet).
+- **L1 messages**: If chunks contain L1 messages, prover needs `scroll_getL1MessagesInBlock` RPC support. Most chunks at current mainnet height do NOT contain L1 messages, so this is usually non-blocking.
+
 ## Useful Commands
 
 ```bash
@@ -116,4 +132,5 @@ make coordinator_setup
 | [`docs/prover-coordinator-overview.md`](docs/prover-coordinator-overview.md) | Architecture, data flow, component relationships, common operations |
 | [`docs/testing/openvm-upgrade-testing-guide.md`](docs/testing/openvm-upgrade-testing-guide.md) | Step-by-step testing checklist after OpenVM / zkvm-prover upgrades |
 | [`docs/testing/docker-compose-e2e-guide.md`](docs/testing/docker-compose-e2e-guide.md) | Production-like E2E testing with Docker Compose + Coordinator Proxy |
+| [`docs/shadow-testing/README.md`](docs/shadow-testing/README.md) | Shadow coordinator + local prover setup for production task replay |
 | [`docs/testing_reports/openvm-v1.6.0-guest-v0.8.0-May19.md`](docs/testing_reports/openvm-v1.6.0-guest-v0.8.0-May19.md) | Test report for PR #1783 (OpenVM 1.6.0, guest v0.8.0) |

common/version/version.go

@@ -5,7 +5,7 @@ import (
 	"runtime/debug"
 )
 
-var tag = "v4.7.13"
+var tag = "v4.7.13-openvm16"
 
 var commit = func() string {
 	if info, ok := debug.ReadBuildInfo(); ok {