A change of migrated manifests was refused against an unmigrated trunk: the old sections were counted and the seats declared only by the trunk manifests the new rules accept, so every count was 0 and every declarer gone. The trunk case now counts and declares by each manifest that decodes, and one that does not decode is named in the trunk case's verdict. Builds: design 47 G §712, A-337 Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h