@orion-agents/orion-code 0.1.0

package/dist/harness/contract.js

@@ -0,0 +1,130 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.extractExplicitObjective = extractExplicitObjective;
+exports.normalizeTaskContract = normalizeTaskContract;
+exports.createTaskContract = createTaskContract;
+exports.updateTaskContract = updateTaskContract;
+const crypto_1 = require("crypto");
+const MAX_LINE = 180;
+function truncate(text, max = MAX_LINE) {
+    const trimmed = text.trim().replace(/\s+/g, ' ');
+    return trimmed.length > max ? trimmed.slice(0, max - 3) + '...' : trimmed;
+}
+function cleanLine(line) {
+    return line.replace(/^[-*+\d.)\s]+/, '').trim();
+}
+function splitMeaningfulLines(input) {
+    return input
+        .split(/\r?\n/)
+        .map(cleanLine)
+        .filter(line => line && !isSectionHeading(line));
+}
+function isSectionHeading(line) {
+    const normalized = line.replace(/^#{1,6}\s*/, '').trim();
+    return normalized.length <= 32 && /^[^。.!?？；;，,、/:：]+[:：]$/.test(normalized);
+}
+function unique(items) {
+    return [...new Set(items.map(item => truncate(item)).filter(Boolean))];
+}
+function isObjectiveFallback(item) {
+    return item.startsWith('Address the objective: ');
+}
+function extractExplicitObjective(input) {
+    const lines = input.split(/\r?\n/);
+    for (let index = 0; index < lines.length; index++) {
+        const line = cleanLine(lines[index]).replace(/^#{1,6}\s*/, '');
+        const match = line.match(/^(?:目标|objective)\s*[:：]\s*(.*)$/i);
+        if (!match)
+            continue;
+        if (match[1].trim())
+            return truncate(match[1]);
+        const objectiveLines = [];
+        for (let next = index + 1; next < lines.length; next++) {
+            const candidate = cleanLine(lines[next]);
+            if (!candidate)
+                continue;
+            if (isSectionHeading(candidate))
+                break;
+            if (objectiveLines.length > 0 &&
+                /(必须|禁止|不得|要求|must|should|required|do not|never)/i.test(candidate)) {
+                break;
+            }
+            objectiveLines.push(candidate);
+            if (objectiveLines.length >= 4)
+                break;
+        }
+        if (objectiveLines.length > 0)
+            return truncate(objectiveLines.join(' '));
+    }
+    return undefined;
+}
+function normalizeTaskContract(contract) {
+    const requirements = unique(contract.requirements.filter(item => !isSectionHeading(item)));
+    const explicitSuccessCriteria = unique(contract.successCriteria.filter(item => !isSectionHeading(item) && !isObjectiveFallback(item)));
+    const fallbackCriteria = unique(contract.successCriteria.filter(isObjectiveFallback));
+    const successCriteria = explicitSuccessCriteria.length > 0 || requirements.length > 0
+        ? explicitSuccessCriteria
+        : fallbackCriteria.slice(0, 1);
+    return {
+        ...contract,
+        requirements,
+        successCriteria,
+    };
+}
+function createTaskContract(input, cwd) {
+    const now = Date.now();
+    const lines = splitMeaningfulLines(input);
+    const objective = extractExplicitObjective(input) ?? truncate(lines[0] || input || 'Continue the current task');
+    const requirementHints = /(must|should|required|require|need|ensure|verify|test|build|run|希望|需要|必须|要求|确保|验证|测试|完成)/i;
+    const prohibitionHints = /(do not|don't|never|avoid|without|禁止|不要|不能|不准|避免)/i;
+    const verificationHints = /(test|build|tsc|lint|verify|验证|测试|通过|运行|检查)/i;
+    const requirements = unique(lines.filter(line => requirementHints.test(line)));
+    const prohibitions = unique(lines.filter(line => prohibitionHints.test(line)));
+    const successCriteria = unique([
+        ...lines.filter(line => verificationHints.test(line)),
+        requirements.length === 0 ? `Address the objective: ${objective}` : '',
+    ]);
+    return normalizeTaskContract({
+        id: (0, crypto_1.randomUUID)(),
+        objective,
+        userIntent: input.trim(),
+        requirements,
+        successCriteria,
+        constraints: [],
+        prohibitions,
+        allowedScope: { cwd },
+        createdAt: now,
+        updatedAt: now,
+    });
+}
+function updateTaskContract(previous, input, cwd, intent) {
+    if (!previous) {
+        return createTaskContract(input, cwd);
+    }
+    const normalizedPrevious = normalizeTaskContract(previous);
+    const next = createTaskContract(input, cwd);
+    if (intent?.kind === 'new_task') {
+        return next;
+    }
+    const nextSuccessCriteria = next.successCriteria.filter(item => !isObjectiveFallback(item));
+    return normalizeTaskContract({
+        ...normalizedPrevious,
+        objective: normalizedPrevious.objective,
+        userIntent: input.trim(),
+        requirements: unique([...normalizedPrevious.requirements, ...next.requirements]),
+        successCriteria: unique([...normalizedPrevious.successCriteria, ...nextSuccessCriteria]),
+        constraints: unique([
+            ...normalizedPrevious.constraints,
+            ...next.constraints,
+            ...(intent?.constraints ?? []),
+        ]),
+        prohibitions: unique([
+            ...normalizedPrevious.prohibitions,
+            ...next.prohibitions,
+            ...(intent?.nonGoals ?? []),
+        ]),
+        allowedScope: { ...normalizedPrevious.allowedScope, cwd },
+        updatedAt: Date.now(),
+    });
+}
+//# sourceMappingURL=contract.js.map

package/dist/harness/contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract.js","sourceRoot":"","sources":["../../src/harness/contract.ts"],"names":[],"mappings":";;AAkCA,4DAwBC;AAED,sDAgBC;AAED,gDA8BC;AAED,gDAqCC;AAnJD,mCAAoC;AAGpC,MAAM,QAAQ,GAAG,GAAG,CAAC;AAErB,SAAS,QAAQ,CAAC,IAAY,EAAE,GAAG,GAAG,QAAQ;IAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACjD,OAAO,OAAO,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;AAC5E,CAAC;AAED,SAAS,SAAS,CAAC,IAAY;IAC7B,OAAO,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;AAClD,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAa;IACzC,OAAO,KAAK;SACT,KAAK,CAAC,OAAO,CAAC;SACd,GAAG,CAAC,SAAS,CAAC;SACd,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAY;IACpC,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACzD,OAAO,UAAU,CAAC,MAAM,IAAI,EAAE,IAAI,yBAAyB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,MAAM,CAAC,KAAe;IAC7B,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AACzE,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAY;IACvC,OAAO,IAAI,CAAC,UAAU,CAAC,yBAAyB,CAAC,CAAC;AACpD,CAAC;AAED,SAAgB,wBAAwB,CAAC,KAAa;IACpD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACnC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;QAC/D,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,mCAAmC,CAAC,CAAC;QAC9D,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;YAAE,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,MAAM,cAAc,GAAa,EAAE,CAAC;QACpC,KAAK,IAAI,IAAI,GAAG,KAAK,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;YACvD,MAAM,SAAS,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;YACzC,IAAI,CAAC,SAAS;gBAAE,SAAS;YACzB,IAAI,gBAAgB,CAAC,SAAS,CAAC;gBAAE,MAAM;YACvC,IACE,cAAc,CAAC,MAAM,GAAG,CAAC;gBACzB,kDAAkD,CAAC,IAAI,CAAC,SAAS,CAAC,EAClE,CAAC;gBACD,MAAM;YACR,CAAC;YACD,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC/B,IAAI,cAAc,CAAC,MAAM,IAAI,CAAC;gBAAE,MAAM;QACxC,CAAC;QACD,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,QAAQ,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAgB,qBAAqB,CAAC,QAAsB;IAC1D,MAAM,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3F,MAAM,uBAAuB,GAAG,MAAM,CACpC,QAAQ,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAC/F,CAAC;IACF,MAAM,gBAAgB,GAAG,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,CAAC;IACtF,MAAM,eAAe,GACnB,uBAAuB,CAAC,MAAM,GAAG,CAAC,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC;QAC3D,CAAC,CAAC,uBAAuB;QACzB,CAAC,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAEnC,OAAO;QACL,GAAG,QAAQ;QACX,YAAY;QACZ,eAAe;KAChB,CAAC;AACJ,CAAC;AAED,SAAgB,kBAAkB,CAAC,KAAa,EAAE,GAAW;IAC3D,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACvB,MAAM,KAAK,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC1C,MAAM,SAAS,GACb,wBAAwB,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,2BAA2B,CAAC,CAAC;IAEhG,MAAM,gBAAgB,GACpB,2FAA2F,CAAC;IAC9F,MAAM,gBAAgB,GAAG,oDAAoD,CAAC;IAC9E,MAAM,iBAAiB,GAAG,8CAA8C,CAAC;IAEzE,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/E,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/E,MAAM,eAAe,GAAG,MAAM,CAAC;QAC7B,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrD,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,0BAA0B,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE;KACvE,CAAC,CAAC;IAEH,OAAO,qBAAqB,CAAC;QAC3B,EAAE,EAAE,IAAA,mBAAU,GAAE;QAChB,SAAS;QACT,UAAU,EAAE,KAAK,CAAC,IAAI,EAAE;QACxB,YAAY;QACZ,eAAe;QACf,WAAW,EAAE,EAAE;QACf,YAAY;QACZ,YAAY,EAAE,EAAE,GAAG,EAAE;QACrB,SAAS,EAAE,GAAG;QACd,SAAS,EAAE,GAAG;KACf,CAAC,CAAC;AACL,CAAC;AAED,SAAgB,kBAAkB,CAChC,QAAkC,EAClC,KAAa,EACb,GAAW,EACX,MAAqB;IAErB,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,kBAAkB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACxC,CAAC;IAED,MAAM,kBAAkB,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAC;IAC3D,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC5C,IAAI,MAAM,EAAE,IAAI,KAAK,UAAU,EAAE,CAAC;QAChC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,mBAAmB,GAAG,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC;IAE5F,OAAO,qBAAqB,CAAC;QAC3B,GAAG,kBAAkB;QACrB,SAAS,EAAE,kBAAkB,CAAC,SAAS;QACvC,UAAU,EAAE,KAAK,CAAC,IAAI,EAAE;QACxB,YAAY,EAAE,MAAM,CAAC,CAAC,GAAG,kBAAkB,CAAC,YAAY,EAAE,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC;QAChF,eAAe,EAAE,MAAM,CAAC,CAAC,GAAG,kBAAkB,CAAC,eAAe,EAAE,GAAG,mBAAmB,CAAC,CAAC;QACxF,WAAW,EAAE,MAAM,CAAC;YAClB,GAAG,kBAAkB,CAAC,WAAW;YACjC,GAAG,IAAI,CAAC,WAAW;YACnB,GAAG,CAAC,MAAM,EAAE,WAAW,IAAI,EAAE,CAAC;SAC/B,CAAC;QACF,YAAY,EAAE,MAAM,CAAC;YACnB,GAAG,kBAAkB,CAAC,YAAY;YAClC,GAAG,IAAI,CAAC,YAAY;YACpB,GAAG,CAAC,MAAM,EAAE,QAAQ,IAAI,EAAE,CAAC;SAC5B,CAAC;QACF,YAAY,EAAE,EAAE,GAAG,kBAAkB,CAAC,YAAY,EAAE,GAAG,EAAE;QACzD,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;KACtB,CAAC,CAAC;AACL,CAAC"}

package/dist/harness/drift-guard.d.ts

@@ -0,0 +1,12 @@
+import type { CompletionGateResult, ContextLedgerEntry, DriftCheckResult, TaskContract } from './types';
+export declare function checkToolDrift(params: {
+    contract?: TaskContract;
+    toolName: string;
+    args: Record<string, unknown>;
+    mode: 'off' | 'warn' | 'block';
+}): DriftCheckResult;
+export declare function evaluateCompletionGate(params: {
+    contract?: TaskContract;
+    ledger: ContextLedgerEntry[];
+}): CompletionGateResult;
+//# sourceMappingURL=drift-guard.d.ts.map

package/dist/harness/drift-guard.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"drift-guard.d.ts","sourceRoot":"","sources":["../../src/harness/drift-guard.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAWxG,wBAAgB,cAAc,CAAC,MAAM,EAAE;IACrC,QAAQ,CAAC,EAAE,YAAY,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC9B,IAAI,EAAE,KAAK,GAAG,MAAM,GAAG,OAAO,CAAC;CAChC,GAAG,gBAAgB,CAkBnB;AAED,wBAAgB,sBAAsB,CAAC,MAAM,EAAE;IAC7C,QAAQ,CAAC,EAAE,YAAY,CAAC;IACxB,MAAM,EAAE,kBAAkB,EAAE,CAAC;CAC9B,GAAG,oBAAoB,CAwBvB"}

package/dist/harness/drift-guard.js

@@ -0,0 +1,50 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.checkToolDrift = checkToolDrift;
+exports.evaluateCompletionGate = evaluateCompletionGate;
+function hasExplicitVerificationNeed(contract) {
+    if (!contract)
+        return false;
+    const text = [
+        ...contract.requirements,
+        ...contract.successCriteria,
+    ].join('\n');
+    return /\b(test|tests|jest|vitest|tsc|lint|build|verify|verification)\b|测试|验证|通过|运行/.test(text);
+}
+function checkToolDrift(params) {
+    if (params.mode === 'off' || !params.contract)
+        return { status: 'ok' };
+    const argsText = JSON.stringify(params.args).toLowerCase();
+    const prohibitionHit = params.contract.prohibitions.find(item => {
+        const normalized = item.toLowerCase();
+        return normalized && argsText.includes(normalized);
+    });
+    if (prohibitionHit) {
+        return {
+            status: params.mode === 'block' ? 'block' : 'warn',
+            reason: `Tool arguments may violate prohibition: ${prohibitionHit}`,
+            correction: 'Choose a safer tool call or explain why this action is required.',
+        };
+    }
+    return { status: 'ok' };
+}
+function evaluateCompletionGate(params) {
+    const evidence = [];
+    const missing = [];
+    const verificationPassed = params.ledger.some(entry => (entry.type === 'verification' || entry.type === 'test_result') &&
+        entry.metadata?.success === true);
+    for (const entry of params.ledger) {
+        if ((entry.type === 'verification' || entry.type === 'test_result') && entry.metadata?.success === true) {
+            evidence.push(entry.content);
+        }
+    }
+    if (hasExplicitVerificationNeed(params.contract) && !verificationPassed) {
+        missing.push('Required verification has not passed yet.');
+    }
+    return {
+        canComplete: missing.length === 0,
+        missing,
+        evidence,
+    };
+}
+//# sourceMappingURL=drift-guard.js.map

package/dist/harness/drift-guard.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"drift-guard.js","sourceRoot":"","sources":["../../src/harness/drift-guard.ts"],"names":[],"mappings":";;AAWA,wCAuBC;AAED,wDA2BC;AA7DD,SAAS,2BAA2B,CAAC,QAAkC;IACrE,IAAI,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5B,MAAM,IAAI,GAAG;QACX,GAAG,QAAQ,CAAC,YAAY;QACxB,GAAG,QAAQ,CAAC,eAAe;KAC5B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,OAAO,6EAA6E,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAClG,CAAC;AAED,SAAgB,cAAc,CAAC,MAK9B;IACC,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,MAAM,CAAC,QAAQ;QAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAEvE,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;IAC3D,MAAM,cAAc,GAAG,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QAC9D,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QACtC,OAAO,UAAU,IAAI,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAI,cAAc,EAAE,CAAC;QACnB,OAAO;YACL,MAAM,EAAE,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM;YAClD,MAAM,EAAE,2CAA2C,cAAc,EAAE;YACnE,UAAU,EAAE,kEAAkE;SAC/E,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAC1B,CAAC;AAED,SAAgB,sBAAsB,CAAC,MAGtC;IACC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CACpD,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,CAAC;QAC/D,KAAK,CAAC,QAAQ,EAAE,OAAO,KAAK,IAAI,CACjC,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,CAAC,IAAI,KAAK,CAAC,QAAQ,EAAE,OAAO,KAAK,IAAI,EAAE,CAAC;YACxG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IAED,IAAI,2BAA2B,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACxE,OAAO,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;IAC5D,CAAC;IAED,OAAO;QACL,WAAW,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC;QACjC,OAAO;QACP,QAAQ;KACT,CAAC;AACJ,CAAC"}

package/dist/harness/evidence.d.ts

@@ -0,0 +1,20 @@
+import type { ContextLedgerEntry, EvidenceRecord, RankedEvidenceRecord, TurnSummary } from './types';
+export declare function estimateTokens(text: string): number;
+export declare function buildEvidenceIndex(params: {
+    ledger?: ContextLedgerEntry[];
+    turnSummaries?: TurnSummary[];
+    existing?: EvidenceRecord[];
+}): EvidenceRecord[];
+/**
+ * Bump the includedCount for evidence that was selected into the prompt.
+ * Call this after assembleMessages() with the included evidence IDs.
+ */
+export declare function bumpIncludedEvidence(records: EvidenceRecord[], includedIds: string[]): EvidenceRecord[];
+export declare function rankEvidence(records: EvidenceRecord[], params?: {
+    query?: string;
+    taskEpoch?: number;
+    activeInstruction?: string;
+    rootObjective?: string;
+    now?: number;
+}): RankedEvidenceRecord[];
+//# sourceMappingURL=evidence.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"evidence.d.ts","sourceRoot":"","sources":["../../src/harness/evidence.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,kBAAkB,EAElB,cAAc,EACd,oBAAoB,EACpB,WAAW,EACZ,MAAM,SAAS,CAAC;AAGjB,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEnD;AA+GD,wBAAgB,kBAAkB,CAAC,MAAM,EAAE;IACzC,MAAM,CAAC,EAAE,kBAAkB,EAAE,CAAC;IAC9B,aAAa,CAAC,EAAE,WAAW,EAAE,CAAC;IAC9B,QAAQ,CAAC,EAAE,cAAc,EAAE,CAAC;CAC7B,GAAG,cAAc,EAAE,CAmBnB;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,cAAc,EAAE,EACzB,WAAW,EAAE,MAAM,EAAE,GACpB,cAAc,EAAE,CAKlB;AAED,wBAAgB,YAAY,CAC1B,OAAO,EAAE,cAAc,EAAE,EACzB,MAAM,GAAE;IACN,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,GAAG,CAAC,EAAE,MAAM,CAAC;CACT,GACL,oBAAoB,EAAE,CA+DxB"}

package/dist/harness/evidence.js

@@ -0,0 +1,195 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.estimateTokens = estimateTokens;
+exports.buildEvidenceIndex = buildEvidenceIndex;
+exports.bumpIncludedEvidence = bumpIncludedEvidence;
+exports.rankEvidence = rankEvidence;
+const token_estimate_1 = require("../utils/token-estimate");
+function estimateTokens(text) {
+    return Math.max(1, (0, token_estimate_1.estimateTokens)(text));
+}
+function compact(text, max = 700) {
+    const normalized = text.replace(/\s+/g, ' ').trim();
+    return normalized.length > max ? normalized.slice(0, max - 3) + '...' : normalized;
+}
+function asString(value) {
+    return typeof value === 'string' && value ? value : undefined;
+}
+function asBool(value) {
+    return typeof value === 'boolean' ? value : undefined;
+}
+function ledgerKind(type) {
+    switch (type) {
+        case 'user_requirement':
+            return 'requirement';
+        case 'test_result':
+        case 'verification':
+            return 'verification';
+        case 'skill':
+            return 'skill';
+        case 'risk':
+        case 'blocker':
+            return 'risk';
+        case 'todo':
+            return 'todo';
+        case 'file_fact':
+            return 'file_fact';
+        case 'decision':
+            return 'decision';
+        default:
+            return 'tool_result';
+    }
+}
+function tokenize(text) {
+    const lower = text.toLowerCase();
+    const ascii = lower.match(/[a-z0-9_.-]{2,}/g) ?? [];
+    const chinese = lower.match(/[\u4e00-\u9fff]{2,}/g) ?? [];
+    return new Set([...ascii, ...chinese]);
+}
+function tagsFor(content, extras = []) {
+    return [...new Set([...tokenize(content), ...extras.map(item => item.toLowerCase()).filter(Boolean)])].slice(0, 32);
+}
+function evidenceFromLedger(entry) {
+    const toolName = asString(entry.metadata?.toolName);
+    const path = asString(entry.metadata?.path) || asString(entry.metadata?.changedFile);
+    const success = asBool(entry.metadata?.success);
+    const kind = ledgerKind(entry.type);
+    const verificationStatus = kind === 'verification'
+        ? success === true
+            ? 'passed'
+            : success === false
+                ? 'failed'
+                : 'unknown'
+        : undefined;
+    return {
+        id: `ledger:${entry.id}`,
+        kind,
+        content: compact(entry.content),
+        source: 'ledger',
+        sourceId: entry.id,
+        importance: entry.importance,
+        createdAt: entry.createdAt,
+        tokenEstimate: estimateTokens(entry.content),
+        tags: tagsFor(entry.content, [entry.type, entry.source.ref ?? '', toolName ?? '', path ?? '']),
+        path,
+        toolName,
+        verificationStatus,
+        metadata: entry.metadata,
+    };
+}
+function evidenceFromTurnSummary(summary) {
+    const content = compact([
+        `Turn ${summary.turn}: ${summary.userIntent}`,
+        summary.assistantOutcome ? `Outcome: ${summary.assistantOutcome}` : '',
+        summary.filesTouched.length > 0 ? `Files: ${summary.filesTouched.join(', ')}` : '',
+        summary.toolsUsed.length > 0 ? `Tools: ${summary.toolsUsed.join(', ')}` : '',
+        summary.verification.passed.length > 0 ? `Passed: ${summary.verification.passed.join('; ')}` : '',
+        summary.verification.failed.length > 0 ? `Failed: ${summary.verification.failed.join('; ')}` : '',
+        summary.unresolved.length > 0 ? `Unresolved: ${summary.unresolved.join('; ')}` : '',
+    ].filter(Boolean).join(' '));
+    return {
+        id: `turn:${summary.id}`,
+        kind: 'turn_summary',
+        content,
+        source: 'turn_summary',
+        sourceId: summary.id,
+        importance: summary.unresolved.length > 0 || summary.verification.failed.length > 0 ? 5 : 4,
+        taskEpoch: summary.taskEpoch,
+        createdAt: summary.createdAt,
+        tokenEstimate: estimateTokens(content),
+        tags: tagsFor(content, [...summary.filesTouched, ...summary.toolsUsed, summary.intentKind]),
+        path: summary.filesTouched[0],
+        toolName: summary.toolsUsed[0],
+        verificationStatus: summary.verification.failed.length > 0
+            ? 'failed'
+            : summary.verification.passed.length > 0
+                ? 'passed'
+                : undefined,
+    };
+}
+function buildEvidenceIndex(params) {
+    const byId = new Map();
+    for (const record of params.existing ?? []) {
+        byId.set(record.id, record);
+    }
+    for (const entry of params.ledger ?? []) {
+        const record = evidenceFromLedger(entry);
+        // Preserve includedCount from existing record
+        const existing = byId.get(record.id);
+        if (existing)
+            record.includedCount = existing.includedCount;
+        byId.set(record.id, record);
+    }
+    for (const summary of params.turnSummaries ?? []) {
+        const record = evidenceFromTurnSummary(summary);
+        const existing = byId.get(record.id);
+        if (existing)
+            record.includedCount = existing.includedCount;
+        byId.set(record.id, record);
+    }
+    return [...byId.values()].sort((a, b) => b.importance - a.importance || b.createdAt - a.createdAt);
+}
+/**
+ * Bump the includedCount for evidence that was selected into the prompt.
+ * Call this after assembleMessages() with the included evidence IDs.
+ */
+function bumpIncludedEvidence(records, includedIds) {
+    const idSet = new Set(includedIds);
+    return records.map(r => idSet.has(r.id) ? { ...r, includedCount: (r.includedCount ?? 0) + 1 } : r);
+}
+function rankEvidence(records, params = {}) {
+    const queryTokens = tokenize([
+        params.query ?? '',
+        params.activeInstruction ?? '',
+        params.rootObjective ?? '',
+    ].join(' '));
+    const now = params.now ?? Date.now();
+    return records.map(record => {
+        let score = record.importance * 10;
+        const reasons = [`importance ${record.importance}`];
+        if (params.taskEpoch !== undefined && record.taskEpoch === params.taskEpoch) {
+            score += 10;
+            reasons.push('same task epoch');
+        }
+        const ageHours = Math.max(0, (now - record.createdAt) / 3600000);
+        const recency = Math.max(0, 8 - Math.floor(ageHours / 6));
+        if (recency > 0) {
+            score += recency;
+            reasons.push('recent');
+        }
+        let overlap = 0;
+        for (const tag of record.tags) {
+            if (queryTokens.has(tag))
+                overlap++;
+        }
+        if (overlap > 0) {
+            score += overlap * 4;
+            reasons.push(`${overlap} keyword match${overlap === 1 ? '' : 'es'}`);
+        }
+        if (record.path && (params.query ?? '').includes(record.path)) {
+            score += 12;
+            reasons.push('mentioned path');
+        }
+        if (record.toolName && (params.query ?? '').toLowerCase().includes(record.toolName.toLowerCase())) {
+            score += 8;
+            reasons.push('mentioned tool');
+        }
+        if (record.kind === 'verification') {
+            score += record.verificationStatus === 'failed' ? 14 : 10;
+            reasons.push('verification evidence');
+        }
+        if (record.kind === 'risk' || record.kind === 'todo') {
+            score += 8;
+            reasons.push('open risk or todo');
+        }
+        // Learning signal: evidence that was frequently included in past prompts
+        // gets a small boost — "if it was useful before, it's likely useful again"
+        if (record.includedCount && record.includedCount > 0) {
+            const boost = Math.min(record.includedCount, 10) * record.importance * 0.5;
+            score += boost;
+            reasons.push(`included ${record.includedCount}x before`);
+        }
+        return { ...record, score, reasons };
+    }).sort((a, b) => b.score - a.score || b.createdAt - a.createdAt);
+}
+//# sourceMappingURL=evidence.js.map

package/dist/harness/evidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence.js","sourceRoot":"","sources":["../../src/harness/evidence.ts"],"names":[],"mappings":";;AASA,wCAEC;AA+GD,gDAuBC;AAMD,oDAQC;AAED,oCAwEC;AAlOD,4DAA+E;AAE/E,SAAgB,cAAc,CAAC,IAAY;IACzC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAA,+BAAkB,EAAC,IAAI,CAAC,CAAC,CAAC;AAC/C,CAAC;AAED,SAAS,OAAO,CAAC,IAAY,EAAE,GAAG,GAAG,GAAG;IACtC,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,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAChE,CAAC;AAED,SAAS,MAAM,CAAC,KAAc;IAC5B,OAAO,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AACxD,CAAC;AAED,SAAS,UAAU,CAAC,IAAgC;IAClD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,kBAAkB;YACrB,OAAO,aAAa,CAAC;QACvB,KAAK,aAAa,CAAC;QACnB,KAAK,cAAc;YACjB,OAAO,cAAc,CAAC;QACxB,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;QACjB,KAAK,MAAM,CAAC;QACZ,KAAK,SAAS;YACZ,OAAO,MAAM,CAAC;QAChB,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,WAAW,CAAC;QACrB,KAAK,UAAU;YACb,OAAO,UAAU,CAAC;QACpB;YACE,OAAO,aAAa,CAAC;IACzB,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY;IAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACjC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,kBAAkB,CAAC,IAAI,EAAE,CAAC;IACpD,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,sBAAsB,CAAC,IAAI,EAAE,CAAC;IAC1D,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,OAAO,CAAC,OAAe,EAAE,SAAmB,EAAE;IACrD,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AACtH,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAyB;IACnD,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACpD,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IACrF,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAChD,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,kBAAkB,GAAG,IAAI,KAAK,cAAc;QAChD,CAAC,CAAC,OAAO,KAAK,IAAI;YAChB,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,OAAO,KAAK,KAAK;gBACjB,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,SAAS;QACf,CAAC,CAAC,SAAS,CAAC;IAEd,OAAO;QACL,EAAE,EAAE,UAAU,KAAK,CAAC,EAAE,EAAE;QACxB,IAAI;QACJ,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;QAC/B,MAAM,EAAE,QAAQ;QAChB,QAAQ,EAAE,KAAK,CAAC,EAAE;QAClB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,aAAa,EAAE,cAAc,CAAC,KAAK,CAAC,OAAO,CAAC;QAC5C,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,IAAI,EAAE,EAAE,QAAQ,IAAI,EAAE,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC;QAC9F,IAAI;QACJ,QAAQ;QACR,kBAAkB;QAClB,QAAQ,EAAE,KAAK,CAAC,QAAQ;KACzB,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,OAAoB;IACnD,MAAM,OAAO,GAAG,OAAO,CAAC;QACtB,QAAQ,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,UAAU,EAAE;QAC7C,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,YAAY,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE;QACtE,OAAO,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;QAClF,OAAO,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;QAC5E,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;QACjG,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;QACjG,OAAO,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;KACpF,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAE7B,OAAO;QACL,EAAE,EAAE,QAAQ,OAAO,CAAC,EAAE,EAAE;QACxB,IAAI,EAAE,cAAc;QACpB,OAAO;QACP,MAAM,EAAE,cAAc;QACtB,QAAQ,EAAE,OAAO,CAAC,EAAE;QACpB,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3F,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,aAAa,EAAE,cAAc,CAAC,OAAO,CAAC;QACtC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,YAAY,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;QAC3F,IAAI,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;QAC7B,QAAQ,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;QAC9B,kBAAkB,EAAE,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;YACxD,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;gBACtC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,SAAS;KAChB,CAAC;AACJ,CAAC;AAED,SAAgB,kBAAkB,CAAC,MAIlC;IACC,MAAM,IAAI,GAAG,IAAI,GAAG,EAA0B,CAAC;IAC/C,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;QAC3C,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IAC9B,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;QACzC,8CAA8C;QAC9C,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACrC,IAAI,QAAQ;YAAE,MAAM,CAAC,aAAa,GAAG,QAAQ,CAAC,aAAa,CAAC;QAC5D,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IAC9B,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,aAAa,IAAI,EAAE,EAAE,CAAC;QACjD,MAAM,MAAM,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;QAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACrC,IAAI,QAAQ;YAAE,MAAM,CAAC,aAAa,GAAG,QAAQ,CAAC,aAAa,CAAC;QAC5D,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,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;AACrG,CAAC;AAED;;;GAGG;AACH,SAAgB,oBAAoB,CAClC,OAAyB,EACzB,WAAqB;IAErB,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,CAAC;IACnC,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CACrB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAC1E,CAAC;AACJ,CAAC;AAED,SAAgB,YAAY,CAC1B,OAAyB,EACzB,SAMI,EAAE;IAEN,MAAM,WAAW,GAAG,QAAQ,CAAC;QAC3B,MAAM,CAAC,KAAK,IAAI,EAAE;QAClB,MAAM,CAAC,iBAAiB,IAAI,EAAE;QAC9B,MAAM,CAAC,aAAa,IAAI,EAAE;KAC3B,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACb,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;IAErC,OAAO,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE;QAC1B,IAAI,KAAK,GAAG,MAAM,CAAC,UAAU,GAAG,EAAE,CAAC;QACnC,MAAM,OAAO,GAAa,CAAC,cAAc,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;QAE9D,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,IAAI,MAAM,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS,EAAE,CAAC;YAC5E,KAAK,IAAI,EAAE,CAAC;YACZ,OAAO,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAClC,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,GAAG,OAAS,CAAC,CAAC;QACnE,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC;QAC1D,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;YAChB,KAAK,IAAI,OAAO,CAAC;YACjB,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACzB,CAAC;QAED,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAC9B,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,OAAO,EAAE,CAAC;QACtC,CAAC;QACD,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;YAChB,KAAK,IAAI,OAAO,GAAG,CAAC,CAAC;YACrB,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,iBAAiB,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACvE,CAAC;QAED,IAAI,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9D,KAAK,IAAI,EAAE,CAAC;YACZ,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACjC,CAAC;QAED,IAAI,MAAM,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;YAClG,KAAK,IAAI,CAAC,CAAC;YACX,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACjC,CAAC;QAED,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;YACnC,KAAK,IAAI,MAAM,CAAC,kBAAkB,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1D,OAAO,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;QACxC,CAAC;QAED,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACrD,KAAK,IAAI,CAAC,CAAC;YACX,OAAO,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QACpC,CAAC;QAED,yEAAyE;QACzE,2EAA2E;QAC3E,IAAI,MAAM,CAAC,aAAa,IAAI,MAAM,CAAC,aAAa,GAAG,CAAC,EAAE,CAAC;YACrD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,aAAa,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,UAAU,GAAG,GAAG,CAAC;YAC3E,KAAK,IAAI,KAAK,CAAC;YACf,OAAO,CAAC,IAAI,CAAC,YAAY,MAAM,CAAC,aAAa,UAAU,CAAC,CAAC;QAC3D,CAAC;QAED,OAAO,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IACvC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;AACpE,CAAC"}

package/dist/harness/harness.d.ts

@@ -0,0 +1,58 @@
+/**
+ * orion code - Harness 引擎（兼容 API）
+ *
+ * This module is kept for the public package API. The CLI runtime now uses the
+ * ContextHarness, but external users may still import HarnessEngine from
+ * `orion`.
+ */
+import { EventEmitter } from 'eventemitter3';
+import { Task, TaskResult, BaseAgent } from '../core/agent';
+import { SafetyChecker, SafetyPolicy } from './safety';
+/** Harness 配置 */
+export interface HarnessConfig {
+    goalConstraint: boolean;
+    maxSteps: number;
+    boundaryCheck: boolean;
+    allowedActions: string[];
+    blockedActions: string[];
+    resultValidation: boolean;
+    sandbox: boolean;
+    timeout: number;
+    safetyPolicy?: Partial<SafetyPolicy>;
+}
+/** Harness 验证结果 */
+export interface HarnessVerdict {
+    passed: boolean;
+    stage: 'pre-exec' | 'post-exec';
+    reason?: string;
+    suggestion?: string;
+}
+/** Harness 执行上下文 */
+export interface HarnessContext {
+    task: Task;
+    agentId: string;
+    steps: number;
+    startedAt: number;
+    metadata?: Record<string, unknown>;
+}
+/** Harness 执行结果 */
+export interface HarnessExecutionResult {
+    harnessPassed: boolean;
+    preCheck: HarnessVerdict | null;
+    postValidate: HarnessVerdict | null;
+    taskResult: TaskResult;
+    context: HarnessContext;
+}
+export declare class HarnessEngine extends EventEmitter {
+    private config;
+    private safetyChecker;
+    constructor(config?: Partial<HarnessConfig>);
+    preCheck(task: Task): HarnessVerdict;
+    postValidate(result: TaskResult, task: Task): HarnessVerdict;
+    execute(agent: BaseAgent, task: Task, metadata?: Record<string, unknown>): Promise<HarnessExecutionResult>;
+    getConfig(): HarnessConfig;
+    updateConfig(patch: Partial<HarnessConfig>): void;
+    getSafetyChecker(): SafetyChecker | null;
+    private executeWithTimeout;
+}
+//# sourceMappingURL=harness.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"harness.d.ts","sourceRoot":"","sources":["../../src/harness/harness.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAEvD,iBAAiB;AACjB,MAAM,WAAW,aAAa;IAC5B,cAAc,EAAE,OAAO,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,OAAO,CAAC;IACvB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,gBAAgB,EAAE,OAAO,CAAC;IAC1B,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;CACtC;AAED,mBAAmB;AACnB,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,OAAO,CAAC;IAChB,KAAK,EAAE,UAAU,GAAG,WAAW,CAAC;IAChC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,oBAAoB;AACpB,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,IAAI,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACpC;AAED,mBAAmB;AACnB,MAAM,WAAW,sBAAsB;IACrC,aAAa,EAAE,OAAO,CAAC;IACvB,QAAQ,EAAE,cAAc,GAAG,IAAI,CAAC;IAChC,YAAY,EAAE,cAAc,GAAG,IAAI,CAAC;IACpC,UAAU,EAAE,UAAU,CAAC;IACvB,OAAO,EAAE,cAAc,CAAC;CACzB;AAaD,qBAAa,aAAc,SAAQ,YAAY;IAC7C,OAAO,CAAC,MAAM,CAAgB;IAC9B,OAAO,CAAC,aAAa,CAAuB;gBAEhC,MAAM,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC;IAQ3C,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,cAAc;IA0DpC,YAAY,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,GAAG,cAAc;IA2CtD,OAAO,CACX,KAAK,EAAE,SAAS,EAChB,IAAI,EAAE,IAAI,EACV,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,OAAO,CAAC,sBAAsB,CAAC;IAwDlC,SAAS,IAAI,aAAa;IAI1B,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,aAAa,CAAC,GAAG,IAAI;IASjD,gBAAgB,IAAI,aAAa,GAAG,IAAI;IAIxC,OAAO,CAAC,kBAAkB;CAQ3B"}