Trying to think about our best chance of making a lasting contribution (therefore actually surviving?) as a startup.

I'm a big fan of focusing on verification tools ("Verification is all you need"?) but who knows.

I'm sure I'm missing something in my perspective. Here to expand my aperture

I think the gap is less verification and more who owns the feedback loop. The valuable piece is capturing real outcomes and feeding that back reliably. Whoever closes the loop of data then action then measured result ends up sticky. Generation and verification become features around it, not the core.