Skip to content

skills: t27o -- find the spec a hand file mirrors before naming it a port #11234

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
gHashTag merged 1 commit into from
Oct 20, 2026
+1 −0
Merged

skills: t27o -- find the spec a hand file mirrors before naming it a port #11234

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .claude/skills/t27o/SKILL.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -92,6 +92,7 @@ PR #10538 failed it with +9 / -0 at 1e20cfb34.
- Free disk follows swap and load, not files: measure with `df` and the load, keep lanes to one job at a time, and delete a profile you do not need (`target-tri/debug` was 2.5 GB).
- A PR-body edit re-queues the required `check-linked-issue`: finish the body before the final CI wait. Merge a docs-only PR only after the checks that exist have completed.
- The first golden port (#11157) is the recipe for deleting hand Rust: issue, `tri t27o`, review the spec, keep the hand tests, gen-rust into `bootstrap/gen/rust/` (`git add -f`), delete the file, mount it from the parent `mod.rs`, then the real crate's `cargo check --all-targets` and tests, and a side-by-side run of old and new (756 million comparisons, 0 disagreements).
- Before a hand file is named as a port, find the spec it mirrors: read its header for `specs/...` and `ls` that path. When one exists, `tri t27o` on the file would write a second spec, which the one-spec rule refuses; the deletion is `gen-rust` of the existing spec, measured by the compile of the output and the diff of the public surface (fns, types, consts). The `rings/ring-*-rust` crates are such mirrors: 5 of 13 crate-spec pairs compile and none keeps the surface (#11232). `tri t27o-sweep` counts the whole files of a checkout: 0 of 385 in this tree on 2026-10-20.

## Traps met on this Mac

Expand Down
Loading