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