https://cozuya.github.io/2026-10-27 https://cozuya.github.io/proofs/2026-10-27 https://cozuya.github.io/proofs/gyires-permanent-4x4/2026-10-27 https://cozuya.github.io/proofs/taxicab-erdos-mordell/2026-10-27 https://cozuya.github.io/proofs/oeis-a057923/2026-10-27 https://cozuya.github.io/refutations/2026-10-27 https://cozuya.github.io/refutations/sra-six-matrix-trace/2026-10-27