This page explains the method used to test whether spectral configurations select the target indices (T={1,12,17,40}). The full versioned protocol is maintained in METHODOLOGY.md; the cumulative record is the protocol ledger.
The mass formula (m=A n) fits four selected masses with one scale and four integer indices. The central research question is not whether the fit can be written down, but whether a spectral rule independently selects those indices. Trying many operator configurations makes accidental matches increasingly likely.
The protocol therefore asks whether a configuration scores unusually well relative to null ensembles after taking the maximum over the tested configurations. A striking individual match is not enough.
Protocol v1.0 was unable to reach the decision threshold even if a configuration selected all four targets. Its negative outcome therefore did not meaningfully discriminate the tested family. Later protocols changed (k) using null-only design so that the threshold could be reached. Those later tests still did not pass.
A negative result applies to the tested family, selection rule, parameter range and null model. It does not prove that no mechanism can exist. Conversely, a numerical match after choosing targets and trying many configurations is not a prediction.