发表机构
Northwest Missouri State University（西北密苏里州立大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
研究记录系统中声明与实现的相同性规则关系，通过形式化实现关系、在细化格中比较划分等方法，审计其是否忠实，能判定分歧见证，结果报告关系，全局相等性另有定义，审计三值且非单调。
AI 中文摘要
一个记录系统声明两条记录何时指代同一实体、事件、范围或规则。其公开的实现机制会引发相应的操作同一性关系。声明和实现的关系可能会系统性地出现分歧，却不会产生出处差距或可检测到的矛盾。系统可以一致地应用一条未被任何工件声明的相同性规则，且对每条记录单独而言都是正确的。本文形式化了这种实现的关系。声明的同一性机制将有限记录域划分为共同引用类；公开的机制通过其类型化的与同一性相关的结果，诱导出同一域的操作同一性划分。审计在细化格中比较这些划分。当声明的划分细化操作划分时，机制是忠实的，即没有声明的类被拆分。分歧见证是声明合并而机制分离的一对；通过对成对枚举可判定这些见证。当导入的同级基础也拆分一个声明的类时，与其划分的局部比较会产生同级对齐、子同级、超级同级或同级不可比的分歧。此结果仅报告关系，不识别机制所承载的基础。操作和同级划分的全局相等性分别定义为机制替换，并非由同级对齐得出。在每次文本编辑时递增的版本字段通过比任何导入基础更精细地拆分声明的类，属于子同级情况。审计是三值的，且相对于公开的工件、评估表面和确定的用途；每个边界都有一个有限的反驳见证。通过的判定是非单调的，因为扩展转换历史可能会合并声明的类，并在已检查的记录中创建一个见证。
英文摘要
A record system declares when two records refer to the same entity, occurrence, scope, or rule. Its disclosed implementation mechanisms induce a corresponding operational identity relation. The declared and implemented relations may diverge systematically without producing a provenance gap or detectable contradiction. A system can apply, consistently and with every record individually correct, a rule of sameness that no artifact declares. This paper formalizes that implemented relation. A declared identity regime partitions a finite record domain into co-reference classes; a disclosed mechanism, through its typed identity-relevant outcomes, induces an operational identity partition of the same domain. The audit compares these partitions in the refinement lattice. A mechanism is faithful when the declared partition refines the operational partition, so no declared class is split. A divergence witness is a pair the declaration merges and the mechanism separates; such witnesses are decidable by pair enumeration. When an imported sibling basis also splits a declared class, local comparison with its partition yields sibling-aligned, sub-sibling, super-sibling, or sibling-incomparable divergence. This result reports only the relationship; it does not identify the basis carried by the mechanism. Global equality of the operational and sibling partitions is defined separately as regime substitution and does not follow from sibling alignment. A version field incremented on every textual edit inhabits the sub-sibling case by splitting declared classes more finely than either imported basis. The audit is three-valued and relative to the disclosed artifacts, evaluated surfaces, and identified uses; each boundary has a finite refuting witness. A passing verdict is non-monotone because extending the transformation history can merge declared classes and create a witness among records already examined.
Comments45 pages
