The mechanism itself: what the kernel enforces, and what a gate looks like before and after a fix. A verdict is a pure function of gate, evidence, subject, and approver.
Why Ranex fails a required claim with no evidence, including why a fresh clone correctly starts with a failing verdict.
Why a Ranex verdict uses only gate, evidence, subject, and approver so the same proof always gets the same result.
A failure sentence cannot reliably carry its category. Keep the cause as structured data, render the prose from it, and block unknown values.
A GIT_* variable redirected Ranex checks to the wrong repository. Learn the boundary a git flag cannot enforce and the fix that closed it.
