Website: add doc for replayer

Author: dannywillems

website/docs/developers/scripts/replayer/record-node-docker.sh

@@ -0,0 +1,14 @@
+#!/bin/bash
+# Record node execution using Docker
+
+# Create directory for recording
+mkdir -p mina-replay-test
+
+# Run node with recording enabled using Docker
+docker run --rm \
+  -v "$(pwd)/mina-replay-test:/root/.mina" \
+  o1labs/mina-rust:latest \
+  node \
+  --network devnet \
+  --record state-with-input-actions \
+  --work-dir /root/.mina

website/docs/developers/scripts/replayer/record-node.sh

@@ -0,0 +1,8 @@
+#!/bin/bash
+# Record node execution for debugging and replay
+
+# Run node with recording enabled
+mina node \
+  --network devnet \
+  --record state-with-input-actions \
+  --work-dir ~/.mina-replay-test

website/docs/developers/scripts/replayer/record-with-custom-dir-docker.sh

@@ -0,0 +1,14 @@
+#!/bin/bash
+# Record with custom directory using Docker
+
+# Create custom directory for recording
+mkdir -p my-custom-replay-dir
+
+# Run node with custom recording directory
+docker run --rm \
+  -v "$(pwd)/my-custom-replay-dir:/root/.mina" \
+  o1labs/mina-rust:latest \
+  node \
+  --network devnet \
+  --record state-with-input-actions \
+  --work-dir /root/.mina

website/docs/developers/scripts/replayer/record-with-custom-dir.sh

@@ -0,0 +1,14 @@
+#!/bin/bash
+# Record node execution with custom working directory
+
+WORK_DIR="$1"
+if [ -z "$WORK_DIR" ]; then
+  echo "Usage: $0 <work-directory>"
+  exit 1
+fi
+
+# Run node with recording enabled using custom directory
+mina node \
+  --network devnet \
+  --record state-with-input-actions \
+  --work-dir "$WORK_DIR"

website/docs/developers/scripts/replayer/replay-dynamic-effects-docker.sh

@@ -0,0 +1,10 @@
+#!/bin/bash
+# Replay with dynamic effects using Docker
+
+docker run --rm \
+  -v "$(pwd)/mina-replay-test:/root/.mina" \
+  -v "$(pwd)/my-effects.so:/effects/my-effects.so" \
+  o1labs/mina-rust:latest \
+  replay state-with-input-actions \
+  --dir /root/.mina/recorder \
+  --dynamic-effects-lib /effects/my-effects.so

website/docs/developers/scripts/replayer/replay-dynamic-effects.sh

@@ -0,0 +1,10 @@
+#!/bin/bash
+# Build custom effects library and replay with custom effects
+
+# Build custom effects library
+cargo build --release -p replay_dynamic_effects
+
+# Replay with custom effects
+mina replay state-with-input-actions \
+  --dir ~/.mina-replay-test/recorder \
+  --dynamic-effects-lib ./target/release/libreplay_dynamic_effects.so

website/docs/developers/scripts/replayer/replay-ignore-mismatch-docker.sh

@@ -0,0 +1,9 @@
+#!/bin/bash
+# Replay with build environment mismatch ignored using Docker
+
+docker run --rm \
+  -v "$(pwd)/mina-replay-test:/root/.mina" \
+  o1labs/mina-rust:latest \
+  replay state-with-input-actions \
+  --dir /root/.mina/recorder \
+  --ignore-build-env-mismatch

website/docs/developers/scripts/replayer/replay-ignore-mismatch.sh

@@ -0,0 +1,6 @@
+#!/bin/bash
+# Replay and ignore build environment differences
+
+mina replay state-with-input-actions \
+  --dir ~/.mina-replay-test/recorder \
+  --ignore-mismatch

website/docs/developers/scripts/replayer/replay-node-docker.sh

@@ -0,0 +1,8 @@
+#!/bin/bash
+# Replay recorded node execution using Docker
+
+# Replay from the recorded directory
+docker run --rm \
+  -v "$(pwd)/mina-replay-test:/root/.mina" \
+  o1labs/mina-rust:latest \
+  replay state-with-input-actions --dir /root/.mina/recorder

website/docs/developers/scripts/replayer/replay-node.sh

@@ -0,0 +1,5 @@
+#!/bin/bash
+# Replay recorded node execution
+
+# Replay from the recorded directory
+mina replay state-with-input-actions --dir ~/.mina-replay-test/recorder