A whole accepted span uses one declared operation; callers must not split it to fit a verification table because that can change attention arithmetic.
Readonly
A whole accepted span uses one declared operation; callers must not split it to fit a verification table because that can change attention arithmetic.