codex-workflow-v2 2.0.0-beta.12.9 → 2.0.0-beta.13

package/dist/src/alpha6/remediation-cause.js

@@ -0,0 +1,77 @@
+import { createHash } from 'node:crypto';
+import path from 'node:path';
+import { canonicalJsonStringify } from './store-sidecars.js';
+const ANSI_ESCAPE = /\u001b\[[0-9;]*m/g;
+const ISO_TIMESTAMP = /\b\d{4}-\d{2}-\d{2}[T ][0-9:.+-]+Z?\b/g;
+const TEMP_PATH = /\/(?:private\/)?(?:tmp|var\/folders)\/[^\s:'"`]+/g;
+const HEX_ID = /\b[a-f0-9]{40,64}\b/g;
+const SOURCE_LOCATION = /:(?:\d+)(?::\d+)?\b/g;
+const DIAGNOSTIC_CODE = /\b(?:[A-Z][A-Z0-9_]{2,}|TS\d{3,5}|ERR_[A-Z0-9_]+)\b/g;
+const REPOSITORY_PATH = /(?:^|[\s('"`])([A-Za-z0-9_.-]+(?:\/[A-Za-z0-9_.-]+)+\.(?:cjs|js|json|mjs|sql|ts|tsx))(?=[:\s)'"`]|$)/g;
+export function normalizeMechanicalFailures(checks, repositoryRoot) {
+    return checks.filter((check) => !check.passed).map((check) => {
+        const normalizedOutput = normalizeOutput(check.output, repositoryRoot);
+        const diagnosticCodes = [...new Set(normalizedOutput.match(DIAGNOSTIC_CODE) ?? [])].sort().slice(0, 16);
+        const diagnosticShape = [...new Set(normalizedOutput.split('\n')
+                .map((line) => line.trim().replace(/\s+/g, ' '))
+                .filter(Boolean)
+                .slice(0, 4)
+                .map((line) => line.slice(0, 240)))];
+        const diagnosticPaths = extractRepositoryPaths(check.output, repositoryRoot);
+        const causeMaterial = {
+            domain: 'codex-workflow/mechanical-remediation-cause/v1',
+            command: normalizeCommand(check.command),
+            exitCode: check.exitCode,
+            diagnosticCodes,
+            diagnosticShape,
+        };
+        return {
+            command: causeMaterial.command,
+            exitCode: causeMaterial.exitCode,
+            diagnosticCodes,
+            diagnosticShape,
+            diagnosticPaths,
+            causeFingerprint: createHash('sha256').update(canonicalJsonStringify(causeMaterial)).digest('hex'),
+        };
+    });
+}
+export function mechanicalCauseBindings(failures) {
+    return failures.map((failure) => ({
+        authority: 'mechanical',
+        causeId: `mechanical:${failure.causeFingerprint}`,
+        causeFingerprint: failure.causeFingerprint,
+        planConflict: false,
+    }));
+}
+export function reviewerCauseFingerprint(causeId) {
+    return createHash('sha256').update(canonicalJsonStringify({
+        domain: 'codex-workflow/external-reviewer-cause/v1',
+        causeId: causeId.trim(),
+    })).digest('hex');
+}
+function normalizeOutput(output, repositoryRoot) {
+    const normalizedRoot = path.resolve(repositoryRoot).replaceAll('\\', '/');
+    return output
+        .replace(ANSI_ESCAPE, '')
+        .replaceAll('\\', '/')
+        .replaceAll(normalizedRoot, '<repo>')
+        .replace(TEMP_PATH, '<tmp>')
+        .replace(ISO_TIMESTAMP, '<time>')
+        .replace(HEX_ID, '<hash>')
+        .replace(SOURCE_LOCATION, ':<loc>');
+}
+function normalizeCommand(command) {
+    return command.trim().replace(/\s+/g, ' ');
+}
+function extractRepositoryPaths(output, repositoryRoot) {
+    const normalizedRoot = path.resolve(repositoryRoot).replaceAll('\\', '/');
+    const normalized = output.replaceAll('\\', '/').replaceAll(`${normalizedRoot}/`, '');
+    const result = new Set();
+    for (const match of normalized.matchAll(REPOSITORY_PATH)) {
+        const candidate = match[1];
+        if (!candidate.startsWith('../') && !path.posix.isAbsolute(candidate))
+            result.add(candidate);
+    }
+    return [...result].sort();
+}
+//# sourceMappingURL=remediation-cause.js.map

package/dist/src/alpha6/remediation-cause.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"remediation-cause.js","sourceRoot":"","sources":["../../../src/alpha6/remediation-cause.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,IAAI,MAAM,WAAW,CAAC;AAG7B,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAE7D,MAAM,WAAW,GAAG,mBAAmB,CAAC;AACxC,MAAM,aAAa,GAAG,wCAAwC,CAAC;AAC/D,MAAM,SAAS,GAAG,mDAAmD,CAAC;AACtE,MAAM,MAAM,GAAG,sBAAsB,CAAC;AACtC,MAAM,eAAe,GAAG,sBAAsB,CAAC;AAC/C,MAAM,eAAe,GAAG,sDAAsD,CAAC;AAC/E,MAAM,eAAe,GAAG,uGAAuG,CAAC;AAWhI,MAAM,UAAU,2BAA2B,CACzC,MAA8B,EAC9B,cAAsB;IAEtB,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC3D,MAAM,gBAAgB,GAAG,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QACvE,MAAM,eAAe,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,KAAK,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACxG,MAAM,eAAe,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC;iBAC7D,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;iBAC/C,MAAM,CAAC,OAAO,CAAC;iBACf,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;iBACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,eAAe,GAAG,sBAAsB,CAAC,KAAK,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QAC7E,MAAM,aAAa,GAAG;YACpB,MAAM,EAAE,gDAAgD;YACxD,OAAO,EAAE,gBAAgB,CAAC,KAAK,CAAC,OAAO,CAAC;YACxC,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,eAAe;YACf,eAAe;SAChB,CAAC;QACF,OAAO;YACL,OAAO,EAAE,aAAa,CAAC,OAAO;YAC9B,QAAQ,EAAE,aAAa,CAAC,QAAQ;YAChC,eAAe;YACf,eAAe;YACf,eAAe;YACf,gBAAgB,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,sBAAsB,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;SACnG,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,QAAgD;IAEhD,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAChC,SAAS,EAAE,YAAY;QACvB,OAAO,EAAE,cAAc,OAAO,CAAC,gBAAgB,EAAE;QACjD,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;QAC1C,YAAY,EAAE,KAAK;KACpB,CAAC,CAAC,CAAC;AACN,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,OAAe;IACtD,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,sBAAsB,CAAC;QACxD,MAAM,EAAE,2CAA2C;QACnD,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE;KACxB,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACpB,CAAC;AAED,SAAS,eAAe,CAAC,MAAc,EAAE,cAAsB;IAC7D,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC1E,OAAO,MAAM;SACV,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC;SACxB,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC;SACrB,UAAU,CAAC,cAAc,EAAE,QAAQ,CAAC;SACpC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC;SAC3B,OAAO,CAAC,aAAa,EAAE,QAAQ,CAAC;SAChC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC;SACzB,OAAO,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC;AACxC,CAAC;AAED,SAAS,gBAAgB,CAAC,OAAe;IACvC,OAAO,OAAO,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;AAC7C,CAAC;AAED,SAAS,sBAAsB,CAAC,MAAc,EAAE,cAAsB;IACpE,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC1E,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,GAAG,cAAc,GAAG,EAAE,EAAE,CAAC,CAAC;IACrF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;QACzD,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QAC5B,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC/F,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;AAC5B,CAAC"}

package/dist/src/alpha6/remediation.d.ts

@@ -1,4 +1,4 @@
-import type { CorrectiveDecisionEvent, CorrectiveDecisionRecoveryEvent, CorrectivePlanAuditInput, GuardedRiskCategory, PlanIntegrityConflictEvidence, RemediationEvent, RemediationFailureEvidence, RemediationFailureKind, RemediationMode, RemediationModeRecoveryEvent, StopEscalateOverrideEvent, StopEscalateOverridePreparation, TaskState } from '../contracts.js';
+import type { CorrectiveDecisionEvent, CorrectiveDecisionRecoveryEvent, CorrectivePlanAuditInput, GuardedRiskCategory, PlanIntegrityConflictEvidence, RemediationEvent, RemediationCauseBinding, RemediationFailureEvidence, RemediationFailureKind, RemediationMode, RemediationModeRecoveryEvent, StopEscalateOverrideEvent, StopEscalateOverridePreparation, TaskState } from '../contracts.js';
 import type { FileStateStore } from '../state/store.js';
 import type { CurrentPlanRiskAudit } from './plan-risk.js';
 export declare const REMEDIATION_EVENTS_SIDECAR = "remediation-events.jsonl";
@@ -26,6 +26,10 @@ export interface RemediationModeRecoveryAssessment {
     writerLeaseTokenHash: string | null;
     evidenceFingerprint: string;
 }
+export interface PreparedRemediationEvent {
+    event: RemediationEvent;
+    postimage: string | null;
+}
 export declare function readRemediationEvents(store: FileStateStore, task: TaskState): RemediationEvent[];
 export declare function readCorrectiveDecisionEvents(store: FileStateStore, task: TaskState): CorrectiveDecisionEvent[];
 export declare function defaultCorrectiveAuditorActor(taskId: string): string;
@@ -33,9 +37,14 @@ export declare function assertCorrectiveAuditorIndependence(store: FileStateStor
 export declare function readRemediationModeRecoveryEvents(store: FileStateStore, task: TaskState): RemediationModeRecoveryEvent[];
 export declare function readStopEscalateOverrideEvents(store: FileStateStore, task: TaskState): StopEscalateOverrideEvent[];
 export declare function stopEscalateOverrideDecisionEventIds(store: FileStateStore, task: TaskState): ReadonlySet<string>;
-export declare function appendRemediationEvent(store: FileStateStore, task: TaskState, stepId: string, failureKind: RemediationFailureKind, failureEvidence: RemediationFailureEvidence, planRiskAudit: CurrentPlanRiskAudit, now: Date, reboundStopOverrideDecisionEventId?: string | null): RemediationEvent;
-export declare function findRemediationModeRecoveryCandidate(store: FileStateStore, task: TaskState): RemediationModeRecoveryAssessment | null;
-export declare function assessRemediationModeRecovery(store: FileStateStore, task: TaskState, stepId: string, actor: string, writerToken: string | null): RemediationModeRecoveryAssessment;
+export declare function appendRemediationEvent(store: FileStateStore, task: TaskState, stepId: string, failureKind: RemediationFailureKind, failureEvidence: RemediationFailureEvidence, planRiskAudit: CurrentPlanRiskAudit, now: Date, reboundStopOverrideDecisionEventId?: string | null, causeBindings?: readonly RemediationCauseBinding[]): RemediationEvent;
+export declare function prepareRemediationEvent(store: FileStateStore, task: TaskState, stepId: string, failureKind: RemediationFailureKind, failureEvidence: RemediationFailureEvidence, planRiskAudit: CurrentPlanRiskAudit, now: Date, reboundStopOverrideDecisionEventId?: string | null, causeBindings?: readonly RemediationCauseBinding[]): PreparedRemediationEvent;
+export declare function findRemediationModeRecoveryCandidate(store: FileStateStore, task: TaskState, options?: {
+    authorityMode?: 'enforce' | 'observe';
+}): RemediationModeRecoveryAssessment | null;
+export declare function assessRemediationModeRecovery(store: FileStateStore, task: TaskState, stepId: string, actor: string, writerToken: string | null, options?: {
+    authorityMode?: 'enforce' | 'observe';
+}): RemediationModeRecoveryAssessment;
 export declare function appendRemediationModeRecovery(store: FileStateStore, task: TaskState, stepId: string, expectedRevision: number, actor: string, writerToken: string | null, now: Date): RemediationModeRecoveryEvent;
 export declare function appendCorrectiveDecisionEvent(store: FileStateStore, task: TaskState, stepId: string, correctiveAudit: CorrectivePlanAuditInput, planRiskAudit: CurrentPlanRiskAudit, planHash: string, now: Date): CorrectiveDecisionEvent;
 export declare function prepareStopEscalateOverride(store: FileStateStore, task: TaskState, stepId: string, expectedRevision: number, actor: string, reason: string, headCommit: string): StopEscalateOverridePreparation;
@@ -45,3 +54,5 @@ export declare function assertGuardedRemediationAttemptAllowed(store: FileStateS
 export declare function readGuardedRemediationPostureForStep(store: FileStateStore, task: TaskState, stepId: string, planRiskAudit: CurrentPlanRiskAudit): GuardedRemediationAttemptGate | null;
 export declare function findCurrentGuardedRemediationPosture(store: FileStateStore, task: TaskState, planRiskAudit: CurrentPlanRiskAudit): GuardedRemediationAttemptGate | null;
 export declare function findFailedGuardedStepRequiringCorrectiveDecision(store: FileStateStore, task: TaskState, planRiskAudit: CurrentPlanRiskAudit): GuardedRemediationAttemptGate | null;
+export declare function deriveRollingCauseDecision(remediationEvents: readonly RemediationEvent[]): 'same-task-fix' | 'root-cause-replan' | null;
+export declare function effectiveStepAllowedWrites(store: FileStateStore, task: TaskState, stepId: string): string[];