a friend of mine who has been experimenting with so-called 'vibe coding' walked me through what he actually is doing. and it's not actually what i expected.
but i am told that most 'vibe coders' do not use highly-structured design documents and written proofs as the initial input into the pipeline