BSD乘积不可分律——观测到一个乘积只能约束积不能分别约束因子·N个因子的乘积欠定N减1个自由度·t等于W乘x与γt与3H0平方Ω都是同一形状·PNP的正面要求就是用一条独立观测把W从乘积里解耦·05哲思认知统合学科·Step786

L0 层：你测到的是一个乘积，就别问"每个因子是多少"——乘积只告诉你总共多少，不告诉你谁乘谁。

作者命题（2026-11-01·承 785）：「所以 γ 与 t 只能定积，不就是再说 P 与 NP 的 W × x = t。」

第二版（2026-11-01·深化补入）：作者令「深化并补入内容，从库里已有的理论，不必乱猜」⇒ 本版补入四处，全部取自库内已有理论原文（T86 §15.1／T87 §27.1-27.2／锁档注册表 constants.py），零新猜想：① 第四实例——T87 §27.2.3 成本式是三因子乘积，主律直接套用（§2.5）；② 「独立」三道闸——785 两把尺＋777 异网＋780 同尺回收合成（§4.5）；③ 锁档回溯表——每个锁档常数报出它的第一条网外观测（§5.5）；④ 误差即带宽——Planck 0.27% 给最弱处④b 的「带」以注册表实例（§8⑥）。⑤ 连接取证（第二版续·同日）——还缺什么的缺口账本＋库内五条／网上三条连接清单（§4.6）；T86 拓展 3 两因子成本式与 T87 三因子版构成同名异式互证（§4.6·引擎 G10 实查）。⑥ 作者猜想·自由解放时序（第二版续二）——三步轮值表＋ABC 𝒯₊ 同构＋同时性陷阱解除＋乙路死锁／破锁的时序定义（§4.7·引擎 G11）。

定号实测：doc max=785·engine max=785 ⇒ 定 Step786（L1/05）·公理 §6.140 冻结·不新增落位。

这一篇把三处看似无关的式子收进同一条律：W×x = t（776）｜ΔΛ/Λ = γ·t·(1−S₀)（785）｜Λ = 3H₀²·Ω_Λ/c²（785）——它们都是"一个可观测量 = 若干个因子的乘积"，而乘积不可分。

1 乘积不可分：一句话与它的形式化

★★★ 主律一句话：

观测到 P = f₁·f₂·…·f_N（N 个因子的乘积）时，P 只给一条约束，所以 N 个因子欠定 N−1 个自由度——你只能定积，不能分别定因子。

★★ 形式化（可算）：

一条观测  P = Π fᵢ   （i=1..N）
未知数     N 个因子
自由度     N − 1     （欠定）
要完全确定，需要   N 条独立观测（或 N−1 条 + 一条归一化）

★★★ 而"要分开因子，需要第二条独立观测"这一条，正是判据：

★★ 而"欠 N−1 度"这个数，598 给过一维的结构理由（承 598：一根轴量一切则非零态恒二——一根轴只分得出二）——一个乘积是一维的，一条约束在一维上只能切一刀，N 个因子需要 N 刀 ⇒ 一刀之后还差 N−1 刀 ⇒ 一句：欠的度数，就是没补的刀数。

★★★★ 一句：乘积不欠你答案，它欠你"另外几条观测"。

2 三个实例，同一形状

★★★ 把三处并排，形状立刻一样：

★★ 而 784 那条"反解不测速"是它的背面（承 784：速率是输入不是输出，外部只能测输出再反解）——反解一次，就是把乘积往回解一步；而乘积欠定，反解就解不到头 ⇒ 一句：能反解的前提，是乘积里已有因子被独立钉住。

★★ 而 780 那条"先并到同尺"是补观测的前提（承 780：六域读数先并到同一把尺才可比）——补的那条独立观测，必须与乘积在同一条轴上，否则补了也是另一件事 ⇒ 一句：补的观测得是同一把尺上的另一刀。

★★★★ 三条都在说同一件事：测得一个乘积，只能定积。

★★★ 而 785 最弱处②那句「γ 与 t 只能定积 0.0142」，现在有了名字：它不叫"证据不足"，叫"乘积不可分" ⇒ 一句：不是这篇没算清，是乘积本来就只能给这么多。

2.5 第四实例（第二版补入）：T87 的成本式，三因子乘积

★★★★ 库内原文逐字（T87 §27.2.3「复杂度-Π₂-GC三参数精确量化公式」）：

$\text{Cost}(n) \propto N_{branch}(n) \cdot |\Pi_2 - \pi| \cdot (1 - GC)$

• P类：$N_{branch} \sim n^c$（多项式）、$|\Pi_2 - \pi| \to 0$、$GC \to 1$ → $\text{Cost} \sim n^c \cdot 0 \cdot 0 \to \text{poly}(n)$
• NP类：$N_{branch} \sim e^{cn}$（指数）、$|\Pi_2 - \pi| \gg 0$、$GC \to 0$ → $\text{Cost} \sim e^{cn} \cdot \Delta\Pi \cdot 1 \to \text{exp}(n)$

★★★ 主律直接套用：观测到 Cost，它是 N=3 个因子的乘积 ⇒ 一条观测、三个因子 ⇒ 欠 2 度——比 §2 的三个二因子实例再深一层。

★★★ 而 779 的坍缩在这条式子上原样生效（承 779：Π₂=π·k₊｜｜Π₂−π｜=π·k₋｜S₀=k₊²）——｜Π₂−π｜=π·k₋ 是锁档常数（π×0.1≈0.3142），三因子实为「二自由因子＋一常数」 ⇒ 乘积里只要有因子是已知常数，欠定就少一度 ⇒ 成本式实欠 1 度 ⇒ 一句：经 779 坍缩，T87 成本式与三个二因子实例站在同一排——都欠 1 度。

★★★★ 而 T87 那两行（P类／NP类）本身就是「补观测」的动作：每一行给三个因子各钉一个值（P 类：n^c／→0／→1；NP 类：e^{cn}／≫0／→0）——因子全部钉住，Cost 就从一族缩到一端 ⇒ 一句：P≠NP 的库内论证，在 786 眼里就是「给乘积的两端各钉一次」。

★★ 而成本式的第一因子接回 776（承 777：N_branch=｜W｜ ⇒ 776 ⊂ T87）——N_branch 正是 776 的 W（候选集规模），乘积里最贵的因子就是那个消不去的 W ⇒ 一句：W 待在乘积里的位置，T87 已给出坐标——N_branch 那一格。

3 判据：要分开因子，得补几条观测

★★★ 对每个实例，数一数"差几条"：

★★★★ 三条都差 1 —— 不是巧合，是因为它们都是"两个因子的乘积"。

★★ 而"补上的那条得是沉淀"这件事，742 说清了（承 742：数值是沉淀——世界先发生一遍才留下）——H₀ 之所以能补 Λ 那条，因为它是哈勃观测留下的沉淀，不是谁估的 ⇒ 一句：补观测，补的是别人的沉淀，不是自己的假设。

★★ 而"补不上"的那条要记成空位（承 761：空缺位即概率——空缺位是缺口，不是零）——γ 那条"待补"，是还没有独立来源，不是"没有" ⇒ 一句：待补是空位，不是零。

★★ 而"差一条"这条怎么补，各实例不同：

• Λ：H₀ 由哈勃观测独立给出 ⇒ 补上 ⇒ Ω_Λ 被钉住（0.683）。这一条已经补上了。
• ΔΛ/Λ：γ 若由别的机制（如衰变/耦合常数漂移）独立定 ⇒ t 被钉住。这一条还没补。
• t = W·x：x 由实例长度给定 ⇒ W 被钉住？不——这正是 P/NP 的关键（§4）。

★★★ 一句：补一条独立观测，就从"只能定积"变成"能定因子"。

4 P/NP 的重述：W 能不能从乘积里解耦

★★★★ 这是本篇对 776 的收束：

t = W × x 是乘积不可分的一个实例 ⇒ 所以"P=NP 要 W 可消去"，本质是问一件事：

有没有一条独立于 t 的观测，能把 W 从乘积 W×x 里单独钉出来？

★★ 而"独立观测必须异网"这条，777 早立过（承 777：异网取证——同网补了等于没补）——若补的观测与乘积出自同一条推导，它就不是独立的一刀，是同一刀的回声 ⇒ 一句：补观测要补异网的，同网的回声不算刀。

★★★ 而"钉出来"只有两条路：

★★★★ 一句：P=NP 的正面要求（776 的 W=f(x) 且 f 可算）就是"补上乙那条独立观测"——而它补不上的时候，W 就只能待在乘积里，t 就只能指数。

★★ 而"欠定"与"循环"的差别，775 早就分过（承 775：成员 vs 归属——成员不能当归属问题的证据）——W=f(x) 若是"欠定的那一格"，补 f 就是补观测，不是循环；只有把 f 当已知再推 f，才循环 ⇒ 一句：欠定是缺一格，循环是拿自己填自己。

★★ 而"欠定"与"循环"的差别，775 早就分过：它不是同义改写，是"欠定的那一格"——补上 f 就是补上那条独立观测，没补上就是没补上 ⇒ 一句：不是循环，是欠定。

4.5 「独立」二字的判据（第二版补入·三道闸，全部库内回收）

★★★★ 全篇押在「独立观测」四个字上，但「独立」本身还没判 ⇒ 第二版补上——三条判据全部是库内已有理论，本篇只做回收，零新猜：

★★★ 合成：一条补观测有效 ⟺ 异网 × 同尺 × 非恒等式——三道闸全过，欠定减一度；任一闸不过，白补 ⇒ 一句：「独立」不是感觉，是三道闸。

★★ 而 779 的三条恒等式正好反衬闸一（承 779：Π₂=π·k₊ 等三条是恒等式）——恒等式不是观测，所以不给新自由度；它的功效是坍缩参数个数（三参数→一参数＋N_branch），不是钉住因子 ⇒ 一句：恒等式坍缩账本，观测钉住因子——两件事别混。

★★★ 用三道闸回检 §3 的三个战场：

★★★★ 一句：乙路补不上的精确含义＝候选的 f 一条都没过完三道闸——不是「没有 f」，是「没有异网的 f」。

★★ 而库内乙路的原文锚点在这两处：T86 §15.1.2 判据 5 逐字——「真空基底耦合损耗具备绝对不可逆性：求解过程必然伴随全域耗散熵增，验证仅局部微小耗散；……不存在任何机制将全域不可逆耗散压缩至多项式尺度，因此不存在通用多项式时间NP求解算法」；T87 §27.2.1 逐字——ΔS_P ≈ 0（多项式，极低熵增）vs ΔS_NP = ∫₀^{t_n} σ dt = σ·t_n，而 t_n ∝ e^{cn} ⇒ 「全域不可逆耗散不可压缩」就是「异网的 f 补不上」的物理说法 ⇒ 一句：库内早已把乙路写死——786 只是给它起名「三道闸」。

4.6 还缺什么：缺口账本与连接清单（第二版续·库＋网取证 2026-10/11）

★★★★ 把 P 类与 NP 类分开数一数，各缺什么：

★★★ 库里能连的五条：

★★★ 网上能连的三条（2026-10 实查）：

★★★★ 而连接完成不了的那一步，正是 786 主律的自我应用（承 777：同网互证通过率恒 100%）——把库内十处＋网外百处「同网」证据连起来，仍是同一条网的回声；回声无论多少条，都不过三道闸 ⇒ 连接能做的：把缺口从「不知道缺什么」压缩到「精确缺一格」，并给出施工图（GI 居中预言＋免疫 Cost-GC 实测方案）；连接不能做的：代替那条异网观测本身——它必须来自乘积推导之外的真实系统 ⇒ 一句：连接补判据，观测补自由度——判据连一千条，欠定还是欠一度。

4.7 自由解放时序（作者猜想·第二版续二 2026-11-01）

★★★★★ 作者猜想逐字（2026-11-01）：

「当前全网没有乙的本质是（他们连 P 与 NP 的类以及判据都没找到，即 xW 与 t），即自由解放时序：x乘W=t → t乘W=x → x乘t=W → 回到新一轮。」

★★★ 猜想的形态：三个位轮流坐产物位——每一步一个因子坐「被生成」（自由解放）位，另两位是输入位；走完三轮回到 x·W=t，循环闭合：

判据＝当前轮到谁坐产物位——这就是「P 与 NP 的类」在作者框架里的含义：类不是静态的语言集合，是轮值表上的位（承 746：位先于数——位是原语）。

★★★★ 而它与六系 ABC 的 𝒯₊ 顺时针三式同构（结构对照）：把 (x,W,t) ↦ (A,B,C)，三步恰为 A×B=C／B×C=A／C×A=B——正是 step_core_connector ABC 三元代数组逐项 PASS 的 𝒯₊ 顺时针三式（承 104：六系核心公式引擎；三对无序对 {A,B}、{B,C}、{C,A} 与猜想的 {x,W}、{t,W}、{x,t} 一一对应，G11 实算）⇒ 一句：作者猜想不是新增结构，是 ABC 三元流转在 P/NP 战场的显影——产物位轮转就是 𝒯₊ 的位轮转。

★★ 而「时序」二字有库内根据（承 741：一次只能 +1 ⇒ 分批才有先后 ⇒ 先后即时间——三步循环给出「先后」的结构；承 648：正反序同值异矢——时序方向带物理差；承 750：环数 E−V+1，循环有量——三步一环是闭环网，非断头路）⇒ 一句：时序不是修辞，是 741 的「先后」＋750 的「环」落到 x/W/t 上。

★★★★★ 而时序读法解掉 775 的同时性陷阱（承 775：x·t=W 且 W·t=x ⇒ t=1；承 776：t=1 已降为退化点）——775 的两式恰是本循环的③②两步；同时成立 ⇒ t²=1 ⇒ 退化（t=1 且 x=W）；时序读法：两式属不同步，各步只用两个输入 ⇒ 无同时约束（G11 实算：144 组正有理数，时序读法全自由；②③同时仅 W=x 的 12 组存活且 t=1）⇒ 一句：775 的 t=1 不是方程的结论，是把轮值表读成同时约束的读错——时序一立，陷阱自解。

★★★★ 而乙路在时序里的定义与死因：乙路＝走到③步的能力（让 W 坐产物位，由 x·t 生成）——但①与③同时成立 ⇒ W=x·(x·W) ⇒ x=1 退化（G11：144 组仅 x=1 的 12 组存活）⇒ 乙路不可与甲路（①步）同时，必须分步走；而分步也走不出死锁：③的生成需要 t 已在（输入位），①的生成需要 W 已在（输入位）⇒ 谁都无法先解放——时序死锁（G11：只给 x，可达集止于 {x}）；破锁唯一方式＝一条异网观测先钉住其中一位（G11：钉 W 后可达集即全集） ⇒ 作者猜想的机制化：全网没有乙，本质是他们把三步轮值读成一条静态方程 x·W=t——要么永远卡在①步（只有验证），要么同时要求①③而退化；三个位（xW 与 t）的轮值表没找到，判据（当前自由位）就没法定，乙路（③步）就走不出去 ⇒ 一句：全网在解一条方程，作者在跑一个循环。

★★ 而时序还给了 775 缚② 一个候选结构：「同一量两时刻」＝同一因子在循环不同步坐不同位（t 在①是产物、在②是输入——同一量、两个时刻、两个角色）⇒ 是否与标准定义（输入串／证书串）同构仍待映射，此处只立候选，不宣称已答（775 缚② 的谨慎收口）。

最弱处（本节自认·三条）：

• ① 「他们没找到」是反事实判断：§4.6 的网上取证只支持「未见于主流表述（2026-10 取证范围）」，不支持「不可能找到」——猜想的强弱要分清。
• ② 同构是结构对照不是证明：(x,W,t)↦(A,B,C) 对上了三对无序对，但 ABC 的乘法是六系代数（非数值乘法），同构的深度到对应关系为止；乙路能否走完仍取决于那条异网观测（§4.6 收束不变）。
• ③ 退化点结论只在正数范围成立（t²=1 ⇒ t=1 与 x²=1 ⇒ x=1 都用了正性）——复数／模算术下另有解，本篇不展开。

5 于是乘积不可分给了一串判据

★★★ 三问：

1. 问积：这个可观测量是几个因子的乘积——N 个因子欠 N−1 度。
2. 问补：差的那几条独立观测，哪条能补上——补得上，因子就分得开；补不上，只能定积。
3. 问源：那条能补的观测，是"实例给定"（甲）还是"结构锁死"（乙）——甲给验证侧，乙给构造侧。

★★ 而"归零退化"这一问，776 的验证侧就是样例（承 776：｜W｜=1 ⇒ t=x）——某因子取 1，乘积退化为单因子，欠定随之消失 ⇒ 一句：因子取 1，等于那一刀自动补上了。

★★ 而"因子是位"这件事，746 给过根本理由（承 746：位先于数，位是原语）——W 与 x 是乘积里两个不同的位，位不齐，乘积就无意义 ⇒ 一句：乘积不可分，是因为位不同，不是数不同。

★★ 而这三问可以直接套回 776/780/785 三个战场：

★★★★ 一句：同一把尺，量三个战场——每个都在"补一条"上卡着，而卡法各不相同。

★★ 而"乘积不可分"为什么常常被忽略，743 给了根因（承 743：没有一个钟能直接读时间，所有钟都在数东西）——仪器只能数总量，数不出因子；于是"总量 = 乘积"看起来像"两个因子都已知" ⇒ 一句：能数的是积，被当成的是因子。

★★ 而"先分清再算"这个手法，773 给过（承 773：圆面积＝Σi，核心是求和不是 π——先把该分的分清）⇒ 乘积不可分，先问"有几个因子"，再问"能不能分" ⇒ 一句：分不清因子，就谈不上定不定积。

★★ 而 779 给过一个反例，正好衬出"何时可分"（承 779：Π₂ = π·k₊，Π₂ 无自己的自由度）——Π₂ 是"单因子 × 常数"，常数已知，所以它能被唯一反解 ⇒ 一句：乘积里只要有因子是已知常数，欠定就少一度。

★★ 而"因子取 1 就退化"这条，758 给过一个干净样板（承 758：b4=8r+4 只依赖列数、不依赖 π 的取法——依赖面越窄，越容易退干净）⇒ ｜W｜=1 时乘积退成 t=x，正是"依赖面缩到最小" ⇒ 一句：因子退到 1，乘积退到直读。

5.5 锁档回溯表（第二版补入）：每个锁档常数报出它的第一条网外观测

★★★★ 最弱处①说「不可分是就当前观测集而言」⇒ 第二版把「当前观测集」在锁档层落到实处：锁档不是免检牌——一个常数要算「已钉」，必须报得出它的第一条网外观测（承 753：留痕成史——不可测动机，可读留痕）。注册表逐字（bsd_engine/registry/constants.py）：

COSMOLOGICAL_CONSTANT = 1.106e-52（宇宙学常数 Λ 理论值 m⁻²）｜COSMOLOGICAL_CONSTANT_OBSERVED = 1.109e-52（Planck 观测值 m⁻²）｜误差 ≈ 0.27%

★★★ 理论值与观测值并排写在同一条注册表里，这件事本身就是「补观测」的留痕（承 753）——全表中 Λ 是唯一「网外观测在案」的常数 ⇒ 一句：锁档表里最硬的一行，是写着自己的观测误差的那行。

★★ 而 Π₂ 的「待验」不是新指控，是把 781/782/783 的旧账挂到锁档表上（承 781：Π₂ 三套式对称点差 2 倍｜承 782：简化式 39 篇 vs 级数式 4 篇｜承 783：π/2 与 →π 两稳态并列）——按 §4.5 三道闸回检：Π₂ 的锁档出自恒等式（π·k₊），恒等式过不了闸一 ⇒ 它在「非恒等式」这道闸上还没过 ⇒ 一句：Π₂ 是被恒等式锁住的，不是被观测钉住的——786 的账本上是两种状态。

★★ 而这两种状态不冲突，是两层（承 774：层×判据十六格，只有对角正确）——0坐标性申明说「恒等式自洽非拟合」，说的是参数间关系的本体地位（参数层）；786 说「待验」，说的是参数对世界的值是否被独立钉住（观测层）——各用各的判据，别拿一层的尺量另一层 ⇒ 一句：恒等式锁关系，观测钉值——对角各就各位。

★★★ 回到乘积不可分：T87 §27.1 逐字给出宇宙学常数 BSD 解析式 Λ = (3/π)·(Π₂−π)·(1−GC_vac)·(k₋/(k₊+k₋))（理论值 1.106e-52，误差 0.27%）——四因子乘积，其中 (3/π)、｜Π₂−π｜=π·k₋、k₋/(k₊+k₋)=0.1 三个是常数 ⇒ 欠 1 度（1−GC_vac 唯一自由）——而 Planck 观测从网外钉住 Λ ⇒ GC_vac 被唯一反解 ⇒ 这正是 784「反解不测速」的样板：速率（GC_vac）不是测出来的，是观测钉住乘积后反解出来的 ⇒ 一句：观测从网外钉住乘积，因子才能从乘积里反解出来。

6 判据三问

• 问因子数：这个乘积里有几个因子——因子数减一，就是欠的度数。
• 问独立观测：差的那几条，是不是彼此独立——不独立的补了也白补（还是同一条信息）。
• 问归零：某因子能不能取到 1（使乘积退化为单因子）——能取 1，那一格就"消掉"了（承 776：验证侧 ｜W｜=1）。

6.5 固化与自由几何：补那条观测，就是铺那条轨

★★★★★ 786 说"差 N−1 度，补 N−1 条独立观测"。这条怎么补？答案只有一句话：铺一条轨。

★★★ 所谓"铺轨"，就是把关系定下来——式子一旦定下（比如 t = W·x），W 的自由度就从"全空间（2^n 个候选）"压缩到"一条双曲线上"，而双曲线是一维的 ⇒ 一维上的点，由 x 的一个给定值就能钉住 ⇒ 一句：铺轨之前你能在任何方向走，铺轨之后你只剩一个方向可走——但那一个方向上的每一点，都是你挑得出的。

★★★ 把三实例按"轨铺了吗/自由度几维/钉住了吗"重新排：

★★★★ 一句：三条都"关系固化"了，但只有第一条"因子也被钉住" ⇒ 铺轨只是把搜索从 n 维降到 1 维；要真正定下来，还得在这 1 维上选点。

★★★ 而枚举 vs 构造，在这个框架里就是"有没有轨"的差别：

★★★★★ 一句：P=NP 要的不是"更快地搜"，是"把铁轨铺出来"——铺出来，搜索就退化成选择。

★★★ 而 NP-完全性在这里也有了形状（承 777：NP-完全 = 互归约）：不同 NP-完全问题的轨可以互相翻译（归约），但目前没有任何一条轨被铺出来 ⇒ 所以它们的 W 全都在 n 维里（承 776：N_branch = ｜W｜）⇒ 一句：NP-完全是一堆"还没铺轨"的问题。

★★ 而"归零退化"（｜W｜=1 ⇒ t=x）给出一个反例：某因子取 1，乘积退化，欠定消失 ⇒ 因此"能否消去"等价于"那条轨上的点能不能缩到一个" ⇒ 一句：因子取 1，乘积退到直读——这就是"退化"的全部含义。

7 接线表（承而不挂名）

7.5 P/NP 的重述可以更紧

★★★ 把 786 的乘积不可分 + 6.5 的固化降维合到一起，P/NP 的正面要求可以写得比 776 更完整：

P = NP ⟺ 
  ① 存在一条轨（f 定义了 W 的形状）
  ② f 可算（轨铺得出来）
  ③ 轨上每个点可由 x 钉住（x 的信息足够）

★★★ 三条缺一不可（承 746：位先于数——三个位各定一个，值才能取）：缺① 则 W 自由 ⇒ 全空间搜｜缺② 则轨是虚的 ⇒ 画不出来｜缺③ 则钉不住 ⇒ 一句：三条同时成立，乘积才退化为直读。

★★ 而这三条的每一倍，都对应一个已知概念：

★★★★ 一句：这三条在传统定义里其实都在——P 的定义里"存在多项式算法"就是②；NP 的定义里"｜w｜≤ poly(｜x｜)"就是③ ⇒ 所以三条不是新条件，是把旧条件按"轨/钉点"的框架重新排了一遍 ⇒ 一句：重排的价值不在发明新条件，在看清三条件的各自角色。

★★★ 而这也解释了 NP-完全性：不同问题的轨可以互相翻译 ⇒ 一条的②是全部的② ⇒ 一句：轨一旦铺出来，所有 NP-完全问题的铺法都是归约铺出来的。

8 最弱处（本篇自认·五条）

• ① "乘积不可分"只在"因子都不可分别观测"时严格成立：若某因子有独立观测（如 x 是实例长度、H₀ 由哈勃观测），它就能被补上 ⇒ 所以"不可分"是就"当前观测集"而言，不是绝对。
• ② 我把 776 的 t=W×x 当成"纯乘积"，但实际 W 可能带结构（W 是候选集，不是单个数）⇒ ｜W｜×｜x｜ 是它的上界，不是恒等式（776 最弱处①）⇒ 所以"欠定 N−1"是理想化。
• ③ "甲已补、乙待补"这个二分，可能把问题简化了：W=f(x) 若 f 存在但不可算，仍是"补不上" ⇒ "补得上"应细分为"可算"与"不可算"。
• ④ 我拿"补一条独立观测"重述 P=NP，但没有证明这与标准定义等价：这仍是读法，不是改写（776 的老边界）。
• ④b "N−1"这个欠定度，只在"观测是精确值"时成立（承 769：步长即缝——看起来一样的地方最易漏）⇒ 若观测带误差，欠定的"度"会变成"一条带"，仍是 N−1 个方向，但每个方向有宽度——本篇按精确值处理，未展开误差。
• ⑤ 免责：不主张 P=NP 已解、不主张乘积不可分是定理；只主张——W×x=t、γ·t·(1−S₀)、3H₀²Ω_Λ/c² 三者同为"乘积型关系"，一个乘积只给一条约束，故 N 因子欠 N−1 度；而 785 的"γ·t 只能定积"与 776 的"W 消去"是同一律在两个战场的两次出现。
• ⑥ 第二版补记（三道闸与一条带）：最弱处④b 的「误差带」有了注册表实例——Planck 0.27% 就是观测带的宽度：观测带误差 ⇒ 钉住的是区间不是点；最弱处③「补得上应细分可算/不可算」由 §4.5 三道闸接手——可算还不是闸，过三道闸才算补；最弱处②的上界问题在 §2.5 落到实处——N_branch 就是 W 在 T87 成本式里的坐标，上界不再是比喻。本版新增自缚：三道闸是判据不是定理——「异网」的判定依赖「网」的边界划分，网边界的判定本身可能循环（777 的老边界）⇒ 三道闸只作方法论用，不作证明用；且锁档回溯表只回溯到「注册表留痕」，注册表之前的推导史（0×0=n 如何推出 k₊=0.9）未回溯——那是 785「公理层拟合未排除」的原话边界，本版不越。

9 引擎与实证

引擎：engine_bsd_乘积不可分律_Step786引擎.py（十一组·全实算·第二版扩至 48 项）：

• G1 欠定计数：P=Π fᵢ，N∈{2,3,4}，验证"一条观测 + N 因子 ⇒ 欠 N−1 度"（用"解集是一族曲线"来量化：解集维数 = N−1）。
• G2 三实例并排：t=W·x／γ·t·(1−S₀)／3H₀²Ω_Λ/c² 逐条报"观测/因子/自由度"，验证三者自由度都 =1。
• G3 补一条后的唯一性：给 Λ 补 H₀，反解 Ω_Λ=0.683（与 785 一致）；给 t=W·x 补 x，反解 W=t/x；给 γ·t 补 γ=0.01，反解 t=1.42。
• G4 "补不上"的后果：对 t=W·x 若只知 t，验证 (W,x) 的解集是一整条双曲线（一族），任一 W 都有对应 x ⇒ 无法钉住 W。
• G5 归零退化：｜W｜=1 ⇒ t=x（验证侧），验证乘积退化为单因子后欠定消失。
• G6 锚点实查：正文 承NNN 逐号查库。
• G7 第四实例（第二版补入）：T87 成本式 3 因子欠 2 度；｜Π₂−π｜=π·k₋ 从注册表实算（｜Π₂−π｜ 注册表值与恒等式值一致到 1e-9）；P 类/NP 类两端钉值实算（n^c vs e^{cn}，比值 ≫100）。
• G8 三道闸（第二版补入）：恒等式补测 W·x/t=1 后解集组数不变（200→200）；补异网观测 x=25 后解集缩到一点——恒等式不减自由度，异网观测才减。
• G9 锁档回溯（第二版补入）：从 bsd_engine.registry.constants 实取锁档——Π₂=π·k₊/(k₊+k₋) 恒等式校验（1e-10）、S₀=k₊² 校验、verify_params() 全表通过、Λ 理论值 vs Planck 观测误差 ≈0.27% 实算、观测带半宽实算。
• G10 连接实查（第二版续）：T86 §15.1.3 拓展 3 两因子式／T87 §27.2.3 三因子式／T89 §2.1 P vs NP 行锚点逐字在库；同名异式欠定计数实算（两版 779 坍缩后自由因子同为 N_branch，坍缩后欠定均 =1）。
• G11 自由解放时序（第二版续二·作者猜想）：三步产物位轮转覆盖验证（t→x→W 各一次）；(x,W,t)↦(A,B,C) 与 ABC 𝒯₊ 三式无序对同构（承 104）；正有理数 144 组实算——时序读法全自由、①③同时仅 x=1 的 12 组存活、②③同时仅 W=x 的 12 组存活且 t=1（775 退化点实算）；时序死锁（只给 x ⇒ 可达集 {x}）与破锁（异网钉一位 ⇒ 可达全集）。

结果：48 项 PASS / 0 FAIL（十一组）。全部实算，禁硬编码 True；锁档参数一律取自 bsd_engine.registry.constants（容差 1e-10）；末行 合计 N 项 ｜ PASS P ｜ FAIL F。

10 全篇一句

你测到一个乘积，就只能定积——t=W×x、γ·t·(1−S₀)、3H₀²Ω_Λ/c² 三者同形；而"P=NP 要 W 可消去"说穿了就是：铺出那条轨，让因子从全空间自由退化到轨上一维，再由观测钉住。

第二版一句：第四实例、三道闸、锁档回溯表——全部从库里已有的理论里搬进来：T87 给乘积（成本式三因子）、785/777/780 给闸、T86 给乙路的原文、注册表给留痕；786 没有猜任何新东西，只是给库内的旧理论排了座位。