Desk wire, part 1: Libby's answer documents, the one n<seq> conversion, the projection and Mind::desk_answer #31

Merged
eureka merged 14 commits from eureka-substrate/desk-wire into main 2026-11-10 19:44:17 +00:00

2026-11-10

Desk wire tests: the replay's id map is asserted one-to-one
S11 applied with the sequential check off and seen to fail on it. Finding desk-wire-replay-id-map-not-injective.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-10 19:23:25 +00:00
Desk wire tests: a key outside its fork's n<seq> form projects Unavailable; the conversion round-trips over many sequences
Soul's S12 (a second converter that agrees on every legal key) applied and seen to fail. Finding desk-wire-second-converter-evades-grep.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-10 19:23:03 +00:00
Desk wire tests: request id, retracts, note, choice and Unavailable pass through as sent
Padded, cased and trailing-junk spellings added to the existing tables; Soul's S1, S8, S9, S10 each applied and seen to fail. Finding desk-wire-pass-through-unpinned.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-10 19:22:29 +00:00
Desk wire tests: as_of pinned on refused and uncounted answers; the gate tried with a retraction and an illegal form
Kills Soul's S2, S3 and S5 (each applied and seen to fail). Finding desk-wire-asof-and-gate-thinly-pinned.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-10 19:21:39 +00:00
Desk wire: an over-long fork id is fork_unknown, pinned by exact field
Her vectors hold no over-long fork id (deviation recorded). Finding desk-wire-long-fork-id-body-invalid.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-10 19:20:50 +00:00
Desk wire: the nullable keys her schema requires must be sent
Finding desk-wire-required-keys-optional.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-10 19:20:10 +00:00
Desk wire: the showability gate no longer shadows a stored answer's replay
answer_desk's (answerer, request_id) lookup is now bound_answer, pub(crate) in desk.rs, and
Mind::desk_answer asks it so the gate runs only when nothing is stored. Finding
desk-wire-gate-shadows-replay.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-10 19:19:16 +00:00
Desk wire tests: a replayed revision keeps its stored word while it counts
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-10 18:44:37 +00:00
Desk wire: clippy-clean test spelling and the contract named without the card word
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-10 18:37:22 +00:00
Desk wire: Libby's answer documents, the one n<seq> conversion, the projection and Mind::desk_answer
Vendors fork-card-vectors.json at CultLib 8ca1d184 and retires the options-hash file it contains.
answer_desk's dead-code allowance goes: desk_answer is its live caller. No card is built here.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-11-10 18:31:27 +00:00