proof · Quantum
K² CP-TNI filtering semigroup
E1 numericpass2026-08-13
Semigroup law residual 2.40e-15, positivity 4.63e-16, kernel-fixed 1.01e-13. Completely positive, trace-non-increasing filter on the complement of E₄₇.
Invariants
- semigroup law
- CP
- TNI
- gap 11664
Residual · 2.40e-15 semigroup
Sources
- semigroup.pyGitHub · primary
- E47-QOP-C05Notion