The file:line citations pointed atc95a7baand went stale after P1, the compile-time root modes and the kernel entry/step split. Each guard is now named by file plus function (or the kernel #error guard) at source revision888c8038. No claim, scope, observation or evidence revision changed. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>