Phase 4: fix demo reset — --profile stream down -v wipes the Spark checkpoint

Phase 4: make record_demo.md commands runnable on Windows/PowerShell

Phase 4: unify — query the streamed proof-tier index with the shared search stack