Invariant Engineering: Why Your AI Agent Is Either Broken or Boring | Hacker News Reader