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

package/dist/src/state/corrective-replan-public-schema.js

@@ -0,0 +1,43 @@
+import { readFileSync } from 'node:fs';
+import { Ajv2020 } from 'ajv/dist/2020.js';
+import { WorkflowError } from '../errors.js';
+const PUBLIC_SCHEMA_ID = 'codex-workflow://schemas/public/corrective-replan/v2';
+const credentialSchema = JSON.parse(readFileSync(new URL('../../../schemas/corrective-replan-credentials.private.schema.json', import.meta.url), 'utf8'));
+const transitionPayloadSchema = JSON.parse(readFileSync(new URL('../../../schemas/transition-payloads.schema.json', import.meta.url), 'utf8'));
+const publicSchema = JSON.parse(readFileSync(new URL('../../../schemas/corrective-replan-public.schema.json', import.meta.url), 'utf8'));
+const ajv = new Ajv2020({ allErrors: true, strict: true, formats: { 'date-time': true } });
+ajv.addSchema(credentialSchema);
+ajv.addSchema(transitionPayloadSchema);
+ajv.addSchema(publicSchema);
+const validators = {
+    candidate: requiredValidator('candidateV1'),
+    humanGate: requiredValidator('humanGateV1'),
+    humanGateResult: requiredValidator('humanGateResultV1'),
+    credential: requiredValidator('credentialV1'),
+    executionResult: requiredValidator('executionResultV1'),
+    response: requiredValidator('responseV2'),
+};
+export function validateCorrectiveReplanPublicValue(kind, value) {
+    return validators[kind](value) === true;
+}
+export function assertCorrectiveReplanPublicOutput(kind, value) {
+    const validator = validators[kind];
+    if (validator(value) !== true) {
+        throw new WorkflowError('STATE_CORRUPT', 'Core produced an invalid corrective-replan protocol-v2 response.', {
+            responseKind: kind,
+            schemaId: PUBLIC_SCHEMA_ID,
+            errors: normalizeErrors(validator.errors),
+        });
+    }
+    return value;
+}
+function requiredValidator(definition) {
+    const validator = ajv.getSchema(`${PUBLIC_SCHEMA_ID}#/$defs/${definition}`);
+    if (!validator)
+        throw new TypeError(`Missing corrective-replan public schema definition ${definition}.`);
+    return validator;
+}
+function normalizeErrors(errors) {
+    return (errors ?? []).map((entry) => ({ path: entry.instancePath || '/', keyword: entry.keyword }));
+}
+//# sourceMappingURL=corrective-replan-public-schema.js.map

package/dist/src/state/corrective-replan-public-schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"corrective-replan-public-schema.js","sourceRoot":"","sources":["../../../src/state/corrective-replan-public-schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAyB,MAAM,kBAAkB,CAAC;AAClE,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAE7C,MAAM,gBAAgB,GAAG,sDAAsD,CAAC;AAChF,MAAM,gBAAgB,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAC9C,IAAI,GAAG,CAAC,oEAAoE,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAC9F,MAAM,CACP,CAAW,CAAC;AACb,MAAM,uBAAuB,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CACrD,IAAI,GAAG,CAAC,kDAAkD,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAC5E,MAAM,CACP,CAAW,CAAC;AACb,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAC1C,IAAI,GAAG,CAAC,uDAAuD,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EACjF,MAAM,CACP,CAAW,CAAC;AACb,MAAM,GAAG,GAAG,IAAI,OAAO,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;AAC3F,GAAG,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;AAChC,GAAG,CAAC,SAAS,CAAC,uBAAuB,CAAC,CAAC;AACvC,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;AAU5B,MAAM,UAAU,GAAyE;IACvF,SAAS,EAAE,iBAAiB,CAAC,aAAa,CAAC;IAC3C,SAAS,EAAE,iBAAiB,CAAC,aAAa,CAAC;IAC3C,eAAe,EAAE,iBAAiB,CAAC,mBAAmB,CAAC;IACvD,UAAU,EAAE,iBAAiB,CAAC,cAAc,CAAC;IAC7C,eAAe,EAAE,iBAAiB,CAAC,mBAAmB,CAAC;IACvD,QAAQ,EAAE,iBAAiB,CAAC,YAAY,CAAC;CAC1C,CAAC;AAEF,MAAM,UAAU,mCAAmC,CACjD,IAAsC,EACtC,KAAc;IAEd,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC;AAC1C,CAAC;AAED,MAAM,UAAU,kCAAkC,CAChD,IAAsC,EACtC,KAAQ;IAER,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,SAAS,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;QAC9B,MAAM,IAAI,aAAa,CAAC,eAAe,EAAE,kEAAkE,EAAE;YAC3G,YAAY,EAAE,IAAI;YAClB,QAAQ,EAAE,gBAAgB;YAC1B,MAAM,EAAE,eAAe,CAAC,SAAS,CAAC,MAAM,CAAC;SAC1C,CAAC,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,iBAAiB,CAAC,UAAkB;IAC3C,MAAM,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,gBAAgB,WAAW,UAAU,EAAE,CAAC,CAAC;IAC5E,IAAI,CAAC,SAAS;QAAE,MAAM,IAAI,SAAS,CAAC,sDAAsD,UAAU,GAAG,CAAC,CAAC;IACzG,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,eAAe,CAAC,MAAkC;IACzD,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,YAAY,IAAI,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;AACtG,CAAC"}

package/dist/src/state/corrective-replan-public.d.ts

@@ -0,0 +1,95 @@
+import type { TaskPlanInput } from '../contracts.js';
+import { type CorrectiveReplanExecutionResult, type CorrectiveReplanRiskAuditInput } from './corrective-replan-executor.js';
+import type { FileStateStore } from './store.js';
+type JsonRecord = Record<string, unknown>;
+export interface CorrectiveReplanAuthorityPresentation {
+    readonly planAuthorIdentityHash: string;
+    readonly planValidatorIdentityHash: string;
+    readonly riskAuditorIdentityHash: string;
+    readonly actorIdentityHash: string;
+    readonly actorRole: 'delivery-coordinator' | 'technical-planner';
+    readonly humanPrincipalIdentityHash: string;
+}
+export interface CorrectiveReplanValidationEvidence {
+    readonly validatorContextHash: string;
+    readonly findings: readonly Readonly<{
+        findingId: string;
+        severity: 'low' | 'medium' | 'high';
+        requirementRef: string;
+        evidenceHash: string;
+    }>[];
+    readonly dispositions: readonly Readonly<{
+        findingId: string;
+        decision: 'resolved' | 'accepted-documented-limitation';
+        evidenceHash: string;
+    }>[];
+}
+export interface CorrectiveReplanPublicCandidate {
+    readonly plan: TaskPlanInput;
+    readonly validation: CorrectiveReplanValidationEvidence;
+    readonly riskAudit: CorrectiveReplanRiskAuditInput;
+    readonly authority: CorrectiveReplanAuthorityPresentation;
+}
+export interface CorrectiveReplanHumanGate {
+    readonly kind: 'corrective-replan-human-gate';
+    readonly version: 1;
+    readonly taskId: string;
+    readonly preparedAtMs: number;
+    readonly expiresAtMs: number;
+    readonly candidatePlanHash: string;
+    readonly bindingSha256: string;
+    readonly attestationId: string;
+    readonly attestationHash: string;
+    readonly challengeId: string;
+    readonly runtimeFingerprint: string;
+    readonly catalogHash: string;
+    readonly lifecycleEpoch: number;
+    readonly preparationSha256: string;
+}
+export interface CorrectiveReplanHumanGateResult {
+    readonly kind: 'corrective-replan-human-gate-result';
+    readonly gate: CorrectiveReplanHumanGate;
+    readonly delivery: Readonly<{
+        kind: 'corrective-replan-human-challenge-delivery';
+        version: 1;
+        challengeId: string;
+        confirmationCode: string;
+        expiresAtMs: number;
+    }>;
+}
+export interface CorrectiveReplanPublicCredential {
+    readonly kind: 'corrective-replan-public-credential';
+    readonly version: 1;
+    readonly gate: CorrectiveReplanHumanGate;
+    readonly receipt: Readonly<JsonRecord>;
+    readonly planValidationEvent: Readonly<JsonRecord>;
+}
+export interface CorrectiveReplanPublicController {
+    prepare(input: {
+        taskId: string;
+        candidate: CorrectiveReplanPublicCandidate;
+    }): CorrectiveReplanHumanGateResult;
+    confirm(input: {
+        taskId: string;
+        candidate: CorrectiveReplanPublicCandidate;
+        gate: CorrectiveReplanHumanGate;
+        confirmationCode: string;
+    }): CorrectiveReplanPublicCredential;
+    execute(input: {
+        taskId: string;
+        candidate: CorrectiveReplanPublicCandidate;
+        credential: CorrectiveReplanPublicCredential;
+    }): CorrectiveReplanExecutionResult;
+    recover(input: {
+        taskId: string;
+        transactionId: string;
+    }): CorrectiveReplanExecutionResult;
+}
+interface ControllerOptions {
+    readonly store: FileStateStore;
+    readonly projectId: string;
+    readonly repositoryRoot: string;
+    readonly now?: () => Date;
+}
+export declare function createCorrectiveReplanPublicController(options: ControllerOptions): CorrectiveReplanPublicController;
+export {};