@orion-agents/orion-code 0.1.8 → 0.1.9

package/dist/harness/ledger.js

@@ -2,6 +2,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.ContextLedger = void 0;
 const crypto_1 = require("crypto");
+const verification_1 = require("./verification");
 function truncate(text, max = 900) {
     const normalized = text.replace(/\s+/g, ' ').trim();
     return normalized.length > max ? normalized.slice(0, max - 3) + '...' : normalized;
@@ -9,18 +10,25 @@ function truncate(text, max = 900) {
 function parseToolPayload(result) {
     try {
         const parsed = JSON.parse(result);
-        if (parsed && typeof parsed === 'object') {
+        if (parsed && typeof parsed === 'object' && !Array.isArray(parsed)) {
+            const record = parsed;
             return {
-                success: typeof parsed.success === 'boolean' ? parsed.success : undefined,
-                output: typeof parsed.output === 'string' ? parsed.output : undefined,
-                error: typeof parsed.error === 'string' ? parsed.error : undefined,
+                structured: typeof record.success === 'boolean',
+                success: typeof record.success === 'boolean' ? record.success : undefined,
+                output: typeof record.output === 'string' ? record.output : undefined,
+                error: typeof record.error === 'string' ? record.error : undefined,
+                exitCode: typeof record.exitCode === 'number' && Number.isInteger(record.exitCode)
+                    ? record.exitCode
+                    : undefined,
+                sourceSha: typeof record.sourceSha === 'string' ? record.sourceSha : undefined,
+                artifactHash: typeof record.artifactHash === 'string' ? record.artifactHash : undefined,
             };
         }
     }
     catch {
-        // Plain text tool output is still useful evidence.
+        // Plain text tool output remains useful context, but not proof of success.
     }
-    return { output: result };
+    return { structured: false, output: result };
 }
 function commandFromArgs(args) {
     return typeof args.command === 'string' ? args.command : undefined;
@@ -33,8 +41,13 @@ function pathFromArgs(args) {
     }
     return undefined;
 }
-function isVerificationCommand(command) {
-    return !!command && /\b(test|jest|vitest|tsc|lint|typecheck|build)\b/i.test(command);
+function cwdFromArgs(args) {
+    for (const key of ['cwd', 'workdir']) {
+        const value = args[key];
+        if (typeof value === 'string' && value)
+            return value;
+    }
+    return undefined;
 }
 class ContextLedger {
     constructor(entries = []) {
@@ -89,29 +102,46 @@ class ContextLedger {
         const parsed = parseToolPayload(params.result);
         const command = commandFromArgs(params.args);
         const path = pathFromArgs(params.args);
+        const cwd = cwdFromArgs(params.args);
         // Use summary when available to reduce evidence size
         const output = params.summary || parsed.error || params.error || parsed.output || params.result;
-        const isVerification = isVerificationCommand(command);
+        const verificationKind = (0, verification_1.classifyVerificationCommand)(command);
+        const isVerification = verificationKind !== 'generic';
+        const evidenceSuccess = parsed.structured
+            ? parsed.success === true && params.success === true
+            : undefined;
         const type = isVerification ? 'verification' : 'tool_result';
         const content = [
-            `${params.name}${params.success ? ' succeeded' : ' failed'} in ${params.duration}ms.`,
+            parsed.structured
+                ? `${params.name}${evidenceSuccess ? ' succeeded' : ' failed'} in ${params.duration}ms.`
+                : `${params.name} returned opaque output in ${params.duration}ms.`,
             command ? `Command: ${command}` : '',
             path ? `Path: ${path}` : '',
             output ? `Result: ${output}` : '',
-        ].filter(Boolean).join(' ');
+        ]
+            .filter(Boolean)
+            .join(' ');
         return this.add({
             type,
             content,
             source: { kind: isVerification ? 'test' : 'tool', ref: params.name },
-            importance: params.success ? (isVerification ? 5 : 3) : 4,
+            importance: evidenceSuccess ? (isVerification ? 5 : 3) : evidenceSuccess === false ? 4 : 3,
             ttl: isVerification ? 'task' : 'turn',
             metadata: {
                 toolName: params.name,
                 command,
+                cwd,
                 path,
-                success: params.success,
+                exitCode: parsed.exitCode ?? (isVerification && evidenceSuccess === true ? 0 : undefined),
+                sourceSha: parsed.sourceSha,
+                artifactHash: parsed.artifactHash,
+                recordedAt: Date.now(),
+                freshness: 'current_run',
+                verificationKind,
+                success: evidenceSuccess,
+                resultTrust: parsed.structured ? 'structured' : 'opaque',
                 error: params.error || parsed.error,
-                changedFile: params.success && /write|edit|patch/i.test(params.name) ? path : undefined,
+                changedFile: evidenceSuccess && /write|edit|patch/i.test(params.name) ? path : undefined,
             },
         });
     }

package/dist/harness/ledger.js.map

@@ -1 +1 @@
-{"version":3,"file":"ledger.js","sourceRoot":"","sources":["../../src/harness/ledger.ts"],"names":[],"mappings":";;;AAAA,mCAAoC;AAYpC,SAAS,QAAQ,CAAC,IAAY,EAAE,GAAG,GAAG,GAAG;IACvC,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACpD,OAAO,UAAU,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC;AACrF,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAc;IACtC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;YACzC,OAAO;gBACL,OAAO,EAAE,OAAO,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;gBACzE,MAAM,EAAE,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;gBACrE,KAAK,EAAE,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;aACnE,CAAC;QACJ,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,mDAAmD;IACrD,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AAC5B,CAAC;AAED,SAAS,eAAe,CAAC,IAA6B;IACpD,OAAO,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;AACrE,CAAC;AAED,SAAS,YAAY,CAAC,IAA6B;IACjD,KAAK,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,CAAC,EAAE,CAAC;QAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACxB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;IACvD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,qBAAqB,CAAC,OAA2B;IACxD,OAAO,CAAC,CAAC,OAAO,IAAI,kDAAkD,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AACvF,CAAC;AAED,MAAa,aAAa;IAIxB,YAAY,UAAgC,EAAE;QAC5C,IAAI,CAAC,OAAO,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;IAC9B,CAAC;IAED,GAAG,CAAC,KAA0B;QAC5B,MAAM,KAAK,GAAuB;YAChC,EAAE,EAAE,IAAA,mBAAU,GAAE;YAChB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC;YAChC,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,UAAU,EAAE,KAAK,CAAC,UAAU,IAAI,CAAC;YACjC,GAAG,EAAE,KAAK,CAAC,GAAG,IAAI,MAAM;YACxB,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;YACrB,QAAQ,EAAE,KAAK,CAAC,QAAQ;SACzB,CAAC;QACF,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,oEAAoE;QACpE,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,aAAa,CAAC,WAAW,EAAE,CAAC;YACpD,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;YAC1G,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;YAClF,wEAAwE;YACxE,uEAAuE;YACvE,wEAAwE;YACxE,mEAAmE;YACnE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACnD,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,qBAAqB,CAAC,OAAe;QACnC,OAAO,IAAI,CAAC,GAAG,CAAC;YACd,IAAI,EAAE,kBAAkB;YACxB,OAAO;YACP,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;YACxB,UAAU,EAAE,CAAC;YACb,GAAG,EAAE,MAAM;SACZ,CAAC,CAAC;IACL,CAAC;IAED,uBAAuB,CAAC,OAAe;QACrC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE;YAAE,OAAO,IAAI,CAAC;QACjC,OAAO,IAAI,CAAC,GAAG,CAAC;YACd,IAAI,EAAE,UAAU;YAChB,OAAO;YACP,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;YACzB,UAAU,EAAE,CAAC;YACb,GAAG,EAAE,MAAM;SACZ,CAAC,CAAC;IACL,CAAC;IAED,gBAAgB,CAAC,MAQhB;QACC,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC/C,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACvC,qDAAqD;QACrD,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC;QAChG,MAAM,cAAc,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;QACtD,MAAM,IAAI,GAAoB,cAAc,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,aAAa,CAAC;QAC9E,MAAM,OAAO,GAAG;YACd,GAAG,MAAM,CAAC,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,OAAO,MAAM,CAAC,QAAQ,KAAK;YACrF,OAAO,CAAC,CAAC,CAAC,YAAY,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE;YACpC,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE;YAC3B,MAAM,CAAC,CAAC,CAAC,WAAW,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE;SAClC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAE5B,OAAO,IAAI,CAAC,GAAG,CAAC;YACd,IAAI;YACJ,OAAO;YACP,MAAM,EAAE,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE;YACpE,UAAU,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACzD,GAAG,EAAE,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;YACrC,QAAQ,EAAE;gBACR,QAAQ,EAAE,MAAM,CAAC,IAAI;gBACrB,OAAO;gBACP,IAAI;gBACJ,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK;gBACnC,WAAW,EAAE,MAAM,CAAC,OAAO,IAAI,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;aACxF;SACF,CAAC,CAAC;IACL,CAAC;IAED,UAAU;QACR,OAAO,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3B,CAAC;IAED,YAAY,CAAC,KAAK,GAAG,EAAE;QACrB,OAAO,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;aACrB,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC;aACxE,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACrB,CAAC;IAED,SAAS,CAAC,IAAqB;QAC7B,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAC3D,CAAC;IAED,MAAM;QACJ,OAAO,IAAI,CAAC,UAAU,EAAE,CAAC;IAC3B,CAAC;;AA/GH,sCAgHC;AA/GiB,yBAAW,GAAG,GAAG,CAAC"}
+{"version":3,"file":"ledger.js","sourceRoot":"","sources":["../../src/harness/ledger.ts"],"names":[],"mappings":";;;AAAA,mCAAoC;AAEpC,iDAA6D;AAW7D,SAAS,QAAQ,CAAC,IAAY,EAAE,GAAG,GAAG,GAAG;IACvC,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACpD,OAAO,UAAU,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC;AACrF,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAc;IAStC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAY,CAAC;QAC7C,IAAI,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YACnE,MAAM,MAAM,GAAG,MAAiC,CAAC;YACjD,OAAO;gBACL,UAAU,EAAE,OAAO,MAAM,CAAC,OAAO,KAAK,SAAS;gBAC/C,OAAO,EAAE,OAAO,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;gBACzE,MAAM,EAAE,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;gBACrE,KAAK,EAAE,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;gBAClE,QAAQ,EACN,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC;oBACtE,CAAC,CAAC,MAAM,CAAC,QAAQ;oBACjB,CAAC,CAAC,SAAS;gBACf,SAAS,EAAE,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;gBAC9E,YAAY,EAAE,OAAO,MAAM,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS;aACxF,CAAC;QACJ,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,2EAA2E;IAC7E,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AAC/C,CAAC;AAED,SAAS,eAAe,CAAC,IAA6B;IACpD,OAAO,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;AACrE,CAAC;AAED,SAAS,YAAY,CAAC,IAA6B;IACjD,KAAK,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,CAAC,EAAE,CAAC;QAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACxB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;IACvD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,WAAW,CAAC,IAA6B;IAChD,KAAK,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACxB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;IACvD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAa,aAAa;IAIxB,YAAY,UAAgC,EAAE;QAC5C,IAAI,CAAC,OAAO,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;IAC9B,CAAC;IAED,GAAG,CAAC,KAA0B;QAC5B,MAAM,KAAK,GAAuB;YAChC,EAAE,EAAE,IAAA,mBAAU,GAAE;YAChB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC;YAChC,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,UAAU,EAAE,KAAK,CAAC,UAAU,IAAI,CAAC;YACjC,GAAG,EAAE,KAAK,CAAC,GAAG,IAAI,MAAM;YACxB,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;YACrB,QAAQ,EAAE,KAAK,CAAC,QAAQ;SACzB,CAAC;QACF,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,oEAAoE;QACpE,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,aAAa,CAAC,WAAW,EAAE,CAAC;YACpD,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CACnC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CACnE,CAAC;YACF,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;YAClF,wEAAwE;YACxE,uEAAuE;YACvE,wEAAwE;YACxE,mEAAmE;YACnE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACnD,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,qBAAqB,CAAC,OAAe;QACnC,OAAO,IAAI,CAAC,GAAG,CAAC;YACd,IAAI,EAAE,kBAAkB;YACxB,OAAO;YACP,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;YACxB,UAAU,EAAE,CAAC;YACb,GAAG,EAAE,MAAM;SACZ,CAAC,CAAC;IACL,CAAC;IAED,uBAAuB,CAAC,OAAe;QACrC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE;YAAE,OAAO,IAAI,CAAC;QACjC,OAAO,IAAI,CAAC,GAAG,CAAC;YACd,IAAI,EAAE,UAAU;YAChB,OAAO;YACP,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;YACzB,UAAU,EAAE,CAAC;YACb,GAAG,EAAE,MAAM;SACZ,CAAC,CAAC;IACL,CAAC;IAED,gBAAgB,CAAC,MAQhB;QACC,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC/C,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,GAAG,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACrC,qDAAqD;QACrD,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC;QAChG,MAAM,gBAAgB,GAAG,IAAA,0CAA2B,EAAC,OAAO,CAAC,CAAC;QAC9D,MAAM,cAAc,GAAG,gBAAgB,KAAK,SAAS,CAAC;QACtD,MAAM,eAAe,GAAG,MAAM,CAAC,UAAU;YACvC,CAAC,CAAC,MAAM,CAAC,OAAO,KAAK,IAAI,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI;YACpD,CAAC,CAAC,SAAS,CAAC;QACd,MAAM,IAAI,GAAoB,cAAc,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,aAAa,CAAC;QAC9E,MAAM,OAAO,GAAG;YACd,MAAM,CAAC,UAAU;gBACf,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,GAAG,eAAe,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,OAAO,MAAM,CAAC,QAAQ,KAAK;gBACxF,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,8BAA8B,MAAM,CAAC,QAAQ,KAAK;YACpE,OAAO,CAAC,CAAC,CAAC,YAAY,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE;YACpC,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE;YAC3B,MAAM,CAAC,CAAC,CAAC,WAAW,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE;SAClC;aACE,MAAM,CAAC,OAAO,CAAC;aACf,IAAI,CAAC,GAAG,CAAC,CAAC;QAEb,OAAO,IAAI,CAAC,GAAG,CAAC;YACd,IAAI;YACJ,OAAO;YACP,MAAM,EAAE,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE;YACpE,UAAU,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1F,GAAG,EAAE,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;YACrC,QAAQ,EAAE;gBACR,QAAQ,EAAE,MAAM,CAAC,IAAI;gBACrB,OAAO;gBACP,GAAG;gBACH,IAAI;gBACJ,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,CAAC,cAAc,IAAI,eAAe,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBACzF,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,YAAY,EAAE,MAAM,CAAC,YAAY;gBACjC,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE;gBACtB,SAAS,EAAE,aAAa;gBACxB,gBAAgB;gBAChB,OAAO,EAAE,eAAe;gBACxB,WAAW,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ;gBACxD,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK;gBACnC,WAAW,EAAE,eAAe,IAAI,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;aACzF;SACF,CAAC,CAAC;IACL,CAAC;IAED,UAAU;QACR,OAAO,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3B,CAAC;IAED,YAAY,CAAC,KAAK,GAAG,EAAE;QACrB,OAAO,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;aACrB,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC;aACxE,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACrB,CAAC;IAED,SAAS,CAAC,IAAqB;QAC7B,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAC3D,CAAC;IAED,MAAM;QACJ,OAAO,IAAI,CAAC,UAAU,EAAE,CAAC;IAC3B,CAAC;;AAlIH,sCAmIC;AAlIiB,yBAAW,GAAG,GAAG,CAAC"}

package/dist/harness/progress-controller.d.ts

@@ -0,0 +1,14 @@
+import type { ContextLedgerEntry, HarnessProgressState, ProgressDelta, TaskContract } from './types';
+/** Harness-owned deterministic progress tracker used by all completion adapters. */
+export declare class ProgressController {
+    private state;
+    constructor(state?: HarnessProgressState);
+    observe(params: {
+        contract?: TaskContract;
+        ledger: ContextLedgerEntry[];
+        diagnostics?: string[];
+        now?: number;
+    }): ProgressDelta;
+    toJSON(): HarnessProgressState;
+}
+//# sourceMappingURL=progress-controller.d.ts.map

package/dist/harness/progress-controller.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"progress-controller.d.ts","sourceRoot":"","sources":["../../src/harness/progress-controller.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,kBAAkB,EAClB,oBAAoB,EACpB,aAAa,EAEb,YAAY,EAEb,MAAM,SAAS,CAAC;AA2FjB,oFAAoF;AACpF,qBAAa,kBAAkB;IAC7B,OAAO,CAAC,KAAK,CAAuB;gBAExB,KAAK,CAAC,EAAE,oBAAoB;IAIxC,OAAO,CAAC,MAAM,EAAE;QACd,QAAQ,CAAC,EAAE,YAAY,CAAC;QACxB,MAAM,EAAE,kBAAkB,EAAE,CAAC;QAC7B,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;QACvB,GAAG,CAAC,EAAE,MAAM,CAAC;KACd,GAAG,aAAa;IAiCjB,MAAM,IAAI,oBAAoB;CAG/B"}

package/dist/harness/progress-controller.js

@@ -0,0 +1,110 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ProgressController = void 0;
+const crypto_1 = require("crypto");
+function unique(values) {
+    return [
+        ...new Set(values.filter((value) => !!value?.trim()).map(value => value.trim())),
+    ].sort();
+}
+function metadataString(entry, key) {
+    const value = entry.metadata?.[key];
+    return typeof value === 'string' && value.trim() ? value.trim() : undefined;
+}
+function canonicalHash(value) {
+    return (0, crypto_1.createHash)('sha256').update(JSON.stringify(value), 'utf8').digest('hex');
+}
+function criterionStates(contract) {
+    return (contract?.criteria ?? [])
+        .map(criterion => ({
+        id: criterion.id,
+        status: (criterion.status ?? 'pending'),
+    }))
+        .sort((left, right) => left.id.localeCompare(right.id));
+}
+function latestToolSignature(ledger) {
+    const entry = [...ledger]
+        .reverse()
+        .find(item => item.type === 'tool_result' || item.type === 'verification');
+    if (!entry)
+        return undefined;
+    return canonicalHash({
+        toolName: metadataString(entry, 'toolName'),
+        command: metadataString(entry, 'command'),
+        path: metadataString(entry, 'path'),
+        success: entry.metadata?.success,
+        error: metadataString(entry, 'error'),
+    });
+}
+function buildSnapshot(params) {
+    const states = criterionStates(params.contract);
+    const evidenceRefs = unique(params.ledger
+        .filter(entry => (entry.type === 'verification' || entry.type === 'test_result') &&
+        entry.metadata?.resultTrust === 'structured')
+        .map(entry => entry.id));
+    const changedFiles = unique(params.ledger.map(entry => metadataString(entry, 'changedFile') ?? metadataString(entry, 'path')));
+    const decisions = unique(params.ledger.filter(entry => entry.type === 'decision').map(entry => entry.content)).slice(-20);
+    const blockers = unique(params.ledger
+        .filter(entry => entry.type === 'blocker' || entry.type === 'risk')
+        .map(entry => entry.content)).slice(-20);
+    const diagnostics = unique(params.diagnostics).slice(-20);
+    const toolSignature = latestToolSignature(params.ledger);
+    const workspaceStateHash = canonicalHash(changedFiles);
+    const material = {
+        criterionStates: states,
+        evidenceRefs,
+        changedFiles,
+        decisions,
+        blockers,
+        diagnostics,
+        toolSignature,
+        workspaceStateHash,
+    };
+    return { fingerprint: canonicalHash(material), ...material };
+}
+function difference(current, previous) {
+    const before = new Set(previous);
+    return current.filter(item => !before.has(item));
+}
+/** Harness-owned deterministic progress tracker used by all completion adapters. */
+class ProgressController {
+    constructor(state) {
+        this.state = state?.schemaVersion === 1 ? structuredClone(state) : { schemaVersion: 1 };
+    }
+    observe(params) {
+        const snapshot = buildSnapshot({
+            contract: params.contract,
+            ledger: params.ledger,
+            diagnostics: params.diagnostics ?? [],
+        });
+        const previous = this.state.snapshot;
+        const previousStates = new Map(previous?.criterionStates.map(item => [item.id, item.status]));
+        const criterionChanges = snapshot.criterionStates
+            .filter(item => previousStates?.get(item.id) !== item.status)
+            .map(item => ({ id: item.id, from: previousStates?.get(item.id), to: item.status }));
+        const repeatedSignatureCount = previous?.fingerprint === snapshot.fingerprint
+            ? (this.state.lastDelta?.repeatedSignatureCount ?? 0) + 1
+            : 0;
+        const delta = {
+            schemaVersion: 1,
+            changed: previous === undefined || previous.fingerprint !== snapshot.fingerprint,
+            criterionChanges,
+            newEvidenceRefs: difference(snapshot.evidenceRefs, previous?.evidenceRefs ?? []),
+            newChangedFiles: difference(snapshot.changedFiles, previous?.changedFiles ?? []),
+            newDecisions: difference(snapshot.decisions, previous?.decisions ?? []),
+            newBlockers: difference(snapshot.blockers, previous?.blockers ?? []),
+            newDiagnostics: difference(snapshot.diagnostics, previous?.diagnostics ?? []),
+            toolSignature: snapshot.toolSignature,
+            workspaceStateHash: snapshot.workspaceStateHash,
+            repeatedSignatureCount,
+            recordedAt: params.now ?? Date.now(),
+        };
+        this.state = { schemaVersion: 1, snapshot, lastDelta: delta };
+        return structuredClone(delta);
+    }
+    toJSON() {
+        return structuredClone(this.state);
+    }
+}
+exports.ProgressController = ProgressController;
+//# sourceMappingURL=progress-controller.js.map

package/dist/harness/progress-controller.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"progress-controller.js","sourceRoot":"","sources":["../../src/harness/progress-controller.ts"],"names":[],"mappings":";;;AAAA,mCAAoC;AAUpC,SAAS,MAAM,CAAC,MAAiC;IAC/C,OAAO;QACL,GAAG,IAAI,GAAG,CACR,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CACtF;KACF,CAAC,IAAI,EAAE,CAAC;AACX,CAAC;AAED,SAAS,cAAc,CAAC,KAAyB,EAAE,GAAW;IAC5D,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC;IACpC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AAC9E,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,IAAA,mBAAU,EAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAClF,CAAC;AAED,SAAS,eAAe,CAAC,QAAkC;IACzD,OAAO,CAAC,QAAQ,EAAE,QAAQ,IAAI,EAAE,CAAC;SAC9B,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACjB,EAAE,EAAE,SAAS,CAAC,EAAE;QAChB,MAAM,EAAE,CAAC,SAAS,CAAC,MAAM,IAAI,SAAS,CAAwB;KAC/D,CAAC,CAAC;SACF,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,mBAAmB,CAAC,MAA4B;IACvD,MAAM,KAAK,GAAG,CAAC,GAAG,MAAM,CAAC;SACtB,OAAO,EAAE;SACT,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC;IAC7E,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,OAAO,aAAa,CAAC;QACnB,QAAQ,EAAE,cAAc,CAAC,KAAK,EAAE,UAAU,CAAC;QAC3C,OAAO,EAAE,cAAc,CAAC,KAAK,EAAE,SAAS,CAAC;QACzC,IAAI,EAAE,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC;QACnC,OAAO,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO;QAChC,KAAK,EAAE,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC;KACtC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa,CAAC,MAItB;IACC,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAChD,MAAM,YAAY,GAAG,MAAM,CACzB,MAAM,CAAC,MAAM;SACV,MAAM,CACL,KAAK,CAAC,EAAE,CACN,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,CAAC;QAC/D,KAAK,CAAC,QAAQ,EAAE,WAAW,KAAK,YAAY,CAC/C;SACA,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAC1B,CAAC;IACF,MAAM,YAAY,GAAG,MAAM,CACzB,MAAM,CAAC,MAAM,CAAC,GAAG,CACf,KAAK,CAAC,EAAE,CAAC,cAAc,CAAC,KAAK,EAAE,aAAa,CAAC,IAAI,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,CAC/E,CACF,CAAC;IACF,MAAM,SAAS,GAAG,MAAM,CACtB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CACrF,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;IACb,MAAM,QAAQ,GAAG,MAAM,CACrB,MAAM,CAAC,MAAM;SACV,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC;SAClE,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAC/B,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;IACb,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;IAC1D,MAAM,aAAa,GAAG,mBAAmB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACzD,MAAM,kBAAkB,GAAG,aAAa,CAAC,YAAY,CAAC,CAAC;IACvD,MAAM,QAAQ,GAAG;QACf,eAAe,EAAE,MAAM;QACvB,YAAY;QACZ,YAAY;QACZ,SAAS;QACT,QAAQ;QACR,WAAW;QACX,aAAa;QACb,kBAAkB;KACnB,CAAC;IACF,OAAO,EAAE,WAAW,EAAE,aAAa,CAAC,QAAQ,CAAC,EAAE,GAAG,QAAQ,EAAE,CAAC;AAC/D,CAAC;AAED,SAAS,UAAU,CAAC,OAAiB,EAAE,QAAkB;IACvD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;IACjC,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;AACnD,CAAC;AAED,oFAAoF;AACpF,MAAa,kBAAkB;IAG7B,YAAY,KAA4B;QACtC,IAAI,CAAC,KAAK,GAAG,KAAK,EAAE,aAAa,KAAK,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;IAC1F,CAAC;IAED,OAAO,CAAC,MAKP;QACC,MAAM,QAAQ,GAAG,aAAa,CAAC;YAC7B,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,WAAW,EAAE,MAAM,CAAC,WAAW,IAAI,EAAE;SACtC,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC;QACrC,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,QAAQ,EAAE,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC9F,MAAM,gBAAgB,GAAG,QAAQ,CAAC,eAAe;aAC9C,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC;aAC5D,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACvF,MAAM,sBAAsB,GAC1B,QAAQ,EAAE,WAAW,KAAK,QAAQ,CAAC,WAAW;YAC5C,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,sBAAsB,IAAI,CAAC,CAAC,GAAG,CAAC;YACzD,CAAC,CAAC,CAAC,CAAC;QACR,MAAM,KAAK,GAAkB;YAC3B,aAAa,EAAE,CAAC;YAChB,OAAO,EAAE,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,WAAW,KAAK,QAAQ,CAAC,WAAW;YAChF,gBAAgB;YAChB,eAAe,EAAE,UAAU,CAAC,QAAQ,CAAC,YAAY,EAAE,QAAQ,EAAE,YAAY,IAAI,EAAE,CAAC;YAChF,eAAe,EAAE,UAAU,CAAC,QAAQ,CAAC,YAAY,EAAE,QAAQ,EAAE,YAAY,IAAI,EAAE,CAAC;YAChF,YAAY,EAAE,UAAU,CAAC,QAAQ,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,IAAI,EAAE,CAAC;YACvE,WAAW,EAAE,UAAU,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,IAAI,EAAE,CAAC;YACpE,cAAc,EAAE,UAAU,CAAC,QAAQ,CAAC,WAAW,EAAE,QAAQ,EAAE,WAAW,IAAI,EAAE,CAAC;YAC7E,aAAa,EAAE,QAAQ,CAAC,aAAa;YACrC,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB;YAC/C,sBAAsB;YACtB,UAAU,EAAE,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE;SACrC,CAAC;QACF,IAAI,CAAC,KAAK,GAAG,EAAE,aAAa,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;QAC9D,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IAED,MAAM;QACJ,OAAO,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC;CACF;AAhDD,gDAgDC"}

package/dist/harness/state.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../../src/harness/state.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAE5C,UAAU,iBAAiB;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB;AAuBD,wBAAgB,mBAAmB,CACjC,KAAK,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,GAAG,IAAI,EACpC,OAAO,GAAE;IAAE,GAAG,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,iBAAiB,EAAE,CAAA;CAAO,GAC7D,YAAY,CA2Fd;AAED,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,YAAY,GAAG,YAAY,CAU9E"}
+{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../../src/harness/state.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAE5C,UAAU,iBAAiB;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB;AAuBD,wBAAgB,mBAAmB,CACjC,KAAK,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,GAAG,IAAI,EACpC,OAAO,GAAE;IAAE,GAAG,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,iBAAiB,EAAE,CAAA;CAAO,GAC7D,YAAY,CA8Fd;AAED,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,YAAY,GAAG,YAAY,CAU9E"}

package/dist/harness/state.js

@@ -46,7 +46,7 @@ function upgradeHarnessState(state, options = {}) {
     const rootObjective = explicitObjective ??
         state?.rootObjective ??
         contract?.objective ??
-        (firstUser ? firstUser.trim().slice(0, 180) : undefined);
+        (firstUser ? firstUser.trim().replace(/\s+/g, ' ') : undefined);
     const activeInstruction = state?.activeInstruction ?? contract?.userIntent ?? lastUser ?? rootObjective;
     const turnSummaries = state?.turnSummaries ?? [];
     const evidenceIndex = (0, evidence_1.buildEvidenceIndex)({
@@ -96,6 +96,9 @@ function upgradeHarnessState(state, options = {}) {
         turnSummaries,
         promptAssemblyStats: state?.promptAssemblyStats,
         diagnostics: unique(diagnostics).slice(-20),
+        progressState: state?.progressState,
+        capabilityProfile: state?.capabilityProfile,
+        capabilityHistory: state?.capabilityHistory?.slice(-10),
         reconciledAt: options.messages ? now : state?.reconciledAt,
         updatedAt: state?.updatedAt ?? now,
     };
@@ -108,7 +111,7 @@ function summarizeHarnessStateForMeta(state) {
         evidenceIndex: upgraded.evidenceIndex?.slice(0, 30),
         intentHistory: upgraded.intentHistory?.slice(-10),
         turnSummaries: upgraded.turnSummaries?.slice(-10),
-        updatedAt: Date.now(),
+        updatedAt: upgraded.updatedAt,
     };
 }
 //# sourceMappingURL=state.js.map

package/dist/harness/state.js.map

@@ -1 +1 @@
-{"version":3,"file":"state.js","sourceRoot":"","sources":["../../src/harness/state.ts"],"names":[],"mappings":";;AA+BA,kDA8FC;AAED,oEAUC;AAzID,uCAA0E;AAC1E,yCAAiG;AACjG,yCAAgD;AAQhD,SAAS,MAAM,CAAC,KAAe;IAC7B,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,qBAAqB,CAAC,QAA8B;IAC3D,MAAM,KAAK,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC;SAC3B,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;SACpE,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,mBAAmB,CAAC,CAAC;SACnE,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,+BAA+B,CAAC,CAAC;SAC/E,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,oBAAoB,CAAC,CAAC,CAAC;IACxE,OAAO,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC;AAC1C,CAAC;AAED,SAAS,oBAAoB,CAAC,QAA8B;IAC1D,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC;SACpB,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;SACpE,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,mBAAmB,CAAC,CAAC;SACnE,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,+BAA+B,CAAC,CAAC;SAC/E,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC;AACtF,CAAC;AAED,SAAgB,mBAAmB,CACjC,KAAoC,EACpC,UAA4D,EAAE;IAE9D,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACvB,MAAM,MAAM,GAAG,KAAK,EAAE,MAAM,IAAI,EAAE,CAAC;IACnC,MAAM,WAAW,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,WAAW,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CACxD,OAAO,CAAC,EAAE,CACR,OAAO;QACL,iGAAiG;QACnG,OAAO;YACL,4GAA4G,CACjH,CAAC;IACF,MAAM,SAAS,GAAG,oBAAoB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACzD,MAAM,QAAQ,GAAG,qBAAqB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACzD,MAAM,iBAAiB,GAAG,SAAS,CAAC,CAAC,CAAC,IAAA,mCAAwB,EAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtF,MAAM,cAAc,GAAG,KAAK,EAAE,QAAQ;QACpC,CAAC,CAAC;YACE,GAAG,KAAK,CAAC,QAAQ;YACjB,SAAS,EAAE,iBAAiB,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS;SACzD;QACH,CAAC,CAAC,SAAS;YACT,CAAC,CAAC,IAAA,6BAAkB,EAAC,SAAS,EAAE,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;YAC7D,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,CAAC,IAAA,gCAAqB,EAAC,cAAc,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACpF,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,MAAM,aAAa,GACjB,iBAAiB;QACjB,KAAK,EAAE,aAAa;QACpB,QAAQ,EAAE,SAAS;QACnB,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAC3D,MAAM,iBAAiB,GACrB,KAAK,EAAE,iBAAiB,IAAI,QAAQ,EAAE,UAAU,IAAI,QAAQ,IAAI,aAAa,CAAC;IAChF,MAAM,aAAa,GAAG,KAAK,EAAE,aAAa,IAAI,EAAE,CAAC;IACjD,MAAM,aAAa,GAAG,IAAA,6BAAkB,EAAC;QACvC,MAAM;QACN,aAAa;QACb,QAAQ,EAAE,KAAK,EAAE,aAAa;KAC/B,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,KAAK,EAAE,OAAO;QAC5B,CAAC,CAAC,IAAA,iCAAuB,EAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC;QAClD,CAAC,CAAC,QAAQ,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAC7B,CAAC,CAAC,IAAA,8BAAoB,EAAC,QAAQ,EAAE,MAAM,CAAC;YACxC,CAAC,CAAC,SAAS,CAAC;IAEhB,IAAI,KAAK,IAAI,KAAK,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;QACjC,WAAW,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;IAC1D,CAAC;IACD,IACE,QAAQ;QACR,iBAAiB;QACjB,QAAQ,KAAK,iBAAiB;QAC9B,CAAC,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,CAAC;QACrC,CAAC,iBAAiB,CAAC,QAAQ,CAAC,QAAQ,CAAC,EACrC,CAAC;QACD,WAAW,CAAC,IAAI,CACd,iGAAiG,CAClG,CAAC;IACJ,CAAC;IACD,IACE,CAAC,iBAAiB;QAClB,aAAa;QACb,SAAS;QACT,CAAC,SAAS,CAAC,QAAQ,CAAC,aAAa,CAAC;QAClC,CAAC,aAAa,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAC/C,CAAC;QACD,WAAW,CAAC,IAAI,CACd,4GAA4G,CAC7G,CAAC;IACJ,CAAC;IAED,OAAO;QACL,OAAO,EAAE,CAAC;QACV,QAAQ;QACR,MAAM;QACN,OAAO;QACP,oBAAoB,EAAE,KAAK,EAAE,oBAAoB,IAAI,CAAC;QACtD,SAAS;QACT,aAAa;QACb,iBAAiB;QACjB,aAAa,EAAE,KAAK,EAAE,aAAa,IAAI,EAAE;QACzC,iBAAiB,EAAE,MAAM,CAAC;YACxB,GAAG,CAAC,KAAK,EAAE,iBAAiB,IAAI,EAAE,CAAC;YACnC,GAAG,CAAC,QAAQ,EAAE,WAAW,IAAI,EAAE,CAAC;SACjC,CAAC;QACF,QAAQ,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,YAAY,IAAI,EAAE,CAAC,CAAC,CAAC;QACjF,aAAa,EAAE,KAAK,EAAE,aAAa,IAAI,EAAE;QACzC,aAAa;QACb,aAAa;QACb,mBAAmB,EAAE,KAAK,EAAE,mBAAmB;QAC/C,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC3C,YAAY,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,YAAY;QAC1D,SAAS,EAAE,KAAK,EAAE,SAAS,IAAI,GAAG;KACnC,CAAC;AACJ,CAAC;AAED,SAAgB,4BAA4B,CAAC,KAAmB;IAC9D,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC5C,OAAO;QACL,GAAG,QAAQ;QACX,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAClC,aAAa,EAAE,QAAQ,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;QACnD,aAAa,EAAE,QAAQ,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;QACjD,aAAa,EAAE,QAAQ,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;QACjD,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;KACtB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../../src/harness/state.ts"],"names":[],"mappings":";;AA+BA,kDAiGC;AAED,oEAUC;AA5ID,uCAA0E;AAC1E,yCAAiG;AACjG,yCAAgD;AAQhD,SAAS,MAAM,CAAC,KAAe;IAC7B,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,qBAAqB,CAAC,QAA8B;IAC3D,MAAM,KAAK,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC;SAC3B,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;SACpE,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,mBAAmB,CAAC,CAAC;SACnE,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,+BAA+B,CAAC,CAAC;SAC/E,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,oBAAoB,CAAC,CAAC,CAAC;IACxE,OAAO,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC;AAC1C,CAAC;AAED,SAAS,oBAAoB,CAAC,QAA8B;IAC1D,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC;SACpB,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;SACpE,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,mBAAmB,CAAC,CAAC;SACnE,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,+BAA+B,CAAC,CAAC;SAC/E,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC;AACtF,CAAC;AAED,SAAgB,mBAAmB,CACjC,KAAoC,EACpC,UAA4D,EAAE;IAE9D,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACvB,MAAM,MAAM,GAAG,KAAK,EAAE,MAAM,IAAI,EAAE,CAAC;IACnC,MAAM,WAAW,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,WAAW,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CACxD,OAAO,CAAC,EAAE,CACR,OAAO;QACL,iGAAiG;QACnG,OAAO;YACL,4GAA4G,CACjH,CAAC;IACF,MAAM,SAAS,GAAG,oBAAoB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACzD,MAAM,QAAQ,GAAG,qBAAqB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACzD,MAAM,iBAAiB,GAAG,SAAS,CAAC,CAAC,CAAC,IAAA,mCAAwB,EAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtF,MAAM,cAAc,GAAG,KAAK,EAAE,QAAQ;QACpC,CAAC,CAAC;YACE,GAAG,KAAK,CAAC,QAAQ;YACjB,SAAS,EAAE,iBAAiB,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS;SACzD;QACH,CAAC,CAAC,SAAS;YACT,CAAC,CAAC,IAAA,6BAAkB,EAAC,SAAS,EAAE,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;YAC7D,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,CAAC,IAAA,gCAAqB,EAAC,cAAc,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACpF,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,MAAM,aAAa,GACjB,iBAAiB;QACjB,KAAK,EAAE,aAAa;QACpB,QAAQ,EAAE,SAAS;QACnB,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAClE,MAAM,iBAAiB,GACrB,KAAK,EAAE,iBAAiB,IAAI,QAAQ,EAAE,UAAU,IAAI,QAAQ,IAAI,aAAa,CAAC;IAChF,MAAM,aAAa,GAAG,KAAK,EAAE,aAAa,IAAI,EAAE,CAAC;IACjD,MAAM,aAAa,GAAG,IAAA,6BAAkB,EAAC;QACvC,MAAM;QACN,aAAa;QACb,QAAQ,EAAE,KAAK,EAAE,aAAa;KAC/B,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,KAAK,EAAE,OAAO;QAC5B,CAAC,CAAC,IAAA,iCAAuB,EAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC;QAClD,CAAC,CAAC,QAAQ,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAC7B,CAAC,CAAC,IAAA,8BAAoB,EAAC,QAAQ,EAAE,MAAM,CAAC;YACxC,CAAC,CAAC,SAAS,CAAC;IAEhB,IAAI,KAAK,IAAI,KAAK,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;QACjC,WAAW,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;IAC1D,CAAC;IACD,IACE,QAAQ;QACR,iBAAiB;QACjB,QAAQ,KAAK,iBAAiB;QAC9B,CAAC,QAAQ,CAAC,QAAQ,CAAC,iBAAiB,CAAC;QACrC,CAAC,iBAAiB,CAAC,QAAQ,CAAC,QAAQ,CAAC,EACrC,CAAC;QACD,WAAW,CAAC,IAAI,CACd,iGAAiG,CAClG,CAAC;IACJ,CAAC;IACD,IACE,CAAC,iBAAiB;QAClB,aAAa;QACb,SAAS;QACT,CAAC,SAAS,CAAC,QAAQ,CAAC,aAAa,CAAC;QAClC,CAAC,aAAa,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAC/C,CAAC;QACD,WAAW,CAAC,IAAI,CACd,4GAA4G,CAC7G,CAAC;IACJ,CAAC;IAED,OAAO;QACL,OAAO,EAAE,CAAC;QACV,QAAQ;QACR,MAAM;QACN,OAAO;QACP,oBAAoB,EAAE,KAAK,EAAE,oBAAoB,IAAI,CAAC;QACtD,SAAS;QACT,aAAa;QACb,iBAAiB;QACjB,aAAa,EAAE,KAAK,EAAE,aAAa,IAAI,EAAE;QACzC,iBAAiB,EAAE,MAAM,CAAC;YACxB,GAAG,CAAC,KAAK,EAAE,iBAAiB,IAAI,EAAE,CAAC;YACnC,GAAG,CAAC,QAAQ,EAAE,WAAW,IAAI,EAAE,CAAC;SACjC,CAAC;QACF,QAAQ,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,YAAY,IAAI,EAAE,CAAC,CAAC,CAAC;QACjF,aAAa,EAAE,KAAK,EAAE,aAAa,IAAI,EAAE;QACzC,aAAa;QACb,aAAa;QACb,mBAAmB,EAAE,KAAK,EAAE,mBAAmB;QAC/C,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC3C,aAAa,EAAE,KAAK,EAAE,aAAa;QACnC,iBAAiB,EAAE,KAAK,EAAE,iBAAiB;QAC3C,iBAAiB,EAAE,KAAK,EAAE,iBAAiB,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;QACvD,YAAY,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,YAAY;QAC1D,SAAS,EAAE,KAAK,EAAE,SAAS,IAAI,GAAG;KACnC,CAAC;AACJ,CAAC;AAED,SAAgB,4BAA4B,CAAC,KAAmB;IAC9D,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC5C,OAAO;QACL,GAAG,QAAQ;QACX,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAClC,aAAa,EAAE,QAAQ,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;QACnD,aAAa,EAAE,QAAQ,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;QACjD,aAAa,EAAE,QAAQ,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;QACjD,SAAS,EAAE,QAAQ,CAAC,SAAS;KAC9B,CAAC;AACJ,CAAC"}

package/dist/harness/stop-controller.d.ts

@@ -0,0 +1,15 @@
+import { type StopDecision } from '../framework/stop-decision';
+import type { CompletionGateResult, ProgressDelta } from './types';
+export interface StopControllerOptions {
+    noProgressThreshold?: number;
+}
+/**
+ * Harness-owned completion boundary. It never converts a missing receipt or
+ * repeated state into task completion; callers may continue or persist a pause.
+ */
+export declare class StopController {
+    private readonly noProgressThreshold;
+    constructor(options?: StopControllerOptions);
+    decideCompletion(gate: CompletionGateResult, progress: ProgressDelta): StopDecision;
+}
+//# sourceMappingURL=stop-controller.d.ts.map

package/dist/harness/stop-controller.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stop-controller.d.ts","sourceRoot":"","sources":["../../src/harness/stop-controller.ts"],"names":[],"mappings":"AAAA,OAAO,EAAsB,KAAK,YAAY,EAAE,MAAM,4BAA4B,CAAC;AACnF,OAAO,KAAK,EAAE,oBAAoB,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAEnE,MAAM,WAAW,qBAAqB;IACpC,mBAAmB,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED;;;GAGG;AACH,qBAAa,cAAc;IACzB,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAS;gBAEjC,OAAO,GAAE,qBAA0B;IAI/C,gBAAgB,CAAC,IAAI,EAAE,oBAAoB,EAAE,QAAQ,EAAE,aAAa,GAAG,YAAY;CAyEpF"}

package/dist/harness/stop-controller.js

@@ -0,0 +1,87 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.StopController = void 0;
+const stop_decision_1 = require("../framework/stop-decision");
+/**
+ * Harness-owned completion boundary. It never converts a missing receipt or
+ * repeated state into task completion; callers may continue or persist a pause.
+ */
+class StopController {
+    constructor(options = {}) {
+        this.noProgressThreshold = Math.max(2, Math.floor(options.noProgressThreshold ?? 3));
+    }
+    decideCompletion(gate, progress) {
+        const criterionStates = (gate.criterionResults ?? []).map(item => ({
+            id: item.criterionId,
+            status: item.status,
+        }));
+        const evidenceRefs = [
+            ...new Set((gate.criterionResults ?? []).flatMap(item => item.evidenceRefs)),
+        ];
+        if (gate.canComplete) {
+            return (0, stop_decision_1.createStopDecision)({
+                scope: 'request',
+                status: 'completed',
+                disposition: 'finish_scope',
+                reason: { code: 'criteria_satisfied', message: 'All applicable criteria are satisfied.' },
+                evidence: evidenceRefs.map(ref => ({
+                    kind: 'verification',
+                    source: ref,
+                    detail: 'Bound criterion evidence',
+                })),
+                nextActions: [],
+                resources: {},
+                criterionStates,
+                progressDelta: progress,
+                evidenceRefs,
+                resumable: false,
+            });
+        }
+        const noProgress = progress.repeatedSignatureCount >= this.noProgressThreshold;
+        return (0, stop_decision_1.createStopDecision)({
+            scope: 'request',
+            status: 'stopped',
+            disposition: noProgress ? 'pause_scope' : 'resume_allowed',
+            reason: {
+                code: noProgress ? 'no_progress' : 'completion_gate',
+                message: noProgress
+                    ? `No observable progress for ${progress.repeatedSignatureCount} repeated completion states.`
+                    : gate.missing.join('; ') || 'Required criterion evidence is missing.',
+            },
+            evidence: evidenceRefs.map(ref => ({
+                kind: 'verification',
+                source: ref,
+                detail: 'Bound criterion evidence',
+            })),
+            nextActions: noProgress
+                ? [
+                    {
+                        kind: 'inspect',
+                        label: 'Inspect missing criterion evidence',
+                        command: '/harness explain',
+                    },
+                    { kind: 'change_input', label: 'Choose a different verification strategy' },
+                    { kind: 'resume', label: 'Resume after changing the strategy', command: '继续' },
+                ]
+                : [
+                    {
+                        kind: 'continue',
+                        label: 'Run the missing verification and continue',
+                        command: '继续',
+                    },
+                    {
+                        kind: 'inspect',
+                        label: 'Inspect missing criterion evidence',
+                        command: '/harness explain',
+                    },
+                ],
+            resources: {},
+            criterionStates,
+            progressDelta: progress,
+            evidenceRefs,
+            resumable: true,
+        });
+    }
+}
+exports.StopController = StopController;
+//# sourceMappingURL=stop-controller.js.map

package/dist/harness/stop-controller.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stop-controller.js","sourceRoot":"","sources":["../../src/harness/stop-controller.ts"],"names":[],"mappings":";;;AAAA,8DAAmF;AAOnF;;;GAGG;AACH,MAAa,cAAc;IAGzB,YAAY,UAAiC,EAAE;QAC7C,IAAI,CAAC,mBAAmB,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,mBAAmB,IAAI,CAAC,CAAC,CAAC,CAAC;IACvF,CAAC;IAED,gBAAgB,CAAC,IAA0B,EAAE,QAAuB;QAClE,MAAM,eAAe,GAAG,CAAC,IAAI,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjE,EAAE,EAAE,IAAI,CAAC,WAAW;YACpB,MAAM,EAAE,IAAI,CAAC,MAAM;SACpB,CAAC,CAAC,CAAC;QACJ,MAAM,YAAY,GAAG;YACnB,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;SAC7E,CAAC;QACF,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACrB,OAAO,IAAA,kCAAkB,EAAC;gBACxB,KAAK,EAAE,SAAS;gBAChB,MAAM,EAAE,WAAW;gBACnB,WAAW,EAAE,cAAc;gBAC3B,MAAM,EAAE,EAAE,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,wCAAwC,EAAE;gBACzF,QAAQ,EAAE,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;oBACjC,IAAI,EAAE,cAAc;oBACpB,MAAM,EAAE,GAAG;oBACX,MAAM,EAAE,0BAA0B;iBACnC,CAAC,CAAC;gBACH,WAAW,EAAE,EAAE;gBACf,SAAS,EAAE,EAAE;gBACb,eAAe;gBACf,aAAa,EAAE,QAAQ;gBACvB,YAAY;gBACZ,SAAS,EAAE,KAAK;aACjB,CAAC,CAAC;QACL,CAAC;QAED,MAAM,UAAU,GAAG,QAAQ,CAAC,sBAAsB,IAAI,IAAI,CAAC,mBAAmB,CAAC;QAC/E,OAAO,IAAA,kCAAkB,EAAC;YACxB,KAAK,EAAE,SAAS;YAChB,MAAM,EAAE,SAAS;YACjB,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,gBAAgB;YAC1D,MAAM,EAAE;gBACN,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,iBAAiB;gBACpD,OAAO,EAAE,UAAU;oBACjB,CAAC,CAAC,8BAA8B,QAAQ,CAAC,sBAAsB,8BAA8B;oBAC7F,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,yCAAyC;aACzE;YACD,QAAQ,EAAE,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACjC,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,GAAG;gBACX,MAAM,EAAE,0BAA0B;aACnC,CAAC,CAAC;YACH,WAAW,EAAE,UAAU;gBACrB,CAAC,CAAC;oBACE;wBACE,IAAI,EAAE,SAAS;wBACf,KAAK,EAAE,oCAAoC;wBAC3C,OAAO,EAAE,kBAAkB;qBAC5B;oBACD,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,0CAA0C,EAAE;oBAC3E,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,oCAAoC,EAAE,OAAO,EAAE,IAAI,EAAE;iBAC/E;gBACH,CAAC,CAAC;oBACE;wBACE,IAAI,EAAE,UAAU;wBAChB,KAAK,EAAE,2CAA2C;wBAClD,OAAO,EAAE,IAAI;qBACd;oBACD;wBACE,IAAI,EAAE,SAAS;wBACf,KAAK,EAAE,oCAAoC;wBAC3C,OAAO,EAAE,kBAAkB;qBAC5B;iBACF;YACL,SAAS,EAAE,EAAE;YACb,eAAe;YACf,aAAa,EAAE,QAAQ;YACvB,YAAY;YACZ,SAAS,EAAE,IAAI;SAChB,CAAC,CAAC;IACL,CAAC;CACF;AAhFD,wCAgFC"}

package/dist/harness/types.d.ts

@@ -1,12 +1,46 @@
 export type LedgerEntryType = 'user_requirement' | 'decision' | 'file_fact' | 'tool_result' | 'test_result' | 'risk' | 'todo' | 'skill' | 'blocker' | 'verification';
+export type TaskCriterionStatus = 'pending' | 'passed' | 'failed' | 'waived';
+export type TaskCriterionScope = 'task' | 'project' | 'release';
+export interface TaskCriterionSource {
+    kind: 'user' | 'derived' | 'system';
+    /** Stable message, intent, Goal, or policy reference when one is available. */
+    ref?: string;
+}
+export interface TaskCriterionWaiver {
+    /** Waivers are only authoritative when they came from the user. */
+    authorizedBy: 'user';
+    reason: string;
+    at: number;
+    sourceRef?: string;
+}
+export interface TaskCriterion {
+    /** Stable across normalization, persistence and compatible state upgrades. */
+    id: string;
+    statement: string;
+    /** Ledger/evidence ids that explicitly support this criterion. */
+    evidenceRefs: string[];
+    /** Additive V3 fields. Legacy records are populated during normalization. */
+    source?: TaskCriterionSource;
+    scope?: TaskCriterionScope;
+    dependencies?: string[];
+    status?: TaskCriterionStatus;
+    waiver?: TaskCriterionWaiver;
+}
 export interface TaskContract {
+    /** TaskContract V3 is additive and remains readable inside HarnessState V2. */
+    version?: 3;
     id: string;
     objective: string;
     userIntent: string;
     requirements: string[];
     successCriteria: string[];
+    /** Additive typed projection of legacy successCriteria strings. */
+    criteria?: TaskCriterion[];
+    taskEpoch?: number;
     constraints: string[];
     prohibitions: string[];
+    nonGoals?: string[];
+    openQuestions?: string[];
     allowedScope: {
         cwd: string;
         files?: string[];
@@ -135,6 +169,20 @@ export interface PromptAssemblyStats {
         reason: string;
     }>;
     sections: string[];
+    sectionManifest?: PromptSectionManifestEntry[];
+    overBudget?: boolean;
+    capabilityProfileVersion?: number;
+    capabilityProfileFingerprint?: string;
+}
+export interface PromptSectionManifestEntry {
+    name: string;
+    authority: 'system' | 'project' | 'user' | 'tool' | 'session';
+    source: string;
+    selected: boolean;
+    tokenEstimate: number;
+    budgetTokens: number;
+    contentHash: string;
+    reason?: string;
 }
 export interface HarnessState {
     version?: 2;
@@ -153,6 +201,9 @@ export interface HarnessState {
     turnSummaries?: TurnSummary[];
     promptAssemblyStats?: PromptAssemblyStats;
     diagnostics?: string[];
+    progressState?: HarnessProgressState;
+    capabilityProfile?: CapabilityProfile;
+    capabilityHistory?: CapabilityProfile[];
     reconciledAt?: number;
     updatedAt: number;
 }
@@ -183,5 +234,91 @@ export interface CompletionGateResult {
     canComplete: boolean;
     missing: string[];
     evidence: string[];
+    criterionResults?: CompletionCriterionResult[];
+    progressDelta?: ProgressDelta;
+    stopDecision?: import('../framework/stop-decision').StopDecision;
+}
+export type VerificationKind = 'test' | 'build' | 'lint' | 'typecheck' | 'diff' | 'git' | 'ci' | 'release' | 'generic';
+export interface CompletionCriterionResult {
+    criterionId: string;
+    statement: string;
+    status: TaskCriterionStatus;
+    applicable: boolean;
+    evidenceRefs: string[];
+    requiredKinds: VerificationKind[];
+    missingKinds: VerificationKind[];
+    failedKinds: VerificationKind[];
+}
+export interface ProgressSnapshot {
+    fingerprint: string;
+    criterionStates: Array<{
+        id: string;
+        status: TaskCriterionStatus;
+    }>;
+    evidenceRefs: string[];
+    changedFiles: string[];
+    decisions: string[];
+    blockers: string[];
+    diagnostics: string[];
+    toolSignature?: string;
+    workspaceStateHash: string;
+}
+export interface ProgressDelta {
+    schemaVersion: 1;
+    changed: boolean;
+    criterionChanges: Array<{
+        id: string;
+        from?: TaskCriterionStatus;
+        to: TaskCriterionStatus;
+    }>;
+    newEvidenceRefs: string[];
+    newChangedFiles: string[];
+    newDecisions: string[];
+    newBlockers: string[];
+    newDiagnostics: string[];
+    toolSignature?: string;
+    workspaceStateHash: string;
+    repeatedSignatureCount: number;
+    recordedAt: number;
+}
+export interface HarnessProgressState {
+    schemaVersion: 1;
+    snapshot?: ProgressSnapshot;
+    lastDelta?: ProgressDelta;
+}
+export interface CapabilityProfile {
+    schemaVersion: 1;
+    revision: number;
+    fingerprint: string;
+    createdAt: number;
+    projectRoot: string;
+    model: {
+        id: string;
+        contextWindow: number;
+        toolCalling: boolean;
+        streaming: boolean;
+    };
+    permission: {
+        mode: string;
+        confirmation: string;
+        scope: 'project';
+        source: 'runtime_policy';
+        hardDenyEnforced: true;
+    };
+    tools: string[];
+    features: {
+        network: boolean;
+        mcp: boolean;
+        subagents: boolean;
+        skills: boolean;
+    };
+}
+export interface CapabilityProfileInput {
+    modelId: string;
+    contextWindow: number;
+    permissionMode: string;
+    toolConfirmation: string;
+    tools: string[];
+    now?: number;
 }
 //# sourceMappingURL=types.d.ts.map