release: isolate pinned CKB backend validation

Author: a19q3

CHANGELOG.md

@@ -9,7 +9,10 @@
   methods while historical evidence identifiers remain readable. Make the
   tooling-release gate parse website scripts structurally and enforce the
   stable build steps in order, so adding intermediate regression checks no
-  longer breaks CI through an obsolete exact-string comparison.
+  longer breaks CI through an obsolete exact-string comparison. Let the full
+  backend stateful audit use an explicit isolated pinned CKB checkout through
+  `CELLSCRIPT_CKB_REPO`, avoiding any need to modify an unrelated sibling CKB
+  worktree during release validation.
 - Turn the browser Playground into a recoverable Cell-oriented workbench.
   Browser-local workspace snapshots now retain source files, entry selection,
   active panels, and an honest saved/dirty state across refreshes. Failed

docs/CELLSCRIPT_GATE_POLICY.md

@@ -123,6 +123,13 @@ and validates every step's commit, spent-input liveness, live outputs, cycles,
 serialized size, and occupied capacity. `--stateful-scenarios` remains only as
 an explicit option for bounded runs.
 
+The backend gate normally resolves that checkout as the sibling `../ckb`
+directory. When that path is occupied by another development worktree, set
+`CELLSCRIPT_CKB_REPO` to a separate clean checkout at the exact pinned revision;
+the stateful wrapper forwards it as the acceptance harness's `--ckb-repo`.
+This avoids modifying or stashing an unrelated CKB worktree during release
+validation.
+
 The transaction matrix is produced by the native Rust acceptance harness and
 is intentionally labelled as recipe-replayer evidence, not generated-builder
 output. Separately, the gate runs the public `cellc action build` and

docs/releases/CELLSCRIPT_0_23_RELEASE_NOTES.md

@@ -339,6 +339,13 @@ ABI and generated RISC-V validation:
 ./scripts/cellscript_gate.sh backend
 ```
 
+If the default sibling `../ckb` is already used for other work, point the
+stateful backend audit at an independent clean pinned checkout:
+
+```bash
+CELLSCRIPT_CKB_REPO=/path/to/pinned/ckb ./scripts/cellscript_gate.sh backend
+```
+
 Production release evidence:
 
 ```bash

scripts/cellscript_ckb_stateful_scenarios.sh

@@ -3,4 +3,12 @@ set -euo pipefail
 
 SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
 
+if [[ -n "${CELLSCRIPT_CKB_REPO:-}" ]]; then
+  exec "$SCRIPT_DIR/ckb_cellscript_acceptance.sh" \
+    --production \
+    --stateful-scenarios \
+    --ckb-repo "$CELLSCRIPT_CKB_REPO" \
+    "$@"
+fi
+
 exec "$SCRIPT_DIR/ckb_cellscript_acceptance.sh" --production --stateful-scenarios "$@"