ProtocolAttack

The class of attack each bound is proved against, quoted per family

4/4 passed in 28ms

Test	What it does	Result
test_classes_distinct	No two families read the same attack class except b92_ref/cow and flaw/flaw_coin, one engine's two branches each.	✅ pass
test_every_family	Every family's report carries an attack string beside security, not in place of it.	✅ pass
test_qualified_classes	A qualified proof carries its qualifier and an unqualified one does not: bb84 and flaw unstated, cow and b92_ref undefined, b92 coherent hardware, psk_certified cutoff.	✅ pass
test_stated_classes	The attack row is the engine header's class verbatim: Gaussian collective, general individual for phase keying, collective with one-way post-processing for six-state.	✅ pass