Agentic AI for Model-Based Engineering: How Dyad Ensures Correctness | Dark Hacker News