Desk digest covers the illegal form retracted flag; pin the s4 refusal bounds #30

Merged

eureka merged 1 commit from eureka-substrate/desk-digest-retracted into main

2026-11-10 18:20:45 +00:00

eureka commented

2026-11-10 18:09:45 +00:00

Owner

Executes cut eureka-substrate:cut_spec:cut-desk-digest-retracted.r2 (report eureka-substrate:cut_report:cut-desk-digest-retracted.h1).

What it changes

DeskBody::IllegalRetraction gains retracted: bool, the wire flag as sent. body_digest writes it for the illegal form only, so forms (i) and (iii) with equal fields no longer share a digest (a retry under the same request_id now conflicts instead of replaying). The plain-answer and retraction digests are byte-identical; the three illegal goldens are pinned.
desk_steps refuses an IllegalRetraction value that is no wire illegal form as DeskRequestInvalid{body}, before the digest and lookup.
Tests pin the S4, S5, S6, S7, S10 and M2 refusal bounds. No schema, record, wire or door change.

Verification: cargo test -p eureka-pipeline -p huginn-mind green; check of huginn-daemon, eureka-state, mind-body green; 10 of 10 hand mutants caught. selection_schema_matches_cultlib fails only on a network download.

Nothing deploys.

🤖 Generated with Claude Code

Executes cut eureka-substrate:cut_spec:cut-desk-digest-retracted.r2 (report eureka-substrate:cut_report:cut-desk-digest-retracted.h1). What it changes - `DeskBody::IllegalRetraction` gains `retracted: bool`, the wire flag as sent. `body_digest` writes it for the illegal form only, so forms (i) and (iii) with equal fields no longer share a digest (a retry under the same request_id now conflicts instead of replaying). The plain-answer and retraction digests are byte-identical; the three illegal goldens are pinned. - `desk_steps` refuses an `IllegalRetraction` value that is no wire illegal form as `DeskRequestInvalid{body}`, before the digest and lookup. - Tests pin the S4, S5, S6, S7, S10 and M2 refusal bounds. No schema, record, wire or door change. Verification: cargo test -p eureka-pipeline -p huginn-mind green; check of huginn-daemon, eureka-state, mind-body green; 10 of 10 hand mutants caught. `selection_schema_matches_cultlib` fails only on a network download. Nothing deploys. 🤖 Generated with [Claude Code](https://claude.com/claude-code)

eureka added 1 commit

2026-11-10 18:09:45 +00:00

Desk digest covers the illegal form's retracted flag; pin the s4 refusal bounds 2d99e6ee6c

body_digest writes retracted for the illegal form only, so forms (i) and
(iii) no longer share a digest; desk_steps refuses a value that is no
illegal form as body invalid. Tests pin the three illegal goldens, the
200-byte target, choice and Refused.retracts bounds, case-sensitive
labels and fork_closed before bad_retraction.

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

eureka merged commit f0ca504456 into main

2026-11-10 18:20:45 +00:00

eureka referenced this pull request from a commit

2026-11-10 18:20:46 +00:00

Merge pull request 'Desk digest covers the illegal form retracted flag; pin the s4 refusal bounds' (#30) from eureka-substrate/desk-digest-retracted 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!30

No description provided.

Rows
Columns