A new proposal to formalise the, "kicking of tires" for vibe coded software.