dsh-vibe-math 2.7.0 → 2.7.1

package/prompt-corpus-v5/prompt-corpus-v5.md

@@ -34,6 +34,7 @@
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-1（常驻研究员）｜轮次 6｜法定票数 m=3｜有表决权者 3 人
@@ -91,6 +92,7 @@
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-2（常驻研究员）｜轮次 10｜法定票数 m=3｜有表决权者 3 人
@@ -152,6 +154,7 @@
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-2（常驻研究员）｜轮次 12｜法定票数 m=3｜有表决权者 3 人
@@ -210,6 +213,7 @@
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-2（常驻研究员）｜轮次 11｜法定票数 m=3｜有表决权者 3 人
@@ -270,6 +274,7 @@
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-2（常驻研究员）｜轮次 9｜法定票数 m=3｜有表决权者 3 人
@@ -505,6 +510,7 @@
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 ------------
 [状态] 你是 acad（院士）｜轮次 1｜法定票数 m=1｜有表决权者 1 人
 [在册] acad
@@ -731,6 +737,7 @@
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 ------------
 [状态] 你是 r-1（常驻研究员）｜轮次 1｜法定票数 m=2｜有表决权者 2 人
 [在册] acad、r-1
@@ -953,6 +960,7 @@
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 ------------
 [状态] 你是 r-2（常驻研究员）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2
@@ -1175,6 +1183,7 @@
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 ------------
 [状态] 你是 r-3（常驻研究员）｜轮次 1｜法定票数 m=3｜有表决权者 4 人
 [在册] acad、r-1、r-2、r-3
@@ -1377,6 +1386,7 @@
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 ------------
 [状态] 你是 t-1（临时工）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2、t-1
@@ -1429,6 +1439,7 @@
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 ------------
 [状态] 你是 r-1（常驻研究员）｜轮次 1｜法定票数 m=1｜有表决权者 1 人
 [在册] r-1
@@ -1484,6 +1495,7 @@
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 ------------
 [状态] 你是 r-2（常驻研究员）｜轮次 1｜法定票数 m=2｜有表决权者 2 人
 [在册] r-1、r-2
@@ -1544,6 +1556,7 @@ acad：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 ------------
 [状态] 你是 acad（院士）｜轮次 2｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2
@@ -1608,6 +1621,7 @@ r-1：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 ------------
 [状态] 你是 r-1（常驻研究员）｜轮次 2｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2
@@ -1668,6 +1682,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 ------------
 [状态] 你是 r-2（常驻研究员）｜轮次 2｜法定票数 m=3｜有表决权者 3 人
 [在册] acad、r-1、r-2
@@ -1722,6 +1737,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 acad（院士）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
@@ -1781,6 +1797,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 acad（院士）｜轮次 2｜法定票数 m=3｜有表决权者 3 人
@@ -1840,6 +1857,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 acad（院士）｜轮次 3｜法定票数 m=3｜有表决权者 3 人
@@ -1899,6 +1917,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 acad（院士）｜轮次 4｜法定票数 m=3｜有表决权者 3 人
@@ -1958,6 +1977,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-1（常驻研究员）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
@@ -2013,6 +2033,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-1（常驻研究员）｜轮次 2｜法定票数 m=3｜有表决权者 3 人
@@ -2068,6 +2089,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-1（常驻研究员）｜轮次 3｜法定票数 m=3｜有表决权者 3 人
@@ -2124,6 +2146,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-2（常驻研究员）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
@@ -2179,6 +2202,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-2（常驻研究员）｜轮次 2｜法定票数 m=3｜有表决权者 3 人
@@ -2234,6 +2258,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-2（常驻研究员）｜轮次 3｜法定票数 m=3｜有表决权者 3 人
@@ -2289,6 +2314,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-1（常驻研究员）｜轮次 1｜法定票数 m=1｜有表决权者 1 人
@@ -2352,6 +2378,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 acad（院士）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
@@ -2393,6 +2420,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-1（常驻研究员）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
@@ -2434,6 +2462,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-2（常驻研究员）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
@@ -2481,6 +2510,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 acad（院士）｜轮次 3｜法定票数 m=3｜有表决权者 3 人
@@ -2528,6 +2558,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-1（常驻研究员）｜轮次 3｜法定票数 m=3｜有表决权者 3 人
@@ -2575,6 +2606,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-2（常驻研究员）｜轮次 3｜法定票数 m=3｜有表决权者 3 人
@@ -2612,6 +2644,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 acad（院士）｜轮次 1｜法定票数 m=2｜有表决权者 2 人
@@ -2675,6 +2708,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-1（常驻研究员）｜轮次 1｜法定票数 m=2｜有表决权者 2 人
@@ -2734,6 +2768,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 acad（院士）｜轮次 2｜法定票数 m=2｜有表决权者 2 人
@@ -2794,6 +2829,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-2（常驻研究员）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
@@ -2853,6 +2889,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 acad（院士）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
@@ -2913,6 +2950,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-2（常驻研究员）｜轮次 2｜法定票数 m=3｜有表决权者 3 人
@@ -2972,6 +3010,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 acad（院士）｜轮次 2｜法定票数 m=3｜有表决权者 3 人
@@ -3032,6 +3071,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-2（常驻研究员）｜轮次 3｜法定票数 m=3｜有表决权者 3 人
@@ -3091,6 +3131,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 acad（院士）｜轮次 3｜法定票数 m=3｜有表决权者 3 人
@@ -3151,6 +3192,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-1（常驻研究员）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
@@ -3207,6 +3249,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-2（常驻研究员）｜轮次 4｜法定票数 m=3｜有表决权者 3 人
@@ -3263,6 +3306,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-2（常驻研究员）｜轮次 6｜法定票数 m=3｜有表决权者 3 人
@@ -3319,6 +3363,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-2（常驻研究员）｜轮次 5｜法定票数 m=3｜有表决权者 3 人
@@ -3380,6 +3425,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-2（常驻研究员）｜轮次 8｜法定票数 m=3｜有表决权者 3 人
@@ -3440,6 +3486,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-2（常驻研究员）｜轮次 7｜法定票数 m=3｜有表决权者 3 人
@@ -3501,6 +3548,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-1（常驻研究员）｜轮次 2｜法定票数 m=3｜有表决权者 3 人
@@ -3557,6 +3605,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-1（常驻研究员）｜轮次 4｜法定票数 m=3｜有表决权者 3 人
@@ -3613,6 +3662,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-2（常驻研究员）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
@@ -3675,6 +3725,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-1（常驻研究员）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
@@ -3756,6 +3807,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 acad（院士）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
@@ -3815,6 +3867,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-1（常驻研究员）｜轮次 2｜法定票数 m=3｜有表决权者 3 人
@@ -3874,6 +3927,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-2（常驻研究员）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
@@ -3930,6 +3984,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 acad（院士）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
@@ -3986,6 +4041,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-1（常驻研究员）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
@@ -4042,6 +4098,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-2（常驻研究员）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
@@ -4105,6 +4162,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 acad（院士）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
@@ -4168,6 +4226,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-1（常驻研究员）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
@@ -4231,6 +4290,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-2（常驻研究员）｜轮次 1｜法定票数 m=3｜有表决权者 3 人
@@ -4273,6 +4333,7 @@ r-2：初始见解。
 - 归档即引用：报告里带 Computation/<id>/receipt.json；这是"支撑材料"的用法。
 - 判断标准：① 有价值或可能复用；② 较为关键或必要；③ 你对该陈述有把握（置信度高）——没把握的先别入库。
 - 不得把计算结果当成"已证明"：对象是否已验证仍只由本预设既有的验证/共识路径给出。
+- 替代必须声明（诚实性）：当替代方案改变了**精确性或结论强度**时（精确符号解 → 数值近似、闭式解 → 采样/求积、改了精度/容差/假设、换了算法类），结论里**必须写明**，不得读起来像得到了原本（精确/所要求的）结果；拿不到精确结果就直说。
 
 ------------
 [状态] 你是 r-1（常驻研究员）｜轮次 2｜法定票数 m=3｜有表决权者 3 人

package/tests/audit-math-computation-contract.mjs

@@ -167,7 +167,20 @@ for (const P of PRESETS) {
   const wf = blocks.filter((b) => b.indexOf('scriptChanged') !== -1 && b.indexOf("mode:'file'") !== -1).length
   ok(wf >= 2, tag + 'both persona blocks carry the archive->edit->re-run rule (scriptChanged + mode:file)', 'blocks with the rule: ' + wf)
   ok(js.indexOf('MATH_ARCHIVE_WORKFLOW_LINE') !== -1, tag + 'references MATH_ARCHIVE_WORKFLOW_LINE (zh persona text source)')
+
+  // 4c. round-6 (A): both blocks must carry the substitution-honesty rule (zh, plus en on v4/v5).
+  const subZh = blocks.filter((b) => b.indexOf('替代必须声明') !== -1).length
+  ok(subZh >= 2, tag + 'both persona blocks carry the substitution-honesty rule (zh)', 'blocks with the rule: ' + subZh)
+  if (P.dir === 'vibe-math-v4' || P.dir === 'vibe-math-v5') {
+    const subEn = blocks.filter((b) => b.indexOf('Declare substitutions') !== -1).length
+    ok(subEn >= 2, tag + 'both persona blocks carry the substitution-honesty rule (en)', 'blocks with the rule: ' + subEn)
+  }
+  ok(js.indexOf('MATH_SUBSTITUTION_RULE_LINE') !== -1, tag + 'references MATH_SUBSTITUTION_RULE_LINE (zh persona text source)')
   if (P.dir === 'vibe-math-v4' || P.dir === 'vibe-math-v5') ok(js.indexOf('MATH_ARCHIVE_WORKFLOW_LINE_EN') !== -1, tag + 'references MATH_ARCHIVE_WORKFLOW_LINE_EN (en persona text source)')
+
+  // 4d. round-7 (fix 2): every preset must wire the bundled-runtime discovery seam, otherwise a
+  // machine whose only interpreter is DSH's own runtime still reports MATH_ENGINE_NOT_FOUND.
+  ok(js.indexOf('runtimeRoots') !== -1 && js.indexOf('listDirAbs') !== -1, tag + 'wires runtimeRoots + listDirAbs (DSH bundled-runtime discovery)')
 }
 
 // 5. README (both languages) document the six parameters

package/tests/audit-math-computation-parity.mjs

@@ -99,7 +99,11 @@ for (const f of MODULES) {
 
 // ---- 5. descriptor invariants ----
 {
-  const E = await import(new URL('../vibe-math-v2/math-engines.js', import.meta.url).href)
+  // MATH_ENGINES_MODULE points this section at a MUTATED descriptor copy (round-6 mutants must be
+  // able to delete a dispatch manager or a scope reason without touching the repository).
+  const E = await import(process.env.MATH_ENGINES_MODULE
+    ? new URL('file:///' + String(process.env.MATH_ENGINES_MODULE).replace(/\\/g, '/')).href
+    : new URL('../vibe-math-v2/math-engines.js', import.meta.url).href)
   const order = E.MATH_ENGINE_ORDER
   ok(JSON.stringify(order) === JSON.stringify(['python', 'r', 'octave', 'julia', 'matlab', 'maple', 'wolfram', 'cli']), 'MATH_ENGINE_ORDER is exactly the P1 set')
   ok(E.MATH_ENGINES.cli.defaultOn === true, 'cli is flagged defaultOn')
@@ -114,6 +118,31 @@ for (const f of MODULES) {
   }
   ok(!!E.MATH_P2_ENGINES.sage && E.MATH_P2_ENGINES.sage.phase === 'P2', 'sage is kept as the P2 descriptor')
   ok(E.mathEngineCandidates('cli') === null, 'cli has no detection candidates')
+
+  // round-6 (B): python must ship the manager DISPATCH table, and each manager must carry both the
+  // install and the matching uninstall template (the audit is only honest if the uninstall matches).
+  const pm = E.MATH_ENGINES.python.install && E.MATH_ENGINES.python.install.managers
+  ok(!!pm, 'python install declares a managers{conda,mamba,uv,pip} dispatch table')
+  for (const mgr of ['conda', 'mamba', 'uv', 'pip']) {
+    ok(!!(pm && pm[mgr]), 'python dispatch has the ' + mgr + ' manager')
+    if (pm && pm[mgr]) {
+      // The user template is either the manager's own or (for the pip fallback) the engine-level one;
+      // that precedence is what opInstall implements (`mgrTmpl.userArgv || d.install.userArgv`).
+      const userTemplate = pm[mgr].userArgv || (mgr === 'pip' ? E.MATH_ENGINES.python.install.userArgv : null)
+      ok(Array.isArray(userTemplate) && userTemplate.length > 0, mgr + ' has a user-scope install template (own or the engine-level fallback)')
+      ok(Array.isArray(pm[mgr].uninstallArgv) && pm[mgr].uninstallArgv.length > 0, mgr + ' ships the MATCHING uninstall template')
+    }
+  }
+  ok(pm && /-c/.test(pm.conda.userArgv.join(' ')) && /conda-forge/.test(pm.conda.userArgv.join(' ')), 'conda installs from -c conda-forge')
+  ok(pm && pm.pip.systemArgv && pm.pip.systemArgv.length > 0, 'pip keeps a real system-scope template')
+  ok(!!(pm && pm.uv && pm.conda && pm.mamba) && !pm.uv.systemArgv && !pm.conda.systemArgv && !pm.mamba.systemArgv, 'uv/conda/mamba have NO system template (user-only by design)')
+
+  // round-6 (C): every user-only engine states WHY in the descriptor (the refusal message quotes it).
+  for (const name of ['r', 'octave', 'julia']) {
+    ok(!!(E.MATH_ENGINES[name].install && E.MATH_ENGINES[name].install.systemUnsupportedReason), name + ' explains why system scope is unsupported')
+    ok(!E.MATH_ENGINES[name].install.systemArgv, name + ' ships no system template (user-only by design)')
+  }
+  ok(!!pm.uv.systemUnsupportedReason && !!pm.conda.systemUnsupportedReason, 'conda/uv managers explain why system scope is unsupported')
 }
 
 // ── 6. round-3 item 3: the machine-readable refusal vocabulary cannot drift ──────────────────────

package/tests/audit-math-computation-sensitivity.mjs

@@ -77,7 +77,7 @@ const PROBES = [
   {
     name: 'script-fields-dropped-from-return',
     file: 'math-computation.js',
-    from: '    scriptPath: scriptRel, scriptHash: scriptHash,\n    attempt: attempt, attemptDir: dir, baseRunDir: baseDir,\n    scriptChanged: scriptChanged, scriptChangedDuringRun: scriptChangedDuringRun,\n    sourceFile: fileRel || null,\n    previousReceipt: receipt.previousReceipt,\n    packages: pk.found,',
+    from: '    scriptPath: scriptRel, scriptHash: scriptHash,\n    attempt: attempt, attemptDir: dir, baseRunDir: baseDir,\n    scriptChanged: scriptChanged, scriptChangedDuringRun: scriptChangedDuringRun,\n    sourceFile: fileRel || null,\n    previousReceipt: receipt.previousReceipt,\n    cliScriptAppended: !!(receipt.cli && receipt.cli.scriptAppended),\n    packages: pk.found,',
     to: '    packages: pk.found,',
     expect: 'scriptPath + scriptHash are in the return value AND the receipt',
   },

package/tests/e2e-v5-round2.test.mjs

@@ -21,6 +21,13 @@ import { createHash } from 'node:crypto'
 import { tmpdir } from 'node:os'
 import { join, dirname, isAbsolute } from 'node:path'
 
+// round-7 (fix 2) test isolation: engine discovery now also scans DSH's own runtime trees, and this
+// machine HAS a bundled python. This suite injects ONE fake subprocess for everything (LaTeX + math),
+// so an unexpected engine probe would be recorded as a compiler call and would even write a fake
+// paper.pdf. Pinning DSH_HOME at an empty dir keeps the fixture's premise ("no math engine here")
+// true and the suite deterministic; production behaviour is unaffected.
+process.env.DSH_HOME = mkdtempSync(join(tmpdir(), 'vibe-v5-e2e-nodsh-'))
+
 // V5_PLUGIN lets a sensitivity probe point this suite at a deliberately broken copy.
 // Without it every probe against this suite silently tested the UNMUTATED plugin and was
 // reported as a "detection" only because the probe's own spawn failed — i.e. the whole