If a STOP or ABORT decision occurs mid-experiment, the enforcement model requires setting state to ABORTED, with scheduling loops re-checking state on each iteration — only infra logs permitted after ABORT, with no new experiment metrics or participant-scoring fields allowed to be created.