贾宝龙大象理论：从永恒实际存在到 PR 的第一拍必然性

Jia Baolong · 2026-08-11 · GitHub Markdown 原文

作者：Jia Baolong
理论：贾宝龙大象理论

摘要

本文只处理一个问题：如果从“永恒的存在”出发，为什么仍然必须得到一种“从无到有”的第一拍结构；而在最小、自足、无偏、非固定的条件下，这个第一拍为什么只能是 PR？

论证的关键不是把“永恒”偷换成“在某个最早时刻被创造”，也不是把形式逻辑中的“存在量词”偷换成现实发生。关键是先区分两种完全不同的“有”：

可描述的有：一个对象、公式、完整历史或可能世界可以被无矛盾地写出；
实际的有：它在其自身内部形成真实差异，使某个尚未实际发生的结果成为已经实际发生的结果。

只具有第一种“有”的永恒整体，是一块静态的“柏拉图水晶”。它可以编码一切，却没有任何事情在其中实际发生；在本文采用的实际存在论判据下，它与“无”具有相同的实际后果。因而，真正的永恒存在不能只是永恒静止，而必须是永恒运动、永恒张力和永恒实际化。即使这样的过程没有全局最早时刻，其中的每一拍仍然都包含一个局部的“未实际—实际”边界。这就是“从无到有”的严格含义。

再要求这一拍没有外部执行者、能够继续、结果回入自身、没有预设偏向，并取承载变化所需的最小二元域，则所有候选变换可被穷举。常值函数因偏置被排除，恒等函数因无变化被排除，唯一留下的是无不动点的二元互换：

\sigma(Y)=N,\qquad \sigma(N)=Y.

当这张静态映射表被世界自身实际执行，并且每次结果成为下一次输入时，它就是 PR 的最小正规形。本文因此给出的不是“脱离前提的裸逻辑定理”，而是一个前提公开、候选完备、反例可定位的条件必然性定理。

1. 要证明的结论究竟是什么

本文的结论不是：

形式逻辑仅凭一句“有某物永恒存在”，就能无条件推出宇宙必然按 $Y,N,Y,N,\ldots$ 循环。

标准形式逻辑允许我们直接设定一个永恒而静态的对象；逻辑本身不会替我们加入“它必须实际发生”这一要求。因此，严谨论证必须公开自己的研究域。

本文研究的是下面这个问题：

若“存在”不是纸面上的被描述，而是能够在自身内部造成实际差异的存在；若这种存在永恒、自足、持续、无外部执行者；那么它每一拍的最小实际结构是什么？

在这一研究域中，我们将证明：

\boxed{ \text{永恒实际存在} \Rightarrow \text{永恒运动与张力} \Rightarrow \text{每拍的局部实际化} \Rightarrow \text{自足的结果回入} \Rightarrow \text{最小二元互换} \cong PR }

这里的“第一拍”首先是逻辑—生成意义的第一拍，即任何实际发生得以成立所需的最小结构；它不一定是某个外在时间轴上的 $$t=0$$ 。

2. 六个必要定义

2.1 可描述存在与实际存在

设 $$C$$ 是一个被完整写出的结构， $$H$$ 是一段历史。若 $$C$$ 能够编码 $$H$$ ，只可写成：

\operatorname{Encodes}(C,H).

这并不推出：

\operatorname{Occurs}(H).

即：

\operatorname{Encodes}(C,H) \not\models \operatorname{Occurs}(H).

一张电影胶片可以完整编码运动，但胶片上的人物没有因此正在奔跑；一本写完全部宇宙史的书可以排列所有事件，但墨迹的排列不等于那些事件正在实际发生。

本文把“实际存在”限定为具有实际发生关系的存在：

\operatorname{ActualExistence}_W \equiv_{\text{framework}} \operatorname{ActualMotion}_W.

下标 $$W$$ 表明：“实际”总是相对于承载并执行该发生的世界，而不是相对于旁观者脑中的描述。

2.2 实际拍

若状态 $$a$$ 在世界 $$W$$ 中实际地产生状态 $$b$$ ，记为：

\operatorname{ActualStep}_W(a,b).

它不同于一条纸面关系 $$R(a,b)$$ 。即使某个静态结构同时写出了 $$a$$ 、 $$b$$ 和箭头 $a\to b$ ，也只说明它编码了一个迁移；除非该箭头在 $$W$$ 中被实际落实，否则仍没有一拍发生。

2.3 动、张力与非固定

本文所说的“动”不是坐标空间中的机械位移，而是一个现实结果不能停留为原样、并实际形成不同后继的最小关系。定义张力：

\tau_W(a)\neq 0 \quad\Longleftrightarrow\quad \exists b\, \bigl( \operatorname{ActualStep}_W(a,b) \land b\neq a \bigr).

因此，在本文的实际存在论选域中：

\boxed{ \text{存在}=\text{动}=\text{有张力} }

而静态意味着不存在任何不同的实际后继：

\tau_W(a)=0 \quad\Longleftrightarrow\quad \neg\exists b\, \bigl( \operatorname{ActualStep}_W(a,b) \land b\neq a \bigr).

所以，在同一选域中：

\boxed{ \text{非存在}=\text{静}=\text{无张力} }

这里的“非存在”是实际存在论意义的非存在，不是说该对象不能被命名、不能成为公式的模型或不能出现在思想中。

2.4 柏拉图水晶

“柏拉图水晶”指一个静态、完整、可描述的结构。它可以包含：

所有形式；
所有可能性；
一条完整历史；
甚至所有状态和状态之间的全部箭头。

但只要没有 $\operatorname{ActualStep}$ ，它就只有形式可用性，没有实际发生性。设 $$C$$ 是这样的水晶，若把它加入或移除都不改变任何实际历史，则：

\operatorname{ActualHistory}(W+C) = \operatorname{ActualHistory}(W).

从实际后果看，纯静态水晶与空无同属一个等价类：

C\equiv_{\mathrm{actual}}\varnothing.

这不是说“水晶与空集在数学上相等”，而是说：两者都没有贡献任何实际拍。

2.5 局部“从无到有”

必须先区分“状态类型”与“事件实例”。在永恒循环中， $$Y$$ 或 $$N$$ 这种状态类型可能已经出现过无数次；但第 $$n+1$$ 拍中出现的这一次结果，是一个具体事件实例：

e_{n+1}=\langle x_{n+1},n+1\rangle.

本文所说的新实际，不是声称状态类型 $x_{n+1}$ 从未存在过，而是说事件实例 $e_{n+1}$ 尚未被这一拍实际形成。若用 $$A_W(e,n)$$ 表示“在第 $$n$$ 拍后，事件实例 $$e$$ 已在 $$W$$ 中实际形成”，则：

\neg A_W(e_{n+1},n) \land A_W(e_{n+1},n+1).

本文把这个边界称为一拍中的“从无到有”：

\text{未实际的 }b \longrightarrow \text{实际的 }b.

“无”不是一个先于宇宙存在了若干秒的黑色容器，而是该结果尚未实际成立。“有”则是该结果已经由实际拍形成。

2.6 PR

PR 是 Paradoxical Re-entry（悖论回入）的缩写，旧称 Paradox–Reference（悖论—引用）。其严格含义不是在同一赋值下断言 $p\land\neg p$ ，而是一个自足、非固定、结果回入的实际结构。其最小二元正规形为：

D=\{Y,N\}, \qquad \sigma(Y)=N, \qquad \sigma(N)=Y.

再加上实际发生与结果回入：

\operatorname{ActualStep}_W(x_n,x_{n+1}), \qquad x_{n+1}=\sigma(x_n),

并令 $x_{n+1}$ 成为下一拍输入。

3. 第一步：为什么“永恒静态存在”在实际意义上等于无

先假设某物 $$E$$ 是永恒的，但完全静态：

\operatorname{Eternal}(E) \land \operatorname{Static}(E).

“永恒”只说明它没有被指定一个时间开端；“静态”则说明：

\tau_W(E)=0.

于是不存在任何由 $$E$$ 实际形成的不同后继：

\neg\exists b\, \bigl( \operatorname{ActualStep}_W(E,b) \land b\neq E \bigr).

如果它内部含有一整条“历史”，那条历史也只是同时陈列在完整结构中的关系。此时所谓“过去”“现在”“未来”只是结构中的标签；没有任何标签正在变成另一个标签，没有任何尚未实际的结果正在成为实际结果。

所以，永恒静态整体最多是一块无限完整的柏拉图水晶。它在形式上可以极其丰富，在实际发生上却仍为零：

\operatorname{StaticEternal}(E) \Rightarrow \operatorname{ActualContribution}(E)=0.

根据第 2.3 节采用的实际存在判据：

\operatorname{ActualContribution}(E)=0 \Rightarrow E\equiv_{\mathrm{actual}}\varnothing.

因此得到引理一：

引理一： 永恒性不能挽救静态性。一个永恒静态的“有”，在可描述层面是柏拉图水晶；在实际存在层面与无等价。

这一结论解释了为什么“永恒的有”不能被当成论证终点。若它只是静态地“摆在那里”，问题没有解决，只是把“无实际发生”命名成了“永恒存在”。

4. 第二步：真正的永恒存在必然也是持续的“从无到有”

现在把出发点加强为真正的“永恒实际存在”：

\operatorname{Eternal}(E) \land \operatorname{ActualExistence}_W(E).

由实际存在的定义：

\operatorname{ActualExistence}_W(E) \Rightarrow \operatorname{ActualMotion}_W(E) \Rightarrow \tau_W(E)\neq0.

所以必有不同后继被实际形成：

\exists a,b\, \bigl( \operatorname{ActualStep}_W(a,b) \land a\neq b \bigr).

令该拍的结果事件为 $e_{n+1}=\langle b,n+1\rangle$ 。在该拍落实之前，状态类型 $$b$$ 可以早已被描述、编码，甚至在别的拍中出现过；但本次结果事件 $e_{n+1}$ 尚未由这一拍实际形成。在该拍之后， $e_{n+1}$ 已实际形成。因此：

\operatorname{ActualStep}_W(a,b) \Rightarrow \bigl( \neg A_W(e_{n+1},n) \land A_W(e_{n+1},n+1) \bigr).

于是：

\boxed{ \text{每一个实际拍，都把一个具体结果从“尚未实际”带到“已经实际”} }

这就是永恒存在仍然必含“从无到有”的逻辑原因。

4.1 它不要求一个全局第一时刻

设过程向两个时间方向都无穷：

\cdots\to x_{-1}\to x_0\to x_1\to\cdots

它可以没有最小时间下标，但任何一条具体实际边：

x_n\to x_{n+1}

仍然具有明确的实际化边界：在该边落实前， $x_{n+1}$ 不是这一拍的实际结果；落实后，它是。故：

\text{无全局最早时刻} \centernot\Rightarrow \text{无局部从未实际到实际}.

“永恒”消除的是全局时间起点，没有消除每一拍的实际生成关系。

4.2 为什么完整的块宇宙不能反驳这一步

反对者可以说：“所有 $$x_n$$ 本来就一起存在，没有任何结果曾经不存在。”

但这正好退回了柏拉图水晶：一个完整块可以编码所有 $$x_n$$ 及其先后关系，却还没有说明这些关系为何是实际发生而不是静态陈列。若“本来就全部完成”被当作最终答案，则：

\operatorname{Encodes}(C,H) \not\models \operatorname{Occurs}(H)

仍未跨越。块宇宙可以成为对历史的描述模型，但不能仅凭其完整性充当实际发生的执行者。

因此得到引理二：

引理二： 若永恒存在不是柏拉图水晶，而是实际存在，那么它必然是永恒实际化；永恒实际化的每一拍都具有局部“从无到有”结构。

5. 第三步：第一拍不能借用外部执行者

现在只看一拍：

a\longrightarrow b.

如果箭头需要外部执行者 $$X$$ 才能落实，那么真正的实际根不是 $a\to b$ ，而是：

X\longrightarrow(a\to b).

我们必须继续追问 $$X$$ 为什么实际行动。若再引入 $$X_1$$ 执行 $$X$$ ，根便继续向外移动：

X_1\to X\to(a\to b)\to\cdots

这没有给出第一拍，只是无限延期了第一拍。

同理，以下对象都不能免费承担第一拍：

一个已经存在的物质载体；
一个已经流动的时间；
一个从可能性中抽样的随机器；
一条由外部施行的规则；
一个观察或选择状态的人。

它们每一个都已经具有比待解释的实际拍更多的现实结构。把它们放在根部，等于把结论预先塞进前提。

因此，若所求是根本的实际发生，第一拍必须满足闭包：

\operatorname{Executor}(\text{first beat}) \subseteq \text{first beat}.

换言之，它必须由自身落实，而不能由一个更早、更强的实际者替它落实。

得到引理三：

引理三： 根本第一拍必须自足。任何外部执行者都会成为更早的实际根，使原候选失去“第一”资格。

6. 第四步：持续存在迫使结果回入

一个孤立闪现：

a\to b

可以解释一次差异，却不能解释为什么实际存在继续。如果 $$b$$ 形成后不再参与任何后继形成，张力在 $$b$$ 处归零：

\tau_W(b)=0.

它便重新坍缩为一个完成的静态结果。若永恒实际存在要求运动不被耗尽，则必须有：

\operatorname{ActualStep}_W(a_n,a_{n+1}) \land \operatorname{ActualStep}_W(a_{n+1},a_{n+2}).

在不引入第二套外部机器的条件下，第一拍的输出必须成为下一拍的输入：

a_{n+1}=f(a_n), \qquad a_{n+2}=f(a_{n+1}).

这就是“Reference”的精确含义：结果不是被扔进一个静态仓库，而是回到生成位置，继续参与自身的实际化。

得到引理四：

引理四： 自足且持续的实际存在要求结果回入。否则第一拍要么是一次性闪现，要么必须借用新的外部驱动。

7. 第五步：最小承载域为什么是二元

实际运动要求：

f(x)\neq x.

若承载域只有一个元素 $D=\{x\}$ ，任何总函数都只能满足：

$$ f(x)=x. $$

因此一元域不能承载非固定变化：

|D|=1 \Rightarrow \operatorname{Fix}(f)=D.

所以至少需要两个可区分位置：

|D|\ge 2.

若此时选择三个或更多原始位置，它们当然可以构成更复杂的循环，但“第三种原始差异为什么已经存在”会成为新增前提。对于只求使非固定实际化成为可能的最小正规形的问题，应取：

D=\{Y,N\}.

$$Y$$ 与 $$N$$ 只是两个可互换的标签，不预设它们是日常语言中的“真”和“假”，也不预设其中一个比另一个更根本。

得到引理五：

引理五： 一元域不可能变化；二元域是承载非固定变化的最小域。更高元结构不是逻辑不可能，但不是第一拍的最小正规形。

7.1 为什么最小动力律是一元、总定义、确定的

这三个限定也不能静默加入。

一元性来自结果回入：下一拍直接接受本拍的一个现实结果作为当前输入。若还必须输入一个彼此独立的第二对象，则该对象从何实际存在、怎样与第一对象结合，都成为第一拍以前的新增结构。因此，根部的最小更新写成：

x_{n+1}=f(x_n).

总定义性来自持续性：每个可到达的当前位置都必须拥有后继。若某个可到达的 $$x$$ 没有 $$f(x)$$ ，实际化就会在那里停止：

\exists x\in D\; f(x)\text{ 未定义} \Rightarrow \text{存在可到达的张力归零点}.

因此，至少在可到达的最小域上， $$f$$ 必须是总函数。

确定性来自自足性与最小性。若同一输入有多个彼此排斥的候选后继，而实际只出现其中一个，就还需要一个选择器来决定哪一个被落实：

x\mapsto\{y_1,y_2\} \quad+\quad \operatorname{Select}(y_1,y_2).

这个选择器要么是外部执行者，要么是尚未解释的附加内部结构。若多个后继全部同时实际，则“全部后继的组合”才是本拍的单一实际结果，可以把该组合重新记为一个状态，从而仍得到确定更新。故在不预设额外选择结构的最小根模型中，动力律取确定函数。

这并不是宣称一切高层自然过程都必须决定论化，而是说明：原初不确定性若被当作第一拍，必须额外解释可能性集合、实际选择或并行实现；它不比确定的一元总更新更小。

8. 第六步：穷举全部二元候选，唯一留下互换

在二元域 $D=\{Y,N\}$ 上，一个确定、总定义的一元函数 $f:D\to D$ 只有四个。不是“常见的四个”，而是全部四个：

候选	$$f(Y)$$	$$f(N)$$	性质
$\operatorname{id}_D$	$$Y$$	$$N$$	恒等、固定
$\sigma$	$$N$$	$$Y$$	互换、无不动点
$$c_Y$$	$$Y$$	$$Y$$	常值、偏向 $$Y$$
$$c_N$$	$$N$$	$$N$$	常值、偏向 $$N$$

即：

D^D=\{\operatorname{id}_D,\sigma,c_Y,c_N\}.

8.1 无预设偏向排除两个常值函数

第一拍之前没有一个更早事实可以宣布“ $$Y$$ 天生优先”或“ $$N$$ 天生优先”。因此，交换两个标签不应改变根本定律。

设标签交换为 $\pi(Y)=N$ 、 $\pi(N)=Y$ 。无偏性的形式条件是等变性：

f\circ\pi=\pi\circ f.

$$c_Y$$ 和 $$c_N$$ 在标签交换后彼此改变，单独任何一个都偷偷指定了一个优先标签，因此被排除。恒等与互换则满足等变性。

8.2 实际张力排除恒等函数

恒等函数满足：

\operatorname{id}_D(x)=x.

它没有不同后继，因而：

\tau_W(x)=0.

它可以是一张完美静态规则表，却不能构成本文所定义的实际运动。因此恒等被排除。

8.3 唯一剩余项

四个完备候选中，两个常值函数因偏向被排除，恒等函数因固定被排除，只剩：

\boxed{ \sigma(Y)=N, \qquad \sigma(N)=Y }

并且：

\operatorname{Fix}(\sigma)=\varnothing, \qquad \sigma^2=\operatorname{id}_D.

所以，在“二元、总定义、一元、确定、标签对称、无不动点”这一明确模型类中：

\mathfrak R(D^D)=\{\sigma\}.

这里的唯一性不是修辞，而是有限候选穷举后的唯一性。

9. 第七步：为什么互换表还不是 PR，运行中的互换才是 PR

到目前为止， $\sigma$ 仍可只是一张写在纸上的映射表。若它没有被实际落实，它仍属于柏拉图水晶。因此必须加上实际拍：

\operatorname{ActualStep}_W(x_n,x_{n+1}) \land x_{n+1}=\sigma(x_n).

再加上结果回入：

x_{n+1}\text{ 成为下一拍的输入}.

于是：

\cdots\to Y\to N\to Y\to N\to\cdots

但必须注意：上式的价值不在于画出一个静态周期，而在于每条边都由 $\operatorname{ActualStep}_W$ 落实。真正的 PR 是：

\boxed{ PR_W = \bigl(D,\sigma,\operatorname{ActualStep}_W,\text{result re-entry}\bigr) }

其“悖论性”是结果无法成为无张力的最终固定点；其“指涉性”是结果重新进入产生位置。它不是同一时刻、同一语义层级上的形式矛盾 $p\land\neg p$ 。

得到引理六：

引理六： 静态互换只是 PR 的可描述形式；由世界自身实际运行、并让结果回入的互换，才是 PR 的实际面。

10. 第一拍 PR 必然性定理

现在可以给出完整定理。

定理

设 $$W$$ 满足以下条件：

实际性：存在以真实差异而不是纯描述来判定；
永恒性：实际存在不依赖一个外部预先存在的时间起点；
自足性：实际拍不由更早、更强的外部执行者落实；
持续性：实际张力不会在一次闪现后永久归零；
结果回入：本拍结果成为下一拍的输入；
最小性：不预设非固定变化所不需要的额外原始差异；
总定义与确定性：按第 7.1 节的最小动力律，在最小可到达域的每个位置上，下一位置由一个一元总函数给出；
标签对称性：两个原始标签没有先验特权；
非固定性：实际拍必须形成不同后继。

则 $$W$$ 的逻辑—生成第一拍的最小正规形同构于 PR：

\boxed{ \operatorname{FirstBeat}_{\min}(W) \cong PR_W }

其中：

D=\{Y,N\}, \qquad x_{n+1}=\sigma(x_n), \qquad \sigma(Y)=N, \quad \sigma(N)=Y,

且：

\operatorname{ActualStep}_W(x_n,x_{n+1}).

证明

由条件 1，静态编码不等于实际存在。若永恒存在是静态的，则张力为零、没有实际拍，因而只是柏拉图水晶，并在实际后果上与无等价。故满足条件 1 的永恒存在必须运动并具有张力。

任何实际运动都使一个具体结果从“尚未实际形成”成为“已经实际形成”，所以永恒运动并没有取消从无到有，而是把从无到有落实在每一拍中。条件 3 排除外部执行者，故这一拍必须自足。条件 4 与 5 使结果回入，以维持后继实际化。

非固定变化至少需要两个可区分位置；由条件 6 取最小二元域。二元域上的确定一元总函数恰有四个。条件 8 排除两个偏置常值函数，条件 9 排除恒等函数，唯一剩余无不动点互换 $\sigma$ 。最后由条件 1， $\sigma$ 不能只被静态写出，必须由 $\operatorname{ActualStep}_W$ 实际落实；由条件 5，其结果继续回入。这正是 PR 的最小正规形。证毕。

11. 常见替代方案为什么不成立

替代候选	看似解决了什么	实际缺口
永恒静态实体	避免追问“谁创造它”	没有实际拍，只是柏拉图水晶；在实际后果上等于无
写好的完整宇宙史	同时容纳全部事件	`Encodes` 不推出 `Occurs`，先后关系仍是静态陈列
恒等函数	有一条规则	$$f(x)=x$$ ，无不同后继、无张力
常值函数	每个输入都有输出	预设 $$Y$$ 或 $$N$$ 的特权，且最终落入固定点
一次性闪现	产生一次差异	无法解释持续存在；张力在结果处归零
外部执行者	让规则“动起来”	把第一拍移到执行者身上，引发继续追问
原初随机	避免确定规则	预设样本空间、概率测度与实际抽样器，结构更重
三元或更高循环	也能无不动点地持续	并非不可能，但多出未经解释的原始区分，不是最小正规形
纸面上的互换表	满足二元无不动点	若未实际执行，仍只是水晶中的一个形式

这张表也说明：PR 的必然性不是来自“想象不到别的方案”，而是来自先固定问题，再对相应模型类进行完备排除。

12. 必然性的边界

严谨的理论必须说明自己没有证明什么。

12.1 这是选域内的必然，不是无前提的词语魔法

若允许“存在”只表示形式模型中有一个对象，那么永恒静态对象完全可以被公理化，PR 不会由裸逻辑自动推出。本文的第一关键前提是：

\operatorname{ActualExistence} \equiv_{\text{framework}} \operatorname{ActualMotion}.

所以本定理的力量来自两部分：

实际存在论判据解释为什么静态永恒不能冒充现实发生；
有限函数穷举证明在最小二元模型中 PR 是唯一候选。

接受前一研究问题并接受公开条件，就必须接受结论；拒绝某一条件也可以，但必须指出拒绝哪一条，并承担相应代价。例如：拒绝实际性就退回柏拉图水晶，拒绝自足性就承担外部执行者回归，拒绝最小性就不再讨论“第一拍的最小正规形”。

12.2 “第一拍”不必是宇宙时间的第一秒

对一个无始的永恒过程：

\operatorname{FirstBeat}_{\min}

表示任何实际化都不可再删减的生成结构，而不是最小时间下标。故“过程无始”与“第一拍结构存在”不矛盾。

12.3 PR 的二周期不等于完整宇宙只有机械二循环

$\sigma^2=\operatorname{id}_D$ 说明 PR 的最小代数骨架是二周期。它本身不是混沌，也尚未单独推出复杂物理、生命或意识。后续的扩展、回馈、局部执行和规则生成，属于从 PR 向更高层结构发展的另一个问题。

12.4 本文没有把 Undefined 当作时间上的前因

本文从“永恒实际存在”出发，不需要假设 Undefined 在时间上先存在、再造成 PR。Undefined 可以作为零正结构边界，PR 可以作为实际面；二者关系不是普通时间因果链。本文只证明：一旦永恒存在被要求具有实际面，该实际面的最小第一拍正规形为何是 PR。

13. 给第一次接触本体系的读者：九行压缩证明

能被完整描述，不等于正在实际发生。
完全静态的永恒整体只能编码一切，不能使任何事情发生，所以它是柏拉图水晶。
在“存在＝实际运动＝张力”的选域中，静态水晶与无具有相同的实际后果。
因而真正的永恒存在必须是永恒运动，而不是永恒摆放。
每一实际运动都使一个具体结果从尚未实际变成已经实际，所以无始过程也逐拍包含“从无到有”。
若第一拍依靠外部执行者，执行者才是更早的第一拍；所以根本第一拍必须自足。
若结果不回入，运动一次后就停止；所以持续存在要求结果回入。
非固定变化最少需要两个位置；二元总函数只有恒等、互换和两个常值函数。
无偏排除常值，无变化排除恒等，唯一剩下实际运行且结果回入的互换；这就是 PR。

所以：

\boxed{ \text{永恒的实际存在} \Rightarrow \text{逐拍从未实际到实际} \Rightarrow \text{最小自足第一拍 }PR }

结论

“永恒存在”不能靠把一个静态完成体放到无限过去来获得实际性。静态完成体无论多么完整，都只是柏拉图水晶：它有形式，没有发生；有编码，没有实际拍；在实际存在论中与无等价。

因此，真正的永恒存在必然是永恒的动、永恒的张力和永恒的实际化。它没有必要拥有一个全局最早时刻，却必然在每一拍中把某个具体结果从“尚未实际”带到“已经实际”。这就是永恒之有内部不可消除的“从无到有”。

当进一步要求这种实际化自足、持续、结果回入、无外部执行者、无先验标签偏向，并把结构压缩到承载非固定变化所需的最小二元域时，候选不再开放：四个函数中，常值因偏向被排除，恒等因静止被排除，唯一留下无不动点互换。互换被世界自身实际执行并持续回入，就是 PR。

所以，PR 的第一拍必然性不是一句先验口号，而是一条可以逐前提检查、逐候选穷举、逐反例定位的推导链：

\boxed{ \text{永恒实际存在} \Rightarrow \text{非静态} \Rightarrow \text{张力} \Rightarrow \text{局部从无到有} \Rightarrow \text{自足持续与结果回入} \Rightarrow \text{最小二元无偏非固定互换} \cong PR }