cclaw-cli 0.48.11 → 0.48.13

package/README.md

@@ -158,7 +158,7 @@ If cclaw detects a Node / Python / Go project at init time, a sixth
 `pyproject.toml` / `requirements.txt`, `go.mod`). That is the full
 default surface — a new user sees nothing they need to understand yet.
 
-Advanced knobs (`promptGuardMode` / `tddEnforcement` per-axis overrides,
+Advanced knobs (`ironLaws.strictLaws` per-law escapes,
 `tdd.testPathPatterns` / `tdd.productionPathPatterns`,
 `compound.recurrenceThreshold`, `defaultTrack`, `trackHeuristics`,
 `sliceReview`) are **opt-in**: add them by hand when you need them.

package/dist/cli.js

@@ -828,7 +828,7 @@ async function runCommand(parsed, ctx) {
             ctx.stdout.write(`${JSON.stringify({
                 track: previewConfig.defaultTrack ?? "standard",
                 harnesses: previewConfig.harnesses,
-                promptGuardMode: previewConfig.promptGuardMode,
+                strictness: previewConfig.strictness ?? "advisory",
                 gitHookGuards: previewConfig.gitHookGuards,
                 languageRulePacks: previewConfig.languageRulePacks,
                 generatedSurfaces: previewSurfaces

package/dist/config.d.ts

@@ -42,7 +42,7 @@ export declare function readConfig(projectRoot: string): Promise<CclawConfig>;
  * the user set them explicitly. Keeps the default template small and honest:
  * only knobs a new user would meaningfully flip show up.
  */
-type AdvancedConfigKey = "promptGuardMode" | "tddEnforcement" | "tddTestGlobs" | "tdd" | "compound" | "defaultTrack" | "languageRulePacks" | "trackHeuristics" | "sliceReview" | "ironLaws";
+type AdvancedConfigKey = "tddTestGlobs" | "tdd" | "compound" | "defaultTrack" | "languageRulePacks" | "trackHeuristics" | "sliceReview" | "ironLaws";
 /**
  * Options controlling the serialisation shape of `config.yaml`.
  *

package/dist/config.js

@@ -17,8 +17,6 @@ const ALLOWED_CONFIG_KEYS = new Set([
     "flowVersion",
     "harnesses",
     "strictness",
-    "promptGuardMode",
-    "tddEnforcement",
     "tddTestGlobs",
     "tdd",
     "compound",
@@ -29,6 +27,16 @@ const ALLOWED_CONFIG_KEYS = new Set([
     "sliceReview",
     "ironLaws"
 ]);
+/**
+ * Config keys removed in the advisory-by-default consolidation. Kept here so
+ * the parser can emit a helpful migration error pointing users at the new
+ * single `strictness` knob instead of a generic "unknown key" message.
+ */
+const RETIRED_GUARD_CONFIG_KEYS = new Set([
+    "promptGuardMode",
+    "tddEnforcement",
+    "workflowGuardMode"
+]);
 /**
  * Config keys always present in the minimal init template. Everything else
  * is "advanced" — parsed when present, but not pre-populated by `cclaw init`.
@@ -131,8 +139,6 @@ export function createDefaultConfig(harnesses = DEFAULT_HARNESSES, defaultTrack
         flowVersion: FLOW_VERSION,
         harnesses,
         strictness: "advisory",
-        promptGuardMode: "advisory",
-        tddEnforcement: "advisory",
         tddTestGlobs: [...tddTestPathPatterns],
         tdd: {
             testPathPatterns: tddTestPathPatterns,
@@ -145,7 +151,6 @@ export function createDefaultConfig(harnesses = DEFAULT_HARNESSES, defaultTrack
         defaultTrack,
         languageRulePacks: [],
         ironLaws: {
-            mode: "advisory",
             strictLaws: []
         }
     };
@@ -208,6 +213,12 @@ export async function readConfig(projectRoot) {
     const parsed = (parsedUnknown && typeof parsedUnknown === "object"
         ? parsedUnknown
         : {});
+    const retiredGuardKeys = Object.keys(parsed).filter((key) => RETIRED_GUARD_CONFIG_KEYS.has(key));
+    if (retiredGuardKeys.length > 0) {
+        throw configValidationError(fullPath, `config key(s) ${retiredGuardKeys.join(", ")} were removed; ` +
+            `use the single \`strictness: advisory|strict\` knob instead ` +
+            `(advisory is the default). See docs/config.md#strictness for migration.`);
+    }
     const unknownKeys = Object.keys(parsed).filter((key) => !ALLOWED_CONFIG_KEYS.has(key));
     if (unknownKeys.length > 0) {
         throw configValidationError(fullPath, `unknown top-level key(s): ${unknownKeys.join(", ")}`);
@@ -235,29 +246,6 @@ export async function readConfig(projectRoot) {
         throw configValidationError(fullPath, `"strictness" must be "advisory" or "strict"`);
     }
     const strictness = strictnessRaw === "strict" ? "strict" : "advisory";
-    // Legacy guard fields — keep honouring explicit values for power users who
-    // want asymmetric behaviour (e.g. strict prompt guard + advisory TDD).
-    // When the user only set `strictness`, both axes inherit from it.
-    const hasExplicitPromptGuard = Object.prototype.hasOwnProperty.call(parsed, "promptGuardMode");
-    const promptGuardModeRaw = parsed.promptGuardMode;
-    if (hasExplicitPromptGuard &&
-        promptGuardModeRaw !== "advisory" &&
-        promptGuardModeRaw !== "strict") {
-        throw configValidationError(fullPath, `"promptGuardMode" must be "advisory" or "strict"`);
-    }
-    const promptGuardMode = hasExplicitPromptGuard
-        ? (promptGuardModeRaw === "strict" ? "strict" : "advisory")
-        : strictness;
-    const hasExplicitTddEnforcement = Object.prototype.hasOwnProperty.call(parsed, "tddEnforcement");
-    const tddEnforcementRaw = parsed.tddEnforcement;
-    if (hasExplicitTddEnforcement &&
-        tddEnforcementRaw !== "advisory" &&
-        tddEnforcementRaw !== "strict") {
-        throw configValidationError(fullPath, `"tddEnforcement" must be "advisory" or "strict"`);
-    }
-    const tddEnforcement = hasExplicitTddEnforcement
-        ? (tddEnforcementRaw === "strict" ? "strict" : "advisory")
-        : strictness;
     const tddTestGlobsRaw = parsed.tddTestGlobs;
     const tddTestGlobs = validateStringArray(tddTestGlobsRaw, "tddTestGlobs", fullPath)
         ?? [...DEFAULT_TDD_TEST_GLOBS];
@@ -421,37 +409,31 @@ export async function readConfig(projectRoot) {
         if (!isRecord(ironLawsRaw)) {
             throw configValidationError(fullPath, `"ironLaws" must be an object`);
         }
-        const unknownIronLawKeys = Object.keys(ironLawsRaw).filter((key) => key !== "mode" && key !== "strictLaws");
+        if (Object.prototype.hasOwnProperty.call(ironLawsRaw, "mode")) {
+            throw configValidationError(fullPath, `"ironLaws.mode" was removed; the project-wide \`strictness\` knob now ` +
+                `controls iron-law enforcement. Use \`ironLaws.strictLaws\` for per-law overrides.`);
+        }
+        const unknownIronLawKeys = Object.keys(ironLawsRaw).filter((key) => key !== "strictLaws");
         if (unknownIronLawKeys.length > 0) {
             throw configValidationError(fullPath, `"ironLaws" has unknown key(s): ${unknownIronLawKeys.join(", ")}`);
         }
-        const modeRaw = ironLawsRaw.mode;
-        if (modeRaw !== undefined && modeRaw !== "advisory" && modeRaw !== "strict") {
-            throw configValidationError(fullPath, `"ironLaws.mode" must be "advisory" or "strict"`);
-        }
         const strictLawIdsRaw = validateStringArray(ironLawsRaw.strictLaws, "ironLaws.strictLaws", fullPath) ?? [];
         const unknownStrictLawIds = strictLawIdsRaw.filter((id) => !isIronLawId(id));
         if (unknownStrictLawIds.length > 0) {
             throw configValidationError(fullPath, `"ironLaws.strictLaws" contains unknown law id(s): ${unknownStrictLawIds.join(", ")}`);
         }
         ironLaws = {
-            mode: modeRaw === "strict" ? "strict" : "advisory",
             strictLaws: normalizeStrictLawIds(strictLawIdsRaw)
         };
     }
     else {
-        ironLaws = {
-            mode: strictness,
-            strictLaws: []
-        };
+        ironLaws = { strictLaws: [] };
     }
     return {
         version: parsed.version ?? CCLAW_VERSION,
         flowVersion: parsed.flowVersion ?? FLOW_VERSION,
         harnesses,
         strictness,
-        promptGuardMode,
-        tddEnforcement,
         tddTestGlobs,
         tdd: {
             testPathPatterns: resolvedTddTestPathPatterns,
@@ -480,8 +462,6 @@ function buildSerializableConfig(config, options = {}) {
         "flowVersion",
         "harnesses",
         "strictness",
-        "promptGuardMode",
-        "tddEnforcement",
         "tddTestGlobs",
         "tdd",
         "compound",
@@ -536,8 +516,6 @@ export async function detectAdvancedKeys(projectRoot) {
         if (!isRecord(parsedUnknown))
             return new Set();
         const advancedCandidates = [
-            "promptGuardMode",
-            "tddEnforcement",
             "tddTestGlobs",
             "tdd",
             "compound",

package/dist/content/next-command.js

@@ -59,6 +59,17 @@ This is the only progression command the user needs to drive the entire flow. St
 → Load **\`${RUNTIME_ROOT}/skills/<skillFolder>/SKILL.md\`** and **\`${RUNTIME_ROOT}/commands/<currentStage>.md\`** for the current stage.
 → Execute that stage's protocol. The stage skill handles the full interaction including STOP points and gate tracking.
 → Stage completion must use \`node .cclaw/hooks/stage-complete.mjs <currentStage>\` (canonical), which validates delegations + gate evidence before mutating \`flow-state.json\`.
+→ **Ralph Loop (tdd only).** When \`currentStage === "tdd"\`, also read
+  \`${RUNTIME_ROOT}/state/ralph-loop.json\` (refreshed on every session-start
+  while the flow is in tdd). Use it as a ground-truth progress indicator:
+  - \`loopIteration\` tells you how many RED → GREEN cycles already landed.
+  - \`acClosed\` lists the distinct acceptance-criterion IDs a GREEN row has
+    closed so far — if your plan tasks map to ACs, this is the "tasks
+    remaining" signal without needing a separate counter.
+  - \`redOpenSlices\` is the set of slices with an unsatisfied RED. Do not
+    advance to review while this is non-empty.
+  - Stage advancement to \`review\` still requires the normal gates in
+    \`flow-state.json\`; Ralph Loop status is a soft nudge, not a gate.
 
 ### Path B: Current stage IS complete (all gates passed, all delegations satisfied)
 
@@ -190,6 +201,15 @@ Load the current stage's skill and command contract:
 
 Execute the stage protocol. The stage skill handles interaction, STOP points, gate tracking, and stage completion via \`node .cclaw/hooks/stage-complete.mjs <stage>\` (canonical flow-state mutation path).
 
+**Ralph Loop (tdd only).** When the current stage is \`tdd\`, pair the
+normal gate-evidence view with \`${RUNTIME_ROOT}/state/ralph-loop.json\`:
+\`loopIteration\` is the running count of RED → GREEN cycles,
+\`acClosed\` lists distinct acceptance-criterion IDs already closed by
+GREEN rows (populated from \`acIds\` in \`tdd-cycle-log.jsonl\`), and
+\`redOpenSlices\` is the "tasks remaining" indicator. Advance only when
+every planned slice is in \`acClosed\` (or explicitly deferred) and
+\`redOpenSlices\` is empty.
+
 Special-case for review: if \`review_criticals_resolved\` is in \`blocked\`, route to rework instead of looping review forever — recommend \`/cc-ops rewind tdd "review_blocked_by_critical"\`.
 
 **Path B — stage IS complete (all gates met, all delegations done):**

package/dist/content/node-hooks.d.ts

@@ -1,7 +1,11 @@
 export interface NodeHookRuntimeOptions {
-    promptGuardMode?: "advisory" | "strict";
-    workflowGuardMode?: "advisory" | "strict";
-    tddEnforcementMode?: "advisory" | "strict";
+    /**
+     * Single enforcement knob derived from `config.strictness`. Generated hooks
+     * embed this value as the default for every guard (prompt, workflow, TDD,
+     * iron-laws-coupled blocks). `CCLAW_STRICTNESS` env var overrides at run
+     * time; per-law strictness still flows through `iron-laws.json`.
+     */
+    strictness?: "advisory" | "strict";
     tddTestPathPatterns?: string[];
     tddProductionPathPatterns?: string[];
 }

package/dist/content/node-hooks.js

@@ -11,9 +11,7 @@ function normalizePatterns(patterns, fallback) {
  * bash/python/jq runtime dependencies.
  */
 export function nodeHookRuntimeScript(options = {}) {
-    const promptGuardMode = options.promptGuardMode === "strict" ? "strict" : "advisory";
-    const workflowGuardMode = options.workflowGuardMode === "strict" ? "strict" : "advisory";
-    const tddEnforcementMode = options.tddEnforcementMode === "strict" ? "strict" : "advisory";
+    const strictness = options.strictness === "strict" ? "strict" : "advisory";
     const tddTestPathPatterns = normalizePatterns(options.tddTestPathPatterns, [
         "**/*.test.*",
         "**/tests/**",
@@ -27,12 +25,17 @@ import process from "node:process";
 import { spawn } from "node:child_process";
 
 const RUNTIME_ROOT = ${JSON.stringify(RUNTIME_ROOT)};
-const DEFAULT_PROMPT_GUARD_MODE = ${JSON.stringify(promptGuardMode)};
-const DEFAULT_WORKFLOW_GUARD_MODE = ${JSON.stringify(workflowGuardMode)};
-const DEFAULT_TDD_ENFORCEMENT_MODE = ${JSON.stringify(tddEnforcementMode)};
+// Single strictness default, derived from config.strictness at install time.
+// \`CCLAW_STRICTNESS\` env var overrides for the current process. All guards
+// (prompt, workflow, TDD, iron-laws) route through \`resolveStrictness()\`.
+const DEFAULT_STRICTNESS = ${JSON.stringify(strictness)};
 const DEFAULT_TDD_TEST_PATH_PATTERNS = ${JSON.stringify(tddTestPathPatterns)};
 const DEFAULT_TDD_PRODUCTION_PATH_PATTERNS = ${JSON.stringify(tddProductionPathPatterns)};
 
+function resolveStrictness() {
+  return process.env.CCLAW_STRICTNESS === "strict" ? "strict" : DEFAULT_STRICTNESS;
+}
+
 function toObject(value) {
   if (!value || typeof value !== "object" || Array.isArray(value)) return null;
   return value;
@@ -702,6 +705,26 @@ async function handleSessionStart(runtime) {
   const contextWarning = await readLatestContextWarningLine(contextWarningsFile);
   const knowledge = await buildKnowledgeDigest(runtime.root, state.currentStage);
 
+  // Refresh Ralph Loop status each session-start so /cc-next and the model
+  // both read a consistent "iter=N, acClosed=[...]" snapshot. Runs only when
+  // we are in tdd — other stages skip the write to keep the file stable.
+  let ralphLoopLine = "";
+  if (state.currentStage === "tdd") {
+    try {
+      const ralphStatus = await computeRalphLoopStatusInline(stateDir, state.activeRunId);
+      await writeJsonFile(path.join(stateDir, "ralph-loop.json"), ralphStatus);
+      const redOpen = ralphStatus.redOpenSlices.length > 0
+        ? ralphStatus.redOpenSlices.join(",")
+        : "none";
+      ralphLoopLine = "Ralph Loop: iter=" + String(ralphStatus.loopIteration) +
+        ", slices=" + String(ralphStatus.sliceCount) +
+        ", acClosed=" + String(ralphStatus.acClosed.length) +
+        ", redOpen=" + redOpen;
+    } catch (_err) {
+      // best-effort — a malformed cycle log should never break session-start.
+    }
+  }
+
   const suggestionMemory = toObject(await readJsonFile(suggestionMemoryFile, {})) || {};
   const suggestionsEnabled = suggestionMemory.enabled !== false;
   const mutedStages = Array.isArray(suggestionMemory.mutedStages)
@@ -766,6 +789,9 @@ async function handleSessionStart(runtime) {
   if (activitySummary.length > 0) {
     parts.push("Recent stage activity:\\n" + activitySummary.join("\\n"));
   }
+  if (ralphLoopLine.length > 0) {
+    parts.push(ralphLoopLine);
+  }
   if (contextWarning.length > 0) {
     parts.push("Latest context warning:\\n" + contextWarning);
   }
@@ -1024,9 +1050,7 @@ async function handlePreCompact(runtime) {
 }
 
 async function handlePromptGuard(runtime) {
-  const mode = process.env.PROMPT_GUARD_MODE === "strict"
-    ? "strict"
-    : DEFAULT_PROMPT_GUARD_MODE;
+  const mode = resolveStrictness();
   const stateDir = path.join(runtime.root, RUNTIME_ROOT, "state");
   const guardLog = path.join(stateDir, "prompt-guard.jsonl");
 
@@ -1088,6 +1112,66 @@ async function tddCycleCounts(stateDir, runId) {
   return { red, green };
 }
 
+// Mirrors src/tdd-cycle.ts::computeRalphLoopStatus — kept inline so the
+// SessionStart hook can write ralph-loop.json without depending on the CLI
+// binary being installed globally. Any schema change must update both copies.
+async function computeRalphLoopStatusInline(stateDir, runId) {
+  const filePath = path.join(stateDir, "tdd-cycle-log.jsonl");
+  const raw = await readTextFile(filePath, "");
+  const sliceMap = new Map();
+  const acClosed = new Set();
+  const redOpenSlices = [];
+  let loopIteration = 0;
+  for (const rawLine of raw.split(/\\r?\\n/gu)) {
+    const line = rawLine.trim();
+    if (line.length === 0) continue;
+    let row;
+    try { row = JSON.parse(line); } catch { continue; }
+    if (!row || typeof row !== "object" || Array.isArray(row)) continue;
+    const rowRun = typeof row.runId === "string" && row.runId.length > 0 ? row.runId : runId;
+    if (rowRun !== runId) continue;
+    const slice = typeof row.slice === "string" && row.slice.length > 0 ? row.slice : "S-unknown";
+    let state = sliceMap.get(slice);
+    if (!state) {
+      state = { slice, redCount: 0, greenCount: 0, refactorCount: 0, redOpen: false, acIds: [] };
+      sliceMap.set(slice, state);
+    }
+    const exitCode = typeof row.exitCode === "number" ? row.exitCode : undefined;
+    if (row.phase === "red") {
+      state.redCount += 1;
+      if (exitCode !== undefined && exitCode !== 0) state.redOpen = true;
+    } else if (row.phase === "green") {
+      state.greenCount += 1;
+      state.redOpen = false;
+      loopIteration += 1;
+      if (Array.isArray(row.acIds)) {
+        for (const acId of row.acIds) {
+          if (typeof acId !== "string" || acId.length === 0) continue;
+          acClosed.add(acId);
+          if (!state.acIds.includes(acId)) state.acIds.push(acId);
+        }
+      }
+    } else if (row.phase === "refactor") {
+      state.refactorCount += 1;
+    }
+  }
+  for (const state of sliceMap.values()) {
+    if (state.redOpen) redOpenSlices.push(state.slice);
+  }
+  const slices = Array.from(sliceMap.values()).sort((a, b) => a.slice.localeCompare(b.slice, "en"));
+  return {
+    schemaVersion: 1,
+    runId,
+    loopIteration,
+    redOpen: redOpenSlices.length > 0,
+    redOpenSlices,
+    acClosed: Array.from(acClosed).sort(),
+    sliceCount: slices.length,
+    slices,
+    lastUpdatedAt: new Date().toISOString()
+  };
+}
+
 function tddCycleStateFromCounts(counts) {
   if (counts.red <= 0) return "need_red";
   if (counts.red > counts.green) return "red_open";
@@ -1202,17 +1286,15 @@ function isProductionPath(rawPath, testPatterns, productionPatterns) {
 }
 
 async function handleWorkflowGuard(runtime) {
-  const mode = process.env.CCLAW_WORKFLOW_GUARD_MODE === "strict"
-    ? "strict"
-    : DEFAULT_WORKFLOW_GUARD_MODE;
+  const mode = resolveStrictness();
   const maxAgeRaw = process.env.CCLAW_WORKFLOW_GUARD_MAX_AGE_SEC;
   const maxAgeSec =
     typeof maxAgeRaw === "string" && /^[0-9]+$/u.test(maxAgeRaw)
       ? Number(maxAgeRaw)
       : 1800;
-  const tddEnforcement = process.env.TDD_ENFORCEMENT_MODE === "strict"
-    ? "strict"
-    : DEFAULT_TDD_ENFORCEMENT_MODE;
+  // TDD enforcement now follows the same single strictness knob — keeping the
+  // distinct local binding so the downstream block rules stay self-documenting.
+  const tddEnforcement = mode;
 
   const stateDir = path.join(runtime.root, RUNTIME_ROOT, "state");
   const guardStateFile = path.join(stateDir, "workflow-guard.json");
@@ -1513,9 +1595,7 @@ async function handleContextMonitor(runtime) {
 }
 
 async function handleVerifyCurrentState(runtime) {
-  const mode = process.env.CCLAW_WORKFLOW_GUARD_MODE === "strict"
-    ? "strict"
-    : DEFAULT_WORKFLOW_GUARD_MODE;
+  const mode = resolveStrictness();
   const result = await runCclawInternal(runtime.root, ["verify-current-state", "--quiet"]);
   if (result.missingBinary) {
     process.stderr.write("[cclaw] hook: cclaw binary is required for verify-current-state\\n");

package/dist/content/stages/tdd.js

@@ -20,7 +20,7 @@ export const TDD = {
         "The stage intent is review/ship sign-off rather than implementation"
     ],
     checklist: [
-        "Select plan slice — pick one task from the plan. Do not batch multiple tasks.",
+        "Select plan slice — pick one task from the plan. Do not batch multiple tasks. Before starting, read `.cclaw/state/ralph-loop.json` (`loopIteration`, `acClosed[]`, `redOpenSlices[]`) so you skip cycles already closed.",
         "Map to acceptance criterion — identify the specific spec criterion this test proves.",
         "Dispatch mandatory `tdd-red` execution (or `test-author` in TEST_RED_ONLY mode) — produce failing behavior tests and RED evidence only (no production edits). Set `CCLAW_ACTIVE_AGENT=tdd-red` when supported.",
         "RED: Capture failure output — copy the exact failure output as RED evidence. Record in artifact.",
@@ -29,7 +29,7 @@ export const TDD = {
         "GREEN: Verify no regressions — if any existing test breaks, fix the regression before proceeding.",
         "Run verification-before-completion discipline for the slice — capture a fresh test command, commit SHA, and explicit PASS/FAIL status before completion claims.",
         "REFACTOR: Dispatch `tdd-refactor` execution (or dedicated refactor mode) to improve code quality without behavior changes. Set `CCLAW_ACTIVE_AGENT=tdd-refactor` when supported.",
-        "Record evidence — capture RED failure, GREEN output, and REFACTOR notes in the TDD artifact.",
+        "Record evidence — capture RED failure, GREEN output, and REFACTOR notes in the TDD artifact. When logging the `green` row via `/cc-ops tdd-log green`, attach the closed acceptance-criterion IDs in `acIds` so Ralph Loop status counts them.",
         "Annotate traceability — link to plan task ID and spec criterion.",
         "Per-Slice Review (conditional) — if `.cclaw/config.yaml::sliceReview.enabled` is true and the slice meets any trigger (touchCount >= filesChangedThreshold, touchPaths match touchTriggers, or highRisk=true), append a `## Per-Slice Review` entry for this slice before moving on (see the dedicated section below).",
         "Repeat for each slice — return to step 1 for the next plan slice."

package/dist/content/tdd-log-command.js

@@ -35,7 +35,9 @@ Each JSON line must include:
 - \`slice\` (e.g. \`S-1\`)
 - \`phase\` (\`red\` | \`green\` | \`refactor\`)
 - \`command\`
-- optional: \`files\`, \`exitCode\`, \`note\`
+- optional: \`files\`, \`exitCode\`, \`note\`, \`acIds\` (array of acceptance
+  criterion IDs like \`["AC-1"]\` — GREEN rows use this to drive the Ralph
+  Loop status summary at \`.cclaw/state/ralph-loop.json\`).
 
 ## Primary skill
 
@@ -64,8 +66,16 @@ Do not fake RED evidence. A \`red\` entry must correspond to a failing test comm
    - \`slice\`: user-provided slice id
    - \`phase\`: red|green|refactor
    - \`command\`: test command or refactor verification command
+   - \`acIds\` (optional, recommended on \`green\`): the acceptance-criterion
+     IDs this GREEN row closes (e.g. \`["AC-1","AC-3"]\`). The SessionStart
+     hook aggregates distinct \`acIds\` from green rows into \`acClosed\`
+     inside \`.cclaw/state/ralph-loop.json\` so \`/cc-next\` can answer
+     "is the Ralph Loop done?" without parsing the artifact.
 3. Append one line to \`${logPath()}\`.
-4. \`show\`: print the last 20 lines grouped by slice.
+4. After append, refresh Ralph Loop status with
+   \`cclaw internal tdd-loop-status --quiet\` (the SessionStart hook also
+   refreshes it, but a manual refresh is safe and idempotent).
+5. \`show\`: print the last 20 lines grouped by slice.
 
 ## Validation
 

package/dist/doctor.js

@@ -483,17 +483,17 @@ export async function doctorChecks(projectRoot, options = {}) {
                     : `warning: ${RUNTIME_ROOT}/config.yaml uses deprecated "tddTestGlobs". Migrate to "tdd.testPathPatterns".`
                 : `no deprecated "tddTestGlobs" key detected in ${RUNTIME_ROOT}/config.yaml`
         });
-        const expectedMode = parsedConfig.promptGuardMode === "strict" ? "strict" : "advisory";
-        const promptGuardPath = path.join(projectRoot, RUNTIME_ROOT, "hooks", "run-hook.mjs");
-        let promptGuardModeOk = false;
-        if (await exists(promptGuardPath)) {
-            const promptGuardContent = await fs.readFile(promptGuardPath, "utf8");
-            promptGuardModeOk = promptGuardContent.includes(`const DEFAULT_PROMPT_GUARD_MODE = "${expectedMode}"`);
+        const expectedStrictness = parsedConfig.strictness === "strict" ? "strict" : "advisory";
+        const hookRuntimePath = path.join(projectRoot, RUNTIME_ROOT, "hooks", "run-hook.mjs");
+        let strictnessOk = false;
+        if (await exists(hookRuntimePath)) {
+            const runtimeContent = await fs.readFile(hookRuntimePath, "utf8");
+            strictnessOk = runtimeContent.includes(`const DEFAULT_STRICTNESS = "${expectedStrictness}"`);
         }
         checks.push({
-            name: "hook:prompt_guard:mode",
-            ok: promptGuardModeOk,
-            details: `${promptGuardPath} must match promptGuardMode=${expectedMode}`
+            name: "hook:runtime:strictness",
+            ok: strictnessOk,
+            details: `${hookRuntimePath} must embed DEFAULT_STRICTNESS = "${expectedStrictness}" matching config.strictness`
         });
         if (parsedConfig.gitHookGuards === true) {
             const runtimePreCommit = path.join(projectRoot, RUNTIME_ROOT, "hooks", "git", "pre-commit.mjs");

package/dist/install.js

@@ -720,15 +720,14 @@ async function writeHooks(projectRoot, config) {
     const stateDir = runtimePath(projectRoot, "state");
     await ensureDir(hooksDir);
     await ensureDir(stateDir);
+    const effectiveStrictness = config.strictness ?? "advisory";
     await writeFileSafe(runtimePath(projectRoot, "state", "iron-laws.json"), `${JSON.stringify(ironLawRuntimeDocument({
-        mode: config.ironLaws?.mode,
+        mode: effectiveStrictness,
         strictLaws: config.ironLaws?.strictLaws
     }), null, 2)}\n`);
     await writeFileSafe(path.join(hooksDir, "stage-complete.mjs"), stageCompleteScript());
     await writeFileSafe(path.join(hooksDir, "run-hook.mjs"), nodeHookRuntimeScript({
-        promptGuardMode: config.promptGuardMode ?? config.strictness ?? "advisory",
-        workflowGuardMode: config.strictness ?? "advisory",
-        tddEnforcementMode: config.tddEnforcement ?? config.strictness ?? "advisory",
+        strictness: effectiveStrictness,
         tddTestPathPatterns: config.tdd?.testPathPatterns ?? config.tddTestGlobs,
         tddProductionPathPatterns: config.tdd?.productionPathPatterns
     }));

package/dist/internal/advance-stage.js

@@ -14,6 +14,7 @@ import { readFlowState, writeFlowState } from "../runs.js";
 import { FLOW_STAGES } from "../types.js";
 import { runEnvelopeValidateCommand } from "./envelope-validate.js";
 import { runKnowledgeDigestCommand } from "./knowledge-digest.js";
+import { runTddLoopStatusCommand } from "./tdd-loop-status.js";
 import { runTddRedEvidenceCommand } from "./tdd-red-evidence.js";
 function unique(values) {
     return [...new Set(values)];
@@ -672,7 +673,7 @@ async function runHookCommand(projectRoot, args, io) {
 export async function runInternalCommand(projectRoot, argv, io) {
     const [subcommand, ...tokens] = argv;
     if (!subcommand) {
-        io.stderr.write("cclaw internal requires a subcommand: advance-stage | verify-flow-state-diff | verify-current-state | knowledge-digest | envelope-validate | tdd-red-evidence | hook\n");
+        io.stderr.write("cclaw internal requires a subcommand: advance-stage | verify-flow-state-diff | verify-current-state | knowledge-digest | envelope-validate | tdd-red-evidence | tdd-loop-status | hook\n");
         return 1;
     }
     try {
@@ -694,10 +695,13 @@ export async function runInternalCommand(projectRoot, argv, io) {
         if (subcommand === "tdd-red-evidence") {
             return await runTddRedEvidenceCommand(projectRoot, tokens, io);
         }
+        if (subcommand === "tdd-loop-status") {
+            return await runTddLoopStatusCommand(projectRoot, tokens, io);
+        }
         if (subcommand === "hook") {
             return await runHookCommand(projectRoot, parseHookArgs(tokens), io);
         }
-        io.stderr.write(`Unknown internal subcommand: ${subcommand}. Expected advance-stage | verify-flow-state-diff | verify-current-state | knowledge-digest | envelope-validate | tdd-red-evidence | hook\n`);
+        io.stderr.write(`Unknown internal subcommand: ${subcommand}. Expected advance-stage | verify-flow-state-diff | verify-current-state | knowledge-digest | envelope-validate | tdd-red-evidence | tdd-loop-status | hook\n`);
         return 1;
     }
     catch (err) {

package/dist/internal/tdd-loop-status.d.ts

@@ -0,0 +1,14 @@
+import type { Writable } from "node:stream";
+import { type RalphLoopStatus } from "../tdd-cycle.js";
+interface InternalIo {
+    stdout: Writable;
+    stderr: Writable;
+}
+/**
+ * Produces a one-line "Ralph Loop: iter=X, slices=Y, acClosed=Z, redOpen=..."
+ * summary — suitable for session-digest / bootstrap surfaces where the user
+ * just needs a progress indicator, not the full slice breakdown.
+ */
+export declare function formatRalphLoopStatusLine(status: RalphLoopStatus): string;
+export declare function runTddLoopStatusCommand(projectRoot: string, argv: string[], io: InternalIo): Promise<number>;
+export {};

package/dist/internal/tdd-loop-status.js

@@ -0,0 +1,68 @@
+import fs from "node:fs/promises";
+import path from "node:path";
+import { RUNTIME_ROOT } from "../constants.js";
+import { writeFileSafe } from "../fs-utils.js";
+import { readFlowState } from "../runs.js";
+import { computeRalphLoopStatus, parseTddCycleLog } from "../tdd-cycle.js";
+function parseArgs(tokens) {
+    const args = { json: false, quiet: false, write: true };
+    for (const token of tokens) {
+        if (token === "--json")
+            args.json = true;
+        else if (token === "--quiet")
+            args.quiet = true;
+        else if (token === "--no-write")
+            args.write = false;
+        else if (token === "--write")
+            args.write = true;
+        else
+            throw new Error(`Unknown tdd-loop-status flag: ${token}`);
+    }
+    return args;
+}
+function stateDir(projectRoot) {
+    return path.join(projectRoot, RUNTIME_ROOT, "state");
+}
+async function readCycleLog(projectRoot) {
+    const filePath = path.join(stateDir(projectRoot), "tdd-cycle-log.jsonl");
+    try {
+        return await fs.readFile(filePath, "utf8");
+    }
+    catch (err) {
+        if (err.code === "ENOENT")
+            return "";
+        throw err;
+    }
+}
+/**
+ * Produces a one-line "Ralph Loop: iter=X, slices=Y, acClosed=Z, redOpen=..."
+ * summary — suitable for session-digest / bootstrap surfaces where the user
+ * just needs a progress indicator, not the full slice breakdown.
+ */
+export function formatRalphLoopStatusLine(status) {
+    const redOpen = status.redOpenSlices.length > 0
+        ? status.redOpenSlices.join(",")
+        : "none";
+    return `Ralph Loop: iter=${status.loopIteration}, slices=${status.sliceCount}, acClosed=${status.acClosed.length}, redOpen=${redOpen}`;
+}
+export async function runTddLoopStatusCommand(projectRoot, argv, io) {
+    const args = parseArgs(argv);
+    const flow = await readFlowState(projectRoot).catch(() => null);
+    const runId = flow?.activeRunId ?? "active";
+    const text = await readCycleLog(projectRoot);
+    const entries = parseTddCycleLog(text);
+    const status = computeRalphLoopStatus(entries, { runId });
+    if (args.write) {
+        const target = path.join(stateDir(projectRoot), "ralph-loop.json");
+        await writeFileSafe(target, `${JSON.stringify(status, null, 2)}\n`);
+    }
+    if (!args.quiet) {
+        if (args.json) {
+            io.stdout.write(`${JSON.stringify(status, null, 2)}\n`);
+        }
+        else {
+            io.stdout.write(`${formatRalphLoopStatusLine(status)}\n`);
+        }
+    }
+    return 0;
+}

package/dist/tdd-cycle.d.ts

@@ -9,6 +9,12 @@ export interface TddCycleEntry {
     files?: string[];
     exitCode?: number;
     note?: string;
+    /**
+     * Optional acceptance-criterion IDs this log line relates to (e.g. `["AC-1"]`).
+     * Used by the Ralph Loop status summary to surface how many ACs have been
+     * closed by a GREEN cycle without forcing the user to track them manually.
+     */
+    acIds?: string[];
 }
 export interface TddCycleValidation {
     ok: boolean;
@@ -20,6 +26,40 @@ export declare function parseTddCycleLog(text: string): TddCycleEntry[];
 export declare function validateTddCycleOrder(entries: TddCycleEntry[], options?: {
     runId?: string;
 }): TddCycleValidation;
+export interface RalphLoopSliceState {
+    slice: string;
+    redCount: number;
+    greenCount: number;
+    refactorCount: number;
+    redOpen: boolean;
+    acIds: string[];
+}
+export interface RalphLoopStatus {
+    schemaVersion: 1;
+    runId: string;
+    /**
+     * Number of RED -> GREEN cycles observed for the run — a rough "Ralph Loop"
+     * iteration counter that mirrors how many passing tests the loop has
+     * delivered so far.
+     */
+    loopIteration: number;
+    redOpen: boolean;
+    redOpenSlices: string[];
+    acClosed: string[];
+    sliceCount: number;
+    slices: RalphLoopSliceState[];
+    lastUpdatedAt: string;
+}
+/**
+ * Derive a lightweight Ralph Loop summary from parsed tdd-cycle-log entries.
+ * The goal is to give the model a single source of truth for "am I done
+ * iterating?" — it collapses per-slice progress and distinct closed AC IDs
+ * (from GREEN rows) into a single artifact the next-command contract reads.
+ */
+export declare function computeRalphLoopStatus(entries: TddCycleEntry[], options?: {
+    runId?: string;
+    now?: Date;
+}): RalphLoopStatus;
 /**
  * Checks whether the log contains a failing RED record associated with
  * `productionPath` for the active run.

package/dist/tdd-cycle.js

@@ -25,7 +25,11 @@ export function parseTddCycleLog(text) {
                     ? parsed.files.filter((item) => typeof item === "string")
                     : undefined,
                 exitCode: typeof parsed.exitCode === "number" ? parsed.exitCode : undefined,
-                note: typeof parsed.note === "string" ? parsed.note : undefined
+                note: typeof parsed.note === "string" ? parsed.note : undefined,
+                acIds: Array.isArray(parsed.acIds)
+                    ? parsed.acIds
+                        .filter((item) => typeof item === "string" && item.length > 0)
+                    : undefined
             };
             out.push(entry);
         }
@@ -122,6 +126,72 @@ export function validateTddCycleOrder(entries, options = {}) {
 function normalizePath(value) {
     return value.replace(/\\/gu, "/").toLowerCase();
 }
+/**
+ * Derive a lightweight Ralph Loop summary from parsed tdd-cycle-log entries.
+ * The goal is to give the model a single source of truth for "am I done
+ * iterating?" — it collapses per-slice progress and distinct closed AC IDs
+ * (from GREEN rows) into a single artifact the next-command contract reads.
+ */
+export function computeRalphLoopStatus(entries, options = {}) {
+    const runId = options.runId ?? "active";
+    const filtered = entries.filter((entry) => options.runId ? entry.runId === options.runId : true);
+    const slicesMap = new Map();
+    const acClosedSet = new Set();
+    let loopIteration = 0;
+    const redOpenSlices = [];
+    for (const slice of Array.from(new Set(filtered.map((entry) => entry.slice)))) {
+        slicesMap.set(slice, {
+            slice,
+            redCount: 0,
+            greenCount: 0,
+            refactorCount: 0,
+            redOpen: false,
+            acIds: []
+        });
+    }
+    for (const entry of filtered) {
+        const state = slicesMap.get(entry.slice);
+        if (!state)
+            continue;
+        if (entry.phase === "red") {
+            state.redCount += 1;
+            if (entry.exitCode !== undefined && entry.exitCode !== 0) {
+                state.redOpen = true;
+            }
+            continue;
+        }
+        if (entry.phase === "green") {
+            state.greenCount += 1;
+            state.redOpen = false;
+            loopIteration += 1;
+            if (Array.isArray(entry.acIds)) {
+                for (const acId of entry.acIds) {
+                    acClosedSet.add(acId);
+                    if (!state.acIds.includes(acId))
+                        state.acIds.push(acId);
+                }
+            }
+            continue;
+        }
+        state.refactorCount += 1;
+    }
+    for (const state of slicesMap.values()) {
+        if (state.redOpen)
+            redOpenSlices.push(state.slice);
+    }
+    const slices = Array.from(slicesMap.values()).sort((a, b) => a.slice.localeCompare(b.slice, "en"));
+    return {
+        schemaVersion: 1,
+        runId,
+        loopIteration,
+        redOpen: redOpenSlices.length > 0,
+        redOpenSlices,
+        acClosed: Array.from(acClosedSet).sort(),
+        sliceCount: slices.length,
+        slices,
+        lastUpdatedAt: (options.now ?? new Date()).toISOString()
+    };
+}
 /**
  * Checks whether the log contains a failing RED record associated with
  * `productionPath` for the active run.

package/dist/types.d.ts

@@ -110,7 +110,12 @@ export interface CompoundConfig {
     recurrenceThreshold?: number;
 }
 export interface IronLawsConfig {
-    mode?: "advisory" | "strict";
+    /**
+     * Per-law escape hatch: list the iron-law ids that must always be strict,
+     * independent of the project-wide `strictness` knob. Kept as an advanced
+     * override for teams that want e.g. `tdd-red-before-write` strict while the
+     * rest of the pipeline stays advisory.
+     */
     strictLaws?: string[];
 }
 export interface CclawConfig {
@@ -118,30 +123,16 @@ export interface CclawConfig {
     flowVersion: string;
     harnesses: HarnessId[];
     /**
-     * Single-knob strictness for both guard families. When set, cclaw derives
-     * `promptGuardMode` and `tddEnforcement` from this value unless the legacy
-     * fields are explicitly provided. Default: "advisory".
+     * Single knob that controls enforcement behaviour of all hook-driven guards
+     * (prompt guard, workflow guard, TDD enforcement, iron laws). Default:
+     * `"advisory"` — hooks append a stderr nudge and exit 0. `"strict"` flips
+     * the same hooks to fail-closed (non-zero exit) so the harness refuses the
+     * offending action.
      *
-     * Added in v0.43.0 to collapse two fields that always moved together for
-     * ~99% of users. Power users who want asymmetric strictness (e.g. strict
-     * prompt guard, advisory TDD) can still set the legacy fields directly —
-     * explicit per-axis values override the derived strictness.
+     * Per-law escapes live on `ironLaws.strictLaws` for teams that need to keep
+     * specific iron laws strict while the project-wide knob stays advisory.
      */
     strictness?: "advisory" | "strict";
-    /**
-     * Prompt guard behavior for runtime write-risk detection hooks.
-     *
-     * Since v0.43.0 this is an advanced override. Prefer `strictness` in new
-     * configs; set this explicitly only when you need strict prompt guarding
-     * while keeping TDD advisory, or vice versa.
-     */
-    promptGuardMode?: "advisory" | "strict";
-    /**
-     * TDD RED -> GREEN -> REFACTOR enforcement mode used by workflow guard hooks.
-     *
-     * Since v0.43.0 this is an advanced override — see `strictness`.
-     */
-    tddEnforcement?: "advisory" | "strict";
     /**
      * Legacy alias for test-side path detection in workflow-guard.
      * Prefer `tdd.testPathPatterns` in new configs.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "cclaw-cli",
-  "version": "0.48.11",
+  "version": "0.48.13",
   "description": "Installer-first flow toolkit for coding agents",
   "type": "module",
   "bin": {