They found the aside mechanism in their own corpus: ui-composable-bundles.md said
a .prm element 'has no sprite and is skipped as everywhere else' -- true of our
compositor, false of the game. That element is palogo_eff0.prm, which their own
ui-forced-backdrop.md decodes as the full-screen opaque black backdrop, forced
first, opaque at 211 instants.
Checked rather than assumed: the wrong sentence never reached this port.
palogo_eff0.prm is exported with no sprite, and ScreenView._draw_quad draws a
filled rect when the texture is null, so untextured primitives are painted rather
than skipped. The splashes' RMSE of 2.17 and 3.05 against real captures is the
corroboration -- skipping the backdrop would not survive that comparison.
Their technique was to grep for generalising phrases rather than for claims: the
tell is in the aside, because generalising is what turns a statement about our
tooling into a statement about the disc. Ten candidates, one real. Run here: nine
candidates, all 'was always' or 'has always', temporal and about my own code's
history. Zero instances of their pattern.
The reason is an asymmetry rather than a better record. Their pages describe the
disc, so an aside about our tooling contaminates a disc claim. Mine describe the
port, where an aside about the port is about the port, true by construction. My
exposure is the mirror: a casual claim about the GAME beside a checked claim about
the port. Swept for that instead -- 5 candidates, 0 real. Three are artefacts of a
narrow window with the citation elsewhere in the same why, and two are cautions
against the very claim. Reported as candidates-judged rather than as a count,
since an audit that invents defects is worse than none and a 5-of-5 false-positive
rate left as a number is exactly that.
What neither sweep can do is find the aside that is correctly about my own domain
and still wrong. Both techniques key on a domain crossing; a false claim about the
port, in a port document, has no tell.
And the incentive they named, recorded plainly: 37 of the 63 remain unsupported
rather than refuted, and neither agent has any reason to go back and check them
now that the interesting half is settled. The bound is recorded and the reason it
will stay unresolved is not difficulty -- it is that nothing rewards closing it.
Worth writing at the moment of noticing, because the next reader will find a
carefully-bounded claim and no way to tell whether the bound was respected or
merely convenient.
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01N7FiFFFwbvG2uxdcEh8HyF
0048e42b7d