autodev-cli 1.4.97 → 1.4.101

package/out/periodicActions.js

@@ -34,8 +34,47 @@ var __importStar = (this && this.__importStar) || (function () {
 })();
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.PeriodicActionManager = exports.PERIODIC_ACTIONS = void 0;
+exports.dedupeMemoryIndex = dedupeMemoryIndex;
 const fs = __importStar(require("fs"));
 const path = __importStar(require("path"));
+const journal_1 = require("./journal");
+/**
+ * Deterministically de-duplicate the .autodev/MEMORY.md index. Removes repeated
+ * index lines (same target path) while preserving order and any header/prose.
+ * Returns a short note if it changed anything, else '' (no prompt change).
+ */
+function dedupeMemoryIndex(root) {
+    try {
+        const file = path.join(root, '.autodev', 'MEMORY.md');
+        if (!fs.existsSync(file)) {
+            return '';
+        }
+        const lines = fs.readFileSync(file, 'utf8').split(/\r?\n/);
+        const seen = new Set();
+        let removed = 0;
+        const out = [];
+        for (const ln of lines) {
+            const m = ln.match(/\]\(([^)]+)\)/); // markdown link target
+            if (ln.trim().startsWith('-') && m) {
+                const key = m[1].trim();
+                if (seen.has(key)) {
+                    removed++;
+                    continue;
+                }
+                seen.add(key);
+            }
+            out.push(ln);
+        }
+        if (removed > 0) {
+            fs.writeFileSync(file, out.join('\n'), 'utf8');
+            return `Memory index maintenance (deterministic): removed ${removed} duplicate index line(s) from .autodev/MEMORY.md.`;
+        }
+        return '';
+    }
+    catch {
+        return '';
+    }
+}
 exports.PERIODIC_ACTIONS = [
     // ─── Compact context ─────────────────────────────────────────────────────
     // ⚠️  WARNING: Auto-compact can cause INFINITE LOOPS!
@@ -72,6 +111,9 @@ exports.PERIODIC_ACTIONS = [
         label: 'Update memory',
         settingKey: 'memoryEveryNTasks',
         icon: '🧠',
+        // Deterministic pre-pass: the extension maintains/dedupes the MEMORY.md index
+        // (mechanical work) so the model only does the durable-fact distillation below.
+        preprocess: dedupeMemoryIndex,
         prompt: `Before continuing to the next task, consolidate what you have learned from recent tasks into the dated memory file system.
 
 For each new durable fact (architectural discovery, decision, convention, gotcha, runbook, or bug fix) from recent work:
@@ -117,6 +159,13 @@ Do NOT store credentials in memory files — use Memory MCP for credentials. The
         settingKey: 'journalLearnEveryNTasks',
         icon: '🔬',
         type: 'prompt',
+        // Deterministic pre-pass: tally keep/discard/partial from the now machine-readable
+        // journal rows and hand the model a compact digest instead of "scan every file".
+        // Returns '' (no prompt change) when there are no journal rows yet.
+        preprocess: (root) => {
+            const t = (0, journal_1.tallyJournal)(root);
+            return t ? t.digest : '';
+        },
         prompt: `You are performing an autonomous research journal review. Follow these steps exactly:
 
 1. Read .autodev/JOURNAL.md index. Open all journal files in .autodev/journals/ that do not yet have a '## Auto-learn' marker at the bottom.

package/out/periodicActions.js.map

@@ -1 +1 @@
-{"version":3,"file":"periodicActions.js","sourceRoot":"","sources":["../src/periodicActions.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,uCAAyB;AACzB,2CAA6B;AAqChB,QAAA,gBAAgB,GAAwB;IACnD,4EAA4E;IAC5E,sDAAsD;IACtD,yEAAyE;IACzE,0EAA0E;IAC1E,gFAAgF;IAChF,+DAA+D;IAC/D;QACE,EAAE,EAAE,SAAS;QACb,KAAK,EAAE,cAAc;QACrB,UAAU,EAAE,oBAAoB;QAChC,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,EAAE,EAAE,sDAAsD;KACnE;IAED,6EAA6E;IAC7E,gDAAgD;IAChD;QACE,EAAE,EAAE,OAAO;QACX,KAAK,EAAE,YAAY;QACnB,UAAU,EAAE,kBAAkB;QAC9B,IAAI,EAAE,IAAI;QACV,MAAM,EAAE;;;;;KAKP;KAEA;IAEH,6EAA6E;IAC7E,+CAA+C;IAC/C;QACE,EAAE,EAAE,QAAQ;QACZ,KAAK,EAAE,eAAe;QACtB,UAAU,EAAE,mBAAmB;QAC/B,IAAI,EAAE,IAAI;QACV,MAAM,EAAE;;;;;;;;;;;;;;;kHAesG;KAC/G;IAED,6EAA6E;IAC7E,6CAA6C;IAC7C;QACE,EAAE,EAAE,SAAS;QACb,KAAK,EAAE,eAAe;QACtB,UAAU,EAAE,oBAAoB;QAChC,IAAI,EAAE,IAAI;QACV,MAAM,EAAE,+hBAA+hB;KACxiB;IACD,2EAA2E;IAC3E,yDAAyD;IACzD,iDAAiD;IACjD;QACE,EAAE,EAAE,WAAW;QACf,KAAK,EAAE,YAAY;QACnB,UAAU,EAAE,sBAAsB;QAClC,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,EAAE,EAAE,gDAAgD;KAC7D;IACD,4EAA4E;IAC5E,+FAA+F;IAC/F;QACE,EAAE,EAAE,cAAc;QAClB,KAAK,EAAE,6BAA6B;QACpC,UAAU,EAAE,yBAAyB;QACrC,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,QAAiB;QACvB,MAAM,EAAE;;;;;;;;;;;;;;;;;;;kFAmBsE;KAC/E;CAAE,CAAC;AAeN,8EAA8E;AAC9E,wBAAwB;AACxB,8EAA8E;AAE9E,MAAa,qBAAqB;IACf,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;IAEjD,YAAY,CAAC,EAAU;QAC7B,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACzB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,CAAC;QACnF,CAAC;QACD,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;IAC9B,CAAC;IAED,+CAA+C;IAC/C,KAAK;QACH,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;IACtB,CAAC;IAED;;;OAGG;IACH,eAAe,CAAC,aAAsB;QACpC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QACpB,IAAI,aAAa,EAAE,CAAC;YAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;QAAC,CAAC;IACzD,CAAC;IAED;;;;OAIG;IACH,SAAS,CAAC,SAAiB,EAAE,aAAsB;QACjD,KAAK,MAAM,MAAM,IAAI,wBAAgB,EAAE,CAAC;YACtC,MAAM,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACvC,CAAC,CAAC,OAAO,EAAE,CAAC;QACd,CAAC;QACD,IAAI,aAAa,EAAE,CAAC;YAClB,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,yFAAyF;IACzF,MAAM,CAAC,QAAyB;QAC9B,OAAO,wBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE;YACtC,MAAM,QAAQ,GAAI,QAA8C,CAAC,MAAM,CAAC,UAAoB,CAAC,IAAI,CAAC,CAAC;YACnG,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC;gBAAC,OAAO,KAAK,CAAC;YAAC,CAAC;YACpC,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,IAAI,QAAQ,CAAC;QAC1D,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;;OAGG;IACH,WAAW,CAAC,EAAU,EAAE,SAAiB,EAAE,aAAsB;QAC/D,MAAM,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QAChC,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC;QACd,CAAC,CAAC,eAAe,GAAG,SAAS,CAAC;QAC9B,CAAC,CAAC,iBAAiB,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAC/C,IAAI,aAAa,EAAE,CAAC;YAClB,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,6EAA6E;IAC7E,QAAQ,CAAC,EAAU;QACjB,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,OAAO,IAAI,CAAC,CAAC;IAC3C,CAAC;IAED,kEAAkE;IAClE,QAAQ;QACN,MAAM,GAAG,GAAgC,EAAE,CAAC;QAC5C,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;QAAC,CAAC;QAC1D,OAAO,GAAG,CAAC;IACb,CAAC;IAED;;;OAGG;IACK,QAAQ,CAAC,SAAiB,EAAE,aAAqB;QACvD,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;YACjD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAC,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAAC,CAAC;YACpE,MAAM,OAAO,GAAG;gBACd,SAAS;gBACT,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;gBACnC,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE;aACzB,CAAC;YACF,EAAE,CAAC,aAAa,CACd,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,iBAAiB,CAAC,EACjC,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,EAChC,MAAM,CACP,CAAC;QACJ,CAAC;QAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC;IAC7B,CAAC;CACF;AA9FD,sDA8FC"}
+{"version":3,"file":"periodicActions.js","sourceRoot":"","sources":["../src/periodicActions.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAwDA,8CAuBC;AA/ED,uCAAyB;AACzB,2CAA6B;AAE7B,uCAAyC;AAgDzC;;;;GAIG;AACH,SAAgB,iBAAiB,CAAC,IAAY;IAC5C,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;QACtD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAAC,OAAO,EAAE,CAAC;QAAC,CAAC;QACxC,MAAM,KAAK,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC3D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,MAAM,GAAG,GAAa,EAAE,CAAC;QACzB,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;YACvB,MAAM,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC,uBAAuB;YAC5D,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBACxB,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBAAC,OAAO,EAAE,CAAC;oBAAC,SAAS;gBAAC,CAAC;gBAC3C,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAChB,CAAC;YACD,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,CAAC;QACD,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;YAChB,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;YAC/C,OAAO,qDAAqD,OAAO,mDAAmD,CAAC;QACzH,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,EAAE,CAAC;IAAC,CAAC;AACxB,CAAC;AAEY,QAAA,gBAAgB,GAAwB;IACnD,4EAA4E;IAC5E,sDAAsD;IACtD,yEAAyE;IACzE,0EAA0E;IAC1E,gFAAgF;IAChF,+DAA+D;IAC/D;QACE,EAAE,EAAE,SAAS;QACb,KAAK,EAAE,cAAc;QACrB,UAAU,EAAE,oBAAoB;QAChC,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,EAAE,EAAE,sDAAsD;KACnE;IAED,6EAA6E;IAC7E,gDAAgD;IAChD;QACE,EAAE,EAAE,OAAO;QACX,KAAK,EAAE,YAAY;QACnB,UAAU,EAAE,kBAAkB;QAC9B,IAAI,EAAE,IAAI;QACV,MAAM,EAAE;;;;;KAKP;KAEA;IAEH,6EAA6E;IAC7E,+CAA+C;IAC/C;QACE,EAAE,EAAE,QAAQ;QACZ,KAAK,EAAE,eAAe;QACtB,UAAU,EAAE,mBAAmB;QAC/B,IAAI,EAAE,IAAI;QACV,8EAA8E;QAC9E,gFAAgF;QAChF,UAAU,EAAE,iBAAiB;QAC7B,MAAM,EAAE;;;;;;;;;;;;;;;kHAesG;KAC/G;IAED,6EAA6E;IAC7E,6CAA6C;IAC7C;QACE,EAAE,EAAE,SAAS;QACb,KAAK,EAAE,eAAe;QACtB,UAAU,EAAE,oBAAoB;QAChC,IAAI,EAAE,IAAI;QACV,MAAM,EAAE,+hBAA+hB;KACxiB;IACD,2EAA2E;IAC3E,yDAAyD;IACzD,iDAAiD;IACjD;QACE,EAAE,EAAE,WAAW;QACf,KAAK,EAAE,YAAY;QACnB,UAAU,EAAE,sBAAsB;QAClC,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,EAAE,EAAE,gDAAgD;KAC7D;IACD,4EAA4E;IAC5E,+FAA+F;IAC/F;QACE,EAAE,EAAE,cAAc;QAClB,KAAK,EAAE,6BAA6B;QACpC,UAAU,EAAE,yBAAyB;QACrC,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,QAAiB;QACvB,mFAAmF;QACnF,iFAAiF;QACjF,oEAAoE;QACpE,UAAU,EAAE,CAAC,IAAY,EAAU,EAAE;YACnC,MAAM,CAAC,GAAG,IAAA,sBAAY,EAAC,IAAI,CAAC,CAAC;YAC7B,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3B,CAAC;QACD,MAAM,EAAE;;;;;;;;;;;;;;;;;;;kFAmBsE;KAC/E;CAAE,CAAC;AAeN,8EAA8E;AAC9E,wBAAwB;AACxB,8EAA8E;AAE9E,MAAa,qBAAqB;IACf,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;IAEjD,YAAY,CAAC,EAAU;QAC7B,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACzB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,CAAC;QACnF,CAAC;QACD,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;IAC9B,CAAC;IAED,+CAA+C;IAC/C,KAAK;QACH,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;IACtB,CAAC;IAED;;;OAGG;IACH,eAAe,CAAC,aAAsB;QACpC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QACpB,IAAI,aAAa,EAAE,CAAC;YAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;QAAC,CAAC;IACzD,CAAC;IAED;;;;OAIG;IACH,SAAS,CAAC,SAAiB,EAAE,aAAsB;QACjD,KAAK,MAAM,MAAM,IAAI,wBAAgB,EAAE,CAAC;YACtC,MAAM,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACvC,CAAC,CAAC,OAAO,EAAE,CAAC;QACd,CAAC;QACD,IAAI,aAAa,EAAE,CAAC;YAClB,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,yFAAyF;IACzF,MAAM,CAAC,QAAyB;QAC9B,OAAO,wBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE;YACtC,MAAM,QAAQ,GAAI,QAA8C,CAAC,MAAM,CAAC,UAAoB,CAAC,IAAI,CAAC,CAAC;YACnG,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC;gBAAC,OAAO,KAAK,CAAC;YAAC,CAAC;YACpC,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,IAAI,QAAQ,CAAC;QAC1D,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;;OAGG;IACH,WAAW,CAAC,EAAU,EAAE,SAAiB,EAAE,aAAsB;QAC/D,MAAM,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QAChC,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC;QACd,CAAC,CAAC,eAAe,GAAG,SAAS,CAAC;QAC9B,CAAC,CAAC,iBAAiB,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAC/C,IAAI,aAAa,EAAE,CAAC;YAClB,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,6EAA6E;IAC7E,QAAQ,CAAC,EAAU;QACjB,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,OAAO,IAAI,CAAC,CAAC;IAC3C,CAAC;IAED,kEAAkE;IAClE,QAAQ;QACN,MAAM,GAAG,GAAgC,EAAE,CAAC;QAC5C,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;QAAC,CAAC;QAC1D,OAAO,GAAG,CAAC;IACb,CAAC;IAED;;;OAGG;IACK,QAAQ,CAAC,SAAiB,EAAE,aAAqB;QACvD,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;YACjD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAC,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAAC,CAAC;YACpE,MAAM,OAAO,GAAG;gBACd,SAAS;gBACT,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;gBACnC,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE;aACzB,CAAC;YACF,EAAE,CAAC,aAAa,CACd,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,iBAAiB,CAAC,EACjC,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,EAChC,MAAM,CACP,CAAC;QACJ,CAAC;QAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC;IAC7B,CAAC;CACF;AA9FD,sDA8FC"}

package/out/profileBuilder.d.ts

@@ -12,7 +12,7 @@ export declare const PROFILE_SECTIONS: ProfileSection[];
 /** Returns all section IDs in order — useful as the default "all enabled" value. */
 export declare const ALL_SECTION_IDS: string[];
 /**
- * Assemble AGENT_PROFILE.md as a compact **index**:
+ * Assemble program.md as a compact **index**:
  * - Each enabled section shows its key rules inline (immediate context).
  * - A `@.autodev/profile/<file>` line lets agents load the full section on demand.
  * - Full section files are copied to `<root>/.autodev/profile/` so the `@`

package/out/profileBuilder.js

@@ -249,7 +249,7 @@ function deploySectionFile(section, root) {
 // Profile assembly — index format
 // ---------------------------------------------------------------------------
 /**
- * Assemble AGENT_PROFILE.md as a compact **index**:
+ * Assemble program.md as a compact **index**:
  * - Each enabled section shows its key rules inline (immediate context).
  * - A `@.autodev/profile/<file>` line lets agents load the full section on demand.
  * - Full section files are copied to `<root>/.autodev/profile/` so the `@`
@@ -264,10 +264,13 @@ function assembleProfileBody(enabledIds, root, customRefs = []) {
     const ids = enabledIds && enabledIds.length > 0 ? enabledIds : exports.ALL_SECTION_IDS;
     const orderedSections = exports.PROFILE_SECTIONS.filter(s => ids.includes(s.id));
     const header = [
-        '# AutoDev Agent Profile',
+        '# AutoDev — program.md',
         '',
-        '> This is a **protocol index**. Each section file is loaded directly by the agent.',
-        '> Key rules are summarised below; full details live in the per-section files.',
+        '> **Master index.** AGENTS.md / CLAUDE.md reference only this file; this file',
+        '> describes and links every AutoDev reference. Each section below shows its key',
+        '> rules inline and a `file://` link to the full section — **load a section only',
+        '> when the task needs it** (small-context-friendly). The control spec and the',
+        '> auto-mode loop tools are described at the end.',
         '',
         '---',
         '',
@@ -280,12 +283,16 @@ function assembleProfileBody(enabledIds, root, customRefs = []) {
             sectionPaths.push(refPath);
         }
         const rulesLines = section.keyRules.map(r => `- ${r}`).join('\n');
+        // The `file://` ref is what makes program.md self-contained now that the
+        // AGENTS.md block lists only program.md: the full section loads on demand.
+        const refLine = refPath ? `file://./${refPath.replace(/\\/g, '/')}` : '';
         // Hash over key rules + ref so the marker changes if either is updated
         const hash = md5(rulesLines + (refPath ?? ''));
         const block = [
             `<!-- AUTODEV:section:${section.id}:begin:md5=${hash} -->`,
             `### ${section.label}`,
             rulesLines,
+            ...(refLine ? [`  ↳ full: ${refLine}`] : []),
             `<!-- AUTODEV:section:${section.id}:end -->`,
         ].join('\n');
         parts.push(block);
@@ -306,6 +313,26 @@ function assembleProfileBody(enabledIds, root, customRefs = []) {
         }).join('\n');
         body += '\n';
     }
+    // Runtime references: the control spec + the auto-mode loop tools. program.md
+    // "describes all other references", so these belong here alongside the sections.
+    body += [
+        '',
+        '---',
+        '',
+        '## Runtime — Control Spec & Auto-Mode Loop Tools',
+        '',
+        '- **Control spec** (optional): `file://./.autodev/CONTROL.md` — a per-project spec',
+        '  (verify command, protected files, keep/revert rule, budget, escalation). When it',
+        '  defines a `verify` command, the loop runs **verify_and_keep** after each task:',
+        '  green → commit + mark `[x]`; red → auto-revert + reopen. With no control spec the',
+        '  loop behaves normally. See skill `autodev-core-loop`.',
+        '- **Auto-mode cadence tools** — the loop runs these itself every N tasks (set N in',
+        '  settings); you do NOT hand-run them: **memory-checkpoint** (persist memory + living',
+        '  docs) and **autolearn** (distil JOURNAL rows → LESSONS/skills/conventions).',
+        '- **Journal** — records are appended deterministically (`journal_append`); do not',
+        '  hand-format the table.',
+        '',
+    ].join('\n');
     // Always append SOUL.md reference so agents load their identity anchor first.
     body += [
         '',

package/out/profileBuilder.js.map

@@ -1 +1 @@
-{"version":3,"file":"profileBuilder.js","sourceRoot":"","sources":["../src/profileBuilder.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6OA,kDA8IC;AA3XD,+CAAiC;AACjC,uCAAyB;AACzB,2CAA6B;AAiBhB,QAAA,gBAAgB,GAAqB;IAChD;QACE,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,4BAA4B,EAAE,IAAI,EAAE,gBAAgB;QAC9E,QAAQ,EAAE;YACR,kFAAkF;YAClF,iFAAiF;YACjF,0DAA0D;SAC3D;KACF;IACD;QACE,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,kCAAkC,EAAE,IAAI,EAAE,gBAAgB;QACpF,QAAQ,EAAE;YACR,2GAA2G;YAC3G,4FAA4F;SAC7F;KACF;IACD;QACE,EAAE,EAAE,eAAe,EAAE,KAAK,EAAE,gCAAgC,EAAE,IAAI,EAAE,kBAAkB;QACtF,QAAQ,EAAE;YACR,yEAAyE;YACzE,iFAAiF;SAClF;KACF;IACD;QACE,EAAE,EAAE,gBAAgB,EAAE,KAAK,EAAE,qBAAqB,EAAE,IAAI,EAAE,mBAAmB;QAC7E,QAAQ,EAAE;YACR,gGAAgG;YAChG,uGAAuG;SACxG;KACF;IACD;QACE,EAAE,EAAE,gBAAgB,EAAE,KAAK,EAAE,yCAAyC,EAAE,IAAI,EAAE,mBAAmB;QACjG,QAAQ,EAAE;YACR,yEAAyE;YACzE,iGAAiG;SAClG;KACF;IACD;QACE,EAAE,EAAE,mBAAmB,EAAE,KAAK,EAAE,yBAAyB,EAAE,IAAI,EAAE,sBAAsB;QACvF,QAAQ,EAAE;YACR,gHAAgH;YAChH,6EAA6E;SAC9E;KACF;IACD;QACE,EAAE,EAAE,eAAe,EAAE,KAAK,EAAE,6BAA6B,EAAE,IAAI,EAAE,kBAAkB;QACnF,QAAQ,EAAE;YACR,qFAAqF;YACrF,uHAAuH;YACvH,uGAAuG;SACxG;KACF;IACD;QACE,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,iCAAiC,EAAE,IAAI,EAAE,iBAAiB;QACrF,QAAQ,EAAE;YACR,4EAA4E;YAC5E,2GAA2G;SAC5G;KACF;IACD;QACE,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,sCAAsC,EAAE,IAAI,EAAE,gBAAgB;QACxF,QAAQ,EAAE;YACR,iGAAiG;YACjG,yFAAyF;SAC1F;KACF;IACD;QACE,EAAE,EAAE,mBAAmB,EAAE,KAAK,EAAE,gCAAgC,EAAE,IAAI,EAAE,sBAAsB;QAC9F,QAAQ,EAAE;YACR,6GAA6G;YAC7G,4FAA4F;YAC5F,8EAA8E;SAC/E;KACF;IACD;QACE,EAAE,EAAE,0BAA0B,EAAE,KAAK,EAAE,qCAAqC,EAAE,IAAI,EAAE,6BAA6B;QACjH,QAAQ,EAAE;YACR,yFAAyF;YACzF,8GAA8G;SAC/G;KACF;IACD;QACE,EAAE,EAAE,uBAAuB,EAAE,KAAK,EAAE,2BAA2B,EAAE,IAAI,EAAE,0BAA0B;QACjG,QAAQ,EAAE;YACR,yFAAyF;YACzF,2FAA2F;SAC5F;KACF;IACD;QACE,EAAE,EAAE,gBAAgB,EAAE,KAAK,EAAE,gCAAgC,EAAE,IAAI,EAAE,mBAAmB;QACxF,QAAQ,EAAE;YACR,iGAAiG;YACjG,sFAAsF;SACvF;KACF;IACD;QACE,EAAE,EAAE,wBAAwB,EAAE,KAAK,EAAE,gCAAgC,EAAE,IAAI,EAAE,2BAA2B;QACxG,QAAQ,EAAE;YACR,mHAAmH;YACnH,8FAA8F;SAC/F;KACF;IACD;QACE,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,gCAAgC,EAAE,IAAI,EAAE,iBAAiB;QACpF,QAAQ,EAAE;YACR,sGAAsG;YACtG,2GAA2G;YAC3G,uOAAuO;YACvO,mTAAmT;SACpT;KACF;IACD;QACE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,gCAAgC,EAAE,IAAI,EAAE,YAAY;QAC1E,QAAQ,EAAE;YACR,oGAAoG;YACpG,2EAA2E;SAC5E;KACF;IACD;QACE,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,oCAAoC,EAAE,IAAI,EAAE,eAAe;QACpF,QAAQ,EAAE;YACR,+EAA+E;YAC/E,yFAAyF;SAC1F;KACF;IACD;QACE,EAAE,EAAE,mBAAmB,EAAE,KAAK,EAAE,mCAAmC,EAAE,IAAI,EAAE,sBAAsB;QACjG,QAAQ,EAAE;YACR,oFAAoF;YACpF,qGAAqG;SACtG;KACF;IACD;QACE,EAAE,EAAE,kBAAkB,EAAE,KAAK,EAAE,0CAA0C,EAAE,IAAI,EAAE,qBAAqB;QACtG,QAAQ,EAAE;YACR,qGAAqG;YACrG,mFAAmF;SACpF;KACF;IACD;QACE,EAAE,EAAE,gCAAgC,EAAE,KAAK,EAAE,6BAA6B,EAAE,IAAI,EAAE,mCAAmC;QACrH,QAAQ,EAAE;YACR,uGAAuG;YACvG,oHAAoH;YACpH,qHAAqH;SACtH;KACF;IACD;QACE,EAAE,EAAE,kBAAkB,EAAE,KAAK,EAAE,uCAAuC,EAAE,IAAI,EAAE,qBAAqB;QACnG,QAAQ,EAAE;YACR,mLAAmL;YACnL,gMAAgM;YAChM,+JAA+J;SAChK;KACF;CACF,CAAC;AAEF,oFAAoF;AACvE,QAAA,eAAe,GAAa,wBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAEzE,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E,SAAS,eAAe;IACtB,mEAAmE;IACnE,mFAAmF;IACnF,gFAAgF;IAChF,6EAA6E;IAC7E,0CAA0C;IAC1C,iFAAiF;IACjF,mEAAmE;IACnE,MAAM,UAAU,GAAG;QACjB,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC;QAC9C,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,cAAc,EAAE,aAAa,EAAE,OAAO,EAAE,SAAS,CAAC;QAC7E,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,SAAS,CAAC;KACzC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAAC,IAAI,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;YAAC,OAAO,CAAC,CAAC;QAAC,CAAC;IAAC,CAAC;IACnE,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;AACvB,CAAC;AAED,SAAS,GAAG,CAAC,OAAe;IAC1B,OAAO,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAChE,CAAC;AAED;;;;GAIG;AACH,SAAS,iBAAiB,CAAC,OAAuB,EAAE,IAAY;IAC9D,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IACvD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAAC,OAAO,IAAI,CAAC;IAAC,CAAC;IACzC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;IACvD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QAAC,EAAE,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAAC,CAAC;IAC5E,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,CAAC;QACH,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC3B,OAAO,oBAAoB,OAAO,CAAC,IAAI,EAAE,CAAC;IAC5C,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,IAAI,CAAC;IAAC,CAAC;AAC1B,CAAC;AAED,8EAA8E;AAC9E,kCAAkC;AAClC,8EAA8E;AAE9E;;;;;;;;;;;GAWG;AACH,SAAgB,mBAAmB,CACjC,UAAgC,EAChC,IAAY,EACZ,aAAuB,EAAE;IAEzB,MAAM,GAAG,GAAG,UAAU,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,uBAAe,CAAC;IAC/E,MAAM,eAAe,GAAG,wBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAEzE,MAAM,MAAM,GAAG;QACb,yBAAyB;QACzB,EAAE;QACF,oFAAoF;QACpF,+EAA+E;QAC/E,EAAE;QACF,KAAK;QACL,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,YAAY,GAAa,EAAE,CAAC;IAElC,KAAK,MAAM,OAAO,IAAI,eAAe,EAAE,CAAC;QACtC,MAAM,OAAO,GAAG,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACjD,IAAI,OAAO,EAAE,CAAC;YAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAAC,CAAC;QAC5C,MAAM,UAAU,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClE,uEAAuE;QACvE,MAAM,IAAI,GAAG,GAAG,CAAC,UAAU,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;QAC/C,MAAM,KAAK,GAAG;YACZ,wBAAwB,OAAO,CAAC,EAAE,cAAc,IAAI,MAAM;YAC1D,OAAO,OAAO,CAAC,KAAK,EAAE;YACtB,UAAU;YACV,wBAAwB,OAAO,CAAC,EAAE,UAAU;SAC7C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC;IAED,IAAI,IAAI,GAAG,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IAE9C,2BAA2B;IAC3B,MAAM,WAAW,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC5E,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,IAAI,IAAI,mCAAmC,CAAC;QAC5C,IAAI,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;YAC1B,6BAA6B;YAC7B,MAAM,SAAS,GAAG,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACzD,yEAAyE;YACzE,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC;gBACxC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;gBACpD,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAClC,OAAO,YAAY,OAAO,EAAE,CAAC;QAC/B,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,IAAI,IAAI,IAAI,CAAC;IACf,CAAC;IAED,8EAA8E;IAC9E,IAAI,IAAI;QACN,EAAE;QACF,KAAK;QACL,EAAE;QACF,0BAA0B;QAC1B,EAAE;QACF,kBAAkB;QAClB,SAAS;QACT,iEAAiE;QACjE,qFAAqF;QACrF,iFAAiF;QACjF,qFAAqF;QACrF,qEAAqE;QACrE,UAAU;QACV,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,gFAAgF;IAChF,IAAI,IAAI;QACN,EAAE;QACF,KAAK;QACL,EAAE;QACF,qBAAqB;QACrB,EAAE;QACF,qBAAqB;QACrB,SAAS;QACT,mGAAmG;QACnG,oFAAoF;QACpF,kGAAkG;QAClG,wEAAwE;QACxE,UAAU;QACV,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,uEAAuE;IACvE,4EAA4E;IAC5E,IAAI,IAAI;QACN,EAAE;QACF,KAAK;QACL,EAAE;QACF,8BAA8B;QAC9B,EAAE;QACF,uBAAuB;QACvB,SAAS;QACT,2FAA2F;QAC3F,+FAA+F;QAC/F,0DAA0D;QAC1D,sFAAsF;QACtF,UAAU;QACV,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,2DAA2D;IAC3D,IAAI,IAAI;QACN,EAAE;QACF,KAAK;QACL,EAAE;QACF,gBAAgB;QAChB,EAAE;QACF,2BAA2B;QAC3B,SAAS;QACT,iHAAiH;QACjH,+EAA+E;QAC/E,wHAAwH;QACxH,uGAAuG;QACvG,UAAU;QACV,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,IAAI,IAAI;QACN,EAAE;QACF,KAAK;QACL,EAAE;QACF,mBAAmB;QACnB,EAAE;QACF,kCAAkC;QAClC,SAAS;QACT,qHAAqH;QACrH,gHAAgH;QAChH,6GAA6G;QAC7G,sHAAsH;QACtH,4GAA4G;QAC5G,UAAU;QACV,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;AAChC,CAAC"}
+{"version":3,"file":"profileBuilder.js","sourceRoot":"","sources":["../src/profileBuilder.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6OA,kDA0KC;AAvZD,+CAAiC;AACjC,uCAAyB;AACzB,2CAA6B;AAiBhB,QAAA,gBAAgB,GAAqB;IAChD;QACE,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,4BAA4B,EAAE,IAAI,EAAE,gBAAgB;QAC9E,QAAQ,EAAE;YACR,kFAAkF;YAClF,iFAAiF;YACjF,0DAA0D;SAC3D;KACF;IACD;QACE,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,kCAAkC,EAAE,IAAI,EAAE,gBAAgB;QACpF,QAAQ,EAAE;YACR,2GAA2G;YAC3G,4FAA4F;SAC7F;KACF;IACD;QACE,EAAE,EAAE,eAAe,EAAE,KAAK,EAAE,gCAAgC,EAAE,IAAI,EAAE,kBAAkB;QACtF,QAAQ,EAAE;YACR,yEAAyE;YACzE,iFAAiF;SAClF;KACF;IACD;QACE,EAAE,EAAE,gBAAgB,EAAE,KAAK,EAAE,qBAAqB,EAAE,IAAI,EAAE,mBAAmB;QAC7E,QAAQ,EAAE;YACR,gGAAgG;YAChG,uGAAuG;SACxG;KACF;IACD;QACE,EAAE,EAAE,gBAAgB,EAAE,KAAK,EAAE,yCAAyC,EAAE,IAAI,EAAE,mBAAmB;QACjG,QAAQ,EAAE;YACR,yEAAyE;YACzE,iGAAiG;SAClG;KACF;IACD;QACE,EAAE,EAAE,mBAAmB,EAAE,KAAK,EAAE,yBAAyB,EAAE,IAAI,EAAE,sBAAsB;QACvF,QAAQ,EAAE;YACR,gHAAgH;YAChH,6EAA6E;SAC9E;KACF;IACD;QACE,EAAE,EAAE,eAAe,EAAE,KAAK,EAAE,6BAA6B,EAAE,IAAI,EAAE,kBAAkB;QACnF,QAAQ,EAAE;YACR,qFAAqF;YACrF,uHAAuH;YACvH,uGAAuG;SACxG;KACF;IACD;QACE,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,iCAAiC,EAAE,IAAI,EAAE,iBAAiB;QACrF,QAAQ,EAAE;YACR,4EAA4E;YAC5E,2GAA2G;SAC5G;KACF;IACD;QACE,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,sCAAsC,EAAE,IAAI,EAAE,gBAAgB;QACxF,QAAQ,EAAE;YACR,iGAAiG;YACjG,yFAAyF;SAC1F;KACF;IACD;QACE,EAAE,EAAE,mBAAmB,EAAE,KAAK,EAAE,gCAAgC,EAAE,IAAI,EAAE,sBAAsB;QAC9F,QAAQ,EAAE;YACR,6GAA6G;YAC7G,4FAA4F;YAC5F,8EAA8E;SAC/E;KACF;IACD;QACE,EAAE,EAAE,0BAA0B,EAAE,KAAK,EAAE,qCAAqC,EAAE,IAAI,EAAE,6BAA6B;QACjH,QAAQ,EAAE;YACR,yFAAyF;YACzF,8GAA8G;SAC/G;KACF;IACD;QACE,EAAE,EAAE,uBAAuB,EAAE,KAAK,EAAE,2BAA2B,EAAE,IAAI,EAAE,0BAA0B;QACjG,QAAQ,EAAE;YACR,yFAAyF;YACzF,2FAA2F;SAC5F;KACF;IACD;QACE,EAAE,EAAE,gBAAgB,EAAE,KAAK,EAAE,gCAAgC,EAAE,IAAI,EAAE,mBAAmB;QACxF,QAAQ,EAAE;YACR,iGAAiG;YACjG,sFAAsF;SACvF;KACF;IACD;QACE,EAAE,EAAE,wBAAwB,EAAE,KAAK,EAAE,gCAAgC,EAAE,IAAI,EAAE,2BAA2B;QACxG,QAAQ,EAAE;YACR,mHAAmH;YACnH,8FAA8F;SAC/F;KACF;IACD;QACE,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,gCAAgC,EAAE,IAAI,EAAE,iBAAiB;QACpF,QAAQ,EAAE;YACR,sGAAsG;YACtG,2GAA2G;YAC3G,uOAAuO;YACvO,mTAAmT;SACpT;KACF;IACD;QACE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,gCAAgC,EAAE,IAAI,EAAE,YAAY;QAC1E,QAAQ,EAAE;YACR,oGAAoG;YACpG,2EAA2E;SAC5E;KACF;IACD;QACE,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,oCAAoC,EAAE,IAAI,EAAE,eAAe;QACpF,QAAQ,EAAE;YACR,+EAA+E;YAC/E,yFAAyF;SAC1F;KACF;IACD;QACE,EAAE,EAAE,mBAAmB,EAAE,KAAK,EAAE,mCAAmC,EAAE,IAAI,EAAE,sBAAsB;QACjG,QAAQ,EAAE;YACR,oFAAoF;YACpF,qGAAqG;SACtG;KACF;IACD;QACE,EAAE,EAAE,kBAAkB,EAAE,KAAK,EAAE,0CAA0C,EAAE,IAAI,EAAE,qBAAqB;QACtG,QAAQ,EAAE;YACR,qGAAqG;YACrG,mFAAmF;SACpF;KACF;IACD;QACE,EAAE,EAAE,gCAAgC,EAAE,KAAK,EAAE,6BAA6B,EAAE,IAAI,EAAE,mCAAmC;QACrH,QAAQ,EAAE;YACR,uGAAuG;YACvG,oHAAoH;YACpH,qHAAqH;SACtH;KACF;IACD;QACE,EAAE,EAAE,kBAAkB,EAAE,KAAK,EAAE,uCAAuC,EAAE,IAAI,EAAE,qBAAqB;QACnG,QAAQ,EAAE;YACR,mLAAmL;YACnL,gMAAgM;YAChM,+JAA+J;SAChK;KACF;CACF,CAAC;AAEF,oFAAoF;AACvE,QAAA,eAAe,GAAa,wBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAEzE,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E,SAAS,eAAe;IACtB,mEAAmE;IACnE,mFAAmF;IACnF,gFAAgF;IAChF,6EAA6E;IAC7E,0CAA0C;IAC1C,iFAAiF;IACjF,mEAAmE;IACnE,MAAM,UAAU,GAAG;QACjB,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC;QAC9C,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,cAAc,EAAE,aAAa,EAAE,OAAO,EAAE,SAAS,CAAC;QAC7E,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,SAAS,CAAC;KACzC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAAC,IAAI,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;YAAC,OAAO,CAAC,CAAC;QAAC,CAAC;IAAC,CAAC;IACnE,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;AACvB,CAAC;AAED,SAAS,GAAG,CAAC,OAAe;IAC1B,OAAO,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAChE,CAAC;AAED;;;;GAIG;AACH,SAAS,iBAAiB,CAAC,OAAuB,EAAE,IAAY;IAC9D,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IACvD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAAC,OAAO,IAAI,CAAC;IAAC,CAAC;IACzC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;IACvD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QAAC,EAAE,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAAC,CAAC;IAC5E,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,CAAC;QACH,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC3B,OAAO,oBAAoB,OAAO,CAAC,IAAI,EAAE,CAAC;IAC5C,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,IAAI,CAAC;IAAC,CAAC;AAC1B,CAAC;AAED,8EAA8E;AAC9E,kCAAkC;AAClC,8EAA8E;AAE9E;;;;;;;;;;;GAWG;AACH,SAAgB,mBAAmB,CACjC,UAAgC,EAChC,IAAY,EACZ,aAAuB,EAAE;IAEzB,MAAM,GAAG,GAAG,UAAU,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,uBAAe,CAAC;IAC/E,MAAM,eAAe,GAAG,wBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAEzE,MAAM,MAAM,GAAG;QACb,wBAAwB;QACxB,EAAE;QACF,+EAA+E;QAC/E,iFAAiF;QACjF,iFAAiF;QACjF,+EAA+E;QAC/E,kDAAkD;QAClD,EAAE;QACF,KAAK;QACL,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,YAAY,GAAa,EAAE,CAAC;IAElC,KAAK,MAAM,OAAO,IAAI,eAAe,EAAE,CAAC;QACtC,MAAM,OAAO,GAAG,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACjD,IAAI,OAAO,EAAE,CAAC;YAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAAC,CAAC;QAC5C,MAAM,UAAU,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClE,yEAAyE;QACzE,2EAA2E;QAC3E,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,YAAY,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzE,uEAAuE;QACvE,MAAM,IAAI,GAAG,GAAG,CAAC,UAAU,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;QAC/C,MAAM,KAAK,GAAG;YACZ,wBAAwB,OAAO,CAAC,EAAE,cAAc,IAAI,MAAM;YAC1D,OAAO,OAAO,CAAC,KAAK,EAAE;YACtB,UAAU;YACV,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,aAAa,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5C,wBAAwB,OAAO,CAAC,EAAE,UAAU;SAC7C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC;IAED,IAAI,IAAI,GAAG,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IAE9C,2BAA2B;IAC3B,MAAM,WAAW,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC5E,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,IAAI,IAAI,mCAAmC,CAAC;QAC5C,IAAI,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;YAC1B,6BAA6B;YAC7B,MAAM,SAAS,GAAG,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACzD,yEAAyE;YACzE,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC;gBACxC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;gBACpD,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAClC,OAAO,YAAY,OAAO,EAAE,CAAC;QAC/B,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,IAAI,IAAI,IAAI,CAAC;IACf,CAAC;IAED,8EAA8E;IAC9E,iFAAiF;IACjF,IAAI,IAAI;QACN,EAAE;QACF,KAAK;QACL,EAAE;QACF,kDAAkD;QAClD,EAAE;QACF,oFAAoF;QACpF,oFAAoF;QACpF,kFAAkF;QAClF,qFAAqF;QACrF,yDAAyD;QACzD,oFAAoF;QACpF,uFAAuF;QACvF,+EAA+E;QAC/E,mFAAmF;QACnF,0BAA0B;QAC1B,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,8EAA8E;IAC9E,IAAI,IAAI;QACN,EAAE;QACF,KAAK;QACL,EAAE;QACF,0BAA0B;QAC1B,EAAE;QACF,kBAAkB;QAClB,SAAS;QACT,iEAAiE;QACjE,qFAAqF;QACrF,iFAAiF;QACjF,qFAAqF;QACrF,qEAAqE;QACrE,UAAU;QACV,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,gFAAgF;IAChF,IAAI,IAAI;QACN,EAAE;QACF,KAAK;QACL,EAAE;QACF,qBAAqB;QACrB,EAAE;QACF,qBAAqB;QACrB,SAAS;QACT,mGAAmG;QACnG,oFAAoF;QACpF,kGAAkG;QAClG,wEAAwE;QACxE,UAAU;QACV,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,uEAAuE;IACvE,4EAA4E;IAC5E,IAAI,IAAI;QACN,EAAE;QACF,KAAK;QACL,EAAE;QACF,8BAA8B;QAC9B,EAAE;QACF,uBAAuB;QACvB,SAAS;QACT,2FAA2F;QAC3F,+FAA+F;QAC/F,0DAA0D;QAC1D,sFAAsF;QACtF,UAAU;QACV,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,2DAA2D;IAC3D,IAAI,IAAI;QACN,EAAE;QACF,KAAK;QACL,EAAE;QACF,gBAAgB;QAChB,EAAE;QACF,2BAA2B;QAC3B,SAAS;QACT,iHAAiH;QACjH,+EAA+E;QAC/E,wHAAwH;QACxH,uGAAuG;QACvG,UAAU;QACV,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,IAAI,IAAI;QACN,EAAE;QACF,KAAK;QACL,EAAE;QACF,mBAAmB;QACnB,EAAE;QACF,kCAAkC;QAClC,SAAS;QACT,qHAAqH;QACrH,gHAAgH;QAChH,6GAA6G;QAC7G,sHAAsH;QACtH,4GAA4G;QAC5G,UAAU;QACV,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;AAChC,CAAC"}

package/out/taskLoop.d.ts

@@ -90,9 +90,28 @@ export declare class TaskLoopRunner {
     private _profileSentCounter;
     /** Manages all "every N tasks" periodic action counters. */
     private readonly _periodicMgr;
+    /** Parsed .autodev/CONTROL.md, or null when absent (=> today's behavior). */
+    private _controlSpec;
+    /** taskKey → git HEAD sha captured before the task's FIRST dispatch (revert target). */
+    private _preTaskCommit;
+    /** taskKey → mechanical auto-fix passes already spent on this task. */
+    private _verifyMech;
+    /** A verify failure hint to fold into the NEXT dispatch of the matching task. */
+    private _pendingFixHint;
     get state(): LoopState;
     get currentTask(): string | undefined;
     get resumeAt(): Date | undefined;
+    private _git;
+    /** Current HEAD sha, or '' if not a git repo / no commits. */
+    private _gitHead;
+    /** Hard-reset the working tree back to a previous commit (discard the task's work). */
+    private _gitResetHard;
+    /** Stage everything and commit; a no-op commit (nothing changed) is swallowed. */
+    private _gitCommitAll;
+    /** Files changed since `sha` (tracked diff + untracked), repo-relative. */
+    private _gitChangedFiles;
+    /** Compact "+A/-D" line-delta since `sha` for the journal ΔC column. */
+    private _gitDeltaComplexity;
     /** Manually trigger a /compact on the current session for the given provider/root. */
     compact(root: string, provider: ProviderId): Promise<void>;
     /** Manually trigger a /clear on the current Claude session for the given provider/root. */

package/out/taskLoop.js

@@ -45,6 +45,8 @@ const prompt_1 = require("./prompt");
 const messageBuilder_1 = require("./messageBuilder");
 const webhook_1 = require("./webhook");
 const settingsLoader_1 = require("./core/settingsLoader");
+const controlSpec_1 = require("./core/controlSpec");
+const journal_1 = require("./journal");
 const dispatcher_1 = require("./dispatcher");
 const opencodeCliProvider_1 = require("./providers/opencodeCliProvider");
 const openCodeHooksManager_1 = require("./openCodeHooksManager");
@@ -218,9 +220,68 @@ class TaskLoopRunner {
     _profileSentCounter = 0;
     /** Manages all "every N tasks" periodic action counters. */
     _periodicMgr = new periodicActions_1.PeriodicActionManager();
+    // ── autoresearch verify_and_keep gate (opt-in via .autodev/CONTROL.md) ──
+    // ALL of these are inert unless a CONTROL.md ships a `verify` command. With no
+    // spec (_controlSpec null / gate inactive) every path below is skipped and the
+    // loop behaves byte-for-byte as it does today.
+    /** Parsed .autodev/CONTROL.md, or null when absent (=> today's behavior). */
+    _controlSpec = null;
+    /** taskKey → git HEAD sha captured before the task's FIRST dispatch (revert target). */
+    _preTaskCommit = new Map();
+    /** taskKey → mechanical auto-fix passes already spent on this task. */
+    _verifyMech = new Map();
+    /** A verify failure hint to fold into the NEXT dispatch of the matching task. */
+    _pendingFixHint = null;
     get state() { return this._state; }
     get currentTask() { return this._currentTask; }
     get resumeAt() { return this._resumeAt; }
+    // ── git primitives for the verify_and_keep gate ───────────────────────────
+    // Only ever called on gate-active paths (CONTROL.md present). All swallow
+    // errors so a non-git or dirty-index workspace never crashes the loop.
+    _git(root, args) {
+        try {
+            return (0, child_process_1.execSync)(`git ${args}`, { cwd: root, stdio: ['ignore', 'pipe', 'ignore'] }).toString().trim();
+        }
+        catch {
+            return '';
+        }
+    }
+    /** Current HEAD sha, or '' if not a git repo / no commits. */
+    _gitHead(root) { return this._git(root, 'rev-parse HEAD'); }
+    /** Hard-reset the working tree back to a previous commit (discard the task's work). */
+    _gitResetHard(root, sha) {
+        if (sha) {
+            this._git(root, `reset --hard ${sha}`);
+        }
+    }
+    /** Stage everything and commit; a no-op commit (nothing changed) is swallowed. */
+    _gitCommitAll(root, message) {
+        this._git(root, 'add -A');
+        const safe = message.replace(/"/g, "'").split('\n')[0].slice(0, 200);
+        this._git(root, `commit -m "${safe}"`);
+    }
+    /** Files changed since `sha` (tracked diff + untracked), repo-relative. */
+    _gitChangedFiles(root, sha) {
+        const diff = this._git(root, `diff --name-only ${sha}`);
+        const untracked = this._git(root, 'ls-files --others --exclude-standard');
+        const set = new Set();
+        for (const f of (diff + '\n' + untracked).split(/\r?\n/)) {
+            if (f.trim()) {
+                set.add(f.trim());
+            }
+        }
+        return [...set];
+    }
+    /** Compact "+A/-D" line-delta since `sha` for the journal ΔC column. */
+    _gitDeltaComplexity(root, sha) {
+        const stat = this._git(root, `diff --shortstat ${sha}`);
+        const ins = stat.match(/(\d+) insertion/);
+        const del = stat.match(/(\d+) deletion/);
+        if (!ins && !del) {
+            return '-';
+        }
+        return `+${ins ? ins[1] : 0}/-${del ? del[1] : 0}`;
+    }
     /** Manually trigger a /compact on the current session for the given provider/root. */
     async compact(root, provider) {
         const log = (m) => this._cb?.log(m);
@@ -358,6 +419,15 @@ class TaskLoopRunner {
         this._profileSentCounter = 0;
         this._periodicMgr.resetAndPersist(callbacks.workspaceRoot);
         this._hookLineSeen.clear();
+        // Load the opt-in control spec. Absent file ⇒ null ⇒ verify_and_keep gate,
+        // pre-task snapshots, and revert logic all stay dormant (today's behavior).
+        this._controlSpec = callbacks.workspaceRoot ? (0, controlSpec_1.loadControlSpec)(callbacks.workspaceRoot) : null;
+        this._preTaskCommit.clear();
+        this._verifyMech.clear();
+        this._pendingFixHint = null;
+        if ((0, controlSpec_1.isGateActive)(this._controlSpec)) {
+            callbacks.log(`🧪 verify_and_keep gate ENABLED — verify: ${this._controlSpec.verify.join(' && ')} (max_fix_rounds=${this._controlSpec.max_fix_rounds})`);
+        }
         this._setState('running');
         const settings = (0, settingsLoader_1.loadSettingsForRoot)(callbacks.workspaceRoot);
         // Honor the runtime `-p <provider>` flag when reporting presence. The SDK
@@ -1498,9 +1568,30 @@ class TaskLoopRunner {
                 this._blockedTasks.delete(taskKey);
                 const attempts = (this._taskAttempts.get(taskKey) ?? 0) + 1;
                 this._taskAttempts.set(taskKey, attempts);
-                const maxAttempts = settings.maxTaskAttempts ?? 3;
+                // With the verify gate active, the attempt ceiling becomes the fix-round
+                // budget (initial dispatch + max_fix_rounds + mechanical headroom). Without
+                // a CONTROL.md this is EXACTLY settings.maxTaskAttempts ?? 3 as before.
+                const maxAttempts = (0, controlSpec_1.isGateActive)(this._controlSpec)
+                    ? 1 + this._controlSpec.max_fix_rounds + this._controlSpec.max_mechanical_fixes
+                    : (settings.maxTaskAttempts ?? 3);
                 if (attempts > maxAttempts) {
                     this._taskAttempts.delete(taskKey);
+                    // Verify gate exhaustion: revert the task's work to its pre-task commit
+                    // and journal a discard BEFORE moving on, so no red change is kept.
+                    if ((0, controlSpec_1.isGateActive)(this._controlSpec) && this._workspaceRoot) {
+                        const pre = this._preTaskCommit.get(taskKey);
+                        if (pre) {
+                            this._gitResetHard(this._workspaceRoot, pre);
+                            this._cb?.log(`↩️ verify gate: fix rounds exhausted — reverted to ${pre.slice(0, 7)} and discarded: ${task.text}`);
+                        }
+                        (0, journal_1.appendJournalRow)(this._workspaceRoot, {
+                            task: discordLabel(task.text), status: 'discard',
+                            outcome: 'verify never green', notes: `exhausted ${maxAttempts} attempt(s)`,
+                        });
+                        this._preTaskCommit.delete(taskKey);
+                        this._verifyMech.delete(taskKey);
+                        this._pendingFixHint = null;
+                    }
                     this._cb?.log(`⚠️ Task not marked done after ${maxAttempts} attempt(s) — force-marking complete: ${task.text}`);
                     this._notifyDiscord(`⚠️ Task force-marked done after ${maxAttempts} failed attempt(s):\n${task.text}`);
                     await todoWriteManager_1.todoWriter.markDone(todoPath, task).catch(() => { });
@@ -1528,8 +1619,31 @@ class TaskLoopRunner {
             }
             this._profileSentCounter++;
             // Build prompt (needed even when not sending, for messageFile path)
-            const { prompt, messageFile } = (0, prompt_1.buildPrompt)(task, this._workspaceRoot, path.dirname(todoPath), includeProfile);
+            let { prompt, messageFile } = (0, prompt_1.buildPrompt)(task, this._workspaceRoot, path.dirname(todoPath), includeProfile);
             const remaining = (0, todo_1.countRemaining)((0, todo_1.parseTodo)(todoPath));
+            // ── verify_and_keep: pre-task snapshot + fold in any fix hint ──────────
+            // Both are no-ops unless a CONTROL.md ships a verify command.
+            if ((0, controlSpec_1.isGateActive)(this._controlSpec) && this._workspaceRoot && !watchingInProgress) {
+                const gateKey = task.id ?? task.text;
+                // Snapshot the commit to revert to — only on the FIRST dispatch of a task.
+                if (!this._preTaskCommit.has(gateKey)) {
+                    const head = this._gitHead(this._workspaceRoot);
+                    if (head) {
+                        this._preTaskCommit.set(gateKey, head);
+                    }
+                }
+                // A prior red verify left a fix hint for this task — fold it into the prompt
+                // so the retried dispatch sees the failure and what to fix.
+                if (this._pendingFixHint && this._pendingFixHint.key === gateKey) {
+                    const combined = `${prompt}\n\n---\n${this._pendingFixHint.text}`;
+                    try {
+                        messageFile = (0, messageBuilder_1.writeMessageFile)(this._workspaceRoot, combined);
+                    }
+                    catch { /* keep original */ }
+                    prompt = combined;
+                    this._pendingFixHint = null;
+                }
+            }
             if (!watchingInProgress) {
                 this._cb?.log(`▶ Task [${this._iterations}]: ${task.text}`);
                 this._idleNotified = false;
@@ -1760,6 +1874,86 @@ class TaskLoopRunner {
                     }
                     this._cb?.log(`Session ID captured for ${activeProvider}`);
                 }
+                // ── verify_and_keep gate (autoresearch) ────────────────────────────
+                // OPT-IN + NON-BREAKING: this entire block is skipped unless a
+                // .autodev/CONTROL.md ships a `verify` command (isGateActive === false
+                // otherwise). When skipped, control drops straight into the UNCHANGED
+                // completion path below — byte-for-byte today's behavior.
+                {
+                    const spec = this._controlSpec;
+                    if ((0, controlSpec_1.isGateActive)(spec) && this._workspaceRoot) {
+                        const root = this._workspaceRoot;
+                        const gateKey = task.id ?? task.text;
+                        const preCommit = this._preTaskCommit.get(gateKey);
+                        const elapsedSec = Math.round((Date.now() - taskStartTime) / 1000);
+                        const discardAndMoveOn = (reason, outcome) => {
+                            if (preCommit) {
+                                this._gitResetHard(root, preCommit);
+                            }
+                            (0, journal_1.appendJournalRow)(root, { task: discordLabel(task.text), status: 'discard', outcome, notes: reason });
+                            this._preTaskCommit.delete(gateKey);
+                            this._verifyMech.delete(gateKey);
+                            this._pendingFixHint = null;
+                            this._taskAttempts.delete(gateKey);
+                        };
+                        // (a) budget kill — only when budget_seconds is set.
+                        if (spec.budget_seconds != null && elapsedSec > spec.budget_seconds) {
+                            this._cb?.log(`⏱️ verify gate: task over budget (${elapsedSec}s > ${spec.budget_seconds}s) — discard+revert`);
+                            this._notifyDiscord(`⏱️ Task over budget (${elapsedSec}s) — reverted & discarded:\n${discordLabel(task.text)}`);
+                            discardAndMoveOn(`budget ${spec.budget_seconds}s exceeded`, 'over budget');
+                            await todoWriteManager_1.todoWriter.markDone(todoPath, task).catch(() => { }); // move on; code already reverted
+                            this._completedCount++;
+                            continue;
+                        }
+                        // (b) protected_files guard — only when protected_files is set.
+                        if (preCommit && spec.protected_files.length) {
+                            const changed = this._gitChangedFiles(root, preCommit);
+                            const hit = changed.find(f => (0, controlSpec_1.matchesAnyGlob)(f, spec.protected_files));
+                            if (hit) {
+                                this._cb?.log(`🛡️ verify gate: task touched protected file '${hit}' — discard+revert`);
+                                this._notifyDiscord(`🛡️ Reverted: task edited protected file \`${hit}\`:\n${discordLabel(task.text)}`);
+                                discardAndMoveOn(`touched protected file ${hit}`, 'protected file edited');
+                                await todoWriteManager_1.todoWriter.markDone(todoPath, task).catch(() => { });
+                                this._completedCount++;
+                                continue;
+                            }
+                        }
+                        // (c) run verify. GREEN → advance branch + keep. RED → re-dispatch a fix.
+                        const timeoutMs = spec.budget_seconds != null ? spec.budget_seconds * 1000 : 15 * 60_000;
+                        this._cb?.log(`🧪 verify: ${spec.verify.join(' && ')}`);
+                        const vr = (0, controlSpec_1.runVerify)(spec.verify, root, timeoutMs);
+                        if (vr.ok) {
+                            const deltaC = preCommit ? this._gitDeltaComplexity(root, preCommit) : '-';
+                            this._gitCommitAll(root, `autodev: ${discordLabel(task.text)}`);
+                            (0, journal_1.appendJournalRow)(root, { task: discordLabel(task.text), status: 'keep', outcome: 'verify green', deltaComplexity: deltaC });
+                            this._preTaskCommit.delete(gateKey);
+                            this._verifyMech.delete(gateKey);
+                            this._cb?.log('✅ verify GREEN — kept');
+                            // fall through to the unchanged completion path.
+                        }
+                        else {
+                            // RED — leave a fix hint and re-dispatch the SAME task. The top-of-loop
+                            // attempt ceiling (raised to the fix budget while the gate is active)
+                            // bounds retries and performs the final revert+discard on exhaustion.
+                            const mechUsed = this._verifyMech.get(gateKey) ?? 0;
+                            const mechanical = (0, controlSpec_1.isMechanicalFailure)(vr.output);
+                            let tier = 'fix';
+                            if (mechanical && mechUsed < spec.max_mechanical_fixes) {
+                                this._verifyMech.set(gateKey, mechUsed + 1);
+                                tier = 'mechanical-fix';
+                            }
+                            const errTail = vr.output.length > 2000 ? '…' + vr.output.slice(-2000) : vr.output;
+                            this._pendingFixHint = {
+                                key: gateKey,
+                                text: `⚠️ AUTOMATED VERIFY FAILED (exit ${vr.code}${vr.timedOut ? ', TIMED OUT' : ''}). Your change is NOT accepted until \`${spec.verify.join(' && ')}\` passes. Fix the failure shown below${tier === 'mechanical-fix' ? ' (this looks mechanical — a type/import/syntax error)' : ''}, then re-complete the SAME task.\n\n\`\`\`\n${errTail}\n\`\`\``,
+                            };
+                            await todoWriteManager_1.todoWriter.resetToTodo(todoPath, task).catch(() => { });
+                            this._cb?.log(`❌ verify RED (exit ${vr.code}) — re-dispatching ${tier}: ${task.text}`);
+                            this._notifyDiscord(`❌ Verify failed — retrying (${tier}):\n${discordLabel(task.text)}`);
+                            continue;
+                        }
+                    }
+                }
                 const duration = Math.round((Date.now() - taskStartTime) / 1000);
                 this._completedCount++;
                 this._autoCompactCounter++;
@@ -1767,6 +1961,8 @@ class TaskLoopRunner {
                 this._periodicMgr.increment(this._iterations, this._workspaceRoot);
                 this._compactedTaskLines.delete(task.line); // allow compact again if task re-appears
                 this._taskAttempts.delete(task.id ?? task.text); // task done — reset attempt counter
+                this._preTaskCommit.delete(task.id ?? task.text); // gate bookkeeping (no-op without CONTROL.md)
+                this._verifyMech.delete(task.id ?? task.text);
                 const afterTasks = (0, todo_1.parseTodo)(todoPath);
                 const afterRemaining = (0, todo_1.countRemaining)(afterTasks);
                 const totalKnown = this._iterations + afterRemaining;
@@ -1946,8 +2142,22 @@ class TaskLoopRunner {
                             }
                         }
                         else {
-                            const msgFile = (0, messageBuilder_1.writeMessageFile)(this._workspaceRoot, action.prompt);
-                            await this._cb.sendToAi(action.prompt, action.id, false, msgFile);
+                            // Deterministic pre-pass (if any): the extension does the mechanical
+                            // file-scan/index-maintenance and returns a compact digest that is
+                            // PREPENDED to the model prompt. Empty digest ⇒ prompt unchanged
+                            // (byte-identical to before for low-activity agents).
+                            let digest = '';
+                            if (action.preprocess && this._workspaceRoot) {
+                                try {
+                                    digest = action.preprocess(this._workspaceRoot) || '';
+                                }
+                                catch (ppErr) {
+                                    this._cb?.log(`⚠️ Periodic pre-pass '${action.id}' failed (non-fatal): ${ppErr instanceof Error ? ppErr.message : String(ppErr)}`);
+                                }
+                            }
+                            const finalPrompt = digest ? `${digest}\n\n${action.prompt}` : action.prompt;
+                            const msgFile = (0, messageBuilder_1.writeMessageFile)(this._workspaceRoot, finalPrompt);
+                            await this._cb.sendToAi(finalPrompt, action.id, false, msgFile);
                         }
                     }
                     catch (paErr) {