[jwr404]

Summary

• The target corner is a symmetric 6-by-6 matrix of rank 6, and its 3-bit halves are the three coordinate vectors.
• Complementary coefficients 1 and w add their subspace ranks, and rank-nullity in dimensions 5 and 6 leaves no room for five calls to carry two ranks of 3.
• The X calls and the Y calls each number at least 6. No new kappa, and shorter words are not searched.

Test plan

• python3.12 -B research/central-triple-rank-floor/verify.py
• python3.12 -B research/central-triple-rank-floor/test_verify.py
• python3.12 -B scripts/research_package.py --package research/central-triple-rank-floor
• Maintainer replay on CPython 3.12 from 20ecf2891d80b5acf18d980b2164fb44ea7faa90

Made with Cursor

Made with Cursor