@blxzer/pactile 0.5.0 → 0.6.0-beta.4

package/dist/core/task/task-kernel-runs.js

@@ -0,0 +1,196 @@
+import { randomUUID } from "node:crypto";
+import { KernelError, requireNonEmptyString } from "./kernel-contract.js";
+import { appendDomainEvent, appendPhase, mutateTaskKernel } from "./task-kernel-store-v2.js";
+import { createTaskCandidateSnapshot, fingerprintTaskValue, parseDurations, parseAuthorization, parseFailure, parseHostBinding, parseMeasurementRefs, parseRunInput, parseStringArray, parseWorkspaceBinding, requireArrayEntry, } from "./task-kernel-schema.js";
+import { assertHardDependenciesSatisfied, canonicalProjectRoot } from "./task-kernel-paths.js";
+import { createTaskCandidateEntry, isRunCandidateObservationEntry, isTaskRunPathInWriteSet, observeTaskRunRepositoryBaseline, observeTaskRunCandidate, } from "./task-candidate-observer.js";
+import { freezeTaskRunEvidenceV1 } from "./task-review-evidence.js";
+export function startTaskRun(request) {
+    const root = canonicalProjectRoot(request.root, request.cwd);
+    const actor = requireNonEmptyString(request.actor, "actor");
+    const fingerprint = fingerprintTaskValue({ actor, input: request.input, authorization: request.authorization, initialState: request.initialState ?? "running", writeSetSnapshot: request.writeSetSnapshot ?? request.workspace?.writeSet ?? [], estimatedDurations: request.estimatedDurations ?? null, workspace: request.workspace ?? null, host: request.host ?? null });
+    return mutateTaskKernel(root, request.taskDir, request.expectedRevision, actor, request.idempotencyKey, fingerprint, request.cwd, (current, dir) => {
+        if (current.closure || current.phase === "close")
+            throw new KernelError("INVALID_TRANSITION", "closed Tasks cannot start another Run");
+        if (current.runs.some((run) => run.state === "running" || run.state === "waiting"))
+            throw new KernelError("INVALID_TRANSITION", "Task already has an active or waiting Run");
+        assertHardDependenciesSatisfied(root, current.definition.dependencies, dir);
+        const input = parseRunInput(request.input, "input");
+        const authorization = parseAuthorization(request.authorization, "authorization");
+        const initialState = request.initialState ?? "running";
+        if (initialState !== "running" && initialState !== "waiting")
+            throw new KernelError("INVALID_REQUEST", "initialState must be running or waiting");
+        const writeSetSnapshot = parseStringArray(request.writeSetSnapshot ?? request.workspace?.writeSet ?? [], "writeSetSnapshot", true);
+        const estimatedDurations = parseDurations(request.estimatedDurations ?? {}, "estimatedDurations");
+        const id = randomUUID();
+        const workspace = request.workspace ? parseWorkspaceBinding({ ...request.workspace, ownerRunId: id }, id, "workspace") : null;
+        const candidateBaseline = workspace
+            ? {
+                candidateBaseSha: workspace.baseSha,
+                candidateBaseBranch: workspace.branch,
+                candidateFileBaseline: null,
+            }
+            : observeTaskRunRepositoryBaseline(root, writeSetSnapshot);
+        const host = request.host ? parseHostBinding({
+            ...request.host,
+            kernelRevision: request.expectedRevision,
+            contractFingerprint: fingerprintTaskValue(current.definition),
+        }, "host") : null;
+        const run = {
+            id, taskId: current.identity.taskId, attempt: current.runs.length + 1, sequence: current.runs.length + 1,
+            state: initialState, startedAt: new Date().toISOString(), startedBy: actor,
+            input, authorization, workspace, host,
+            candidateBaseSha: candidateBaseline.candidateBaseSha,
+            candidateBaseBranch: candidateBaseline.candidateBaseBranch,
+            candidateFileBaseline: candidateBaseline.candidateFileBaseline,
+            candidateSnapshot: null, result: null, failure: null, completedAt: null,
+            writeSetSnapshot, estimatedDurations,
+            measurementRefs: { execution: null, waiting: null, review: null },
+        };
+        let kernel = current;
+        if (kernel.phase === "define")
+            kernel = appendPhase(kernel, "approve", actor, `${request.idempotencyKey}#approve`, "Run authorization recorded.");
+        if (kernel.phase === "approve" || kernel.phase === "verify")
+            kernel = appendPhase(kernel, "execute", actor, `${request.idempotencyKey}#execute`, "Run started.");
+        else if (kernel.phase === "execute")
+            kernel = appendPhase(kernel, "execute", actor, `${request.idempotencyKey}#execute`, "Run started.");
+        else
+            throw new KernelError("INVALID_TRANSITION", `cannot start a Run from Kernel phase ${kernel.phase}`);
+        const next = { ...kernel, condition: initialState === "waiting" ? "waiting" : "active", runs: [...kernel.runs, run] };
+        return appendDomainEvent(next, actor, request.idempotencyKey, initialState === "waiting" ? "run.queued" : "run.started", run.id, fingerprint);
+    });
+}
+export function resumeTaskRun(request) {
+    const root = canonicalProjectRoot(request.root, request.cwd);
+    const actor = requireNonEmptyString(request.actor, "actor");
+    const fingerprint = fingerprintTaskValue({ runId: request.runId, action: "resume" });
+    return mutateTaskKernel(root, request.taskDir, request.expectedRevision, actor, request.idempotencyKey, fingerprint, request.cwd, (current) => {
+        if (current.phase !== "execute")
+            throw new KernelError("INVALID_TRANSITION", `Run resume requires Execute phase, got ${current.phase}`);
+        const index = current.runs.findIndex((run) => run.id === request.runId);
+        if (index < 0)
+            throw new KernelError("NOT_FOUND", `Run not found: ${request.runId}`);
+        const prior = requireArrayEntry(current.runs[index], "Run");
+        if (prior.state !== "waiting" || current.runs.at(-1)?.id !== prior.id)
+            throw new KernelError("INVALID_TRANSITION", "only the latest waiting Run can resume");
+        if (current.runs.some((run) => run.id !== prior.id && run.state === "running"))
+            throw new KernelError("INVALID_TRANSITION", "another Run is already running");
+        const run = { ...prior, state: "running" };
+        const kernel = { ...current, condition: "active", runs: current.runs.map((item, i) => i === index ? run : item) };
+        return appendDomainEvent(kernel, actor, request.idempotencyKey, "run.resumed", run.id, fingerprint);
+    });
+}
+export function recordTaskRunResult(request) {
+    const root = canonicalProjectRoot(request.root, request.cwd);
+    const actor = requireNonEmptyString(request.actor, "actor");
+    if (!(new Set(["completed", "failed", "blocked", "cancelled"]).has(request.outcome)))
+        throw new KernelError("INVALID_REQUEST", "Run outcome must be completed, failed, blocked, or cancelled");
+    const fingerprint = fingerprintTaskValue({
+        runId: request.runId, outcome: request.outcome, summary: request.summary ?? "",
+        evidenceRefs: request.evidenceRefs ?? [], candidateEntries: request.candidateEntries ?? [], failure: request.failure ?? null, measurementRefs: request.measurementRefs ?? {},
+    });
+    return mutateTaskKernel(root, request.taskDir, request.expectedRevision, actor, request.idempotencyKey, fingerprint, request.cwd, (current, taskDir) => {
+        const index = current.runs.findIndex((run) => run.id === request.runId);
+        if (index < 0)
+            throw new KernelError("NOT_FOUND", `Run not found: ${request.runId}`);
+        const prior = requireArrayEntry(current.runs[index], "Run");
+        if (prior.state !== "running")
+            throw new KernelError("INVALID_TRANSITION", `Run ${prior.id} is already ${prior.state}`);
+        if (current.phase !== "execute")
+            throw new KernelError("INVALID_TRANSITION", `Run result cannot be recorded during ${current.phase}`);
+        const now = new Date().toISOString();
+        const evidenceRefs = parseStringArray(request.evidenceRefs ?? [], "evidenceRefs", true);
+        const measurementRefs = parseMeasurementRefs({ ...prior.measurementRefs, ...request.measurementRefs }, "measurementRefs");
+        let run;
+        let condition;
+        if (request.outcome === "completed") {
+            if (request.failure)
+                throw new KernelError("INVALID_REQUEST", "a completed Run cannot carry failure details");
+            const summary = requireNonEmptyString(request.summary, "summary");
+            // P41 completion sealing: observe candidate files and evidence bytes here;
+            // keep Run workspace lifecycle changes in their separate P38 seam.
+            const observation = observeTaskRunCandidate({
+                run: prior,
+                ...(prior.workspace === null ? { repositoryRoot: root } : {}),
+            });
+            const observedEntry = createTaskCandidateEntry(observation);
+            const observedFiles = new Map(observation.currentFiles
+                .filter((file) => isTaskRunPathInWriteSet(prior, file.path) &&
+                file.kind === "regular-file" &&
+                file.sha256 !== null)
+                .map((file) => [file.path, file]));
+            const suppliedRefs = new Set();
+            for (const entry of request.candidateEntries ?? []) {
+                if (suppliedRefs.has(entry.ref)) {
+                    throw new KernelError("INVALID_REQUEST", `candidateEntries contains duplicate reference ${entry.ref}`);
+                }
+                suppliedRefs.add(entry.ref);
+                if (isRunCandidateObservationEntry(entry.ref)) {
+                    if (entry.ref !== observedEntry.ref || entry.fingerprint !== observedEntry.fingerprint) {
+                        throw new KernelError("CANDIDATE_MISMATCH", "Caller-supplied Core observation entry does not match the actual Run candidate.");
+                    }
+                    continue;
+                }
+                const normalizedRef = entry.ref.replace(/\\/g, "/");
+                const file = observedFiles.get(normalizedRef);
+                if (!isTaskRunPathInWriteSet(prior, normalizedRef) ||
+                    file?.sha256 !== entry.fingerprint) {
+                    throw new KernelError("CANDIDATE_MISMATCH", `Caller-supplied candidate ${entry.ref} does not match a regular file in the Run write set.`);
+                }
+            }
+            const candidateEntries = [
+                ...[...observedFiles.values()].map((file) => ({
+                    ref: file.path,
+                    fingerprint: requireNonEmptyString(file.sha256, `candidate ${file.path} digest`),
+                })),
+                observedEntry,
+            ];
+            const candidateSnapshot = createTaskCandidateSnapshot(candidateEntries);
+            const candidateRun = {
+                ...prior,
+                state: "completed",
+                candidateSnapshot,
+                result: { summary, evidenceRefs },
+                failure: null,
+                completedAt: now,
+                measurementRefs,
+            };
+            const evidenceVerification = freezeTaskRunEvidenceV1({
+                root,
+                taskDir,
+                cwd: request.cwd,
+                run: candidateRun,
+            });
+            run = {
+                ...candidateRun,
+                result: {
+                    summary,
+                    evidenceRefs: evidenceVerification.items.map((item) => item.ref),
+                    evidenceVerification,
+                },
+            };
+            condition = "waiting";
+        }
+        else {
+            if (!request.failure)
+                throw new KernelError("INVALID_REQUEST", `${request.outcome} Run requires failure.category and failure.message`);
+            const failure = parseFailure(request.failure, "failure");
+            run = {
+                ...prior, state: request.outcome, candidateSnapshot: request.candidateEntries?.length ? createTaskCandidateSnapshot(request.candidateEntries) : null,
+                result: request.summary?.trim() ? { summary: request.summary.trim(), evidenceRefs } : null,
+                failure, completedAt: now, measurementRefs,
+            };
+            condition = request.outcome === "blocked" ? "blocked" : "ready";
+        }
+        let kernel = { ...current, runs: current.runs.map((item, i) => i === index ? run : item) };
+        if (request.outcome === "completed")
+            kernel = appendPhase(kernel, "verify", actor, `${request.idempotencyKey}#verify`, "Run produced a candidate snapshot.");
+        else
+            kernel = appendPhase(kernel, "execute", actor, `${request.idempotencyKey}#${request.outcome}`, `Run ${request.outcome}.`, { condition });
+        const type = request.outcome === "completed" ? "run.completed"
+            : request.outcome === "failed" ? "run.failed"
+                : request.outcome === "cancelled" ? "run.cancelled" : "run.blocked";
+        return appendDomainEvent(kernel, actor, request.idempotencyKey, type, run.id, fingerprint);
+    });
+}
+//# sourceMappingURL=task-kernel-runs.js.map

package/dist/core/task/task-kernel-runs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-kernel-runs.js","sourceRoot":"","sources":["../../../src/core/task/task-kernel-runs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,WAAW,EAAE,qBAAqB,EAAwB,MAAM,sBAAsB,CAAC;AAChG,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAC7F,OAAO,EACL,2BAA2B,EAC3B,oBAAoB,EACpB,cAAc,EACd,kBAAkB,EAClB,YAAY,EACZ,gBAAgB,EAChB,oBAAoB,EACpB,aAAa,EACb,gBAAgB,EAChB,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,+BAA+B,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAC/F,OAAO,EACL,wBAAwB,EACxB,8BAA8B,EAC9B,uBAAuB,EACvB,gCAAgC,EAChC,uBAAuB,GACxB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,uBAAuB,EAAE,MAAM,2BAA2B,CAAC;AAUpE,MAAM,UAAU,YAAY,CAAC,OAA4B;IACvD,MAAM,IAAI,GAAG,oBAAoB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;IAC7D,MAAM,KAAK,GAAG,qBAAqB,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC5D,MAAM,WAAW,GAAG,oBAAoB,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,IAAI,SAAS,EAAE,gBAAgB,EAAE,OAAO,CAAC,gBAAgB,IAAI,OAAO,CAAC,SAAS,EAAE,QAAQ,IAAI,EAAE,EAAE,kBAAkB,EAAE,OAAO,CAAC,kBAAkB,IAAI,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,IAAI,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC,CAAC;IAC5W,OAAO,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,gBAAgB,EAAE,KAAK,EAAE,OAAO,CAAC,cAAc,EAAE,WAAW,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,EAAE;QACjJ,IAAI,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,KAAK,KAAK,OAAO;YAAE,MAAM,IAAI,WAAW,CAAC,oBAAoB,EAAE,uCAAuC,CAAC,CAAC;QACvI,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC;YAAE,MAAM,IAAI,WAAW,CAAC,oBAAoB,EAAE,2CAA2C,CAAC,CAAC;QAC7K,+BAA+B,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;QAC5E,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACpD,MAAM,aAAa,GAAG,kBAAkB,CAAC,OAAO,CAAC,aAAa,EAAE,eAAe,CAAC,CAAC;QACjF,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,IAAI,SAAS,CAAC;QACvD,IAAI,YAAY,KAAK,SAAS,IAAI,YAAY,KAAK,SAAS;YAAE,MAAM,IAAI,WAAW,CAAC,iBAAiB,EAAE,yCAAyC,CAAC,CAAC;QAClJ,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,OAAO,CAAC,gBAAgB,IAAI,OAAO,CAAC,SAAS,EAAE,QAAQ,IAAI,EAAE,EAAE,kBAAkB,EAAE,IAAI,CAAC,CAAC;QACnI,MAAM,kBAAkB,GAAG,cAAc,CAAC,OAAO,CAAC,kBAAkB,IAAI,EAAE,EAAE,oBAAoB,CAAC,CAAC;QAClG,MAAM,EAAE,GAAG,UAAU,EAAE,CAAC;QACxB,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,qBAAqB,CAAC,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC9H,MAAM,iBAAiB,GAAG,SAAS;YACjC,CAAC,CAAC;gBACE,gBAAgB,EAAE,SAAS,CAAC,OAAO;gBACnC,mBAAmB,EAAE,SAAS,CAAC,MAAM;gBACrC,qBAAqB,EAAE,IAAI;aAC5B;YACH,CAAC,CAAC,gCAAgC,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;QAC7D,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC;YAC3C,GAAG,OAAO,CAAC,IAAI;YACf,cAAc,EAAE,OAAO,CAAC,gBAAgB;YACxC,mBAAmB,EAAE,oBAAoB,CAAC,OAAO,CAAC,UAAU,CAAC;SAC9D,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAClB,MAAM,GAAG,GAAc;YACrB,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;YACxG,KAAK,EAAE,YAAY,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,KAAK;YAC1E,KAAK,EAAE,aAAa,EAAE,SAAS,EAAE,IAAI;YACrC,gBAAgB,EAAE,iBAAiB,CAAC,gBAAgB;YACpD,mBAAmB,EAAE,iBAAiB,CAAC,mBAAmB;YAC1D,qBAAqB,EAAE,iBAAiB,CAAC,qBAAqB;YAC9D,iBAAiB,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI;YACvE,gBAAgB,EAAE,kBAAkB;YACpC,eAAe,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;SAClE,CAAC;QACF,IAAI,MAAM,GAAG,OAAO,CAAC;QACrB,IAAI,MAAM,CAAC,KAAK,KAAK,QAAQ;YAAE,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC,cAAc,UAAU,EAAE,6BAA6B,CAAC,CAAC;QAClJ,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,KAAK,QAAQ;YAAE,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC,cAAc,UAAU,EAAE,cAAc,CAAC,CAAC;aAC5J,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS;YAAE,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC,cAAc,UAAU,EAAE,cAAc,CAAC,CAAC;;YACpI,MAAM,IAAI,WAAW,CAAC,oBAAoB,EAAE,wCAAwC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;QACzG,MAAM,IAAI,GAAG,EAAE,GAAG,MAAM,EAAE,SAAS,EAAE,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,SAAkB,CAAC,CAAC,CAAC,QAAiB,EAAE,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;QACxI,OAAO,iBAAiB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,cAAc,EAAE,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,aAAa,EAAE,GAAG,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;IAChJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,OAA6B;IACzD,MAAM,IAAI,GAAG,oBAAoB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;IAC7D,MAAM,KAAK,GAAG,qBAAqB,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC5D,MAAM,WAAW,GAAG,oBAAoB,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;IACrF,OAAO,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,gBAAgB,EAAE,KAAK,EAAE,OAAO,CAAC,cAAc,EAAE,WAAW,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,EAAE;QAC5I,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS;YAAE,MAAM,IAAI,WAAW,CAAC,oBAAoB,EAAE,0CAA0C,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;QACxI,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,OAAO,CAAC,KAAK,CAAC,CAAC;QACxE,IAAI,KAAK,GAAG,CAAC;YAAE,MAAM,IAAI,WAAW,CAAC,WAAW,EAAE,kBAAkB,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;QACrF,MAAM,KAAK,GAAG,iBAAiB,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;QAC5D,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,KAAK,CAAC,EAAE;YAAE,MAAM,IAAI,WAAW,CAAC,oBAAoB,EAAE,wCAAwC,CAAC,CAAC;QAC7J,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC;YAAE,MAAM,IAAI,WAAW,CAAC,oBAAoB,EAAE,gCAAgC,CAAC,CAAC;QAC9J,MAAM,GAAG,GAAG,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,SAAkB,EAAE,CAAC;QACpD,MAAM,MAAM,GAAG,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,QAAiB,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3H,OAAO,iBAAiB,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,cAAc,EAAE,aAAa,EAAE,GAAG,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;IACtG,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,OAAmC;IACrE,MAAM,IAAI,GAAG,oBAAoB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;IAC7D,MAAM,KAAK,GAAG,qBAAqB,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC5D,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAAE,MAAM,IAAI,WAAW,CAAC,iBAAiB,EAAE,8DAA8D,CAAC,CAAC;IAC/L,MAAM,WAAW,GAAG,oBAAoB,CAAC;QACvC,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,EAAE;QAC9E,YAAY,EAAE,OAAO,CAAC,YAAY,IAAI,EAAE,EAAE,gBAAgB,EAAE,OAAO,CAAC,gBAAgB,IAAI,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,IAAI,EAAE,eAAe,EAAE,OAAO,CAAC,eAAe,IAAI,EAAE;KAC7K,CAAC,CAAC;IACH,OAAO,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,gBAAgB,EAAE,KAAK,EAAE,OAAO,CAAC,cAAc,EAAE,WAAW,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE;QACrJ,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,OAAO,CAAC,KAAK,CAAC,CAAC;QACxE,IAAI,KAAK,GAAG,CAAC;YAAE,MAAM,IAAI,WAAW,CAAC,WAAW,EAAE,kBAAkB,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;QACrF,MAAM,KAAK,GAAG,iBAAiB,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;QAC5D,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;YAAE,MAAM,IAAI,WAAW,CAAC,oBAAoB,EAAE,OAAO,KAAK,CAAC,EAAE,eAAe,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;QACxH,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS;YAAE,MAAM,IAAI,WAAW,CAAC,oBAAoB,EAAE,wCAAwC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;QACtI,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACrC,MAAM,YAAY,GAAG,gBAAgB,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC;QACxF,MAAM,eAAe,GAAG,oBAAoB,CAAC,EAAE,GAAG,KAAK,CAAC,eAAe,EAAE,GAAG,OAAO,CAAC,eAAe,EAAE,EAAE,iBAAiB,CAAC,CAAC;QAC1H,IAAI,GAAc,CAAC;QACnB,IAAI,SAA0B,CAAC;QAC/B,IAAI,OAAO,CAAC,OAAO,KAAK,WAAW,EAAE,CAAC;YACpC,IAAI,OAAO,CAAC,OAAO;gBAAE,MAAM,IAAI,WAAW,CAAC,iBAAiB,EAAE,8CAA8C,CAAC,CAAC;YAC9G,MAAM,OAAO,GAAG,qBAAqB,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;YAClE,2EAA2E;YAC3E,mEAAmE;YACnE,MAAM,WAAW,GAAG,uBAAuB,CAAC;gBAC1C,GAAG,EAAE,KAAK;gBACV,GAAG,CAAC,KAAK,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC9D,CAAC,CAAC;YACH,MAAM,aAAa,GAAG,wBAAwB,CAAC,WAAW,CAAC,CAAC;YAC5D,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,WAAW,CAAC,YAAY;iBACrB,MAAM,CACL,CAAC,IAAI,EAAE,EAAE,CACP,uBAAuB,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC;gBACzC,IAAI,CAAC,IAAI,KAAK,cAAc;gBAC5B,IAAI,CAAC,MAAM,KAAK,IAAI,CACvB;iBACA,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CACpC,CAAC;YACF,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;YACvC,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,gBAAgB,IAAI,EAAE,EAAE,CAAC;gBACnD,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;oBAChC,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,iDAAiD,KAAK,CAAC,GAAG,EAAE,CAC7D,CAAC;gBACJ,CAAC;gBACD,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBAC5B,IAAI,8BAA8B,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC9C,IAAI,KAAK,CAAC,GAAG,KAAK,aAAa,CAAC,GAAG,IAAI,KAAK,CAAC,WAAW,KAAK,aAAa,CAAC,WAAW,EAAE,CAAC;wBACvF,MAAM,IAAI,WAAW,CACnB,oBAAoB,EACpB,iFAAiF,CAClF,CAAC;oBACJ,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,MAAM,aAAa,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBACpD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;gBAC9C,IACE,CAAC,uBAAuB,CAAC,KAAK,EAAE,aAAa,CAAC;oBAC9C,IAAI,EAAE,MAAM,KAAK,KAAK,CAAC,WAAW,EAClC,CAAC;oBACD,MAAM,IAAI,WAAW,CACnB,oBAAoB,EACpB,6BAA6B,KAAK,CAAC,GAAG,sDAAsD,CAC7F,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,MAAM,gBAAgB,GAAG;gBACvB,GAAG,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;oBAC5C,GAAG,EAAE,IAAI,CAAC,IAAI;oBACd,WAAW,EAAE,qBAAqB,CAChC,IAAI,CAAC,MAAM,EACX,aAAa,IAAI,CAAC,IAAI,SAAS,CAChC;iBACF,CAAC,CAAC;gBACH,aAAa;aACd,CAAC;YACF,MAAM,iBAAiB,GAAG,2BAA2B,CAAC,gBAAgB,CAAC,CAAC;YACxE,MAAM,YAAY,GAAc;gBAC9B,GAAG,KAAK;gBACR,KAAK,EAAE,WAAW;gBAClB,iBAAiB;gBACjB,MAAM,EAAE,EAAE,OAAO,EAAE,YAAY,EAAE;gBACjC,OAAO,EAAE,IAAI;gBACb,WAAW,EAAE,GAAG;gBAChB,eAAe;aAChB,CAAC;YACF,MAAM,oBAAoB,GAAG,uBAAuB,CAAC;gBACnD,IAAI;gBACJ,OAAO;gBACP,GAAG,EAAE,OAAO,CAAC,GAAG;gBAChB,GAAG,EAAE,YAAY;aAClB,CAAC,CAAC;YACH,GAAG,GAAG;gBACJ,GAAG,YAAY;gBACf,MAAM,EAAE;oBACN,OAAO;oBACP,YAAY,EAAE,oBAAoB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;oBAChE,oBAAoB;iBACrB;aACF,CAAC;YACF,SAAS,GAAG,SAAS,CAAC;QACxB,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,OAAO,CAAC,OAAO;gBAAE,MAAM,IAAI,WAAW,CAAC,iBAAiB,EAAE,GAAG,OAAO,CAAC,OAAO,oDAAoD,CAAC,CAAC;YACvI,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;YACzD,GAAG,GAAG;gBACJ,GAAG,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,OAAO,EAAE,iBAAiB,EAAE,OAAO,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC,CAAC,2BAA2B,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI;gBACpJ,MAAM,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,IAAI;gBAC1F,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,eAAe;aAC3C,CAAC;YACF,SAAS,GAAG,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC;QAClE,CAAC;QACD,IAAI,MAAM,GAAyB,EAAE,GAAG,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QACjH,IAAI,OAAO,CAAC,OAAO,KAAK,WAAW;YAAE,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC,cAAc,SAAS,EAAE,oCAAoC,CAAC,CAAC;;YACxJ,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC,cAAc,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,OAAO,OAAO,CAAC,OAAO,GAAG,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;QAC9I,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,KAAK,WAAW,CAAC,CAAC,CAAC,eAAe;YAC5D,CAAC,CAAC,OAAO,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,YAAY;gBAC3C,CAAC,CAAC,OAAO,CAAC,OAAO,KAAK,WAAW,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,aAAa,CAAC;QACxE,OAAO,iBAAiB,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,cAAc,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;IAC7F,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/core/task/task-kernel-schema.d.ts

@@ -0,0 +1,29 @@
+import { type TaskAcceptanceCriterion, type TaskCandidateObservation, type TaskCandidateSnapshot, type TaskDefinitionV2, type TaskDeliveryEvidence, type TaskDeliveryLevel, type TaskKernelLifecycleProjection, type TaskKernelSnapshotV2, type TaskReviewDecision, type TaskRunAuthorization, type TaskRunDurations, type TaskRunFailure, type TaskRunHostBinding, type TaskRunInput, type TaskRunMeasurementRefs, type TaskRunWorkspaceBinding, type TaskRunWorkspaceCleanupLease, type TaskRunWorkspaceIntegrationReceipt, type TaskRunHostStopReceipt, type TaskSnapshotEntry } from "./task-kernel-types.js";
+export declare function requireArrayEntry<T>(value: T | undefined, field: string): T;
+export declare const REVIEW_DECISIONS: readonly TaskReviewDecision[];
+export declare function isTaskDeliveryLevel(value: unknown): value is TaskDeliveryLevel;
+export declare function fingerprintTaskValue(value: unknown): string;
+export declare function createTaskCandidateSnapshot(entries: readonly TaskSnapshotEntry[]): TaskCandidateSnapshot;
+/** Pure V2 lifecycle projection for consumers that need replayable gate facts without mutation. */
+export declare function projectTaskKernelLifecycle(kernel: TaskKernelSnapshotV2): TaskKernelLifecycleProjection;
+export declare function parseTaskKernelSnapshotV2(input: unknown): TaskKernelSnapshotV2;
+export declare function parseDefinition(value: unknown, field: string): TaskDefinitionV2;
+export declare function parseDeliveryEvidence(value: unknown, expectedLevel?: TaskDeliveryLevel): TaskDeliveryEvidence;
+export declare function parseRunInput(value: unknown, field: string): TaskRunInput;
+export declare function parseAuthorization(value: unknown, field: string): TaskRunAuthorization;
+export declare function parseCandidateObservation(value: unknown): TaskCandidateObservation;
+export declare function parseDurations(value: unknown, field: string): TaskRunDurations;
+export declare function parseMeasurementRefs(value: unknown, field: string): TaskRunMeasurementRefs;
+export declare function parseSnapshotEntries(value: unknown, field: string): TaskSnapshotEntry[];
+export declare function parseFailure(value: unknown, field: string): TaskRunFailure;
+export declare function parseWorkspaceBinding(value: unknown, runId: string, field: string): TaskRunWorkspaceBinding;
+export declare function parseWorkspaceIntegrationReceipt(value: unknown, field: string): TaskRunWorkspaceIntegrationReceipt;
+export declare function parseWorkspaceCleanupLease(value: unknown, field: string): TaskRunWorkspaceCleanupLease;
+export declare function parseHostStopReceipt(value: unknown, field: string): TaskRunHostStopReceipt;
+export declare function parseHostBinding(value: unknown, field: string): TaskRunHostBinding;
+export declare function parseAcceptanceEvidence(value: unknown, criteria: readonly TaskAcceptanceCriterion[], requireComplete: boolean): Record<string, string[]>;
+export declare function getOwnRecordValue<T>(record: Record<string, T>, key: string): T | undefined;
+export declare function parseStringArray(value: unknown, field: string, allowEmpty?: boolean): string[];
+export declare function requireString(value: unknown, field: string, allowEmpty?: boolean): string;
+export declare function requireTaskId(value: unknown, field: string): string;
+//# sourceMappingURL=task-kernel-schema.d.ts.map

package/dist/core/task/task-kernel-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-kernel-schema.d.ts","sourceRoot":"","sources":["../../../src/core/task/task-kernel-schema.ts"],"names":[],"mappings":"AAgBA,OAAO,EAIL,KAAK,uBAAuB,EAC5B,KAAK,wBAAwB,EAC7B,KAAK,qBAAqB,EAG1B,KAAK,gBAAgB,EACrB,KAAK,oBAAoB,EACzB,KAAK,iBAAiB,EAItB,KAAK,6BAA6B,EAClC,KAAK,oBAAoB,EACzB,KAAK,kBAAkB,EAIvB,KAAK,oBAAoB,EACzB,KAAK,gBAAgB,EACrB,KAAK,cAAc,EACnB,KAAK,kBAAkB,EACvB,KAAK,YAAY,EACjB,KAAK,sBAAsB,EAO3B,KAAK,uBAAuB,EAC5B,KAAK,4BAA4B,EACjC,KAAK,kCAAkC,EAEvC,KAAK,sBAAsB,EAC3B,KAAK,iBAAiB,EACvB,MAAM,wBAAwB,CAAC;AAEhC,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,SAAS,EAAE,KAAK,EAAE,MAAM,GAAG,CAAC,CAI3E;AAWD,eAAO,MAAM,gBAAgB,EAAE,SAAS,kBAAkB,EAIzD,CAAC;AAQF,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,iBAAiB,CAK5B;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAE3D;AAED,wBAAgB,2BAA2B,CACzC,OAAO,EAAE,SAAS,iBAAiB,EAAE,GACpC,qBAAqB,CAYvB;AAED,mGAAmG;AACnG,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,oBAAoB,GAC3B,6BAA6B,CA4F/B;AAED,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,OAAO,GACb,oBAAoB,CAqJtB;AAED,wBAAgB,eAAe,CAC7B,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,MAAM,GACZ,gBAAgB,CAmElB;AA0rBD,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,OAAO,EACd,aAAa,CAAC,EAAE,iBAAiB,GAChC,oBAAoB,CAsDtB;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,YAAY,CAezE;AAED,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,MAAM,GACZ,oBAAoB,CAWtB;AAuBD,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,OAAO,GACb,wBAAwB,CAyB1B;AAED,wBAAgB,cAAc,CAC5B,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,MAAM,GACZ,gBAAgB,CAiBlB;AAED,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,MAAM,GACZ,sBAAsB,CAWxB;AAED,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,MAAM,GACZ,iBAAiB,EAAE,CAkBrB;AA2FD,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,cAAc,CAU1E;AAED,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,MAAM,GACZ,uBAAuB,CAoDzB;AAqBD,wBAAgB,gCAAgC,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,kCAAkC,CAclH;AAED,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,4BAA4B,CAsBtG;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,sBAAsB,CA+B1F;AAED,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,MAAM,GACZ,kBAAkB,CAgDpB;AAED,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,OAAO,EACd,QAAQ,EAAE,SAAS,uBAAuB,EAAE,EAC5C,eAAe,EAAE,OAAO,GACvB,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAwB1B;AAgJD,wBAAgB,iBAAiB,CAAC,CAAC,EACjC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,EACzB,GAAG,EAAE,MAAM,GACV,CAAC,GAAG,SAAS,CAIf;AAQD,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,MAAM,EACb,UAAU,UAAQ,GACjB,MAAM,EAAE,CAeV;AAED,wBAAgB,aAAa,CAC3B,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,MAAM,EACb,UAAU,UAAQ,GACjB,MAAM,CAOR;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAQnE"}