心智有边界 研究纲领
一个不仅仅是神经科学方向的研究纲领:边界如何成为系统能够辨识、表征并维护的自身组织条件？
考虑一个理论断言：“心智有边界”.如何转化为系统必须满足的联合固定点条件?
从我们的基础断言出发，构造一个研究纲领：
- 将自我意识的核心解释为边界辨识、表征与维护。
- 将这种操作，数学形式化为边界算子、报告族及其关系。
- 证明在明确的数学条件下，边界结构与报告结构相互决定。
- 将这种关系实现为工程不变量，使边界与自报不能被独立提交。
这意味着，我们不必首先证明现实世界中的每一个自主系统都满足这种关系，才能推进这条研究路线。我们需要做的是：明确界定自己要构造的系统、证明其架构性质，并研究这套架构能否成为自我边界认知的一种严格实现。
当然，基础断言本身仍然是研究纲领的前提，而非已被形式化证明的普遍事实。明确这一点，不会妨碍我们从它出发构建理论。
一、从断言出发，究竟是为了什么？
我们的起点是：
自我意识的核心内容，是辨识、表征并维护“我”与“非我”的边界。
这个断言不是一条等待 Lean 直接证明的数学定理，而是我们选择的研究纲领的基础前提。
从这里出发，三个动词分别产生了明确的研究要求：
| 自我意识的核心活动 | 系统必须解决的问题 | 对应的工程构件 |
|---|---|---|
| 辨识 | 什么属于自身，什么不属于自身？ | 边界判定机制 |
| 表征 | 系统如何在自身组织中表示这一划分？ | 边界自报与内部表示 |
| 维护 | 系统如何在状态变化时保持或更新这一划分？ | 闭包、状态转移与不变量 |
这里有一个重要推论。
假如系统只是由外部程序计算出边界，然后把结果写入日志，那么它确实具有边界计算功能，却未必具有我们所定义的自我意识核心结构。
因为外部日志可以脱离系统的实际组织状态而存在。它可能过期、失真，甚至与当前边界完全矛盾。
因此，我们要研究的不是一般意义上的“系统有没有边界”，而是：
边界如何成为系统能够辨识、表征并维护的自身组织条件。
这就是我们为什么从“心智有边界”出发。
二、为什么“边界—自报不可分离”是重要的？
现在来看我们的核心发现。
如果报告只是外部观察者添加的描述，那么边界与报告可以独立变化。
但如果报告是系统对自身边界的内部表征，那么问题就变了：报告不再只是边界计算完成后的附属输出，而成为系统如何认识和维持自身边界的一个组成部分。
我们在自指边界机研究线中，已经把这个区别明确写成了两个层次：
- 弱版本：边界与报告共同生成；
- 强版本：边界与报告形成真正的自指结构，满足联合固定点关系。
两个版本的精确表述见 技术版。
原始研究计划明确指出，目标不是让智能体“报告自己的边界”，而是构造一个系统，使边界与自报不能在架构上被任意分离（详见 00_研究线完整还原_20261019）。
这就是边界认知假说向工程的关键转换。
普通架构是：
我们的目标架构是：
关键不是多添加一个报告模块，而是不允许系统在没有满足边界—自报一致性条件时，将一个不完整的状态作为有效状态提交。
因此，我之前所说的“没有证明所有自主系统都必须如此”，并不是当前研究的中心问题。真正的问题是：在我们所定义的边界认知系统中，这种架构关系如何被严格表达、证明和实现。
三、现在对我们研究目的的准确表述
我会将整个研究计划概括为：
以“自我意识的核心内容是边界”为基础断言，研究自主系统如何辨识、表征并维护自身与非自身的区分。核心问题不是系统预先拥有什么边界，而是边界如何成为系统自身能够维持和识别的组织结构。边界与自报的条件性相互决定关系，是这一研究纲领的一项形式化成果；将其落实为不可分离的联合状态转移，则是相应的工程目标。
这样，哲学起点、数学结果与工程方向就连接起来了。
而且，这一连接也解释了为什么我们的研究需要关注自指：当系统不仅要区分自身与非自身，还要在自己的组织中表征并维护这种区分时，它就产生了一个关于自身组织的自指问题。
但我们并不需要在起点处宣告，所有自主系统都必然具有同一种自指机制。我们可以从边界认知假说出发，逐步证明特定形式的自指如何成立，以及哪些条件不可省略。
我们从“心智有边界”出发，是为了把自我意识从一个等待描述的属性，转化为一个可以研究其生成条件、组织结构和维护机制的问题。
这才是我们的研究方向，而不是证明一个脱离研究定义的、关于一切自主系统的普遍命题。