arXiv:2601.16152cs.LOcs.AI2026-01被引 1

提出中立数据底座的身份不变性框架,解决持久分歧下的指称稳定性问题。

Referential Regimes: Transformation-Invariant Identity for Neutral Substrates

  • 用变换代数定义身份:不变性即指称个体化的标准。
  • 发现六类指称对象需九种身份制度,多出三类源于常规操作的隐含区分。
  • 适合法律、政策等存在持续分歧领域的系统设计者阅读。

数据系统日益面临持久的法律、政治和分析分歧,无法依赖单一解释权威。中立底座通过结构化固定指称,将解释权留给上层扩展,从而提供稳定的共享参照。本文通过一个小的变换代数推导出该底座所需的身份结构。身份被定义为变换不变性:一个指称对象由保持其不变的可接受操作来识别。一旦常规记录操作被确定,个体化即成为结构性计算。该计算揭示了指称类型与身份制度之间的不匹配:一个问责底座必须指涉六类载体:义务承担者、规则、事件、范围、记录和普通指称。其中三类具有多个可接受基础:范围可由外延或结构固定;规则可由内容或结构决定;普通指称可由位置或对象决定。分解分离范围读法,精炼分离规则读法,分叉分离普通指称读法。计数显示有六类指称,但变换分析强制至少九种身份制度。多出的三种制度并未增加新类型,而是源于常规操作下的身份行为;任何试图合并它们的行为都会以隐藏制度形式重现,而持久分歧无法将其固定。结果是一个条件性下限:更丰富的变换基可能维持或进一步分裂该界限,但无法消除此处观察到的区分。这些额外制度对应于通常由建模惯例处理的差异,但此类惯例在持续分歧下无法替代制度层面的身份承诺。

原文摘要 · Abstract (English)

Data systems increasingly operate under persistent legal, political, and analytic disagreement, where no single interpretive authority can be assumed. A neutral substrate provides stable shared reference without requiring agreement about causal or normative interpretation: it fixes reference structurally and leaves interpretation to extension layers. This paper derives the identity structure such a substrate requires using a small transformation algebra. Identity is treated as transformation-invariance: a referent is individuated by the admissible operations that preserve it. Once routine record operations are fixed, individuation becomes a structural calculation. That calculation exposes a mismatch between reference kinds and identity regimes. An accountability substrate must refer to six carrier kinds: obligation-bearers, rules, occurrences, scopes, records, and plain referents. Three kinds have more than one admissible basis. A scope may be fixed by extension or structure; a rule by content or structure; a plain referent by locus or object. Decomposition separates the scope readings, refinement separates the rule readings, and forking separates the plain-referent readings. Counting reference kinds gives six, while transformation analysis forces at least nine identity regimes. The three additional regimes add no new kind to the inventory. They arise from identity behavior under ordinary operations, and any attempt to collapse them reappears as a hidden regime that persistent disagreement cannot hold fixed. The result is a conditional lower bound. A richer transformation basis may leave the bound unchanged or force further splits, but it cannot erase a distinction witnessed here. The additional regimes correspond to distinctions often handled by modeling convention, but such conventions cannot substitute for regime-level identity commitments under persistent disagreement.

数据系统身份机制指称理论

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。