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