§ Blog
Writing.
Technical depth. No marketing language.
§ 001 · Technical · May 2026
Why static analysis works for agentic systems —
and why everything else doesn't.
Runtime monitoring, LLM-based code review, and probabilistic evaluation frameworks all share a common flaw: they operate after or adjacent to the problem. Static analysis attacks the structure directly. Here's why that distinction matters — and why it's the only approach that produces a guarantee rather than a probability.
Read → ~7 minMaxwell Engineering
1,540 words
static analysis
control-flow
formal methods
1,540 words
static analysis
control-flow
formal methods
§Next post in progress: The AG- taxonomy — how we formalised 49 failure modes from 200+ incident reports.