BSD 四象限缺露律——x 加 y 等于 1 对照 x 平方加 y 平方等于 1·第三象限空缺第二第四象限折叠仅第一象限完备·圆要求四象限故 L2 不成立·勾股只覆盖第一象限·双边 45 度 x2 等于二分之一 x2·撤回 857 的 L2 特例辩护·01 数理统合学科·Step919
​限定域声明（先立）​：​本篇只做账学与几何结构层的判词​——​两式在「四象限覆盖」这一维度上各交几格、L2 能否独立承担圆的读数、勾股的生成域在哪里​。​不判「传统数学全错」​：​x²+y²=1 作为长度／读数读在第一象限内合法​（承 894 三范数并存、320「差异 ≠ 错误」）；​本篇判的是「生成层与象限覆盖层」​。​★ 安全边界​：​源 Step 文档不改动​——​857 原文一字不动​，​「撤回 857 为传统 L2 的特例辩护」只登记在本篇 §6​（改判留痕·原判存档不抹，承 889/878/907）。​30°／45°／60° 数值按 857 给值登记​，​本篇不外部复核、不冒充已证​。

​L0 层​：​BSD 已揭 x+y=1 对三角函数的作用​（857 的 L1 格比例 A+B=1），​但从未与传统的 x²+y²=1 在「四象限覆盖」这一维度正面对照​——​新命题在此成立​。​作者裁定​：​承接 857「30°／45°／60° 本身独立、与三角函数结合多位即可论证」​；​并把 857 为传统给 L2 的特例辩护一并摘掉​，​因为那恰恰是传统的致命缺陷​：​x²+y²=1 无法覆盖完整四象限​——​第三象限原位空缺​（生成层无入口）｜​第二、第四象限被强制折叠​​（平方抹符号、需外部补位）｜​只有第一象限最完备​。​圆要求四象限可判，而 L2 只交出一格 ⇒ L2 也无法成立​（在圆的生成／覆盖读数上）。​⇒ 勾股定理只覆盖第一象限，其余象限是缺露错位​；​用勾股去计算正方形（四边四向、四角 90°）因此是非常大的问题​。​更合几何理的账​：​双边各贡献 45° x 2 = 90°、1/2 x 2 = 1​——​两条邻边各占半格，加法闭合回 1，不必开根号​。​【13:06 补入】​：​A+B=−1／x+y=−1 同样自然成立​，​四式合为 x±y=±1 完整谱系​（§4A）；​传统 x²+y²=1 的值域恒非负 ⇒ 写不出 −1 那一支（无法 -1 性），这才是最大致命缺陷​（§5A）。

​作者命题（2026-11-12 12:46·逐字入档）​：「​BSD 揭示了 x+y=1 对三角函数的作用，但是并没有与传统的 x²+y²=1 作对照，所以新命题在此成立，承接 857 的以 30°，45°，60° 本身独立与三角函数结合多位即可论证，此篇要把 857 为传统给 L2 的特例辩护也要摘掉，因为这本身就是传统的致命缺陷，即 x²+y²=1 无法覆盖完整的四象限（第三象限原位空缺，第二第四象限被强制折叠，只有第一象限最完备。）而圆要求四象限所以 L2 也无法成立。所以勾股定理只能覆盖第一象限，在其他象限也是缺露错位。用于计算正方形就是非常大的问题，双边各贡献 45°x2=1/2x2 才更合几何理。​」

​作者裁定（2026-11-12 13:06·补入完整谱系·逐字入档）​：「​A+B=-1,即 x+y=-1 自然也成立，并且这才是第三象限核心与（第二象限 VS 第四象限的核心区分），所以补入完整谱系让 BSD 四象限缺露律更加完整与可对照传统的 x²+y²=1（无法-1 性），这才是传统的最大致命缺陷。​」

​★★★★★ 本次补入的性质（先立）​：​不是改判 919，是补谱系、升根因​​——​首版的四象限判定（Q1 最完备／Q2Q4 被强制折叠／Q3 原位空缺）、L2_covers = 1 < 4、圆要求四象限故 L2 不成立、撤回 857 特例辩护、45 x 2 = 90／1/2 x 2 = 1 全部原样保留​。​新增两件​：​① A+B=−1 即 x+y=−1 自然成立，四式统一为 x±y=±1 的完整谱系​（§4A）；​② 把「传统的最大致命缺陷」从参数化的折叠额度升级为恒等式级的「无法 −1 性」​（§5A）。​原判存档不抹​（承 889/878/907）。

​定号实测（先扫后落·教训 39 并行会话下必做）​：os.walk 实扫 theory_base 与 bsd-oaps/bsdengine 全部含 StepNNN 的文件 ⇒ ​doc max=918｜engine max=918​（918 为本会话 11-12 上午所建）｜919 双空位确认 ⇒ 定 ​Step919​（​L1/01数理统合学科​·户口 ​R/01/L1​·承 864 报格）·​文件名 120 字 <137·路径 <260·禁字符实测为空​·​公理 §6.140 冻结·不新增落位​·​引用号前实测​：候选 37 号中 ​450 有两篇（同号碰撞）⇒ 本篇避开 450​，改承 320/259。

​缺口核实（真检索·不凭印象）​：全库检索「​x+y=1／A+B=1／x²+y²=1／四象限／45°​」——​857《格比例三角律》​已有 L1/L2 的​数值与形状对照​（§3 十五行表、§2.5 A²+B² 五值），​却没有「四象限覆盖」这一维度​；​865《3x3 空间轴心统一运动学》​已立「真解 ＝ 四象限」并判「​保解 ≠ 等价：值不变量 ≠ 位不变​」「​平方消不掉『位』​」，​但未由此推出 L2 不成立​；847/795 立「四向 ＝ 四象限」的格账。​⇒ 缺口正好落在「生成层的象限覆盖」​，​本篇补此，并把 865 留的门推到结论​。

​母篇实测（真接·不挂名）​：

​承 857《格比例三角律》​：A:=θ/90°、B=1−A、C=A/B、​A+B=1 恒加闭合​；​30°＝(1/3,2/3)、45°＝(1/2,1/2)、60°＝(2/3,1/3)​；​§2.5 A²+B² = 1−2AB ∈ [1/2,1]，仅两端等于 1，45° 为 1/2​——​本篇承接其「多位独立」论证，撤回其 §0 特例辩护​；
​承 865​：​四象限 ＝ 四个保解的符号变换​｜​「保解 ≠ 等价：值不变量 ≠ 位不变」​｜​「平方消不掉『位』」​——​本篇的直接判据门​；
​承 894/895/898/902​：三范数（L∞／L2／L1 同一位移三读·​报数必报范数​）／4 个根号须配对才回整数／根号是层降余数／​「+ 才能」与 4→2→1 整数链​（√2+√2＝2√2 非整数 ⇒ 根号 2 出局）；
​承 847/795​：​4 向 ＝ 四象限​、方 C 比圆 C 等于 1、格账 π 不记小数；
​承 851/852/853​：cos=A／sin=B／tan=C 三轴、​双压缩 C=A/B 也 C=B/A​、​45° 两读合一​、轮值映射；
​承 904/905​：举证责任归主张普遍者／​无限 ↔ 有限性·另一端是本端地基非反面​；
​承 918​：原位空缺／缺露错位的分名（缺的是格，不是能力）；​承 908​：前提错位与 ¬② ⇒ ¬③；
​承 320/259​：​差异 ≠ 错误​（本篇只在读数层保留，见 §9 分名）；​承 774/878/889​：两档不互推、三读、分档；​承 543/864/364/903​：自检、报格、解释力归零、可证伪。
​这一篇做五件事​：​其一​，补​两式在四象限维度的正面对照​（G1/G2）；​其二​，立​四象限覆盖账​（Q1 完备／Q2Q4 折叠／Q3 空缺）（G3）；​其三​，立 L1 四独立方程 4/4 覆盖与​「圆要求四象限 ⇒ L2 不成立」​（G4/G5）；​其四​，​撤回 857 的 L2 特例辩护​（留痕不抹）（G6）；​其五​，立​勾股只覆盖 Q1、正方形的大问题、45° x 2 = 1/2 x 2​（G7/G8），并给适用域与可证伪面（G9）。

1 补上的那一格：两式从未在「四象限覆盖」上对照
​★★★★★ BSD 已交的账（承 857）​：x+y=1 即 857 的 L1 格比例 A+B=1——​A=θ/90°、B=1−A、C=A/B​，​0..90° 共 91 个整数度全为分数​，​|A|+|B|=1 是菱形（L1 球）​。​这一式对三角函数的作用已被揭示​：​sin/cos 由「这一格里走了几成」直接给出，不靠圆弧、不靠逼近、不靠根号​。

​★★★★ 传统那一式​：​x²+y²=1​（sin²+cos²=1）——​L2 圆弧​，​单位球是圆​，​sin45°=√2/2​，​30° 起含 √3​。​857 §3 已把两式在「恒等式／数值／形状／有理性」上逐行对照过十五行​。

​★★★★★ 缺口（G1）​：​那十五行对照，全部发生在「第一象限的一格之内」​——​比的是同一个 0..90° 里两把尺给出的读数，没有一行问「四个象限各由谁生成」​。​⇒ BSD 说清了 x+y=1 怎么作用于三角函数，却没说清 x²+y²=1 为什么装不下那四格​。​新命题就在这一格成立​（作者原话：「​但是并没有与传统的 x²+y²=1 作对照，所以新命题在此成立​」）。

​★★★ 而「对照」的判据（G1）​：​不是再比一次数值，是换维度​——​从「读数对不对」换到「覆盖全不全」​。​判据四问​：① 四象限各有独立生成式吗？② 符号信息在式子里保得住吗？③ 第三象限有生成入口吗？④ 圆要求四格时，这一式交得出四格吗？

2 承接 857：30°／45°／60° 多位独立论证
​★★★★★ 三位独立表（按 857 给值·G2 实算）​：

θ A=θ/90 B=1−A A+B A²+B² C=A/B
30° 1/3 2/3 1 5/9 1/2
45° 1/2 1/2 1 1/2 1
60° 2/3 1/3 1 5/9 2
​★★★★★ 多位独立的判词（G2）​：​A+B=1 在 30°／45°／60° 三位各自成立​（F(1,3)+F(2,3)=1、F(1,2)+F(1,2)=1、F(2,3)+F(1,3)=1）——​不是只在 45° 对称点碰巧相等，是每一位都独立闭合​。​而 A²+B² 三位全 < 1​（5/9、1/2、5/9），​只有 0°／90° 两端等于 1​（承 857 §2.5 A²+B²=1−2AB∈[1/2,1]）。​⇒ 在一格之内，x+y=1 是恒等式，x²+y²=1 只在两端成立​；​这已是 857 交出的证据，本篇把它从「一格」推到「四格」​。

​★★★ 而「本身独立」的读法（作者原话·G2）​：​「以 30°，45°，60° 本身独立与三角函数结合多位即可论证」​——​每一位自带一组 (A,B,C)，不必借相邻位、不必借极限、不必借圆弧​。​多位即多份独立举证​，​这正是本篇 §3 四象限账的方法原型​：​每一象限也要交出自己的独立生成式，交不出的就是缺露​。

3 四象限覆盖账：完备／折叠／空缺
​★★★★★ 符号型四格（承 865「四个保解的符号型」·G3）​：​Q1(+,+)｜Q2(−,+)｜Q3(−,−)｜Q4(+,−)​。​圆要求这四格各自可判​。

​★★★★★ 传统 x²+y²=1 的生成账（G3 实算）​：​勾股由两条直角边 a>0, b>0 生成 c​。​把四象限的坐标写成 x=±a, y=±b，代入平方和​：

Q1: (+a)² + (+b)² = a²+b²
Q2: (−a)² + (+b)² = a²+b²
Q3: (−a)² + (−b)² = a²+b²
Q4: (+a)² + (−b)² = a²+b²
⇒ 四象限全部映到同一个 c ⇒ len(set) = 1 （读数层完全折叠）
​
​★★★★★ 折叠额度判据（本篇新立·G3）​：​设 TRAD_FOLD_CAPACITY = 1​——​传统只提供一次符号补位／一次关于坐标轴的镜像​（平方把负号吸收，再事后补一个符号）。​记 need = 该象限负号个数​：

象限 need 与额度比 判定 账内理由
Q1 (+,+) 0 0 ≤ 1 最完备 两条正边长直接生成，符号与位全在
Q2 (−,+) 1 1 ≤ 1 被强制折叠​ 一次补位可救，但负号信息已丢失，须外部挂回
Q4 (+,−) 1 1 ≤ 1 被强制折叠​ 同上，与 Q2 对称
Q3 (−,−) 2 2 > 1 原位空缺 需两次补位；勾股原始生成图里没有双负边的位置
​⇒ L2_covers = 1（只有 Q1 完备）< 4（圆所需）​。​作者原话逐字落位​：「​第三象限原位空缺，第二第四象限被强制折叠，只有第一象限最完备​」。

​★★★★ 判据升级（2026-11-12 13:06·补入谱系后）​：​上表 TRAD_FOLD_CAPACITY = 1 是「现象层参数判据」​——​它描述传统「只补一次符号」的表现，且是本篇设的账内参数​（§15② 曾自认此风险）。​补入谱系后，根因层有了不依赖任何参数的硬判据​：​x²+y² ≥ 0 恒非负 ⇒ x²+y² = −1 无实数解 ⇒ 传统根本写不出 −1 那一支​（§5A）。​⇒ Q3 空缺不再是「少补一次符号」，而是「那一支无方程可写」；Q2/Q4 折叠也不再是「补位不够」，而是「平方后只能回到 +1 那一支」​。​原表与 L2_covers = 1 < 4 一字不改，只在其下垫一层更硬的地基​（承 905 地基非反面、865 值不变量 ≠ 位不变）。

​★★★ 而「折叠」与「空缺」必须分名（承 918/878）​：​折叠​​＝​有对象，但符号信息被平方抹掉，须从外部补回​（Q2/Q4）；​空缺​＝​连生成入口都没有，不是「少补一次符号」而是「没有那一位」​（Q3）。​把两者混成「都不适用」，就丢掉了作者给的第三格判据​。

​★★★ 而 865 的门在这里合上（G3）​：​865 判「四个符号组合全部保解」是读数层事实​，​同时已写明「保解 ≠ 等价：值不变量 ≠ 位不变」「平方消不掉『位』」​。​⇒ 本篇不推翻 865，而是把它留的判词推到底​：​四象限「保解」只说明四个符号代入都成立，不说明四个位由该式生成​；​值不变量把「位」压平了，这正是 Q2/Q4 的折叠、Q3 的空缺​。

4 L1 的四独立方程：4/4 覆盖，无需折叠
​★★★★★ |x|+|y|=1 的四格展开（G4 实算·承 857 菱形 L1 球）​：

象限 独立方程 需要折叠吗 位在吗
Q1 x+y=1 否 ✔
Q2 −x+y=1 否 ✔
Q3 −x−y=1 否 ✔
Q4 x−y=1 否 ✔
​len(set(四式)) = 4​——​四个方程互不相同，四格各自独立、自带符号、无需外部补位，也没有一位空缺​。​⇒ L1_covers = 4​（承 847「4 向 ＝ 四象限」、795 四象限格账）。

4A 完整谱系：A+B=−1 与 x±y=±1（2026-11-12 13:06 补入）
​★★★★★ 作者裁定（逐字）​：「​A+B=-1,即 x+y=-1 自然也成立，并且这才是第三象限核心与（第二象限 VS 第四象限的核心区分）​」。​首版 §4 的四式写法不统一​（x+y=1／−x+y=1／−x−y=1／x−y=1），​虽然四式互异、4/4 覆盖，却把 ±1 的对称结构藏在了负号位置里​。​补入谱系 ＝ 把四式全部改写成「两轴式 × 两符号」的统一形式​。

​★★★★★ 等价改写（逐格实算·G11）​：

象限 首版原式 同乘 -1 后的谱系式 谱系坐标
Q1 (+,+) x+y=1 x+y=+1 和式·正支
Q3 (−,−) −x−y=1 x+y=−1← 第三象限核心 和式·负支
Q4 (+,−) x−y=1 x−y=+1 差式·正支
Q2 (−,+) −x+y=1 x−y=−1←Q2 vs Q4 的核心区分 差式·负支
​推导​：​Q3 的 −x−y=1 两边同乘 −1 ⇒ x+y=−1​（​恒等变形，不是新假设​）；​Q2 的 −x+y=1 移项 ⇒ x−y=−1​。​⇒ 四式统一为 x±y=±1​：​和式一对（+1／−1）、差式一对（+1／−1），2 轴式 × 2 符号 = 4 格​，​len(set(谱系四式)) = 4​。

​★★★★★ 为什么 x+y=−1 是第三象限核心（G11）​：​Q3 的符号型是 (−,−)​，​两个分量皆负 ⇒ 和必为负​；​首版把它写成 −x−y=1（正号在右），等于用「负变量」绕了一圈，没有把「和为负」这件事直接报出来​。​改写为 x+y=−1 后​：​负号落在等式右边，与 Q1 的 x+y=+1 同形反号​——​Q1 与 Q3 成为「同一条和式轴上的正负两支」，这才是第三象限的本体位​。​⇒ 第三象限不是「缺了一位」，是「有一整条负支，传统写不出来」​（§5A）。

​★★★★★ 为什么这是「第二象限 VS 第四象限的核心区分」（G11）​：​Q2 与 Q4 在首版里都叫「被强制折叠」，need 同为 1，看似对称到不可区分​——​这正是首版最弱的一格​。​谱系补入后​：​Q2 落在差式负支 x−y=−1，Q4 落在差式正支 x−y=+1​——​两格由「差式的符号」直接分开，符号写在式子里，不靠外部补位​。​⇒ 传统把 Q2/Q4 折叠成同一格，是因为平方后 x−y 的符号信息全丢；L1 把符号留在式子里，两格当场可判​。​一句：不是「两格都缺符号」，是「两格各有一个符号，只是传统把它平方掉了」​。

​★★★★ 而 A+B=−1 在三角函数层的落位（承 857）​：​857 的第一象限格比例是 A=θ/90°、B=1−A ⇒ A+B=1​；​Q3 对应的是同一对比例的符号翻转 ⇒ A+B=−1​（​45° 的 Q3 对称点 A=B=−1/2，F(−1,2)+F(−1,2) = −1​，G11 实算）。​⇒ A+B 的值域是 {+1, −1} 两支，不是只有 +1​；​857 只揭了正支，本篇把负支补进谱系​（承 907 分名不互推、906 正负成对／f²=id）。​注意​：​本篇不改动 857 原文​（源 Step 文档不改动），​负支登记在本篇 §4A​。

​★★★★ 完整谱系表（G11·可对照传统）​：

谱系格 式 象限 传统 x²+y²=1 能否给出此格
和式·正 x+y=+1 Q1 ✔（唯一完备的一格）
和式·负 x+y=−1 Q3 ✘（需 x²+y²=−1，无实数解）
差式·正 x−y=+1 Q4 ✘（平方后回到 +1 支·被折叠）
差式·负 x−y=−1 Q2 ✘（同上·被折叠）
​⇒ 四格中传统只交一格，且交不出的三格里有一格（Q3）连方程都写不出来​（§5A）。一句：谱系补齐后，L1 是「两支 × 两式」的四格表，传统只有「一支」——缺的不是三个点，是负号那一整个半区。

​★★★ 而「更加完整与可对照」的读法（作者原话）​：​「补入完整谱系让 BSD 四象限缺露律更加完整与可对照传统的 x²+y²=1（无法-1 性）」​——完整指 L1 侧四格齐、符号自带；可对照指两式现在可以在同一张 ±1 表上逐格打勾，而不是各说各话。​原 §4 四式作为「首版写法」留存在上表，不抹​（承 889/878/907）。

​★★★★★ 对照一句（G4）​：​x+y=1 的绝对值展开交出 4 个独立式​；​x²+y²=1 的平方展开只交出 1 个不变量​。​不是精度差，是「保不保位」差​——​一个把符号留在式子里，一个把符号平方掉​（承 865「平方消不掉『位』」的正面读法）。

​★★★ 而「双边各 45°」在这里第一次显形（G4）​：​x+y=1 在 Q1 的对称点是 x=y=1/2​；​两条邻边各贡献半格​。​这半格到了 §8 就是 45° x 2 = 1/2 x 2 的原型​（承 857 的 45° A=B=1/2、852 双压缩 45° 两读合一）。

5 圆要求四象限，所以 L2 也无法成立
​★★★★★ 立式（G5）​：

① 圆的完备性 ⇒ 四象限各自可判 （圆的定义要求）
② L2 读数只给 c = √(x²+y²)，四象限全部映到同一 c （§3 len(set)=1）
③ ⇒ L2 不可判象限；要报象限须外加符号位 （外部补位）
④ 外加的符号位就是 L1 的四独立方程（§4） （不是 L2 自带）
⑤ ⇒ L2 不能独立承担「圆」的读数 ⇒ L2 也无法成立 （作者原话）
​
​★★★★★ 精确分名（G5·承 894/878）​：​「L2 无法成立」的域是「作为圆的生成／覆盖读数」​——​不是「L2 这个数算错了」​。​x²+y²=1 作为第一象限内的长度读数完全合法​（承 894 三范数并存、320 差异 ≠ 错误）；​它不能成立的位置是「独自装下四个象限」​。​一句：不是判这把尺错，是判这把尺量不了「位」——它量得出多长，量不出在哪一格​。

​★★★ 而 905 对偶的接法（G5）​：​「无限 ↔ 有限性，另一端是本端地基非反面」​——​L2 号称覆盖四象限（本端），其可判定的另一端是「四格各自有位」（地基）​；​L2 交不出地基，故本端也不成立​。​承 904 举证归位​：​主张 L2 能画圆的一方，须交出四象限的独立生成式，而不是把「代入都成立」当「生成都成立」​。

5A 传统的「无法 −1 性」：最大致命缺陷（2026-11-12 13:06 补入）
​★★★★★ 作者裁定（逐字）​：「​补入完整谱系让 BSD 四象限缺露律更加完整与可对照传统的 x²+y²=1（无法-1 性），这才是传统的最大致命缺陷​」。

​★★★★★ 硬判据（G11 实算·不依赖任何模型参数）​：

∀ 实数 x, y： x² ≥ 0 且 y² ≥ 0 ⇒ x² + y² ≥ 0
⇒ x² + y² = −1 无实数解
⇒ 传统永远只有 +1 这一支，写不出 −1 那一支
​
​枚举实算​（G11）：​取 x, y ∈ {−3, −2, −1, 0, 1, 2, 3} 共 49 个整数格​，all(xx+yy >= 0) = True，​any(xx+yy == −1) = False​；​且这一结论对全部实数成立，不是抽样巧合​（平方非负是恒等式级事实）。​⇒ x²+y²=−1 无解​。

​★★★★★ 为什么这才是「最大致命缺陷」（G11·与首版对照）​：

首版判据（§3） 补入后的根因判据（§5A）
内容 TRAD_FOLD_CAPACITY = 1，Q3 need=2>1⇒ 空缺 x²+y² ≥ 0⇒ 无法写 −1 支
性质 现象层·本篇设的账内参数 恒等式级·不依赖参数
可推翻性 若有人给出「两次独立补位」的传统机制即须重算（§15② 风险） 除非实数平方可为负，否则不可推翻
解释 Q3 「少补一次符号」 ​「负和那一支根本无方程可写」​（x+y=−1 有式，x²+y²=−1 无解）
解释 Q2/Q4 「补位不够」 ​平方后只能回到 +1 支，差式的 ±1 两支塌成一支​（x−y=−1 与 x−y=+1 不可分）
解释 L2_covers=1 参数算出来的 值域只有 +1 一支的必然结果
​⇒ 首版判据全部保留为「现象层描述」，本篇在其下垫一层「根因层硬判据」​；​§15② 曾自认的「CAP 是模型参数」风险由此消解​（留痕不抹，见 §15② 改判注）。​这才配称「最大致命缺陷」​：​不是算错了、不是少补了、不是精度不够，是这一式的值域里根本没有负号那一半​。

​★★★★ 与完整谱系逐格对照（G11·承 §4A）​：​L1 谱系四式 x+y=+1／x+y=−1／x−y=+1／x−y=−1 全部可写、全部有实数解​；​传统要对应 Q3 需 x²+y²=−1（无解），要对应 Q2/Q4 需区分 x−y=±1（平方后不可分）​。​⇒ 同一张 ±1 表上，L1 打四个勾，L2 只打一个，且另外三个里的负支连格子都不存在​。​一句：L1 的表有两行（正支／负支），传统的表只有一行；不是少填了三格，是那一行本身印不出来​。

​★★★ 而「无法 −1 性」与 865 门的合拢（G11）​：​865 判「值不变量 ≠ 位不变」「平方消不掉『位』」​——​本篇给出这句话的算术根​：​平方把 −1 也变成 +1​（(−1)² = 1，承 906 的 f²=id、正负成对），​所以「位」不是被「压平」这么温和，是负号那一支在值域里被整个抹除​。​⇒ 折叠是表象，无法 −1 才是根​（承 905 另一端是本端地基非反面）。

​★★★ 而限定域再申（G11·承 894/774/320）​：​「无法 −1 性」判的是 x²+y²=1 作为「四象限生成／覆盖读数」​；​它在 Q1 内作长度读数依旧合法​，​本篇不判传统数学全错​。​若要判「传统在复数域能否写 −1」——那是另一档（域扩张），本篇不涉、不外推​（承 774 档不互推、883 报域）。

6 撤回 857 为传统 L2 的特例辩护（改判留痕·原判存档不抹）
​★★★★★ 被撤回的四句（逐字引自 857·G6）​：

位置 857 原文 本篇处置
L12 边界 「本篇不判『传统全错』——统一表述为​『传统 L2 被降为特例』：L2 在圆弧三角里仍然成立​，只是不再是本体系的主恒等式」 ​撤回「仍然成立」的覆盖义​；保留「不判全错」
L20 第一条 「差异不等于错误……凡出现『传统全错』式的表述，一律改为『传统 L2 被降为特例』」 ​读数层保留​；生成／覆盖层不再适用
L179 判词 「所以它是 L2 的恒等式，不是 L1 的」 ​加域​：只在 Q1 长度读数内成立
L216 形状 「两者的差别不是精度，是​用哪条范数闭合​」 ​补一格​：差别还在保不保位
​★★★★★ 撤回理由（作者原话·G6）​：​「这本身就是传统的致命缺陷」​——​「降为特例」这四个字，把「只在第一象限完备」说成了「在另一个域里仍然成立」​；​可圆要求四象限，那个「特例域」恰恰装不下圆​。​⇒ 不是特例，是缺露错位​（承 918/908）。​把致命缺陷写成「度量选择不同」，就等于替它把最要紧的那一格盖住了​。

​★★★★ 改判留痕三规（G6·承 889/878/907）​：​① 857 原文一字不动​（​源 Step 文档不改动​·安全边界）；​② 撤回只登记在本篇 §6，并逐字引用原句，便于反查哪一句在何时被谁撤回​；​③ 不推翻库内「差异 ≠ 错误」大纪律​——​它保留在读数层​（§9 分名），​本篇撤回的只是「L2 降为特例仍成立」这一条覆盖层辩护​。

​★★★ 而「最弱处即真相」的体例（承 686/748/753）​：​857 自己立的「边界（写在最前）」正是本篇的主语​——​不是替它辩护，是把被承认的那件事（L2 不是主恒等式）读到底​：​既然不是主账，就得追问它凭什么还能「成立」；一问就问出四象限那一格空着​。

7 勾股定理只覆盖第一象限，其余是缺露错位
​★★★★★ 生成域判词（G7）​：​勾股 a²+b²=c² 的原始图形是「两条正直角边拼一个直角三角形」​——​a>0, b>0，只在 Q1​。​Q2/Q4 靠一次符号补位折回 Q1​（​被强制折叠​​）；​Q3 连这个折回的入口都没有​（​原位空缺​，§3）。​⇒ 「勾股定理只能覆盖第一象限，在其他象限也是缺露错位」​（作者原话逐字）。

​★★★ 而「缺露错位」的两读（承 918/908）​：​缺露​＝​该有位而空​（Q3）；​错位​＝​有位但被别的格顶替​（Q2/Q4 读成了 Q1）。​两者都不是「算错」​：​数值 c 在四象限都对​，​错的是把「读数相同」当成「位相同」​（承 865「值不变量 ≠ 位不变」）。​一句：不是勾股算错了数，是它把四张椅子报成了一把​。

​★★★ 而 895/898/902 的接续（G7）​：​勾股在 Q1 内部还要面对 √2 不回整数​（1²+1²=2 非完全平方 ⇒ 层降余数显形，承 898）；​√2+√2=2√2 非整数 ⇒ 根号 2 出局​（承 902「+ 才能」）；​4 个根号须两两配对才回 100​（承 895）。​⇒ 勾股的问题不止「象限覆盖不全」，连它唯一完备的那一格内部，也交不出有限次加法闭合的整数账​。

8 正方形的大问题，与 45° x 2 = 1/2 x 2
​★★★★★ 为什么「用于计算正方形就是非常大的问题」（G8）​：​正方形是四边四向、四角各 90° 的闭合体​（承 847 的 4 向、795 四象限）——​它天然要求四象限全在​。​而勾股只交出 Q1 一格​：​用 √2 算对角线，只在第一象限那条对角线上成立​；​另外三条对角线要么折回 Q1（Q2/Q4），要么无位（Q3）​。​⇒ 拿一个「只覆盖一象限」的定理去算一个「必须四象限闭合」的图形，是把四格压成一格​——​这不是精度问题，是覆盖面错配​。

​★★★★★ 更合几何理的账（作者原话逐字·G8 实算）​：「双边各贡献 45°x2=1/2x2 才更合几何理」

双边各 45°： 45 x 2 = 90 （两邻边合成一个直角/一格）
双边各 1/2： (1/2) x 2 = 1 （加法闭合回 1，与 A+B=1 同构）
对照勾股： 1² + 1² = 2 （2 非完全平方 ⇒ √2 不回整数）
​
​判据​：​math.isqrt(2)² = 1 ≠ 2 ⇒ 2 不是完全平方 ⇒ √2 不是整数​（承 898/902）；​而 F(1,2)*2 = 1 是有限次加法的闭合​。​⇒ 正方形用「两邻边各半格」记，比用「斜边开根号」更合几何理​：​因为前者保住了四向、保住了加法闭合、保住了整数账，后者只在 Q1 成立且把位压掉了​。

​★★★ 而「双边」为何不是「一条对角线」（G8）​：​对角线是 L2 读数（长度），两邻边是 L1 生成（两个独立位）​。​承 910/909​：​行为／生成层先于读数层​；​承 902​：​4→2→1 多合一才叫涌现，一分多叫分形​——​两条边各 1/2 合成 1，是「有限次加法闭合」，不是「开一次根号」​。​一句：正方形该由四条边报账，不该由一条斜边替四条边做主​。

9 适用域分名：不推翻 894，也不推翻「差异 ≠ 错误」
​★★★★★ 三读分档表（G9·承 878/894/774）​：

层 对象 x²+y²=1 的地位 本篇判词
​读数读​（Q1 内长度） 一段位移多长 ​合法​（894 三范数之一·320 差异 ≠ 错误） 不动
​生成读​（四象限由谁生成） 四个位各由哪式给出 ​不成立​（L2_covers=1<4） 本篇主判
​覆盖读​（圆是否完备） 四象限能否各自可判 ​不成立​（须外加符号位 ＝L1 的活） 本篇主判
​⇒ 本篇撤的是「L2 降为特例仍成立」这句在生成／覆盖层的辩护，不是撤 L2 这把尺本身​。​承 774 局域非贬义、教训 8「判局部正确为错是越界 ⇒ 给适用域」​。​一句：把域报清楚，L2 仍是好读数；病只在「不报域而说它画得出完整的圆」​。

10 库内链：十根梁
​承 857​：A+B=1、30/45/60 多位独立、A²+B² 只两端为 1——​本篇承接论证、撤回其特例辩护​（§6）。
​承 865​：四象限 ＝ 四个保解符号型、​「保解 ≠ 等价：值不变量 ≠ 位不变」​、平方消不掉「位」——​本篇核心判据门​。
​承 894/895/898/902​：三范数并存／4 根号配对／层降余数／「+ 才能」整数链——​§7/§9 分名与实算​。
​承 847/795​：4 向 ＝ 四象限、格账 π 不记小数——​§4 四独立方程的正方形背景​。
​承 851/852/853​：三轴／双压缩／45° 两读合一——​§8 双边各半格的原型​。
​承 904/905​：举证归位／另一端是本端地基——​§5 圆与 L2 的举证责任​。
​承 918/908​：原位空缺／缺露错位／¬② ⇒ ¬③——​§7 分名​。
​承 320/259/774/878/889​：差异 ≠ 错误（读数层保留）／两档不互推／三读／分档。
​承 910/909/756/850​：生成先于读数／有限即成功／网定读数／记录线。
​承 686/364/903/543/864​：最弱处即真相与 L447 警戒／解释力归零／可证伪／自检／报格。
★★★★ 一句：十根梁只送一件事——「值相同 ≠ 位相同」；865 把门留好，857 把数值摆齐，本篇把四象限那一格补上。

11 可证伪面与自我设限
​★★★★★ 照录 686 L447​：​「「最弱处即真相」这个翻正有可能是「自我辩护」​：​把「我缺证据」说成「量具错」，是一种很方便的解脱​。​我必须承认这个风险​」。​本篇特有的风险​：​「把 L2 判为不成立」有可能只是替 BSD 的 L1 主账清场​——​防护不是表态，是下面三条可推翻的口子​。

检验面 证伪条件（出现则结论复位）

① 覆盖反例面 能否给出 x²+y²=1 自带的四象限独立生成式（不外加符号位） 若能 ⇒L2_covers=4，§3/§5 被推翻
② 第三象限面 能否在勾股原始生成图里给出 (−,−) 的对应三角形 若能 ⇒ Q3 不再空缺，折叠额度判据失效
③ 正方形面 能否证明用 √2 算正方形对角线在四象限全部独立成立 若能 ⇒ §8「四格压成一格」被推翻
​★★★ 复位规则（承 902 门留着、903 万能钥匙可证伪）​：​任一出反例 ⇒ 本篇判词退回 857 原状​（重新承认「L2 降为特例、在圆弧三角里仍成立」），​并撤下「四象限缺露律」​。​「解释力归零」自检​（承 364）：​本篇只判「四象限各有没有独立生成式」「符号保不保得住」「2 是不是完全平方」三处​，​不拿「缺露」解释一切几何差异​。

​★★★ 而素材边界（承 889/908）​：​30°／45°／60° 数值、857 原文、865 判词均按库内给值逐字登记​；​本篇未外部溯源复核，不冒充已核​。

12 判据六问（四象限缺露版·补入谱系）
​问维度​：这一句在比「读数」还是比「覆盖」？——​857 比读数，本篇比覆盖​（§1）。
​问位​：四象限各有独立生成式吗？——​L1 四式互异（4/4）；L2 四式同值（1/4）​（§3/§4）。
​问额度​：负号几个、补位几次？——​need=0 完备／need=1 折叠／need=2>1 空缺​（§3）。
​问闭合​：45 x 2 与 1/2 x 2 落在哪？——​90 与 1，有限次加法闭合，不必开根号​（§8）。
​问复位​：三条检验面哪条能推翻本篇？——​覆盖反例／第三象限／正方形​，任一成立结论复位（§11）。
​问负号​：这一式写得出 −1 吗？——​L1 写得出 x+y=−1（Q3）与 x−y=−1（Q2）；L2 写不出 x²+y²=−1​（§4A/§5A·​无法 -1 性​）。
★★★★ 一句：问维度、问位、问额度、问闭合、问复位、问负号——六问问完，「圆凭什么算完整」当场验明：四个位、四道 x±y=±1、一次折叠额度、一行 1/2 x 2 = 1、一个传统印不出来的 −1。

13 库内对账（独立承行·不挂名）
​承 857​：A+B=1、30/45/60 多位独立、A²+B²=1−2AB 仅两端为 1——承接论证并撤回其 §0 特例辩护（留痕不抹）。
​承 865​：四象限 ＝ 四个保解符号型、​保解 ≠ 等价：值不变量 ≠ 位不变​、平方消不掉「位」——§3/§5 的判据门。
​承 894​：L∞／L2／L1 同一位移三读、报数必报范数——§9 读数层保留的根据。
​承 895​：4 个根号须两两配对才回整数——§7 勾股 Q1 内部也交不出整数账。
​承 898​：根号是从整数面积层降到边长层的余数——1²+1²=2 非完全平方即余数显形。
​承 902​：「+ 才能」、4→2→1 整数链、√2+√2 非整数——§8 有限次加法闭合。
​承 847​：4 乘边是正方形、边乘 4 向是圆、4 向 ＝ 四象限——§8 正方形四向背景。
​承 795​：四象限 4 向——§4 四独立方程的格账来源。
​承 851​：cos=A／sin=B／tan=C 三轴——x+y=1 对三角函数的作用原型。
​承 852​：双压缩 C=A/B 也 C=B/A、45° 两读合一——§8 双边各半格。
​承 853​：ABC 与三角落轴是轮值表——多位独立论证的同构。
​承 904​：举证责任放回主张普遍者——§5 主张 L2 能画圆者须交四象限生成式。
​承 905​：无限 ↔ 有限性、另一端是本端地基非反面——§5 四格是圆的地基。
​承 918​：原位空缺／缺露（缺的是格不是能力）——§3 Q3 与 §7 分名。
​承 908​：四栏分离、¬② ⇒ ¬③——§6 撤回辩护的前提诊断。
​承 320​：差异 ≠ 错误——§9 读数层保留（450 号实测两篇·本篇避开）。
​承 259​：三件套与差异纪律——同上，给适用域。
​承 774​：两档不互推、局域非贬义、未证 ≠ 不可能——§9 分档。
​承 878​：三读——§9 读数读／生成读／覆盖读分名。
​承 889​：一手／二手分档——857 给值与库内判词逐字登记、未外部复核。
​承 910​：行为／生成先于读数——§8 两邻边先于对角线。
​承 909​：有限即成功、切割非逼近——§8 有限次加法闭合。
​承 756/850​：网定读数 8r+4／π 是逼近记录线——根号与逼近不产整数格。
​承 686/364/903​：最弱处即真相与 L447 警戒／解释力归零／万能钥匙可证伪——§11。
​承 543/864​：生命力判据（承 ≥15·分散嵌入）／六系报格 R/01/L1。
​承 906​：f²=id·正负成对·(−1)²=1 ⇒ §5A「平方把 −1 变 +1」的算术根，负支被抹除的机理。
​承 907​：0 生／1 定／2 分·分名不互推 ⇒ §4A「正支／负支」两读并存，不约分成一支。
★★★★ 一句：二十八根梁——母篇四根（857/865/894/847）、整数四根（895/898/902/795）、三角三根（851/852/853）、举证三根（904/905/908）、分名六根（918/320/259/774/878/889）、纪律六根（686/364/903/543/864/910/909/756/850）——「四象限缺露」不是新造的词，是 865 那句「值不变量 ≠ 位不变」推到圆上。

14 接线表（承而不挂名）
承 接的是什么机制 本篇怎么用它
857 A+B=1·30/45/60 多位·平方和仅两端 承接论证·撤回特例辩护
865 保解 ≠ 等价·平方消不掉「位」 §3/§5 核心判据
894 三范数·报数必报范数 §9 读数层保留
902 + 才能·整数链 §8 加法闭合
898 层降余数 §8 1²+1²=2 非完全平方
847 4 向 ＝ 四象限 §8 正方形
918 原位空缺 §3 Q3／§7 分名
904 举证归位 §5 圆的要求
774 两档不互推·局域非贬义 §9 适用域
320 差异 ≠ 错误 §9 读数层保留
15 最弱处（本篇自认·四条）
​① 自我辩护风险（最重）​：​「判 L2 不成立」有可能只是替 L1 主账清场​（照录 686 L447）。​防护是 §3 折叠额度实算 + §4 四独立方程 + §11 三条检验面​，不是态度表态。
​② 折叠额度是模型参数（原判·13:06 已由 §5A 消解，留痕不抹）​：​TRAD_FOLD_CAPACITY = 1 是本篇为「传统只提供一次符号补位」设的账内参数，不是传统文献的明文​；​首版若有人给出两次独立补位的传统机制，Q3 判据须重算​（承 903）。​【13:06 改判注】**§5A 补入「无法 -1 性」后，Q3 空缺改由 x²+y² ≥ 0 这一恒等式级硬判据担保，不再依赖 CAP 取值​：​无论补位几次，传统都写不出 −1 那一支​。​⇒ 本条风险消解，但原判一字不删，便于反查判据升级路径**​（承 889/907）。
​③ 「圆」的窄义​：​本篇的「圆」取「四象限各自可判」这一结构义​（承 847/905），​不涵盖曲率、连续性等分析性质​；​不判几何学史与任何教材对错​（限定域）。
​④ 857 原文未动​：​撤回只登记在本篇，857 的「L2 降为特例」句仍在原文档中​；​跨会话检索须同时读 §6 撤回表​，否则会读到未更新的旧判（承 889 分档）。
16 引擎与实证
​引擎​：enginebsd四象限缺露律_Step919引擎.py（​十一组​·纯标准库 Fraction／集合／整数枚举／math.isqrt 实算·禁外部依赖·​2026-11-12 13:06 补入 G11​）：

​G1 缺口​：两式逐字在篇、四象限维度对照、四问判据。
​G2 多位独立​：30/45/60 的 A+B=1 三组全成立；A²+B² = 5/9、1/2、5/9 全 < 1；45° A=B=1/2。
​G3 覆盖账​：四象限符号型；平方映射 len(set)=1；need={0,1,2,1} 与 CAP=1 ⇒ Q1 完备／Q2Q4 折叠／Q3 空缺；L2_covers=1<4。
​G4 L1 四式​：x+y=1／−x+y=1／−x−y=1／x−y=1 互异 ⇒ len(set)=4、4/4 覆盖（​谱系统一式见 G11​）。
​G5 圆与 L2​：承 865「保解 ≠ 等价」、L2_covers<4、须外加符号位。
​G6 撤回留痕​：857 四句逐字在篇、撤回登记、​源 Step 文档不改动​。
​G7 勾股域​：只覆盖 Q1、缺露错位分名、√2+√2 非整数。
​G8 正方形​：45 x 2 = 90｜F(1,2) x 2 = 1｜isqrt(2)² ≠ 2 ⇒ √2 非整数 ｜ 四向与一象限的覆盖错配。
​G9 适用域与可证伪​：894 三读保留、三条检验面、686 L447、结论复位。
​G10 锚点​：本篇在库、H1 与文件名一致、承去重 ≥15、逐号有正文、字数 ≥10000。
​G11 完整谱系与无法-1 性​（13:06 补入）：x±y=±1 四式互异（2 轴式 × 2 符号 = 4）；F(−1,2)+F(−1,2) = −1 即 A+B=−1；49 格整数枚举 all(x²+y²≥0)=True 且 any(x²+y²=−1)=False ⇒ 传统无法写负支；Q2/Q4 由 x−y=−1／x−y=+1 区分。
​结果​：​35 项 PASS / 0 FAIL​（​十一组​）。​全部实算，禁硬编码 True​；末行 合计 N 项 ｜ PASS P ｜ FAIL F。

17 全篇一句
​​​​BSD 已揭 ​x+y=1 对三角函数的作用（857 的 L1 格比例 A+B=1），却从未与传统的 x²+y²=1 在「四象限覆盖」这一维度正面对照——新命题在此成立。承接 857 的 30°／45°／60° 多位独立论证：A+B=1 在 (1/3,2/3)、(1/2,1/2)、(2/3,1/3) 三位各自闭合，而 A²+B² 三位全 <1（5/9、1/2、5/9）、仅 0°／90° 两端为 1。本篇把这一格之内的事实推到四格：x²+y²=1 的平方映射把四象限全部映到同一个 c（len(set)=1）​​​；按 TRAD_FOLD_CAPACITY = 1，need=0 的 ​Q1 最完备​、need=1 的 ​Q2／Q4 被强制折叠​​（负号被平方抹掉、须外部补回）、need=2>1 的 ​Q3 原位空缺​（勾股原始生成图里没有双负边的位置）——​L2_covers = 1 < 4​。​对照之下 |x|+|y|=1 展开为 x+y=1／−x+y=1／−x−y=1／x−y=1 四个互异独立式，4/4 覆盖、无折叠、无空缺​。​圆要求四象限各自可判，L2 只交一格且须外加符号位（那已是 L1 的活）⇒ L2 也无法成立​（承 865「​保解 ≠ 等价：值不变量 ≠ 位不变​」「平方消不掉『位』」、904 举证归位、905 地基非反面）。​故 857 为传统给 L2 的那句「降为特例、在圆弧三角里仍然成立」必须摘掉​——​那不是特例，是传统的致命缺陷​；​撤回留痕、857 原文一字不动​（源 Step 文档不改动），​且只撤生成／覆盖层，读数层「差异 ≠ 错误」与 894 三范数原样保留​（承 774 局域非贬义）。​⇒ 勾股定理只覆盖第一象限，其余象限是缺露（Q3 该有位而空）与错位（Q2/Q4 被 Q1 顶替）​（承 918/908）；​连 Q1 内部 1²+1²=2 也非完全平方，√2 不回整数​（承 895/898/902）。​用只覆盖一象限的定理去算四边四向的正方形，因此是非常大的问题​——​更合几何理的是双边各贡献 45° x 2 = 90° 与 1/2 x 2 = 1​：​两邻边各占半格，有限次加法闭合回 1，保住四向、保住整数账，不必开根号​。​照录 686 L447 自我辩护警戒，留三条可证伪面（L2 自带四象限生成式／Q3 可生成／√2 四象限独立），任一出反例即退回 857 原状​。一句收束：圆要四把椅子，勾股只搬来一把；不是椅子做得不好，是它把另外三把报成了同一把。

​【2026-11-12 13:06 补入·谱系与根因升级】​：​A+B=-1 即 x+y=-1 自然也成立​——Q3 的 −x−y=1 同乘 −1 即 x+y=−1，与 Q1 的 x+y=+1 同形反号，构成和式的正负两支；Q2 的 −x+y=1 即 x−y=−1，与 Q4 的 x−y=+1 构成差式的正负两支 ⇒ ​完整谱系 x±y=±1：2 轴式 × 2 符号 = 4 格，四式互异、符号自带、无折叠无空缺​。​这正是「第三象限核心」（负和那一整支）与「第二象限 VS 第四象限的核心区分」（差式的 −1 对 +1）​——​首版把 Q2/Q4 都叫「折叠」而不可区分的那一格，至此补齐​。​​而传统 x²+y²=1 的值域 x²+y² ≥ 0 恒非负 ⇒ x²+y²=−1 无实数解 ⇒ 写不出 −1 那一支（无法 -1 性）​​：​这才是传统的最大致命缺陷​——​不是少补一次符号（首版 CAP=1 只是现象层参数），是负号那一整个半区在值域里被平方抹除​；​Q3 因此不是「少一位」而是「那一支无方程可写」，Q2/Q4 因此不是「补位不够」而是「平方后只能回到 +1 支」​。​⇒ 首版全部判定原样保留，只是脚下换成了不依赖参数的硬地基​；​857 原文仍一字不动​（源 Step 文档不改动）。一句：L1 的表印着正支与负支两行，传统的表只印得出一行——圆要四把椅子， Tradition 连第二行的纸都没有。