@tekyzinc/gsd-t 4.9.14 → 4.10.10

package/CHANGELOG.md

@@ -2,6 +2,21 @@
 
 All notable changes to GSD-T are documented here. Updated with each release.
 
+## [4.10.10] - 2026-06-26
+
+### Added — M94 persistent code graph + M95 real SCIP call-graph resolution; graph runtime now propagates into projects
+
+The code graph is no longer grep-dependent in principle: M94 shipped a persistent, all-local on-disk index (files / functions / imports / call graph) with a deterministic no-grep-fallback query CLI, and M95 made the precise tier REAL — it reads scip-typescript's `index.scip` and resolves cross-file call edges instead of relabeling unresolved tree-sitter edges "compiler-accurate." Verified on the real Atos repo: the test→impl verb returns 164 resolved cross-file edges (was 0). The graph runtime is now on the project-propagation list, so `update-all` copies the query CLI into every project's `bin/` — the wired consumers (execute/wave disjointness, debug, quick, impact, plan, scan) can finally read a project's graph instead of falling back to grep.
+
+- `bin/gsd-t-scip-reader.cjs`: NEW — decodes `index.scip` into symbol→funcId + per-file reference maps (via scip-typescript's bundled protobuf decoder, located across install layouts, fail-loud if absent).
+- `bin/gsd-t-graph-scip-upgrade.cjs`: `buildScipResolver` runs scip-typescript ONCE per repo (was once-per-file with the output discarded) and resolves `UNRESOLVED#<name>` call edges; tier honesty — `compiler-accurate` only when SCIP actually resolved an edge.
+- `bin/gsd-t-graph-index.cjs`: auto-builds the resolver and threads it through `parse_and_put`.
+- `bin/gsd-t.js`: `gsd-t install` auto-installs scip-typescript + scip-python; `gsd-t doctor` reports their presence; graph runtime added to `PROJECT_BIN_TOOLS`.
+- `bin/gsd-t-graph-freshness.cjs` + `bin/gsd-t-graph-query-cli.cjs`: OOM fix (`runFreshnessCheck` walked `/` → 17 GB) + `openDb` canonical store-path fix + parse_and_put signature fix.
+- `test/m95-scip-call-resolution.test.js`: NEW — resolution, tier honesty, fail-loud, passthrough (5/5).
+
+Decision: GSD-T's zero-dependency installer rule is reframed as a GUIDING PRINCIPLE, not a hard rule — SCIP indexers are now an install requirement because they materially improve the product. Suite: 2502/2502 pass (4 pre-existing skips). Both heavy real-Atos tests pass.
+
 ## [4.9.14] - 2026-06-25 (workflow runCli retry — reliability patch)
 
 ### Fixed — transient helper-call flakes no longer false-block workflows

package/README.md

@@ -1,6 +1,6 @@
 # GSD-T: Contract-Driven Development for Claude Code
 
-**v4.9.14** - A methodology for reliable, parallelizable development using Claude Code with optional Agent Teams support.
+**v4.10.10** - A methodology for reliable, parallelizable development using Claude Code with optional Agent Teams support.
 
 **Eliminates context rot** — task-level fresh dispatch (one subagent per task, ~10-20% context each) means compaction never triggers.
 **Compaction-proof debug loops** — `gsd-t headless --debug-loop` runs test-fix-retest cycles as separate `claude -p` sessions. A JSONL debug ledger persists all hypothesis/fix/learning history across fresh sessions. Anti-repetition preamble injection prevents retrying failed hypotheses. Escalation tiers (sonnet → opus → human) and a hard iteration ceiling enforced externally.

package/bin/gsd-t-competition-judge.cjs

@@ -123,8 +123,14 @@ function scorePartition(candidate, projectDir) {
 
   // Run the real oracle when available; otherwise fall back to a self-contained
   // overlap check so the judge still works if the lib isn't co-located.
+  // fallbackToTouchesOnly: the judge SCORES partition shapes — it is not gating a
+  // live parallel fan-out — so when the graph index is absent (M94: the query CLI
+  // exists but no index is built, e.g. on a tiny synthetic candidate), it must
+  // degrade to the literal-Touches disjointness count, NOT return empty groups
+  // (which would zero parallelGroups and break scoring). The FAIL-LOUD-HALT path
+  // is reserved for execute's real fan-out gate, which requires the graph.
   const res = proveDisjointness
-    ? proveDisjointness({ tasks, projectDir })
+    ? proveDisjointness({ tasks, projectDir, disjointnessFallback: "touches-only" })
     : _localDisjoint(tasks);
 
   const parallelGroups = (res.parallel || []).length;

package/bin/gsd-t-context-brief-kinds/impact.cjs

@@ -6,6 +6,11 @@
  * summary so an impact-analysis worker can understand the blast radius.
  *
  * Fail-open: missing optional source → empty field, brief still written.
+ *
+ * M94-D8-T4 [RULE] brief-resolves-active-milestone-never-completed:
+ *   Cross-checks the resolved milestonePrefix against the Completed-Milestones
+ *   table in progress.md. A prefix appearing there is COMPLETED and is rejected
+ *   (staleness flag set), never returned as the active milestone prefix.
  */
 
 const fs = require('fs');
@@ -19,10 +24,90 @@ function _readMaybe(file) {
   try { return fs.readFileSync(file, 'utf8'); } catch (_) { return null; }
 }
 
+/**
+ * Build the set of milestone prefixes (lowercase) that are COMPLETED.
+ * Sources:
+ *   1. The main Milestones table (## Milestones) — rows where Status column is COMPLETED/COMPLETE.
+ *   2. The Completed Milestones table (## Completed Milestones) — all data rows.
+ *
+ * [RULE] brief-resolves-active-milestone-never-completed
+ *
+ * @param {string} progressText
+ * @returns {Set<string>}
+ */
+function _completedPrefixes(progressText) {
+  const completed = new Set();
+  if (!progressText) return completed;
+
+  const lines = progressText.split(/\r?\n/);
+  let inCompletedMilestonesTable = false;
+  let inMilestonesTable = false;
+
+  for (const line of lines) {
+    if (/^##\s+Completed\s+Milestones/i.test(line)) {
+      inCompletedMilestonesTable = true;
+      inMilestonesTable = false;
+      continue;
+    }
+    if (/^##\s+Milestones\s*$/i.test(line)) {
+      inMilestonesTable = true;
+      inCompletedMilestonesTable = false;
+      continue;
+    }
+    if (/^##\s+/.test(line)) {
+      inCompletedMilestonesTable = false;
+      inMilestonesTable = false;
+      continue;
+    }
+
+    if (inCompletedMilestonesTable) {
+      const match = line.match(/^\|\s*(M\d+)/i);
+      if (match) {
+        completed.add(match[1].toLowerCase());
+      }
+    }
+
+    if (inMilestonesTable) {
+      if (/^\|/.test(line)) {
+        const cols = line.split('|').slice(1, -1).map((c) => c.trim());
+        if (cols.length >= 3) {
+          const milestoneCol = cols[0];
+          const statusCol = cols[2];
+          const milestoneMatch = milestoneCol.match(/^(M\d+)/i);
+          if (milestoneMatch && /^COMPLET/i.test(statusCol)) {
+            completed.add(milestoneMatch[1].toLowerCase());
+          }
+        }
+      }
+    }
+  }
+
+  return completed;
+}
+
+/**
+ * Resolve the ACTIVE milestone prefix (not completed).
+ *
+ * [RULE] brief-resolves-active-milestone-never-completed
+ *
+ * @param {string|null} progressText
+ * @returns {{ prefix: string|null, staleness: string|null }}
+ */
 function _currentMilestonePrefix(progressText) {
-  if (!progressText) return null;
-  const m = progressText.match(/^\|\s*(M\d+)\s*\|.*(DEFINED|PARTITIONED|PLANNED|EXECUTING|EXECUTED|VERIFY)/im);
-  return m ? m[1].toLowerCase() : null;
+  if (!progressText) return { prefix: null, staleness: null };
+
+  const completed = _completedPrefixes(progressText);
+
+  const lines = progressText.split(/\r?\n/);
+  for (const line of lines) {
+    const m = line.match(/^\|\s*(M\d+)\s*\|.*(DEFINED|PARTITIONED|PLANNED|EXECUTING|EXECUTED|VERIFY)/i);
+    if (!m) continue;
+    const prefix = m[1].toLowerCase();
+    if (completed.has(prefix)) continue;
+    return { prefix, staleness: null };
+  }
+
+  return { prefix: null, staleness: 'no-active-milestone-row' };
 }
 
 function _integrationPointsExcerpt(projectDir, prefix, recordSource) {
@@ -75,7 +160,7 @@ function collect(ctx) {
   const progressText = _readMaybe(path.join(projectDir, PROGRESS_PATH));
   if (progressText) recordSource(PROGRESS_PATH);
 
-  const prefix = _currentMilestonePrefix(progressText);
+  const { prefix, staleness } = _currentMilestonePrefix(progressText);
   const integration = _integrationPointsExcerpt(projectDir, prefix, recordSource);
 
   return {
@@ -87,6 +172,7 @@ function collect(ctx) {
       integrationPointsExcerpt: integration,
       gitDiffSummary: _gitDiffSummary(projectDir),
       changedFiles: _gitDiffNames(projectDir),
+      ...(staleness ? { staleness } : {}),
     },
   };
 }
@@ -97,4 +183,5 @@ module.exports = {
   collect,
   _currentMilestonePrefix,
   _integrationPointsExcerpt,
+  _completedPrefixes,
 };

package/bin/gsd-t-context-brief-kinds/partition.cjs

@@ -6,6 +6,11 @@
  * domain table for partition-phase workers.
  *
  * Fail-open: missing optional source → empty field, brief still written.
+ *
+ * M94-D8-T4 [RULE] brief-resolves-active-milestone-never-completed:
+ *   Cross-checks the resolved milestonePrefix against the Completed-Milestones
+ *   table in progress.md. A prefix appearing there is COMPLETED and is rejected
+ *   (staleness flag set), never returned as the active milestone prefix.
  */
 
 const fs = require('fs');
@@ -40,6 +45,92 @@ function _existingDomains(projectDir) {
   return entries.filter((e) => /^[a-z0-9_-]+$/i.test(e)).sort();
 }
 
+/**
+ * Build the set of milestone prefixes (lowercase) that are COMPLETED.
+ * Sources:
+ *   1. The main Milestones table (## Milestones) — rows where Status column is COMPLETED/COMPLETE.
+ *   2. The Completed Milestones table (## Completed Milestones) — all data rows.
+ *
+ * [RULE] brief-resolves-active-milestone-never-completed
+ *
+ * @param {string} progressText
+ * @returns {Set<string>}
+ */
+function _completedPrefixes(progressText) {
+  const completed = new Set();
+  if (!progressText) return completed;
+
+  const lines = progressText.split(/\r?\n/);
+  let inCompletedMilestonesTable = false;
+  let inMilestonesTable = false;
+
+  for (const line of lines) {
+    if (/^##\s+Completed\s+Milestones/i.test(line)) {
+      inCompletedMilestonesTable = true;
+      inMilestonesTable = false;
+      continue;
+    }
+    if (/^##\s+Milestones\s*$/i.test(line)) {
+      inMilestonesTable = true;
+      inCompletedMilestonesTable = false;
+      continue;
+    }
+    if (/^##\s+/.test(line)) {
+      inCompletedMilestonesTable = false;
+      inMilestonesTable = false;
+      continue;
+    }
+
+    if (inCompletedMilestonesTable) {
+      const match = line.match(/^\|\s*(M\d+)/i);
+      if (match) {
+        completed.add(match[1].toLowerCase());
+      }
+    }
+
+    if (inMilestonesTable) {
+      if (/^\|/.test(line)) {
+        const cols = line.split('|').slice(1, -1).map((c) => c.trim());
+        if (cols.length >= 3) {
+          const milestoneCol = cols[0];
+          const statusCol = cols[2];
+          const milestoneMatch = milestoneCol.match(/^(M\d+)/i);
+          if (milestoneMatch && /^COMPLET/i.test(statusCol)) {
+            completed.add(milestoneMatch[1].toLowerCase());
+          }
+        }
+      }
+    }
+  }
+
+  return completed;
+}
+
+/**
+ * Resolve the ACTIVE milestone prefix (not completed).
+ *
+ * [RULE] brief-resolves-active-milestone-never-completed
+ *
+ * @param {string|null} progressText
+ * @returns {{ prefix: string|null, staleness: string|null }}
+ */
+function _currentMilestonePrefix(progressText) {
+  if (!progressText) return { prefix: null, staleness: null };
+
+  const completed = _completedPrefixes(progressText);
+
+  const lines = progressText.split(/\r?\n/);
+  for (const line of lines) {
+    const m = line.match(/^\|\s*(M\d+)\s*\|.*(DEFINED|PARTITIONED|PLANNED|EXECUTING|EXECUTED|VERIFY)/i);
+    if (!m) continue;
+    const prefix = m[1].toLowerCase();
+    if (completed.has(prefix)) continue;
+    return { prefix, staleness: null };
+  }
+
+  return { prefix: null, staleness: 'no-active-milestone-row' };
+}
+
 function collect(ctx) {
   const { projectDir, recordSource } = ctx;
 
@@ -50,6 +141,7 @@ function collect(ctx) {
   if (disjointRules) recordSource(DISJOINT_RULES_PATH);
 
   const milestoneRow = _currentMilestoneRow(progressText);
+  const { prefix, staleness } = _currentMilestonePrefix(progressText);
   const domains = _existingDomains(projectDir);
 
   // Trim disjoint-rules excerpt to ~1,200 chars to honor cap.
@@ -68,6 +160,7 @@ function collect(ctx) {
       currentMilestoneRow: milestoneRow,
       existingDomains: domains,
       disjointnessRulesExcerpt: rulesExcerpt,
+      ...(staleness ? { staleness } : {}),
     },
   };
 }
@@ -77,5 +170,7 @@ module.exports = {
   requiresSources: [],
   collect,
   _currentMilestoneRow,
+  _currentMilestonePrefix,
   _existingDomains,
+  _completedPrefixes,
 };

package/bin/gsd-t-context-brief-kinds/plan.cjs

@@ -5,6 +5,12 @@
  * partitioned domain names with their scope.md "Files Owned" first-N entries.
  *
  * Fail-open: missing optional source → empty field, brief still written.
+ *
+ * M94-D8-T4 [RULE] brief-resolves-active-milestone-never-completed:
+ *   The resolved milestonePrefix MUST belong to an ACTIVE (not COMPLETED) milestone.
+ *   Cross-check against the Completed-Milestones table in progress.md before returning.
+ *   If the resolved prefix appears in the Completed-Milestones table (or the main Milestones
+ *   table with a COMPLETED status), it is rejected and ancillary.staleness is set.
  */
 
 const fs = require('fs');
@@ -28,6 +34,76 @@ function _currentMilestoneRow(progressText) {
   return null;
 }
 
+/**
+ * Build the set of milestone prefixes (lowercase) that are COMPLETED.
+ * Sources:
+ *   1. The main Milestones table (## Milestones) — rows where the Status column is COMPLETED/COMPLETE.
+ *   2. The Completed Milestones table (## Completed Milestones) — all data rows.
+ *
+ * Returns a Set<string> of lowercase prefix strings like 'm65', 'm93', etc.
+ *
+ * @param {string} progressText
+ * @returns {Set<string>}
+ */
+function _completedPrefixes(progressText) {
+  const completed = new Set();
+  if (!progressText) return completed;
+
+  const lines = progressText.split(/\r?\n/);
+  let inCompletedMilestonesTable = false;
+  let inMilestonesTable = false;
+
+  for (const line of lines) {
+    // Detect the "## Completed Milestones" section header.
+    if (/^##\s+Completed\s+Milestones/i.test(line)) {
+      inCompletedMilestonesTable = true;
+      inMilestonesTable = false;
+      continue;
+    }
+    // Detect the "## Milestones" section header (not "## Completed Milestones").
+    if (/^##\s+Milestones\s*$/i.test(line)) {
+      inMilestonesTable = true;
+      inCompletedMilestonesTable = false;
+      continue;
+    }
+    // Stop tracking on any other heading.
+    if (/^##\s+/.test(line)) {
+      inCompletedMilestonesTable = false;
+      inMilestonesTable = false;
+      continue;
+    }
+
+    if (inCompletedMilestonesTable) {
+      // All data rows in the Completed Milestones table are completed milestones.
+      // Row format: | M93 Brevity Guard | 4.9.11 | ...
+      // or: | M93 | ... | COMPLETED | ...
+      const match = line.match(/^\|\s*(M\d+)/i);
+      if (match) {
+        completed.add(match[1].toLowerCase());
+      }
+    }
+
+    if (inMilestonesTable) {
+      // Rows in the main Milestones table with COMPLETED or COMPLETE status.
+      // Row format: | M65 | Orchestration-Shell Retirement | COMPLETED | ...
+      // The status is the 3rd pipe-column.
+      if (/^\|/.test(line)) {
+        const cols = line.split('|').slice(1, -1).map((c) => c.trim());
+        if (cols.length >= 3) {
+          const milestoneCol = cols[0]; // e.g. "M65"
+          const statusCol = cols[2];    // e.g. "COMPLETED"
+          const milestoneMatch = milestoneCol.match(/^(M\d+)/i);
+          if (milestoneMatch && /^COMPLET/i.test(statusCol)) {
+            completed.add(milestoneMatch[1].toLowerCase());
+          }
+        }
+      }
+    }
+  }
+
+  return completed;
+}
+
 function _domainSummaries(projectDir, currentMilestonePrefix, recordSource) {
   const dir = path.join(projectDir, '.gsd-t', 'domains');
   let entries;
@@ -57,10 +133,38 @@ function _domainSummaries(projectDir, currentMilestonePrefix, recordSource) {
   return out;
 }
 
+/**
+ * Resolve the ACTIVE milestone prefix from the progress text.
+ * Returns the prefix string (e.g. 'm94') if found and NOT completed, or null.
+ * Also returns a staleness flag if a resolved prefix is completed.
+ *
+ * [RULE] brief-resolves-active-milestone-never-completed
+ *
+ * @param {string|null} progressText
+ * @returns {{ prefix: string|null, staleness: string|null }}
+ */
 function _currentMilestonePrefix(progressText) {
-  if (!progressText) return null;
-  const m = progressText.match(/^\|\s*(M\d+)\s*\|.*(DEFINED|PARTITIONED|PLANNED|EXECUTING|EXECUTED|VERIFY)/im);
-  return m ? m[1].toLowerCase() : null;
+  if (!progressText) return { prefix: null, staleness: null };
+
+  // Build the completed set FIRST for cross-checking.
+  const completed = _completedPrefixes(progressText);
+
+  // Walk all matching rows and return the first one that is NOT completed.
+  const lines = progressText.split(/\r?\n/);
+  for (const line of lines) {
+    const m = line.match(/^\|\s*(M\d+)\s*\|.*(DEFINED|PARTITIONED|PLANNED|EXECUTING|EXECUTED|VERIFY)/i);
+    if (!m) continue;
+    const prefix = m[1].toLowerCase();
+    if (completed.has(prefix)) {
+      // This row's milestone is COMPLETED — skip it, continue scanning.
+      continue;
+    }
+    // Found an active (non-completed) milestone row.
+    return { prefix, staleness: null };
+  }
+
+  // No active milestone row found (or all candidates are completed).
+  return { prefix: null, staleness: 'no-active-milestone-row' };
 }
 
 function collect(ctx) {
@@ -70,7 +174,7 @@ function collect(ctx) {
   if (progressText) recordSource(PROGRESS_PATH);
 
   const milestoneRow = _currentMilestoneRow(progressText);
-  const prefix = _currentMilestonePrefix(progressText);
+  const { prefix, staleness } = _currentMilestonePrefix(progressText);
   const domains = _domainSummaries(projectDir, prefix, recordSource);
 
   return {
@@ -81,6 +185,7 @@ function collect(ctx) {
       currentMilestoneRow: milestoneRow,
       milestonePrefix: prefix,
       partitionedDomains: domains,
+      ...(staleness ? { staleness } : {}),
     },
   };
 }
@@ -92,4 +197,5 @@ module.exports = {
   _currentMilestoneRow,
   _currentMilestonePrefix,
   _domainSummaries,
+  _completedPrefixes,
 };