B.1.4:4.1 - Compact Obligation Rows

Obligation	What must be named	Why it matters
Independence and joins	Branch relation refs, join relation refs, and the condition under which branches may be combined.	Prevents an ordered aggregate from silently treating dependent branches as independent evidence or work.
Order specification	Total order, partial order, precedence relation, or another named relation over the selected positions.	Keeps order-sensitive claims from being read as unordered collection claims.
Decisive dependency relation	The relation that makes one position, delay, or missing step decisive for the aggregate use.	Allows weakest-link claims only when the decisive relation is visible.
Carrier identity	The carrier being followed across phases and the condition under which it remains the same EntityOfConcern.	Prevents temporal aggregation from hiding identity change or MHT.
Temporal coverage	Time window, phase refs, coverage rule, and non-overlap or overlap policy.	Prevents missing phases and double counting.
Chronological discipline	The rule that separates chronological order, logical order, publication order, and performed-work order.	Keeps a document sequence, argument sequence, and work occurrence sequence from substituting for one another.
Monotone characteristic	The exact characteristic that is preserved, bounded, or improved when the aggregate grows.	Blocks generic monotonicity claims over an unspecified aggregate.