Desk digest covers the illegal form retracted flag; pin the s4 refusal bounds #30
2026-11-10
Desk digest covers the illegal form's retracted flag; pin the s4 refusal bounds
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>