`D1` is an inclusion, never an equality

Agent-decided. Carriage is a second legitimate genesis for a claim: a transfer opens a successor that Due never activates. Requiring NewDue_t to equal what is newly incurred would refuse ordinary succession, so the condition is inclusion and the architecture has exactly two geneses, activation and carriage.