Repository navigation

review-pr: gates that can be checked, and 200 PRs of evidence about them - #5289

Merged

junhaha666 merged 55 commits into

mainfrom

skill-enhance

Sep 8, 2026

Merged

review-pr: gates that can be checked, and 200 PRs of evidence about them#5289
junhaha666 merged 55 commits into
mainfrom
skill-enhance

Commits on Sep 5, 2026
- validate-kernel-pr: record non-SystemExit failures in the execution receipt
  
  zufayu
  authored and
  root
  committed
  3f8d94b
- validate-kernel-pr: count untracked files as kernel changes
  
  zufayu
  authored and
  root
  committed
  67bcdb8
- review-pr: derive the applicable rule set from the diff, and split the Tier table
  
  zufayu
  authored and
  root
  committed
  8696a1c
- review-pr: sweep the diff's added imports against the merge target
  
  zufayu
  authored and
  root
  committed
  9f5cf56
- review-pr: pin every step to the PR's own commits, not the reviewer's checkout
  
  zufayu
  authored and
  root
  committed
  2718b2d
- review-pr: make the rule pass produce an artifact the skill can check
  
  zufayu
  authored and
  root
  committed
  d4e811b
- review-pr: give Triton kernels their own rule families
  
  zufayu
  authored and
  root
  committed
  2f90a0c
- review-pr: anchor a FIRE verdict to a file the PR actually changes
  
  zufayu
  authored and
  root
  committed
  62065d0
- review-pr: take the rule bodies and Step 1 out of the entry file
  
  zufayu
  authored and
  root
  committed
  23b9a61
- review-pr: test what the deriver produces, and budget the entry file
  
  zufayu
  authored and
  root
  committed
  1765e60
- review-pr: close the gaps found by reviewing ten real PRs
  
  zufayu
  authored and
  root
  committed
  cb1b20f
- review-pr: put the redundancy and test-quality evidence on screen
  
  zufayu
  authored and
  root
  committed
  da3cc44
- review-pr: HK12, a test file pytest collects nothing from
  
  zufayu
  authored and
  root
  committed
  a12de1c
- review-pr: check whether a new test will ever run, not whether it looks like one
  
  zufayu
  authored and
  root
  committed
  c26212e
- review-pr: list the perf claims that name no baseline
  
  zufayu
  authored and
  root
  committed
  8987d9c
- review-pr: D11 asks the tree whether a layout is pinned, not the diff
  
  zufayu
  authored and
  root
  committed
  04a127c
- review-pr: reduce a comment-only diff to the lines that are not comments
  
  zufayu
  authored and
  root
  committed
  0c9efce
- review-pr: a fourth gate that asks whether each finding is nailed down
  
  zufayu
  authored and
  root
  committed
  1991859
- review-pr: a relative import inside __init__.py resolves to that package
  
  zufayu
  authored and
  root
  committed
  ab473cc
- review-pr: pull the subject out of a removed guard whatever shape it takes
  
  zufayu
  authored and
  root
  committed
  e1bb209
- review-pr: the card gate now runs in both directions, and fails closed
  
  zufayu
  authored and
  root
  committed
  0a03ef2
- review-pr: a benchmark with no assertions is a benchmark
  
  zufayu
  authored and
  root
  committed
  3c9340d
- review-pr: T8, a launch knob hardcoded past the config system
  
  zufayu
  authored and
  root
  committed
  1b26373
- review-pr: run the fail-closed guards instead of reading them
  
  zufayu
  authored and
  root
  committed
  48b60fd
- review-pr: Step 4 writes down which backbone files it cleared, and why
  
  zufayu
  authored and
  root
  committed
  8b841ac
- review-pr: stop tracking __pycache__
  
  zufayu
  authored and
  root
  committed
  9d44ba3
- review-pr: ask about a parameter that left, and a kernel that shipped untested
  
  authored and
  root
  committed
  21c4fb3
- review-pr: why A1 still has no evidence behind it
  
  authored and
  root
  committed
  71be17f
- review-pr: hand A1 the variant it is asking about
  
  authored and
  root
  committed
  f29d55a
- review-pr: run D11's worked example instead of believing it
  
  authored and
  root
  committed
  f3e3c66
- review-pr: say which tree a forensic just read
  
  authored and
  root
  committed
  0c8e31f
- review-pr: refuse to review a diff that was never fetched
  
  authored and
  root
  committed
  00f2c5d
- review-pr: make T5 and T6 fire on the shape, not on the language
  
  authored and
  root
  committed
  278d1d5
- review-pr: say what became of each guard the diff deletes
  
  authored and
  root
  committed
  0bb93ef
- review-pr: run the symbol sweep's worked example too
  
  authored and
  root
  committed
  0a18c91
- review-pr: FlyDSL is a kernel backend, so derive the kernel rules for it
  
  authored and
  root
  committed
  5c86592
- validate-kernel-pr: say when another validator holds the GPU
  
  authored and
  root
  committed
  10bcdd1
- review-pr: fix what four end-to-end runs found
  
  authored and
  root
  committed
  31f9e67
- review-pr: close three holes the regression runs opened
  
  authored and
  root
  committed
  222322e
- review-pr: attack each finding before reporting it
  
  authored and
  root
  committed
  ff62f26
- review-pr: stop the gates from making reviews worse
  
  authored and
  root
  committed
  1af4b01
- review-pr: give the review the tree its findings are about
  
  authored and
  root
  committed
  3c27c88
- review-pr: repair Step 1, which the last commit broke
  
  authored and
  root
  committed
  45a1b57
- review-pr: put each finding to a reader who has not seen the reasoning
  
  authored and
  root
  committed
  b4d9869
- review-pr: ship the skill, not the scaffolding that built it
  
  zufayu
  and
  claude
  committed
  f14a580
- review-pr: drop two functions nothing calls
  
  zufayu
  and
  claude
  committed
  f2718ae
Commits on Sep 7, 2026
- review-pr: a claim in seconds is still a claim
  
  zufayu
  and
  claude
  committed
  39af365
- review-pr: two gates that could not fail, and one that failed on a dash
  
  zufayu
  and
  claude
  committed
  fe98950
- review-pr: a header a dozen kernels include is backbone too
  
  zufayu
  and
  claude
  committed
  b48a8bd
- review-pr: wrap the tiering note like the rest of the file
  zufayu
  committed
  28dcc0b
- review-pr: two rules for the backend that gets patched most
  zufayu
  committed
  95ad85f
- review-pr: B8 was reading the wrong tree, and the wrong spelling
  zufayu
  committed
  4855c1c
- review-pr: $WORK/head was a conditional artifact, so the last fix only looked right
  zufayu
  committed
  c3991ad
- review-pr: no Chinese in the source
  zufayu
  committed
  53d0552
- review-pr: clear the ruff findings this branch added
  zufayu
  committed
  4181c50

Commits

Commits on Sep 5, 2026

Commits on Sep 7, 2026