Skip to content

skills: tri-pipeline fast path (t27b first, frontier --only seal reuse) and a t27o skill (Closes #10541) - #10542

Merged
gHashTag merged 2 commits into
masterfrom
t27o/skills-fast-path-10522
Oct 18, 2026
Merged

gHashTag merged 2 commits into
masterfrom
t27o/skills-fast-path-10522

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

Closes #10541. Part of #10522. Owner request 2026-10-18: use t27b and the t27c seal to go faster, and keep it in the skills.

What

Checks

  • python3 -I tools/check_documented_commands_exist.py: ok, 138 dead tri mentions = the recorded ceiling (no new one).
  • ASCII only: 0 non-ASCII characters in both files.
  • Every command named was run tonight (t27b test, t27c frontier --only ... --list, t27c test-report, t27c seal --save/--verify, t27c gen-rust, tri t27o, t27c dupes).

🤖 Generated with Claude Code

…e) and a t27o skill (Closes #10541)

tri-pipeline: t27b test for the inner loop (rust_std.t27 0.89 s against
94 s for t27c test-report), t27c frontier --only for unchanged specs
(REUSE = the sealed verdict stands; 5 specs in about 5 s), test-report
once as the final gate, symlinked release binaries instead of rebuilds,
t27b exit codes, the sandbox ZIG cache trap, git add -f for gen files;
drop the stale "tri test does not yet fail on vacuous" (#10507 landed).

t27o: where its truth lives, making a refusal class convertible and
measuring it, --check, the loop tick for #10522, tonight's traps.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@gHashTag
gHashTag enabled auto-merge (squash) October 18, 2026 16:47
@gHashTag
gHashTag disabled auto-merge October 18, 2026 17:26
@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-18 17:29:55 UTC

Summary

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

Seal Status

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

… the scratchpad (Closes #10541)

#10538 failed the required own-language check with +9/-0 hand lines in
cli/tri/src/main.rs: check_budget refuses a diff whose counted foreign
lines gain more than they lose, on top of the 40/80 cap. tri-pipeline
says so under PRs; the t27o skill adds the numstat one-liner. The
scratchpad was wiped on a session resume (worktrees, cargo target,
measurements); $TMPDIR survived, so loop worktrees live there.

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

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-18 18:38:06 UTC

Summary

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

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

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=fad12492937a != 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 fb19d98 into master Oct 18, 2026
27 of 28 checks passed
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: tri-pipeline fast path (t27b first, frontier --only seal reuse) and a t27o skill

2 participants