SecurityShapes

The three compositions no other family shares, each against its own engine

4/4 passed in 0ms

Test	What it does	Result
test_dmcs_theorem	Kanitschar Theorem 6 adds eps_ec outside a maximum over two branches, composing to the paper's 1e-10 where a plain sum reports 1.9e-10.	✅ pass
test_dps_root	MTT23 Eq. (50) composes to exactly 2^-27 at the paper's parameters, with no correctness parameter and no equal shares.	✅ pass
test_every_ledger_explains	Every registered family explains to its own name, each half, the total and per_bound being a number or a refusal text.	✅ pass
test_vacuum_weights	Li's 2eps + eps_0 + 6eps_1 + eps_2 recomposes the target over ten shares, where a plain sum reports two fifths of it.	✅ pass