Skip to content

test(direct-native): retain pending seals across bounded restart replay - #305

Merged
0thernet merged 1 commit into
mainfrom
codex/native-pending-seal-replay-20261011
Oct 11, 2026
Merged

0thernet merged 1 commit into
mainfrom
codex/native-pending-seal-replay-20261011

Conversation

@0thernet

Copy link
Copy Markdown
Member

Agent-decided, owner may revisit (2026-10-11): add a native public-room controller regression for a retained owner seal over 160 frames. Through real RoomSession and private temp stores, a joined reader remains fenced across reopen with incomplete messages and exact operation retries; out-of-order bounded catch-up and another reopen cannot leap a missing frame. A bad-signature frame has no durable effect; its valid exact retry plus bounded reconciliations reaches the exact seal, and final reopen retains signed terminal and local operation bytes. No wire or production API changes. Handoff and local evidence recorded in kb/plans/valhalla-promotion-gates.md.

Local Rust 1.98.1, locked: focused exact test (1/1); cargo test -p vhalla-direct-native (69 lib, 5 integration); strict package Clippy all targets/features; fmt check; staged diff check. Cargo Git dependencies fetched with CARGO_NET_GIT_FETCH_WITH_CLI=true after native libgit TLS failed. Await exact-head Required and post-merge main Required; this does not qualify physical crash, independent machine, WASM, network availability, Railway, or release readiness.

@vercel

vercel Bot commented Oct 11, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated
valhalla Ready Ready Preview Oct 11, 2026 8:31am UTC

Request Review

@0thernet
0thernet enabled auto-merge (squash) October 11, 2026 08:32
@0thernet
0thernet merged commit 884285e into main Oct 11, 2026
37 checks passed
@0thernet
0thernet deleted the codex/native-pending-seal-replay-20261011 branch October 11, 2026 08:41

This branch was successfully deployed

1 active deployment
Preview — ace210d6 Deployed Oct 11, 2026 by vercel[bot]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant