ApiExplain

explain(): labelled provenance, purity, and agreement with run()

7/7 passed in 1ms

Test	What it does	Result
test_explain_checks	explain() runs the same scope check as run().	✅ pass
test_explain_detection	explain() reports the detection dispatched on, so a Heterodyne receiver never reads back as homodyne.	✅ pass
test_explain_dps	The DPS report derives p_click from $\mu$, $T$ and $\eta$.	✅ pass
test_explain_finite	FiniteSize adds $n$, $ϵ$ and pe_fraction to the report as pinned inputs.	✅ pass
test_explain_labels	Every entry carrying a value labels its provenance pinned, derived or default, and carries nothing else.	✅ pass
test_explain_matches	explain() reports the numbers run() computes with: the run adds key_raw and the assembled xi_total and nothing else, and dropping those two leaves the dicts identical.	✅ pass
test_explain_stages	The pinned CV path reports closed-form-only stages and names its protocol, detection and security, no DSP chain having run.	✅ pass