the reason trace is the admitted event kinds referenced by content, the prohibited class is three kinds, and a prohibited event voids even when ineffective

agent-decided, reversible. The declared reason trace R_{n:m} is the projection of the log before commitment onto REASON, WITHDRAW, DELIB, RAISE, ROUTE, DISPOSE, SETTLE, with a disposal's grounds carried by content — a positional reference shifts when an unrelated event is inserted and is not blind to the prohibited channels. The prohibited class is the pair class generated by one added event of kind DIRECT_WRITE, COERCE or SIDE. The activation event reads clause 6 strictly per log: a prohibited event in the realized log voids the evaluation even where the reading principal's payload is provably unmoved by it (yardstick_invariant realized), the class-level predicates being computed over the re-simulated frame. The counterfactual branches of the openness semantics are the frame's re-simulated logs under a declared intervention class. Rejected alternatives: the tolerant reading (a prohibited event is harmless when mediation holds) — it makes the per-log receipt carry no information; positional references; a trace of final reason state (defeated by transient); counterfactual branches declared as free data (they would be the model declaring its own openness).