Desk reads: a read of an oversize fork is fork_too_large; vectors re-vendored from CultLib f6c9bf5f #40

Merged

eureka merged 4 commits from eureka-substrate/read-fork-too-large into main

2026-11-11 01:39:41 +00:00

eureka commented

2026-11-11 01:39:40 +00:00

Owner

Follow-ups chat-s5747-5747, chat-s5751-5751, fork-too-large-vectors.

Libby's ruling: fork_too_large (422) also on a read of one oversize fork; the text names the fork id, no order or cursor. The rule sits in desk_door.rs respond(), the one place that measures the reply against DESK_MAX_RESPONSE_BYTES; every other oversize reply stays ResponseTooLarge. Before: a read past the cap was Refused(ResponseTooLarge{bytes, limit}) in a rejected OperationResponse, no text or fork id.
fork-card vectors re-vendored byte-identical from CultLib f6c9bf5f; listShortPages and the refusal documents replay byte for byte; a property replay checks the refusals name the fork (contract pins no exact text). HTTP statuses, doorFaults, request_id_conflict answer-only, mindRoutes and authCases have no Huginn judge.
Two Soul passes HOLD (Lows: exact-cap boundary for a Fork read not pinned; property replay calls the text functions directly).
Nothing deployed.

🤖 Generated with Claude Code

Follow-ups chat-s5747-5747, chat-s5751-5751, fork-too-large-vectors. - Libby's ruling: fork_too_large (422) also on a read of one oversize fork; the text names the fork id, no order or cursor. The rule sits in desk_door.rs respond(), the one place that measures the reply against DESK_MAX_RESPONSE_BYTES; every other oversize reply stays ResponseTooLarge. Before: a read past the cap was Refused(ResponseTooLarge{bytes, limit}) in a rejected OperationResponse, no text or fork id. - fork-card vectors re-vendored byte-identical from CultLib f6c9bf5f; listShortPages and the refusal documents replay byte for byte; a property replay checks the refusals name the fork (contract pins no exact text). HTTP statuses, doorFaults, request_id_conflict answer-only, mindRoutes and authCases have no Huginn judge. - Two Soul passes HOLD (Lows: exact-cap boundary for a Fork read not pinned; property replay calls the text functions directly). - Nothing deployed. 🤖 Generated with [Claude Code](https://claude.com/claude-code)

eureka added 4 commits

2026-11-11 01:39:40 +00:00

Desk door: failing socket test, a read of an oversize fork is fork_too_large naming the fork 5af0cbea65

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

Desk door: a read of one fork past the reply cap is fork_too_large naming the fork (no order, no cursor) 4c1f247898

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

Vectors re-vendored from CultLib f6c9bf5f; replays of short pages and fork_too_large refusals; the refusal-text replay fails on a real disagreement 9d0a30947a

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

Refusal replay is a property over the vectors' cases; the vector's error string is Huginn-independent 711514602b

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

eureka merged commit 797255eefe into main

2026-11-11 01:39:41 +00:00

eureka referenced this pull request from a commit

2026-11-11 01:39:41 +00:00

Merge pull request 'Desk reads: a read of an oversize fork is fork_too_large; vectors re-vendored from CultLib f6c9bf5f' (#40) from eureka-substrate/read-fork-too-large into main

No reviewers

No labels

No milestone

No project

No assignees

1 participant

Notifications

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!40

No description provided.

Rows
Columns