carried successors need not be fresh

Agent-decided. The carry law is that the successor set is non-empty and lies in the next outstanding state. Requiring freshness refused ordinary consolidation into a claim already outstanding, which the derivation handles correctly. The relaxed law also absorbs the strict-pre-state protection on the resolution side, since a successor the same event discharges is not outstanding after the step.