Repository navigation
docs(t27o): golden candidates -- the 81 Rust files that convert whole, ranked by the hand lines a port deletes (Closes #11149) - #11155
Merged
Conversation
…, ranked by the hand lines a port deletes (Closes #11149) Analysis only, step 4 of #9000: no Rust is deleted and no spec is added. 85 of the 1,388 swept files have every fn converted; 4 refuse a struct or an item and are not whole, one of the 81 is a test-only file. The 80 ranked rows hold 3,006 hand lines (0.69% of the swept lines); 70 of them are 17-32 line scaffold stubs with no caller, and 73 sit in trios crates the workspace does not build. Per row: lines (non-blank, cfg(test)), fns, tests, public items, callers, crate and workspace membership, t27c test-report (all 85 exit 0), an oracle replay (all 85 pass), the gen-rust signature mapping against the original, and a verdict. 78 rows are PORTABLE-NOW (2,864 lines), SC-00 needs a caller change (Vec2::new becomes a free fn), rainbow-bridge lib.rs is NOT-NOW (a module hub whose 8 pub mod and 8 pub use the converter drops without a refusal). Seven rows delete at least 100 lines with every caller unchanged. The first one deliverable today is bootstrap/src/host/bitmask.rs (170 lines, one caller: two lines of host/mod.rs); a differential run of hand against generated code made 68,268 comparisons with 0 disagreements, and the own-language budget returns rc 0 for the port's numstat. trios has no generated root and no gate, so its rows are safe for callers but not yet deliverable. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Contributor
…ted to 20-32 lines (Closes #11149) The callers column now starts with the number of files outside the row that name a public item (0 for the 70 scaffold stubs), and names the three files that use trios-rainbow-bridge. The scaffold stubs are 20-32 physical lines, not 17-32 (17 was the non-blank minimum). Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Contributor
PR DashboardGenerated at: 2026-10-19 20:34:20 UTC
Summary
Seal Status
|
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
What
Analysis only, step 4 of #9000: which hand-written Rust files of our own repositories t27o converts whole, what a port would delete, and which of them a generated file replaces without changing a caller. One new file,
docs/now/2026-10-20-golden-candidates.md. No Rust is deleted and no spec is added.Closes #11149
Numbers
.rsfiles; 85 have every fn converted; 4 of those refuse a struct or an item and are not whole; 1 of the remaining 81 is a test-only integration test. 80 ranked rows, 3,006 physical hand lines (2,569 non-blank, 1,301 inside#[cfg(test)]), 0.69% of the swept lines.t27c test-report(all 85 exit 0, vacuous count per row), an oracle replay oftri t27o --check(all 85 pass), the gen-rust signature mapping against the original, and a verdict.SC-00,Vec2::newbecomes a free fn), NOT-NOW 1 (trios-rainbow-bridge/src/lib.rs, a module hub whose 8pub modand 8pub usethe converter drops without a refusal).Cargo.tomlmembers andCargo.lock)..rsfiles); all 8 are generated (trios-mesh/gen/rust), excluded.First candidate
Seven rows delete at least 100 lines with every caller unchanged (five CR-CHAT guards,
trinity_loss,bitmask). The first one deliverable today isbootstrap/src/host/bitmask.rs: 170 lines (96#[cfg(test)]), one caller (host/mod.rs, two lines),t27c test-report14/14 with 0 vacuous, oracle replay 25 tests pass with 95 asserts, a differential run of the hand file against the generated file made 68,268 comparisons with 0 disagreements, a#[path]mount of the generated file built in a simulated tree, and theown-languagebudget compiled from the base revision returns rc 0 for the port's numstat (+1 / -171 hand lines). trios has no generated root and no gate, so its rows are safe for callers but not yet deliverable.Checks run
python3 -I tools/check_devhome_paths.pyrc 0;tools/check_now_entry_shape.pyok; file is ASCII, no developer-home paths.tri t27o --checkitself (notribuild; replayed by hand with a driver built from master's converter), anycargo buildorcargo test. The Not run section of the document lists the rest.🤖 Generated with Claude Code