codex-workflow-v2 2.0.0-beta.1 → 2.0.0-beta.11

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

@@ -0,0 +1,86 @@
+type JsonRecord = Record<string, unknown>;
+type Reason = 'schema' | 'binding' | 'authority' | 'sod' | 'time' | 'integrity' | 'provenance';
+type Issue = Readonly<{
+    issueId: string;
+    path: string;
+    reasonClass: Reason;
+}>;
+type Result<T> = Readonly<{
+    ok: true;
+    value: Readonly<T>;
+    issues: readonly [];
+}> | Readonly<{
+    ok: false;
+    value: null;
+    issues: readonly Issue[];
+    reportHash: string;
+}>;
+type Verification<T> = Readonly<{
+    valid: true;
+    projection: Readonly<T>;
+    issues: readonly [];
+    reportHash: string;
+}> | Readonly<{
+    valid: false;
+    projection: null;
+    issues: readonly Issue[];
+    reportHash: string;
+}>;
+declare const planBrand: unique symbol;
+declare const challengeBrand: unique symbol;
+declare const confirmationBrand: unique symbol;
+declare const receiptBrand: unique symbol;
+declare const eventBrand: unique symbol;
+export type PlanValidationHandle = Readonly<{
+    [planBrand]: never;
+}>;
+export type HumanChallengeHandle = Readonly<{
+    [challengeBrand]: never;
+}>;
+export type VerifiedConfirmationHandle = Readonly<{
+    [confirmationBrand]: never;
+}>;
+export type ReceiptHandle = Readonly<{
+    [receiptBrand]: never;
+}>;
+export type StoredPlanValidationEventHandle = Readonly<{
+    [eventBrand]: never;
+}>;
+export interface CorrectiveReplanCredentialCorePorts {
+    readonly snapshotSource: {
+        readCorrectiveReplanSnapshot(taskId: string): unknown;
+    };
+    readonly coreClock: {
+        nowMs(): number;
+    };
+    readonly idSource: {
+        nextId(kind: 'plan-validation-attestation' | 'human-challenge' | 'receipt' | 'plan-validation-event'): string;
+    };
+    readonly challengeCodeSource: {
+        issueConfirmationCode(): string;
+    };
+    readonly validationEventTailSource: {
+        readPlanValidationTail(taskId: string): unknown;
+    };
+}
+export interface CorrectiveReplanCredentialKernel {
+    issuePlanValidation(input: unknown): Result<JsonRecord>;
+    issueHumanChallenge(input: unknown): Result<JsonRecord>;
+    confirmHuman(input: unknown): Result<JsonRecord>;
+    issueReceipt(input: unknown): Result<JsonRecord>;
+    verifyReceipt(input: unknown): Verification<JsonRecord>;
+    materializeStoredEvent(input: unknown): Result<JsonRecord>;
+    verifyStoredEvent(input: unknown): Verification<JsonRecord>;
+}
+export interface CredentialFunctionBinding {
+    readonly id: string;
+    readonly version: 1;
+    readonly kind: 'materializer' | 'verifier';
+    readonly implementationId: `implementation.${string}`;
+    readonly implementationVersion: 1;
+    readonly wiring: 'invoked';
+    readonly callable: (issuer: unknown, input: unknown) => unknown;
+}
+export declare function createCorrectiveReplanCredentialKernel(ports: CorrectiveReplanCredentialCorePorts): CorrectiveReplanCredentialKernel;
+export declare const correctiveReplanCredentialFunctionBindings: readonly CredentialFunctionBinding[];
+export {};