本文从表示论的角度研究密码协议中的数字表示问题。传统观点认为，只要协议中的数值是计算上可访问的即可，但本文指出，在实际协议操作中，数值的固定表示形式同样关键。论文区分了三种表示论概念：算法可逼近数（A_app，即可计算实数）、系统中有限准确可描述数（A_fin(S)）以及系统的规范可归一化性。作者证明，不存在一个可计算的扩展规范器能够将可计算实数的任意逼近程序统一转换为唯一的有限值编码。作为操作理性核心表示，论文采用有理数系统及其规范编码规范Sigma_Q（包含有效的分数描述规则、规范代码和归一化）。相应的值集为A_ex=Q。规范可序列化对象类将这一核心思想扩展到实际协议对象（如文件字节序列、哈希值、交易ID和规范性序列化载荷）。通过对称加密、非对称加密和哈希的完整示例，以及基于区块链的文件完整性验证协议snaproot哈希锚定实际案例，论文展示了数值的数学确定性和作为协议对象的操作唯一性是两个不同的需求。一旦固定了规范表示规范，字节级正确性和良定义性论证就可以在不依赖实现相关的序列化或舍入决策的情况下进行。该工作对协议互操作性、良定义性和形式化验证具有重要启示。