codex-workflow-v2 2.0.0-beta.2 → 2.0.0-beta.4

package/dist/src/lifecycle/corrective-replan-credential-schema.d.ts

@@ -0,0 +1,17 @@
+export declare const credentialSchemaIds: readonly ["schema.corrective-replan-binding", "schema.corrective-replan-plan-validation-attestation", "schema.corrective-replan-human-confirmation-input", "schema.corrective-replan-receipt", "schema.corrective-replan-stored-plan-validation-event"];
+export interface CredentialSchemaArtifact {
+    readonly id: typeof credentialSchemaIds[number];
+    readonly version: 1;
+    readonly implementationId: `implementation.${string}`;
+    readonly implementationVersion: 1;
+    readonly documentBytesSha256: string;
+    readonly schemaPointer: string;
+    readonly subschemaCanonicalSha256: string;
+    readonly document: unknown;
+}
+export interface CredentialSchemaValidator extends Omit<CredentialSchemaArtifact, 'document' | 'documentBytesSha256' | 'schemaPointer'> {
+    readonly artifactDocumentBytesSha256: string;
+    readonly callable: (payload: unknown) => boolean;
+}
+export declare const correctiveReplanCredentialSchemaArtifacts: readonly CredentialSchemaArtifact[];
+export declare const correctiveReplanCredentialSchemaValidators: readonly CredentialSchemaValidator[];

package/dist/src/lifecycle/corrective-replan-credential-schema.js

@@ -0,0 +1,44 @@
+import { createHash } from 'node:crypto';
+import { readFileSync } from 'node:fs';
+import { Ajv2020 } from 'ajv/dist/2020.js';
+import { hashCanonical } from './fingerprint.js';
+import { deepFreeze } from './immutable.js';
+export const credentialSchemaIds = [
+    'schema.corrective-replan-binding', 'schema.corrective-replan-plan-validation-attestation',
+    'schema.corrective-replan-human-confirmation-input', 'schema.corrective-replan-receipt',
+    'schema.corrective-replan-stored-plan-validation-event',
+];
+const names = ['correctiveReplanBindingV1', 'planValidationAttestationV1', 'humanConfirmationInputV1',
+    'correctiveReplanReceiptV1', 'storedPlanValidationEventV1'];
+const bytes = readFileSync(new URL('../../../schemas/corrective-replan-credentials.private.schema.json', import.meta.url));
+const document = JSON.parse(bytes.toString('utf8'));
+const ajv = new Ajv2020({
+    allErrors: true,
+    strict: true,
+    formats: {
+        'date-time': {
+            type: 'string',
+            validate(value) {
+                const parsed = Date.parse(value);
+                return Number.isFinite(parsed) && new Date(parsed).toISOString() === value;
+            },
+        },
+    },
+});
+if (!ajv.validateSchema(document))
+    throw new TypeError(`Invalid private credential schema: ${ajv.errorsText(ajv.errors)}`);
+ajv.addSchema(document, document.$id);
+const documentSha256 = createHash('sha256').update(bytes).digest('hex');
+const artifacts = credentialSchemaIds.map((id, index) => ({ id, version: 1,
+    implementationId: `implementation.schema-artifact.${names[index]}`, implementationVersion: 1,
+    documentBytesSha256: documentSha256, schemaPointer: `#/$defs/${names[index]}`, subschemaCanonicalSha256: hashCanonical(document.$defs[names[index]]), document }));
+const validators = artifacts.map((artifact, index) => {
+    const validate = ajv.compile({ $ref: `${document.$id}#/$defs/${names[index]}` });
+    return { id: artifact.id, version: 1,
+        implementationId: `implementation.schema-validator.ajv-draft-2020-12.${names[index]}`,
+        implementationVersion: 1, artifactDocumentBytesSha256: documentSha256,
+        subschemaCanonicalSha256: artifact.subschemaCanonicalSha256, callable: (payload) => validate(payload) === true };
+});
+export const correctiveReplanCredentialSchemaArtifacts = deepFreeze(artifacts);
+export const correctiveReplanCredentialSchemaValidators = deepFreeze(validators);
+//# sourceMappingURL=corrective-replan-credential-schema.js.map

package/dist/src/lifecycle/corrective-replan-credential-schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"corrective-replan-credential-schema.js","sourceRoot":"","sources":["../../../src/lifecycle/corrective-replan-credential-schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAE5C,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,kCAAkC,EAAE,sDAAsD;IAC1F,mDAAmD,EAAE,kCAAkC;IACvF,uDAAuD;CAC/C,CAAC;AACX,MAAM,KAAK,GAAG,CAAC,2BAA2B,EAAE,6BAA6B,EAAE,0BAA0B;IACnG,2BAA2B,EAAE,6BAA6B,CAAU,CAAC;AACvE,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,GAAG,CAAC,oEAAoE,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAC3H,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAoD,CAAC;AACvG,MAAM,GAAG,GAAG,IAAI,OAAO,CAAC;IACtB,SAAS,EAAE,IAAI;IACf,MAAM,EAAE,IAAI;IACZ,OAAO,EAAE;QACP,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,QAAQ,CAAC,KAAa;gBACpB,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBACjC,OAAO,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC;YAC7E,CAAC;SACF;KACF;CACF,CAAC,CAAC;AACH,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,QAAQ,CAAC;IAAE,MAAM,IAAI,SAAS,CAAC,sCAAsC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAC3H,GAAG,CAAC,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;AACtC,MAAM,cAAc,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAYxE,MAAM,SAAS,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,CAAU;IACjF,gBAAgB,EAAE,kCAAkC,KAAK,CAAC,KAAK,CAAC,EAAW,EAAE,qBAAqB,EAAE,CAAU;IAC9G,mBAAmB,EAAE,cAAc,EAAE,aAAa,EAAE,WAAW,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,wBAAwB,EAAE,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;AACtK,MAAM,UAAU,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE;IACnD,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC,GAAG,WAAW,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;IACjF,OAAO,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE,CAAU;QAC3C,gBAAgB,EAAE,qDAAqD,KAAK,CAAC,KAAK,CAAC,EAAW;QAC9F,qBAAqB,EAAE,CAAU,EAAE,2BAA2B,EAAE,cAAc;QAC9E,wBAAwB,EAAE,QAAQ,CAAC,wBAAwB,EAAE,QAAQ,EAAE,CAAC,OAAgB,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC;AAC9H,CAAC,CAAC,CAAC;AACH,MAAM,CAAC,MAAM,yCAAyC,GAAwC,UAAU,CAAC,SAAS,CAAC,CAAC;AACpH,MAAM,CAAC,MAAM,0CAA0C,GAAyC,UAAU,CAAC,UAAU,CAAC,CAAC"}

package/dist/src/lifecycle/corrective-replan-credentials.d.ts

@@ -0,0 +1,47 @@
+type ClosureIssue = {
+    issueId: string;
+    path: string;
+    ref?: string;
+    message: string;
+};
+export declare function diagnoseCorrectiveReplanCredentialClosure(input?: unknown): {
+    closed: boolean;
+    issues: ClosureIssue[];
+    manifestSha256: string;
+    closureSha256: string;
+    pendingBlockers: never[];
+};
+export declare const correctiveReplanCredentialInspection: {
+    authorityBindingManifest: {
+        manifestSha256: string;
+        id: "binding-manifest.corrective-replan.exact-v1";
+        version: 1;
+        rows: {
+            ordinal: number;
+            bindingId: string;
+            projection: {
+                id: `projection.${string}`;
+                version: 1;
+            };
+            fieldId: `field.${string}`;
+            valueKind: "sha256" | "literal" | "safe-integer" | "entity-id" | "git-oid" | "actor-role";
+            canonicalization: "exact" | "lowercase-hex" | "safe-nonnegative-integer" | "nfc-trim" | "lowercase-git-oid" | "registered-enum";
+            receiptPath: `/binding/values/${string}`;
+        }[];
+    };
+    executionLinkage: {
+        status: "active";
+        transitionId: "task.plan.corrective-replan";
+    };
+    kernelDescriptor: {
+        id: string;
+        version: 1;
+        wiring: "invoked";
+        buildSha256: string;
+    };
+    schemaArtifacts: readonly import("./corrective-replan-credential-schema.js").CredentialSchemaArtifact[];
+    schemaValidators: readonly import("./corrective-replan-credential-schema.js").CredentialSchemaValidator[];
+    functionBindings: readonly import("./corrective-replan-credential-core.js").CredentialFunctionBinding[];
+    diagnoseClosure: typeof diagnoseCorrectiveReplanCredentialClosure;
+};
+export {};

package/dist/src/lifecycle/corrective-replan-credentials.js

@@ -0,0 +1,103 @@
+import { types as utilTypes } from 'node:util';
+import { correctiveReplanBindingManifest } from './corrective-replan-binding-manifest.js';
+import { correctiveReplanCredentialFunctionBindings } from './corrective-replan-credential-core.js';
+import { correctiveReplanCredentialSchemaArtifacts, correctiveReplanCredentialSchemaValidators } from './corrective-replan-credential-schema.js';
+import { hashCanonical } from './fingerprint.js';
+import { deepFreeze } from './immutable.js';
+const executionLinkage = deepFreeze({ status: 'active', transitionId: 'task.plan.corrective-replan' });
+const kernelDescriptor = deepFreeze({ id: 'credential-kernel.corrective-replan', version: 1, wiring: 'invoked',
+    buildSha256: hashCanonical({ family: 'corrective-replan', kernelVersion: 1, manifestSha256: correctiveReplanBindingManifest.manifestSha256,
+        functions: correctiveReplanCredentialFunctionBindings.map(({ id, version, implementationId, implementationVersion }) => ({ id, version, implementationId, implementationVersion })) }) });
+export function diagnoseCorrectiveReplanCredentialClosure(input = undefined) {
+    try {
+        const issues = [];
+        const allowed = ['authorityBindingManifest', 'schemaArtifacts', 'schemaValidators', 'functionBindings'];
+        let source = top(input);
+        if (!source || Object.keys(source).some((key) => !allowed.includes(key))) {
+            issues.push(problem('credential.closure.input-invalid', '/', 'closure-input'));
+            source = {};
+        }
+        const artifacts = collection(source.schemaArtifacts, correctiveReplanCredentialSchemaArtifacts);
+        if (!artifacts)
+            issues.push(problem('credential.closure.collection-invalid', '/schemaArtifacts', 'schemaArtifacts'));
+        const validators = collection(source.schemaValidators, correctiveReplanCredentialSchemaValidators);
+        if (!validators)
+            issues.push(problem('credential.closure.collection-invalid', '/schemaValidators', 'schemaValidators'));
+        const functions = collection(source.functionBindings, correctiveReplanCredentialFunctionBindings);
+        if (!functions)
+            issues.push(problem('credential.closure.collection-invalid', '/functionBindings', 'functionBindings'));
+        if ((source.authorityBindingManifest ?? correctiveReplanBindingManifest) !== correctiveReplanBindingManifest)
+            issues.push(problem('credential.manifest.substituted', '/authorityBindingManifest', correctiveReplanBindingManifest.id));
+        exact(correctiveReplanCredentialSchemaArtifacts, artifacts ?? [], 'schemaArtifacts', 'credential.schema-artifact', false, issues);
+        exact(correctiveReplanCredentialSchemaValidators, validators ?? [], 'schemaValidators', 'credential.schema-validator', true, issues);
+        exact(correctiveReplanCredentialFunctionBindings, functions ?? [], 'functionBindings', 'credential.function', true, issues);
+        return finish(issues);
+    }
+    catch {
+        return finish([problem('credential.closure.input-invalid', '/', 'closure-input')]);
+    }
+}
+function finish(issues) {
+    const ordered = issues.sort((a, b) => { const left = `${a.path}\0${a.issueId}`; const right = `${b.path}\0${b.issueId}`; return left < right ? -1 : left > right ? 1 : 0; });
+    const projection = { manifestSha256: correctiveReplanBindingManifest.manifestSha256, artifacts: correctiveReplanCredentialSchemaArtifacts.map(project), validators: correctiveReplanCredentialSchemaValidators.map(project), functions: correctiveReplanCredentialFunctionBindings.map(project), pendingBlockers: [] };
+    return deepFreeze({ closed: ordered.length === 0, issues: ordered, manifestSha256: correctiveReplanBindingManifest.manifestSha256, closureSha256: hashCanonical(projection), pendingBlockers: [] });
+}
+function top(input) {
+    if (input === undefined)
+        return {};
+    if (!plain(input))
+        return null;
+    const keys = Reflect.ownKeys(input);
+    if (keys.some((key) => typeof key !== 'string'))
+        return null;
+    const descriptors = Object.getOwnPropertyDescriptors(input);
+    const result = Object.create(null);
+    for (const key of keys) {
+        const descriptor = descriptors[key];
+        if (!descriptor?.enumerable || !('value' in descriptor))
+            return null;
+        result[key] = descriptor.value;
+    }
+    return result;
+}
+function collection(value, installed) {
+    if (value === undefined)
+        return installed.map(view);
+    if (utilTypes.isProxy(value) || !Array.isArray(value) || value.length > 16)
+        return null;
+    const keys = Reflect.ownKeys(value);
+    const descriptors = Object.getOwnPropertyDescriptors(value);
+    const names = keys.filter((key) => key !== 'length');
+    if (names.some((key, index) => typeof key !== 'string' || key !== String(index)) || names.length !== value.length)
+        return null;
+    const result = [];
+    for (const key of names) {
+        const cell = descriptors[key];
+        if (!cell?.enumerable || !('value' in cell) || !plain(cell.value))
+            return null;
+        const row = Object.getOwnPropertyDescriptors(cell.value);
+        if (Reflect.ownKeys(cell.value).some((name) => typeof name !== 'string' || !row[name]?.enumerable || !('value' in row[name])) || typeof row.id?.value !== 'string' || !row.id.value.includes('.') || !/^[A-Za-z0-9][A-Za-z0-9._-]{0,255}$/.test(row.id.value) || typeof row.version?.value !== 'number')
+            return null;
+        result.push({ original: cell.value, index: Number(key), id: row.id.value, version: row.version.value, callable: row.callable?.value });
+    }
+    return result;
+}
+function exact(installed, candidate, collectionName, prefix, callable, issues) {
+    for (const expected of installed) {
+        const matches = candidate.filter((entry) => entry.id === expected.id && entry.version === expected.version);
+        if (matches.length !== 1)
+            issues.push(problem(`${prefix}.${matches.length ? 'duplicate' : 'missing'}`, `/${prefix}/${expected.id}`, expected.id));
+        else if (matches[0].original !== expected || (callable && matches[0].callable !== expected.callable))
+            issues.push(problem(`${prefix}.${callable ? 'callable-substituted' : 'substituted'}`, `/${prefix}/${expected.id}`, expected.id));
+    }
+    candidate.filter((entry) => !installed.some((expected) => expected.id === entry.id && expected.version === entry.version)).forEach((entry) => issues.push({ issueId: `${prefix}.extra`, path: `/${collectionName}/${entry.index}`, ref: 'closure-extra-row', message: 'Candidate row is not installed.' }));
+}
+function view(entry, index) { return { original: entry, index, id: entry.id, version: entry.version, callable: entry.callable }; }
+function problem(issueId, path, ref) { return { issueId, path, ref, message: `${ref} is not the installed exact identity.` }; }
+function project(entry) { const { callable: _callable, document: _document, ...value } = entry; return value; }
+function plain(value) { if (value === null || typeof value !== 'object' || Array.isArray(value) || utilTypes.isProxy(value))
+    return false; const prototype = Object.getPrototypeOf(value); return prototype === Object.prototype || prototype === null; }
+export const correctiveReplanCredentialInspection = deepFreeze({ authorityBindingManifest: correctiveReplanBindingManifest, executionLinkage, kernelDescriptor,
+    schemaArtifacts: correctiveReplanCredentialSchemaArtifacts, schemaValidators: correctiveReplanCredentialSchemaValidators,
+    functionBindings: correctiveReplanCredentialFunctionBindings, diagnoseClosure: diagnoseCorrectiveReplanCredentialClosure });
+//# sourceMappingURL=corrective-replan-credentials.js.map

package/dist/src/lifecycle/corrective-replan-credentials.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"corrective-replan-credentials.js","sourceRoot":"","sources":["../../../src/lifecycle/corrective-replan-credentials.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,WAAW,CAAC;AAC/C,OAAO,EAAE,+BAA+B,EAAE,MAAM,yCAAyC,CAAC;AAC1F,OAAO,EAAE,0CAA0C,EAAE,MAAM,wCAAwC,CAAC;AACpG,OAAO,EAAE,yCAAyC,EAAE,0CAA0C,EAAE,MAAM,0CAA0C,CAAC;AACjJ,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAE5C,MAAM,gBAAgB,GAAG,UAAU,CAAC,EAAE,MAAM,EAAE,QAAiB,EAAE,YAAY,EAAE,6BAAsC,EAAE,CAAC,CAAC;AAAC,MAAM,gBAAgB,GAAG,UAAU,CAAC,EAAE,EAAE,EAAE,qCAAqC,EAAE,OAAO,EAAE,CAAU,EAAE,MAAM,EAAE,SAAkB;IACxP,WAAW,EAAE,aAAa,CAAC,EAAE,MAAM,EAAE,mBAAmB,EAAE,aAAa,EAAE,CAAC,EAAE,cAAc,EAAE,+BAA+B,CAAC,cAAc;QACxI,SAAS,EAAE,0CAA0C,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;AAI9L,MAAM,UAAU,yCAAyC,CAAC,QAAiB,SAAS;IAAI,IAAI,CAAC;QAC3F,MAAM,MAAM,GAAmB,EAAE,CAAC;QAAC,MAAM,OAAO,GAAG,CAAC,0BAA0B,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,kBAAkB,CAAC,CAAC;QAC3I,IAAI,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC;QAAC,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,kCAAkC,EAAE,GAAG,EAAE,eAAe,CAAC,CAAC,CAAC;YAAC,MAAM,GAAG,EAAE,CAAC;QAAC,CAAC;QACnM,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC,eAAe,EAAE,yCAAyC,CAAC,CAAC;QAAC,IAAI,CAAC,SAAS;YAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,uCAAuC,EAAE,kBAAkB,EAAE,iBAAiB,CAAC,CAAC,CAAC;QACtN,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,gBAAgB,EAAE,0CAA0C,CAAC,CAAC;QAAC,IAAI,CAAC,UAAU;YAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,uCAAuC,EAAE,mBAAmB,EAAE,kBAAkB,CAAC,CAAC,CAAC;QAC5N,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC,gBAAgB,EAAE,0CAA0C,CAAC,CAAC;QAAC,IAAI,CAAC,SAAS;YAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,uCAAuC,EAAE,mBAAmB,EAAE,kBAAkB,CAAC,CAAC,CAAC;QAC1N,IAAI,CAAC,MAAM,CAAC,wBAAwB,IAAI,+BAA+B,CAAC,KAAK,+BAA+B;YAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,iCAAiC,EAAE,2BAA2B,EAAE,+BAA+B,CAAC,EAAE,CAAC,CAAC,CAAC;QACvO,KAAK,CAAC,yCAAyC,EAAE,SAAS,IAAI,EAAE,EAAE,iBAAiB,EAAE,4BAA4B,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QAClI,KAAK,CAAC,0CAA0C,EAAE,UAAU,IAAI,EAAE,EAAE,kBAAkB,EAAE,6BAA6B,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QACrI,KAAK,CAAC,0CAA0C,EAAE,SAAS,IAAI,EAAE,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAAC,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC;IACnJ,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,MAAM,CAAC,CAAC,OAAO,CAAC,kCAAkC,EAAE,GAAG,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC;AAAC,CAAC;AAEnG,SAAS,MAAM,CAAC,MAAsB;IAAI,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrN,MAAM,UAAU,GAAG,EAAE,cAAc,EAAE,+BAA+B,CAAC,cAAc,EAAE,SAAS,EAAE,yCAAyC,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,0CAA0C,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,0CAA0C,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,eAAe,EAAE,EAAE,EAAE,CAAC;IACvT,OAAO,UAAU,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,cAAc,EAAE,+BAA+B,CAAC,cAAc,EAAE,aAAa,EAAE,aAAa,CAAC,UAAU,CAAC,EAAE,eAAe,EAAE,EAAE,EAAE,CAAC,CAAC;AAAC,CAAC;AACxM,SAAS,GAAG,CAAC,KAAc;IAAoC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAChI,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,GAAG,KAAK,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IAAC,MAAM,WAAW,GAAG,MAAM,CAAC,yBAAyB,CAAC,KAAK,CAAC,CAAC;IAAC,MAAM,MAAM,GAA4B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC5N,KAAK,MAAM,GAAG,IAAI,IAAgB,EAAE,CAAC;QAAC,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAAC,IAAI,CAAC,UAAU,EAAE,UAAU,IAAI,CAAC,CAAC,OAAO,IAAI,UAAU,CAAC;YAAE,OAAO,IAAI,CAAC;QAAC,MAAM,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC;IAAC,CAAC;IAAC,OAAO,MAAM,CAAC;AAAC,CAAC;AACrM,SAAS,UAAU,CAAC,KAAc,EAAE,SAAyE;IAAwB,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvL,IAAI,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,EAAE;QAAE,OAAO,IAAI,CAAC;IAAC,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAAC,MAAM,WAAW,GAAG,MAAM,CAAC,yBAAyB,CAAC,KAAK,CAAC,CAAC;IAC1L,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC;IAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAAC,MAAM,MAAM,GAAgB,EAAE,CAAC;IACrN,KAAK,MAAM,GAAG,IAAI,KAAiB,EAAE,CAAC;QAAC,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAAC,IAAI,CAAC,IAAI,EAAE,UAAU,IAAI,CAAC,CAAC,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAAC,MAAM,GAAG,GAAG,MAAM,CAAC,yBAAyB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7M,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,UAAU,IAAI,CAAC,CAAC,OAAO,IAAI,GAAG,CAAC,IAAI,CAAE,CAAC,CAAC,IAAI,OAAO,GAAG,CAAC,EAAE,EAAE,KAAK,KAAK,QAAQ,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,oCAAoC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,OAAO,GAAG,CAAC,OAAO,EAAE,KAAK,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACtT,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;IAAC,CAAC;IAAC,OAAO,MAAM,CAAC;AAAC,CAAC;AAC9J,SAAS,KAAK,CAAgE,SAAuB,EAAE,SAAsB,EAAE,cAAsB,EAAE,MAAc,EAAE,QAAiB,EAAE,MAAsB;IAAI,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QAAC,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,QAAQ,CAAC,EAAE,IAAI,KAAK,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO,CAAC,CAAC;QAClW,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,EAAE,EAAE,IAAI,MAAM,IAAI,QAAQ,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;aAAM,IAAI,OAAO,CAAC,CAAC,CAAE,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,QAAQ,IAAI,OAAO,CAAC,CAAC,CAAE,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,MAAM,IAAI,QAAQ,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,aAAa,EAAE,EAAE,IAAI,MAAM,IAAI,QAAQ,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IAAC,CAAC;IAC9X,SAAS,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,IAAI,QAAQ,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,GAAG,MAAM,QAAQ,EAAE,IAAI,EAAE,IAAI,cAAc,IAAI,KAAK,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,mBAAmB,EAAE,OAAO,EAAE,iCAAiC,EAAE,CAAC,CAAC,CAAC;AAAC,CAAC;AAChT,SAAS,IAAI,CAAC,KAA0D,EAAE,KAAa,IAAe,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;AAC1M,SAAS,OAAO,CAAC,OAAe,EAAE,IAAY,EAAE,GAAW,IAAkB,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,GAAG,uCAAuC,EAAE,CAAC,CAAC,CAAC;AACrK,SAAS,OAAO,CAAC,KAAa,IAAI,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,KAAK,EAAE,GAAG,KAAgC,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC;AAClJ,SAAS,KAAK,CAAC,KAAc,IAAqB,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC;IAAE,OAAO,KAAK,CAAC,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC;AAEnR,MAAM,CAAC,MAAM,oCAAoC,GAAG,UAAU,CAAC,EAAE,wBAAwB,EAAE,+BAA+B,EAAE,gBAAgB,EAAE,gBAAgB;IAC5J,eAAe,EAAE,yCAAyC,EAAE,gBAAgB,EAAE,0CAA0C;IACxH,gBAAgB,EAAE,0CAA0C,EAAE,eAAe,EAAE,yCAAyC,EAAE,CAAC,CAAC"}

package/dist/src/lifecycle/corrective-replan.d.ts

@@ -0,0 +1,64 @@
+import type { CorrectiveDecisionEvent, RemediationEvent, StepStatus, TaskPlanInput, TaskState, TaskStatus } from '../contracts.js';
+import type { BlockedTransitionNavigation, ExecutableTransitionDefinition, HumanGateTransitionNavigation, TransitionEvaluation } from './types.js';
+export declare const TASK_CORRECTIVE_REPLAN_TRANSITION_ID: "task.plan.corrective-replan";
+export interface CorrectiveReplanPosture {
+    readonly posture: string;
+    readonly stepId: string;
+    readonly attemptCount: number;
+    readonly correctiveDecision: CorrectiveDecisionEvent | null;
+}
+export declare function identifyCorrectiveReplanPosture(task: Readonly<TaskState>, guardedStepIds: readonly string[], decisions: readonly CorrectiveDecisionEvent[], remediations: readonly RemediationEvent[]): CorrectiveReplanPosture | null;
+export interface PreparedCorrectiveReplanCandidate {
+    readonly planBytes: string;
+    readonly planHash: string;
+    readonly stepIds: readonly string[];
+}
+export interface CorrectiveReplanSnapshot {
+    readonly taskId: string;
+    readonly taskRevision: number;
+    readonly taskStatus: TaskStatus;
+    readonly currentPlanHash: string | null;
+    readonly stepId: string;
+    readonly stepStatus: StepStatus | null;
+    readonly inProgressStepIds: readonly string[];
+    readonly remediationAttemptCount: number;
+    readonly correctivePosture: string;
+    readonly correctiveDecision: CorrectiveDecisionEvent | null;
+    readonly candidatePlanHash: string | null;
+    readonly candidateStepIds: readonly string[] | null;
+    readonly actorRoleEligible: boolean;
+    readonly c1ClaimAbsent: boolean;
+    readonly writerLeaseAbsent: boolean;
+    readonly planValidationPassed: boolean;
+    readonly receiptValid: boolean;
+    readonly riskAuditPassed: boolean;
+}
+export interface CorrectiveReplanAdmissionFacts {
+    readonly actorRoleEligible: boolean;
+    readonly c1ClaimAbsent: boolean;
+    readonly writerLeaseAbsent: boolean;
+    readonly planValidationPassed: boolean;
+    readonly receiptValid: boolean;
+    readonly riskAuditPassed: boolean;
+}
+export interface CorrectiveReplanAvailabilityBindings {
+    readonly taskId: string;
+    readonly expectedRevision: number;
+    readonly currentPlanHash: string;
+    readonly stepId: string;
+    readonly correctiveDecisionEventId: string;
+}
+export interface CorrectiveReplanExecutionBindings extends CorrectiveReplanAvailabilityBindings {
+    readonly candidatePlanHash: string;
+    readonly candidateStepIds: readonly string[];
+}
+export type CorrectiveReplanBindings = CorrectiveReplanAvailabilityBindings | CorrectiveReplanExecutionBindings;
+export declare const taskCorrectiveReplanDefinition: ExecutableTransitionDefinition<CorrectiveReplanSnapshot, CorrectiveReplanBindings>;
+export declare function prepareCorrectiveReplanCandidate(task: Readonly<TaskState>, plan: Readonly<TaskPlanInput>): PreparedCorrectiveReplanCandidate;
+export declare function hashCorrectivePlanBytes(planBytes: string): string;
+export declare function evaluateTaskCorrectiveReplanAvailability(task: Readonly<TaskState>, posture: Readonly<CorrectiveReplanPosture>): TransitionEvaluation<CorrectiveReplanAvailabilityBindings>;
+export declare function evaluateTaskCorrectiveReplanCandidate(task: Readonly<TaskState>, posture: Readonly<CorrectiveReplanPosture>, candidate: Readonly<PreparedCorrectiveReplanCandidate>): TransitionEvaluation<CorrectiveReplanExecutionBindings>;
+export declare function evaluateTaskCorrectiveReplanAdmission(task: Readonly<TaskState>, posture: Readonly<CorrectiveReplanPosture>, candidate: Readonly<PreparedCorrectiveReplanCandidate>, facts: Readonly<CorrectiveReplanAdmissionFacts>): TransitionEvaluation<CorrectiveReplanExecutionBindings>;
+export declare const evaluateTaskCorrectiveReplan: typeof evaluateTaskCorrectiveReplanAvailability;
+export declare function correctiveReplanNavigation(evaluation: TransitionEvaluation<CorrectiveReplanAvailabilityBindings>): HumanGateTransitionNavigation<CorrectiveReplanAvailabilityBindings>;
+export declare function correctiveReplanBlockedNavigation(evaluation: TransitionEvaluation<CorrectiveReplanAvailabilityBindings>): BlockedTransitionNavigation;