Skip to content

Proofs

Machine-validated identities, theorem plates, and certificates. One card per result — Drive, GitHub, and Notion point at the same work.

Kind
Grade
Status

24 results

Finite-dimensional construction of E₄₇ = ker K on V₂⊗³. dim V = 125, dim ker K = 47, Ωc = 47/125. All kernel checks pass in the Kartekeya certificate.

proofKernel3.66e-13 annihilation
github · Kartekeya certificate

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.

proofKernel4.91e-14 idempotence
github · projector.py