Status and formalization as the source record declares them, across two upstream serializations this product does not merge. Neither is a Vela standing. These 13 are source-native problems, not Claims: no Claim binds them and none carries a Verification.
Find a Problem, Result, source, or page