After Enter: records, instruments, decoders, and cutoffs

This section is an interface dictionary. It adds no premise to Theorem thm:main. Its finite statements are proved below; companion citations identify related source records rather than transfer unproved apparatus or field results into the characterization.