@conform-ed/qti-react 0.0.14 → 0.0.16

package/src/test/controller.ts

@@ -6,6 +6,7 @@
  */
 
 import type { CapabilityIssue } from "../capability";
+import { resolvePnpActivation, type PnpView } from "../pnp";
 import {
   RpUnsupportedError,
   collectExpressionIssues,
@@ -13,8 +14,9 @@ import {
   evaluateExpression,
   type EvalEnv,
 } from "../rp/evaluate";
+import { hasLookupTable, lookupTableValue } from "../rp/lookup-table";
 import { mulberry32 } from "../rp/template-processing";
-import type { OutcomeValue, RpExpressionView } from "../rp/types";
+import type { OutcomeDeclarationView, OutcomeValue, RpExpressionView } from "../rp/types";
 import {
   coerceScalar,
   floatValue,
@@ -33,18 +35,31 @@ import type {
   ItemSessionControlView,
   OutcomeConditionBranch,
   OutcomeRuleView,
+  RecordedAttempt,
   TestController,
   TestItemResult,
   TestPlan,
   TestPlanItem,
+  TestPlanSection,
   TestSessionState,
+  TestTimingState,
+  TimeLimitsView,
+  TimingScopeRef,
 } from "./types";
 
-const supportedOutcomeRuleKinds = new Set(["outcomeCondition", "setOutcomeValue", "exitTest"]);
+const supportedOutcomeRuleKinds = new Set([
+  "outcomeCondition",
+  "setOutcomeValue",
+  "lookupOutcomeValue",
+  "outcomeProcessingFragment",
+  "exitTest",
+]);
 
 const testExpressionKinds = new Set([
   ...deterministicExpressionKinds,
   "testVariables",
+  "outcomeMinimum",
+  "outcomeMaximum",
   "numberCorrect",
   "numberIncorrect",
   "numberPresented",
@@ -114,19 +129,48 @@ function seededPick<T>(pool: readonly T[], count: number, random: () => number):
     .map((index) => pool[index]!);
 }
 
-function applySelection(children: readonly SectionChild[], select: number, random: () => number): SectionChild[] {
+function applySelection(
+  children: readonly SectionChild[],
+  selection: NonNullable<AssessmentSectionView["selection"]>,
+  random: () => number,
+): SectionChild[] {
   const required = children.filter((child) => child.required === true);
+  const needed = Math.max(0, selection.select - required.length);
+
+  if (selection.withReplacement === true) {
+    // "each element becomes eligible for selection multiple times. Selecting 3 nodes
+    // from {A,B,C,D} can then result in combinations such as {A,A,A}, {A,A,B} etc."
+    // (§5.129.2) — required children appear once, the remaining draws come from the
+    // whole pool. The multiset keeps document order (repeats adjacent); ordering
+    // shuffles separately.
+    const counts: number[] = children.map((child) => (child.required === true ? 1 : 0));
+
+    for (let draw = 0; draw < needed; draw += 1) {
+      const index = Math.floor(random() * children.length);
+
+      counts[index] = (counts[index] ?? 0) + 1;
+    }
+
+    return children.flatMap((child, index) => Array.from({ length: counts[index] ?? 0 }, () => child));
+  }
+
   const optional = children.filter((child) => child.required !== true);
-  const needed = Math.max(0, select - required.length);
   const picked = new Set<SectionChild>([...required, ...seededPick(optional, needed, random)]);
 
   return children.filter((child) => picked.has(child));
 }
 
-function applyOrdering(children: readonly SectionChild[], random: () => number): SectionChild[] {
+/** One orderable unit of a section: a direct child, or a child hoisted out of an
+ * invisible keep-together=false descendant (`via` = the dissolved section chain). */
+interface SectionUnit {
+  readonly child: SectionChild;
+  readonly via: readonly AssessmentSectionView[];
+}
+
+function applyOrdering(units: readonly SectionUnit[], random: () => number): SectionUnit[] {
   // Fixed children keep their positions; the rest shuffle into the remaining slots.
-  const result: (SectionChild | null)[] = children.map((child) => (child.fixed === true ? child : null));
-  const movable = children.filter((child) => child.fixed !== true);
+  const result: (SectionUnit | null)[] = units.map((unit) => (unit.child.fixed === true ? unit : null));
+  const movable = units.filter((unit) => unit.child.fixed !== true);
   const shuffled = seededPick(movable, movable.length, random);
   // seededPick preserves document order after picking; re-shuffle for ordering.
   for (let i = shuffled.length - 1; i > 0; i -= 1) {
@@ -140,6 +184,34 @@ function applyOrdering(children: readonly SectionChild[], random: () => number):
   return result.map((slot) => slot ?? shuffled[cursor++]!);
 }
 
+/**
+ * Under a shuffling parent, an invisible keep-together=false section's children are
+ * "mixed up with the other children of the parent section" (§4.2.7): the section
+ * dissolves into individual units (its own selection still applies first), each
+ * remembering the dissolved chain so identity, preconditions, and session control
+ * survive the hoist.
+ */
+function mixedUnits(
+  children: readonly SectionChild[],
+  random: () => number,
+  sections: Record<string, TestPlanSection>,
+): SectionUnit[] {
+  return children.flatMap((child) => {
+    if (child.kind !== "assessmentSection" || child.visible !== false || child.keepTogether !== false) {
+      return [{ child, via: [] }];
+    }
+
+    sections[child.identifier] = {
+      identifier: child.identifier,
+      ...(child.timeLimits ? { timeLimits: child.timeLimits } : {}),
+    };
+
+    const inner = child.selection ? applySelection(child.children, child.selection, random) : child.children;
+
+    return mixedUnits(inner, random, sections).map((unit) => ({ child: unit.child, via: [child, ...unit.via] }));
+  });
+}
+
 function resolveSection(
   section: AssessmentSectionView,
   partIdentifier: string,
@@ -147,34 +219,50 @@ function resolveSection(
   inheritedPreConditions: readonly RpExpressionView[],
   inheritedControl: ItemSessionControlView,
   random: () => number,
+  sections: Record<string, TestPlanSection>,
 ): TestPlanItem[] {
   const path = [...sectionPath, section.identifier];
+
+  sections[section.identifier] = {
+    identifier: section.identifier,
+    ...(section.timeLimits ? { timeLimits: section.timeLimits } : {}),
+  };
   const preConditions = [...inheritedPreConditions, ...(section.preConditions ?? [])];
   const control = { ...inheritedControl, ...definedControl(section.itemSessionControl) };
 
   let children: readonly SectionChild[] = section.children;
 
   if (section.selection) {
-    children = applySelection(children, section.selection.select, random);
+    children = applySelection(children, section.selection, random);
   }
 
+  let units: SectionUnit[] = children.map((child) => ({ child, via: [] }));
+
   if (section.ordering?.shuffle) {
-    children = applyOrdering(children, random);
+    // Mixing applies only "with a parent that is subject to shuffling" (§4.2.7).
+    units = applyOrdering(mixedUnits(children, random, sections), random);
   }
 
   const items: TestPlanItem[] = [];
 
-  for (const child of children) {
+  for (const { child, via } of units) {
+    const viaPath = [...path, ...via.map((entry) => entry.identifier)];
+    const viaPreConditions = [...preConditions, ...via.flatMap((entry) => entry.preConditions ?? [])];
+    const viaControl = via.reduce(
+      (merged, entry) => ({ ...merged, ...definedControl(entry.itemSessionControl) }),
+      control,
+    );
+
     if (child.kind === "assessmentSection") {
-      items.push(...resolveSection(child, partIdentifier, path, preConditions, control, random));
+      items.push(...resolveSection(child, partIdentifier, viaPath, viaPreConditions, viaControl, random, sections));
     } else {
       items.push({
         key: child.identifier,
         ref: child,
         partIdentifier,
-        sectionPath: path,
-        preConditions: [...preConditions, ...(child.preConditions ?? [])],
-        sessionControl: { ...specSessionControlDefaults, ...control, ...definedControl(child.itemSessionControl) },
+        sectionPath: viaPath,
+        preConditions: [...viaPreConditions, ...(child.preConditions ?? [])],
+        sessionControl: { ...specSessionControlDefaults, ...viaControl, ...definedControl(child.itemSessionControl) },
         ...(child.timeLimits ? { timeLimits: child.timeLimits } : {}),
       });
     }
@@ -185,18 +273,49 @@ function resolveSection(
 
 function resolvePlan(view: AssessmentTestView, seed: number): TestPlan {
   const random = mulberry32(seed);
+  const sections: Record<string, TestPlanSection> = {};
+  const parts = view.testParts.map((part) => ({
+    identifier: part.identifier,
+    navigationMode: part.navigationMode,
+    submissionMode: part.submissionMode,
+    ...(part.timeLimits ? { timeLimits: part.timeLimits } : {}),
+    items: part.assessmentSections.flatMap((section) =>
+      resolveSection(section, part.identifier, [], [], definedControl(part.itemSessionControl), random, sections),
+    ),
+  }));
+
+  // Refs drawn more than once (selection with-replacement) get instance keys
+  // `identifier.n` — n is "the instance's place in the sequence of the item's
+  // instantiation" (§2.11.1.2), i.e. plan (delivery) order. Refs drawn once keep
+  // their bare identifier, so plans without replacement are unchanged.
+  const totals = new Map<string, number>();
+
+  for (const part of parts) {
+    for (const item of part.items) {
+      totals.set(item.ref.identifier, (totals.get(item.ref.identifier) ?? 0) + 1);
+    }
+  }
+
+  const ordinals = new Map<string, number>();
+  const keyedParts = parts.map((part) => ({
+    ...part,
+    items: part.items.map((item): TestPlanItem => {
+      if ((totals.get(item.ref.identifier) ?? 0) < 2) {
+        return item;
+      }
+
+      const instance = (ordinals.get(item.ref.identifier) ?? 0) + 1;
+
+      ordinals.set(item.ref.identifier, instance);
+
+      return { ...item, key: `${item.ref.identifier}.${instance}`, instance };
+    }),
+  }));
 
   return {
     ...(view.timeLimits ? { timeLimits: view.timeLimits } : {}),
-    parts: view.testParts.map((part) => ({
-      identifier: part.identifier,
-      navigationMode: part.navigationMode,
-      submissionMode: part.submissionMode,
-      ...(part.timeLimits ? { timeLimits: part.timeLimits } : {}),
-      items: part.assessmentSections.flatMap((section) =>
-        resolveSection(section, part.identifier, [], [], definedControl(part.itemSessionControl), random),
-      ),
-    })),
+    parts: keyedParts,
+    sections,
   };
 }
 
@@ -204,6 +323,26 @@ function resolvePlan(view: AssessmentTestView, seed: number): TestPlan {
 
 export interface TestControllerOptions {
   readonly seed: number;
+  /**
+   * Each item's outcome declarations, keyed by item-ref identifier (shared by every
+   * selected instance of the ref). Feeds `outcomeMaximum`/`outcomeMinimum` with the declared
+   * `normal-maximum`/`normal-minimum`; items absent here degrade per spec — maximum
+   * → NULL (§2.11.2.7), minimum → ignored (§2.11.2.6) — never a refusal. Consumers
+   * can pass `assessmentItemViewFromNormalized(...).outcomeDeclarations` verbatim.
+   */
+  readonly itemOutcomeDeclarations?: Readonly<Record<string, readonly OutcomeDeclarationView[]>> | undefined;
+  /**
+   * Millisecond clock backing the built-in test/part/section `duration` variables and
+   * timeLimits enforcement. Injectable for deterministic tests and replays; defaults
+   * to Date.now.
+   */
+  readonly now?: (() => number) | undefined;
+  /**
+   * The candidate's AfA PNP. The controller consumes additional-testing-time:
+   * "the durations may be changed depending on the relevant accessibility values
+   * in the Personal Needs & Preferences settings for the learner" (§2.8.5).
+   */
+  readonly pnp?: PnpView | undefined;
 }
 
 export function createTestController(view: AssessmentTestView, options: TestControllerOptions): TestController {
@@ -211,11 +350,21 @@ export function createTestController(view: AssessmentTestView, options: TestCont
   const allItems: TestPlanItem[] = plan.parts.flatMap((part) => [...part.items]);
   const partIndexByItemKey = new Map<string, number>();
   const itemsByKey = new Map<string, TestPlanItem>();
+  /** Plan items per ref identifier, in plan order — >1 entry under with-replacement. */
+  const instancesByRef = new Map<string, TestPlanItem[]>();
 
   plan.parts.forEach((part, partIndex) => {
     for (const item of part.items) {
       partIndexByItemKey.set(item.key, partIndex);
       itemsByKey.set(item.key, item);
+
+      const siblings = instancesByRef.get(item.ref.identifier);
+
+      if (siblings) {
+        siblings.push(item);
+      } else {
+        instancesByRef.set(item.ref.identifier, [item]);
+      }
     }
   });
 
@@ -245,6 +394,15 @@ export function createTestController(view: AssessmentTestView, options: TestCont
     });
   }
 
+  /** The item's named weight; "If no matching definition is found the weight is assumed to be 1.0." */
+  function weightOf(item: TestPlanItem, weightIdentifier: string | undefined): number {
+    if (weightIdentifier === undefined) {
+      return 1;
+    }
+
+    return item.ref.weights?.find((entry) => entry.identifier === weightIdentifier)?.value ?? 1;
+  }
+
   function remainingAttempts(state: TestSessionState, itemKey: string): number {
     const item = itemsByKey.get(itemKey);
 
@@ -257,6 +415,162 @@ export function createTestController(view: AssessmentTestView, options: TestCont
     return max === 0 ? Number.POSITIVE_INFINITY : Math.max(0, max - attemptsOf(state, itemKey));
   }
 
+  // ---------- Timing (ADR-0005, "Timing and time limits") ----------
+
+  const now = options.now ?? Date.now;
+
+  /**
+   * Fold wall-clock time since the last transition into every active scope: the test,
+   * and — while an item is current — its part, every ancestor section, and the item
+   * itself. Durations include "any other time spent navigating that part of the test"
+   * (§2.8.5), so they accrue whenever the session is open, not just during attempts.
+   */
+  function touch(state: TestSessionState): TestSessionState {
+    if (state.status !== "in-progress") {
+      return state; // the clock stops at end and while suspended
+    }
+
+    const nowMs = now();
+    const timing: TestTimingState = state.timing ?? {
+      lastTransitionAtMs: nowMs, // pre-timing persisted states start accruing here
+      testSeconds: 0,
+      partSeconds: {},
+      sectionSeconds: {},
+      itemSeconds: {},
+    };
+    const elapsed = Math.max(0, nowMs - timing.lastTransitionAtMs) / 1000; // clamp clock skew
+    const bump = (record: Readonly<Record<string, number>>, key: string): Readonly<Record<string, number>> => ({
+      ...record,
+      [key]: (record[key] ?? 0) + elapsed,
+    });
+    const item = state.currentItemKey === null ? undefined : itemsByKey.get(state.currentItemKey);
+
+    return {
+      ...state,
+      timing: {
+        lastTransitionAtMs: nowMs,
+        testSeconds: timing.testSeconds + elapsed,
+        partSeconds: item ? bump(timing.partSeconds, item.partIdentifier) : timing.partSeconds,
+        sectionSeconds: item
+          ? item.sectionPath.reduce((record, identifier) => bump(record, identifier), timing.sectionSeconds)
+          : timing.sectionSeconds,
+        itemSeconds: item ? bump(timing.itemSeconds, item.key) : timing.itemSeconds,
+      },
+    };
+  }
+
+  function secondsOf(state: TestSessionState, scope: TimingScopeRef): number {
+    const timing = state.timing;
+
+    if (!timing) {
+      return 0;
+    }
+
+    switch (scope.kind) {
+      case "test":
+        return timing.testSeconds;
+      case "part":
+        return timing.partSeconds[scope.identifier] ?? 0;
+      case "section":
+        return timing.sectionSeconds[scope.identifier] ?? 0;
+      case "item":
+        return timing.itemSeconds[scope.key] ?? 0;
+    }
+  }
+
+  function timeLimitsOf(scope: TimingScopeRef): TimeLimitsView | undefined {
+    switch (scope.kind) {
+      case "test":
+        return plan.timeLimits;
+      case "part":
+        return plan.parts.find((part) => part.identifier === scope.identifier)?.timeLimits;
+      case "section":
+        return plan.sections[scope.identifier]?.timeLimits;
+      case "item":
+        return itemsByKey.get(scope.key)?.timeLimits;
+    }
+  }
+
+  // The accommodation applies only while "additional-testing-time" is active for
+  // the candidate (a prohibit-set entry switches it off).
+  const additionalTestingTime = resolvePnpActivation(options.pnp).active.has("additional-testing-time")
+    ? options.pnp?.additionalTestingTime
+    : undefined;
+
+  /**
+   * The candidate's effective ceiling for a scope: a time-multiplier scales every
+   * declared max-time proportionally (a rate accommodation); fixed-minutes extend
+   * the assessment window (the test scope) by that absolute amount; unlimited
+   * removes ceilings. Minimum times are floors and are never adjusted.
+   */
+  function effectiveMaxTime(scope: TimingScopeRef): number | undefined {
+    if (additionalTestingTime?.unlimited === true) {
+      return undefined;
+    }
+
+    const declared = timeLimitsOf(scope)?.maxTime;
+    if (declared === undefined) {
+      return undefined;
+    }
+
+    if (additionalTestingTime?.timeMultiplier !== undefined) {
+      return declared * additionalTestingTime.timeMultiplier;
+    }
+
+    if (additionalTestingTime?.fixedMinutes !== undefined && scope.kind === "test") {
+      return declared + additionalTestingTime.fixedMinutes * 60;
+    }
+
+    return declared;
+  }
+
+  /** "Beyond the max-time" (§7.40.3) is strictly beyond: exactly maxTime is in time. */
+  function scopeExpired(state: TestSessionState, scope: TimingScopeRef): boolean {
+    const maxTime = effectiveMaxTime(scope);
+
+    return maxTime !== undefined && secondsOf(state, scope) > maxTime;
+  }
+
+  /** The item's enclosing timing scopes, innermost first (item → sections → part → test). */
+  function enclosingScopes(item: TestPlanItem): TimingScopeRef[] {
+    return [
+      { kind: "item", key: item.key },
+      ...[...item.sectionPath].reverse().map((identifier): TimingScopeRef => ({ kind: "section", identifier })),
+      { kind: "part", identifier: item.partIdentifier },
+      { kind: "test" },
+    ];
+  }
+
+  /** Navigable in time: neither the item's own maxTime nor any enclosing scope's is spent. */
+  function navigableInTime(state: TestSessionState, item: TestPlanItem): boolean {
+    return !enclosingScopes(item).some((scope) => scopeExpired(state, scope));
+  }
+
+  /**
+   * minTime applies "to qti-assessment-sections and qti-assessment-items only when
+   * linear navigation mode is in effect" (§7.40.1); satisfied at exact equality.
+   * Sections gate only when the move would leave them.
+   */
+  function minTimeBlocked(state: TestSessionState, from: TestPlanItem, to: TestPlanItem | null): boolean {
+    const itemMin = from.timeLimits?.minTime;
+
+    if (itemMin !== undefined && secondsOf(state, { kind: "item", key: from.key }) < itemMin) {
+      return true;
+    }
+
+    const destinationSections = new Set(to?.sectionPath ?? []);
+
+    return from.sectionPath.some((identifier) => {
+      if (destinationSections.has(identifier)) {
+        return false; // staying inside the section
+      }
+
+      const minTime = plan.sections[identifier]?.timeLimits?.minTime;
+
+      return minTime !== undefined && secondsOf(state, { kind: "section", identifier }) < minTime;
+    });
+  }
+
   function defaultTestOutcomes(): Map<string, MaybeRpValue> {
     const outcomes = new Map<string, MaybeRpValue>();
 
@@ -279,14 +593,88 @@ export function createTestController(view: AssessmentTestView, options: TestCont
     return outcomes;
   }
 
+  const durationValue = (seconds: number): MaybeRpValue => rpValue("single", [seconds], "duration");
+
   function makeEnv(state: TestSessionState, outcomes?: Map<string, MaybeRpValue>): EvalEnv {
     return {
       lookupVariable: (identifier) => {
+        // Built-in session durations (§2.8.5) resolve before any declared variable —
+        // the name is reserved, so author declarations never shadow it.
+        if (identifier === "duration") {
+          return state.timing === undefined ? null : durationValue(state.timing.testSeconds);
+        }
+
         const dot = identifier.indexOf(".");
 
         if (dot !== -1) {
-          const itemKey = identifier.slice(0, dot);
-          const variableName = identifier.slice(dot + 1);
+          let itemKey = identifier.slice(0, dot);
+          let variableName = identifier.slice(dot + 1);
+
+          // Instance addressing (§2.11.1.2): in `Q01.2.SCORE` "a number that denotes
+          // the instance's place in the sequence of the item's instantiation is
+          // inserted between the item variable identifier and the item variable" —
+          // the session key is `Q01.2`, so try the two-segment key first.
+          const secondDot = identifier.indexOf(".", dot + 1);
+
+          if (secondDot !== -1 && itemsByKey.has(identifier.slice(0, secondDot))) {
+            itemKey = identifier.slice(0, secondDot);
+            variableName = identifier.slice(secondDot + 1);
+          }
+
+          const instances = instancesByRef.get(itemKey);
+
+          if (instances !== undefined && instances.length > 1) {
+            // A bare ref over multiple instances "is taken from the last instance
+            // submitted if submission is simultaneous, otherwise it is undefined"
+            // (§2.11.1.2); undefined maps to NULL like every undefined value here.
+            // Simultaneous parts flush in plan order, so the last submitted instance
+            // is the last one in plan order holding a committed result.
+            const partIndex = partIndexByItemKey.get(instances[0]!.key);
+
+            if (partIndex === undefined || plan.parts[partIndex]!.submissionMode !== "simultaneous") {
+              return null;
+            }
+
+            for (let index = instances.length - 1; index >= 0; index -= 1) {
+              const instanceKey = instances[index]!.key;
+
+              if (variableName === "duration") {
+                const seconds = state.itemDurationSeconds?.[instanceKey];
+
+                if (seconds !== undefined) {
+                  return durationValue(seconds);
+                }
+              } else if (state.itemOutcomes[instanceKey] !== undefined) {
+                return liftFlat(state.itemOutcomes[instanceKey]?.[variableName] ?? null);
+              }
+            }
+
+            return null;
+          }
+
+          if (variableName === "duration") {
+            if (itemsByKey.has(itemKey)) {
+              // The item-session duration is the consumer's report (the attempt store
+              // owns it; the controller's per-item clock is enforcement-only).
+              const seconds = state.itemDurationSeconds?.[itemKey];
+
+              return seconds === undefined ? null : durationValue(seconds);
+            }
+
+            const partSeconds = state.timing?.partSeconds[itemKey];
+
+            if (plan.parts.some((part) => part.identifier === itemKey)) {
+              return partSeconds === undefined ? null : durationValue(partSeconds);
+            }
+
+            if (plan.sections[itemKey]) {
+              const seconds = state.timing?.sectionSeconds[itemKey];
+
+              return seconds === undefined ? null : durationValue(seconds);
+            }
+
+            return null;
+          }
 
           return liftFlat(state.itemOutcomes[itemKey]?.[variableName] ?? null);
         }
@@ -323,10 +711,8 @@ export function createTestController(view: AssessmentTestView, options: TestCont
           // Weighted numeric values multiply by the item's named weight (missing
           // names weigh 1) and the container becomes float (spec).
           if (weightIdentifier !== undefined && isNumericBaseType(lifted.baseType)) {
-            const weight = item.ref.weights?.find((entry) => entry.identifier === weightIdentifier)?.value ?? 1;
-
             baseType = "float";
-            members.push(...lifted.values.map((entry) => Number(entry) * weight));
+            members.push(...lifted.values.map((entry) => Number(entry) * weightOf(item, weightIdentifier)));
             continue;
           }
 
@@ -360,6 +746,34 @@ export function createTestController(view: AssessmentTestView, options: TestCont
             return integer(countIn(state.correctItems));
           case "numberIncorrect":
             return integer(countIn(state.incorrectItems));
+          case "outcomeMinimum":
+          case "outcomeMaximum": {
+            const bound = expression.kind === "outcomeMaximum" ? "normalMaximum" : "normalMinimum";
+            const members: number[] = [];
+
+            for (const item of subset) {
+              // Declarations are per item document, shared by every instance of a ref.
+              const declared = options.itemOutcomeDeclarations?.[item.ref.identifier]?.find(
+                (entry) => entry.identifier === expression.outcomeIdentifier,
+              )?.[bound];
+
+              if (declared === undefined) {
+                // "If any of the items within the given subset have no declared
+                // maximum the result is NULL" (§2.11.2.7); for the minimum, "Items
+                // with no declared minimum are ignored." (§2.11.2.6)
+                if (expression.kind === "outcomeMaximum") {
+                  return null;
+                }
+                continue;
+              }
+
+              // Weighting "As per the 'weight-identifier' characteristic of
+              // 'qti-test-variables'" (§7.28.5); result base-type float.
+              members.push(declared * weightOf(item, expression.weightIdentifier));
+            }
+
+            return members.length === 0 ? null : rpValue("multiple", members, "float");
+          }
           default:
             throw new RpUnsupportedError(expression.kind);
         }
@@ -414,6 +828,28 @@ export function createTestController(view: AssessmentTestView, options: TestCont
           continue;
         }
 
+        // "Outcome rules are followed in the order given. Variables updated by a rule
+        // take their new value when evaluated as part of any following rules." (§5.103.1)
+        if (rule.kind === "outcomeProcessingFragment") {
+          executeRules(rule.rules ?? []);
+          continue;
+        }
+
+        if (rule.kind === "lookupOutcomeValue") {
+          if (rule.identifier !== undefined && rule.expression !== undefined) {
+            const declaration = (view.outcomeDeclarations ?? []).find((entry) => entry.identifier === rule.identifier);
+
+            if (!hasLookupTable(declaration)) {
+              // §5.87 presumes "the lookupTable associated with the outcome's
+              // declaration" — no table, no spec-defined value: refuse, never guess.
+              throw new RpUnsupportedError("lookupOutcomeValue");
+            }
+
+            outcomes.set(rule.identifier, lookupTableValue(declaration, evaluateExpression(rule.expression, env)));
+          }
+          continue;
+        }
+
         // outcomeCondition
         if (rule.outcomeIf && branchTaken(rule.outcomeIf)) {
           continue;
@@ -440,7 +876,7 @@ export function createTestController(view: AssessmentTestView, options: TestCont
     return Object.fromEntries([...outcomes].map(([identifier, value]) => [identifier, toOutcomeValue(value)]));
   }
 
-  /** The first item at or after (partIndex, itemIndex) whose preconditions pass. */
+  /** The first item at or after (partIndex, itemIndex) that is reachable: preconditions pass and no enclosing time limit is spent. */
   function firstNavigable(state: TestSessionState, partIndex: number, itemIndex: number): TestPlanItem | null {
     for (let p = partIndex; p < plan.parts.length; p += 1) {
       const items = plan.parts[p]!.items;
@@ -448,7 +884,7 @@ export function createTestController(view: AssessmentTestView, options: TestCont
       for (let i = p === partIndex ? itemIndex : 0; i < items.length; i += 1) {
         const item = items[i]!;
 
-        if (preConditionsPass(item, state)) {
+        if (preConditionsPass(item, state) && navigableInTime(state, item)) {
           return item;
         }
       }
@@ -496,6 +932,33 @@ export function createTestController(view: AssessmentTestView, options: TestCont
   }
 
   /** Commit pending simultaneous results for one part (or all parts when null). */
+  /**
+   * Record a committed attempt for results reporting: "A report may contain multiple
+   * results for the same instance of an item representing multiple attempts … each
+   * item result must have a different datestamp."
+   */
+  function withRecordedAttempt(
+    state: TestSessionState,
+    itemKey: string,
+    result: TestItemResult,
+    atMs: number,
+  ): TestSessionState {
+    const entry: RecordedAttempt = {
+      atMs,
+      outcomes: result.outcomes,
+      ...(result.responses !== undefined ? { responses: result.responses } : {}),
+      ...(result.durationSeconds !== undefined ? { durationSeconds: result.durationSeconds } : {}),
+    };
+
+    return {
+      ...state,
+      attemptHistory: {
+        ...(state.attemptHistory ?? {}),
+        [itemKey]: [...(state.attemptHistory?.[itemKey] ?? []), entry],
+      },
+    };
+  }
+
   function flushPending(state: TestSessionState, partIndex: number | null): TestSessionState {
     const pending = state.pendingItemResults ?? {};
     const keys = Object.keys(pending).filter((key) => partIndex === null || partIndexByItemKey.get(key) === partIndex);
@@ -506,6 +969,7 @@ export function createTestController(view: AssessmentTestView, options: TestCont
 
     const itemOutcomes = { ...state.itemOutcomes };
     const attemptCounts = { ...(state.attemptCounts ?? {}) };
+    const itemDurations = { ...(state.itemDurationSeconds ?? {}) };
     const remaining = { ...pending };
     let flagged = state;
 
@@ -515,10 +979,23 @@ export function createTestController(view: AssessmentTestView, options: TestCont
       itemOutcomes[key] = result.outcomes;
       attemptCounts[key] = (attemptCounts[key] ?? 0) + 1; // the part's single attempt
       delete remaining[key];
-      flagged = applyResultFlags(flagged, key, result);
+
+      if (result.durationSeconds !== undefined) {
+        itemDurations[key] = result.durationSeconds;
+      }
+
+      // The flush is the part submission, but the datestamp is the candidate's
+      // submit instant, stamped when the pending result was recorded.
+      flagged = withRecordedAttempt(applyResultFlags(flagged, key, result), key, result, result.submittedAtMs ?? now());
     }
 
-    return { ...flagged, itemOutcomes, attemptCounts, pendingItemResults: remaining };
+    return {
+      ...flagged,
+      itemOutcomes,
+      attemptCounts,
+      itemDurationSeconds: itemDurations,
+      pendingItemResults: remaining,
+    };
   }
 
   function ended(state: TestSessionState): TestSessionState {
@@ -527,6 +1004,60 @@ export function createTestController(view: AssessmentTestView, options: TestCont
     return { ...flushed, status: "ended", currentItemKey: null, testOutcomes: runOutcomeProcessing(flushed) };
   }
 
+  /**
+   * "The value is obtained by evaluating an expression defined within the reference
+   * to the item at test level and which may therefore depend on the values of
+   * variables taken from other items in the test or from outcomes defined at test
+   * level itself." (§5.152) Unsupported expressions are statically reported; the
+   * declared default stands.
+   */
+  function evaluateTemplateDefaults(
+    state: TestSessionState,
+    item: TestPlanItem,
+  ): Readonly<Record<string, OutcomeValue>> | undefined {
+    const defaults = item.ref.templateDefaults;
+
+    if (!defaults || defaults.length === 0) {
+      return undefined;
+    }
+
+    const env = makeEnv(state);
+    const values: Record<string, OutcomeValue> = {};
+
+    for (const entry of defaults) {
+      try {
+        values[entry.templateIdentifier] = toOutcomeValue(evaluateExpression(entry.expression, env));
+      } catch (error) {
+        if (!(error instanceof RpUnsupportedError)) {
+          throw error;
+        }
+      }
+    }
+
+    return values;
+  }
+
+  /** Record templateDefault values for any of `items` not yet evaluated ("the first attempt"). */
+  function withTemplateDefaults(state: TestSessionState, items: readonly TestPlanItem[]): TestSessionState {
+    let merged = state.templateDefaultValues ?? {};
+    let changed = false;
+
+    for (const item of items) {
+      if (merged[item.key] !== undefined) {
+        continue;
+      }
+
+      const values = evaluateTemplateDefaults(state, item);
+
+      if (values) {
+        merged = { ...merged, [item.key]: values };
+        changed = true;
+      }
+    }
+
+    return changed ? { ...state, templateDefaultValues: merged } : state;
+  }
+
   function moveToItem(state: TestSessionState, item: TestPlanItem | null): TestSessionState {
     if (item === null) {
       return ended(state);
@@ -545,11 +1076,21 @@ export function createTestController(view: AssessmentTestView, options: TestCont
       }
     }
 
+    // templateDefault timing (§5.152): linear — "immediately prior to the start of
+    // the first attempt, after any pre-conditions are evaluated" (the item has just
+    // been chosen as current); nonlinear — "at the start of the testPart" (first
+    // entry computes every ref's defaults). Already-recorded keys are never redone.
+    const part = toPart === undefined ? undefined : plan.parts[toPart];
+
+    if (part) {
+      next = withTemplateDefaults(next, part.navigationMode === "nonlinear" ? part.items : [item]);
+    }
+
     return markPresented({ ...next, currentItemKey: item.key }, item.key);
   }
 
   function nextState(state: TestSessionState): TestSessionState {
-    if (state.status === "ended" || state.currentItemKey === null) {
+    if (state.status !== "in-progress" || state.currentItemKey === null) {
       return state;
     }
 
@@ -573,6 +1114,15 @@ export function createTestController(view: AssessmentTestView, options: TestCont
       return state;
     }
 
+    // minTime (linear mode, sections and items only, §7.40.1) gates before branch
+    // rules — author-explicit jumps do not bypass the minimum either.
+    if (
+      part.navigationMode === "linear" &&
+      minTimeBlocked(state, currentItem, firstNavigable(state, current.partIndex, current.itemIndex + 1))
+    ) {
+      return state;
+    }
+
     // Branch rules: first matching rule wins (author-explicit jumps bypass skip checks).
     for (const branchRule of currentItem.ref.branchRules ?? []) {
       if (!conditionPasses(branchRule.expression, state)) {
@@ -599,7 +1149,17 @@ export function createTestController(view: AssessmentTestView, options: TestCont
         return moveToItem(state, firstNavigable(state, current.partIndex, index));
       }
 
-      const target = positionOf(branchRule.target);
+      // A target naming a multi-instance ref jumps to its next instance after the
+      // current item — the §2.8.3 repetition idiom; branch paths only move forward.
+      const target =
+        positionOf(branchRule.target) ??
+        (instancesByRef.get(branchRule.target) ?? [])
+          .map((instance) => positionOf(instance.key))
+          .find(
+            (position) =>
+              position !== null && position.partIndex === current.partIndex && position.itemIndex > current.itemIndex,
+          ) ??
+        null;
 
       if (target && target.partIndex === current.partIndex) {
         return moveToItem(state, firstNavigable(state, target.partIndex, target.itemIndex));
@@ -618,7 +1178,8 @@ export function createTestController(view: AssessmentTestView, options: TestCont
         (item) =>
           !item.sessionControl.allowSkipping &&
           !state.attemptedItems.includes(item.key) &&
-          preConditionsPass(item, state),
+          preConditionsPass(item, state) &&
+          navigableInTime(state, item), // an item whose time is spent can never be attempted
       );
 
       if (blocked) {
@@ -629,6 +1190,138 @@ export function createTestController(view: AssessmentTestView, options: TestCont
     return moveToItem(state, destination);
   }
 
+  /**
+   * "If set to 'false' the candidate can not review the qti-item-body or their
+   * responses once they have submitted their last attempt" (allowReview, default
+   * true). Before the last attempt ends, revisiting is interaction, not review.
+   * The end of the last attempt is judged on the attempt count; adaptive items
+   * (which bypass maxAttempts via `result.adaptive`) are managed by their consumer.
+   */
+  function reviewBarred(state: TestSessionState, item: TestPlanItem): boolean {
+    return item.sessionControl.allowReview === false && remainingAttempts(state, item.key) <= 0;
+  }
+
+  /** Post-end review (allowReview): ended session, presented item, review allowed. */
+  function reviewable(state: TestSessionState, itemKey: string): boolean {
+    const item = itemsByKey.get(itemKey);
+
+    return (
+      state.status === "ended" &&
+      item !== undefined &&
+      item.sessionControl.allowReview &&
+      (state.presentedItems ?? []).includes(itemKey)
+    );
+  }
+
+  /** "allowed to provide a comment on the item during the session" (default false). */
+  function commentable(state: TestSessionState, itemKey: string): boolean {
+    return state.status === "in-progress" && itemsByKey.get(itemKey)?.sessionControl.allowComment === true;
+  }
+
+  /** The submit mechanics shared by the timed path: pending (simultaneous) or committed. */
+  function submitBody(state: TestSessionState, itemKey: string, result: TestItemResult): TestSessionState {
+    const partIndex = partIndexByItemKey.get(itemKey);
+
+    // Simultaneous parts hold results pending and allow revision until the part is
+    // left; the single attempt (spec) is only spent when the pending set flushes.
+    if (partIndex !== undefined && plan.parts[partIndex]!.submissionMode === "simultaneous") {
+      if (attemptsOf(state, itemKey) > 0) {
+        return state; // the part was already submitted
+      }
+
+      return {
+        ...state,
+        // Stamped now so the flush can keep the candidate's submit-time datestamp.
+        pendingItemResults: { ...(state.pendingItemResults ?? {}), [itemKey]: { ...result, submittedAtMs: now() } },
+        attemptedItems: state.attemptedItems.includes(itemKey)
+          ? state.attemptedItems
+          : [...state.attemptedItems, itemKey],
+      };
+    }
+
+    // "When validate-responses is turned on (true) then the candidates are not
+    // allowed to submit the item until they have provided valid responses for all
+    // interactions" — applicable "only … with individual submission mode" (the
+    // simultaneous branch above is exempt by spec).
+    if (result.valid === false && itemsByKey.get(itemKey)?.sessionControl.validateResponses === true) {
+      return state;
+    }
+
+    // Adaptive items run their own attempt lifecycle, so maxAttempts is ignored (spec).
+    if (result.adaptive !== true && remainingAttempts(state, itemKey) <= 0) {
+      return state;
+    }
+
+    const next: TestSessionState = {
+      ...withRecordedAttempt(applyResultFlags(state, itemKey, result), itemKey, result, now()),
+      itemOutcomes: { ...state.itemOutcomes, [itemKey]: result.outcomes },
+      attemptedItems: state.attemptedItems.includes(itemKey)
+        ? state.attemptedItems
+        : [...state.attemptedItems, itemKey],
+      attemptCounts: { ...(state.attemptCounts ?? {}), [itemKey]: attemptsOf(state, itemKey) + 1 },
+      ...(result.durationSeconds !== undefined
+        ? { itemDurationSeconds: { ...(state.itemDurationSeconds ?? {}), [itemKey]: result.durationSeconds } }
+        : {}),
+    };
+
+    return { ...next, testOutcomes: runOutcomeProcessing(next) };
+  }
+
+  /**
+   * Apply max-time consequences to recorded durations: an expired test ends (designed
+   * policy — the spec defines no expiry behavior beyond late-submission acceptance,
+   * see ADR-0005); a current item inside any expired scope advances to the first item
+   * still reachable, ending the test when none remains.
+   */
+  function applyExpiries(state: TestSessionState): TestSessionState {
+    if (state.status !== "in-progress") {
+      return state;
+    }
+
+    if (scopeExpired(state, { kind: "test" })) {
+      return ended(state);
+    }
+
+    const currentKey = state.currentItemKey;
+    const item = currentKey === null ? undefined : itemsByKey.get(currentKey);
+
+    if (!item || navigableInTime(state, item)) {
+      return state;
+    }
+
+    const position = positionOf(item.key);
+
+    return position === null
+      ? ended(state)
+      : moveToItem(state, firstNavigable(state, position.partIndex, position.itemIndex + 1));
+  }
+
+  /**
+   * Every public transition folds the clock first, then settles expiries, then runs
+   * its operation. A blocked operation (identity) returns the ORIGINAL state — the
+   * stamp is unchanged, so no time is lost and `canNext`'s "would `next()` change
+   * state" contract stays meaningful.
+   */
+  function withTransition(
+    state: TestSessionState,
+    op: (settled: TestSessionState) => TestSessionState,
+  ): TestSessionState {
+    if (state.status !== "in-progress") {
+      return state;
+    }
+
+    const touched = touch(state);
+    const settled = applyExpiries(touched);
+
+    if (settled !== touched) {
+      return settled; // the expiry consumed the action
+    }
+
+    const result = op(settled);
+
+    return result === settled ? state : result;
+  }
+
   // ---------- Static capability walk ----------
 
   const issues: CapabilityIssue[] = [];
@@ -648,10 +1341,22 @@ export function createTestController(view: AssessmentTestView, options: TestCont
         continue;
       }
 
+      if (rule.kind === "lookupOutcomeValue") {
+        const declaration = (view.outcomeDeclarations ?? []).find((entry) => entry.identifier === rule.identifier);
+
+        if (!hasLookupTable(declaration)) {
+          report("lookupOutcomeValue"); // gate parity with the runtime refusal
+        }
+      }
+
       if (rule.expression) {
         collectExpressionIssues(rule.expression, testExpressionKinds, report);
       }
 
+      if (rule.rules) {
+        walkOutcomeRules(rule.rules); // outcomeProcessingFragment nesting (§5.103)
+      }
+
       for (const branch of [rule.outcomeIf, ...(rule.outcomeElseIfs ?? [])]) {
         if (branch) {
           collectExpressionIssues(branch.expression, testExpressionKinds, report);
@@ -675,11 +1380,16 @@ export function createTestController(view: AssessmentTestView, options: TestCont
     for (const branchRule of item.ref.branchRules ?? []) {
       collectExpressionIssues(branchRule.expression, testExpressionKinds, report);
     }
+
+    for (const entry of item.ref.templateDefaults ?? []) {
+      collectExpressionIssues(entry.expression, testExpressionKinds, report);
+    }
   }
 
   // ---------- Public surface ----------
 
   return {
+    test: view,
     plan,
     issues,
 
@@ -696,16 +1406,28 @@ export function createTestController(view: AssessmentTestView, options: TestCont
         incorrectItems: [],
         pendingItemResults: {},
         testOutcomes: {},
+        timing: {
+          lastTransitionAtMs: now(),
+          testSeconds: 0,
+          partSeconds: {},
+          sectionSeconds: {},
+          itemSeconds: {},
+        },
       };
 
-      return moveToItem({ ...initial, testOutcomes: runOutcomeProcessing(initial) }, firstNavigable(initial, 0, 0));
+      // Position only after the opening outcome-processing run: start-time
+      // preconditions must see declared outcome defaults (e.g. the §2.8.3 drill
+      // pattern gates every instance on a boolean that starts false).
+      const opened: TestSessionState = { ...initial, testOutcomes: runOutcomeProcessing(initial) };
+
+      return moveToItem(opened, firstNavigable(opened, 0, 0));
     },
 
     currentItem: (state) =>
       state.currentItemKey === null ? null : (allItems.find((item) => item.key === state.currentItemKey) ?? null),
 
     canMoveTo: (state, itemKey) => {
-      if (state.status === "ended" || state.currentItemKey === null) {
+      if (state.status !== "in-progress" || state.currentItemKey === null) {
         return false;
       }
 
@@ -720,75 +1442,127 @@ export function createTestController(view: AssessmentTestView, options: TestCont
         return false;
       }
 
-      return preConditionsPass(plan.parts[target.partIndex]!.items[target.itemIndex]!, state);
-    },
+      const item = plan.parts[target.partIndex]!.items[target.itemIndex]!;
 
-    moveTo: (state, itemKey) => {
-      const current = positionOf(state.currentItemKey ?? "");
-      const target = positionOf(itemKey);
+      return preConditionsPass(item, state) && navigableInTime(state, item) && !reviewBarred(state, item);
+    },
 
-      if (
-        state.status === "ended" ||
-        !current ||
-        !target ||
-        target.partIndex !== current.partIndex ||
-        plan.parts[current.partIndex]!.navigationMode !== "nonlinear"
-      ) {
-        return state;
-      }
+    moveTo: (state, itemKey) =>
+      withTransition(state, (settled) => {
+        const current = positionOf(settled.currentItemKey ?? "");
+        const target = positionOf(itemKey);
+        const item = itemsByKey.get(itemKey);
+
+        if (
+          !current ||
+          !target ||
+          !item ||
+          target.partIndex !== current.partIndex ||
+          plan.parts[current.partIndex]!.navigationMode !== "nonlinear" ||
+          !navigableInTime(settled, item) ||
+          reviewBarred(settled, item)
+        ) {
+          return settled;
+        }
 
-      return markPresented({ ...state, currentItemKey: itemKey }, itemKey);
-    },
+        return markPresented({ ...settled, currentItemKey: itemKey }, itemKey);
+      }),
 
     canNext: (state) => nextState(state) !== state,
 
-    next: nextState,
+    next: (state) => withTransition(state, nextState),
 
     remainingAttempts,
 
-    canSubmitItem: (state, itemKey) => state.status !== "ended" && remainingAttempts(state, itemKey) > 0,
+    canSubmitItem: (state, itemKey) => {
+      if (state.status !== "in-progress" || remainingAttempts(state, itemKey) <= 0) {
+        return false;
+      }
+
+      // Lateness is judged on recorded timing (as of the last transition/tick).
+      const item = itemsByKey.get(itemKey);
+
+      return (
+        item !== undefined &&
+        enclosingScopes(item).every(
+          (scope) => !scopeExpired(state, scope) || timeLimitsOf(scope)?.allowLateSubmission === true,
+        )
+      );
+    },
 
     submitItem: (state, itemKey, result) => {
-      if (state.status === "ended") {
+      const item = itemsByKey.get(itemKey);
+
+      if (state.status !== "in-progress" || !item) {
         return state;
       }
 
-      const partIndex = partIndexByItemKey.get(itemKey);
+      const touched = touch(state);
 
-      // Simultaneous parts hold results pending and allow revision until the part is
-      // left; the single attempt (spec) is only spent when the pending set flushes.
-      if (partIndex !== undefined && plan.parts[partIndex]!.submissionMode === "simultaneous") {
-        if (attemptsOf(state, itemKey) > 0) {
-          return state; // the part was already submitted
-        }
+      // "The allow-late-submission attribute regulates whether a candidate's response
+      // that is beyond the max-time should still be accepted." (§7.40.3, default
+      // false). Every exceeded enclosing scope's own flag must permit it; a refusal
+      // is recorded, never silent (ADR-0003), and the expiry then applies.
+      const barring = enclosingScopes(item).find(
+        (scope) => scopeExpired(touched, scope) && timeLimitsOf(scope)?.allowLateSubmission !== true,
+      );
 
-        return {
-          ...state,
-          pendingItemResults: { ...(state.pendingItemResults ?? {}), [itemKey]: result },
-          attemptedItems: state.attemptedItems.includes(itemKey)
-            ? state.attemptedItems
-            : [...state.attemptedItems, itemKey],
-        };
+      if (barring) {
+        return applyExpiries({
+          ...touched,
+          rejectedSubmissions: [
+            ...(touched.rejectedSubmissions ?? []),
+            { itemKey, scope: barring, atTestSeconds: touched.timing?.testSeconds ?? 0 },
+          ],
+        });
       }
 
-      // Adaptive items run their own attempt lifecycle, so maxAttempts is ignored (spec).
-      if (result.adaptive !== true && remainingAttempts(state, itemKey) <= 0) {
+      const accepted = submitBody(touched, itemKey, result);
+
+      return accepted === touched ? state : applyExpiries(accepted);
+    },
+
+    end: (state) => (state.status === "ended" ? state : ended(touch(state))),
+
+    tick: (state) => (state.status !== "in-progress" ? state : applyExpiries(touch(state))),
+
+    suspend: (state) => {
+      if (state.status !== "in-progress") {
         return state;
       }
 
-      const next: TestSessionState = {
-        ...applyResultFlags(state, itemKey, result),
-        itemOutcomes: { ...state.itemOutcomes, [itemKey]: result.outcomes },
-        attemptedItems: state.attemptedItems.includes(itemKey)
-          ? state.attemptedItems
-          : [...state.attemptedItems, itemKey],
-        attemptCounts: { ...(state.attemptCounts ?? {}), [itemKey]: attemptsOf(state, itemKey) + 1 },
-      };
+      // Fold first: time up to this instant counts, and an expiry the fold reveals
+      // still applies — suspension cannot rescue an already-exceeded limit.
+      const settled = applyExpiries(touch(state));
 
-      return { ...next, testOutcomes: runOutcomeProcessing(next) };
+      return settled.status === "in-progress" ? { ...settled, status: "suspended" } : settled;
     },
 
-    end: (state) => (state.status === "ended" ? state : ended(state)),
+    resume: (state) =>
+      state.status !== "suspended"
+        ? state
+        : {
+            ...state,
+            status: "in-progress",
+            // Re-stamp without folding: the suspended gap never accrues to any
+            // scope ("minus any time the session was in the suspended state").
+            ...(state.timing ? { timing: { ...state.timing, lastTransitionAtMs: now() } } : {}),
+          },
+
+    canReview: reviewable,
+
+    // "the item session is allowed to enter the review state during which the
+    // candidate can review the qti-item-body along with the responses they gave,
+    // but cannot update or resubmit them" — only the current pointer moves; the
+    // ended status (and the stopped clock) stay put.
+    review: (state, itemKey) => (reviewable(state, itemKey) ? { ...state, currentItemKey: itemKey } : state),
+
+    canComment: commentable,
+
+    setItemComment: (state, itemKey, comment) =>
+      commentable(state, itemKey)
+        ? { ...state, itemComments: { ...(state.itemComments ?? {}), [itemKey]: comment } }
+        : state,
 
     visibleTestFeedbacks: (state) =>
       (view.testFeedbacks ?? []).filter((feedback) => {