Front matter

XIII-B uses evaluation-only claims in the inherited carrier ${\mathcal{E}}_H$. It does not use a reduced algebra or a completed observable. Those readings remain Unresolved in XIII-A. The construction below uses the displayed off-shell lifts and then takes their admitted full-shell classes. Classical evaluation on ${\mathcal{C}}_W$ follows admission; it is not the domain of the product.