Claims — Flattening

Every claim on Flattening and the pages under it, one line each: name, tier, verifier. 9 claims at this build. All sections.

Flattening

• The free box's flattening ceiling rule — explore_flatten_height.py
• Product extremality at a second height rule — explore_flatten_offchart.py, explore_flatten_d2.py
• The flattened minimum is attained on the unit circle rule — explore_flatten_lattice.py, explore_flatten_family.py, explore_flatten_select.py, explore_flatten_band.py

Where the products lose

• Where the products lose is the chart’s corner, not the rank rule — explore_flatten_band.py, explore_flatten_select.py
• The low-rank threshold is settled inside the pure family rule — explore_flatten_theorem.py, explore_flatten_band.py
• At rank 2 the minimum is a difference of binomial coefficients theorem — explore_flatten_theorem.py

The multipliers

• At a failing rank the band's low edge is a trade rule — explore_flatten_near.py, explore_flatten_swap.py, explore_flatten_class.py, explore_flatten_gen.py
• The class the multipliers live in is infinitely generated at its lowest degree property — explore_flatten_deep.py, explore_flatten_gen.py
• On the chart above height 3 every minimiser's residual is 1 at −1 rule — explore_flatten_endvalue.py, explore_flatten_deep.py, explore_flatten_recur.py, explore_flatten_gen.py