@dev-loops/core 1.0.1 → 1.0.2-slim.0

package/src/loop/lifecycle-state.mjs

@@ -1,30 +1,19 @@
 /**
  * Deterministic outer dev-loop lifecycle state model.
  *
- * This module defines the sequential lifecycle phases — issue_intake →
- * refinement → implementation → draft_gate → feedback_resolution →
- * pre_approval_gate → merge — as a consultable graph so skills use
- * machine-resolved state instead of restating the flow in prose.
- *
- * This module provides:
- * - LIFECYCLE_STATE: stable phase name constants
- * - LIFECYCLE_TRANSITIONS: legal transition graph between phases
- * - LIFECYCLE_GRAPH: metadata (start, end, entry, terminal, nonterminal)
- * - LIFECYCLE_NEXT_ACTIONS: recommended next action for each phase
- * - resolveLifecycleState: resolver that maps inputs to one lifecycle phase
- * - getAllowedTransitions: helper to list allowed next phases
- * - COPILOT_INNER_STATE_MAP: maps lifecycle phases to copilot-loop-state.mjs inner states
+ * Defines the sequential lifecycle phases — issue_intake → refinement →
+ * implementation → draft_gate → feedback_resolution → pre_approval_gate →
+ * merge — as a consultable graph so skills use machine-resolved state instead
+ * of restating the flow in prose.
  *
  * Contract guarantees:
- * - One deterministic lifecycle phase per normalized input set
- * - Ambiguous or incomplete inputs fall back to issue_intake
- * - Transition graph enforces legal phase progression
- * - Purely functional; no I/O or side effects
+ * - One deterministic lifecycle phase per normalized input set.
+ * - Ambiguous or incomplete inputs fall back to issue_intake.
+ * - Purely functional; no I/O or side effects.
  *
- * Integration boundary:
- * - Skills call resolveLifecycleState to determine current phase
- * - Copilot-loop-state.mjs remains the inner machine for the Copilot review portion
- * - Lifecycle phases are the outer sequence; inner states are sub-phase detail
+ * Integration boundary: lifecycle phases are the outer sequence;
+ * copilot-loop-state.mjs remains the inner machine for the Copilot review
+ * portion (inner states are sub-phase detail).
  */
 
 // ---------------------------------------------------------------------------

package/src/loop/pr-gate-coordination.mjs

@@ -4,8 +4,8 @@ import { evaluateUiE2eScoping } from "./ui-e2e-scoping.mjs";
 import { evaluateUiDesignerReviewScoping } from "./ui-designer-review-scoping.mjs";
 import { trimmedOrNull } from "./normalize.mjs";
 import {
-  MISSING_AC_CHECKLIST_FINDING,
-  MISSING_DOD_CHECKLIST_FINDING,
+  MALFORMED_AC_DOD_MATRIX_FINDING,
+  MISSING_AC_DOD_MATRIX_FINDING,
   MISSING_EXPLICIT_NON_GOALS_FINDING,
 } from "./issue-refinement-artifact.mjs";
 
@@ -26,7 +26,7 @@ export const PR_CHECKPOINT = Object.freeze({
 
 
 /**
- * Refinement-artifact gate check (issue #532).
+ * Refinement-artifact gate check.
  *
  * The draft gate must verify the linked issue has an explicit refinement
  * artifact (Acceptance criteria / DoD / linked refinement doc) before it
@@ -246,16 +246,16 @@ function normalizeRefinementArtifactStatus(value) {
 // their own validation-failure reason from the detector; that reason must
 // replace the "linked issue" wording, which does not apply when the PR is the
 // spec-of-record and no linked issue was ever expected.
-// #1877 full-matrix vocabulary for the draft-gate blocked reason: which
-// matrix arm is missing per finding — the SAME finding taxonomy the enqueue
-// gate's guidance (decideEnqueueRefinementGate) and the detector
+// Matrix-floor vocabulary for the draft-gate blocked reason: which piece
+// of the refinement floor is missing per finding — the SAME finding taxonomy
+// the enqueue gate's guidance (decideEnqueueRefinementGate) and the detector
 // (detectIssueRefinementArtifact) use, so the draft gate (the unconditional
-// backstop for that floor) cannot drift from it. An AC-only or DoD-only
-// linked issue is a matrix miss, not "no artifact" — the guidance must name
-// the actually-missing arm so the fix is not misdirected.
+// backstop for that floor) cannot drift from it. A checklist-only or
+// matrix-malformed linked issue names the actually-missing/invalid artifact so
+// the fix is not misdirected.
 const REFINEMENT_MISSING_ARM_BY_FINDING = Object.freeze({
-  [MISSING_DOD_CHECKLIST_FINDING]: "a Definition of done checklist (mapped to the acceptance criteria)",
-  [MISSING_AC_CHECKLIST_FINDING]: "an Acceptance criteria checklist (for the DoD items to map to)",
+  [MISSING_AC_DOD_MATRIX_FINDING]: "an AC→DoD mapping matrix (a two-column table mapping each acceptance-criterion outcome to its required completion evidence)",
+  [MALFORMED_AC_DOD_MATRIX_FINDING]: "a valid AC→DoD mapping matrix (the existing table is empty or identifier-only/tautological)",
   [MISSING_EXPLICIT_NON_GOALS_FINDING]: "an explicit Non-goals section",
 });
 
@@ -269,15 +269,15 @@ function formatRefinementBlockedReason(linkedIssue, status, refinementArtifact)
     : REFINEMENT_ARTIFACT_FINDING;
   const missingArm = REFINEMENT_MISSING_ARM_BY_FINDING[finding];
   if (missingArm !== undefined) {
-    return `Linked issue #${linkedIssue} has an incomplete refinement matrix — it is missing ${missingArm}. Add it to the issue body to complete the full AC/DoD/Non-goals matrix, then re-open the draft PR. finding=${finding}`;
+    return `Linked issue #${linkedIssue} has an incomplete refinement matrix — it is missing ${missingArm}. Add it to the issue body to complete the AC→DoD mapping matrix + Non-goals refinement floor, then re-open the draft PR. finding=${finding}`;
   }
   if (linkedIssue !== null && Number.isInteger(linkedIssue)) {
-    return `Linked issue #${linkedIssue} has no refinement artifact (no Acceptance criteria checklist, DoD checklist, or resolvable linked refinement doc). Refine the issue to the full AC/DoD/Non-goals matrix — or link a refinement doc (tmp/refinement/*.md), a complete artifact on its own — then re-open the draft PR. finding=${REFINEMENT_ARTIFACT_FINDING}`;
+    return `Linked issue #${linkedIssue} has no refinement artifact (no AC→DoD mapping matrix, or a resolvable linked refinement doc). Refine the issue to the authoritative AC→DoD mapping matrix plus an explicit Non-goals section — or link a refinement doc (tmp/refinement/*.md), a complete artifact on its own — then re-open the draft PR. finding=${REFINEMENT_ARTIFACT_FINDING}`;
   }
-  return `The draft gate cannot complete: the linked issue has no detectable refinement artifact (no Acceptance criteria checklist, DoD checklist, or resolvable linked refinement doc). finding=${REFINEMENT_ARTIFACT_FINDING}`;
+  return `The draft gate cannot complete: the linked issue has no detectable refinement artifact (no AC→DoD mapping matrix, or a resolvable linked refinement doc). finding=${REFINEMENT_ARTIFACT_FINDING}`;
 }
 
-// #1472: describes the CI state a round-cap-reached fallback branch actually
+// Describes the CI state a round-cap-reached fallback branch actually
 // granted on, for human-read reason text. preApprovalRequireCi:false plus a
 // non-success/non-crediblyGreen ciStatus is not "green CI" — claiming it is
 // would be the same false-CI-claim buildRoundExhaustionGateEvidenceNote below
@@ -301,7 +301,7 @@ function buildRoundExhaustionGateEvidenceNote({ copilotReviewRoundCount, maxCopi
 
 /**
  * Blocked result for a PR that would otherwise reach final_approval_ready but
- * still carries a merge-blocking marker in its title (issue #842). The title is
+ * still carries a merge-blocking marker in its title. The title is
  * the most visible contract surface, so a WIP/DRAFT/DO NOT MERGE title must
  * block the final-approval boundary just like the mark-ready transition does.
  */
@@ -445,7 +445,7 @@ function buildResult({
  * caller must run request-copilot-review.mjs first.
  *
  * Exception: round-cap clean fallback (rounds exhausted + clean converged)
- * does not require a formal re-request (#613).
+ * does not require a formal re-request.
  *
  * @param {object} params
  * @param {string} params.copilotReviewRequestStatus - "none"|"requested"|"already-requested"|"unavailable"|"failed"
@@ -454,10 +454,10 @@ function buildResult({
  * @param {number|null} params.maxCopilotRounds
  * @param {boolean} params.sameHeadCleanConverged
  * @param {boolean} [params.roundCapCleanFallback=false] - interpreter resolved the
- *   round-cap clean fallback (#896): rounds exhausted + clean threads + green CI on
+ *   round-cap clean fallback: rounds exhausted + clean threads + green CI on
  *   the current head, including a post-cap head Copilot has not (and will not)
  *   re-review. No further Copilot round is permitted, so the formal-request guard
- *   must not fire — the pre_approval_gate reviews the post-cap head (per #848).
+ *   must not fire — the pre_approval_gate reviews the post-cap head.
  * @param {boolean} [params.postConvergenceSignificantChange=false] - significant
  *   post-convergence changes on a newer head start a new review cycle and must
  *   not be treated as round-cap clean-fallback suppression.
@@ -493,17 +493,17 @@ export function shouldGuardCopilotReviewRequest({
   }
   // Durable signal: if Copilot was ever formally requested as a reviewer,
   // the current "none" status is from a fulfilled request (normal cycle),
-  // not from a missing request. Do not guard the happy path (#613, round 2).
+  // not from a missing request. Do not guard the happy path.
   if (copilotReviewEverFormallyRequested) {
     return false;
   }
   // Round-cap clean fallback: exhausted rounds + clean converged does not require
   // a formal re-request. This covers two shapes of "clean at the cap":
   //  - sameHeadCleanConverged: the current head itself carries a clean Copilot review;
-  //  - roundCapCleanFallback (#896): the head is clean (zero unresolved threads + green
+  //  - roundCapCleanFallback: the head is clean (zero unresolved threads + green
   //    CI) but Copilot has NOT reviewed THIS head (e.g. a post-cap commit). No further
   //    Copilot round is permitted, so forcing a formal request would dead-end the loop;
-  //    the pre_approval_gate reviews the post-cap head instead (per #848).
+  //    the pre_approval_gate reviews the post-cap head instead.
   const roundCapReached = isCopilotRoundCapReached({ copilotReviewRoundCount, maxCopilotRounds });
   if (
     roundCapReached
@@ -517,7 +517,7 @@ export function shouldGuardCopilotReviewRequest({
 
 /**
  * Boundaries at which a non-draft PR must NOT carry a merge-blocking title
- * marker (issue #842 / AC2). A WIP/DRAFT/DO NOT MERGE/🚧 title is acceptable
+ * marker. A WIP/DRAFT/DO NOT MERGE/🚧 title is acceptable
  * while the PR is still in draft, but the moment the PR leaves draft and reaches
  * the pre-approval gate boundary (entry) or the final-approval boundary, the
  * title is a live merge-contract surface and must be clean. The guard is applied
@@ -532,7 +532,7 @@ const TITLE_MARKER_GUARDED_BOUNDARIES = Object.freeze([
 ]);
 
 /**
- * Independent gate-ENTRY re-check (issue #1190): even when the caller's
+ * Independent gate-ENTRY re-check: even when the caller's
  * lifecycleState/sameHeadCleanConverged claims a settled Copilot convergence,
  * an outstanding (`requested`/`already-requested`) Copilot review request on
  * the CURRENT head is a second, independent "unsettled" signal — not derived
@@ -547,8 +547,8 @@ const TITLE_MARKER_GUARDED_BOUNDARIES = Object.freeze([
  * already been spent.
  *
  * Skipped when Copilot review is not required at all — `reviewMode:
- * "internal_only"` or `maxCopilotRounds: 0` — preserving the existing #613 /
- * #1210 exemptions (internal-only and light-dispatched-with-disabled-review
+ * "internal_only"` or `maxCopilotRounds: 0` — preserving the existing
+ * exemptions (internal-only and light-dispatched-with-disabled-review
  * PRs never need a Copilot round in the first place).
  */
 const PRE_APPROVAL_ENTRY_BOUNDARIES = Object.freeze([
@@ -589,7 +589,7 @@ function applyUnsettledCopilotReviewEntryGuard(input, result) {
   if (copilotReviewRequestStatus !== "requested" && copilotReviewRequestStatus !== "already-requested") {
     return null;
   }
-  // Round-cap exemption (mirrors shouldGuardCopilotReviewRequest, #896/#848):
+  // Round-cap exemption (mirrors shouldGuardCopilotReviewRequest):
   // past the cap a lingering requested/already-requested status is for a review
   // that can never come (no further round is permitted), so treating it as
   // "unsettled" here would re-introduce the infinite-wait dead-end the
@@ -602,7 +602,7 @@ function applyUnsettledCopilotReviewEntryGuard(input, result) {
     maxCopilotRounds: input.maxCopilotRounds,
   });
   const lifecycleState = typeof input.lifecycleState === "string" ? input.lifecycleState.trim().toLowerCase() : "";
-  // Also exempt the evaluator's own ROUND_CAP_REACHED grant shape (#1472):
+  // Also exempt the evaluator's own ROUND_CAP_REACHED grant shape:
   // without this, this guard would rewrite that grant back to
   // waiting_for_copilot_review the instant it is produced, re-introducing the
   // never-arriving-review dead-end the round-cap exemption exists to prevent.
@@ -657,7 +657,7 @@ function applyUnsettledCopilotReviewEntryGuard(input, result) {
 
 /**
  * Evaluates PR gate coordination, then re-asserts the merge-blocking title guard
- * (issue #842) at the pre-approval / final-approval boundary for non-draft PRs.
+ * at the pre-approval / final-approval boundary for non-draft PRs.
  *
  * The title check is also performed inline at the three FINAL_APPROVAL_READY
  * sites (defense in depth); this wrapper additionally covers the pre-approval
@@ -708,7 +708,7 @@ function evaluatePrGateCoordinationCore(input = {}) {
   const prClosed = input.prClosed === true;
   const prMerged = input.prMerged === true;
   const sameHeadCleanConverged = input.sameHeadCleanConverged === true;
-  // Operator-authorized post-convergence suppression (#1441): set only when the
+  // Operator-authorized post-convergence suppression: set only when the
   // caller has verified an explicit prior withdrawal (withdraw-copilot-review-
   // request.mjs) recorded a suppression marker for this EXACT head, proving the
   // delta since Copilot's last submitted review is a pure doc/prose bump. Never
@@ -737,7 +737,7 @@ function evaluatePrGateCoordinationCore(input = {}) {
   const copilotReviewRoundCount = normalizeNonNegativeInteger(input.copilotReviewRoundCount);
   const maxCopilotRounds = normalizePositiveInteger(input.maxCopilotRounds);
   const roundCapReached = isCopilotRoundCapReached({ copilotReviewRoundCount, maxCopilotRounds });
-  // #1472: explicit current-head unresolved-thread signal for the round-cap
+  // Explicit current-head unresolved-thread signal for the round-cap
   // fallback check below (STATE.ROUND_CAP_REACHED). Unlike copilotReviewRoundCount
   // (which safely defaults to 0 when absent), an absent/invalid count here must
   // NOT be coerced to 0 — that would silently treat an unknown thread count as
@@ -749,11 +749,11 @@ function evaluatePrGateCoordinationCore(input = {}) {
   const postConvergenceSignificantChange = input.postConvergenceSignificantChange === true;
   const roundCapNewCycleRequired = roundCapReached && copilotReviewRoundCount > 0 && postConvergenceSignificantChange;
   const prTitle = typeof input.prTitle === "string" ? input.prTitle : "";
-  // UI e2e auto-scoping (#976): the PR changed-file set + whether the shared UI
+  // UI e2e auto-scoping: the PR changed-file set + whether the shared UI
   // e2e suite passed for this head. Inclusion is path-triggered, never annotated.
   const changedFiles = Array.isArray(input.changedFiles) ? input.changedFiles : [];
   const uiE2ePassed = input.uiE2ePassed === true ? true : (input.uiE2ePassed === false ? false : null);
-  // Designer/vision recorded-evidence scoping (#1443, ADR 0041 UI half). See
+  // Designer/vision recorded-evidence scoping (ADR 0041 UI half). See
   // the designer-review scoping block below. Evidence reuses the loop's
   // existing outcome + artifact-bundle record; exempt when a light/spike
   // relaxed-gate carve-out applies.
@@ -834,7 +834,7 @@ function evaluatePrGateCoordinationCore(input = {}) {
     });
   }
 
-  // Mergeability is a required precondition at every gate (issue #980). GitHub
+  // Mergeability is a required precondition at every gate. GitHub
   // computes `mergeable` asynchronously, so an unsettled UNKNOWN must fail closed
   // to a recheck — never a pass. The detect layer already re-polls a bounded
   // number of times; if it still reads UNKNOWN here, hold gate progression and
@@ -908,13 +908,13 @@ function evaluatePrGateCoordinationCore(input = {}) {
     });
   }
 
-  // UI e2e auto-scoping precondition (#976). Path-triggered + fail-closed:
+  // UI e2e auto-scoping precondition. Path-triggered + fail-closed:
   // if the PR's changed files touch a rendered artifact (a deck under
   // docs/articles|presentations, or the inspect-run viewer source), it MUST be
   // registered in the shared UI e2e suite AND that suite must have passed for
   // this head. A rendered-artifact change with no registered/passing coverage
   // blocks here with a reason naming the artifact. Distinct seam from the
-  // mergeability (#980) preconditions to minimize
+  // mergeability preconditions to minimize
   // merge-time conflict. Non-UI changes pass through untouched (required=false).
   const uiE2eScoping = evaluateUiE2eScoping(changedFiles, { uiE2ePassed });
   if (uiE2eScoping.required && !uiE2eScoping.satisfied) {
@@ -947,7 +947,7 @@ function evaluatePrGateCoordinationCore(input = {}) {
     });
   }
 
-  // Designer/vision recorded-evidence precondition (#1443, ADR 0041 UI half).
+  // Designer/vision recorded-evidence precondition (ADR 0041 UI half).
   // Path-triggered + fail-closed, modeled on the UI e2e scoping block above: if
   // the PR's changed files touch a rendered artifact (docs/articles|presentations
   // HTML), it MUST carry recorded designer/vision review evidence (the loop's
@@ -1389,7 +1389,7 @@ function evaluatePrGateCoordinationCore(input = {}) {
     // straight to pre_approval_gate, so this branch must not force a re-request
     // for a missing Copilot convergence point that will never exist. The
     // sibling PR_READY_NO_FEEDBACK branch already honors internal_only; this
-    // reconciles READY_TO_REREQUEST_REVIEW with it (issue 1771). Non-suppressed
+    // reconciles READY_TO_REREQUEST_REVIEW with it. Non-suppressed
     // external-review PRs keep reviewMode null and hit the guard unchanged.
     if (!sameHeadCleanConverged && !postConvergenceReviewSuppressed && reviewMode !== "internal_only" && (!roundCapReached || roundCapNewCycleRequired)) {
       pushUnique(allowedNextActions, [PR_CHECKPOINT_ACTION.REREQUEST_COPILOT_REVIEW]);
@@ -1511,17 +1511,17 @@ function evaluatePrGateCoordinationCore(input = {}) {
     });
   }
 
-  // Round-cap clean fallback (#896, #848): the Copilot review round cap is
+  // Round-cap clean fallback: the Copilot review round cap is
   // exhausted and the current head is clean (zero unresolved threads + green CI)
   // — including a POST-CAP head Copilot has not (and will not) re-review, since
   // no further Copilot round is permitted. Re-requesting review is illegal here,
   // so this MUST NOT dead-end at READY_TO_REREQUEST_REVIEW — nor at a forced
-  // rerequest for a post-convergence significant change (#1387): the cap makes
+  // rerequest for a post-convergence significant change: the cap makes
   // that rerequest impossible (request-copilot-review suppresses it), so a
   // significant change discovered here is reviewed by the pre_approval_gate
   // fan-out itself, on the post-cap head, same as any other clean fallback. It
   // routes to the pre_approval_gate, which reviews the post-cap head itself
-  // (per #848). The CI guards below still hold (failing / credibly-green CI
+  // itself. The CI guards below still hold (failing / credibly-green CI
   // blocks), and conflicts / blocked states are handled earlier, so
   // genuinely-blocked states still forbid pre_approval. Mirrors
   // LOW_SIGNAL_CONVERGED routing with round-cap reasoning.
@@ -1587,10 +1587,10 @@ function evaluatePrGateCoordinationCore(input = {}) {
           refinementArtifact,
         });
       }
-      // Mirror LOW_SIGNAL_CONVERGED (#579): a clean current head with no clean
+      // Mirror LOW_SIGNAL_CONVERGED: a clean current head with no clean
       // draft_gate evidence must reconcile the draft gate rather than jump to
       // final approval. This keeps the core handler consistent with the
-      // detect-pr-gate-coordination-state #579 post-pass, which unconditionally
+      // detect-pr-gate-coordination-state post-pass, which unconditionally
       // downgrades FINAL_APPROVAL_READY → DRAFT_GATE_NEEDED when
       // draftGate.cleanEvidenceExists is false (no ROUND_CAP_CLEAN_FALLBACK
       // exemption). Without this guard the final-approval-without-draft-gate
@@ -1668,23 +1668,23 @@ function evaluatePrGateCoordinationCore(input = {}) {
     });
   }
 
-  // Defensive gate-entry re-check for ROUND_CAP_REACHED (#1472): the compound
+  // Defensive gate-entry re-check for ROUND_CAP_REACHED: the compound
   // "unresolved threads OR non-clean CI" hard stop that copilot-loop-state.mjs
   // emits has no dedicated boundary of its own, so without this branch the
   // generic fallback below always names `report_blocked`. Both shipped
   // callers read lifecycleState and the CI/thread facts from ONE snapshot, and
   // the interpreter's own CI predicate is strictly wider than this branch's
-  // (it also accepts `crediblyGreen`, #1371): whenever this branch's narrower
+  // (it also accepts `crediblyGreen`): whenever this branch's narrower
   // predicate and zero unresolved threads hold, the interpreter has already
   // classified the snapshot ROUND_CAP_CLEAN_FALLBACK, never ROUND_CAP_REACHED
   // (see the equivalence test in pr-gate-coordination.test.mjs). This branch
   // is therefore unreachable through the shipped callers — it is pure
-  // defense-in-depth, demanded by issue 1472's corrected AC so the three
+  // defense-in-depth, demanded by the corrected AC so the three
   // fields can never disagree if a future caller hands the evaluator a
   // round_cap_reached label alongside facts that satisfy the grant. The
   // predicate intentionally mirrors every other pre-approval CI boundary in
   // this file (success, or CI not required) — `crediblyGreen` is unconfirmed
-  // CI and stays blocked here exactly as it does everywhere else (#1371). Any
+  // CI and stays blocked here exactly as it does everywhere else. Any
   // other combination (threads still unresolved, an unknown thread count, or
   // CI not confirmed green) falls through unchanged to the generic default
   // below, preserving today's blocked behavior exactly.
@@ -1694,7 +1694,7 @@ function evaluatePrGateCoordinationCore(input = {}) {
     // OR CI is not required by config — never for an unconfirmed/failing/absent
     // status gated in only because requireCi is false. Naming it "green" in
     // human-read reason/evidence text for the latter case would be a false CI
-    // claim (#1472 defer), so describe the actual grant basis instead.
+    // claim, so describe the actual grant basis instead.
     const ciClause = ciStatus === "success" ? "green CI" : "CI not required by config";
     if (unresolvedThreadCount === 0 && ciConfirmedGreen) {
       if (preApprovalGate.currentHeadClean) {
@@ -1717,7 +1717,7 @@ function evaluatePrGateCoordinationCore(input = {}) {
             refinementArtifact,
           });
         }
-        // Mirror ROUND_CAP_CLEAN_FALLBACK/#579: a clean current head with no clean
+        // Mirror ROUND_CAP_CLEAN_FALLBACK: a clean current head with no clean
         // draft_gate evidence must reconcile the draft gate rather than jump to
         // final approval.
         if (!draftGate.cleanEvidenceExists) {

package/src/loop/queue-board-sync.mjs

@@ -2,7 +2,8 @@ import { readFileSync } from "node:fs";
 import path from "node:path";
 import { parse as parseYaml } from "yaml";
 import { main as moveQueueItemMain } from "../projects/move-queue-item.mjs";
-import { ghGraphql } from "../github/gh.mjs";
+import { resolveOwner } from "../github/gh.mjs";
+import { discoverProjects } from "../projects/projects-access.mjs";
 
 const DEFAULT_NON_SUCCESS_COLUMN = "Backlog";
 
@@ -40,7 +41,7 @@ export const DEFAULT_STATE_COLUMN_NAMES = Object.freeze({
 /**
  * Default loop-state → logical-column map. Covers both the lifecycle states
  * (lifecycle-state.mjs) and the inner Copilot loop states (copilot-loop-state.mjs),
- * plus the conceptual names used by issue #793. Unknown states fall back to
+ * plus the conceptual state names. Unknown states fall back to
  * IN_PROGRESS (a safe, visible "work is happening" column) rather than throwing.
  */
 export const DEFAULT_STATE_LOGICAL_MAP = Object.freeze({
@@ -53,7 +54,7 @@ export const DEFAULT_STATE_LOGICAL_MAP = Object.freeze({
 
   // In Progress — active implementation / review / feedback resolution
   implementation: LOGICAL_COLUMN.IN_PROGRESS,
-  // Tolerated alias for `implementation` (conceptual name from issue #793);
+  // Tolerated alias for `implementation` (conceptual name);
   // the queue driver passes the real `implementation` lifecycle state.
   local_implementation_active: LOGICAL_COLUMN.IN_PROGRESS,
   draft_gate: LOGICAL_COLUMN.IN_PROGRESS,
@@ -80,7 +81,7 @@ export const DEFAULT_STATE_LOGICAL_MAP = Object.freeze({
   // Done — terminal (lifecycle MERGE = "merge", queue terminal = "done")
   merge: LOGICAL_COLUMN.DONE,
   done: LOGICAL_COLUMN.DONE,
-  // Tolerated aliases (conceptual names from issue #793).
+  // Tolerated aliases (conceptual names).
   merged: LOGICAL_COLUMN.DONE,
   issue_closed: LOGICAL_COLUMN.DONE,
 });
@@ -109,7 +110,7 @@ export function boardColumnForLoopState(loopState, mapping = {}) {
 
 /**
  * Derive the board's target LOGICAL column for a queue item from live GitHub
- * facts (#1069). Returns LOGICAL_COLUMN.DONE, LOGICAL_COLUMN.IN_PROGRESS, or
+ * facts. Returns LOGICAL_COLUMN.DONE, LOGICAL_COLUMN.IN_PROGRESS, or
  * null when the item should be left where it is (Backlog/Next Up untouched).
  *
  * facts: {
@@ -131,7 +132,7 @@ export function deriveReconcileColumn(facts = {}) {
 }
 
 /**
- * Pure reconcile planner (#1069). Given listed board items, a map of live facts
+ * Pure reconcile planner. Given listed board items, a map of live facts
  * keyed by the item's stable GraphQL node id (`item.itemId`), and the resolved
  * column display names, return the set of moves needed to converge the board and
  * a count of items left unchanged. Idempotent: when every item already sits in
@@ -139,7 +140,7 @@ export function deriveReconcileColumn(facts = {}) {
  *
  * Keying by the stable `itemId` (not the bare issue/PR number) keeps reconcile
  * deterministic on a multi-repo GitHub Projects board, where two items can share
- * a number (repo-A PR #5 vs repo-B issue #5) — number-keying would collide and
+ * a number (repo-A PR 5 vs repo-B issue 5) — number-keying would collide and
  * make moves order-dependent.
  *
  * items: [{ itemId, issueNumber, prNumber, status, ... }]  (from list-queue-items)
@@ -172,7 +173,7 @@ function readDevloopsSettings(repoRoot) {
     try {
       const raw = readFileSync(base + ext, "utf8");
       const settings = ext === ".json" ? JSON.parse(raw) : parseYaml(raw);
-      // `tracker` (issue #1408, the tracker-agnostic seam) is surfaced so
+      // `tracker` (the tracker-agnostic seam) is surfaced so
       // loadBoardConfig can read tracker.board directly.
       return { settings: settings?.queue ?? null, tracker: settings?.tracker ?? null };
     } catch (err) {
@@ -207,7 +208,7 @@ export function loadBoardConfig(repoRoot) {
   if (error) {
     return { enabled: false, reason: `config read/parse error: ${error}` };
   }
-  // tracker.board (canonical board key, issue #1408) — see resolveTrackerBoard
+  // tracker.board (canonical board key) — see resolveTrackerBoard
   // in ../config/config.mjs for the equivalent resolution against the
   // validated, loaded config.
   const trackerBoard = boardSelector(tracker?.board);
@@ -270,86 +271,19 @@ export function loadStateColumnMap(repoRoot) {
 
   // Surface a non-ENOENT read/parse error (mirrors loadBoardConfig). Callers on
   // the fail-closed next_up pickup path MUST honor it rather than silently
-  // querying the default literal column against a stale/renamed board (#1098).
+  // querying the default literal column against a stale/renamed board.
   // Existing `.columnNames`-only callers ignore this field and behave unchanged.
   return { columnNames, stateColumnMap, error: error ?? null };
 }
 
 // ── Minimal project lookup (read-only, no create/repair) ────────────────
 
-const GET_USER_ID = [
-  "query($login:String!) {",
-  "  user(login:$login) { id }",
-  "}"
-].join("\n");
-
-const GET_ORG_ID = [
-  "query($login:String!) {",
-  "  organization(login:$login) { id }",
-  "}"
-].join("\n");
-
-const LIST_USER_PROJECTS = [
-  "query($login:String!, $after:String) {",
-  "  user(login:$login) {",
-  "    projectsV2(first:50, after:$after) {",
-  "      pageInfo { hasNextPage endCursor }",
-  "      nodes { id number title url }",
-  "    }",
-  "  }",
-  "}"
-].join("\n");
-
-const LIST_ORG_PROJECTS = [
-  "query($login:String!, $after:String) {",
-  "  organization(login:$login) {",
-  "    projectsV2(first:50, after:$after) {",
-  "      pageInfo { hasNextPage endCursor }",
-  "      nodes { id number title url }",
-  "    }",
-  "  }",
-  "}"
-].join("\n");
-
-async function resolveOwner(login, env, runChild) {
-  const userPayload = await ghGraphql(GET_USER_ID, { login }, env, runChild);
-  if (userPayload?.data?.user?.id) {
-    return { id: userPayload.data.user.id, kind: "user" };
-  }
-  const orgPayload = await ghGraphql(GET_ORG_ID, { login }, env, runChild);
-  if (orgPayload?.data?.organization?.id) {
-    return { id: orgPayload.data.organization.id, kind: "org" };
-  }
-  throw Object.assign(
-    new Error(`Could not resolve owner ID for "${login}"`),
-    { code: "NO_USER_ID" },
-  );
-}
-
+// Board-sync tolerates null project nodes (defensive against a partial page);
+// the shared discovery returns raw nodes, so this caller keeps its own null
+// filter at the call site rather than in the shared traversal.
 async function listAllProjects(login, kind, env, runChild) {
-  const query = kind === "org" ? LIST_ORG_PROJECTS : LIST_USER_PROJECTS;
-  const projects = [];
-  let after = null;
-  while (true) {
-    const vars = { login };
-    if (after) vars.after = after;
-    const payload = await ghGraphql(query, vars, env, runChild);
-    const connection = kind === "org"
-      ? payload?.data?.organization?.projectsV2
-      : payload?.data?.user?.projectsV2;
-    const nodes = connection?.nodes ?? [];
-    projects.push(...nodes.filter((n) => n != null));
-    const pageInfo = connection?.pageInfo ?? {};
-    if (!pageInfo.hasNextPage) break;
-    if (!pageInfo.endCursor) {
-      throw Object.assign(
-        new Error("Invalid projects list payload: hasNextPage is true but endCursor is missing"),
-        { code: "GH_API_ERROR" },
-      );
-    }
-    after = pageInfo.endCursor;
-  }
-  return projects;
+  const projects = await discoverProjects(login, kind, env, runChild);
+  return projects.filter((n) => n != null);
 }
 
 const projectNumberCache = new Map();