@opengeni/contracts 3.1.0-canary.2 → 3.1.2

package/src/governed-learning-activation.ts

@@ -1,10 +1,15 @@
+import { defineSchema } from "./define-schema";
 import { z } from "zod";
 
-const sha256 = z.string().regex(/^[0-9a-f]{64}$/);
-const boundedActor = z.string().trim().min(1).max(1_024);
+const sha256 = /* @__PURE__ */ defineSchema(() => z.string().regex(/^[0-9a-f]{64}$/));
+const boundedActor = /* @__PURE__ */ defineSchema(() => z.string().trim().min(1).max(1_024));
 
-export const GovernedLearningActivationDestination = z.enum(["instruction_policy", "preference"]);
-export const GovernedLearningActivationAuthorityKind = z.enum(["automatic", "human_confirmed"]);
+export const GovernedLearningActivationDestination = /* @__PURE__ */ defineSchema(() =>
+  z.enum(["instruction_policy", "preference"]),
+);
+export const GovernedLearningActivationAuthorityKind = /* @__PURE__ */ defineSchema(() =>
+  z.enum(["automatic", "human_confirmed"]),
+);
 export type GovernedLearningActivationAuthorityKind = z.infer<
   typeof GovernedLearningActivationAuthorityKind
 >;
@@ -12,30 +17,36 @@ export type GovernedLearningActivationDestination = z.infer<
   typeof GovernedLearningActivationDestination
 >;
 
-export const GovernedLearningActivationCaller = z
-  .object({
-    workspaceId: z.string().uuid(),
-    subjectId: boundedActor,
-  })
-  .strict();
+export const GovernedLearningActivationCaller = /* @__PURE__ */ defineSchema(() =>
+  z
+    .object({
+      workspaceId: z.string().uuid(),
+      subjectId: boundedActor,
+    })
+    .strict(),
+);
 export type GovernedLearningActivationCaller = z.infer<typeof GovernedLearningActivationCaller>;
 
-export const ActivateGovernedLearningDecisionRequest = z
-  .object({
-    operationId: z.string().uuid(),
-    decisionReceiptId: z.string().uuid(),
-  })
-  .strict();
+export const ActivateGovernedLearningDecisionRequest = /* @__PURE__ */ defineSchema(() =>
+  z
+    .object({
+      operationId: z.string().uuid(),
+      decisionReceiptId: z.string().uuid(),
+    })
+    .strict(),
+);
 export type ActivateGovernedLearningDecisionRequest = z.infer<
   typeof ActivateGovernedLearningDecisionRequest
 >;
 
-export const UndoGovernedLearningActivationRequest = z
-  .object({
-    operationId: z.string().uuid(),
-    activationReceiptId: z.string().uuid(),
-  })
-  .strict();
+export const UndoGovernedLearningActivationRequest = /* @__PURE__ */ defineSchema(() =>
+  z
+    .object({
+      operationId: z.string().uuid(),
+      activationReceiptId: z.string().uuid(),
+    })
+    .strict(),
+);
 export type UndoGovernedLearningActivationRequest = z.infer<
   typeof UndoGovernedLearningActivationRequest
 >;
@@ -56,91 +67,97 @@ const destinationBoundary = {
  * Immutable content-free proof that one final automatic evaluator receipt was
  * revalidated and applied through the destination-owned lifecycle.
  */
-export const GovernedLearningActivationReceipt = z
-  .object({
-    id: z.string().uuid(),
-    operationId: z.string().uuid(),
-    inputHash: sha256,
-    accountId: z.string().uuid(),
-    workspaceId: z.string().uuid(),
-    decisionReceiptId: z.string().uuid(),
-    initiatingHumanSubjectId: boundedActor,
-    serviceActorSubjectId: boundedActor,
-    policyRevisionId: z.string().uuid(),
-    policyHash: sha256,
-    policyActivationVersion: z.number().int().positive(),
-    sourceKind: z.enum(["scoped-knowledge-evidence", "task-note"]),
-    sourceId: z.string().uuid(),
-    sourceAuthorityHash: sha256,
-    proposalId: z.string().uuid(),
-    claimId: z.string().uuid(),
-    evidenceId: z.string().uuid(),
-    knowledgePreviousReviewId: z.string().uuid(),
-    knowledgePreviousReviewRevision: z.number().int().positive(),
-    knowledgeApprovalReviewId: z.string().uuid(),
-    knowledgeApprovalReviewRevision: z.number().int().positive(),
-    knowledgeApprovalInputHash: sha256,
-    ...destinationBoundary,
-    outcome: z.literal("activated"),
-    effectiveAt: z.string().datetime(),
-    /**
-     * `automatic`: a final eligible evaluator receipt under an automatic policy.
-     * `human_confirmed`: the exact initiating human answered the bound
-     * `remember:<proposalId>` structured human-input question with `save`.
-     */
-    authorityKind: GovernedLearningActivationAuthorityKind,
-    humanInputRequestId: z.string().uuid().nullable(),
-    rollback: z
-      .object({
-        supported: z.literal(true),
-        mechanism: z.literal("exact_head_and_latest_review"),
-      })
-      .strict(),
-    createdAt: z.string().datetime(),
-  })
-  .strict();
+export const GovernedLearningActivationReceipt = /* @__PURE__ */ defineSchema(() =>
+  z
+    .object({
+      id: z.string().uuid(),
+      operationId: z.string().uuid(),
+      inputHash: sha256,
+      accountId: z.string().uuid(),
+      workspaceId: z.string().uuid(),
+      decisionReceiptId: z.string().uuid(),
+      initiatingHumanSubjectId: boundedActor,
+      serviceActorSubjectId: boundedActor,
+      policyRevisionId: z.string().uuid(),
+      policyHash: sha256,
+      policyActivationVersion: z.number().int().positive(),
+      sourceKind: z.enum(["scoped-knowledge-evidence", "task-note"]),
+      sourceId: z.string().uuid(),
+      sourceAuthorityHash: sha256,
+      proposalId: z.string().uuid(),
+      claimId: z.string().uuid(),
+      evidenceId: z.string().uuid(),
+      knowledgePreviousReviewId: z.string().uuid(),
+      knowledgePreviousReviewRevision: z.number().int().positive(),
+      knowledgeApprovalReviewId: z.string().uuid(),
+      knowledgeApprovalReviewRevision: z.number().int().positive(),
+      knowledgeApprovalInputHash: sha256,
+      ...destinationBoundary,
+      outcome: z.literal("activated"),
+      effectiveAt: z.string().datetime(),
+      /**
+       * `automatic`: a final eligible evaluator receipt under an automatic policy.
+       * `human_confirmed`: the exact initiating human answered the bound
+       * `remember:<proposalId>` structured human-input question with `save`.
+       */
+      authorityKind: GovernedLearningActivationAuthorityKind,
+      humanInputRequestId: z.string().uuid().nullable(),
+      rollback: z
+        .object({
+          supported: z.literal(true),
+          mechanism: z.literal("exact_head_and_latest_review"),
+        })
+        .strict(),
+      createdAt: z.string().datetime(),
+    })
+    .strict(),
+);
 export type GovernedLearningActivationReceipt = z.infer<typeof GovernedLearningActivationReceipt>;
 
-export const ActivateHumanConfirmedLearningDecisionRequest = z
-  .object({
-    operationId: z.string().uuid(),
-    decisionReceiptId: z.string().uuid(),
-    humanInputRequestId: z.string().uuid(),
-  })
-  .strict();
+export const ActivateHumanConfirmedLearningDecisionRequest = /* @__PURE__ */ defineSchema(() =>
+  z
+    .object({
+      operationId: z.string().uuid(),
+      decisionReceiptId: z.string().uuid(),
+      humanInputRequestId: z.string().uuid(),
+    })
+    .strict(),
+);
 export type ActivateHumanConfirmedLearningDecisionRequest = z.infer<
   typeof ActivateHumanConfirmedLearningDecisionRequest
 >;
 
 /** Append-only compensation proof. Undo never deletes prior evidence. */
-export const GovernedLearningActivationUndoReceipt = z
-  .object({
-    id: z.string().uuid(),
-    operationId: z.string().uuid(),
-    inputHash: sha256,
-    accountId: z.string().uuid(),
-    workspaceId: z.string().uuid(),
-    activationReceiptId: z.string().uuid(),
-    initiatingHumanSubjectId: boundedActor,
-    serviceActorSubjectId: boundedActor,
-    destination: GovernedLearningActivationDestination,
-    knowledgeApprovalReviewId: z.string().uuid(),
-    knowledgeRevocationReviewId: z.string().uuid(),
-    knowledgeRevocationReviewRevision: z.number().int().positive(),
-    knowledgeRevocationInputHash: sha256,
-    destinationActivatedRevisionId: z.string().uuid(),
-    destinationRestoredRevisionId: z.string().uuid().nullable(),
-    destinationActivatedContentHash: sha256,
-    destinationRestoredContentHash: sha256.nullable(),
-    destinationOldVersion: z.number().int().positive(),
-    destinationNewVersion: z.number().int().positive(),
-    destinationEventId: z.string().uuid(),
-    outcome: z.literal("undone"),
-    superseded: z.literal(false),
-    effectiveAt: z.string().datetime(),
-    createdAt: z.string().datetime(),
-  })
-  .strict();
+export const GovernedLearningActivationUndoReceipt = /* @__PURE__ */ defineSchema(() =>
+  z
+    .object({
+      id: z.string().uuid(),
+      operationId: z.string().uuid(),
+      inputHash: sha256,
+      accountId: z.string().uuid(),
+      workspaceId: z.string().uuid(),
+      activationReceiptId: z.string().uuid(),
+      initiatingHumanSubjectId: boundedActor,
+      serviceActorSubjectId: boundedActor,
+      destination: GovernedLearningActivationDestination,
+      knowledgeApprovalReviewId: z.string().uuid(),
+      knowledgeRevocationReviewId: z.string().uuid(),
+      knowledgeRevocationReviewRevision: z.number().int().positive(),
+      knowledgeRevocationInputHash: sha256,
+      destinationActivatedRevisionId: z.string().uuid(),
+      destinationRestoredRevisionId: z.string().uuid().nullable(),
+      destinationActivatedContentHash: sha256,
+      destinationRestoredContentHash: sha256.nullable(),
+      destinationOldVersion: z.number().int().positive(),
+      destinationNewVersion: z.number().int().positive(),
+      destinationEventId: z.string().uuid(),
+      outcome: z.literal("undone"),
+      superseded: z.literal(false),
+      effectiveAt: z.string().datetime(),
+      createdAt: z.string().datetime(),
+    })
+    .strict(),
+);
 export type GovernedLearningActivationUndoReceipt = z.infer<
   typeof GovernedLearningActivationUndoReceipt
 >;
@@ -151,41 +168,45 @@ export type GovernedLearningActivationUndoReceipt = z.infer<
  * bound structured human-input question, after which the claim's latest
  * `proposed` review was superseded by an `approved` service review.
  */
-export const RememberKnowledgeConfirmationReceipt = z
-  .object({
-    id: z.string().uuid(),
-    operationId: z.string().uuid(),
-    inputHash: sha256,
-    accountId: z.string().uuid(),
-    workspaceId: z.string().uuid(),
-    sessionId: z.string().uuid(),
-    turnId: z.string().uuid(),
-    executionGeneration: z.number().int().positive(),
-    initiatingHumanSubjectId: boundedActor,
-    serviceActorSubjectId: boundedActor,
-    claimId: z.string().uuid(),
-    evidenceId: z.string().uuid(),
-    taskNoteId: z.string().uuid(),
-    taskNoteTextHash: sha256,
-    humanInputRequestId: z.string().uuid(),
-    previousReviewId: z.string().uuid(),
-    previousReviewRevision: z.number().int().positive(),
-    approvalReviewId: z.string().uuid(),
-    approvalReviewRevision: z.number().int().positive(),
-    createdAt: z.string().datetime(),
-  })
-  .strict();
+export const RememberKnowledgeConfirmationReceipt = /* @__PURE__ */ defineSchema(() =>
+  z
+    .object({
+      id: z.string().uuid(),
+      operationId: z.string().uuid(),
+      inputHash: sha256,
+      accountId: z.string().uuid(),
+      workspaceId: z.string().uuid(),
+      sessionId: z.string().uuid(),
+      turnId: z.string().uuid(),
+      executionGeneration: z.number().int().positive(),
+      initiatingHumanSubjectId: boundedActor,
+      serviceActorSubjectId: boundedActor,
+      claimId: z.string().uuid(),
+      evidenceId: z.string().uuid(),
+      taskNoteId: z.string().uuid(),
+      taskNoteTextHash: sha256,
+      humanInputRequestId: z.string().uuid(),
+      previousReviewId: z.string().uuid(),
+      previousReviewRevision: z.number().int().positive(),
+      approvalReviewId: z.string().uuid(),
+      approvalReviewRevision: z.number().int().positive(),
+      createdAt: z.string().datetime(),
+    })
+    .strict(),
+);
 export type RememberKnowledgeConfirmationReceipt = z.infer<
   typeof RememberKnowledgeConfirmationReceipt
 >;
 
-export const ConfirmRememberKnowledgeClaimRequest = z
-  .object({
-    operationId: z.string().uuid(),
-    claimId: z.string().uuid(),
-    humanInputRequestId: z.string().uuid(),
-  })
-  .strict();
+export const ConfirmRememberKnowledgeClaimRequest = /* @__PURE__ */ defineSchema(() =>
+  z
+    .object({
+      operationId: z.string().uuid(),
+      claimId: z.string().uuid(),
+      humanInputRequestId: z.string().uuid(),
+    })
+    .strict(),
+);
 export type ConfirmRememberKnowledgeClaimRequest = z.infer<
   typeof ConfirmRememberKnowledgeClaimRequest
 >;

package/src/governed-learning-evaluator.ts

@@ -1,3 +1,4 @@
+import { defineSchema } from "./define-schema";
 import { z } from "zod";
 import { WorkspaceLearningMode } from "./workspace-learning-policy";
 
@@ -9,15 +10,9 @@ import { WorkspaceLearningMode } from "./workspace-learning-policy";
 export const GOVERNED_LEARNING_AUTOMATIC_CONFIDENCE_FLOOR_BPS = 8_500;
 export const GOVERNED_LEARNING_MAX_CONFLICT_COUNT = 1_000;
 
-export const GovernedLearningDecisionOutcome = z.enum([
-  "off",
-  "suggest",
-  "automatic",
-  "confidence",
-  "conflict",
-  "stale",
-  "revoked",
-]);
+export const GovernedLearningDecisionOutcome = /* @__PURE__ */ defineSchema(() =>
+  z.enum(["off", "suggest", "automatic", "confidence", "conflict", "stale", "revoked"]),
+);
 export type GovernedLearningDecisionOutcome = z.infer<typeof GovernedLearningDecisionOutcome>;
 
 /** Stable order used by TypeScript, SQL constraints, and public receipts. */
@@ -31,146 +26,158 @@ export const GOVERNED_LEARNING_REASON_ORDER = [
   "policy_automatic",
 ] as const;
 
-export const GovernedLearningDecisionReason = z.enum(GOVERNED_LEARNING_REASON_ORDER);
+export const GovernedLearningDecisionReason = /* @__PURE__ */ defineSchema(() =>
+  z.enum(GOVERNED_LEARNING_REASON_ORDER),
+);
 export type GovernedLearningDecisionReason = z.infer<typeof GovernedLearningDecisionReason>;
 
-export const GovernedLearningDecisionFacts = z
-  .object({
-    effectiveMode: WorkspaceLearningMode,
-    confidenceBps: z.number().int().min(0).max(10_000),
-    conflictCount: z.number().int().min(0).max(GOVERNED_LEARNING_MAX_CONFLICT_COUNT),
-    stale: z.boolean(),
-    revoked: z.boolean(),
-  })
-  .strict();
+export const GovernedLearningDecisionFacts = /* @__PURE__ */ defineSchema(() =>
+  z
+    .object({
+      effectiveMode: WorkspaceLearningMode,
+      confidenceBps: z.number().int().min(0).max(10_000),
+      conflictCount: z.number().int().min(0).max(GOVERNED_LEARNING_MAX_CONFLICT_COUNT),
+      stale: z.boolean(),
+      revoked: z.boolean(),
+    })
+    .strict(),
+);
 export type GovernedLearningDecisionFacts = z.infer<typeof GovernedLearningDecisionFacts>;
 
-export const GovernedLearningDecision = z
-  .object({
-    outcome: GovernedLearningDecisionOutcome,
-    reasons: z
-      .array(GovernedLearningDecisionReason)
-      .min(1)
-      .max(GOVERNED_LEARNING_REASON_ORDER.length),
-    automaticEligible: z.boolean(),
-    confidenceFloorBps: z.literal(GOVERNED_LEARNING_AUTOMATIC_CONFIDENCE_FLOOR_BPS),
-  })
-  .strict()
-  .superRefine((decision, context) => {
-    if (decision.automaticEligible !== (decision.outcome === "automatic")) {
-      context.addIssue({
-        code: "custom",
-        path: ["automaticEligible"],
-        message: "automatic eligibility must exactly match the automatic outcome",
-      });
-    }
-    const indexes = decision.reasons.map((reason) =>
-      GOVERNED_LEARNING_REASON_ORDER.indexOf(reason),
-    );
-    if (indexes.some((value, index) => index > 0 && value <= indexes[index - 1]!)) {
-      context.addIssue({
-        code: "custom",
-        path: ["reasons"],
-        message: "governed-learning reasons must be unique and in canonical order",
-      });
-    }
-  });
+export const GovernedLearningDecision = /* @__PURE__ */ defineSchema(() =>
+  z
+    .object({
+      outcome: GovernedLearningDecisionOutcome,
+      reasons: z
+        .array(GovernedLearningDecisionReason)
+        .min(1)
+        .max(GOVERNED_LEARNING_REASON_ORDER.length),
+      automaticEligible: z.boolean(),
+      confidenceFloorBps: z.literal(GOVERNED_LEARNING_AUTOMATIC_CONFIDENCE_FLOOR_BPS),
+    })
+    .strict()
+    .superRefine((decision, context) => {
+      if (decision.automaticEligible !== (decision.outcome === "automatic")) {
+        context.addIssue({
+          code: "custom",
+          path: ["automaticEligible"],
+          message: "automatic eligibility must exactly match the automatic outcome",
+        });
+      }
+      const indexes = decision.reasons.map((reason) =>
+        GOVERNED_LEARNING_REASON_ORDER.indexOf(reason),
+      );
+      if (indexes.some((value, index) => index > 0 && value <= indexes[index - 1]!)) {
+        context.addIssue({
+          code: "custom",
+          path: ["reasons"],
+          message: "governed-learning reasons must be unique and in canonical order",
+        });
+      }
+    }),
+);
 export type GovernedLearningDecision = z.infer<typeof GovernedLearningDecision>;
 
-export const GovernedLearningEvaluationAttempt = z
-  .object({
-    workspaceId: z.string().uuid(),
-    subjectId: z.string().trim().min(1).max(1_024),
-    sessionId: z.string().uuid(),
-    turnId: z.string().uuid(),
-    attemptId: z.string().uuid(),
-    executionGeneration: z.number().int().positive(),
-  })
-  .strict();
+export const GovernedLearningEvaluationAttempt = /* @__PURE__ */ defineSchema(() =>
+  z
+    .object({
+      workspaceId: z.string().uuid(),
+      subjectId: z.string().trim().min(1).max(1_024),
+      sessionId: z.string().uuid(),
+      turnId: z.string().uuid(),
+      attemptId: z.string().uuid(),
+      executionGeneration: z.number().int().positive(),
+    })
+    .strict(),
+);
 export type GovernedLearningEvaluationAttempt = z.infer<typeof GovernedLearningEvaluationAttempt>;
 
-export const EvaluateGovernedLearningProposalRequest = z
-  .object({
-    operationId: z.string().uuid(),
-    policySnapshotId: z.string().uuid(),
-    proposalId: z.string().uuid(),
-    claimId: z.string().uuid(),
-    evidenceId: z.string().uuid(),
-  })
-  .strict();
+export const EvaluateGovernedLearningProposalRequest = /* @__PURE__ */ defineSchema(() =>
+  z
+    .object({
+      operationId: z.string().uuid(),
+      policySnapshotId: z.string().uuid(),
+      proposalId: z.string().uuid(),
+      claimId: z.string().uuid(),
+      evidenceId: z.string().uuid(),
+    })
+    .strict(),
+);
 export type EvaluateGovernedLearningProposalRequest = z.infer<
   typeof EvaluateGovernedLearningProposalRequest
 >;
 
-const sha256 = z.string().regex(/^[0-9a-f]{64}$/);
+const sha256 = /* @__PURE__ */ defineSchema(() => z.string().regex(/^[0-9a-f]{64}$/));
 
 /**
  * Content-free immutable evidence. Hashes and bounded enums identify exactly
  * what was evaluated without copying proposal, fact, citation, or note text.
  */
-export const GovernedLearningDecisionReceipt = z
-  .object({
-    id: z.string().uuid(),
-    operationId: z.string().uuid(),
-    inputHash: sha256,
-    accountId: z.string().uuid(),
-    workspaceId: z.string().uuid(),
-    sessionId: z.string().uuid(),
-    turnId: z.string().uuid(),
-    attemptId: z.string().uuid(),
-    executionGeneration: z.number().int().positive(),
-    initiatingHumanSubjectId: z.string().min(1).max(1_024),
-    policySnapshotId: z.string().uuid(),
-    policySnapshotHash: sha256,
-    policyRevisionId: z.string().uuid().nullable(),
-    policyActivationVersion: z.number().int().nonnegative(),
-    sourceKind: z.enum(["scoped-knowledge-evidence", "task-note"]),
-    sourceId: z.string().uuid(),
-    proposalId: z.string().uuid(),
-    proposalInputHash: sha256,
-    proposalContentHash: sha256,
-    claimId: z.string().uuid(),
-    claimInputHash: sha256,
-    evidenceId: z.string().uuid(),
-    evidenceInputHash: sha256,
-    evidenceContentHash: sha256,
-    evidenceAuthorityHash: sha256,
-    reviewRevision: z.number().int().positive(),
-    reviewState: z.enum(["proposed", "approved", "rejected", "revoked"]),
-    effectiveMode: WorkspaceLearningMode,
-    confidenceBps: z.number().int().min(0).max(10_000),
-    conflictCount: z.number().int().min(0).max(GOVERNED_LEARNING_MAX_CONFLICT_COUNT),
-    outcome: GovernedLearningDecisionOutcome,
-    reasons: z
-      .array(GovernedLearningDecisionReason)
-      .min(1)
-      .max(GOVERNED_LEARNING_REASON_ORDER.length),
-    automaticEligible: z.boolean(),
-    confidenceFloorBps: z.literal(GOVERNED_LEARNING_AUTOMATIC_CONFIDENCE_FLOOR_BPS),
-    createdAt: z.string().datetime(),
-  })
-  .strict()
-  .superRefine((receipt, context) => {
-    const decision = GovernedLearningDecision.safeParse({
-      outcome: receipt.outcome,
-      reasons: receipt.reasons,
-      automaticEligible: receipt.automaticEligible,
-      confidenceFloorBps: receipt.confidenceFloorBps,
-    });
-    if (!decision.success) {
-      for (const issue of decision.error.issues) {
-        context.addIssue({ ...issue, path: issue.path });
-      }
-    }
-    if (
-      receipt.sourceKind === "scoped-knowledge-evidence" &&
-      receipt.sourceId !== receipt.evidenceId
-    ) {
-      context.addIssue({
-        code: "custom",
-        path: ["sourceId"],
-        message: "scoped-Knowledge evaluation must use its exact evidence id as the source id",
+export const GovernedLearningDecisionReceipt = /* @__PURE__ */ defineSchema(() =>
+  z
+    .object({
+      id: z.string().uuid(),
+      operationId: z.string().uuid(),
+      inputHash: sha256,
+      accountId: z.string().uuid(),
+      workspaceId: z.string().uuid(),
+      sessionId: z.string().uuid(),
+      turnId: z.string().uuid(),
+      attemptId: z.string().uuid(),
+      executionGeneration: z.number().int().positive(),
+      initiatingHumanSubjectId: z.string().min(1).max(1_024),
+      policySnapshotId: z.string().uuid(),
+      policySnapshotHash: sha256,
+      policyRevisionId: z.string().uuid().nullable(),
+      policyActivationVersion: z.number().int().nonnegative(),
+      sourceKind: z.enum(["scoped-knowledge-evidence", "task-note"]),
+      sourceId: z.string().uuid(),
+      proposalId: z.string().uuid(),
+      proposalInputHash: sha256,
+      proposalContentHash: sha256,
+      claimId: z.string().uuid(),
+      claimInputHash: sha256,
+      evidenceId: z.string().uuid(),
+      evidenceInputHash: sha256,
+      evidenceContentHash: sha256,
+      evidenceAuthorityHash: sha256,
+      reviewRevision: z.number().int().positive(),
+      reviewState: z.enum(["proposed", "approved", "rejected", "revoked"]),
+      effectiveMode: WorkspaceLearningMode,
+      confidenceBps: z.number().int().min(0).max(10_000),
+      conflictCount: z.number().int().min(0).max(GOVERNED_LEARNING_MAX_CONFLICT_COUNT),
+      outcome: GovernedLearningDecisionOutcome,
+      reasons: z
+        .array(GovernedLearningDecisionReason)
+        .min(1)
+        .max(GOVERNED_LEARNING_REASON_ORDER.length),
+      automaticEligible: z.boolean(),
+      confidenceFloorBps: z.literal(GOVERNED_LEARNING_AUTOMATIC_CONFIDENCE_FLOOR_BPS),
+      createdAt: z.string().datetime(),
+    })
+    .strict()
+    .superRefine((receipt, context) => {
+      const decision = GovernedLearningDecision.safeParse({
+        outcome: receipt.outcome,
+        reasons: receipt.reasons,
+        automaticEligible: receipt.automaticEligible,
+        confidenceFloorBps: receipt.confidenceFloorBps,
       });
-    }
-  });
+      if (!decision.success) {
+        for (const issue of decision.error.issues) {
+          context.addIssue({ ...issue, path: issue.path });
+        }
+      }
+      if (
+        receipt.sourceKind === "scoped-knowledge-evidence" &&
+        receipt.sourceId !== receipt.evidenceId
+      ) {
+        context.addIssue({
+          code: "custom",
+          path: ["sourceId"],
+          message: "scoped-Knowledge evaluation must use its exact evidence id as the source id",
+        });
+      }
+    }),
+);
 export type GovernedLearningDecisionReceipt = z.infer<typeof GovernedLearningDecisionReceipt>;