@orion-agents/orion-code 0.1.8 → 0.2.0

package/dist/harness/contract.js

@@ -5,10 +5,8 @@ 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 normalizeLine(text) {
+    return text.trim().replace(/\s+/g, ' ');
 }
 function cleanLine(line) {
     return line.replace(/^[-*+\d.)\s]+/, '').trim();
@@ -24,11 +22,81 @@ function isSectionHeading(line) {
     return normalized.length <= 32 && /^[^。.!?？；;，,、/:：]+[:：]$/.test(normalized);
 }
 function unique(items) {
-    return [...new Set(items.map(item => truncate(item)).filter(Boolean))];
+    return [...new Set(items.map(item => normalizeLine(item)).filter(Boolean))];
 }
 function isObjectiveFallback(item) {
     return item.startsWith('Address the objective: ');
 }
+function stableCriterionId(statement) {
+    const digest = (0, crypto_1.createHash)('sha256').update(normalizeLine(statement).toLowerCase()).digest('hex');
+    return `criterion:harness:${digest.slice(0, 16)}`;
+}
+function normalizeCriterionStatus(criterion) {
+    if (criterion.status === 'waived' &&
+        criterion.waiver?.authorizedBy === 'user' &&
+        criterion.waiver.reason?.trim() &&
+        Number.isFinite(criterion.waiver.at)) {
+        return 'waived';
+    }
+    return criterion.status === 'passed' || criterion.status === 'failed'
+        ? criterion.status
+        : 'pending';
+}
+function normalizeCriteria(statements, existing) {
+    const byStatement = new Map();
+    for (const criterion of existing ?? []) {
+        if (!criterion || typeof criterion.statement !== 'string')
+            continue;
+        const statement = normalizeLine(criterion.statement);
+        if (!statement || byStatement.has(statement))
+            continue;
+        byStatement.set(statement, {
+            id: typeof criterion.id === 'string' && criterion.id.trim()
+                ? criterion.id.trim()
+                : stableCriterionId(statement),
+            statement,
+            evidenceRefs: unique(Array.isArray(criterion.evidenceRefs)
+                ? criterion.evidenceRefs.filter(ref => typeof ref === 'string')
+                : []),
+            source: criterion.source?.kind === 'user' ||
+                criterion.source?.kind === 'derived' ||
+                criterion.source?.kind === 'system'
+                ? {
+                    kind: criterion.source.kind,
+                    ref: typeof criterion.source.ref === 'string' && criterion.source.ref.trim()
+                        ? criterion.source.ref.trim()
+                        : undefined,
+                }
+                : { kind: 'user' },
+            scope: criterion.scope === 'project' || criterion.scope === 'release' ? criterion.scope : 'task',
+            dependencies: unique(Array.isArray(criterion.dependencies)
+                ? criterion.dependencies.filter(item => typeof item === 'string')
+                : []),
+            status: normalizeCriterionStatus(criterion),
+            waiver: criterion.waiver?.authorizedBy === 'user' &&
+                criterion.waiver.reason?.trim() &&
+                Number.isFinite(criterion.waiver.at)
+                ? {
+                    authorizedBy: 'user',
+                    reason: normalizeLine(criterion.waiver.reason),
+                    at: criterion.waiver.at,
+                    sourceRef: typeof criterion.waiver.sourceRef === 'string' && criterion.waiver.sourceRef.trim()
+                        ? criterion.waiver.sourceRef.trim()
+                        : undefined,
+                }
+                : undefined,
+        });
+    }
+    return statements.map(statement => byStatement.get(statement) ?? {
+        id: stableCriterionId(statement),
+        statement,
+        evidenceRefs: [],
+        source: { kind: 'user' },
+        scope: 'task',
+        dependencies: [],
+        status: 'pending',
+    });
+}
 function extractExplicitObjective(input) {
     const lines = input.split(/\r?\n/);
     for (let index = 0; index < lines.length; index++) {
@@ -37,7 +105,7 @@ function extractExplicitObjective(input) {
         if (!match)
             continue;
         if (match[1].trim())
-            return truncate(match[1]);
+            return normalizeLine(match[1]);
         const objectiveLines = [];
         for (let next = index + 1; next < lines.length; next++) {
             const candidate = cleanLine(lines[next]);
@@ -54,27 +122,44 @@ function extractExplicitObjective(input) {
                 break;
         }
         if (objectiveLines.length > 0)
-            return truncate(objectiveLines.join(' '));
+            return normalizeLine(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 requirements = unique((contract.requirements ?? []).filter(item => !isSectionHeading(item)));
+    const typedCriterionStatements = (contract.criteria ?? [])
+        .map(criterion => criterion?.statement)
+        .filter((statement) => typeof statement === 'string');
+    // `successCriteria` remains the compatibility projection and therefore the
+    // authoritative statement list when present. Merging stale typed entries
+    // back in can resurrect criteria that an older persisted state explicitly
+    // removed. Typed-only callers are still supported when the legacy projection
+    // is empty or absent; normalizeCriteria preserves ids/status/evidence for
+    // statements that remain authoritative.
+    const legacySuccessCriteria = contract.successCriteria ?? [];
+    const inputSuccessCriteria = legacySuccessCriteria.length > 0 ? legacySuccessCriteria : typedCriterionStatements;
+    const explicitSuccessCriteria = unique(inputSuccessCriteria.filter(item => !isSectionHeading(item) && !isObjectiveFallback(item)));
+    const fallbackCriteria = unique(inputSuccessCriteria.filter(isObjectiveFallback));
     const successCriteria = explicitSuccessCriteria.length > 0 || requirements.length > 0
         ? explicitSuccessCriteria
         : fallbackCriteria.slice(0, 1);
     return {
         ...contract,
+        version: 3,
         requirements,
         successCriteria,
+        criteria: normalizeCriteria(successCriteria, contract.criteria),
+        taskEpoch: Math.max(1, Math.floor(contract.taskEpoch ?? 1)),
+        nonGoals: unique(contract.nonGoals ?? []),
+        openQuestions: unique(contract.openQuestions ?? []),
     };
 }
 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 objective = extractExplicitObjective(input) ??
+        normalizeLine(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;
@@ -85,6 +170,7 @@ function createTaskContract(input, cwd) {
         requirements.length === 0 ? `Address the objective: ${objective}` : '',
     ]);
     return normalizeTaskContract({
+        version: 3,
         id: (0, crypto_1.randomUUID)(),
         objective,
         userIntent: input.trim(),
@@ -92,6 +178,9 @@ function createTaskContract(input, cwd) {
         successCriteria,
         constraints: [],
         prohibitions,
+        nonGoals: [],
+        openQuestions: [],
+        taskEpoch: 1,
         allowedScope: { cwd },
         createdAt: now,
         updatedAt: now,
@@ -123,6 +212,12 @@ function updateTaskContract(previous, input, cwd, intent) {
             ...next.prohibitions,
             ...(intent?.nonGoals ?? []),
         ]),
+        nonGoals: unique([...(normalizedPrevious.nonGoals ?? []), ...(intent?.nonGoals ?? [])]),
+        openQuestions: unique([
+            ...(normalizedPrevious.openQuestions ?? []),
+            ...(intent?.openQuestions ?? []),
+        ]),
+        taskEpoch: intent?.taskEpoch ?? normalizedPrevious.taskEpoch ?? 1,
         allowedScope: { ...normalizedPrevious.allowedScope, cwd },
         updatedAt: Date.now(),
     });

package/dist/harness/contract.js.map

@@ -1 +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"}
+{"version":3,"file":"contract.js","sourceRoot":"","sources":["../../src/harness/contract.ts"],"names":[],"mappings":";;AAwHA,4DAwBC;AAED,sDAmCC;AAED,gDAmCC;AAED,gDA2CC;AAvQD,mCAAgD;AAGhD,SAAS,aAAa,CAAC,IAAY;IACjC,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;AAC1C,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,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAY;IACvC,OAAO,IAAI,CAAC,UAAU,CAAC,yBAAyB,CAAC,CAAC;AACpD,CAAC;AAED,SAAS,iBAAiB,CAAC,SAAiB;IAC1C,MAAM,MAAM,GAAG,IAAA,mBAAU,EAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACjG,OAAO,qBAAqB,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;AACpD,CAAC;AAED,SAAS,wBAAwB,CAAC,SAAwB;IACxD,IACE,SAAS,CAAC,MAAM,KAAK,QAAQ;QAC7B,SAAS,CAAC,MAAM,EAAE,YAAY,KAAK,MAAM;QACzC,SAAS,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE;QAC/B,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,EACpC,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,OAAO,SAAS,CAAC,MAAM,KAAK,QAAQ,IAAI,SAAS,CAAC,MAAM,KAAK,QAAQ;QACnE,CAAC,CAAC,SAAS,CAAC,MAAM;QAClB,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,iBAAiB,CACxB,UAAoB,EACpB,QAAkC;IAElC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAyB,CAAC;IACrD,KAAK,MAAM,SAAS,IAAI,QAAQ,IAAI,EAAE,EAAE,CAAC;QACvC,IAAI,CAAC,SAAS,IAAI,OAAO,SAAS,CAAC,SAAS,KAAK,QAAQ;YAAE,SAAS;QACpE,MAAM,SAAS,GAAG,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACrD,IAAI,CAAC,SAAS,IAAI,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,SAAS;QACvD,WAAW,CAAC,GAAG,CAAC,SAAS,EAAE;YACzB,EAAE,EACA,OAAO,SAAS,CAAC,EAAE,KAAK,QAAQ,IAAI,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE;gBACrD,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE;gBACrB,CAAC,CAAC,iBAAiB,CAAC,SAAS,CAAC;YAClC,SAAS;YACT,YAAY,EAAE,MAAM,CAClB,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,YAAY,CAAC;gBACnC,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,GAAG,KAAK,QAAQ,CAAC;gBAC/D,CAAC,CAAC,EAAE,CACP;YACD,MAAM,EACJ,SAAS,CAAC,MAAM,EAAE,IAAI,KAAK,MAAM;gBACjC,SAAS,CAAC,MAAM,EAAE,IAAI,KAAK,SAAS;gBACpC,SAAS,CAAC,MAAM,EAAE,IAAI,KAAK,QAAQ;gBACjC,CAAC,CAAC;oBACE,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,IAAI;oBAC3B,GAAG,EACD,OAAO,SAAS,CAAC,MAAM,CAAC,GAAG,KAAK,QAAQ,IAAI,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE;wBACrE,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE;wBAC7B,CAAC,CAAC,SAAS;iBAChB;gBACH,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE;YACtB,KAAK,EACH,SAAS,CAAC,KAAK,KAAK,SAAS,IAAI,SAAS,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM;YAC3F,YAAY,EAAE,MAAM,CAClB,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,YAAY,CAAC;gBACnC,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC;gBACjE,CAAC,CAAC,EAAE,CACP;YACD,MAAM,EAAE,wBAAwB,CAAC,SAAS,CAAC;YAC3C,MAAM,EACJ,SAAS,CAAC,MAAM,EAAE,YAAY,KAAK,MAAM;gBACzC,SAAS,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE;gBAC/B,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;gBAClC,CAAC,CAAC;oBACE,YAAY,EAAE,MAAM;oBACpB,MAAM,EAAE,aAAa,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC;oBAC9C,EAAE,EAAE,SAAS,CAAC,MAAM,CAAC,EAAE;oBACvB,SAAS,EACP,OAAO,SAAS,CAAC,MAAM,CAAC,SAAS,KAAK,QAAQ,IAAI,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE;wBACjF,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE;wBACnC,CAAC,CAAC,SAAS;iBAChB;gBACH,CAAC,CAAC,SAAS;SAChB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,UAAU,CAAC,GAAG,CACnB,SAAS,CAAC,EAAE,CACV,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI;QAC5B,EAAE,EAAE,iBAAiB,CAAC,SAAS,CAAC;QAChC,SAAS;QACT,YAAY,EAAE,EAAE;QAChB,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;QACxB,KAAK,EAAE,MAAM;QACb,YAAY,EAAE,EAAE;QAChB,MAAM,EAAE,SAAS;KAClB,CACJ,CAAC;AACJ,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,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,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,aAAa,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAgB,qBAAqB,CAAC,QAAsB;IAC1D,MAAM,YAAY,GAAG,MAAM,CACzB,CAAC,QAAQ,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CACtE,CAAC;IACF,MAAM,wBAAwB,GAAG,CAAC,QAAQ,CAAC,QAAQ,IAAI,EAAE,CAAC;SACvD,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;SACtC,MAAM,CAAC,CAAC,SAAS,EAAuB,EAAE,CAAC,OAAO,SAAS,KAAK,QAAQ,CAAC,CAAC;IAC7E,2EAA2E;IAC3E,yEAAyE;IACzE,0EAA0E;IAC1E,6EAA6E;IAC7E,0EAA0E;IAC1E,wCAAwC;IACxC,MAAM,qBAAqB,GAAG,QAAQ,CAAC,eAAe,IAAI,EAAE,CAAC;IAC7D,MAAM,oBAAoB,GACxB,qBAAqB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,wBAAwB,CAAC;IACtF,MAAM,uBAAuB,GAAG,MAAM,CACpC,oBAAoB,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAC3F,CAAC;IACF,MAAM,gBAAgB,GAAG,MAAM,CAAC,oBAAoB,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,CAAC;IAClF,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,OAAO,EAAE,CAAC;QACV,YAAY;QACZ,eAAe;QACf,QAAQ,EAAE,iBAAiB,CAAC,eAAe,EAAE,QAAQ,CAAC,QAAQ,CAAC;QAC/D,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC;QAC3D,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,QAAQ,IAAI,EAAE,CAAC;QACzC,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,aAAa,IAAI,EAAE,CAAC;KACpD,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;QAC/B,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,2BAA2B,CAAC,CAAC;IAElE,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,OAAO,EAAE,CAAC;QACV,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,QAAQ,EAAE,EAAE;QACZ,aAAa,EAAE,EAAE;QACjB,SAAS,EAAE,CAAC;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,QAAQ,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC;QACvF,aAAa,EAAE,MAAM,CAAC;YACpB,GAAG,CAAC,kBAAkB,CAAC,aAAa,IAAI,EAAE,CAAC;YAC3C,GAAG,CAAC,MAAM,EAAE,aAAa,IAAI,EAAE,CAAC;SACjC,CAAC;QACF,SAAS,EAAE,MAAM,EAAE,SAAS,IAAI,kBAAkB,CAAC,SAAS,IAAI,CAAC;QACjE,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

@@ -1,6 +1,7 @@
-import type { CompletionGateResult, ContextLedgerEntry, DriftCheckResult, TaskContract } from './types';
+import type { CapabilityProfile, CompletionGateResult, ContextLedgerEntry, DriftCheckResult, TaskContract } from './types';
 export declare function checkToolDrift(params: {
     contract?: TaskContract;
+    capabilityProfile?: CapabilityProfile;
     toolName: string;
     args: Record<string, unknown>;
     mode: 'off' | 'warn' | 'block';

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

@@ -1 +1 @@
-{"version":3,"file":"drift-guard.d.ts","sourceRoot":"","sources":["../../src/harness/drift-guard.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,oBAAoB,EACpB,kBAAkB,EAClB,gBAAgB,EAChB,YAAY,EACb,MAAM,SAAS,CAAC;AAmCjB,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,CA4BvB"}
+{"version":3,"file":"drift-guard.d.ts","sourceRoot":"","sources":["../../src/harness/drift-guard.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,iBAAiB,EACjB,oBAAoB,EACpB,kBAAkB,EAClB,gBAAgB,EAChB,YAAY,EACb,MAAM,SAAS,CAAC;AAqTjB,wBAAgB,cAAc,CAAC,MAAM,EAAE;IACrC,QAAQ,CAAC,EAAE,YAAY,CAAC;IACxB,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;IACtC,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,CA0CnB;AAED,wBAAgB,sBAAsB,CAAC,MAAM,EAAE;IAC7C,QAAQ,CAAC,EAAE,YAAY,CAAC;IACxB,MAAM,EAAE,kBAAkB,EAAE,CAAC;CAC9B,GAAG,oBAAoB,CAuFvB"}

package/dist/harness/drift-guard.js

@@ -2,6 +2,231 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.checkToolDrift = checkToolDrift;
 exports.evaluateCompletionGate = evaluateCompletionGate;
+const path_1 = require("path");
+const contract_1 = require("./contract");
+const verification_1 = require("./verification");
+const PATH_ARGUMENT_KEYS = new Set([
+    'cwd',
+    'dir',
+    'directory',
+    'file',
+    'file_path',
+    'file_paths',
+    'filePath',
+    'filePaths',
+    'new_path',
+    'newPath',
+    'old_path',
+    'oldPath',
+    'path',
+    'paths',
+    'source_path',
+    'sourcePath',
+    'destination_path',
+    'destinationPath',
+    'workdir',
+    'working_directory',
+    'workingDirectory',
+]);
+const WORKING_DIRECTORY_KEYS = new Set(['cwd', 'workdir', 'working_directory', 'workingDirectory']);
+const COMMAND_ARGUMENT_KEYS = new Set(['cmd', 'command', 'commands']);
+function valuesForTypedArgument(key, value, malformed) {
+    if (typeof value === 'string' && value.trim())
+        return [value.trim()];
+    if (Array.isArray(value) &&
+        value.length > 0 &&
+        value.every(item => typeof item === 'string' && item.trim())) {
+        return value.map(item => item.trim());
+    }
+    malformed.push(key);
+    return [];
+}
+/** Extract only explicitly path- and command-typed fields; arbitrary prompt text is not policy. */
+function projectTypedArguments(args) {
+    const projection = {
+        paths: [],
+        workingDirectories: [],
+        commands: [],
+        malformed: [],
+    };
+    const seen = new WeakSet();
+    let visited = 0;
+    const visit = (value, depth, inheritedBase) => {
+        if (!value || typeof value !== 'object')
+            return;
+        if (seen.has(value))
+            return;
+        if (depth > 8 || ++visited > 1000) {
+            throw new Error('tool arguments exceed the drift validation complexity limit');
+        }
+        seen.add(value);
+        if (Array.isArray(value)) {
+            for (const item of value)
+                visit(item, depth + 1, inheritedBase);
+            return;
+        }
+        const entries = Object.entries(value);
+        let localBase = inheritedBase;
+        for (const [key, item] of entries) {
+            if (!WORKING_DIRECTORY_KEYS.has(key))
+                continue;
+            const projected = valuesForTypedArgument(key, item, projection.malformed).map(path => ({
+                key,
+                value: path,
+                base: inheritedBase,
+            }));
+            projection.paths.push(...projected);
+            projection.workingDirectories.push(...projected);
+            if (projected[0])
+                localBase = combineWorkingDirectory(inheritedBase, projected[0].value);
+        }
+        for (const [key, item] of entries) {
+            if (WORKING_DIRECTORY_KEYS.has(key))
+                continue;
+            if (PATH_ARGUMENT_KEYS.has(key)) {
+                const projected = valuesForTypedArgument(key, item, projection.malformed).map(path => ({
+                    key,
+                    value: path,
+                    base: localBase,
+                }));
+                projection.paths.push(...projected);
+                continue;
+            }
+            if (COMMAND_ARGUMENT_KEYS.has(key)) {
+                projection.commands.push(...valuesForTypedArgument(key, item, projection.malformed).map(command => ({
+                    key,
+                    value: command,
+                })));
+                continue;
+            }
+            visit(item, depth + 1, localBase);
+        }
+    };
+    visit(args, 0);
+    return projection;
+}
+function isContained(root, candidate) {
+    const rel = (0, path_1.relative)(root, candidate);
+    return rel === '' || (rel !== '..' && !rel.startsWith(`..${path_1.sep}`) && !(0, path_1.isAbsolute)(rel));
+}
+function resolveFrom(base, value) {
+    return (0, path_1.resolve)(base, value);
+}
+function normalizeCommand(value) {
+    return value.trim().replace(/\s+/gu, ' ');
+}
+function combineWorkingDirectory(parent, child) {
+    if ((0, path_1.isAbsolute)(child) || !parent)
+        return child;
+    return (0, path_1.isAbsolute)(parent) ? (0, path_1.resolve)(parent, child) : (0, path_1.join)(parent, child);
+}
+function profileViolation(profile, toolName) {
+    if (!profile)
+        return;
+    if (!profile.model.toolCalling) {
+        return {
+            reason: `Capability profile v${profile.revision} does not permit tool calling.`,
+            correction: 'Refresh the model capability profile before scheduling a tool call.',
+        };
+    }
+    if (!profile.tools.includes(toolName)) {
+        return {
+            reason: `Tool ${toolName} is absent from capability profile v${profile.revision}.`,
+            correction: 'Use a tool listed in the active capability profile or refresh the profile.',
+        };
+    }
+    return;
+}
+function allowedScopeViolation(contract, profile, projection) {
+    if (!contract)
+        return;
+    if (!contract.allowedScope.cwd?.trim()) {
+        return {
+            reason: 'TaskContract allowedScope.cwd is missing.',
+            correction: 'Repair the TaskContract project scope before using tools.',
+        };
+    }
+    const root = (0, path_1.resolve)(contract.allowedScope.cwd);
+    if (profile && (0, path_1.resolve)(profile.projectRoot) !== root) {
+        return {
+            reason: `Capability project root does not match TaskContract allowedScope.cwd (${contract.allowedScope.cwd}).`,
+            correction: 'Refresh the capability profile for the active project before using tools.',
+        };
+    }
+    if (projection.malformed.length > 0) {
+        return {
+            reason: `Cannot validate malformed typed tool argument(s): ${[...new Set(projection.malformed)].join(', ')}.`,
+            correction: 'Provide non-empty string path and command arguments.',
+        };
+    }
+    const workingDirectories = projection.workingDirectories.map(item => {
+        const parentBase = item.base ? resolveFrom(root, item.base) : root;
+        return { ...item, resolved: resolveFrom(parentBase, item.value) };
+    });
+    const escapedWorkingDirectory = workingDirectories.find(item => !isContained(root, item.resolved));
+    if (escapedWorkingDirectory) {
+        return {
+            reason: `Tool working directory ${escapedWorkingDirectory.value} is outside allowedScope.cwd.`,
+            correction: `Keep the tool working directory within ${contract.allowedScope.cwd}.`,
+        };
+    }
+    if (contract.allowedScope.files?.some(file => typeof file !== 'string' || !file.trim())) {
+        return {
+            reason: 'TaskContract allowedScope.files contains an invalid path.',
+            correction: 'Repair the TaskContract file scope before using path-based tools.',
+        };
+    }
+    const allowedFiles = contract.allowedScope.files?.map(file => resolveFrom(root, file));
+    const invalidAllowedFile = allowedFiles?.find(file => !isContained(root, file));
+    if (invalidAllowedFile) {
+        return {
+            reason: 'TaskContract allowedScope.files contains a path outside allowedScope.cwd.',
+            correction: 'Repair the TaskContract file scope before using path-based tools.',
+        };
+    }
+    for (const item of projection.paths) {
+        const base = item.base ? resolveFrom(root, item.base) : root;
+        const candidate = resolveFrom(base, item.value);
+        if (!isContained(root, candidate)) {
+            return {
+                reason: `Tool path ${item.value} is outside TaskContract allowedScope.cwd.`,
+                correction: `Keep file operations within ${contract.allowedScope.cwd}.`,
+            };
+        }
+        if (!WORKING_DIRECTORY_KEYS.has(item.key) &&
+            allowedFiles !== undefined &&
+            !allowedFiles.some(file => isContained(file, candidate))) {
+            return {
+                reason: `Tool path ${item.value} is not listed by TaskContract allowedScope.files.`,
+                correction: 'Use a file path inside the explicitly allowed file scope.',
+            };
+        }
+    }
+    if (contract.allowedScope.commands !== undefined) {
+        if (contract.allowedScope.commands.some(command => typeof command !== 'string' || !command.trim())) {
+            return {
+                reason: 'TaskContract allowedScope.commands contains an invalid command.',
+                correction: 'Repair the TaskContract command scope before using command tools.',
+            };
+        }
+        const allowedCommands = new Set(contract.allowedScope.commands.map(normalizeCommand));
+        const denied = projection.commands.find(item => !allowedCommands.has(normalizeCommand(item.value)));
+        if (denied) {
+            return {
+                reason: `Tool command ${denied.value} is not listed by TaskContract allowedScope.commands.`,
+                correction: 'Use an explicitly allowed command or update the TaskContract with user authority.',
+            };
+        }
+    }
+    return;
+}
+function driftResult(mode, violation) {
+    return {
+        status: mode === 'block' ? 'block' : 'warn',
+        reason: violation.reason,
+        correction: violation.correction,
+    };
+}
 function hasExplicitVerificationNeed(contract) {
     if (!contract)
         return false;
@@ -28,40 +253,110 @@ function hasExplicitVerificationNeed(contract) {
     });
 }
 function checkToolDrift(params) {
-    if (params.mode === 'off' || !params.contract)
+    if (params.mode === 'off')
+        return { status: 'ok' };
+    try {
+        if (params.mode === 'block' && !params.capabilityProfile) {
+            return driftResult(params.mode, {
+                reason: 'Capability profile is unavailable, so this tool call cannot be validated.',
+                correction: 'Create or refresh the active capability profile before using tools.',
+            });
+        }
+        const capabilityMismatch = profileViolation(params.capabilityProfile, params.toolName);
+        if (capabilityMismatch)
+            return driftResult(params.mode, capabilityMismatch);
+        const projection = projectTypedArguments(params.args);
+        const scopeMismatch = allowedScopeViolation(params.contract, params.capabilityProfile, projection);
+        if (scopeMismatch)
+            return driftResult(params.mode, scopeMismatch);
+        if (params.contract) {
+            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 driftResult(params.mode, {
+                    reason: `Tool arguments may violate prohibition: ${prohibitionHit}`,
+                    correction: 'Choose a safer tool call or explain why this action is required.',
+                });
+            }
+        }
         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' };
+    catch (error) {
+        return driftResult(params.mode, {
+            reason: `Drift guard could not validate this tool call: ${error instanceof Error ? error.message : String(error)}`,
+            correction: 'Use simple typed path/command arguments or refresh the task capability state.',
+        });
+    }
 }
 function evaluateCompletionGate(params) {
     const evidence = [];
     const missing = [];
-    const verificationPassed = params.ledger.some(entry => (entry.type === 'verification' || entry.type === 'test_result') &&
-        entry.metadata?.success === true);
+    const byEvidenceRef = new Map();
     for (const entry of params.ledger) {
-        if ((entry.type === 'verification' || entry.type === 'test_result') &&
-            entry.metadata?.success === true) {
-            evidence.push(entry.content);
-        }
+        byEvidenceRef.set(entry.id, entry);
+        byEvidenceRef.set(`ledger:${entry.id}`, entry);
     }
-    if (hasExplicitVerificationNeed(params.contract) && !verificationPassed) {
+    const contract = params.contract ? (0, contract_1.normalizeTaskContract)(params.contract) : undefined;
+    const criterionResults = (contract?.criteria ?? []).map(criterion => {
+        const requiredKinds = (0, verification_1.requiredVerificationKinds)(criterion.statement);
+        const applicable = requiredKinds.length > 0;
+        const linked = criterion.evidenceRefs
+            .map(ref => ({ ref, entry: byEvidenceRef.get(ref) }))
+            .filter((item) => item.entry !== undefined);
+        if ((0, verification_1.criterionHasAuthorizedWaiver)(criterion)) {
+            return {
+                criterionId: criterion.id,
+                statement: criterion.statement,
+                status: 'waived',
+                applicable,
+                evidenceRefs: linked.map(item => item.ref),
+                requiredKinds,
+                missingKinds: [],
+                failedKinds: [],
+            };
+        }
+        const trusted = linked.filter(item => (0, verification_1.isTrustedEvidence)(item.entry));
+        const passedKinds = new Set(trusted
+            .filter(item => item.entry.metadata?.success === true)
+            .map(item => (0, verification_1.verificationKindForEntry)(item.entry)));
+        const failedKinds = requiredKinds.filter(kind => trusted.some(item => item.entry.metadata?.success === false && (0, verification_1.verificationKindForEntry)(item.entry) === kind));
+        const missingKinds = requiredKinds.filter(kind => !passedKinds.has(kind));
+        const status = !applicable
+            ? (criterion.status ?? 'pending')
+            : missingKinds.length === 0
+                ? 'passed'
+                : failedKinds.length > 0
+                    ? 'failed'
+                    : 'pending';
+        for (const item of trusted) {
+            if (item.entry.metadata?.success === true && !evidence.includes(item.entry.content)) {
+                evidence.push(item.entry.content);
+            }
+        }
+        return {
+            criterionId: criterion.id,
+            statement: criterion.statement,
+            status,
+            applicable,
+            evidenceRefs: linked.map(item => item.ref),
+            requiredKinds,
+            missingKinds,
+            failedKinds,
+        };
+    });
+    const unsatisfied = criterionResults.filter(result => result.applicable && result.status !== 'passed' && result.status !== 'waived');
+    if (unsatisfied.length > 0 ||
+        (criterionResults.length === 0 && hasExplicitVerificationNeed(contract))) {
         missing.push('Required verification has not passed yet.');
     }
     return {
         canComplete: missing.length === 0,
         missing,
         evidence,
+        criterionResults,
     };
 }
 //# sourceMappingURL=drift-guard.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"drift-guard.js","sourceRoot":"","sources":["../../src/harness/drift-guard.ts"],"names":[],"mappings":";;AAwCA,wCAuBC;AAED,wDA+BC;AAzFD,SAAS,2BAA2B,CAAC,QAAkC;IACrE,IAAI,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5B,MAAM,KAAK,GAAG,CAAC,GAAG,QAAQ,CAAC,YAAY,EAAE,GAAG,QAAQ,CAAC,eAAe,CAAC,CAAC;IAEtE,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QACvB,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAE7C,yEAAyE;QACzE,uEAAuE;QACvE,sEAAsE;QACtE,IAAI,oDAAoD,CAAC,IAAI,CAAC,UAAU,CAAC;YAAE,OAAO,KAAK,CAAC;QACxF,IAAI,+BAA+B,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC;QAEpE,2EAA2E;QAC3E,2EAA2E;QAC3E,wDAAwD;QACxD,MAAM,aAAa,GACjB,wEAAwE,CAAC,IAAI,CAAC,UAAU,CAAC;YACzF,iKAAiK,CAAC,IAAI,CACpK,UAAU,CACX;YACD,oIAAoI,CAAC,IAAI,CACvI,UAAU,CACX,CAAC;QACJ,MAAM,aAAa,GACjB,+CAA+C,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1D,mDAAmD,CAAC,IAAI,CAAC,IAAI,CAAC;YAC9D,sCAAsC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEpD,OAAO,aAAa,IAAI,aAAa,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,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,CAC3C,KAAK,CAAC,EAAE,CACN,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,CAAC;QAC/D,KAAK,CAAC,QAAQ,EAAE,OAAO,KAAK,IAAI,CACnC,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClC,IACE,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,CAAC;YAC/D,KAAK,CAAC,QAAQ,EAAE,OAAO,KAAK,IAAI,EAChC,CAAC;YACD,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"}
+{"version":3,"file":"drift-guard.js","sourceRoot":"","sources":["../../src/harness/drift-guard.ts"],"names":[],"mappings":";;AA4TA,wCAgDC;AAED,wDA0FC;AAxcD,+BAAgE;AAQhE,yCAAmD;AACnD,iDAKwB;AAExB,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC;IACjC,KAAK;IACL,KAAK;IACL,WAAW;IACX,MAAM;IACN,WAAW;IACX,YAAY;IACZ,UAAU;IACV,WAAW;IACX,UAAU;IACV,SAAS;IACT,UAAU;IACV,SAAS;IACT,MAAM;IACN,OAAO;IACP,aAAa;IACb,YAAY;IACZ,kBAAkB;IAClB,iBAAiB;IACjB,SAAS;IACT,mBAAmB;IACnB,kBAAkB;CACnB,CAAC,CAAC;AACH,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,SAAS,EAAE,mBAAmB,EAAE,kBAAkB,CAAC,CAAC,CAAC;AACpG,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;AAoBtE,SAAS,sBAAsB,CAAC,GAAW,EAAE,KAAc,EAAE,SAAmB;IAC9E,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE;QAAE,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACrE,IACE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACpB,KAAK,CAAC,MAAM,GAAG,CAAC;QAChB,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,EAC5D,CAAC;QACD,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAE,IAAe,CAAC,IAAI,EAAE,CAAC,CAAC;IACpD,CAAC;IACD,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpB,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,mGAAmG;AACnG,SAAS,qBAAqB,CAAC,IAA6B;IAC1D,MAAM,UAAU,GAAuB;QACrC,KAAK,EAAE,EAAE;QACT,kBAAkB,EAAE,EAAE;QACtB,QAAQ,EAAE,EAAE;QACZ,SAAS,EAAE,EAAE;KACd,CAAC;IACF,MAAM,IAAI,GAAG,IAAI,OAAO,EAAU,CAAC;IACnC,IAAI,OAAO,GAAG,CAAC,CAAC;IAEhB,MAAM,KAAK,GAAG,CAAC,KAAc,EAAE,KAAa,EAAE,aAAsB,EAAQ,EAAE;QAC5E,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO;QAChD,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO;QAC5B,IAAI,KAAK,GAAG,CAAC,IAAI,EAAE,OAAO,GAAG,IAAK,EAAE,CAAC;YACnC,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;QACjF,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,KAAK,MAAM,IAAI,IAAI,KAAK;gBAAE,KAAK,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,aAAa,CAAC,CAAC;YAChE,OAAO;QACT,CAAC;QAED,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,SAAS,GAAG,aAAa,CAAC;QAC9B,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,OAAO,EAAE,CAAC;YAClC,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC/C,MAAM,SAAS,GAAG,sBAAsB,CAAC,GAAG,EAAE,IAAI,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACrF,GAAG;gBACH,KAAK,EAAE,IAAI;gBACX,IAAI,EAAE,aAAa;aACpB,CAAC,CAAC,CAAC;YACJ,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;YACpC,UAAU,CAAC,kBAAkB,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;YACjD,IAAI,SAAS,CAAC,CAAC,CAAC;gBAAE,SAAS,GAAG,uBAAuB,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC3F,CAAC;QAED,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,OAAO,EAAE,CAAC;YAClC,IAAI,sBAAsB,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC9C,IAAI,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAChC,MAAM,SAAS,GAAG,sBAAsB,CAAC,GAAG,EAAE,IAAI,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBACrF,GAAG;oBACH,KAAK,EAAE,IAAI;oBACX,IAAI,EAAE,SAAS;iBAChB,CAAC,CAAC,CAAC;gBACJ,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;gBACpC,SAAS;YACX,CAAC;YACD,IAAI,qBAAqB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnC,UAAU,CAAC,QAAQ,CAAC,IAAI,CACtB,GAAG,sBAAsB,CAAC,GAAG,EAAE,IAAI,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;oBACzE,GAAG;oBACH,KAAK,EAAE,OAAO;iBACf,CAAC,CAAC,CACJ,CAAC;gBACF,SAAS;YACX,CAAC;YACD,KAAK,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC;QACpC,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACf,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,SAAiB;IAClD,MAAM,GAAG,GAAG,IAAA,eAAQ,EAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACtC,OAAO,GAAG,KAAK,EAAE,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,UAAG,EAAE,CAAC,IAAI,CAAC,IAAA,iBAAU,EAAC,GAAG,CAAC,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,OAAO,IAAA,cAAO,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAa;IACrC,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,uBAAuB,CAAC,MAA0B,EAAE,KAAa;IACxE,IAAI,IAAA,iBAAU,EAAC,KAAK,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC/C,OAAO,IAAA,iBAAU,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAA,cAAO,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAA,WAAI,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,gBAAgB,CACvB,OAAsC,EACtC,QAAgB;IAEhB,IAAI,CAAC,OAAO;QAAE,OAAO;IACrB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;QAC/B,OAAO;YACL,MAAM,EAAE,uBAAuB,OAAO,CAAC,QAAQ,gCAAgC;YAC/E,UAAU,EAAE,qEAAqE;SAClF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACtC,OAAO;YACL,MAAM,EAAE,QAAQ,QAAQ,uCAAuC,OAAO,CAAC,QAAQ,GAAG;YAClF,UAAU,EAAE,4EAA4E;SACzF,CAAC;IACJ,CAAC;IACD,OAAO;AACT,CAAC;AAED,SAAS,qBAAqB,CAC5B,QAAkC,EAClC,OAAsC,EACtC,UAA8B;IAE9B,IAAI,CAAC,QAAQ;QAAE,OAAO;IACtB,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC;QACvC,OAAO;YACL,MAAM,EAAE,2CAA2C;YACnD,UAAU,EAAE,2DAA2D;SACxE,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,IAAA,cAAO,EAAC,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IAChD,IAAI,OAAO,IAAI,IAAA,cAAO,EAAC,OAAO,CAAC,WAAW,CAAC,KAAK,IAAI,EAAE,CAAC;QACrD,OAAO;YACL,MAAM,EAAE,yEAAyE,QAAQ,CAAC,YAAY,CAAC,GAAG,IAAI;YAC9G,UAAU,EAAE,2EAA2E;SACxF,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpC,OAAO;YACL,MAAM,EAAE,qDAAqD,CAAC,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YAC7G,UAAU,EAAE,sDAAsD;SACnE,CAAC;IACJ,CAAC;IAED,MAAM,kBAAkB,GAAG,UAAU,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;QAClE,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACnE,OAAO,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;IACpE,CAAC,CAAC,CAAC;IACH,MAAM,uBAAuB,GAAG,kBAAkB,CAAC,IAAI,CACrD,IAAI,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAC1C,CAAC;IACF,IAAI,uBAAuB,EAAE,CAAC;QAC5B,OAAO;YACL,MAAM,EAAE,0BAA0B,uBAAuB,CAAC,KAAK,+BAA+B;YAC9F,UAAU,EAAE,0CAA0C,QAAQ,CAAC,YAAY,CAAC,GAAG,GAAG;SACnF,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;QACxF,OAAO;YACL,MAAM,EAAE,2DAA2D;YACnE,UAAU,EAAE,mEAAmE;SAChF,CAAC;IACJ,CAAC;IACD,MAAM,YAAY,GAAG,QAAQ,CAAC,YAAY,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IACvF,MAAM,kBAAkB,GAAG,YAAY,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAChF,IAAI,kBAAkB,EAAE,CAAC;QACvB,OAAO;YACL,MAAM,EAAE,2EAA2E;YACnF,UAAU,EAAE,mEAAmE;SAChF,CAAC;IACJ,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC7D,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAChD,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC;YAClC,OAAO;gBACL,MAAM,EAAE,aAAa,IAAI,CAAC,KAAK,4CAA4C;gBAC3E,UAAU,EAAE,+BAA+B,QAAQ,CAAC,YAAY,CAAC,GAAG,GAAG;aACxE,CAAC;QACJ,CAAC;QACD,IACE,CAAC,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC;YACrC,YAAY,KAAK,SAAS;YAC1B,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,EACxD,CAAC;YACD,OAAO;gBACL,MAAM,EAAE,aAAa,IAAI,CAAC,KAAK,oDAAoD;gBACnF,UAAU,EAAE,2DAA2D;aACxE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,CAAC,YAAY,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACjD,IACE,QAAQ,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAC9F,CAAC;YACD,OAAO;gBACL,MAAM,EAAE,iEAAiE;gBACzE,UAAU,EAAE,mEAAmE;aAChF,CAAC;QACJ,CAAC;QACD,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACtF,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,IAAI,CACrC,IAAI,CAAC,EAAE,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAC3D,CAAC;QACF,IAAI,MAAM,EAAE,CAAC;YACX,OAAO;gBACL,MAAM,EAAE,gBAAgB,MAAM,CAAC,KAAK,uDAAuD;gBAC3F,UAAU,EACR,mFAAmF;aACtF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO;AACT,CAAC;AAED,SAAS,WAAW,CAAC,IAAsB,EAAE,SAAyB;IACpE,OAAO;QACL,MAAM,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM;QAC3C,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,UAAU,EAAE,SAAS,CAAC,UAAU;KACjC,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAAC,QAAkC;IACrE,IAAI,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5B,MAAM,KAAK,GAAG,CAAC,GAAG,QAAQ,CAAC,YAAY,EAAE,GAAG,QAAQ,CAAC,eAAe,CAAC,CAAC;IAEtE,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QACvB,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAE7C,yEAAyE;QACzE,uEAAuE;QACvE,sEAAsE;QACtE,IAAI,oDAAoD,CAAC,IAAI,CAAC,UAAU,CAAC;YAAE,OAAO,KAAK,CAAC;QACxF,IAAI,+BAA+B,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC;QAEpE,2EAA2E;QAC3E,2EAA2E;QAC3E,wDAAwD;QACxD,MAAM,aAAa,GACjB,wEAAwE,CAAC,IAAI,CAAC,UAAU,CAAC;YACzF,iKAAiK,CAAC,IAAI,CACpK,UAAU,CACX;YACD,oIAAoI,CAAC,IAAI,CACvI,UAAU,CACX,CAAC;QACJ,MAAM,aAAa,GACjB,+CAA+C,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1D,mDAAmD,CAAC,IAAI,CAAC,IAAI,CAAC;YAC9D,sCAAsC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEpD,OAAO,aAAa,IAAI,aAAa,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAgB,cAAc,CAAC,MAM9B;IACC,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAEnD,IAAI,CAAC;QACH,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,MAAM,CAAC,iBAAiB,EAAE,CAAC;YACzD,OAAO,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE;gBAC9B,MAAM,EAAE,2EAA2E;gBACnF,UAAU,EAAE,qEAAqE;aAClF,CAAC,CAAC;QACL,CAAC;QACD,MAAM,kBAAkB,GAAG,gBAAgB,CAAC,MAAM,CAAC,iBAAiB,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QACvF,IAAI,kBAAkB;YAAE,OAAO,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;QAE5E,MAAM,UAAU,GAAG,qBAAqB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACtD,MAAM,aAAa,GAAG,qBAAqB,CACzC,MAAM,CAAC,QAAQ,EACf,MAAM,CAAC,iBAAiB,EACxB,UAAU,CACX,CAAC;QACF,IAAI,aAAa;YAAE,OAAO,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;QAElE,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;YAC3D,MAAM,cAAc,GAAG,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;gBAC9D,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;gBACtC,OAAO,UAAU,IAAI,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;YACrD,CAAC,CAAC,CAAC;YACH,IAAI,cAAc,EAAE,CAAC;gBACnB,OAAO,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE;oBAC9B,MAAM,EAAE,2CAA2C,cAAc,EAAE;oBACnE,UAAU,EAAE,kEAAkE;iBAC/E,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAC1B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE;YAC9B,MAAM,EAAE,kDAAkD,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;YAClH,UAAU,EAAE,+EAA+E;SAC5F,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAgB,sBAAsB,CAAC,MAGtC;IACC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,aAAa,GAAG,IAAI,GAAG,EAA8B,CAAC;IAC5D,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QACnC,aAAa,CAAC,GAAG,CAAC,UAAU,KAAK,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;IACjD,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAA,gCAAqB,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtF,MAAM,gBAAgB,GAAG,CAAC,QAAQ,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE;QAClE,MAAM,aAAa,GAAG,IAAA,wCAAyB,EAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACrE,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,SAAS,CAAC,YAAY;aAClC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;aACpD,MAAM,CACL,CAAC,IAAI,EAAsD,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,CACvF,CAAC;QAEJ,IAAI,IAAA,2CAA4B,EAAC,SAAS,CAAC,EAAE,CAAC;YAC5C,OAAO;gBACL,WAAW,EAAE,SAAS,CAAC,EAAE;gBACzB,SAAS,EAAE,SAAS,CAAC,SAAS;gBAC9B,MAAM,EAAE,QAAiB;gBACzB,UAAU;gBACV,YAAY,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;gBAC1C,aAAa;gBACb,YAAY,EAAE,EAAE;gBAChB,WAAW,EAAE,EAAE;aAChB,CAAC;QACJ,CAAC;QAED,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAA,gCAAiB,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QACrE,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,OAAO;aACJ,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,KAAK,IAAI,CAAC;aACrD,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAA,uCAAwB,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CACrD,CAAC;QACF,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAC9C,OAAO,CAAC,IAAI,CACV,IAAI,CAAC,EAAE,CACL,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,KAAK,KAAK,IAAI,IAAA,uCAAwB,EAAC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAC1F,CACF,CAAC;QACF,MAAM,YAAY,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1E,MAAM,MAAM,GAAG,CAAC,UAAU;YACxB,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,IAAI,SAAS,CAAC;YACjC,CAAC,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC;gBACzB,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;oBACtB,CAAC,CAAC,QAAQ;oBACV,CAAC,CAAC,SAAS,CAAC;QAElB,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;YAC3B,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;gBACpF,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACpC,CAAC;QACH,CAAC;QAED,OAAO;YACL,WAAW,EAAE,SAAS,CAAC,EAAE;YACzB,SAAS,EAAE,SAAS,CAAC,SAAS;YAC9B,MAAM;YACN,UAAU;YACV,YAAY,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;YAC1C,aAAa;YACb,YAAY;YACZ,WAAW;SACZ,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,WAAW,GAAG,gBAAgB,CAAC,MAAM,CACzC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,CACxF,CAAC;IACF,IACE,WAAW,CAAC,MAAM,GAAG,CAAC;QACtB,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC,IAAI,2BAA2B,CAAC,QAAQ,CAAC,CAAC,EACxE,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;IAC5D,CAAC;IAED,OAAO;QACL,WAAW,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC;QACjC,OAAO;QACP,QAAQ;QACR,gBAAgB;KACjB,CAAC;AACJ,CAAC"}

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

@@ -1 +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;AAgHD,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"}
+{"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;AA4HD,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,CAyBnB;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,CAkExB"}