Add leanSpec test vector for zero hash in justifications_roots #269

Job	Run time
codex-review / Codex Code Review	0s
codex-review / post_feedback	0s
kimi-review / review	0s
claude-review / claude-review	0s
	0s

Provide feedback