@amsterdamdatalabs/enact-operator 0.1.2

package/dist/shared/workflow/closure/scopeGuard.js

@@ -0,0 +1,69 @@
+import { readFileSync, readdirSync, statSync } from 'node:fs';
+import { join } from 'node:path';
+function collectMustNotHavePatterns(planPath) {
+    const content = readFileSync(planPath, 'utf8');
+    const inlineMatches = content.match(/Must NOT Have:\s*(.+)/i);
+    if (inlineMatches) {
+        return inlineMatches[1]
+            .split(',')
+            .map((pattern) => pattern.trim())
+            .filter(Boolean);
+    }
+    const lines = content.split(/\r?\n/);
+    const start = lines.findIndex((line) => /^#{1,6}\s+Must NOT Have\s*$/i.test(line.trim()));
+    if (start < 0) {
+        return [];
+    }
+    const patterns = [];
+    for (let i = start + 1; i < lines.length; i += 1) {
+        const line = lines[i];
+        if (/^#{1,6}\s+/.test(line.trim()))
+            break;
+        const match = line.match(/^\s*[-*]\s+(.+?)\s*$/);
+        if (match) {
+            patterns.push(match[1].trim());
+        }
+        else if (line.trim()) {
+            patterns.push(line.trim());
+        }
+    }
+    return patterns;
+}
+export function buildScopeGuard(planPath) {
+    return {
+        planPath,
+        patterns: collectMustNotHavePatterns(planPath),
+    };
+}
+function collectFiles(dir) {
+    const out = [];
+    for (const entry of readdirSync(dir, { withFileTypes: true })) {
+        const path = join(dir, entry.name);
+        if (entry.isDirectory()) {
+            out.push(...collectFiles(path));
+        }
+        else if (entry.isFile()) {
+            out.push(path);
+        }
+    }
+    return out;
+}
+export function runScopeGuard(guard, artefactDir) {
+    if (guard.patterns.length === 0) {
+        return [];
+    }
+    if (!statSync(artefactDir).isDirectory()) {
+        throw new Error(`scope guard artefactDir is not a directory: ${artefactDir}`);
+    }
+    const violations = [];
+    for (const filePath of collectFiles(artefactDir)) {
+        const content = readFileSync(filePath, 'utf8');
+        for (const pattern of guard.patterns) {
+            if (content.includes(pattern)) {
+                violations.push({ filePath, pattern });
+            }
+        }
+    }
+    return violations;
+}
+//# sourceMappingURL=scopeGuard.js.map

package/dist/shared/workflow/closure/scopeGuard.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scopeGuard.js","sourceRoot":"","sources":["../../../../src/shared/workflow/closure/scopeGuard.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC9D,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAYjC,SAAS,0BAA0B,CAAC,QAAgB;IAClD,MAAM,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC/C,MAAM,aAAa,GAAG,OAAO,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC;IAC9D,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO,aAAa,CAAC,CAAC,CAAC;aACpB,KAAK,CAAC,GAAG,CAAC;aACV,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;aAChC,MAAM,CAAC,OAAO,CAAC,CAAC;IACrB,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,8BAA8B,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC1F,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACd,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAAE,MAAM;QAC1C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC;QACjD,IAAI,KAAK,EAAE,CAAC;YACV,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACjC,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YACvB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,QAAgB;IAC9C,OAAO;QACL,QAAQ;QACR,QAAQ,EAAE,0BAA0B,CAAC,QAAQ,CAAC;KAC/C,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,GAAW;IAC/B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QAC9D,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;YACxB,GAAG,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;QAClC,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;YAC1B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,KAAiB,EAAE,WAAmB;IAClE,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;QACzC,MAAM,IAAI,KAAK,CAAC,+CAA+C,WAAW,EAAE,CAAC,CAAC;IAChF,CAAC;IAED,MAAM,UAAU,GAAqB,EAAE,CAAC;IACxC,KAAK,MAAM,QAAQ,IAAI,YAAY,CAAC,WAAW,CAAC,EAAE,CAAC;QACjD,MAAM,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC/C,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACrC,IAAI,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC9B,UAAU,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC"}

package/dist/shared/workflow/closure/ultragoalArtifact.d.ts

@@ -0,0 +1,13 @@
+import { z } from 'zod';
+export declare const ULTRAGOAL_SCHEMA_VERSION: 1;
+export declare const UltragoalArtifactSchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<1>;
+    id: z.ZodString;
+    createdAt: z.ZodString;
+    updatedAt: z.ZodString;
+    payload: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+}, z.core.$strip>;
+export type UltragoalArtifact = z.infer<typeof UltragoalArtifactSchema>;
+export declare function parseUltragoalArtifact(raw: unknown, idHint: string): UltragoalArtifact;
+export declare function parseUltragoalId(raw: unknown): string;
+//# sourceMappingURL=ultragoalArtifact.d.ts.map

package/dist/shared/workflow/closure/ultragoalArtifact.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ultragoalArtifact.d.ts","sourceRoot":"","sources":["../../../../src/shared/workflow/closure/ultragoalArtifact.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,eAAO,MAAM,wBAAwB,EAAG,CAAU,CAAC;AAKnD,eAAO,MAAM,uBAAuB;;;;;;iBAMlC,CAAC;AAEH,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAQxE,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,iBAAiB,CAMtF;AAED,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,OAAO,GAAG,MAAM,CAMrD"}

package/dist/shared/workflow/closure/ultragoalArtifact.js

@@ -0,0 +1,31 @@
+import { z } from 'zod';
+export const ULTRAGOAL_SCHEMA_VERSION = 1;
+const ULTRAGOAL_ID_PATTERN = /^[A-Za-z0-9._-]+$/;
+const UltragoalPayloadSchema = z.record(z.string(), z.unknown());
+export const UltragoalArtifactSchema = z.object({
+    schemaVersion: z.literal(ULTRAGOAL_SCHEMA_VERSION),
+    id: z.string().min(1).regex(ULTRAGOAL_ID_PATTERN),
+    createdAt: z.string().min(1),
+    updatedAt: z.string().min(1),
+    payload: UltragoalPayloadSchema,
+});
+function formatSchemaError(error) {
+    return error.issues
+        .map((issue) => `${issue.path.join('.') || '(root)'} ${issue.message}`)
+        .join('; ');
+}
+export function parseUltragoalArtifact(raw, idHint) {
+    const parsed = UltragoalArtifactSchema.safeParse(raw);
+    if (!parsed.success) {
+        throw new Error(`Malformed ultragoal "${idHint}": ${formatSchemaError(parsed.error)}`);
+    }
+    return parsed.data;
+}
+export function parseUltragoalId(raw) {
+    const parsed = z.string().min(1).regex(ULTRAGOAL_ID_PATTERN).safeParse(raw);
+    if (!parsed.success) {
+        throw new Error('operator_ultragoal: id must be a non-empty slug using only letters, numbers, dot, underscore, or dash');
+    }
+    return parsed.data;
+}
+//# sourceMappingURL=ultragoalArtifact.js.map

package/dist/shared/workflow/closure/ultragoalArtifact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ultragoalArtifact.js","sourceRoot":"","sources":["../../../../src/shared/workflow/closure/ultragoalArtifact.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAU,CAAC;AACnD,MAAM,oBAAoB,GAAG,mBAAmB,CAAC;AAEjD,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;AAEjE,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC9C,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC,wBAAwB,CAAC;IAClD,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC;IACjD,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5B,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5B,OAAO,EAAE,sBAAsB;CAChC,CAAC,CAAC;AAIH,SAAS,iBAAiB,CAAC,KAAiB;IAC1C,OAAO,KAAK,CAAC,MAAM;SAChB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,QAAQ,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;SACtE,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,GAAY,EAAE,MAAc;IACjE,MAAM,MAAM,GAAG,uBAAuB,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACtD,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,wBAAwB,MAAM,MAAM,iBAAiB,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACzF,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,GAAY;IAC3C,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAC5E,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,uGAAuG,CAAC,CAAC;IAC3H,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC"}

package/dist/shared/workflow/closure/workflowReconcile.d.ts

@@ -0,0 +1,70 @@
+import { type OperatorReviewItem } from '../../../operator/runtime.js';
+import { type OperatorTask } from '../../../shared/state/tasks.js';
+import type { EvidenceHorizon } from '../../../shared/core/events.js';
+import { type VerificationRun } from '../../../shared/workflow/delivery/reviewStaleness.js';
+export declare const DEFAULT_REVIEW_STALE_MS: number;
+export interface WorkflowReconcileTaskClassification {
+    taskId: string;
+    reviewId: string;
+    reason: 'missing-review-record' | 'review-stale';
+    ageMs?: number;
+    applied: boolean;
+}
+export interface WorkflowReconcileReviewClassification {
+    reviewId: string;
+    taskId: string;
+    reason: 'orphaned-review' | 'pending-no-review-state';
+    applied: boolean;
+}
+export interface WorkflowReconcileResult {
+    assessedAt: string;
+    staleThresholdMs: number;
+    summary: {
+        tasksReviewed: number;
+        staleTaskReviews: number;
+        orphanedReviews: number;
+        reviewInvalidations: number;
+        autoApplied: number;
+        status: 'reconciled' | 'unchanged';
+    };
+    staleTaskReviews: WorkflowReconcileTaskClassification[];
+    orphanedReviews: WorkflowReconcileReviewClassification[];
+    /** D6 — review convergence-state invalidations computed this reconcile pass. */
+    reviewInvalidations: ReviewInvalidationResult[];
+}
+export interface ReconcileOptions {
+    staleReviewAgeMs?: number;
+    apply?: boolean;
+    now?: string;
+    /** Optional evidence horizon for the ReconcileEvent persisted to ledger. */
+    evidenceHorizon?: EvidenceHorizon;
+    modeType?: 'ralph' | 'ultrawork' | 'autopilot';
+    modeId?: string;
+    /**
+     * D6 — verification runs to compare against review evidence horizons.
+     * When provided, computeReviewStaleState is run for every review and
+     * staleState / supersededBy are updated atomically with the verdict.
+     */
+    verificationRuns?: VerificationRun[];
+    /**
+     * D6 — optional map from reviewId → explicit failing gate IDs.
+     * Supplement or override gate IDs parsed from review.notes.
+     */
+    failingGateIds?: Map<string, string[]>;
+}
+/** Result of D6 review-invalidation for one review. */
+export interface ReviewInvalidationResult {
+    reviewId: string;
+    taskId: string;
+    before: {
+        staleState: OperatorReviewItem['staleState'];
+    };
+    after: {
+        staleState: OperatorReviewItem['staleState'];
+        supersededBy?: string;
+    };
+    trigger: 'P1' | 'P2' | 'P3' | null;
+    applied: boolean;
+}
+export declare function reconcileWorkflowState(root: string, tasks: OperatorTask[], reviews: OperatorReviewItem[], options?: ReconcileOptions): WorkflowReconcileResult;
+//# sourceMappingURL=workflowReconcile.d.ts.map

package/dist/shared/workflow/closure/workflowReconcile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflowReconcile.d.ts","sourceRoot":"","sources":["../../../../src/shared/workflow/closure/workflowReconcile.ts"],"names":[],"mappings":"AACA,OAAO,EAA8B,KAAK,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC5F,OAAO,EAAE,KAAK,YAAY,EAAc,MAAM,yBAAyB,CAAC;AAExE,OAAO,KAAK,EAAkB,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC/E,OAAO,EAA2B,KAAK,eAAe,EAAE,MAAM,+CAA+C,CAAC;AAG9G,eAAO,MAAM,uBAAuB,QAAsB,CAAC;AAE3D,MAAM,WAAW,mCAAmC;IAClD,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,uBAAuB,GAAG,cAAc,CAAC;IACjD,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,qCAAqC;IACpD,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,iBAAiB,GAAG,yBAAyB,CAAC;IACtD,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,uBAAuB;IACtC,UAAU,EAAE,MAAM,CAAC;IACnB,gBAAgB,EAAE,MAAM,CAAC;IACzB,OAAO,EAAE;QACP,aAAa,EAAE,MAAM,CAAC;QACtB,gBAAgB,EAAE,MAAM,CAAC;QACzB,eAAe,EAAE,MAAM,CAAC;QACxB,mBAAmB,EAAE,MAAM,CAAC;QAC5B,WAAW,EAAE,MAAM,CAAC;QACpB,MAAM,EAAE,YAAY,GAAG,WAAW,CAAC;KACpC,CAAC;IACF,gBAAgB,EAAE,mCAAmC,EAAE,CAAC;IACxD,eAAe,EAAE,qCAAqC,EAAE,CAAC;IACzD,gFAAgF;IAChF,mBAAmB,EAAE,wBAAwB,EAAE,CAAC;CACjD;AAoBD,MAAM,WAAW,gBAAgB;IAC/B,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,4EAA4E;IAC5E,eAAe,CAAC,EAAE,eAAe,CAAC;IAClC,QAAQ,CAAC,EAAE,OAAO,GAAG,WAAW,GAAG,WAAW,CAAC;IAC/C,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB;;;;OAIG;IACH,gBAAgB,CAAC,EAAE,eAAe,EAAE,CAAC;IACrC;;;OAGG;IACH,cAAc,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;CACxC;AAED,uDAAuD;AACvD,MAAM,WAAW,wBAAwB;IACvC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE;QAAE,UAAU,EAAE,kBAAkB,CAAC,YAAY,CAAC,CAAA;KAAE,CAAC;IACzD,KAAK,EAAE;QAAE,UAAU,EAAE,kBAAkB,CAAC,YAAY,CAAC,CAAC;QAAC,YAAY,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC/E,OAAO,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;IACnC,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,YAAY,EAAE,EACrB,OAAO,EAAE,kBAAkB,EAAE,EAC7B,OAAO,GAAE,gBAAqB,GAC7B,uBAAuB,CAuQzB"}

package/dist/shared/workflow/closure/workflowReconcile.js

@@ -0,0 +1,267 @@
+import { randomUUID } from 'node:crypto';
+import { appendLedger, updateReview } from '../../../operator/runtime.js';
+import { updateTask } from '../../../shared/state/tasks.js';
+import { createEvidenceHorizon } from '../../../shared/core/events.js';
+import { computeReviewStaleState } from '../../../shared/workflow/delivery/reviewStaleness.js';
+import { coalesceTaskId } from '../../../shared/core/terminology.js';
+export const DEFAULT_REVIEW_STALE_MS = 24 * 60 * 60 * 1000;
+function toReviewsByTaskId(reviews) {
+    const buckets = new Map();
+    for (const review of reviews) {
+        const taskId = coalesceTaskId(review);
+        if (!taskId)
+            continue;
+        const existing = buckets.get(taskId);
+        if (existing === undefined) {
+            buckets.set(taskId, [review]);
+        }
+        else {
+            existing.push(review);
+        }
+    }
+    for (const reviewList of buckets.values()) {
+        reviewList.sort((a, b) => b.updatedAt.localeCompare(a.updatedAt));
+    }
+    return buckets;
+}
+export function reconcileWorkflowState(root, tasks, reviews, options = {}) {
+    const now = options.now ?? new Date().toISOString();
+    const nowMs = Date.parse(now);
+    const staleThresholdMs = Math.max(options.staleReviewAgeMs ?? DEFAULT_REVIEW_STALE_MS, 0);
+    const apply = options.apply === true;
+    const reviewsByTaskId = toReviewsByTaskId(reviews);
+    const staleTaskReviews = [];
+    const orphanedReviews = [];
+    const tasksById = new Map(tasks.map((task) => [task.id, task]));
+    const reviewStateTasks = tasks.filter((task) => task.status === 'review');
+    const tasksReviewed = reviewStateTasks.length;
+    for (const task of reviewStateTasks) {
+        const taskReviews = reviewsByTaskId.get(task.id) ?? [];
+        if (taskReviews.length === 0) {
+            const classification = {
+                taskId: task.id,
+                reviewId: '',
+                reason: 'missing-review-record',
+                applied: false,
+            };
+            staleTaskReviews.push(classification);
+            continue;
+        }
+        if (task.reviewStatus !== 'pending') {
+            continue;
+        }
+        for (const review of taskReviews) {
+            if (review.status !== 'pending') {
+                continue;
+            }
+            const reviewAgeMs = nowMs - Date.parse(review.updatedAt);
+            if (reviewAgeMs < staleThresholdMs) {
+                continue;
+            }
+            const classification = {
+                taskId: task.id,
+                reviewId: review.id,
+                reason: 'review-stale',
+                ageMs: reviewAgeMs,
+                applied: false,
+            };
+            if (apply) {
+                updateTask(root, task.id, { reviewStale: true });
+                updateReview(root, review.id, { statusHint: 'stale' });
+                classification.applied = true;
+            }
+            staleTaskReviews.push(classification);
+        }
+    }
+    const reviewedTaskIds = new Set(tasksById.keys());
+    for (const review of reviews) {
+        const reviewTaskId = coalesceTaskId(review);
+        if (!reviewTaskId || !reviewedTaskIds.has(reviewTaskId)) {
+            const classification = {
+                reviewId: review.id,
+                taskId: reviewTaskId ?? '',
+                reason: 'orphaned-review',
+                applied: false,
+            };
+            if (apply && review.status === 'pending') {
+                updateReview(root, review.id, { statusHint: 'stale' });
+                classification.applied = true;
+            }
+            orphanedReviews.push(classification);
+            continue;
+        }
+        const task = reviewTaskId ? tasksById.get(reviewTaskId) : undefined;
+        if (task && task.status !== 'review' && review.status === 'pending') {
+            const classification = {
+                reviewId: review.id,
+                taskId: reviewTaskId,
+                reason: 'pending-no-review-state',
+                applied: false,
+            };
+            if (apply) {
+                updateReview(root, review.id, { statusHint: 'stale' });
+                classification.applied = true;
+            }
+            orphanedReviews.push(classification);
+        }
+    }
+    // ── D6: review invalidation rule ─────────────────────────────────────────────
+    // For every review, compute staleState via the three-predicate model and
+    // update staleState/supersededBy atomically with verdict (never rewriting it).
+    const reviewInvalidations = [];
+    if (options.verificationRuns && options.verificationRuns.length > 0) {
+        for (const review of reviews) {
+            const gateIds = options.failingGateIds?.get(review.id);
+            const { staleState: newStaleState, trigger } = computeReviewStaleState(review, options.verificationRuns, gateIds);
+            const oldStaleState = review.staleState;
+            const changed6 = newStaleState !== 'current' && newStaleState !== oldStaleState;
+            if (!changed6)
+                continue;
+            // Determine supersededBy: pick the newest run that drove the result.
+            const supersededBy = newStaleState === 'superseded'
+                ? options.verificationRuns
+                    .filter((r) => r.runTimestamp > (review.evidenceHorizon?.verificationRunTimestamp ?? ''))
+                    .sort((a, b) => b.runTimestamp.localeCompare(a.runTimestamp))[0]?.runId
+                : undefined;
+            const invalidation = {
+                reviewId: review.id,
+                taskId: coalesceTaskId(review) ?? '',
+                before: { staleState: oldStaleState },
+                after: { staleState: newStaleState, supersededBy },
+                trigger,
+                applied: false,
+            };
+            if (apply) {
+                updateReview(root, review.id, {
+                    staleState: newStaleState,
+                    supersededBy,
+                });
+                invalidation.applied = true;
+                // Mutate the in-memory copy so downstream staleEntities reflect reality.
+                review.staleState = newStaleState;
+                review.supersededBy = supersededBy;
+            }
+            reviewInvalidations.push(invalidation);
+        }
+    }
+    let autoApplied = 0;
+    for (const stale of staleTaskReviews) {
+        if (stale.applied)
+            autoApplied += 1;
+    }
+    for (const orphan of orphanedReviews) {
+        if (orphan.applied)
+            autoApplied += 1;
+    }
+    for (const inv of reviewInvalidations) {
+        if (inv.applied)
+            autoApplied += 1;
+    }
+    const changed = staleTaskReviews.some((entry) => entry.applied) ||
+        orphanedReviews.some((entry) => entry.applied) ||
+        reviewInvalidations.some((entry) => entry.applied);
+    // ── D11: emit ReconcileEvent to ledger ──────────────────────────────────────
+    const correlationId = `reconcile_${randomUUID().slice(0, 12)}`;
+    const evidenceHorizon = options.evidenceHorizon ?? createEvidenceHorizon(root);
+    const staleEntities = [
+        ...staleTaskReviews
+            .filter((s) => s.reason === 'review-stale' && s.reviewId !== '')
+            .map((s) => ({
+            entityType: 'review',
+            entityId: s.reviewId,
+            reason: 'evidence_outdated',
+            trigger: 'P1',
+        })),
+        ...staleTaskReviews
+            .filter((s) => s.reason === 'missing-review-record')
+            .map((s) => ({
+            entityType: 'task',
+            entityId: s.taskId,
+            reason: 'evidence_outdated',
+            trigger: 'P1',
+        })),
+        // D6 — map trigger to reason for ReconcileEvent
+        ...reviewInvalidations.map((inv) => ({
+            entityType: 'review',
+            entityId: inv.reviewId,
+            reason: (inv.trigger === 'P2'
+                ? 'result_flipped'
+                : inv.trigger === 'P1'
+                    ? 'commit_advanced'
+                    : 'evidence_outdated'),
+            trigger: (inv.trigger ?? 'P1'),
+        })),
+    ];
+    const autoAppliedEntities = [
+        ...staleTaskReviews
+            .filter((s) => s.applied && s.reviewId !== '')
+            .map((s) => ({
+            entityType: 'review',
+            entityId: s.reviewId,
+            change: 'statusHint=stale',
+        })),
+        ...staleTaskReviews
+            .filter((s) => s.applied && s.reason === 'missing-review-record')
+            .map((s) => ({
+            entityType: 'task',
+            entityId: s.taskId,
+            change: 'reviewStale=true',
+        })),
+        ...orphanedReviews
+            .filter((o) => o.applied)
+            .map((o) => ({
+            entityType: 'review',
+            entityId: o.reviewId,
+            change: 'statusHint=stale',
+        })),
+        // D6 — applied invalidation updates
+        ...reviewInvalidations
+            .filter((inv) => inv.applied)
+            .map((inv) => ({
+            entityType: 'review',
+            entityId: inv.reviewId,
+            change: `staleState=${inv.after.staleState}${inv.after.supersededBy ? `,supersededBy=${inv.after.supersededBy}` : ''}`,
+        })),
+    ];
+    const requiresOperatorDecision = orphanedReviews
+        .filter((o) => !o.applied && o.reason === 'orphaned-review')
+        .map((o) => ({
+        entityType: 'review',
+        entityId: o.reviewId,
+        description: `Review ${o.reviewId} references unknown task ${o.taskId}`,
+    }));
+    const reconcileEvent = {
+        kind: 'reconcile',
+        action: 'reconcile_complete',
+        schemaVersion: 1,
+        correlationId,
+        modeType: options.modeType,
+        modeId: options.modeId,
+        evidenceHorizon,
+        staleEntities,
+        autoApplied: autoAppliedEntities,
+        requiresOperatorDecision,
+    };
+    appendLedger(root, {
+        kind: 'reconcile',
+        action: reconcileEvent.action,
+        detail: `Reconcile complete: ${staleEntities.length} stale, ${autoAppliedEntities.length} auto-applied, ${requiresOperatorDecision.length} operator-decision`,
+        metadata: reconcileEvent,
+    });
+    return {
+        assessedAt: now,
+        staleThresholdMs,
+        summary: {
+            tasksReviewed,
+            staleTaskReviews: staleTaskReviews.length,
+            orphanedReviews: orphanedReviews.length,
+            reviewInvalidations: reviewInvalidations.length,
+            autoApplied,
+            status: changed ? 'reconciled' : 'unchanged',
+        },
+        staleTaskReviews,
+        orphanedReviews,
+        reviewInvalidations,
+    };
+}
+//# sourceMappingURL=workflowReconcile.js.map

package/dist/shared/workflow/closure/workflowReconcile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflowReconcile.js","sourceRoot":"","sources":["../../../../src/shared/workflow/closure/workflowReconcile.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,YAAY,EAA2B,MAAM,uBAAuB,CAAC;AAC5F,OAAO,EAAqB,UAAU,EAAE,MAAM,yBAAyB,CAAC;AACxE,OAAO,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAEhE,OAAO,EAAE,uBAAuB,EAAwB,MAAM,+CAA+C,CAAC;AAC9G,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAE9D,MAAM,CAAC,MAAM,uBAAuB,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;AAkC3D,SAAS,iBAAiB,CAAC,OAA6B;IACtD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAgC,CAAC;IACxD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;QACtC,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;QAChC,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IACD,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QAC1C,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAiCD,MAAM,UAAU,sBAAsB,CACpC,IAAY,EACZ,KAAqB,EACrB,OAA6B,EAC7B,UAA4B,EAAE;IAE9B,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACpD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC9B,MAAM,gBAAgB,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,gBAAgB,IAAI,uBAAuB,EAAE,CAAC,CAAC,CAAC;IAC1F,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,KAAK,IAAI,CAAC;IAErC,MAAM,eAAe,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACnD,MAAM,gBAAgB,GAA0C,EAAE,CAAC;IACnE,MAAM,eAAe,GAA4C,EAAE,CAAC;IACpE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAChE,MAAM,gBAAgB,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;IAC1E,MAAM,aAAa,GAAG,gBAAgB,CAAC,MAAM,CAAC;IAE9C,KAAK,MAAM,IAAI,IAAI,gBAAgB,EAAE,CAAC;QACpC,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QACvD,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,MAAM,cAAc,GAAwC;gBAC1D,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,QAAQ,EAAE,EAAE;gBACZ,MAAM,EAAE,uBAAuB;gBAC/B,OAAO,EAAE,KAAK;aACf,CAAC;YACF,gBAAgB,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YACtC,SAAS;QACX,CAAC;QAED,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;YACpC,SAAS;QACX,CAAC;QAED,KAAK,MAAM,MAAM,IAAI,WAAW,EAAE,CAAC;YACjC,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBAChC,SAAS;YACX,CAAC;YACD,MAAM,WAAW,GAAG,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YACzD,IAAI,WAAW,GAAG,gBAAgB,EAAE,CAAC;gBACnC,SAAS;YACX,CAAC;YACD,MAAM,cAAc,GAAwC;gBAC1D,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,QAAQ,EAAE,MAAM,CAAC,EAAE;gBACnB,MAAM,EAAE,cAAc;gBACtB,KAAK,EAAE,WAAW;gBAClB,OAAO,EAAE,KAAK;aACf,CAAC;YACF,IAAI,KAAK,EAAE,CAAC;gBACV,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;gBACjD,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC;gBACvD,cAAc,CAAC,OAAO,GAAG,IAAI,CAAC;YAChC,CAAC;YACD,gBAAgB,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IAED,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;IAClD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,YAAY,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;QAC5C,IAAI,CAAC,YAAY,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;YACxD,MAAM,cAAc,GAA0C;gBAC5D,QAAQ,EAAE,MAAM,CAAC,EAAE;gBACnB,MAAM,EAAE,YAAY,IAAI,EAAE;gBAC1B,MAAM,EAAE,iBAAiB;gBACzB,OAAO,EAAE,KAAK;aACf,CAAC;YACF,IAAI,KAAK,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC;gBACvD,cAAc,CAAC,OAAO,GAAG,IAAI,CAAC;YAChC,CAAC;YACD,eAAe,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YACrC,SAAS;QACX,CAAC;QAED,MAAM,IAAI,GAAG,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACpE,IAAI,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACpE,MAAM,cAAc,GAA0C;gBAC5D,QAAQ,EAAE,MAAM,CAAC,EAAE;gBACnB,MAAM,EAAE,YAAY;gBACpB,MAAM,EAAE,yBAAyB;gBACjC,OAAO,EAAE,KAAK;aACf,CAAC;YACF,IAAI,KAAK,EAAE,CAAC;gBACV,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC;gBACvD,cAAc,CAAC,OAAO,GAAG,IAAI,CAAC;YAChC,CAAC;YACD,eAAe,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IAED,gFAAgF;IAChF,yEAAyE;IACzE,+EAA+E;IAC/E,MAAM,mBAAmB,GAA+B,EAAE,CAAC;IAC3D,IAAI,OAAO,CAAC,gBAAgB,IAAI,OAAO,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpE,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACvD,MAAM,EAAE,UAAU,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG,uBAAuB,CACpE,MAAM,EACN,OAAO,CAAC,gBAAgB,EACxB,OAAO,CACR,CAAC;YACF,MAAM,aAAa,GAAG,MAAM,CAAC,UAAU,CAAC;YACxC,MAAM,QAAQ,GAAG,aAAa,KAAK,SAAS,IAAI,aAAa,KAAK,aAAa,CAAC;YAChF,IAAI,CAAC,QAAQ;gBAAE,SAAS;YAExB,qEAAqE;YACrE,MAAM,YAAY,GAChB,aAAa,KAAK,YAAY;gBAC5B,CAAC,CAAC,OAAO,CAAC,gBAAgB;qBACrB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,MAAM,CAAC,eAAe,EAAE,wBAAwB,IAAI,EAAE,CAAC,CAAC;qBACxF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK;gBAC3E,CAAC,CAAC,SAAS,CAAC;YAEhB,MAAM,YAAY,GAA6B;gBAC7C,QAAQ,EAAE,MAAM,CAAC,EAAE;gBACnB,MAAM,EAAE,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE;gBACpC,MAAM,EAAE,EAAE,UAAU,EAAE,aAAa,EAAE;gBACrC,KAAK,EAAE,EAAE,UAAU,EAAE,aAAa,EAAE,YAAY,EAAE;gBAClD,OAAO;gBACP,OAAO,EAAE,KAAK;aACf,CAAC;YAEF,IAAI,KAAK,EAAE,CAAC;gBACV,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE;oBAC5B,UAAU,EAAE,aAAa;oBACzB,YAAY;iBACb,CAAC,CAAC;gBACH,YAAY,CAAC,OAAO,GAAG,IAAI,CAAC;gBAC5B,yEAAyE;gBACzE,MAAM,CAAC,UAAU,GAAG,aAAa,CAAC;gBAClC,MAAM,CAAC,YAAY,GAAG,YAAY,CAAC;YACrC,CAAC;YAED,mBAAmB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IAED,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,KAAK,MAAM,KAAK,IAAI,gBAAgB,EAAE,CAAC;QACrC,IAAI,KAAK,CAAC,OAAO;YAAE,WAAW,IAAI,CAAC,CAAC;IACtC,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,eAAe,EAAE,CAAC;QACrC,IAAI,MAAM,CAAC,OAAO;YAAE,WAAW,IAAI,CAAC,CAAC;IACvC,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,mBAAmB,EAAE,CAAC;QACtC,IAAI,GAAG,CAAC,OAAO;YAAE,WAAW,IAAI,CAAC,CAAC;IACpC,CAAC;IAED,MAAM,OAAO,GACX,gBAAgB,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC;QAC/C,eAAe,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC;QAC9C,mBAAmB,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAErD,+EAA+E;IAC/E,MAAM,aAAa,GAAG,aAAa,UAAU,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;IAC/D,MAAM,eAAe,GAAG,OAAO,CAAC,eAAe,IAAI,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAE/E,MAAM,aAAa,GAAoC;QACrD,GAAG,gBAAgB;aAChB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,cAAc,IAAI,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC;aAC/D,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACX,UAAU,EAAE,QAAiB;YAC7B,QAAQ,EAAE,CAAC,CAAC,QAAQ;YACpB,MAAM,EAAE,mBAA4B;YACpC,OAAO,EAAE,IAAa;SACvB,CAAC,CAAC;QACL,GAAG,gBAAgB;aAChB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,uBAAuB,CAAC;aACnD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACX,UAAU,EAAE,MAAe;YAC3B,QAAQ,EAAE,CAAC,CAAC,MAAM;YAClB,MAAM,EAAE,mBAA4B;YACpC,OAAO,EAAE,IAAa;SACvB,CAAC,CAAC;QACL,gDAAgD;QAChD,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YACnC,UAAU,EAAE,QAAiB;YAC7B,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,MAAM,EAAE,CACN,GAAG,CAAC,OAAO,KAAK,IAAI;gBAClB,CAAC,CAAC,gBAAgB;gBAClB,CAAC,CAAC,GAAG,CAAC,OAAO,KAAK,IAAI;oBACpB,CAAC,CAAC,iBAAiB;oBACnB,CAAC,CAAC,mBAAmB,CAC2B;YACtD,OAAO,EAAE,CAAC,GAAG,CAAC,OAAO,IAAI,IAAI,CAAuD;SACrF,CAAC,CAAC;KACJ,CAAC;IAEF,MAAM,mBAAmB,GAAkC;QACzD,GAAG,gBAAgB;aAChB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC;aAC7C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACX,UAAU,EAAE,QAAiB;YAC7B,QAAQ,EAAE,CAAC,CAAC,QAAQ;YACpB,MAAM,EAAE,kBAAkB;SAC3B,CAAC,CAAC;QACL,GAAG,gBAAgB;aAChB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,MAAM,KAAK,uBAAuB,CAAC;aAChE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACX,UAAU,EAAE,MAAe;YAC3B,QAAQ,EAAE,CAAC,CAAC,MAAM;YAClB,MAAM,EAAE,kBAAkB;SAC3B,CAAC,CAAC;QACL,GAAG,eAAe;aACf,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;aACxB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACX,UAAU,EAAE,QAAiB;YAC7B,QAAQ,EAAE,CAAC,CAAC,QAAQ;YACpB,MAAM,EAAE,kBAAkB;SAC3B,CAAC,CAAC;QACL,oCAAoC;QACpC,GAAG,mBAAmB;aACnB,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC;aAC5B,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YACb,UAAU,EAAE,QAAiB;YAC7B,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,MAAM,EAAE,cAAc,GAAG,CAAC,KAAK,CAAC,UAAU,GAAG,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,iBAAiB,GAAG,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;SACvH,CAAC,CAAC;KACN,CAAC;IAEF,MAAM,wBAAwB,GAA+C,eAAe;SACzF,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,MAAM,KAAK,iBAAiB,CAAC;SAC3D,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,UAAU,EAAE,QAAiB;QAC7B,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,WAAW,EAAE,UAAU,CAAC,CAAC,QAAQ,4BAA4B,CAAC,CAAC,MAAM,EAAE;KACxE,CAAC,CAAC,CAAC;IAEN,MAAM,cAAc,GAAmB;QACrC,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,oBAAoB;QAC5B,aAAa,EAAE,CAAC;QAChB,aAAa;QACb,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,eAAe;QACf,aAAa;QACb,WAAW,EAAE,mBAAmB;QAChC,wBAAwB;KACzB,CAAC;IAEF,YAAY,CAAC,IAAI,EAAE;QACjB,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,cAAc,CAAC,MAAM;QAC7B,MAAM,EAAE,uBAAuB,aAAa,CAAC,MAAM,WAAW,mBAAmB,CAAC,MAAM,kBAAkB,wBAAwB,CAAC,MAAM,oBAAoB;QAC7J,QAAQ,EAAE,cAAoD;KAC/D,CAAC,CAAC;IAEH,OAAO;QACL,UAAU,EAAE,GAAG;QACf,gBAAgB;QAChB,OAAO,EAAE;YACP,aAAa;YACb,gBAAgB,EAAE,gBAAgB,CAAC,MAAM;YACzC,eAAe,EAAE,eAAe,CAAC,MAAM;YACvC,mBAAmB,EAAE,mBAAmB,CAAC,MAAM;YAC/C,WAAW;YACX,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,WAAW;SAC7C;QACD,gBAAgB;QAChB,eAAe;QACf,mBAAmB;KACpB,CAAC;AACJ,CAAC"}

package/dist/shared/workflow/continuation/continuation.d.ts

@@ -0,0 +1,109 @@
+import { type OperatorAuthority, type StopVerdict, type OperatorTask } from '../../../operator/operatorCore.js';
+export type ContinuationStatus = 'idle' | 'blocked' | 'cleared';
+export type ContinuationLane = 'ralph' | 'ultrawork' | 'autopilot' | 'team' | 'none';
+export interface ContinuationState {
+    schemaVersion: 1;
+    status: ContinuationStatus;
+    lane: ContinuationLane;
+    laneId: string | null;
+    blockedAt: string | null;
+    clearedAt: string | null;
+    updatedAt: string;
+    denyCount: number;
+    lastProgressAt: string | null;
+    lastProgressSource: string | null;
+    reason: string | null;
+    blockers: string[];
+    blockerCategories: string[];
+    recommendedTools: string[];
+    resumeHint: string | null;
+    lastSessionId: string | null;
+    lastTranscriptPath: string | null;
+    idleTurnCount: number;
+    reminderCount: number;
+    lastReminderAt: string | null;
+    lastReminderSource: string | null;
+    lastSessionEndAt: string | null;
+    lastActivityAt: string | null;
+    lastActivitySource: string | null;
+    idleThresholdMs: number;
+    pendingTaskIds: string[];
+    pendingTaskTitles: string[];
+    pendingReviewTaskIds: string[];
+    pendingMessageIds: string[];
+    consecutiveFailureCount: number;
+    laneSyncGatedAt: string | null;
+    /** Phase 2 — child agent ids currently running under the parent session (best-effort). */
+    activeSubagentIds?: string[];
+    lastSubagentLifecycleAt?: string | null;
+    lastSubagentLifecycleSource?: string | null;
+}
+export interface LogicalIdleStatus {
+    lastActivityAt: string | null;
+    lastActivitySource: string | null;
+    idleThresholdMs: number;
+    idleDurationMs: number | null;
+    isLogicalIdle: boolean;
+}
+export type { ContinuationEventReservationResult } from '../../../shared/workflow/continuation/continuationEventReservations.js';
+export { reserveContinuationEvent, clearContinuationEventReservations } from '../../../shared/workflow/continuation/continuationEventReservations.js';
+export declare const FAILURE_ESCALATION_THRESHOLD = 3;
+export declare const LANE_SYNC_GATE_THRESHOLD = 8;
+export declare function readContinuationState(root: string): ContinuationState;
+export declare function writeContinuationState(root: string, state: ContinuationState): ContinuationState;
+export declare function logicalIdleStatus(state: ContinuationState, nowMs?: number): LogicalIdleStatus;
+export declare function readLogicalIdleStatus(root: string, nowMs?: number): LogicalIdleStatus;
+export declare function touchContinuationActivity(root: string, source: string): ContinuationState;
+export interface ContinuationGuidance {
+    lane: ContinuationLane;
+    laneId: string | null;
+    recommendedTools: string[];
+    resumeHint: string;
+    pendingTaskIds: string[];
+    pendingTaskTitles: string[];
+    pendingLocalTaskIds: string[];
+    pendingLocalTaskTitles: string[];
+    pendingReviewTaskIds: string[];
+    pendingMessageIds: string[];
+}
+export declare function hasPendingLocalTasks(input: Pick<ContinuationGuidance, 'pendingLocalTaskIds'>): boolean;
+export declare function hasPendingReviewOrMessage(guidance: Pick<ContinuationGuidance, 'pendingReviewTaskIds' | 'pendingMessageIds'>): boolean;
+export declare function formatMandatoryLocalContinuationContext(guidance: Pick<ContinuationGuidance, 'pendingLocalTaskIds' | 'resumeHint'>, before: string): string | null;
+export declare function continuationReminderThresholdForGuidance(guidance: Pick<ContinuationGuidance, 'pendingLocalTaskIds'>, threshold?: number): number;
+export declare function isLaneSyncGated(state: ContinuationState, guidance: Pick<ContinuationGuidance, 'pendingLocalTaskIds'>, threshold?: number): boolean;
+export interface TeamContinuationPayload {
+    id: string;
+    active: boolean;
+    taskQueue: string[];
+    executors: Array<{
+        pendingInjectedMessageIds: string[];
+        assignedTaskIds: string[];
+    }>;
+}
+export declare function buildTeamContinuationGuidance(team: TeamContinuationPayload, tasks: OperatorTask[], inbox: Array<{
+    status: string;
+}>): ContinuationGuidance;
+export declare function refreshContinuationTeamSignals(root: string, team: TeamContinuationPayload | null, tasks: OperatorTask[], inbox: Array<{
+    status: string;
+}>, source: string, progressNote: string): ContinuationState;
+export declare function recordSubagentStartedOnContinuation(root: string, agentId: string, source: string): ContinuationState;
+export declare function recordSubagentStoppedOnContinuation(root: string, agentId: string, source: string): ContinuationState;
+export declare function buildContinuationGuidance(authority: OperatorAuthority): ContinuationGuidance;
+export declare function markContinuationBlocked(root: string, authority: OperatorAuthority, verdict: StopVerdict, input?: {
+    sessionId?: string | null;
+    transcriptPath?: string | null;
+}): ContinuationState;
+export declare function clearContinuationState(root: string, reason: string, source: string): ContinuationState;
+export declare function recordContinuationFailure(root: string, authority: OperatorAuthority, source: string): ContinuationState;
+export declare function clearConsecutiveFailures(root: string, source: string): ContinuationState;
+export declare function resetContinuationState(root: string, reason: string, source: string): ContinuationState;
+export declare function recordContinuationObservation(root: string, authority: OperatorAuthority, source: string): ContinuationState;
+export declare function maybeRecordContinuationReminder(root: string, authority: OperatorAuthority, source: string, threshold?: number): {
+    state: ContinuationState;
+    remind: boolean;
+};
+export declare function recordContinuationSessionEnd(root: string, authority: OperatorAuthority, input?: {
+    sessionId?: string | null;
+    transcriptPath?: string | null;
+}): ContinuationState;
+//# sourceMappingURL=continuation.d.ts.map

package/dist/shared/workflow/continuation/continuation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"continuation.d.ts","sourceRoot":"","sources":["../../../../src/shared/workflow/continuation/continuation.ts"],"names":[],"mappings":"AACA,OAAO,EAAmC,KAAK,iBAAiB,EAAE,KAAK,WAAW,EAAqB,KAAK,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAG7J,MAAM,MAAM,kBAAkB,GAAG,MAAM,GAAG,SAAS,GAAG,SAAS,CAAC;AAChE,MAAM,MAAM,gBAAgB,GAAG,OAAO,GAAG,WAAW,GAAG,WAAW,GAAG,MAAM,GAAG,MAAM,CAAC;AAErF,MAAM,WAAW,iBAAiB;IAChC,aAAa,EAAE,CAAC,CAAC;IACjB,MAAM,EAAE,kBAAkB,CAAC;IAC3B,IAAI,EAAE,gBAAgB,CAAC;IACvB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,eAAe,EAAE,MAAM,CAAC;IACxB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,uBAAuB,EAAE,MAAM,CAAC;IAChC,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,0FAA0F;IAC1F,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,uBAAuB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACxC,2BAA2B,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAC7C;AAED,MAAM,WAAW,iBAAiB;IAChC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,eAAe,EAAE,MAAM,CAAC;IACxB,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,aAAa,EAAE,OAAO,CAAC;CACxB;AAID,YAAY,EAAE,kCAAkC,EAAE,MAAM,iEAAiE,CAAC;AAC1H,OAAO,EAAE,wBAAwB,EAAE,kCAAkC,EAAE,MAAM,iEAAiE,CAAC;AAE/I,eAAO,MAAM,4BAA4B,IAAI,CAAC;AAC9C,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAiD1C,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,iBAAiB,CAWrE;AAED,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,iBAAiB,GAAG,iBAAiB,CAQhG;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,iBAAiB,EAAE,KAAK,SAAa,GAAG,iBAAiB,CAUjG;AAED,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,SAAa,GAAG,iBAAiB,CAEzF;AAED,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,iBAAiB,CAOzF;AAED,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,gBAAgB,CAAC;IACvB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,sBAAsB,EAAE,MAAM,EAAE,CAAC;IACjC,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,iBAAiB,EAAE,MAAM,EAAE,CAAC;CAC7B;AAuCD,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,IAAI,CAAC,oBAAoB,EAAE,qBAAqB,CAAC,GAAG,OAAO,CAEtG;AAED,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,IAAI,CAAC,oBAAoB,EAAE,sBAAsB,GAAG,mBAAmB,CAAC,GACjF,OAAO,CAET;AAED,wBAAgB,uCAAuC,CACrD,QAAQ,EAAE,IAAI,CAAC,oBAAoB,EAAE,qBAAqB,GAAG,YAAY,CAAC,EAC1E,MAAM,EAAE,MAAM,GACb,MAAM,GAAG,IAAI,CAKf;AAED,wBAAgB,wCAAwC,CACtD,QAAQ,EAAE,IAAI,CAAC,oBAAoB,EAAE,qBAAqB,CAAC,EAC3D,SAAS,SAAK,GACb,MAAM,CAOR;AAED,wBAAgB,eAAe,CAC7B,KAAK,EAAE,iBAAiB,EACxB,QAAQ,EAAE,IAAI,CAAC,oBAAoB,EAAE,qBAAqB,CAAC,EAC3D,SAAS,SAA2B,GACnC,OAAO,CAET;AAuHD,MAAM,WAAW,uBAAuB;IACtC,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,OAAO,CAAC;IAChB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,SAAS,EAAE,KAAK,CAAC;QAAE,yBAAyB,EAAE,MAAM,EAAE,CAAC;QAAC,eAAe,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;CACtF;AAMD,wBAAgB,6BAA6B,CAC3C,IAAI,EAAE,uBAAuB,EAC7B,KAAK,EAAE,YAAY,EAAE,EACrB,KAAK,EAAE,KAAK,CAAC;IAAE,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,GAC/B,oBAAoB,CAsBtB;AAED,wBAAgB,8BAA8B,CAC5C,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,uBAAuB,GAAG,IAAI,EACpC,KAAK,EAAE,YAAY,EAAE,EACrB,KAAK,EAAE,KAAK,CAAC;IAAE,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,EAChC,MAAM,EAAE,MAAM,EACd,YAAY,EAAE,MAAM,GACnB,iBAAiB,CA2BnB;AAED,wBAAgB,mCAAmC,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,iBAAiB,CAYpH;AAED,wBAAgB,mCAAmC,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,iBAAiB,CAWpH;AAED,wBAAgB,yBAAyB,CAAC,SAAS,EAAE,iBAAiB,GAAG,oBAAoB,CAiB5F;AAED,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,iBAAiB,EAC5B,OAAO,EAAE,WAAW,EACpB,KAAK,CAAC,EAAE;IAAE,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,cAAc,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,GACpE,iBAAiB,CAkCnB;AAED,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,GACb,iBAAiB,CAuBnB;AAED,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,iBAAiB,EAC5B,MAAM,EAAE,MAAM,GACb,iBAAiB,CAuBnB;AAED,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,iBAAiB,CAQxF;AAED,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,iBAAiB,CAgBtG;AAWD,wBAAgB,6BAA6B,CAC3C,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,iBAAiB,EAC5B,MAAM,EAAE,MAAM,GACb,iBAAiB,CA8BnB;AAED,wBAAgB,+BAA+B,CAC7C,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,iBAAiB,EAC5B,MAAM,EAAE,MAAM,EACd,SAAS,SAAI,GACZ;IAAE,KAAK,EAAE,iBAAiB,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE,CAgB/C;AAED,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,iBAAiB,EAC5B,KAAK,CAAC,EAAE;IAAE,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,cAAc,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,GACpE,iBAAiB,CAmBnB"}