DEGREE BUDGET
m=3: deg(V)=6, K=3, literal k<=K-1 gives 2, energy-shell mechanism gives k<=K-m+1=1
m=4: deg(V)=8, K=4, literal k<=K-1 gives 3, energy-shell mechanism gives k<=K-m+1=1
m=5: deg(V)=10, K=5, literal k<=K-1 gives 4, energy-shell mechanism gives k<=K-m+1=1
m=6: deg(V)=12, K=6, literal k<=K-1 gives 5, energy-shell mechanism gives k<=K-m+1=1
m=7: deg(V)=14, K=7, literal k<=K-1 gives 6, energy-shell mechanism gives k<=K-m+1=1
m=8: deg(V)=16, K=8, literal k<=K-1 gives 7, energy-shell mechanism gives k<=K-m+1=1

DILUTED HIGH-ENERGY LOWER BOUND
lambda=   10: alpha=1/9, lower bound on mixed <p^4>=25
lambda=  100: alpha=1/99, lower bound on mixed <p^4>=2500/11
lambda= 1000: alpha=1/999, lower bound on mixed <p^4>=250000/111
lambda=10000: alpha=1/9999, lower bound on mixed <p^4>=25000000/1111

HANKEL ESCAPE
t= 0: second moment=  0, rank-one PSD Hankel matrix verified
t= 1: second moment=  1, rank-one PSD Hankel matrix verified
t= 2: second moment=  4, rank-one PSD Hankel matrix verified
t=10: second moment=100, rank-one PSD Hankel matrix verified

All exact checks passed.
