the post uses the single evaluation; theorems for any weighting; the free-delay witness is a remark (R10)
2026-09-27 · settled · DECISIONS.md line 5881
Maintainer ruling, landed by the phase-2 round and closing the phase-1 queue's schedule entry. The evaluation-timing entry above stays reserved.
Touches
Nothing named.
Nodes pointing at it
None.