Skip to content

test(direct-room): compare anchor reconciliation across pages - #308

Merged
0thernet merged 1 commit into
mainfrom
codex/direct-room-anchor-page-partitions-20261011
Oct 11, 2026
Merged

0thernet merged 1 commit into
mainfrom
codex/direct-room-anchor-page-partitions-20261011

Conversation

@0thernet

Copy link
Copy Markdown
Member

Change

  • Add a 64-case Hegel regression for bounded anchor-reconciliation page partitions after a retained author chain learns an earlier owner seal.
  • Verify fresh admission remains fenced, signed interior forks and wrong terminals reject page-atomically, exact retries preserve the retained head, and only completed reconciliation permits a current-policy append.
  • Record the agent-decided lane and residual limits in the promotion-gates plan; no production semantics or bounds change.

Checks (Rust 1.98.1, locked offline Cargo cache)

  • Focused anchor_reconciliation_page_partitions_match_single_frame_replay: 1/1
  • cargo test --locked -p vhalla-direct-room: 23/23 protocol tests and doc tests
  • Strict package Clippy (--all-targets --all-features -- -D warnings), workspace fmt check, and git diff --cached --check: passed

Local protocol evidence only; no physical-crash, independent-machine, browser/WASM, live-network or release qualification. Exact-head Required and post-merge main remain integration gates.

@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 2:08pm UTC

Request Review

@0thernet
0thernet enabled auto-merge (squash) October 11, 2026 14:08
@0thernet
0thernet merged commit 3a4016a into main Oct 11, 2026
38 checks passed
@0thernet
0thernet deleted the codex/direct-room-anchor-page-partitions-20261011 branch October 11, 2026 14:18

This branch was successfully deployed

1 active deployment
Preview — 960a76c1 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