核心术语与数学表达

Undefined

零正面本体规定的终极边界角色。不是对象、原因、空状态或潜在世界。

仍可被赋予“为空”“不存在某物”等稳定规定的概念状态。它不同于连这些规定都不适用的绝对未定义。

静态可描述形式的总域，包括公式、完整历史和可能结构。形式可用不代表实际发生。

体系选定的本体研究对象，以 ActualStep 或同类关系表达。静态语言中的关系式不自动实例化实际发生谓词。

没有先在物质、物理时间或外部实际执行器时，最小的实际发生结构。不是物理时间 $$t=1$$ 。

Paradoxical Re-entry（悖论回入；旧称：Paradox–Reference／悖论—引用）。当前严格语义是自包含、实际发生、非固定并允许结果回入的最小正规形，不是同一固定评价中同时断言 $$p$$ 与 $\neg p$ 。

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

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

Entity–Relation。表示关系局面、邻接网络、有效实体身份、局部结构和结构记忆。

Lazy Evaluation。表示局部、延迟、有限、按需或截断式的更新／求值，是传播尺度和物理常数涌现的实施机制。

作用于 ER 状态空间的具体更新规律。PR–ER–LE 是架构；RULE 决定是否形成混沌、吸引子和更高层组织。

U:\quad \forall M\in\mathfrak D\, \forall P\in\mathrm{Pos},\, \neg P(b_M).

在指定模型类中， $$U$$ 是根部语言全部本源本体论绝对真理的唯一根本生成命题，唯一性按逻辑等价类计算。

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

T_U\not\models \exists a,b\, \operatorname{ActualStep}(a,b).

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

标签等变后：

\mathcal E(D^D)= \{\operatorname{id}_D,\sigma\}.

加入非固定条件后：

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

\operatorname{ActualFace}_{\mathcal M}(U_*) \cong \mathrm{PR},

U_*\mid\mathrm{PR}.

竖线是同一根部规定两方面的分隔符。

\mathrm{PR} \to \mathrm{ER+LE} \xRightarrow{\mathrm{RULE}} \mathrm{Chaos} \to \mathrm{ProtoMatter} \to \mathrm{ProtoChemistry} \to \mathrm{Heredity} \to \mathrm{Selection} \to \mathrm{Protocell}.

这条链把 PR 根部、无介质动力、类物质、类化学、遗传、选择和第一细胞连接起来。

忠实阅读说明： 理论术语在不同时期的论文中逐步发展。原始论文中的历史用语应按原文保留，同时通过本节与当前规范建立明确对应。

PR： 当前规范展开为 Paradoxical Re-entry（悖论回入），旧称 Paradox–Reference（悖论—引用）。更早期论文还使用 Primitive Reflexivity 与 Paradoxical Recursion；它们记录同一条 PR 理论线的发展阶段，不是彼此独立的现行公理。
LE： 当前规范展开为 Lazy Evaluation（惰性求值）。早期来源中的 Lazy Expansion 按原文保留，并应在其历史语境中理解。
Trinity Theory / Trinity Topological Theory： 这是相关论文采用的正式历史专名，不应被静默替换成 Triadic Theory。
JBLAT / JBAT： 本仓库当前规范导读与评论统一使用 JBLAT。原始论文 papers/21563153.md 中的 JBAT 是其固定发布指纹、正式结果名与公式记号，必须原样保留。二者指向同一贾宝龙绝对真理对象，不是两套理论。
Undefined / undefined / $$U$$ ： Undefined 指零正面规定的本体论边界；小写 undefined 可以表示普通编程语言值； $$U$$ 是当前规范中的形式根命题。索引和比较时不得丢失语境。