Skip to content

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

Merged
gHashTag merged 1 commit into
masterfrom
t27o/skill-mirror-11233
Oct 20, 2026
Merged

gHashTag merged 1 commit into
masterfrom
t27o/skill-mirror-11233

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

Closes #11233

Adds one bullet to .claude/skills/t27o/SKILL.md, next to the golden-port recipe: before a hand file is named as a port, find the spec it mirrors; when one exists, the work is gen-rust of that spec, not a tri t27o conversion.

Evidence: the measurement and its command are in #11232 (13 crate-spec pairs under rings/, 5 compile, none keeps the public surface). One file, one bullet, no code and no generated output.

🤖 Generated with Claude Code

…port (Closes #11233)

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-20 04:56:10 UTC

Summary

Status Count
Total Open PRs 50
PRs with Failing Checks 47
PRs with All Checks Green 3
READY 1
FAILING 47
PENDING 0
NO CHECKS YET 0

These columns do not partition: 1 + 47 + 0 + 0 = 48, and there are 50 open PRs. A PR is being counted twice or not at all.

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=bc931a7f7fb3 != manifest seal=87e5cbd3ad94.
    The committed NMSE numbers were certified against an older compiler.rs.
    Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

@gHashTag
gHashTag merged commit fccd485 into master Oct 20, 2026
29 of 30 checks passed
@gHashTag
gHashTag deleted the t27o/skill-mirror-11233 branch October 20, 2026 05:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

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

1 participant