@conform-ed/contracts 0.0.12 → 0.0.14

package/src/qti/v3_0_1/assessment-internal.ts

@@ -1,5 +1,14 @@
 import { z } from "zod";
 
+import {
+  QtiBranchRuleSchema,
+  QtiIncludeSchema,
+  QtiOutcomeProcessingSchema,
+  QtiPreConditionSchema,
+  QtiResponseProcessingSchema,
+  QtiTemplateDefaultSchema,
+  QtiTemplateProcessingSchema,
+} from "./processing-internal";
 import {
   QtiDirectionSchema,
   QtiIdentifierListSchema,
@@ -31,15 +40,6 @@ import {
   QtiVariableMappingSchema,
   QtiWeightSchema,
 } from "./variables-internal";
-import {
-  QtiBranchRuleSchema,
-  QtiIncludeSchema,
-  QtiOutcomeProcessingSchema,
-  QtiPreConditionSchema,
-  QtiResponseProcessingSchema,
-  QtiTemplateDefaultSchema,
-  QtiTemplateProcessingSchema,
-} from "./processing-internal";
 
 const QtiCommonNodeShape = {
   id: QtiIdentifierSchema.optional(),
@@ -84,9 +84,9 @@ const interactionKinds = new Set<string>([
   "endAttemptInteraction",
 ]);
 
-export const QtiXmlContentNodeSchema: z.ZodTypeAny = z.lazy(() => createXmlNodeSchema(QtiContentFragmentSchema));
+export const QtiXmlContentNodeSchema: z.ZodType = z.lazy(() => createXmlNodeSchema(QtiContentFragmentSchema));
 
-export const QtiPromptSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiPromptSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("prompt"),
     ...QtiCommonNodeShape,
@@ -94,7 +94,7 @@ export const QtiPromptSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiLabelElementSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiLabelElementSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("labelElement"),
     ...QtiCommonNodeShape,
@@ -133,14 +133,14 @@ export const QtiInteractionModulesSchema = strictObject({
   modules: z.array(QtiInteractionModuleSchema).min(1),
 });
 
-export const QtiInteractionMarkupSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiInteractionMarkupSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("interactionMarkup"),
     content: z.array(QtiContentFragmentSchema).optional(),
   }),
 );
 
-export const QtiFeedbackInlineSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiFeedbackInlineSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("feedbackInline"),
     ...QtiCommonNodeShape,
@@ -151,7 +151,7 @@ export const QtiFeedbackInlineSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiFeedbackBlockSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiFeedbackBlockSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("feedbackBlock"),
     ...QtiCommonNodeShape,
@@ -164,7 +164,7 @@ export const QtiFeedbackBlockSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiTemplateInlineSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiTemplateInlineSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("templateInline"),
     ...QtiCommonNodeShape,
@@ -175,7 +175,7 @@ export const QtiTemplateInlineSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiTemplateBlockFeedbackBlockSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiTemplateBlockFeedbackBlockSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("templateBlockFeedbackBlock"),
     ...QtiCommonNodeShape,
@@ -188,7 +188,7 @@ export const QtiTemplateBlockFeedbackBlockSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiTemplateBlockSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiTemplateBlockSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("templateBlock"),
     ...QtiCommonNodeShape,
@@ -201,7 +201,7 @@ export const QtiTemplateBlockSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiRubricBlockSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiRubricBlockSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("rubricBlock"),
     ...QtiCommonNodeShape,
@@ -213,7 +213,7 @@ export const QtiRubricBlockSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiTestRubricBlockSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiTestRubricBlockSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("testRubricBlock"),
     ...QtiCommonNodeShape,
@@ -226,7 +226,7 @@ export const QtiTestRubricBlockSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiModalFeedbackSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiModalFeedbackSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("modalFeedback"),
     outcomeIdentifier: QtiIdentifierSchema,
@@ -240,7 +240,7 @@ export const QtiModalFeedbackSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiTestFeedbackSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiTestFeedbackSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("testFeedback"),
     access: z.enum(["atEnd", "during"]),
@@ -265,7 +265,7 @@ export const QtiGapSchema = strictObject({
   required: z.boolean().optional(),
 });
 
-export const QtiGapTextSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiGapTextSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("gapText"),
     ...QtiCommonNodeShape,
@@ -279,7 +279,7 @@ export const QtiGapTextSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiGapImgSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiGapImgSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("gapImg"),
     ...QtiCommonNodeShape,
@@ -296,7 +296,7 @@ export const QtiGapImgSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiHotTextSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiHotTextSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("hotText"),
     ...QtiCommonNodeShape,
@@ -331,7 +331,7 @@ export const QtiAssociableHotspotSchema = strictObject({
   hotspotLabel: z.string().optional(),
 });
 
-export const QtiSimpleChoiceSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiSimpleChoiceSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("simpleChoice"),
     ...QtiCommonNodeShape,
@@ -343,7 +343,7 @@ export const QtiSimpleChoiceSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiSimpleAssociableChoiceSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiSimpleAssociableChoiceSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("simpleAssociableChoice"),
     ...QtiCommonNodeShape,
@@ -358,7 +358,7 @@ export const QtiSimpleAssociableChoiceSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiInlineChoiceSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiInlineChoiceSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("inlineChoice"),
     ...QtiCommonNodeShape,
@@ -372,7 +372,7 @@ export const QtiInlineChoiceSchema: z.ZodTypeAny = z.lazy(() =>
 
 const QtiRenderableNodeSchema = z.union([QtiXmlContentNodeSchema, QtiIncludeSchema]);
 
-export const QtiChoiceInteractionSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiChoiceInteractionSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("choiceInteraction"),
     ...QtiCommonNodeShape,
@@ -388,7 +388,7 @@ export const QtiChoiceInteractionSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiInlineChoiceInteractionSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiInlineChoiceInteractionSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("inlineChoiceInteraction"),
     ...QtiCommonNodeShape,
@@ -416,7 +416,7 @@ export const QtiTextEntryInteractionSchema = strictObject({
   dataPatternmaskMessage: z.string().optional(),
 });
 
-export const QtiExtendedTextInteractionSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiExtendedTextInteractionSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("extendedTextInteraction"),
     ...QtiCommonNodeShape,
@@ -435,7 +435,7 @@ export const QtiExtendedTextInteractionSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiSimpleMatchSetSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiSimpleMatchSetSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("simpleMatchSet"),
     id: QtiIdentifierSchema.optional(),
@@ -444,7 +444,7 @@ export const QtiSimpleMatchSetSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiMatchInteractionSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiMatchInteractionSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("matchInteraction"),
     ...QtiCommonNodeShape,
@@ -462,7 +462,7 @@ export const QtiMatchInteractionSchema: z.ZodTypeAny = z.lazy(() =>
 
 export const QtiGapChoiceSchema = z.union([QtiGapTextSchema, QtiGapImgSchema]);
 
-export const QtiGapMatchInteractionSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiGapMatchInteractionSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("gapMatchInteraction"),
     ...QtiCommonNodeShape,
@@ -479,7 +479,7 @@ export const QtiGapMatchInteractionSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiMediaInteractionSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiMediaInteractionSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("mediaInteraction"),
     ...QtiCommonNodeShape,
@@ -494,7 +494,7 @@ export const QtiMediaInteractionSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiUploadInteractionSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiUploadInteractionSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("uploadInteraction"),
     ...QtiCommonNodeShape,
@@ -504,7 +504,7 @@ export const QtiUploadInteractionSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiOrderInteractionSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiOrderInteractionSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("orderInteraction"),
     ...QtiCommonNodeShape,
@@ -521,7 +521,7 @@ export const QtiOrderInteractionSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiHotTextInteractionSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiHotTextInteractionSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("hotTextInteraction"),
     ...QtiCommonNodeShape,
@@ -535,7 +535,7 @@ export const QtiHotTextInteractionSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiHotspotInteractionSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiHotspotInteractionSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("hotspotInteraction"),
     ...QtiCommonNodeShape,
@@ -550,7 +550,7 @@ export const QtiHotspotInteractionSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiAssociateInteractionSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiAssociateInteractionSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("associateInteraction"),
     ...QtiCommonNodeShape,
@@ -563,7 +563,7 @@ export const QtiAssociateInteractionSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiGraphicAssociateInteractionSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiGraphicAssociateInteractionSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("graphicAssociateInteraction"),
     ...QtiCommonNodeShape,
@@ -576,7 +576,7 @@ export const QtiGraphicAssociateInteractionSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiGraphicGapMatchInteractionSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiGraphicGapMatchInteractionSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("graphicGapMatchInteraction"),
     ...QtiCommonNodeShape,
@@ -593,7 +593,7 @@ export const QtiGraphicGapMatchInteractionSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiGraphicOrderInteractionSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiGraphicOrderInteractionSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("graphicOrderInteraction"),
     ...QtiCommonNodeShape,
@@ -606,7 +606,7 @@ export const QtiGraphicOrderInteractionSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiSelectPointInteractionSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiSelectPointInteractionSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("selectPointInteraction"),
     ...QtiCommonNodeShape,
@@ -618,7 +618,7 @@ export const QtiSelectPointInteractionSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiSliderInteractionSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiSliderInteractionSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("sliderInteraction"),
     ...QtiCommonNodeShape,
@@ -633,7 +633,7 @@ export const QtiSliderInteractionSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiPositionObjectInteractionSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiPositionObjectInteractionSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("positionObjectInteraction"),
     ...QtiCommonNodeShape,
@@ -645,7 +645,7 @@ export const QtiPositionObjectInteractionSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiPortableCustomInteractionSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiPortableCustomInteractionSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("portableCustomInteraction"),
     ...QtiCommonNodeShape,
@@ -659,10 +659,12 @@ export const QtiPortableCustomInteractionSchema: z.ZodTypeAny = z.lazy(() =>
     catalogInfo: QtiCatalogInfoSchema.optional(),
     customInteractionTypeIdentifier: z.string(),
     module: z.string().optional(),
+    /** PCI configuration properties: the element's data-* attributes, prefix stripped. */
+    properties: z.record(z.string(), z.string()).optional(),
   }),
 );
 
-export const QtiCustomInteractionSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiCustomInteractionSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("customInteraction"),
     ...QtiCommonNodeShape,
@@ -672,7 +674,7 @@ export const QtiCustomInteractionSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiDrawingInteractionSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiDrawingInteractionSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("drawingInteraction"),
     ...QtiCommonNodeShape,
@@ -683,17 +685,19 @@ export const QtiDrawingInteractionSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiEndAttemptInteractionSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiEndAttemptInteractionSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("endAttemptInteraction"),
     ...QtiCommonNodeShape,
     responseIdentifier: QtiIdentifierSchema.optional(),
+    // The XSD-required button label (`title` on qti-end-attempt-interaction).
+    title: z.string().optional(),
     content: z.array(QtiContentFragmentSchema).optional(),
     attributes: XmlForeignAttributesSchema.optional(),
   }),
 );
 
-export const QtiPositionObjectStageSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiPositionObjectStageSchema: z.ZodType = z.lazy(() =>
   strictObject({
     kind: z.literal("positionObjectStage"),
     id: QtiIdentifierSchema.optional(),
@@ -703,7 +707,7 @@ export const QtiPositionObjectStageSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiContentFragmentSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiContentFragmentSchema: z.ZodType = z.lazy(() =>
   z.union([
     z.string(),
     QtiXmlContentNodeSchema,
@@ -749,13 +753,13 @@ export const QtiContentFragmentSchema: z.ZodTypeAny = z.lazy(() =>
   ]),
 );
 
-export const QtiItemBodySchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiItemBodySchema: z.ZodType = z.lazy(() =>
   strictObject({
     content: z.array(QtiContentFragmentSchema).min(1),
   }),
 );
 
-export const QtiStimulusBodySchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiStimulusBodySchema: z.ZodType = z.lazy(() =>
   strictObject({
     ...QtiCommonNodeShape,
     content: z.array(QtiContentFragmentSchema).min(1),
@@ -827,7 +831,35 @@ export const QtiAssessmentStimulusRefSchema = strictObject({
   foreignAttributes: XmlForeignAttributesSchema.optional(),
 });
 
-function walkUnknown(value: unknown, visit: (node: Record<string, unknown>) => void) {
+/**
+ * The ASI node fields the cross-validators read. Nodes arrive pre-validation
+ * (these refinements run during parsing), so every field stays `unknown` until
+ * narrowed; the declared names are the QTI vocabulary the checks are defined
+ * over -- anything else on a node flows through the index signature.
+ */
+type AsiNodeView = {
+  kind?: unknown;
+  identifier?: unknown;
+  responseIdentifier?: unknown;
+  content?: unknown;
+  simpleChoices?: unknown;
+  inlineChoices?: unknown;
+  gapChoices?: unknown;
+  hotspotChoices?: unknown;
+  minChoices?: unknown;
+  maxChoices?: unknown;
+  minStrings?: unknown;
+  maxStrings?: unknown;
+  minAssociations?: unknown;
+  maxAssociations?: unknown;
+  minPlays?: unknown;
+  maxPlays?: unknown;
+  lowerBound?: unknown;
+  upperBound?: unknown;
+  [key: string]: unknown;
+};
+
+function walkUnknown(value: unknown, visit: (node: AsiNodeView) => void) {
   if (Array.isArray(value)) {
     for (const entry of value) {
       walkUnknown(entry, visit);
@@ -839,7 +871,7 @@ function walkUnknown(value: unknown, visit: (node: Record<string, unknown>) => v
     return;
   }
 
-  const node = value as Record<string, unknown>;
+  const node = value as AsiNodeView;
   visit(node);
 
   for (const [key, child] of Object.entries(node)) {
@@ -863,8 +895,8 @@ function containsInteraction(value: unknown): boolean {
   return found;
 }
 
-function collectInteractionNodes(value: unknown): Array<Record<string, unknown>> {
-  const interactions: Array<Record<string, unknown>> = [];
+function collectInteractionNodes(value: unknown): AsiNodeView[] {
+  const interactions: AsiNodeView[] = [];
 
   walkUnknown(value, (node) => {
     const kind = typeof node.kind === "string" ? node.kind : null;
@@ -876,8 +908,8 @@ function collectInteractionNodes(value: unknown): Array<Record<string, unknown>>
   return interactions;
 }
 
-function collectNodesByKind(value: unknown, kinds: readonly string[]): Array<Record<string, unknown>> {
-  const matches: Array<Record<string, unknown>> = [];
+function collectNodesByKind(value: unknown, kinds: readonly string[]): AsiNodeView[] {
+  const matches: AsiNodeView[] = [];
   const kindSet = new Set(kinds);
 
   walkUnknown(value, (node) => {
@@ -936,14 +968,16 @@ function validateOutcomeDeclarationConventions(
   path: Array<string | number>,
 ) {
   for (const [index, declaration] of declarations.entries()) {
+    // The information model recommends float, but the XSD does not enforce it and the
+    // official corpus ships integer SCOREs — require single numeric, nothing stricter.
     if (
       ["SCORE", "MAXSCORE"].includes(declaration.identifier) &&
-      (declaration.baseType !== "float" || declaration.cardinality !== "single")
+      (!["float", "integer"].includes(declaration.baseType ?? "") || declaration.cardinality !== "single")
     ) {
       addIssue(
         context,
         [...path, index],
-        `${declaration.identifier} should have baseType 'float' and cardinality 'single'.`,
+        `${declaration.identifier} should be a single numeric outcome (baseType 'float' or 'integer').`,
       );
     }
 
@@ -971,7 +1005,7 @@ function addDuplicateSummaryIssue(
 }
 
 function validateResponseBinding(
-  interaction: Record<string, unknown>,
+  interaction: AsiNodeView,
   responsesById: Map<string, z.infer<typeof QtiResponseDeclarationSchema>>,
   context: z.RefinementCtx,
   path: Array<string | number>,
@@ -1018,8 +1052,8 @@ function validateResponseBinding(
           typeof choice.identifier === "string" ? [choice.identifier] : [],
         ),
       );
-      const minChoices = typeof interaction.minChoices === "number" ? interaction.minChoices : undefined;
-      const maxChoices = typeof interaction.maxChoices === "number" ? interaction.maxChoices : undefined;
+      const minChoices = minOf(interaction.minChoices);
+      const maxChoices = boundedMax(interaction.maxChoices);
       if (minChoices !== undefined && maxChoices !== undefined && minChoices > maxChoices) {
         addIssue(context, path, "choiceInteraction minChoices must not exceed maxChoices.");
       }
@@ -1052,8 +1086,8 @@ function validateResponseBinding(
         break;
       }
       requireBaseAndCardinality(["string", "integer", "float"], ["single", "multiple", "ordered"]);
-      const minStrings = typeof interaction.minStrings === "number" ? interaction.minStrings : undefined;
-      const maxStrings = typeof interaction.maxStrings === "number" ? interaction.maxStrings : undefined;
+      const minStrings = minOf(interaction.minStrings);
+      const maxStrings = boundedMax(interaction.maxStrings);
       if (minStrings !== undefined && maxStrings !== undefined && minStrings > maxStrings) {
         addIssue(context, path, "extendedTextInteraction minStrings must not exceed maxStrings.");
       }
@@ -1062,8 +1096,8 @@ function validateResponseBinding(
 
     case "matchInteraction": {
       requireBaseAndCardinality(["directedPair"], ["single", "multiple"]);
-      const minAssociations = typeof interaction.minAssociations === "number" ? interaction.minAssociations : undefined;
-      const maxAssociations = typeof interaction.maxAssociations === "number" ? interaction.maxAssociations : undefined;
+      const minAssociations = minOf(interaction.minAssociations);
+      const maxAssociations = boundedMax(interaction.maxAssociations);
       if (minAssociations !== undefined && maxAssociations !== undefined && minAssociations > maxAssociations) {
         addIssue(context, path, "matchInteraction minAssociations must not exceed maxAssociations.");
       }
@@ -1080,8 +1114,8 @@ function validateResponseBinding(
           typeof choice.identifier === "string" ? [choice.identifier] : [],
         ),
       );
-      const minAssociations = typeof interaction.minAssociations === "number" ? interaction.minAssociations : undefined;
-      const maxAssociations = typeof interaction.maxAssociations === "number" ? interaction.maxAssociations : undefined;
+      const minAssociations = minOf(interaction.minAssociations);
+      const maxAssociations = boundedMax(interaction.maxAssociations);
       if (minAssociations !== undefined && maxAssociations !== undefined && minAssociations > maxAssociations) {
         addIssue(context, path, "gapMatchInteraction minAssociations must not exceed maxAssociations.");
       }
@@ -1090,8 +1124,8 @@ function validateResponseBinding(
 
     case "mediaInteraction": {
       requireBaseAndCardinality(["integer"], ["single"]);
-      const minPlays = typeof interaction.minPlays === "number" ? interaction.minPlays : undefined;
-      const maxPlays = typeof interaction.maxPlays === "number" ? interaction.maxPlays : undefined;
+      const minPlays = minOf(interaction.minPlays);
+      const maxPlays = boundedMax(interaction.maxPlays);
       if (minPlays !== undefined && maxPlays !== undefined && minPlays > maxPlays) {
         addIssue(context, path, "mediaInteraction minPlays must not exceed maxPlays.");
       }
@@ -1139,8 +1173,8 @@ function validateResponseBinding(
           typeof choice.identifier === "string" ? [choice.identifier] : [],
         ),
       );
-      const minChoices = typeof interaction.minChoices === "number" ? interaction.minChoices : undefined;
-      const maxChoices = typeof interaction.maxChoices === "number" ? interaction.maxChoices : undefined;
+      const minChoices = minOf(interaction.minChoices);
+      const maxChoices = boundedMax(interaction.maxChoices);
       if (minChoices !== undefined && maxChoices !== undefined && minChoices > maxChoices) {
         addIssue(context, path, "hotspotInteraction minChoices must not exceed maxChoices.");
       }
@@ -1150,8 +1184,8 @@ function validateResponseBinding(
     case "associateInteraction":
     case "graphicAssociateInteraction": {
       requireBaseAndCardinality(["pair"], ["single", "multiple"]);
-      const minAssociations = typeof interaction.minAssociations === "number" ? interaction.minAssociations : undefined;
-      const maxAssociations = typeof interaction.maxAssociations === "number" ? interaction.maxAssociations : undefined;
+      const minAssociations = minOf(interaction.minAssociations);
+      const maxAssociations = boundedMax(interaction.maxAssociations);
       if (minAssociations !== undefined && maxAssociations !== undefined && minAssociations > maxAssociations) {
         addIssue(context, path, `${kind} minAssociations must not exceed maxAssociations.`);
       }
@@ -1171,8 +1205,8 @@ function validateResponseBinding(
     case "selectPointInteraction":
     case "positionObjectInteraction": {
       requireBaseAndCardinality(["point"], ["single", "multiple"]);
-      const minChoices = typeof interaction.minChoices === "number" ? interaction.minChoices : undefined;
-      const maxChoices = typeof interaction.maxChoices === "number" ? interaction.maxChoices : undefined;
+      const minChoices = minOf(interaction.minChoices);
+      const maxChoices = boundedMax(interaction.maxChoices);
       if (minChoices !== undefined && maxChoices !== undefined && minChoices > maxChoices) {
         addIssue(context, path, `${kind} minChoices must not exceed maxChoices.`);
       }
@@ -1191,6 +1225,13 @@ function validateResponseBinding(
   }
 }
 
+/**
+ * Built-in session outcomes every QTI item declares implicitly. `completion_status`
+ * is the snake_case authoring of the same built-in that the official corpus ships
+ * (the runtime treats it as an alias when reading adaptive completion).
+ */
+const builtInOutcomeIdentifiers = new Set(["completionStatus", "completion_status"]);
+
 function validateOutcomeReferences(
   value: unknown,
   declaredOutcomes: Map<string, unknown>,
@@ -1199,12 +1240,21 @@ function validateOutcomeReferences(
 ) {
   for (const rule of collectNodesByKind(value, ["setOutcomeValue", "lookupOutcomeValue"])) {
     const identifier = typeof rule.identifier === "string" ? rule.identifier : undefined;
-    if (identifier && !declaredOutcomes.has(identifier)) {
+    if (identifier && !declaredOutcomes.has(identifier) && !builtInOutcomeIdentifiers.has(identifier)) {
       addIssue(context, path, `Processing rule references undeclared outcome identifier '${identifier}'.`);
     }
   }
 }
 
+/** QTI max-* attributes use 0 to mean "unbounded"; bound checks must ignore it. */
+function boundedMax(value: unknown): number | undefined {
+  return typeof value === "number" && value > 0 ? value : undefined;
+}
+
+function minOf(value: unknown): number | undefined {
+  return typeof value === "number" ? value : undefined;
+}
+
 function validateTemplateAndResponseReferences(
   value: unknown,
   declaredTemplates: Map<string, unknown>,
@@ -1227,7 +1277,7 @@ function validateTemplateAndResponseReferences(
   }
 }
 
-export const QtiAssessmentSectionRawSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiAssessmentSectionRawSchema: z.ZodType = z.lazy(() =>
   strictObject({
     identifier: QtiIdentifierSchema,
     required: z.boolean().optional(),
@@ -1258,7 +1308,7 @@ export const QtiAssessmentSectionRawSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiAssessmentSectionSchema: z.ZodTypeAny = QtiAssessmentSectionRawSchema.superRefine(
+export const QtiAssessmentSectionSchema: z.ZodType = QtiAssessmentSectionRawSchema.superRefine(
   (value: unknown, context) => {
     const section = value as QtiSectionValidationValue;
 
@@ -1287,7 +1337,7 @@ export const QtiAssessmentSectionSchema: z.ZodTypeAny = QtiAssessmentSectionRawS
   },
 );
 
-export const QtiTestPartSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiTestPartSchema: z.ZodType = z.lazy(() =>
   strictObject({
     identifier: QtiIdentifierSchema,
     title: z.string().optional(),
@@ -1305,7 +1355,7 @@ export const QtiTestPartSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiAssessmentStimulusSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiAssessmentStimulusSchema: z.ZodType = z.lazy(() =>
   strictObject({
     identifier: QtiIdentifierSchema,
     title: z.string(),
@@ -1319,7 +1369,7 @@ export const QtiAssessmentStimulusSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiAssessmentItemRawSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiAssessmentItemRawSchema: z.ZodType = z.lazy(() =>
   strictObject({
     identifier: QtiIdentifierSchema,
     title: z.string(),
@@ -1345,92 +1395,86 @@ export const QtiAssessmentItemRawSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiAssessmentItemSchema: z.ZodTypeAny = QtiAssessmentItemRawSchema.superRefine(
-  (value: unknown, context) => {
-    const item = value as QtiItemValidationValue;
-    const contextDeclarations = asArray(item.contextDeclarations);
-    const responseDeclarationsList = asArray(item.responseDeclarations);
-    const outcomeDeclarationsList = asArray(item.outcomeDeclarations);
-    const templateDeclarationsList = asArray(item.templateDeclarations);
-    const modalFeedbacks = asArray(item.modalFeedbacks);
-
-    const variableDeclarations = [
-      ...contextDeclarations,
-      ...responseDeclarationsList,
-      ...outcomeDeclarationsList,
-      ...templateDeclarationsList,
-    ];
-
-    addDuplicateSummaryIssue(
-      context,
-      [],
-      "assessment item variable declaration identifiers",
-      variableDeclarations.map((declaration) => declaration.identifier),
-    );
-
-    validateOutcomeDeclarationConventions(outcomeDeclarationsList, context, ["outcomeDeclarations"]);
-
-    const responseDeclarations = new Map(
-      responseDeclarationsList.map((declaration) => [declaration.identifier, declaration]),
-    );
-    const outcomeDeclarations = new Map(
-      outcomeDeclarationsList.map((declaration) => [declaration.identifier, declaration]),
-    );
-    const templateDeclarations = new Map(
-      templateDeclarationsList.map((declaration) => [declaration.identifier, declaration]),
-    );
-
-    const interactions = collectInteractionNodes(item.itemBody?.content);
-    const responseBindings = new Map<string, string[]>();
+export const QtiAssessmentItemSchema: z.ZodType = QtiAssessmentItemRawSchema.superRefine((value: unknown, context) => {
+  const item = value as QtiItemValidationValue;
+  const contextDeclarations = asArray(item.contextDeclarations);
+  const responseDeclarationsList = asArray(item.responseDeclarations);
+  const outcomeDeclarationsList = asArray(item.outcomeDeclarations);
+  const templateDeclarationsList = asArray(item.templateDeclarations);
+  const modalFeedbacks = asArray(item.modalFeedbacks);
+
+  const variableDeclarations = [
+    ...contextDeclarations,
+    ...responseDeclarationsList,
+    ...outcomeDeclarationsList,
+    ...templateDeclarationsList,
+  ];
+
+  addDuplicateSummaryIssue(
+    context,
+    [],
+    "assessment item variable declaration identifiers",
+    variableDeclarations.map((declaration) => declaration.identifier),
+  );
+
+  validateOutcomeDeclarationConventions(outcomeDeclarationsList, context, ["outcomeDeclarations"]);
+
+  const responseDeclarations = new Map(
+    responseDeclarationsList.map((declaration) => [declaration.identifier, declaration]),
+  );
+  const outcomeDeclarations = new Map(
+    outcomeDeclarationsList.map((declaration) => [declaration.identifier, declaration]),
+  );
+  const templateDeclarations = new Map(
+    templateDeclarationsList.map((declaration) => [declaration.identifier, declaration]),
+  );
+
+  const interactions = collectInteractionNodes(item.itemBody?.content);
+  const responseBindings = new Map<string, string[]>();
+
+  for (const interaction of interactions) {
+    const responseIdentifier =
+      typeof interaction.responseIdentifier === "string" ? interaction.responseIdentifier : undefined;
+    if (responseIdentifier) {
+      const boundKinds = responseBindings.get(responseIdentifier) ?? [];
+      boundKinds.push(String(interaction.kind));
+      responseBindings.set(responseIdentifier, boundKinds);
+    }
 
-    for (const interaction of interactions) {
-      const responseIdentifier =
-        typeof interaction.responseIdentifier === "string" ? interaction.responseIdentifier : undefined;
-      if (responseIdentifier) {
-        const boundKinds = responseBindings.get(responseIdentifier) ?? [];
-        boundKinds.push(String(interaction.kind));
-        responseBindings.set(responseIdentifier, boundKinds);
-      }
+    validateResponseBinding(interaction, responseDeclarations, context, ["itemBody"]);
+  }
 
-      validateResponseBinding(interaction, responseDeclarations, context, ["itemBody"]);
+  for (const [identifier, kinds] of responseBindings) {
+    if (kinds.length > 1) {
+      addIssue(
+        context,
+        ["itemBody"],
+        `Response identifier '${identifier}' is bound by multiple interactions: ${kinds.join(", ")}.`,
+      );
     }
+  }
 
-    for (const [identifier, kinds] of responseBindings) {
-      if (kinds.length > 1) {
-        addIssue(
-          context,
-          ["itemBody"],
-          `Response identifier '${identifier}' is bound by multiple interactions: ${kinds.join(", ")}.`,
-        );
-      }
+  for (const [index, feedback] of modalFeedbacks.entries()) {
+    if (!outcomeDeclarations.has(feedback.outcomeIdentifier)) {
+      addIssue(
+        context,
+        ["modalFeedbacks", index, "outcomeIdentifier"],
+        `modalFeedback references undeclared outcome identifier '${feedback.outcomeIdentifier}'.`,
+      );
     }
 
-    for (const [index, feedback] of modalFeedbacks.entries()) {
-      if (!outcomeDeclarations.has(feedback.outcomeIdentifier)) {
-        addIssue(
-          context,
-          ["modalFeedbacks", index, "outcomeIdentifier"],
-          `modalFeedback references undeclared outcome identifier '${feedback.outcomeIdentifier}'.`,
-        );
-      }
-
-      if (containsInteraction(feedback.content)) {
-        addIssue(context, ["modalFeedbacks", index, "content"], "modalFeedback content must not contain interactions.");
-      }
+    if (containsInteraction(feedback.content)) {
+      addIssue(context, ["modalFeedbacks", index, "content"], "modalFeedback content must not contain interactions.");
     }
+  }
 
-    validateOutcomeReferences(item.responseProcessing, outcomeDeclarations, context, ["responseProcessing"]);
-    validateTemplateAndResponseReferences(
-      item.templateProcessing,
-      templateDeclarations,
-      responseDeclarations,
-      context,
-      ["templateProcessing"],
-    );
-  },
-);
+  validateOutcomeReferences(item.responseProcessing, outcomeDeclarations, context, ["responseProcessing"]);
+  validateTemplateAndResponseReferences(item.templateProcessing, templateDeclarations, responseDeclarations, context, [
+    "templateProcessing",
+  ]);
+});
 
-export const QtiAssessmentTestRawSchema: z.ZodTypeAny = z.lazy(() =>
+export const QtiAssessmentTestRawSchema: z.ZodType = z.lazy(() =>
   strictObject({
     identifier: QtiIdentifierSchema,
     title: z.string(),
@@ -1449,47 +1493,45 @@ export const QtiAssessmentTestRawSchema: z.ZodTypeAny = z.lazy(() =>
   }),
 );
 
-export const QtiAssessmentTestSchema: z.ZodTypeAny = QtiAssessmentTestRawSchema.superRefine(
-  (value: unknown, context) => {
-    const testValue = value as QtiTestValidationValue;
-    const contextDeclarations = asArray(testValue.contextDeclarations);
-    const outcomeDeclarationsList = asArray(testValue.outcomeDeclarations);
-    const testParts = asArray(testValue.testParts);
-    const testFeedbacks = asArray(testValue.testFeedbacks);
-
-    addDuplicateSummaryIssue(context, [], "assessment test variable declaration identifiers", [
-      ...contextDeclarations.map((declaration) => declaration.identifier),
-      ...outcomeDeclarationsList.map((declaration) => declaration.identifier),
-    ]);
-
-    addDuplicateSummaryIssue(
-      context,
-      ["testParts"],
-      "test part identifiers",
-      testParts.map((testPart) => testPart.identifier),
-    );
+export const QtiAssessmentTestSchema: z.ZodType = QtiAssessmentTestRawSchema.superRefine((value: unknown, context) => {
+  const testValue = value as QtiTestValidationValue;
+  const contextDeclarations = asArray(testValue.contextDeclarations);
+  const outcomeDeclarationsList = asArray(testValue.outcomeDeclarations);
+  const testParts = asArray(testValue.testParts);
+  const testFeedbacks = asArray(testValue.testFeedbacks);
 
-    validateOutcomeDeclarationConventions(outcomeDeclarationsList, context, ["outcomeDeclarations"]);
+  addDuplicateSummaryIssue(context, [], "assessment test variable declaration identifiers", [
+    ...contextDeclarations.map((declaration) => declaration.identifier),
+    ...outcomeDeclarationsList.map((declaration) => declaration.identifier),
+  ]);
 
-    const outcomes = new Map(outcomeDeclarationsList.map((declaration) => [declaration.identifier, declaration]));
+  addDuplicateSummaryIssue(
+    context,
+    ["testParts"],
+    "test part identifiers",
+    testParts.map((testPart) => testPart.identifier),
+  );
 
-    for (const [index, feedback] of testFeedbacks.entries()) {
-      if (!outcomes.has(feedback.outcomeIdentifier)) {
-        addIssue(
-          context,
-          ["testFeedbacks", index, "outcomeIdentifier"],
-          `testFeedback references undeclared outcome identifier '${feedback.outcomeIdentifier}'.`,
-        );
-      }
+  validateOutcomeDeclarationConventions(outcomeDeclarationsList, context, ["outcomeDeclarations"]);
 
-      if (containsInteraction(feedback.content)) {
-        addIssue(context, ["testFeedbacks", index, "content"], "testFeedback content must not contain interactions.");
-      }
+  const outcomes = new Map(outcomeDeclarationsList.map((declaration) => [declaration.identifier, declaration]));
+
+  for (const [index, feedback] of testFeedbacks.entries()) {
+    if (!outcomes.has(feedback.outcomeIdentifier)) {
+      addIssue(
+        context,
+        ["testFeedbacks", index, "outcomeIdentifier"],
+        `testFeedback references undeclared outcome identifier '${feedback.outcomeIdentifier}'.`,
+      );
     }
 
-    validateOutcomeReferences(testValue.outcomeProcessing, outcomes, context, ["outcomeProcessing"]);
-  },
-);
+    if (containsInteraction(feedback.content)) {
+      addIssue(context, ["testFeedbacks", index, "content"], "testFeedback content must not contain interactions.");
+    }
+  }
+
+  validateOutcomeReferences(testValue.outcomeProcessing, outcomes, context, ["outcomeProcessing"]);
+});
 // Inferred types from exported Zod validators.
 export type QtiPrintedVariable = z.infer<typeof QtiPrintedVariableSchema>;
 export type QtiInteractionModule = z.infer<typeof QtiInteractionModuleSchema>;