SecurityRegister
What the epsilon register holds and how it agrees with the engines
6/6 passed in 0ms
| Test | What it does | Result |
|---|---|---|
test_divisors | Each registered share count is the divisor its engine applies. | ✅ pass |
test_families | Twelve families are registered, each describing to a record naming a rule, terms, a src/ source and a paper that catalogue() repeats. | ✅ pass |
test_form_guards | Six-state, MDI, RRDPS and DPS re-registered as a plain sum raise rather than compose by another family's rule. | ✅ pass |
test_forms | Every family declares a form from security.FORMS, six composing as a plain sum and six each having an arm of their own. | ✅ pass |
test_forms_partial | COW' and discrete modulation declare probabilities alone, so a plain sum over either returns a wrong number rather than raising. | ✅ pass |
test_kinds | Every term declares one of three kinds and one of four roles, and only RRDPS, the pair link and DPS carry a bit-valued term. | ✅ pass |