B.1 and A.9. B.1 supplies any claimed whole/part construction; A.9 supplies an unresolved aggregation-law choice or property check. CN-Spec records the justified Γ_fold, including its model and time policy.
B.3 (Assurance). Bridge CL enters the R term; a safety roll-up requires the law or bound justified for its named outcome and dependency model.
Current proof/inference support and the C.16/A.19 characterization stack. Units, scales, and measurement templates come from C.16, A.17, A.18, and A.19. Claims about folds currently use C.2.1 for claim/episteme identity, A.10 for evidence and provenance, B.3 for assurance, and C.23 when method-family evidence or maturity is at issue. Planned C.6 LOG‑CAL may later consolidate proof-use semantics, but supplies no current governing force.