incurred and outstanding are separate sets

Agent-decided. The answerability analogue of Admitted and Live. The theorem quantifies over incurred, so a claim incurred and resolved by one event is still something it speaks about, and same-step resolution needs no bureaucratic delay. This reverses the previous pass's decision that immediate resolution should be inexpressible: the protection that decision was reaching for comes from Resolve reading the strict pre-state, not from the order of unions.