@techreport{Braun2026Verification,
  author      = {Braun, Niclas},
  title       = {Verification as a Control Primitive for Frontier AI},
  institution = {For Safety Group Inc. (4SI)},
  year        = {2026},
  month       = jul,
  number      = {1.0},
  type        = {Public Technical Report},
  doi         = {10.5281/zenodo.21454914},
  url         = {https://doi.org/10.5281/zenodo.21454914},
  note        = {Independent, non-peer-reviewed technical report}
}