[afflom]

What

Closes #252 and #251; the wording items of the #34 claim audit, plus CHANGELOG.md entries for the landed v0.4 slices. Draft. Base: release/v0.4 @ cee0fbade.

1. Wording (committed): README text-component rows no longer say "first/second/third slice"; production-coverage is 36 roots across five modules and its coverage of the registry is shared with production, models, reasoning and OR-02's probes (the same overclaim the [v0.4] #34 closure: example READMEs and README claim wording #250 review caught in the example README, here in README line 134); SPEC §4.2 states its list is the language-1.0 boundary; SPEC §17.14 points at certificates B and E and keeps rustc agreement as build evidence. "All 436 … pass" and the Install section are untouched, as directed. CHANGELOG.md records the landed v0.4 slices (Wave 4: SL-02 (SHA-256), BS-03 (primitive scanner), PD-08 (stack bounds) and the ready #33/#34 drafts #216, Identity wave: refuse the data form (#149), #91 stages 2 and 3, RP-15, the diagnostic schema, certificate A of lists (#208), D1; every identity regenerated #219, Wave 6: LLS8002 (#215), BS-04 (#92 step 4), SP-20 and RB-14 (#91 stage 4, #105 step 2); the language-1.2 identity regenerated #220, Slice 3 of #30: text classifiers, composition and adapters, no prompt as code (LM-07..LM-09) #221, std-models, std-reasoning, and the helpdesk application (#32, L2.3) #225, [v0.4] #34 closure: example READMEs and README claim wording #250) under [Unreleased].
2. Four negative fixtures (committed, Four public refusals have no committed negative fixture: LLB6005, LLB6006, LLB6007, LLT4016 #252): production-package-name-keyword → LLB6005 (a Rust keyword as crate name), gnaf-request-malformed → LLB6006, gnaf-certificate-malformed → LLB6007 (a valid committed GNAF request with a truncated certificate), text-window-zero-capacity → LLT4016. Each is a minimal project refused with exactly its code, written through check-fixtures --write (no existing fixture changed) and registered in EX-07's prescribed table (285 → 289). The inline plants stay. Cost to accept: the request fixtures embed the target descriptor digest, which binds to the current compiler identity, so they are re-pinned when #91 stage 4, PR 4: the width families of the core runtime as source (RB-16, SP-22) #248 lands.
3. Retitling of the seven examples (committed, Seven examples carry the literal example's \title{Natural number addition} #251): collections, higher-order, language-1.2, production, production-coverage, recursion, and recursive-data each gain a glossary/<pkg>.titles path glossary with one label-word entry per module (the fold-laws pattern) and their modules are retitled; re-locked, expected/build and expected/verify regenerated via check-golden --write and verify-examples --write. SM-23 downgrades languagetwelve.titles/lexicon.toml alongside lexlean.toml and src/Main.lex.tex when testing language 1.1 and 1.0.

Not touched

No register row, model/ids.toml, language data, schema or compiler source. EX-07 and SM-23 are the only gate sources edited.

Evidence

• check-fixtures --write wrote only the four new fixtures; each expected/diagnostics.json carries exactly its code; no host path in any expected/ file.
• verify-examples --write Lean verification wall times (pinned Lean 4.32.1): collections 14 s, higher-order 1 s, language-1.2 1 s, production 268 s, production-coverage 704 s, recursion 14 s, recursive-data 2 s.
• cargo xtask validate (436 ids, 86 codes), cargo xtask check-test-inventory (766 tests = 285 + 481), cargo xtask check-fixtures (295 fixtures), cargo xtask check-golden (all examples + compiler + stdlib + std-models + std-reasoning + bootstrap + 18 tooling artifacts), conformance_ex_07, and conformance_sm_23 all pass.

[afflom]

Back to draft until its landing: the head ca9f64314 is 363 commits behind release/v0.4 (a1b925dc6, post-tag), so a ready run on it is a whole gate spent on a tree that cannot pass, which #131 is about. It is queued as a 0.4.x landing after #305 (H7-audit, in landing now) and #247 (#30 slice 4): I merge the line in, regenerate the fixtures and the expected records of the retitled examples on the line's identity, and run the gate once on the result. Nothing is needed from the author or from hh before then; marking it ready is part of the landing.

---

Generated by Claude Code

[afflom]

Merged release/v0.4 (842707d28); relocked and repinned the four negative fixtures (0122fd80e). Each fixture is still refused with exactly its code. No identity moves.

Left: expected/verify of the seven retitled examples needs cargo xtask verify-examples --write under Lean 4.32.1, then check-golden. Back to draft, and I cancelled run 41159204529, which could only fail on that.

---

Generated by Claude Code