HLLL verification helpers

What this mirrors

These panels correspond to the command-line tools in verification_scripts/:

• Partition lookup — verify_chains_hlll.py --partition …
• Enumerate by deficit — verify_chains_hlll.py --enumerate-defc K (scan lengths L in a range you set)
• Flagpole table — flagpole_defc10.py style enumeration for a chosen deficit k
• Global chain initials — forward + backward construction from TI₂ as in verify_chains_hlll.py (default k = 10)

Heavy enumeration can take a few seconds in the browser. Results use the same reduced-DV statistics as the Python code (defc = L(L−1)/2 − area − dinv).

Partition lookup

Comma-separated parts, e.g. 5,3,1,1.

Enumerate partitions by deficit

Flagpole rows

Global chain initials (from TI₂)

Uses NU₁-final enumeration for lengths L = 5 … 13 (same window as the Python verifier for k = 10).

Python scripts (reference)

Clone the site repo or open these paths locally:

• verification_scripts/flagpole_defc10.py — flagpole enumeration, TAIL₂ appendix vectors
• verification_scripts/verify_chains_hlll.py — full global initials, --partition, --enumerate-defc
• verification_scripts/verify_all_chains.py — all appendix chains vs a,m,h and TI₂ placement
• verification_scripts/compare_chains.py / compare_chains_hlll.py — chain comparison helpers
• verification_scripts/crosscheck_pdf.py — PDF-style crosscheck blocks