边界理论 · 高学强
把自主性边界做成可计算的——并机器检验它。
边界本体论 · 变分锐度 · 可计算判据 · 机器检验的证明
让真正有能力批判的人看见，而且不需要相信，便能开始检查。
从这里开始
五分钟
四步看懂这套理论
按读者需要的顺序讲这套理论主张了什么：本体论、几何、动力学、可观测量。无需预备知识。
数学
边界作为一个数学对象
为什么一个代理的自主性边界可以被定义为归因函子的稳定闭包纤维——以及这个定义换来了什么。
核验
机器检验过的结果
Lean 开发体、可原样复跑的复算命令，以及一份诚实的账本：哪些没有被证明。
四步看懂这套理论
这套纲领不是一项优化技巧。它是一条从哲学概念走到机器检验定理的链：
哲学概念→
形式数学对象→
可计算的可观测量→
机器检验的定理
第一层
本体论
因果干预范畴
A1
归因预层 A:Causop→Δ2
A2
因果内聚是一个闭包算子 c
A3
边界B=StableClosureFiber(A)=Fix(c)
干预仍可发生；归因不再被穿透
第一层确立对象 · 第二层独立地在该对象上选取平衡点
第二层
力学
边界锐度 κ
A4, A5
V(κ)=c0κ+καCF
σ∗=1
一张图看懂这套理论。第一层确立边界是什么；第二层是一套独立的变分理论，用来在这个对象上选取平衡点。范畴工具不是用来推导那个两项式的机器。
第一步 · 本体论
边界究竟是什么？
一个代理的自主性边界，被定义为因果干预范畴上归因函子的稳定闭包纤维。这是一个定义，不是一次测量。
定义
第二步 · 几何
给边界一个坐标：锐度 κ
把那个对象投影到单一标量上——边界区分的锐利程度。κ 使该对象在不同系统之间可比。
定义
第三步 · 动力学
两种代价，一个势
维持代价随锐度上升，不确定度熵随锐度下降。二者之和是一个势，其极小点即平衡锐度。
机器检验
第四步 · 可观测量
一个原则上可测的判据
在平衡点上，无量纲比值 σ 取一个确定值。真实代理是否呈现它，是一个尚未被检验的经验问题。
经验预测
读数学之前请先读这里。 形式层已建成并通过机器检验；经验层是空的：没有任何真实部署的智能体系统被测试过。每一页都会标明五类标签中的哪一类适用——定义、假设、机器检验定理、猜想、经验预测。
全部页面
| 页面 | 回答什么 | 状态 |
|---|
| 总览 | 四步看懂这套理论 | 已建 |
| 当前纲领 | 最新一轮：自指边界机（第 69 轮） | 已建 |
| 对象 | 自主性边界在数学上是什么？ | 已建 |
| 力学 | 为什么锐度会有一个平衡点？ | 已建 |
| 可观测量 | 在一个代理身上到底能测到什么？ | 已建 |
| 核心殿堂 | 活下来的七根柱子，与把结论压成这个形状的否定 | 已建 |
| 锚点 | 数学与世界相接之处 | 已建 |
| 范围 | 这套理论不主张什么 | 已建 |
| 机器检验结果 | 证明了什么，我怎么复算？ | 已建 |
| 认知状态账本 | 每一条主张、标签与证据所在 | 已建 |
| 实验 | 那个尚未被跑的可证伪检验 | 已建 |
| 论文与源码 | 稿件与源码，含许可 | 已建 |
| 研究地图 | 研究纲领的全局关系图 | 已建 |
| 公开质疑 | 如何质疑或缩小一条主张 | 已建 |
| 时间戳流水账 | 所有产出物的 SHA-256 与 OpenTimestamps 证明 | 已建 |
| 关于 | 谁维护、如何引用 | 已建 |
时间戳流水账——所有已发布产出物的 SHA-256 与 OpenTimestamps 证明。 → /timestamps
联系与身份
姓名高学强（Xueqiang Gao）
身份独立研究者
所在地中国
研究自主性边界的形式理论——让 AI 代理的边界可计算、可检验、可机器验证。