[afflom]

BS-10: the literal values of the Rust lowering (#92 step 4, first pass of the lowering of terms)

lowerValueAt of the new module RustTerms lowers the literal that is the body of a function of a program as Lowering::value does. value is private to the renderer, whose files the compiler-semantics digest frames, so nothing in calculus/rust/ changes; the root is held, to the byte, to the tail of that function in the crate rust::lower returns (no later pass changes a one-expression block; the case asserts no binding).

Certificate parts

Root	Part A	Part B	Part E	Largest / max_file_bytes	Budget 3,145,728
lowerValueAt	2,004,962	1,879,973	247,001	47.8%	under
useTrees (second typing root, branch history)	3,143,245	3,038,999	121,053	75.0%	under by 2,483

Exports: lowerValueAt 20m36s (first form 2,020,313 / 1,896,324 / 247,001, 21m48s, before the sign and upper-case digit branches the checker never lets through were removed); useTrees 20m35s.

Held by

• 358 explicit runs (scalars at the ends of their ranges in five contexts, composites, ADTs that hold themselves or each other, the absent option of a function type), rustc on every host.
• Normative host: evaluator on those and 150 seeded runs; rustc on 1,500 further seeded runs; ten planted defects each detected; the production export.
• No run expects a refusal (the checker refuses every literal the lowering would); the case asserts it.

Stack bound and records

The debug harness needs 4,390,912 bytes (explicit 1,048,576); the PD-08 row, the lock, the goldens and the package lower_value_at are the maintainer's, regenerated at the landing. The case runs to the comparison with the committed packages.

Project limit

The bootstrap project configures max_total_source_bytes = 134217728: the export of all its roots passed the default at this root (67,815,299 bytes), and the term-lowering passes need about 100 MB.

Corpus counts of the stack (BS-05..BS-08), for the landing

Measured on this branch before the merge of release/v0.4 (with the local packages of the stack): 261 committed manifests, 178 programs, 237 crates; BS-05 457 validateCrate and 320 correspondCrate vectors; BS-06 617 vectors of printCrate, 474 distinct committed crates, 543 of the evaluator's; BS-07 312 vectors; BS-08 353 crates; each case run to its count assertions only (400 to 900 s). After the merge the line's own figures stand for BS-05 and BS-06, and the stack's recount is the landing's.

Register

BS-09 on the line is the runtime validator, so this row is BS-10; the register is 453 after the merge of release/v0.4 (450 and BS-07, BS-08, BS-10 of this stack). Draft, stacked on claude/issue-92-rust-lower-bodies (#282); release/v0.4 (896b7bd) is merged into the branch.

https://claude.ai/code/session_0163mCfJeketviuEBiXJ1sQY

---

Generated by Claude Code

[afflom]

Maintainer: closed as a stacked draft whose commits are contained in #315 (e6a6d8eeec), which lands the whole bootstrap stack as one regeneration (owner direction, #15: one PR per landing). Nothing is lost; the review happens on #315.

---

Generated by Claude Code