the value referent is her realized gated later evaluation of what happened (1a)

Maintainer decision, landed by the BRIA-corrigibility round. The ordinary score of a block is her later evaluation of the actual block trajectory, gated by Counted, the window value otherwise (BRIACorrigibility.LexParams.realized). No decision rule uses her evaluation of a trajectory that did not happen, with one named exception: materiality, through her committed evaluator anchored before the action (DecisionComponent.raisesAnchored), which is a commitment made in advance, not a hindsight judgment. The comparison between options is the agent's own estimate — a hypothesis's bid — held to account only on executed continuations. The counterfactual audit classifies the landed statements: policy dominance, the capture window and li_lexical_finite use bounds only; the protected-authority identity is diagnostic; the control surface enters as the price of a sentence about the declared control model. Rejected alternative: scoring on her evaluation of counterfactual trajectories (1b), except through prices of model-relative sentences.