Deterministic full-stack system generation from natural language (with proofs) | Heykuki News