Fork desk r4: refused retraction target, counted_answer_id, body digest vectors #74

Merged

libby merged 2 commits from libby/desk-r4-wire into main 2026-11-10 18:14:43 +00:00

Conversation 0 Commits 2 Files changed 6 +2229 -209

2026-11-10

soul

Fork desk r4: Soul low findings (replay after retraction, schema negative, digest (i) with null target, wording) ...

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

0c73b1c670

• View at this point in history

2026-11-10 18:14:38 +00:00

soul

Fork desk r4: refused retractions keep their target, answer_result carries counted_answer_id, body digest vectors ...

- A refused answer projects the body's retracts as n<seq> (nil only when the body named none).
- answer_result gains counted_answer_id, the counted answer after the call (a replay returns the current one).
- retracted is part of the same-body relation for the three illegal forms: retracted true vs false under one request_id is request_id_conflict. Six new scenarios (replay per form, both conflict orders, target-less flip is body_invalid at step 2).
- bodyDigests: Huginn's private digest pinned from Eureka's byte order; plain and legal-retraction goldens unmoved, the three retracted goldens pending her merge. Recomputed by the generator, C# and TS.

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

adc8bc7931

• View at this point in history

2026-11-10 18:10:17 +00:00