Skip to content

skills: t27o -- the night lessons: review checklist, drafts hold PRs, sweep and Zig front end, build traps (Closes #10826) - #10827

Merged
gHashTag merged 1 commit into
masterfrom
t27o/skills-night-lessons
Oct 19, 2026
Merged

gHashTag merged 1 commit into
masterfrom
t27o/skills-night-lessons

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

Closes #10826. Part of #10522.

Updates .claude/skills/t27o/SKILL.md with what the overnight loop paid for after #10542:

Checks: python3 -I tools/check_documented_commands_exist.py ok (138 dead tri mentions = the ceiling, run with a tri that has t27o-sweep); ASCII only.

🤖 Generated with Claude Code

… sweep and Zig front end, build traps (Closes #10826)

What the overnight loop of #10522 paid for after #10542: dupe_scan for
bodies (#10801 passed a name check with 13 copied bodies), the
own-language gate compiled from the merge base, devhome literals
(#10646), seals of specs that use rust_convert, drafts as the only hold
(auto-merge off did not stop #10801), the stacked-PR rebase recipe, a
writable cloned CARGO_HOME, a private zig cache per lane, zsh traps, the
splice that matches string literals (#10824); tri t27o-sweep and the Zig
front end documented; stale timings updated.

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

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-19 04:24:47 UTC

Summary

Status Count
Total Open PRs 50
PRs with Failing Checks 43
PRs with All Checks Green 7
READY 2
FAILING 43
PENDING 0
NO CHECKS YET 0

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

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=03f3de4a3582 != 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).

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 -- the night lessons (review checklist, drafts hold PRs, sweep and the Zig front end, build traps)

2 participants