DmcsFinite
The finite-key refusal: a published analysis on each bound, and what is missing from it
5/5 passed in 3ms
| Test | What it does | Result |
|---|---|---|
test_analytic_refusal | The analytic refusal names Lupo and Ouyang's heterodyne receiver with finite range and bin count, and where each sits here: q.Heterodyne.clip and a q.ADC that q.Link refuses by name. | ✅ pass |
test_block_first | A bad n_total raises ValueError before either NotImplementedError refusal. | ✅ pass |
test_branches_differ | The analytic and certified messages differ, each keeps its own citation, and the analytic one points at certified = true. | ✅ pass |
test_certified_refusal | The certified refusal names all four shipped pieces and the protocol steps a q.Link cannot state: the energy test, the block split and the clipped detector. | ✅ pass |
test_dimension_price | The charges the certified refusal quotes, 0.101 bit at dm_price. | ✅ pass |