B.1.6:5.1 - Compact Obligation Rows

Obligation	What must be named
Resource input	Resource Characteristic, Scale/Unit, subject, C.16 measurement work/result episteme, uncertainty, time, and provenance
Work set	Dated Work occurrences, every A.15.1 Work-part relation used by this aggregation, and every C.27.TA overlap fact it uses; any non-Work carrier phase keeps its own identity rule and `PhaseOf` relation
Policy	Edition, inclusion, conversions, weights, missing values, boundary allocation, uncertainty, overlap/deduplication, and output kind
Aggregation execution	Actual performer identified through A.13; dated `U.Work` independently admitted through A.15.1; a separate F.6 check when the result must also identify the assignment under which the Work was performed; separate Method, resources, and actual direct/A.6.1 bindings
Aggregation result	Typed result, work set, policy, boundary, window, qualifications, and distinct C.2.1 episteme
Provenance/currentness	A.10/G.6 paths and G.11 result when currentness affects use
Later use	Exact receiving work and direct premise/reference/argument/decision-use relation