Repository navigation
Session Handoff [auto-3372]: Exempt the BuildKit check= Parser Directive in the Prose Gate (#3372) #3445
Description
Next steps, in priority order
- Fix Exempt the BuildKit check= Parser Directive in the Prose Gate #3372, exempt the BuildKit
check=parser directive in the prose gate. The directive vocabulary moved out ofprose_lint.pyinto.github/actions/prose-gate/prose-gate.jsonwith the layer restructure (Restructure the Prose Gate into Extract, Normalize, and Evaluate Layers #3411), wheresyntax=andescape=sit in the tool-directive list andcheck=does not. Addcheck=beside them, and add a test that a constructed Dockerfile opening on a# check=skip=<rule>line draws nocomment-casefinding in whole-tree mode and nocomment-addedfinding in diff mode. Done means that test passes, the existing gate tests stay green, and the pull request intodevelopcarriesCloses on promotion: #3372.
External blockers
None known at pick time.
Internal dependencies
- The attended
defaultlane plans Replace the Prose Gate's Line Ceiling with a Check for Vocabulary in the Script #3441, which replaces the gate's line-ceiling test. This fix edits the data file rather thanprose_lint.py, so it should not need to touch that ceiling. If it does, keepprose_lint.pyat or under its current ceiling rather than raising it.
State
- No branch, worktree, or pull request exists for this lane yet. The worker isolates on
feature/auto-3372based ondevelop. - At pick time
origin/developwas one squash merge ahead oforigin/main(Keep Untracked Files Out of the Pre-Commit Snippet's Prose Gate #3444, which closes Keep Untracked Files Out of the Pre-Commit Snippet's Prose Gate #3370 on promotion), and no pull request was open.
The parked decision queue
Zero decisions parked on this lane.
What the last round did
The unattended picker created this lane from the open backlog. #3372 was ranked as a small correctness defect in a gate that runs, a false positive on text breaking no rule. It was reopened after the #3391 prose-backlog close sweep took it, with the reason that it is a gate code defect.
What not to repeat
- Do not capitalize the directive line in a fixture or downstream file as a workaround, since BuildKit then stops reading it as a directive.
New learnings
None yet.
Activity
ptr727 commentedon Oct 25, 2026
Lane auto-3372 is done, at scope
develop.developas 383040d. It addscheck=besidesyntax=andescape=inexemptions.tool_directivesin.github/actions/prose-gate/prose-gate.json, plus a test that runs whole-treecomment-caseand diff-modecomment-addedover a constructed Dockerfile, with a prose line as the control.prose_lint.pyis unchanged, so its line ceiling (Replace the Prose Gate's Line Ceiling with a Check for Vocabulary in the Script #3441) is untouched.Closes on promotion: #3372). This run's scope opened and merged no promotion.local-strict-reviewpasses, the last raising nothing, and a Copilot round on the final head with coverage=table and no findings. Its headline mentioned an "optional naming nit" it never named, and that was answered on the PR as no change needed.pr_review.py cleanup 3446exited 0. It deleted the remote and local branch and removed the worktree, and the base clone is currentdevelop.Check=line still drawscomment-added, which asks for a deletion that changes the build. The PR body and the test's docstring say so.