vocabulary: register into_response as one atom #103

Merged
PerishFire merged 1 commit from lexicon into main 2026-07-21 07:17:04 +00:00
Owner
No description provided.
vocabulary: register into_response as one atom
All checks were successful
guard / guard (pull_request) Successful in 1m27s
a6b433e124
The registry is a lexicon, not an exemption list. The law says a name is
one atom; a compound is debt because it is not a word. Registering says
this token IS a word here — which is true of into_response and false of
everything else on the list.

The test is whether the author can decompose it. hit_map, check_pred and
bags_mut could: they had real structure inside — a dispatch, a receiver,
a paired accessor — and refactoring recovered it. into_response has none.
It is not a compound this codebase composed; the name belongs to axum's
IntoResponse, so the impl binds it rather than choosing it.

That it cannot be dissolved is measured, not assumed. The one route that
removes it is From<Fault> for Response, which compiles — I checked
against axum 0.8 — but axum has no blanket impl bridging Into<Response>,
so every handler must then return Result<_, Response> instead of
Result<_, Fault>. Three debts for the error type of 29 handlers is not a
refactor, it is trading type information for a count.

Clears all three sites at once: keel's serve/fault, gate's Deny, blob's
Fault. Nothing else in the fleet needs this — every other foreign trait
implemented by hand (Display, Error, From, Default, Clone) already has a
single-word method, and codehull hand-writes no trait impls at all.

Worth noting for later: try_from, from_str, partial_cmp, size_hint and
into_iter are the same shape and are simply not implemented yet here.

Debt 7 -> 4. What is left is set_tie, four sites, load-bearing in
bond.md's W1b ruling and awaiting a naming decision.
PerishFire deleted branch lexicon 2026-07-21 07:17:05 +00:00
Sign in to join this conversation.
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
PerishLab/keel!103
No description provided.