review_valve.t27: name an effect give-up instead of reading it as UNRECORDED #7092

Problem

#7059 (PR #7091) makes control.t27 end an attempt with DO_GIVE_UP after EFFECT_RUN_LIMIT runs of one effect key. dispatch.t27 counts it as a real attempt (counts_against_issue(false)). Once retry_allowed is spent, the dispatch escalates.

review_valve.t27 then reads the kind back from the row's counters:

escalation_kind(criteria, send_back_ceiling, dead_letter, reviewer_gave_up)

An effect give-up sets none of those flags. Its criteria exist, the reviewer did not send it back, it is not a dead letter, and the reviewer did not give up. So it falls through to KIND_UNRECORDED.

That is bounded: next_step(KIND_UNRECORDED, ...) holds until the floor, releases, and closes after the counted releases. But the reason is lost exactly where the runtime knew it. A turn that crashed its holder three times (a provider or runtime fault) looks the same as a row nobody can explain. It gets the same floor, and the close note says nothing about the crash loop.

Fix

• Add KIND_EFFECT_GAVE_UP : u8 = 8 after KIND_BASE_TRUTH_ALONE, so no existing code moves (the BrowserOS runtime mirrors these numbers).
• Add escalation_kind_recorded(recorded: u8, ...) or a fifth flag effect_gave_up, checked after reviewer_gave_up. A runtime that records the reason passes it, and a row that does not still reads UNRECORDED.
• next_step(KIND_EFFECT_GAVE_UP, ...): release at once (no floor). Another holder on another runtime is the cure for a crash loop, and dispatch's ceiling already bounds the total. Close after the counted releases, with the reason in judged_note.
• Tests:
  • a give-up row reads KIND_EFFECT_GAVE_UP only when recorded;
  • it releases without a hold;
  • holds_files of its step is false;
  • an invariant keeps the kind codes distinct.

Acceptance criteria

• t27c parse|typecheck|gen-rust|gen-verilog|gen-c specs/queen/review_valve.t27 exit 0.
• t27c gen + zig test: all tests pass, and test-report shows 0 vacuous.
• tri mutate spec --file specs/queen/review_valve.t27: every mutant on the new lines is killed.
• The kind codes 0..7 keep their values.

Found while landing #7059 (queen-actors loop, epic #6971). Refs #7059, #6971.