Limits
What this does not solve
Every known failure mode, published before anyone else finds it.
Four of the eleven rows in the failure accounting have their own page here, each covering the problem in detail, who it affects, what it honestly means, and what we are doing about it.
Novel bridging
Detected reliably, never resolved, and no amount of authoring closes the gap.
Non-conventional implicature
Detection is achievable. Resolution is not, and it is open for everyone.
Long-form coherence
Nothing in the model holds an argument together across paragraphs.
Cross-build determinism
Determinism holds within a build, identified by artefact hash. It does not hold across builds.
The remaining seven rows go up with the specification. Two of the eleven are unsound.