Housekeeping: four cheap Soul lows (tag form, separators, mint prose, create tag pin)

weksa commented

2026-11-13 16:10:45 +00:00

Member

Closes the cheap findings left from the weksa-lowering triage: is_language_tag refuses bare singletons and malformed short subtags and its branches are pinned; indented() separators asserted directly; mint prose states the enforced 64-entry cap; RunStores::create's tag clause pinned over a legacy-cased corpus.

Soul verdict weksa-lowering:verdict:cut-lows-housekeeping.s1 (range 36297f8..7e3b402, all claims hold; its Low on unpinned branches fixed in d056f91, tests only). Full cargo test -p weksa and clippy clean.

🤖 Generated with Claude Code

Closes the cheap findings left from the weksa-lowering triage: is_language_tag refuses bare singletons and malformed short subtags and its branches are pinned; indented() separators asserted directly; mint prose states the enforced 64-entry cap; RunStores::create's tag clause pinned over a legacy-cased corpus. Soul verdict weksa-lowering:verdict:cut-lows-housekeeping.s1 (range 36297f8..7e3b402, all claims hold; its Low on unpinned branches fixed in d056f91, tests only). Full cargo test -p weksa and clippy clean. 🤖 Generated with [Claude Code](https://claude.com/claude-code)

weksa added 4 commits

2026-11-13 16:10:45 +00:00

form: language tag is BCP 47 well-formed on singletons and short subtags; pin private-use case 3cfc75c1ae

Reject a singleton with nothing after it (x, en-x, en-u), singleton
directly after singleton, one-digit and two-digit non-region subtags
(en-0, en-12), and uppercase private-use subtags (x-AB).

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

context: pin indented() separators directly; mint prose matches the enforced entry cap dbe1038682

indented() is asserted for CR, VT, FF, NEL, LS, PS and CRLF without str::lines.
The mint instructions said 1 to 8 entries but only 64 per language is enforced;
the prose now says what is enforced. PROMPT_SOURCE_DIGEST is computed from the
source, so it moves with this edit and needs no literal update.

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

test: pin the tag-form clause of RunStores::create against a legacy-cased corpus 7e3b40279e

An en-us corpus item is accepted by check_panel (open does not revalidate), so
only is_language_tag in create refuses the panel en-us.

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

form: pin the pending, singleton-case, extension-case and private-use branches of is_language_tag d056f91164

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

weksa merged commit bf571926c2 into main

2026-11-13 16:10:48 +00:00

weksa referenced this pull request from a commit

2026-11-13 16:10:49 +00:00

Housekeeping: four cheap Soul lows (tag form, separators, mint prose, create tag pin) (#83)

Rows
Columns

Housekeeping: four cheap Soul lows (tag form, separators, mint prose, create tag pin) #83