feat(reddog): add guarded resident live canary harness#1288
Merged
Conversation
Foundup
marked this pull request as ready for review
July 18, 2026 08:07
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
What
Adds a guarded resident RedDog live-canary harness that can prove one real autonomous queue chain only when every persisted runtime boundary is causally and cryptographically consistent.
Why
The resident pipeline had many individually tested stages but no safe end-to-end proof that the same invocation advanced the same queue item through isolated worktree, verification, draft PR, outcome ratchet, PatternMemory, and stop. Earlier implementations were held after independent audits found concurrency, false-causality, fabricated-worktree, fabricated-PatternMemory, unsafe output-path, revision, and exact-transition gaps. This revision closes those blockers fail-closed.
Truth / safety boundary
Verification
LIVE_PROOF_INCOMPLETELIVE_PROOF_INCOMPLETEn-py_compileandgit diff --check` cleanMerge gate
Focused Linux/WSL suite is green (67 passed). Keep draft until CI exits successfully. Merge does not authorize a live canary run.