claude-dev-env 1.78.0 → 1.80.0

package/skills/autoconverge/workflow/converge.run-input.test.mjs

@@ -79,3 +79,14 @@ test('the top-level run guards an unusable input into a structured blocker befor
   assert.match(guardBlock, /converged: false/);
   assert.match(guardBlock, /return/);
 });
+
+test('classifyRunInput passes copilotDisabled through alongside the coordinates', () => {
+  const classified = classifyRunInput({ ...VALID_COORDINATES, copilotDisabled: true });
+  assert.equal(classified.blocker, null);
+  assert.equal(classified.input.copilotDisabled, true);
+});
+
+test('classifyRunInput leaves copilotDisabled undefined when the input omits it', () => {
+  const classified = classifyRunInput(VALID_COORDINATES);
+  assert.equal(classified.input.copilotDisabled, undefined);
+});

package/skills/autoconverge/workflow/converge_multi.mjs

@@ -102,6 +102,28 @@ function classifyMultiInput(rawArgs) {
   return { input: candidate, blocker: null }
 }
 
+/**
+ * Build the converge.mjs child-run args for one validated PR entry.
+ *
+ * Every per-run opt-out the child converge.mjs reads is forwarded here so the
+ * fan-out honors it: bugbotDisabled skips the Bugbot phase, and copilotDisabled
+ * short-circuits the Copilot quota gate when the account is out of premium
+ * requests. An entry that omits an opt-out defaults it to false so the child
+ * runs that phase.
+ * @param {object} prEntry one validated element of the args.prs array
+ * @returns {object} the args object passed to the converge.mjs child run
+ */
+function childRunInput(prEntry) {
+  return {
+    owner: prEntry.owner,
+    repo: prEntry.repo,
+    prNumber: prEntry.prNumber,
+    repoPath: prEntry.repoPath,
+    bugbotDisabled: Boolean(prEntry.bugbotDisabled),
+    copilotDisabled: Boolean(prEntry.copilotDisabled),
+  }
+}
+
 const multiInput = classifyMultiInput(args)
 if (multiInput.blocker) {
   return { converged: false, prCount: 0, convergedCount: 0, results: [], blocker: multiInput.blocker }
@@ -115,13 +137,7 @@ const childResults = await parallel(
   input.prs.map((eachPr) => async () => {
     const childOutcome = await workflow(
       { scriptPath: input.convergeScriptPath },
-      {
-        owner: eachPr.owner,
-        repo: eachPr.repo,
-        prNumber: eachPr.prNumber,
-        repoPath: eachPr.repoPath,
-        bugbotDisabled: Boolean(eachPr.bugbotDisabled),
-      },
+      childRunInput(eachPr),
     )
     return {
       owner: eachPr.owner,

package/skills/autoconverge/workflow/converge_multi.run-input.test.mjs

@@ -17,9 +17,9 @@ function sourceSliceBetween(startNeedle, endNeedle) {
 
 const productionModule = new Function(
   `${sourceSliceBetween('function normalizeMultiInput(', '\nconst multiInput =')}\n` +
-    'return { normalizeMultiInput, isUsablePrEntry, classifyMultiInput };',
+    'return { normalizeMultiInput, isUsablePrEntry, classifyMultiInput, childRunInput };',
 )();
-const { normalizeMultiInput, classifyMultiInput } = productionModule;
+const { normalizeMultiInput, classifyMultiInput, childRunInput } = productionModule;
 
 const SCRIPT_PATH = '/abs/skills/autoconverge/workflow/converge.mjs';
 
@@ -98,3 +98,29 @@ test('a null payload is blocked', () => {
   assert.equal(classified.input, null);
   assert.match(classified.blocker, /did not parse/);
 });
+
+test('childRunInput forwards the PR coordinates to the child run', () => {
+  const childArgs = childRunInput(validEntry(398));
+  assert.equal(childArgs.owner, 'JonEcho');
+  assert.equal(childArgs.repo, 'python-automation');
+  assert.equal(childArgs.prNumber, 398);
+  assert.equal(childArgs.repoPath, '/worktrees/pr-398');
+});
+
+test('childRunInput forwards copilotDisabled true when the entry opts out', () => {
+  const optedOutEntry = { ...validEntry(398), copilotDisabled: true };
+  assert.equal(childRunInput(optedOutEntry).copilotDisabled, true);
+});
+
+test('childRunInput defaults copilotDisabled to false when the entry omits it', () => {
+  assert.equal(childRunInput(validEntry(398)).copilotDisabled, false);
+});
+
+test('childRunInput forwards bugbotDisabled true when the entry opts out', () => {
+  const optedOutEntry = { ...validEntry(398), bugbotDisabled: true };
+  assert.equal(childRunInput(optedOutEntry).bugbotDisabled, true);
+});
+
+test('childRunInput defaults bugbotDisabled to false when the entry omits it', () => {
+  assert.equal(childRunInput(validEntry(398)).bugbotDisabled, false);
+});

package/skills/pr-converge/SKILL.md

@@ -43,6 +43,26 @@ working directory routes into the PR's repo for local work and returns to
 the session worktree before teardown. See
 [`reference/per-tick.md` § Step 1.5](reference/per-tick.md).
 
+## Copilot quota pre-check (start of run)
+
+On the first tick, before Step 4, run the Copilot quota pre-check once:
+`python "$HOME/.claude/_shared/pr-loop/scripts/copilot_quota.py"`. It reads the
+account's remaining Copilot premium-request quota via `gh api
+copilot_internal/user` and prints one line — log that line. Exit 0 means Copilot
+has quota, so leave `copilot_down` false. Any non-zero exit means skip Copilot
+for the whole run — the account is out of quota, the quota API or account access
+is down, or no account is set — so set `copilot_down = true` in
+`pr-converge-state.json`. The account comes from the `COPILOT_QUOTA_ACCOUNT`
+environment variable or a git-ignored `.env` file, and the no-account line names
+the exact `.env` path and key to set.
+
+Run the pre-check once, not per tick. Every tick reads `copilot_down` from
+state. When `copilot_down` is true, skip the Copilot gate outright — no fetch,
+no request, no poll, no agent — and export `CLAUDE_REVIEWS_DISABLED="copilot"`
+in that tick's shell before the convergence check, so `check_convergence.py`
+bypasses the Copilot review gate and the pending-requested-reviews gate and the
+run still marks ready on the remaining signals.
+
 ## Budget-aware tick boundaries
 
 Before starting any tick, estimate whether the remaining session/usage
@@ -73,8 +93,8 @@ so the next tick resumes with accurate state.
 
 Fields: `phase`, `tick_count`, `bugbot_clean_at`, `code_review_clean_at`,
 `bugteam_clean_at`, `copilot_clean_at`, `current_head`,
-`bugbot_acknowledged_at`, `bugbot_down`, `bugteam_skill_invoked_at_head`,
-`bugteam_skill_invoked_at_tick`.
+`bugbot_acknowledged_at`, `bugbot_down`, `copilot_down`,
+`bugteam_skill_invoked_at_head`, `bugteam_skill_invoked_at_tick`.
 
 ## Gotchas
 
@@ -300,6 +320,7 @@ round as converged. This rule holds every tick, every loop, every PR.
       - [ ] Any unresolved? → For each: verify concern against current HEAD;
             if still applies → Fix (spawn `clean-coder`) → reply → resolve;
             if no longer applies → reply-with-note → resolve. Push if any code changed → return to Step 4
+      - [ ] When `copilot_down == true` (start-of-run quota pre-check), skip the Copilot fetch below — no request, no poll, no agent — and continue to gate (b); the Copilot gate is bypassed for the whole run.
       - [ ] Fetch Copilot review on `current_head` (top-level review state — uses get_reviews, identifies by reviewer):
             ```
             python ~/.claude/skills/pr-converge/scripts/fetch_copilot_reviews.py --owner <O> --repo <R> --pr-number <N>
@@ -316,6 +337,7 @@ round as converged. This rule holds every tick, every loop, every PR.
       - [ ] not mergeable → rebase → push → return to Step 1
 
       **(c) Request Copilot review**
+      - [ ] When `copilot_down == true`, skip the request and do not enter COPILOT_WAIT — continue to gate (d); the run marks ready on the remaining signals.
       - [ ] Check for pending Copilot review:
             ```
             python ~/.claude/skills/pr-converge/scripts/check_pending_reviews.py --owner <O> --repo <R> --pr-number <N>
@@ -341,6 +363,7 @@ round as converged. This rule holds every tick, every loop, every PR.
             Push if code changed → return to Step 4
 
       **(e) Mark ready**
+      - [ ] When `copilot_down == true`, export `CLAUDE_REVIEWS_DISABLED="copilot"` in this tick's shell before the check below, so it bypasses the Copilot review gate and the pending-requested-reviews gate.
       - [ ] Run automated convergence check:
             ```
             python $HOME/.claude/skills/pr-converge/scripts/check_convergence.py \
@@ -353,6 +376,9 @@ round as converged. This rule holds every tick, every loop, every PR.
 - [ ] **Step 7a: COPILOT_WAIT — fetch Copilot, decide**
       See: [`reference/per-tick.md` § Step 2 COPILOT_WAIT](reference/per-tick.md)
 
+      This step does not run when `copilot_down == true`: gate (c) skips the
+      Copilot request, so the loop never enters COPILOT_WAIT.
+
       Fetch Copilot reviews + inline comments on `current_head`.
 
       - [ ] **clean (no findings)** →

package/skills/pr-converge/reference/convergence-gates.md

@@ -25,6 +25,12 @@ python ~/.claude/skills/pr-converge/scripts/fetch_copilot_inline_comments.py --o
   → unaddressed inline threads on the latest Copilot review at current_head
 ```
 
+When `copilot_down == true` (start-of-run quota pre-check), skip this gate
+entirely — no Copilot fetch, no request, no poll, no agent. Record evidence
+"Copilot bypassed (quota pre-check non-zero) at <SHA>" and continue to gate (b); the bypass
+holds for the whole run and the quota API is not re-queried per tick. Otherwise
+decide among the four branches below.
+
 Decide (four branches; match first whose predicate holds):
 
 - **`classification == "dirty"` with non-empty inline comments matching
@@ -117,6 +123,12 @@ Persist `mergeable_state` into `merge_state_status`. Decide:
 
 ## (d) Post-convergence Copilot review request
 
+When `copilot_down == true` (start-of-run quota pre-check), skip this gate: do
+not request a Copilot review and do not enter `COPILOT_WAIT`. Export
+`CLAUDE_REVIEWS_DISABLED="copilot"` before gate (f)'s convergence check so
+`check_convergence.py` bypasses the Copilot review and pending-review gates.
+Continue to gate (e).
+
 Once gates (a), (b), and (c) all pass (Copilot clean at `current_head` *or* no
 Copilot review yet, AND Claude clean or absent at `current_head`, AND
 `mergeable_state == "clean"`), request Copilot review:
@@ -190,7 +202,7 @@ evidence from gates (a)–(e) above. All seven must be confirmed:
 
 - [ ] `bugbot_clean_at == current_head` (from per-tick.md Step 2 BUGBOT §c)
 - [ ] bugteam `convergence (zero findings)` at `current_head` (from per-tick.md Step 2 BUGTEAM §d)
-- [ ] `copilot_clean_at == current_head` (from gate (a) or gate (d))
+- [ ] `copilot_clean_at == current_head` (from gate (a) or gate (d)), or the Copilot gate bypassed for the run via `copilot_down`
 - [ ] Claude `APPROVED` or absent at `current_head` (from gate (b))
 - [ ] `mergeable_state == "clean"` AND `mergeable == true` (from gate (c))
 - [ ] Zero unresolved review threads anywhere on the PR (from gate (e))

package/skills/pr-converge/reference/state-schema.md

@@ -22,6 +22,17 @@ live ONLY in the single-PR `$CLAUDE_JOB_DIR/pr-converge-state.json` file
   with no Copilot review surfaced at `current_head`. Escalate as hard blocker
   at `>= 3`. Reset to `0` when a Copilot review surfaces at `current_head`
   (APPROVED or dirty) or on any non-COPILOT_WAIT branch.
+- `copilot_down`: boolean, init `false`. Set `true` at the start of the run
+  when the Copilot quota pre-check
+  (`_shared/pr-loop/scripts/copilot_quota.py`) exits non-zero — the account is
+  out of premium-request quota, the quota API or account access is down, or no
+  account is set. Read once from the start-of-run pre-check, not re-queried per
+  tick. While `true`, every tick skips the Copilot gate outright (no fetch, no
+  request, no poll, no agent) and exports `CLAUDE_REVIEWS_DISABLED="copilot"`
+  before the convergence check, so `check_convergence.py` bypasses the Copilot
+  review gate and the pending-requested-reviews gate and the run marks ready on
+  the remaining signals. Unlike `bugbot_down`, it is not reset on push — a
+  quota outage holds for the whole run.
 - `inline_lag_streak`: integer, init `0`. Consecutive ticks where review
   body shows findings against `current_head` but inline API returns zero
   matching. Reset to `0` on any other branch outcome.