ia_dasr_formal.md: formal single-model research claim.ia_dasr_round2i_plus.md: best protocol-optimized single checkpoint.
System routing and post-processing are tracked as result cards, not model cards, because they combine predictions rather than define one standalone checkpoint.