Reliability and appropriate complexity of probe methods
Ascertain the reliability of probe-based methods for evaluating whether intermediate neural representations encode world-model state, and determine the appropriate function complexity for probes used in such analyses to ensure valid conclusions about model internal structure.
References
However, there are open questions about the reliability of probes \citep{belinkov2022probing}, such as appropriate function complexity \citep{alain2018understanding, cao2021low,li2023othello}.
Controlled comparisons with taxonomy-free probe design and systematic evaluation of abstention remain future work.
Schema-constrained probes receive an independent expert audit and exclusion sensitivity, but independently authored validation remains future work.
Our domains are synthetic and English; whether the ladder's ordering holds on natural, noisy-label tasks is untested.
It is also limited to piano-centric prompts: the probe is trained on solo piano, and how reliably it localizes pitch content in denser mixed-instrument textures, where several timbres overlap in the same latent channels, remains an important open question.
The new maximum is still chosen in 636 selections, so the adequacy of these learners at the edge of the grid remains open (App.~\ref{app:richer-output}).
A single-token, YES/NO-style marker, the requirement for a clean logit-lens readout, is not available for ECHR's natural VIOLATION/NO VIOLATION verdict, which tokenizes to three and four tokens respectively across every model we tested; standardising the probe would require re-eliciting every ECHR generation under a YES/NO marker rather than a lighter reanalysis, which we leave to future work.
Although we include task transfer, few-shot adaptation, prompt variation, repeated runs, and success-control tasks, broader generalization remains open.
Coarse bins approximate, rather than identify, the conditional-bias norm of Theorem~\ref{thm:paic-main}: the reversals support the mechanism, while reliable target-label-free probe selection remains open, and the labeled adoption test is the safeguard.
Whether a target is more predictable from visual conditioning remains empirical, and the finite linear probe measures predictability only within its model class.
the contribution of the target alone is open
The localization results concern the tested probes and read site; a probe that locates the PIT step from the hidden states remains possible.