pi-goal-list-loop-audit 0.23.4 → 0.23.6

package/README.md

@@ -58,10 +58,11 @@ matches `/list show`.
 /list remove <n>                   # drop item n from the queue
 /list clear                        # empty the queue
 /loop                              # draft the loop (agent grills; measure is test-run before you confirm)
+/loop start "keep polishing the UI"                          # infinite metricless loop (v0.23.6): no plateau, no cap — ends at time=/tokens= or /loop stop
 /loop start "reduce TODOs" measure="grep -c TODO src.txt | head -1" direction=min
 /loop start "shrink the bundle" measure="..." direction=min time=4 tokens=500000   # arbitrary bounds
 /loop start "reduce TODOs" measure="..." direction=min branch=1   # scratch-branch mode
-/loop start "keep improving SPEC.md" measure=none max=20   # metricless spec loop (v0.23.0)
+/loop start "keep improving SPEC.md" measure=none max=20   # metricless with an explicit cap (v0.23.0)
 /loop status                       # iteration, best, stall, recent values
 /loop stop                         # halt with summary
 ```

package/extensions/goal-loop-core.ts

@@ -593,3 +593,37 @@ export function shouldAutoResumeOnSessionStart(reason: string | undefined, autoR
   if (autoResume === true) return true;
   return reason === "resume" || reason === "reload" || reason === "fork";
 }
+
+/**
+ * v0.23.5: normalize a drafter-supplied verification contract for the
+ * Confirm dialog AND for storage. Three cleanups, all mechanical:
+ *  1. Drop bare introducer lines ("Done when:", "Done when ALL of the
+ *     following are true:") — the dialog adds its own "Done when" header;
+ *     a model-supplied one renders doubled (field-observed) and pollutes
+ *     the shield's item list.
+ *  2. Strip a glued "Done when: " prefix on a content line.
+ *  3. Renumber bullet/numbered lines sequentially ("1.", "2.", ...) so the
+ *     dialog reads as a checklist and reject-feedback can cite item
+ *     numbers. Non-bullet prose lines pass through untouched.
+ */
+export function normalizeDraftContract(raw: string): string {
+  const lines = raw
+    .trim()
+    .split("\n")
+    .map((l) => l.trim())
+    .filter((l) => !/^(?:done when|verified when|verify|verification)\b[^:]*:\s*$/i.test(l))
+    .map((l) => l.replace(/^(?:done when|verified when)\s*:\s+/i, ""))
+    .filter((l) => l.length > 0);
+  let n = 0;
+  return lines
+    .map((l) => {
+      const m = l.match(/^(?:[-*•]\s+|\d+[.)]\s+)(.+)$/);
+      return m ? `${++n}. ${m[1]}` : l;
+    })
+    .join("\n");
+}
+
+/** Count the numbered checklist items in a normalized contract. */
+export function draftContractItemCount(normalized: string): number {
+  return normalized.split("\n").filter((l) => /^\d+\.\s/.test(l)).length;
+}

package/extensions/goal-loop-forever.ts

@@ -237,12 +237,17 @@ export function parseLoopStartArgs(raw: string): {
   const measureRaw = (kv.get("measure") ?? "").trim();
   // v0.23.0: measure=none → metricless "spec loop" (Sisyphus mode). No
   // metric, no direction, no plateau — bounds and /loop stop only.
-  const metricless = measureRaw.toLowerCase() === "none";
-  if (!measureRaw) throw new Error('missing measure="<shell command that prints a number>" (or measure=none for a metricless spec loop — no plateau, ends only at bounds or /loop stop)');
+  // v0.23.6: a bare `/loop start "<target>"` IS the infinite command —
+  // no measure= means metricless too. The Confirm dialog names "NO
+  // plateau · NO iteration cap · /loop stop" before anything runs, so
+  // the choice is never silent (the v0.23.0 rule). Metric loops keep
+  // the 50-iteration default cap; metricless loops default to UNBOUNDED
+  // (max=0) unless max= is given explicitly.
+  const metricless = !measureRaw || measureRaw.toLowerCase() === "none";
   const dirRaw = (kv.get("direction") ?? "").toLowerCase();
-  if (metricless && dirRaw) throw new Error("direction= is meaningless with measure=none — there is no metric to have a direction");
-  if (!metricless && dirRaw !== "min" && dirRaw !== "max") throw new Error("missing direction=min|max");
-  if (!target) throw new Error("missing target (what to improve), e.g. /loop start \"reduce test failures\" measure=\"...\" direction=min");
+  if (metricless && dirRaw) throw new Error("direction= is meaningless without a metric — add measure=\"<cmd>\" or drop direction=");
+  if (!metricless && dirRaw !== "min" && dirRaw !== "max") throw new Error("missing direction=min|max (a metric loop needs to know which way is better; a bare /loop start \"<target>\" with no measure= is the infinite metricless form)");
+  if (!target) throw new Error("missing target (what to improve), e.g. /loop start \"keep polishing the UI\" — bare start is metricless + unbounded; add measure=\"<cmd>\" direction=min|max for a metric loop");
 
   const window = Number.parseInt(kv.get("window") ?? "", 10);
   const max = Number.parseInt(kv.get("max") ?? "", 10);
@@ -263,8 +268,11 @@ export function parseLoopStartArgs(raw: string): {
     measureCmd: metricless ? "" : measureRaw,
     direction: metricless ? undefined : dirRaw as LoopDirection,
     plateauWindow: Number.isFinite(window) && window > 0 ? window : LOOP_DEFAULTS.plateauWindow,
-    // v0.23.0: max=0 = truly unbounded (no iteration cap); absent = 50.
-    maxIterations: kv.has("max") ? (Number.isFinite(max) && max >= 0 ? max : LOOP_DEFAULTS.maxIterations) : LOOP_DEFAULTS.maxIterations,
+    // v0.23.0: max=0 = truly unbounded (no iteration cap).
+    // v0.23.6: metricless with no explicit max= defaults to UNBOUNDED —
+    // an infinite loop is the point of the bare form. Metric loops keep
+    // the 50-cap default.
+    maxIterations: kv.has("max") ? (Number.isFinite(max) && max >= 0 ? max : LOOP_DEFAULTS.maxIterations) : metricless ? 0 : LOOP_DEFAULTS.maxIterations,
     branch: branchRaw === "1" || branchRaw === "true" || branchRaw === "yes",
     force: forceRaw === "1" || forceRaw === "true" || forceRaw === "yes",
     timeLimitHours: Number.isFinite(timeRaw) && timeRaw > 0 ? timeRaw : undefined,

package/extensions/loops/goal.ts

@@ -53,6 +53,8 @@ import {
   newGoalId,
   nowIso,
   piGlaDir,
+  normalizeDraftContract,
+  draftContractItemCount,
   readState,
   renderGoalMarkdown,
   shouldAutoResumeOnSessionStart,
@@ -465,7 +467,7 @@ async function startDrafting(ctx: ExtensionContext, target: "goal" | "list" | "l
     target === "list"
       ? `${label}: the objective has no "Done when:" clause — the agent will grill you about it first (nothing activates until you confirm). Add directly instead: include a "Done when:" clause.`
       : target === "loop"
-        ? `${label}: a loop target needs a metric and a direction — the agent will help you design them first (nothing activates until you confirm). Skip the interview entirely: /loop start "<target>" measure="<cmd>" direction=min|max [window=5] [max=50] [time=h] [tokens=n] [branch=1].`
+        ? `${label}: a loop target needs a metric and a direction — the agent will help you design them first (nothing activates until you confirm). Skip the interview entirely: /loop start "<target>" (bare = infinite metricless) or /loop start "<target>" measure="<cmd>" direction=min|max [window=5] [max=50] [time=h] [tokens=n] [branch=1].`
         : `${label}: the objective has no "Done when:" clause — the agent will grill you about it first (nothing activates until you confirm). Skip the interview entirely: /goal start <objective>.`;
   ctx.ui.notify(
     seed
@@ -1256,7 +1258,7 @@ async function cmdLoop(args: string, ctx: ExtensionContext): Promise<void> {
   if (sub === "status") {
     const loop = state.loop;
     if (!loop) {
-      ctx.ui.notify("No loop. /loop to draft one, or /loop start \"<target>\" measure=\"<cmd>\" direction=min|max [window=5] [max=50] [time=<hours>] [tokens=<budget>]", "info");
+      ctx.ui.notify("No loop. /loop to draft one, /loop start \"<target>\" for an infinite metricless loop, or add measure=\"<cmd>\" direction=min|max for a metric loop [window=5] [max=50] [time=<hours>] [tokens=<budget>]", "info");
       return;
     }
     const lines = [
@@ -1630,8 +1632,10 @@ function registerAgentTools(pi: any, ctx: ExtensionContext): void {
         }
         return { content: [{ type: "text", text: `${n} items confirmed and queued (${listQueue().length} waiting).` }], details: {} };
       }
-      const contractBlock = p.verificationContract?.trim()
-        ? `\n\nDone when:\n${p.verificationContract.trim()}`
+      const normContract = p.verificationContract?.trim() ? normalizeDraftContract(p.verificationContract) : "";
+      const checkCount = normContract ? draftContractItemCount(normContract) : 0;
+      const contractBlock = normContract
+        ? `\n\nDone when${checkCount > 0 ? ` — ${checkCount} check${checkCount === 1 ? "" : "s"}` : ""}:\n${normContract}`
         : "\n\n(No verification contract — the auditor will infer done-criteria from the objective. Consider adding one.)";
       // v0.22.6: a list draft that will activate immediately must SAY so in
       // the Confirm dialog — "I started a list and ended up with a running
@@ -1657,7 +1661,7 @@ function registerAgentTools(pi: any, ctx: ExtensionContext): void {
       }
       const confirmedTarget = draftingTarget;
       draftingTarget = null;
-      const full = p.objective.trim() + (p.verificationContract?.trim() ? `\nDone when:\n${p.verificationContract.trim()}` : "");
+      const full = p.objective.trim() + (normContract ? `\nDone when:\n${normContract}` : "");
       // List drafting: the confirmed contract goes into the QUEUE, not active.
       if (confirmedTarget === "list") {
         const extracted = extractVerificationContract(full);
@@ -2429,7 +2433,7 @@ export default function (pi: ExtensionAPI): void {
     handler: (args: string, ctx: ExtensionContext) => { rememberCtx(ctx); return cmdList(args, ctx); },
   });
   pi.registerCommand("loop", {
-    description: "Loop 3: metric-driven process — it never completes. /loop <target> drafts the metric with you · /loop start \"<target>\" measure=\"<cmd>\" direction=min|max [window=5] [max=50] [time=<hours>] [tokens=<budget>] [branch=1] skips drafting · measure=none = metricless spec loop (no plateau; max=0 = unbounded) · /loop status · /loop stop. 'Improve until X' is a /goal, not a loop.",
+    description: "Loop 3: metric-driven process — it never completes. /loop <target> drafts the metric with you · /loop start \"<target>\" = infinite metricless loop (no plateau, no cap; ends at time=/tokens= or /loop stop) · add measure=\"<cmd>\" direction=min|max [window=5] [max=50] [branch=1] for a metric loop · /loop status · /loop stop. 'Improve until X' is a /goal, not a loop.",
     getArgumentCompletions: completions([
       ["start", "skip drafting: /loop start \"<target>\" measure=\"<cmd>\" direction=min|max [window=5] [max=50]"],
       ["status", "show metric, iteration, best/last values, stall count"],

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "pi-goal-list-loop-audit",
-  "version": "0.23.4",
+  "version": "0.23.6",
   "description": "Goal. Loop. Audit. Done. — a pi-coding-agent extension that supervises long-running work, with isolated auditor on each completion. Beat bamboozling by design: the auditor runs in a fresh session with no extensions, no skills, no editor — only the read tools needed to verify your goal.",
   "license": "MIT",
   "author": "dracon",

package/prompts/goal-loop-draft.md

@@ -19,6 +19,13 @@ request into a **confirmed goal contract**. Do NOT start substantive work yet.
    - **verification contract** — how an independent auditor can tell it is
      done, as checkable items (commands, file states, test outcomes).
      Strongly recommended; without it the auditor infers from the objective.
+     Write 3–8 mechanical checks, one per line, each verifiable with ONE
+     command or file check. The auditor must quote raw evidence for EVERY
+     item — a 17-item contract means a slow, expensive audit and more
+     regression-shield friction. Verify the artifact's integrity (the doc
+     exists, the table has N rows, the gates pass), not every sub-part.
+     Do NOT prefix the contract with "Done when:" — the Confirm dialog
+     adds that header itself.
    - **boundaries** — what is explicitly out of scope (fold into the
      objective text).
 4. Keep grilling until the objective and success criteria are concrete