Repository navigation
Conversation
|
@afflom @humuhumu33 Ready for review.
|
|
@afflom @humuhumu33 Full ready-for-review gate run 39097581738 is 25/25 green ( |
|
Rebased onto |
b3a0d98 to
6a8c5b5
Compare
|
@afflom @humuhumu33 Full ready-for-review gate run 39113611038 is 25/25 green ( |
#173 (#169) and #174 (#170) (#171) Closes #169 Closes #170 Refs #92 BS-02 (TokenAudit as language-1.2 source, lex and auditTokens as rust-std roots held to production::preserve), #173 (RT-04 scanner blanks only test items), #174 (tracked tree holds nothing the walkers skip). Register 414. Gate: run 39125361480 on 1df1b9f, 25/25 green. Merged by the maintainer on the owner's rule: green gate and the linked issues' DoD met.
|
Landed through wave 2, #171, merged to Generated by Claude Code |
…0-slice2 The merged tree is main plus the slice-2 sources; generated records are regenerated next. Main moved no version field since 193cd21, so the combined semantic_ir 14, lean_backend 20, latex_backend 13 stand. The register is 414 on main plus LM-04..LM-06: 417, set by hand in README, the SPEC §31 total, repository.rs and spec_links.rs. CHANGELOG keeps both entries. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Closes #169
Summary
without_test_itemsincrates/conformance/src/cases/runtime.rsso that:#![cfg(test)]blanks the whole file only when it appears as one of the file's leading inner attributes before any item (and never when it appears inside an inlinemod m { #![cfg(test)] }).#[cfg(test)]blanks only when, after any further outer attributes (#[...]), optional visibility (pub,pub(...)), and item modifiers, it is followed by an item keyword (mod,fn,use,impl,const,static,struct,enum,union,type,trait,extern,macro_rules!), and never blanks production code after a#[cfg(test)]on a struct field, enum variant, function parameter, or match arm.cr"..."raw C strings, comment-blanked literal gaps inruntime_texts, inline Lean comments/set_option ... inbefore declaration keywords, and_root_./ guillemets indeclares_under_runtime).#[cfg(test)]/ inline#![cfg(test)]shapes and+string concatenation inrt_04, and records the planted defect output inVERIFICATION.mdandCHANGELOG.md.SEMANTIC_DIRSand changes no diagnostic code or conformance ID.