diff --git a/Justfile b/Justfile
index 346dc84b..9553c71a 100644
--- a/Justfile
+++ b/Justfile
@@ -8,6 +8,11 @@ METHODS_PATH := "program_methods"
 TEST_METHODS_PATH := "test_program_methods"
 ARTIFACTS := "artifacts"
 
+# On macOS the integration-test binary links pyo3 against the CommandLineTools
+# Python framework with no embedded rpath, so it needs this to launch. Empty on
+# Linux/CI, which is unaffected.
+DEMO_ENV := if os() == "macos" { "DYLD_FALLBACK_FRAMEWORK_PATH=/Library/Developer/CommandLineTools/Library/Frameworks" } else { "" }
+
 # Build risc0 program artifacts.
 build-artifacts:
     @echo "🔨 Building artifacts"
@@ -88,6 +93,19 @@ wallet-import-test-accounts:
 
     just run-wallet account list
 
+# Demo: cross-zone ping. Boots two zones on one Bedrock and sends a message from
+# zone A to zone B, where the indexer re-derives and verifies it (Option B)
+# before ping_receiver records it. Dev mode, no proving.
+demo-cross-zone-ping:
+    @echo "📡 Cross-zone ping demo (message A → B, indexer-verified)"
+    {{DEMO_ENV}} RISC0_DEV_MODE=1 cargo test -p integration_tests --release --test cross_zone_verified -- --nocapture
+
+# Demo: cross-zone wrapped-token bridge. Locks a balance on zone A and mints the
+# wrapped token to a recipient on zone B over the same verified spine.
+demo-cross-zone-bridge:
+    @echo "🌉 Cross-zone bridge demo (lock on A, mint on B)"
+    {{DEMO_ENV}} RISC0_DEV_MODE=1 cargo test -p integration_tests --release --test cross_zone_bridge -- --nocapture
+
 # Clean runtime data
 clean:
     @echo "🧹 Cleaning run artifacts"