DmcsNumerics

Region operators, the source-replacement state, and the moments they carry

2/2 passed in 15ms

Test	What it does	Result
test_regions_complete	Without postselection the four region operators sum to the identity to 1e-14, each positive semidefinite with 1/4 on its diagonal, and a radial cut and then a phase guard each remove trace while staying positive.	✅ pass
test_state_physical	The honest bipartite state has unit trace, is positive semidefinite and has Alice's coherent-state Gram marginal, and Bob's conditional mean photon number is $\eta {\alpha }^2+\eta \xi /2$, the displaced thermal state of LUL19 Sec. IV A.	✅ pass