观察、登记与可修订确定性：过程实在论的理论框架

摘要 过程实在论（RC）把确定性当作观察过程中有待解释的产物，而不是解释的起点。本文在这一纲领下提出一种以观察、登记和可修订确定性为中心的解释架构：它区分潜在内容、当前锁定与派生实现者，区分历史记录与当前有效性，区分分类登记与机制生成，并说明公共稳定、表达损失、来源报告、争议处理与机制对象化各自需要哪些额外义务。文章同时划定主张层级：本体承诺、定义性组织、有条件数学后承、桥接假说与开放缺口不可混写。配套 Isabelle/HOL 形式化只在选定场景中提供条件接口、具体解释与失败边界；标准共识动力学与信息论结果仅在声明条件下被借用，并不构成 RC 原创数学，也不证明一般现实生成或完整语义闭合。针对 PROV-DM、对话游戏、Justification Logic 与 locales 的定向结构映射表明：一般来源／协议／证成／模块组织已有成熟先例；本文只辩护观察登记解释下必须同时激活的义务表及其失败边界，并明确区分提议的部分对应、已展示差异与未审主张。本文的贡献候选是可审查的解释架构与论证纪律，而非已证的普遍机制。七项完整语义目标仍保持开放；新颖性评价仍待外部比较。