@misc{spiegel20261008-trust-lean,
  author = {Christoph Spiegel},
  title = {{Verification was never just about certification}},
  year = {2026},
  month = oct,
  date = {2026-10-08},
  howpublished = {Blog post on \emph{Appendix}},
  url = {https://christophspiegel.berlin/appendix/when-to-trust-lean}
}