docs(demo): submission-safe gps_denied_recon replay demo (sim-only)#18
Conversation
There was a problem hiding this comment.
Pull request overview
Adds a static, reviewer-facing documentation demo for reproducing a deterministic software-only replay of the gps_denied_recon scenario (seed 42001) using the existing scripts/strix_sim_replay.py harness, including a captured output excerpt and a reproducibility checklist.
Changes:
- Add
Project_Docs/demo/DEMO.mdwalkthrough with exact replay command, determinism verification steps, and excerpted evidence blocks. - Add
Project_Docs/demo/replay_output.txtcontaining a reviewer-friendly excerpt (and derived timeline/table) of the replay evidence.
Reviewed changes
Copilot reviewed 2 out of 2 changed files in this pull request and generated 3 comments.
| File | Description |
|---|---|
| Project_Docs/demo/DEMO.md | New reviewer demo doc describing how to reproduce the deterministic replay and what to compare. |
| Project_Docs/demo/replay_output.txt | New captured/derived excerpt of replay evidence for the gps_denied_recon scenario run. |
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: c84a45c159
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Documentation-only. Adds a static, simulation-only reviewer demo for the
gps_denied_reconscenario (seed 42001), built from the existing deterministic replay path (scripts/strix_sim_replay.py).Project_Docs/demo/DEMO.mdandProject_Docs/demo/replay_output.txt. No Rust/Python source, manifest, or test modified —cargo test --workspaceand python evidence are unchanged.Project_Docs/CAPABILITY_BOUNDARY.md.scenario/metrics/envelopeblocks (checkout-independent) rather than a whole-file SHA (which embeds git metadata and varies per checkout).Passed the internal claim-wording review gate.