Walden — spec-driven development vs vibe coding

Dal vibe coding allo spec-driven development: requisiti EARS, gate deterministici e un delivery kernel open source nato dal rigore dell'aviazione.