@davidbalzan/groundwork 0.4.3 → 0.4.4

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@davidbalzan/groundwork",
-  "version": "0.4.3",
+  "version": "0.4.4",
   "description": "Groundwork — an installable AI development workflow (skills + doc methodology) you bolt onto any repo.",
   "type": "module",
   "bin": {

package/src/commands/doctor.mjs

@@ -910,6 +910,47 @@ guard("sweep-census", () => {
   ]);
 });
 
+// A pin that states a count and cannot reproduce it.
+//
+// A STATED METHOD THAT CONTRADICTS ITS OWN PUBLISHED RESULT IS WORSE THAN NO
+// METHOD: it looks auditable, so it invites exactly the trust it cannot bear. The
+// board's `[SWEEP:canon.2]` pin says "13 members" and carries a predicate that
+// returns 9 — the four delivered members were closed and the prose count was not.
+// A reader who runs the predicate finds the discrepancy; a reader who trusts the
+// number does not, and the number is the part that looks like a fact.
+//
+// So a pin asserting a subset must be RE-DERIVABLE, and this re-derives it. The
+// predicate is the pin's own: position-matched sweep tags over parsed queue items,
+// which is the only method of the three that was ever right.
+guard("pin-reproducibility", () => {
+  const board = path.join(docs, "WORKSTREAMS.md");
+  if (!exists(board) || !queueDocs.length) return;
+  const text = readText(board);
+  // `### \`[SWEEP:<tag>]\` — pinned at <sha>, <n> members`
+  const pins = [...text.matchAll(/^###\s+`\[SWEEP:([a-z0-9._-]+)\]`[^\n]*?(\d+)\s+members/gim)];
+  if (!pins.length) {
+    push("pin-reproducibility", "info", ["no pinned sweeps on the board — nothing to re-derive"]);
+    return;
+  }
+  const items = queueDocs.flatMap((rel) => queueItemsOf(parseWorkDoc(readText(path.join(docs, rel)))));
+  const problems = [];
+  const okLines = [];
+  for (const [, tag, claimed] of pins) {
+    const actual = items.filter((i) => sweepTagOf(i) === tag.toLowerCase()).length;
+    if (Number(claimed) !== actual) {
+      problems.push(
+        `[SWEEP:${tag}] pin claims ${claimed} members; its own predicate returns ${actual}. ` +
+          `A stated count that the stated method contradicts is worse than no count — it looks auditable. ` +
+          `Re-derive the pin, or record why the difference is expected.`,
+      );
+    } else {
+      okLines.push(`[SWEEP:${tag}]: ${actual} members, predicate reproduces the count`);
+    }
+  }
+  if (problems.length) push("pin-reproducibility", "warn", [...problems, ...okLines]);
+  else push("pin-reproducibility", "ok", okLines);
+});
+
 const factsFile = path.join(docs, "FACTS.md");
 guard("facts-freshness", () => {
   if (exists(factsFile)) {