Index suggestions are now planner-verified with hypopg

Correct the baseline failure-mode description

Measured baselines instead of an asserted score; capabilities + limitations

Static overview: eval results, real findings, the trap table

initial commit