Prose matches evidence: ALS-T8 / T16 / S3 rewritten to their fixtures (reference-evaluator findings F7–F9)

[O6lvl4]

Closes #43, closes #44, closes #45 — the three places the reference evaluator's second pass (docs/ref/PARSER-NOTES.md F7–F9) found normative prose contradicting the executable evidence it cites. The fixtures win; the text now says what they pin.

• ALS-T8 — int.parse trims the ALS-T1 Unicode White_Space set first; int.from_hex has its real grammar (trim → lowercase 0x stripped repeatedly → sign → hex digits; 0X10 and -0xff are invalid digits, 0x alone is empty). C-028 retitled to match (its statement was already right).
• ALS-T16 — a table: unsigned COUNTS saturate (take(-1) = whole, drop(-1) = empty), the repeat family is signed (negative → empty), string.slice start/end signed, list INDICES unsigned (OOB → no-op/default/append). The old 負→0 sentence is gone.
• ALS-S3 — per-predicate table: is_alpha/is_alphanumeric full-Unicode and nonempty, is_digit ASCII-only and nonempty, is_upper/is_lower Python-style (≥1 cased, all cased hold), is_whitespace vacuously true on "". The one-size vacuous-truth sentence is gone. C-100's "ASCII alphanumeric" claim corrected (the probe matrix shows Unicode; its own fixture only has ASCII rows).
• Each section has a judged example (doctest 182/192 on 0.58.0; the 10 red are the known judge-ahead rules) and a validation row in proofs/als-validation.toml — reviewed by the author against the named fixtures and a both-target probe run, independent = no — ceiling 127 → 124 (a tightening, riding along as the ratchet-separation gate allows).
• Ratchet-separation ledger row: first real range (the other session's Reference evaluator, stdlib round 1: 217 functions from the chapters — 412/610 evaluated, 409 agree, abstains 434 to 198; exact float text; findings F7-F10 #42) passed — green direction observed.

Author / verifier record

role	who	independent?
authored	Claude (this session), on behalf of @O6lvl4	—
verified	the gates + the same session; the reference evaluator (other session) implements the same fixture-pinned behaviour	no

🤖 Generated with Claude Code