proof · Kernel
Orthogonal projector P₄₇
E1 numericpass2026-08-13
P₄₇² = P₄₇ = P₄₇†, KP₄₇ = 0, Tr P₄₇ = 47. Idempotence residual 4.91e-14. Rank and trace certified in the same machine run as the kernel.
Invariants
- rank P₄₇ = 47
- idempotent
- Hermitian
- annihilated by K
Residual · 4.91e-14 idempotence
Sources
- projector.pyGitHub · primary
- Validation certificateGitHub
- Machine certificatesNotion