Total on-wire bytes for a KEM + signature credential, with a per-component breakdown.

Detail for one failure family: the invariants it breaks, the unrepaired designs that fail it, and what each did. Does not return repairs.

How many fragments an object becomes on a transport, and whether fragmentation is therefore mandatory.

All 39 post-quantum migration failure families, with case counts and published prior-art analogues.

The two-sided reassembly-capacity window. Returns is_empty=true when NO capacity cap is both feasible and safe, plus the maximum concurrency that would be safe.

Score a PQC-MFB submission ({case_id: bool}). Returns coverage, regressions, and which families have zero coverage.