A.19.ULSAM:10 - Rationale (didactic, informative)
Aggregation is a semantic commitment: it changes a set/vector of measures into a single measure, and therefore changes what later comparison/selection can legitimately claim. In CHR, that commitment must be explicit, admissibility-gated, and auditable.
Keeping ULSAM as its own mechanism preserves:
- the strict boundary between method choice (SoTA packs) and operation declaration,
- the strict boundary between planned baseline (pins chosen in WorkPlanning) and run-time audit (what actually executed),
- and the engineer-facing clarity that “we folded here, not everywhere”.