Desk door reads: Forks and Fork on the peer-checked socket (whole record), unique order rank, the leftover Lows #38

Merged

eureka merged 9 commits from eureka-substrate/desk-door-reads-r2 into main 2026-11-11 00:46:59 +00:00

Conversation 0 Commits 9 Files changed 15 +3295 -196

eureka commented 2026-11-11 00:46:55 +00:00

Owner

Copy link

Follow-ups desk-door-reads-r2, chat-s5699-5702, chat-s5705-5705, desk-reads-order-uniqueness, desk-reads-order-from-shared-ordinals.

• Mind::desk_forks / desk_fork and the door dispatch; the interim 'desk reads not built' refusal is deleted.
• Ruling desk-read-visibility-whole-record: Huginn returns the whole record, notes included; Bifrost strips at the door. The trust boundary (only Bifrost's peer-checked socket may reach Huginn) is pinned in the code docs. Reads carry no authority (refused whole, tested over the socket).
• order is a unique 0-based rank over the Mind's questions in (admission ordinal, key) order (CultLib #86, 9d6ee72e); pages fill to the response byte budget; DeskForkTooLarge only for a lone oversize first entry.
• Vendored fork-card vectors updated to 9d6ee72e.
• Lows: the never-reads test fails by assertion instead of hanging; the unread replayed flag of Mind::desk_answer is deleted.
• Two Soul passes (first BLOCKED, second HOLDS). No deploy: desk-door-ops-r2 needs a root seat and a dedicated peer uid.

🤖 Generated with Claude Code

Follow-ups desk-door-reads-r2, chat-s5699-5702, chat-s5705-5705, desk-reads-order-uniqueness, desk-reads-order-from-shared-ordinals. - Mind::desk_forks / desk_fork and the door dispatch; the interim 'desk reads not built' refusal is deleted. - Ruling desk-read-visibility-whole-record: Huginn returns the whole record, notes included; Bifrost strips at the door. The trust boundary (only Bifrost's peer-checked socket may reach Huginn) is pinned in the code docs. Reads carry no `authority` (refused whole, tested over the socket). - `order` is a unique 0-based rank over the Mind's questions in (admission ordinal, key) order (CultLib #86, 9d6ee72e); pages fill to the response byte budget; DeskForkTooLarge only for a lone oversize first entry. - Vendored fork-card vectors updated to 9d6ee72e. - Lows: the never-reads test fails by assertion instead of hanging; the unread replayed flag of Mind::desk_answer is deleted. - Two Soul passes (first BLOCKED, second HOLDS). No deploy: desk-door-ops-r2 needs a root seat and a dedicated peer uid. 🤖 Generated with [Claude Code](https://claude.com/claude-code)

eureka added 9 commits 2026-11-11 00:46:56 +00:00

Desk reads: the wire types, the request fields and the failing tests (stub reads answer fork_unknown) ... a37bd4f85f

Types ForkCard/Record/Entry/List, ForkCursor and ForkLimit validated at decode, DeskRequest::Forks
gains status/cursor/limit flat, DeskResponse gains Forks and Fork, the daemon dispatches to
Mind::desk_forks/desk_fork (stubs). Vectors vendored at CultLib e57fbaee. The tests pin the rules
the next commit implements; DESK_READS_UNBUILT and its test are gone.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

Desk reads: Mind::desk_forks and desk_fork project card, record and entry at one snapshot ... 707642bd54

Newest first by admission ordinal, cursor strictly below, counts over the showable set, limit 0 is
counts and stamp. Whole record to the peer-checked socket; the trust boundary is pinned in the
desk_door module doc and the DeskRequest/DeskResponse docs. Published schemas regenerated.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

Desk reads: page budget and same-order groups, failing tests first (DeskForkTooLarge, DESK_PAGE_BUDGET; the fill is not yet written) ... e9757d7f45

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

Desk reads: a page fills to the response budget and never splits a same-order group ... 31cc69922e

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

Desk door tests: a peer that never reads fails the suite by assertion in five seconds, not by hanging it ... 3b775a23c8

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

Desk answer: delete the replayed flag nobody read; tests assert that a replay commits nothing ... aeeb36ad2a

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

Desk door test: the page is short of the bound by the Mind's fill; a group past the budget is the Mind's refusal ... 071dc8e345

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

Desk reads: order is a unique 0-based rank; failing tests first (batch of 64 pages, rank stability, gaps, lone oversize, vectors replay); DeskForkTooLarge names the order ... 288d17cad3

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

Desk reads: order is a unique 0-based rank by (admission, key); pages hold at most limit and stop at the byte budget; a lone oversize first entry is the named refusal with its order; vectors re-vendored from CultLib 9d6ee72e ... 9e7dca2716

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

eureka merged commit 2662a34a41 into main 2026-11-11 00:46:59 +00:00

eureka referenced this pull request from a commit 2026-11-11 00:46:59 +00:00

Merge pull request 'Desk door reads: Forks and Fork on the peer-checked socket (whole record), unique order rank, the leftover Lows' (#38) from eureka-substrate/desk-door-reads-r2 into main

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

GameCult/Huginn!38

No description provided.