dsh-vibe-math 2.7.1 → 2.7.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.en.md +681 -690
- package/README.md +8 -17
- package/cordis.patch.yml +6 -6
- package/docs/AUDIT-CHECKLIST.md +518 -518
- package/docs/COMPAT-AUDIT-ROUND3.md +154 -154
- package/docs/final-paper.md +172 -172
- package/docs/formal-verification.md +588 -588
- package/docs/math-computation.md +187 -163
- package/docs/release-notes/README.en.md +48 -0
- package/docs/release-notes/README.md +47 -0
- package/docs/release-notes/RELEASE-NOTES-2.7.2.en.md +72 -0
- package/docs/release-notes/RELEASE-NOTES-2.7.2.md +72 -0
- package/docs/release-notes/TEMPLATE.md +120 -0
- package/docs/test-timing.md +154 -154
- package/package.json +208 -203
- package/prompt-corpus-persona/persona-corpus.json +8 -8
- package/prompt-corpus-persona/persona-corpus.md +12 -12
- package/prompt-corpus-v2/formal-verify-v2.json +121 -109
- package/prompt-corpus-v2/formal-verify-v2.md +223 -107
- package/prompt-corpus-v3/formal-verify-v3.json +100 -76
- package/prompt-corpus-v3/formal-verify-v3.md +268 -70
- package/prompt-corpus-v4/formal-verify-v4.json +10 -10
- package/prompt-corpus-v4/formal-verify-v4.md +20 -20
- package/prompt-corpus-v5/prompt-corpus-v5.json +81 -81
- package/prompt-corpus-v5/prompt-corpus-v5.md +138 -128
- package/tests/audit-math-computation-contract.mjs +43 -1
- package/tests/audit-math-computation-sensitivity.mjs +2 -2
- package/tests/audit-v5-sensitivity.mjs +3 -1
- package/tests/e2e-v5-round2.test.mjs +114 -5
- package/tests/formal-verify-v2.test.mjs +38 -0
- package/tests/formal-verify-v3.test.mjs +33 -0
- package/tests/formal-verify-v4.test.mjs +87 -0
- package/tests/math-computation-shared.test.mjs +126 -1
- package/vibe-math-v2/agent.cordis.yml +2 -2
- package/vibe-math-v2/math-computation.js +122 -11
- package/vibe-math-v2/vibe-math-v2.js +75 -11
- package/vibe-math-v3/agent.cordis.yml +2 -2
- package/vibe-math-v3/math-computation.js +122 -11
- package/vibe-math-v3/vibe-math-v3.js +60 -13
- package/vibe-math-v4/agent.cordis.yml +4 -4
- package/vibe-math-v4/math-computation.js +122 -11
- package/vibe-math-v4/vibe-math-v4.js +55 -15
- package/vibe-math-v5/agent.cordis.yml +4 -4
- package/vibe-math-v5/math-computation.js +122 -11
- package/vibe-math-v5/vibe-math-v5.js +137 -28
- package/vibe-math-v5//345/256/236/347/216/260/346/226/271/346/241/210.md +1660 -1655
- package/vibe-math-v5//346/236/266/346/236/204/345/233/276.md +693 -693
|
@@ -28,7 +28,7 @@
|
|
|
28
28
|
|
|
29
29
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
30
30
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
31
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
31
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
32
32
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
33
33
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
34
34
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -51,7 +51,7 @@
|
|
|
51
51
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
52
52
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
53
53
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
54
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
54
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
55
55
|
"task_claim": "t-3",
|
|
56
56
|
"task_done": "t-3",
|
|
57
57
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -86,7 +86,7 @@
|
|
|
86
86
|
|
|
87
87
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
88
88
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
89
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
89
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
90
90
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
91
91
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
92
92
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -113,7 +113,7 @@
|
|
|
113
113
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
114
114
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
115
115
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
116
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
116
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
117
117
|
"task_claim": "t-3",
|
|
118
118
|
"task_done": "t-3",
|
|
119
119
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -148,7 +148,7 @@
|
|
|
148
148
|
|
|
149
149
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
150
150
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
151
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
151
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
152
152
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
153
153
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
154
154
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -175,7 +175,7 @@
|
|
|
175
175
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
176
176
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
177
177
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
178
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
178
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
179
179
|
"task_claim": "t-3",
|
|
180
180
|
"task_done": "t-3",
|
|
181
181
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -207,7 +207,7 @@
|
|
|
207
207
|
|
|
208
208
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
209
209
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
210
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
210
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
211
211
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
212
212
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
213
213
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -236,7 +236,7 @@
|
|
|
236
236
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
237
237
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
238
238
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
239
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
239
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
240
240
|
"task_claim": "t-3",
|
|
241
241
|
"task_done": "t-3",
|
|
242
242
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -268,7 +268,7 @@
|
|
|
268
268
|
|
|
269
269
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
270
270
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
271
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
271
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
272
272
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
273
273
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
274
274
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -297,7 +297,7 @@
|
|
|
297
297
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
298
298
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
299
299
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
300
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
300
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
301
301
|
"task_claim": "t-3",
|
|
302
302
|
"task_done": "t-3",
|
|
303
303
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -317,7 +317,7 @@
|
|
|
317
317
|
|
|
318
318
|
## [6] kind=`founding` owner=`acad`
|
|
319
319
|
|
|
320
|
-
- charter:
|
|
320
|
+
- charter: 5917 字符
|
|
321
321
|
|
|
322
322
|
### 人设 / 规章(acad,仅首次完整打印)
|
|
323
323
|
|
|
@@ -354,7 +354,7 @@
|
|
|
354
354
|
2. 只有 Verified/ 目录下的结论(以及成果卡中标注"已验证·真/假"的条目)绝对可信。
|
|
355
355
|
其余一切——他人的推测、你自己的未验结论、Progress/、Methods/ 里的未验证断言——
|
|
356
356
|
都只是经验性参考,引用时必须注明"未验证"。
|
|
357
|
-
3. 任何人可以读任何人的成果库;你只能写自己的库(Members/<你>/)。
|
|
357
|
+
3. 任何人可以读任何人的成果库;你只能写自己的库(VibeMath/Projects/default/Institutes/institute/Members/<你>/)。
|
|
358
358
|
4. 你写下的有价值内容由你自己判断是否入库,但入库必须写明三项:
|
|
359
359
|
价值程度、动机用途计划、你自己对"该对象为真"的概率估计。
|
|
360
360
|
5. 你随时可以在群聊里说话;要单独找人可以私信。需要集体决策就提议开会。
|
|
@@ -363,8 +363,10 @@
|
|
|
363
363
|
说出来,把细节留在你自己的 Progress/ 里。
|
|
364
364
|
|
|
365
365
|
【三、你的资料库、progress 与卡片格式】
|
|
366
|
-
|
|
366
|
+
你的资料库根目录(**相对会话工作目录**):VibeMath/Projects/default/Institutes/institute/Members/acad/
|
|
367
367
|
(以下路径都相对该目录。你**只写这里**,但可以读任何人的对应目录。)
|
|
368
|
+
⚠ 路径基准:你自己的文件工具的**相对路径以会话工作目录为基准**,所以直接读写文件时必须用上面这条完整路径;
|
|
369
|
+
若只想记录成果,直接用 vibe_v5_record_progress / vibe_v5_record_proposition / vibe_v5_record_method / vibe_v5_record_subproblem,框架会写到正确位置。
|
|
368
370
|
|
|
369
371
|
· Progress/<你>/progress.md —— **你的研究日志**(叙述体,可追加)。
|
|
370
372
|
主要内容是:尝试过的各方法、路线、历程、进度;当前研究进展/进度;将来的计划与打算;
|
|
@@ -504,7 +506,7 @@
|
|
|
504
506
|
|
|
505
507
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
506
508
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
507
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
509
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
508
510
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
509
511
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
510
512
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -529,7 +531,7 @@
|
|
|
529
531
|
"assign": {"subject":"…","description":"…","to":"r-2","why":"为何派给他","acceptance":"验收标准","priority":1} ← 院士分派任务,
|
|
530
532
|
"prioritize": {"order":[{"task_id":"t-1","priority":2}],"why":"…"} ← 设定全所优先级,
|
|
531
533
|
"nudge": {"to":"r-2","why":"为何督办","next_step":"建议的具体下一步"},
|
|
532
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
534
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
533
535
|
"task_claim": "t-3",
|
|
534
536
|
"task_done": "t-3",
|
|
535
537
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -549,7 +551,7 @@
|
|
|
549
551
|
|
|
550
552
|
## [7] kind=`founding` owner=`r-1`
|
|
551
553
|
|
|
552
|
-
- charter:
|
|
554
|
+
- charter: 5823 字符
|
|
553
555
|
|
|
554
556
|
### 人设 / 规章(r-1,仅首次完整打印)
|
|
555
557
|
|
|
@@ -586,7 +588,7 @@
|
|
|
586
588
|
2. 只有 Verified/ 目录下的结论(以及成果卡中标注"已验证·真/假"的条目)绝对可信。
|
|
587
589
|
其余一切——他人的推测、你自己的未验结论、Progress/、Methods/ 里的未验证断言——
|
|
588
590
|
都只是经验性参考,引用时必须注明"未验证"。
|
|
589
|
-
3. 任何人可以读任何人的成果库;你只能写自己的库(Members/<你>/)。
|
|
591
|
+
3. 任何人可以读任何人的成果库;你只能写自己的库(VibeMath/Projects/default/Institutes/institute/Members/<你>/)。
|
|
590
592
|
4. 你写下的有价值内容由你自己判断是否入库,但入库必须写明三项:
|
|
591
593
|
价值程度、动机用途计划、你自己对"该对象为真"的概率估计。
|
|
592
594
|
5. 你随时可以在群聊里说话;要单独找人可以私信。需要集体决策就提议开会。
|
|
@@ -595,8 +597,10 @@
|
|
|
595
597
|
说出来,把细节留在你自己的 Progress/ 里。
|
|
596
598
|
|
|
597
599
|
【三、你的资料库、progress 与卡片格式】
|
|
598
|
-
|
|
600
|
+
你的资料库根目录(**相对会话工作目录**):VibeMath/Projects/default/Institutes/institute/Members/r-1/
|
|
599
601
|
(以下路径都相对该目录。你**只写这里**,但可以读任何人的对应目录。)
|
|
602
|
+
⚠ 路径基准:你自己的文件工具的**相对路径以会话工作目录为基准**,所以直接读写文件时必须用上面这条完整路径;
|
|
603
|
+
若只想记录成果,直接用 vibe_v5_record_progress / vibe_v5_record_proposition / vibe_v5_record_method / vibe_v5_record_subproblem,框架会写到正确位置。
|
|
600
604
|
|
|
601
605
|
· Progress/<你>/progress.md —— **你的研究日志**(叙述体,可追加)。
|
|
602
606
|
主要内容是:尝试过的各方法、路线、历程、进度;当前研究进展/进度;将来的计划与打算;
|
|
@@ -731,7 +735,7 @@
|
|
|
731
735
|
|
|
732
736
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
733
737
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
734
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
738
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
735
739
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
736
740
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
737
741
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -752,7 +756,7 @@
|
|
|
752
756
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
753
757
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
754
758
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
755
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
759
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
756
760
|
"task_claim": "t-3",
|
|
757
761
|
"task_done": "t-3",
|
|
758
762
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -772,7 +776,7 @@
|
|
|
772
776
|
|
|
773
777
|
## [8] kind=`founding` owner=`r-2`
|
|
774
778
|
|
|
775
|
-
- charter:
|
|
779
|
+
- charter: 5827 字符
|
|
776
780
|
|
|
777
781
|
### 人设 / 规章(r-2,仅首次完整打印)
|
|
778
782
|
|
|
@@ -809,7 +813,7 @@
|
|
|
809
813
|
2. 只有 Verified/ 目录下的结论(以及成果卡中标注"已验证·真/假"的条目)绝对可信。
|
|
810
814
|
其余一切——他人的推测、你自己的未验结论、Progress/、Methods/ 里的未验证断言——
|
|
811
815
|
都只是经验性参考,引用时必须注明"未验证"。
|
|
812
|
-
3. 任何人可以读任何人的成果库;你只能写自己的库(Members/<你>/)。
|
|
816
|
+
3. 任何人可以读任何人的成果库;你只能写自己的库(VibeMath/Projects/default/Institutes/institute/Members/<你>/)。
|
|
813
817
|
4. 你写下的有价值内容由你自己判断是否入库,但入库必须写明三项:
|
|
814
818
|
价值程度、动机用途计划、你自己对"该对象为真"的概率估计。
|
|
815
819
|
5. 你随时可以在群聊里说话;要单独找人可以私信。需要集体决策就提议开会。
|
|
@@ -818,8 +822,10 @@
|
|
|
818
822
|
说出来,把细节留在你自己的 Progress/ 里。
|
|
819
823
|
|
|
820
824
|
【三、你的资料库、progress 与卡片格式】
|
|
821
|
-
|
|
825
|
+
你的资料库根目录(**相对会话工作目录**):VibeMath/Projects/default/Institutes/institute/Members/r-2/
|
|
822
826
|
(以下路径都相对该目录。你**只写这里**,但可以读任何人的对应目录。)
|
|
827
|
+
⚠ 路径基准:你自己的文件工具的**相对路径以会话工作目录为基准**,所以直接读写文件时必须用上面这条完整路径;
|
|
828
|
+
若只想记录成果,直接用 vibe_v5_record_progress / vibe_v5_record_proposition / vibe_v5_record_method / vibe_v5_record_subproblem,框架会写到正确位置。
|
|
823
829
|
|
|
824
830
|
· Progress/<你>/progress.md —— **你的研究日志**(叙述体,可追加)。
|
|
825
831
|
主要内容是:尝试过的各方法、路线、历程、进度;当前研究进展/进度;将来的计划与打算;
|
|
@@ -954,7 +960,7 @@
|
|
|
954
960
|
|
|
955
961
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
956
962
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
957
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
963
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
958
964
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
959
965
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
960
966
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -975,7 +981,7 @@
|
|
|
975
981
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
976
982
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
977
983
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
978
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
984
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
979
985
|
"task_claim": "t-3",
|
|
980
986
|
"task_done": "t-3",
|
|
981
987
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -995,7 +1001,7 @@
|
|
|
995
1001
|
|
|
996
1002
|
## [9] kind=`founding` owner=`r-3`
|
|
997
1003
|
|
|
998
|
-
- charter:
|
|
1004
|
+
- charter: 5831 字符
|
|
999
1005
|
|
|
1000
1006
|
### 人设 / 规章(r-3,仅首次完整打印)
|
|
1001
1007
|
|
|
@@ -1032,7 +1038,7 @@
|
|
|
1032
1038
|
2. 只有 Verified/ 目录下的结论(以及成果卡中标注"已验证·真/假"的条目)绝对可信。
|
|
1033
1039
|
其余一切——他人的推测、你自己的未验结论、Progress/、Methods/ 里的未验证断言——
|
|
1034
1040
|
都只是经验性参考,引用时必须注明"未验证"。
|
|
1035
|
-
3. 任何人可以读任何人的成果库;你只能写自己的库(Members/<你>/)。
|
|
1041
|
+
3. 任何人可以读任何人的成果库;你只能写自己的库(VibeMath/Projects/default/Institutes/institute/Members/<你>/)。
|
|
1036
1042
|
4. 你写下的有价值内容由你自己判断是否入库,但入库必须写明三项:
|
|
1037
1043
|
价值程度、动机用途计划、你自己对"该对象为真"的概率估计。
|
|
1038
1044
|
5. 你随时可以在群聊里说话;要单独找人可以私信。需要集体决策就提议开会。
|
|
@@ -1041,8 +1047,10 @@
|
|
|
1041
1047
|
说出来,把细节留在你自己的 Progress/ 里。
|
|
1042
1048
|
|
|
1043
1049
|
【三、你的资料库、progress 与卡片格式】
|
|
1044
|
-
|
|
1050
|
+
你的资料库根目录(**相对会话工作目录**):VibeMath/Projects/default/Institutes/institute/Members/r-3/
|
|
1045
1051
|
(以下路径都相对该目录。你**只写这里**,但可以读任何人的对应目录。)
|
|
1052
|
+
⚠ 路径基准:你自己的文件工具的**相对路径以会话工作目录为基准**,所以直接读写文件时必须用上面这条完整路径;
|
|
1053
|
+
若只想记录成果,直接用 vibe_v5_record_progress / vibe_v5_record_proposition / vibe_v5_record_method / vibe_v5_record_subproblem,框架会写到正确位置。
|
|
1046
1054
|
|
|
1047
1055
|
· Progress/<你>/progress.md —— **你的研究日志**(叙述体,可追加)。
|
|
1048
1056
|
主要内容是:尝试过的各方法、路线、历程、进度;当前研究进展/进度;将来的计划与打算;
|
|
@@ -1177,7 +1185,7 @@
|
|
|
1177
1185
|
|
|
1178
1186
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
1179
1187
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
1180
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
1188
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
1181
1189
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
1182
1190
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
1183
1191
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -1198,7 +1206,7 @@
|
|
|
1198
1206
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
1199
1207
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
1200
1208
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
1201
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
1209
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
1202
1210
|
"task_claim": "t-3",
|
|
1203
1211
|
"task_done": "t-3",
|
|
1204
1212
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -1218,7 +1226,7 @@
|
|
|
1218
1226
|
|
|
1219
1227
|
## [10] kind=`founding-temp` owner=`t-1`
|
|
1220
1228
|
|
|
1221
|
-
- charter:
|
|
1229
|
+
- charter: 4761 字符
|
|
1222
1230
|
|
|
1223
1231
|
### 人设 / 规章(t-1,仅首次完整打印)
|
|
1224
1232
|
|
|
@@ -1252,7 +1260,7 @@
|
|
|
1252
1260
|
2. 只有 Verified/ 目录下的结论(以及成果卡中标注"已验证·真/假"的条目)绝对可信。
|
|
1253
1261
|
其余一切——他人的推测、你自己的未验结论、Progress/、Methods/ 里的未验证断言——
|
|
1254
1262
|
都只是经验性参考,引用时必须注明"未验证"。
|
|
1255
|
-
3. 任何人可以读任何人的成果库;你只能写自己的库(Members/<你>/)。
|
|
1263
|
+
3. 任何人可以读任何人的成果库;你只能写自己的库(VibeMath/Projects/default/Institutes/institute/Members/<你>/)。
|
|
1256
1264
|
4. 你写下的有价值内容由你自己判断是否入库,但入库必须写明三项:
|
|
1257
1265
|
价值程度、动机用途计划、你自己对"该对象为真"的概率估计。
|
|
1258
1266
|
5. 你随时可以在群聊里说话;要单独找人可以私信。需要集体决策就提议开会。
|
|
@@ -1261,8 +1269,10 @@
|
|
|
1261
1269
|
说出来,把细节留在你自己的 Progress/ 里。
|
|
1262
1270
|
|
|
1263
1271
|
【三、你的资料库、progress 与卡片格式】
|
|
1264
|
-
|
|
1272
|
+
你的资料库根目录(**相对会话工作目录**):VibeMath/Projects/default/Institutes/institute/Members/t-1/
|
|
1265
1273
|
(以下路径都相对该目录。你**只写这里**,但可以读任何人的对应目录。)
|
|
1274
|
+
⚠ 路径基准:你自己的文件工具的**相对路径以会话工作目录为基准**,所以直接读写文件时必须用上面这条完整路径;
|
|
1275
|
+
若只想记录成果,直接用 vibe_v5_record_progress / vibe_v5_record_proposition / vibe_v5_record_method / vibe_v5_record_subproblem,框架会写到正确位置。
|
|
1266
1276
|
|
|
1267
1277
|
· Progress/<你>/progress.md —— **你的研究日志**(叙述体,可追加)。
|
|
1268
1278
|
主要内容是:尝试过的各方法、路线、历程、进度;当前研究进展/进度;将来的计划与打算;
|
|
@@ -1380,7 +1390,7 @@
|
|
|
1380
1390
|
|
|
1381
1391
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
1382
1392
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
1383
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
1393
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
1384
1394
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
1385
1395
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
1386
1396
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -1400,7 +1410,7 @@
|
|
|
1400
1410
|
"propose_verify": {"target":"p-x","kind":"proposition","reason":"为何值得验证"} ← 你可以提议,但没有表决权,
|
|
1401
1411
|
"verdict" 字段对你不适用(填了也会被记为无表决权)。
|
|
1402
1412
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
1403
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
1413
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
1404
1414
|
"task_claim": "t-3",
|
|
1405
1415
|
"task_done": "t-3",
|
|
1406
1416
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -1418,7 +1428,7 @@
|
|
|
1418
1428
|
|
|
1419
1429
|
## [11] kind=`founding-leaderless` owner=`r-1`
|
|
1420
1430
|
|
|
1421
|
-
- charter:
|
|
1431
|
+
- charter: 5043 字符
|
|
1422
1432
|
|
|
1423
1433
|
### 提示词原文
|
|
1424
1434
|
|
|
@@ -1433,7 +1443,7 @@
|
|
|
1433
1443
|
|
|
1434
1444
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
1435
1445
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
1436
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
1446
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
1437
1447
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
1438
1448
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
1439
1449
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -1454,7 +1464,7 @@
|
|
|
1454
1464
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
1455
1465
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
1456
1466
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
1457
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
1467
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
1458
1468
|
"task_claim": "t-3",
|
|
1459
1469
|
"task_done": "t-3",
|
|
1460
1470
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -1474,7 +1484,7 @@
|
|
|
1474
1484
|
|
|
1475
1485
|
## [12] kind=`founding-leaderless` owner=`r-2`
|
|
1476
1486
|
|
|
1477
|
-
- charter:
|
|
1487
|
+
- charter: 5047 字符
|
|
1478
1488
|
|
|
1479
1489
|
### 提示词原文
|
|
1480
1490
|
|
|
@@ -1489,7 +1499,7 @@
|
|
|
1489
1499
|
|
|
1490
1500
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
1491
1501
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
1492
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
1502
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
1493
1503
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
1494
1504
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
1495
1505
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -1510,7 +1520,7 @@
|
|
|
1510
1520
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
1511
1521
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
1512
1522
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
1513
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
1523
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
1514
1524
|
"task_claim": "t-3",
|
|
1515
1525
|
"task_done": "t-3",
|
|
1516
1526
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -1530,7 +1540,7 @@
|
|
|
1530
1540
|
|
|
1531
1541
|
## [13] kind=`resume` owner=`acad`
|
|
1532
1542
|
|
|
1533
|
-
- charter:
|
|
1543
|
+
- charter: 5890 字符
|
|
1534
1544
|
|
|
1535
1545
|
### 提示词原文
|
|
1536
1546
|
|
|
@@ -1550,7 +1560,7 @@ acad:初始见解。
|
|
|
1550
1560
|
|
|
1551
1561
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
1552
1562
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
1553
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
1563
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
1554
1564
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
1555
1565
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
1556
1566
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -1575,7 +1585,7 @@ acad:初始见解。
|
|
|
1575
1585
|
"assign": {"subject":"…","description":"…","to":"r-2","why":"为何派给他","acceptance":"验收标准","priority":1} ← 院士分派任务,
|
|
1576
1586
|
"prioritize": {"order":[{"task_id":"t-1","priority":2}],"why":"…"} ← 设定全所优先级,
|
|
1577
1587
|
"nudge": {"to":"r-2","why":"为何督办","next_step":"建议的具体下一步"},
|
|
1578
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
1588
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
1579
1589
|
"task_claim": "t-3",
|
|
1580
1590
|
"task_done": "t-3",
|
|
1581
1591
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -1595,7 +1605,7 @@ acad:初始见解。
|
|
|
1595
1605
|
|
|
1596
1606
|
## [14] kind=`resume` owner=`r-1`
|
|
1597
1607
|
|
|
1598
|
-
- charter:
|
|
1608
|
+
- charter: 5796 字符
|
|
1599
1609
|
|
|
1600
1610
|
### 提示词原文
|
|
1601
1611
|
|
|
@@ -1615,7 +1625,7 @@ r-1:初始见解。
|
|
|
1615
1625
|
|
|
1616
1626
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
1617
1627
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
1618
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
1628
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
1619
1629
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
1620
1630
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
1621
1631
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -1636,7 +1646,7 @@ r-1:初始见解。
|
|
|
1636
1646
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
1637
1647
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
1638
1648
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
1639
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
1649
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
1640
1650
|
"task_claim": "t-3",
|
|
1641
1651
|
"task_done": "t-3",
|
|
1642
1652
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -1656,7 +1666,7 @@ r-1:初始见解。
|
|
|
1656
1666
|
|
|
1657
1667
|
## [15] kind=`resume` owner=`r-2`
|
|
1658
1668
|
|
|
1659
|
-
- charter:
|
|
1669
|
+
- charter: 5800 字符
|
|
1660
1670
|
|
|
1661
1671
|
### 提示词原文
|
|
1662
1672
|
|
|
@@ -1676,7 +1686,7 @@ r-2:初始见解。
|
|
|
1676
1686
|
|
|
1677
1687
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
1678
1688
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
1679
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
1689
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
1680
1690
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
1681
1691
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
1682
1692
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -1697,7 +1707,7 @@ r-2:初始见解。
|
|
|
1697
1707
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
1698
1708
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
1699
1709
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
1700
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
1710
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
1701
1711
|
"task_claim": "t-3",
|
|
1702
1712
|
"task_done": "t-3",
|
|
1703
1713
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -1731,7 +1741,7 @@ r-2:初始见解。
|
|
|
1731
1741
|
|
|
1732
1742
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
1733
1743
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
1734
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
1744
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
1735
1745
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
1736
1746
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
1737
1747
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -1757,7 +1767,7 @@ r-2:初始见解。
|
|
|
1757
1767
|
"assign": {"subject":"…","description":"…","to":"r-2","why":"为何派给他","acceptance":"验收标准","priority":1} ← 院士分派任务,
|
|
1758
1768
|
"prioritize": {"order":[{"task_id":"t-1","priority":2}],"why":"…"} ← 设定全所优先级,
|
|
1759
1769
|
"nudge": {"to":"r-2","why":"为何督办","next_step":"建议的具体下一步"},
|
|
1760
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
1770
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
1761
1771
|
"task_claim": "t-3",
|
|
1762
1772
|
"task_done": "t-3",
|
|
1763
1773
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -1791,7 +1801,7 @@ r-2:初始见解。
|
|
|
1791
1801
|
|
|
1792
1802
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
1793
1803
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
1794
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
1804
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
1795
1805
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
1796
1806
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
1797
1807
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -1817,7 +1827,7 @@ r-2:初始见解。
|
|
|
1817
1827
|
"assign": {"subject":"…","description":"…","to":"r-2","why":"为何派给他","acceptance":"验收标准","priority":1} ← 院士分派任务,
|
|
1818
1828
|
"prioritize": {"order":[{"task_id":"t-1","priority":2}],"why":"…"} ← 设定全所优先级,
|
|
1819
1829
|
"nudge": {"to":"r-2","why":"为何督办","next_step":"建议的具体下一步"},
|
|
1820
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
1830
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
1821
1831
|
"task_claim": "t-3",
|
|
1822
1832
|
"task_done": "t-3",
|
|
1823
1833
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -1851,7 +1861,7 @@ r-2:初始见解。
|
|
|
1851
1861
|
|
|
1852
1862
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
1853
1863
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
1854
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
1864
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
1855
1865
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
1856
1866
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
1857
1867
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -1877,7 +1887,7 @@ r-2:初始见解。
|
|
|
1877
1887
|
"assign": {"subject":"…","description":"…","to":"r-2","why":"为何派给他","acceptance":"验收标准","priority":1} ← 院士分派任务,
|
|
1878
1888
|
"prioritize": {"order":[{"task_id":"t-1","priority":2}],"why":"…"} ← 设定全所优先级,
|
|
1879
1889
|
"nudge": {"to":"r-2","why":"为何督办","next_step":"建议的具体下一步"},
|
|
1880
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
1890
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
1881
1891
|
"task_claim": "t-3",
|
|
1882
1892
|
"task_done": "t-3",
|
|
1883
1893
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -1911,7 +1921,7 @@ r-2:初始见解。
|
|
|
1911
1921
|
|
|
1912
1922
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
1913
1923
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
1914
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
1924
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
1915
1925
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
1916
1926
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
1917
1927
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -1937,7 +1947,7 @@ r-2:初始见解。
|
|
|
1937
1947
|
"assign": {"subject":"…","description":"…","to":"r-2","why":"为何派给他","acceptance":"验收标准","priority":1} ← 院士分派任务,
|
|
1938
1948
|
"prioritize": {"order":[{"task_id":"t-1","priority":2}],"why":"…"} ← 设定全所优先级,
|
|
1939
1949
|
"nudge": {"to":"r-2","why":"为何督办","next_step":"建议的具体下一步"},
|
|
1940
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
1950
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
1941
1951
|
"task_claim": "t-3",
|
|
1942
1952
|
"task_done": "t-3",
|
|
1943
1953
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -1971,7 +1981,7 @@ r-2:初始见解。
|
|
|
1971
1981
|
|
|
1972
1982
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
1973
1983
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
1974
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
1984
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
1975
1985
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
1976
1986
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
1977
1987
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -1993,7 +2003,7 @@ r-2:初始见解。
|
|
|
1993
2003
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
1994
2004
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
1995
2005
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
1996
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
2006
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
1997
2007
|
"task_claim": "t-3",
|
|
1998
2008
|
"task_done": "t-3",
|
|
1999
2009
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -2027,7 +2037,7 @@ r-2:初始见解。
|
|
|
2027
2037
|
|
|
2028
2038
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
2029
2039
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
2030
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
2040
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
2031
2041
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
2032
2042
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
2033
2043
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -2049,7 +2059,7 @@ r-2:初始见解。
|
|
|
2049
2059
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
2050
2060
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
2051
2061
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
2052
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
2062
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
2053
2063
|
"task_claim": "t-3",
|
|
2054
2064
|
"task_done": "t-3",
|
|
2055
2065
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -2083,7 +2093,7 @@ r-2:初始见解。
|
|
|
2083
2093
|
|
|
2084
2094
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
2085
2095
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
2086
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
2096
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
2087
2097
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
2088
2098
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
2089
2099
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -2105,7 +2115,7 @@ r-2:初始见解。
|
|
|
2105
2115
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
2106
2116
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
2107
2117
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
2108
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
2118
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
2109
2119
|
"task_claim": "t-3",
|
|
2110
2120
|
"task_done": "t-3",
|
|
2111
2121
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -2140,7 +2150,7 @@ r-2:初始见解。
|
|
|
2140
2150
|
|
|
2141
2151
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
2142
2152
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
2143
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
2153
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
2144
2154
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
2145
2155
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
2146
2156
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -2162,7 +2172,7 @@ r-2:初始见解。
|
|
|
2162
2172
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
2163
2173
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
2164
2174
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
2165
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
2175
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
2166
2176
|
"task_claim": "t-3",
|
|
2167
2177
|
"task_done": "t-3",
|
|
2168
2178
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -2196,7 +2206,7 @@ r-2:初始见解。
|
|
|
2196
2206
|
|
|
2197
2207
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
2198
2208
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
2199
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
2209
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
2200
2210
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
2201
2211
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
2202
2212
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -2218,7 +2228,7 @@ r-2:初始见解。
|
|
|
2218
2228
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
2219
2229
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
2220
2230
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
2221
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
2231
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
2222
2232
|
"task_claim": "t-3",
|
|
2223
2233
|
"task_done": "t-3",
|
|
2224
2234
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -2252,7 +2262,7 @@ r-2:初始见解。
|
|
|
2252
2262
|
|
|
2253
2263
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
2254
2264
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
2255
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
2265
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
2256
2266
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
2257
2267
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
2258
2268
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -2274,7 +2284,7 @@ r-2:初始见解。
|
|
|
2274
2284
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
2275
2285
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
2276
2286
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
2277
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
2287
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
2278
2288
|
"task_claim": "t-3",
|
|
2279
2289
|
"task_done": "t-3",
|
|
2280
2290
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -2308,7 +2318,7 @@ r-2:初始见解。
|
|
|
2308
2318
|
|
|
2309
2319
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
2310
2320
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
2311
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
2321
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
2312
2322
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
2313
2323
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
2314
2324
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -2330,7 +2340,7 @@ r-2:初始见解。
|
|
|
2330
2340
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
2331
2341
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
2332
2342
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
2333
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
2343
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
2334
2344
|
"task_claim": "t-3",
|
|
2335
2345
|
"task_done": "t-3",
|
|
2336
2346
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -2372,7 +2382,7 @@ r-2:初始见解。
|
|
|
2372
2382
|
|
|
2373
2383
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
2374
2384
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
2375
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
2385
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
2376
2386
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
2377
2387
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
2378
2388
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -2414,7 +2424,7 @@ r-2:初始见解。
|
|
|
2414
2424
|
|
|
2415
2425
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
2416
2426
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
2417
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
2427
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
2418
2428
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
2419
2429
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
2420
2430
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -2456,7 +2466,7 @@ r-2:初始见解。
|
|
|
2456
2466
|
|
|
2457
2467
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
2458
2468
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
2459
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
2469
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
2460
2470
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
2461
2471
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
2462
2472
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -2504,7 +2514,7 @@ r-2:初始见解。
|
|
|
2504
2514
|
|
|
2505
2515
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
2506
2516
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
2507
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
2517
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
2508
2518
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
2509
2519
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
2510
2520
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -2552,7 +2562,7 @@ r-2:初始见解。
|
|
|
2552
2562
|
|
|
2553
2563
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
2554
2564
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
2555
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
2565
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
2556
2566
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
2557
2567
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
2558
2568
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -2600,7 +2610,7 @@ r-2:初始见解。
|
|
|
2600
2610
|
|
|
2601
2611
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
2602
2612
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
2603
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
2613
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
2604
2614
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
2605
2615
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
2606
2616
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -2638,7 +2648,7 @@ r-2:初始见解。
|
|
|
2638
2648
|
|
|
2639
2649
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
2640
2650
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
2641
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
2651
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
2642
2652
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
2643
2653
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
2644
2654
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -2664,7 +2674,7 @@ r-2:初始见解。
|
|
|
2664
2674
|
"assign": {"subject":"…","description":"…","to":"r-2","why":"为何派给他","acceptance":"验收标准","priority":1} ← 院士分派任务,
|
|
2665
2675
|
"prioritize": {"order":[{"task_id":"t-1","priority":2}],"why":"…"} ← 设定全所优先级,
|
|
2666
2676
|
"nudge": {"to":"r-2","why":"为何督办","next_step":"建议的具体下一步"},
|
|
2667
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
2677
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
2668
2678
|
"task_claim": "t-3",
|
|
2669
2679
|
"task_done": "t-3",
|
|
2670
2680
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -2702,7 +2712,7 @@ r-2:初始见解。
|
|
|
2702
2712
|
|
|
2703
2713
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
2704
2714
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
2705
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
2715
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
2706
2716
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
2707
2717
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
2708
2718
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -2724,7 +2734,7 @@ r-2:初始见解。
|
|
|
2724
2734
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
2725
2735
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
2726
2736
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
2727
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
2737
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
2728
2738
|
"task_claim": "t-3",
|
|
2729
2739
|
"task_done": "t-3",
|
|
2730
2740
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -2762,7 +2772,7 @@ r-2:初始见解。
|
|
|
2762
2772
|
|
|
2763
2773
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
2764
2774
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
2765
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
2775
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
2766
2776
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
2767
2777
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
2768
2778
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -2788,7 +2798,7 @@ r-2:初始见解。
|
|
|
2788
2798
|
"assign": {"subject":"…","description":"…","to":"r-2","why":"为何派给他","acceptance":"验收标准","priority":1} ← 院士分派任务,
|
|
2789
2799
|
"prioritize": {"order":[{"task_id":"t-1","priority":2}],"why":"…"} ← 设定全所优先级,
|
|
2790
2800
|
"nudge": {"to":"r-2","why":"为何督办","next_step":"建议的具体下一步"},
|
|
2791
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
2801
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
2792
2802
|
"task_claim": "t-3",
|
|
2793
2803
|
"task_done": "t-3",
|
|
2794
2804
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -2823,7 +2833,7 @@ r-2:初始见解。
|
|
|
2823
2833
|
|
|
2824
2834
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
2825
2835
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
2826
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
2836
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
2827
2837
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
2828
2838
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
2829
2839
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -2845,7 +2855,7 @@ r-2:初始见解。
|
|
|
2845
2855
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
2846
2856
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
2847
2857
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
2848
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
2858
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
2849
2859
|
"task_claim": "t-3",
|
|
2850
2860
|
"task_done": "t-3",
|
|
2851
2861
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -2883,7 +2893,7 @@ r-2:初始见解。
|
|
|
2883
2893
|
|
|
2884
2894
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
2885
2895
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
2886
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
2896
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
2887
2897
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
2888
2898
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
2889
2899
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -2909,7 +2919,7 @@ r-2:初始见解。
|
|
|
2909
2919
|
"assign": {"subject":"…","description":"…","to":"r-2","why":"为何派给他","acceptance":"验收标准","priority":1} ← 院士分派任务,
|
|
2910
2920
|
"prioritize": {"order":[{"task_id":"t-1","priority":2}],"why":"…"} ← 设定全所优先级,
|
|
2911
2921
|
"nudge": {"to":"r-2","why":"为何督办","next_step":"建议的具体下一步"},
|
|
2912
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
2922
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
2913
2923
|
"task_claim": "t-3",
|
|
2914
2924
|
"task_done": "t-3",
|
|
2915
2925
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -2944,7 +2954,7 @@ r-2:初始见解。
|
|
|
2944
2954
|
|
|
2945
2955
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
2946
2956
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
2947
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
2957
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
2948
2958
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
2949
2959
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
2950
2960
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -2966,7 +2976,7 @@ r-2:初始见解。
|
|
|
2966
2976
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
2967
2977
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
2968
2978
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
2969
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
2979
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
2970
2980
|
"task_claim": "t-3",
|
|
2971
2981
|
"task_done": "t-3",
|
|
2972
2982
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -3004,7 +3014,7 @@ r-2:初始见解。
|
|
|
3004
3014
|
|
|
3005
3015
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
3006
3016
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
3007
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
3017
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
3008
3018
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
3009
3019
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
3010
3020
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -3030,7 +3040,7 @@ r-2:初始见解。
|
|
|
3030
3040
|
"assign": {"subject":"…","description":"…","to":"r-2","why":"为何派给他","acceptance":"验收标准","priority":1} ← 院士分派任务,
|
|
3031
3041
|
"prioritize": {"order":[{"task_id":"t-1","priority":2}],"why":"…"} ← 设定全所优先级,
|
|
3032
3042
|
"nudge": {"to":"r-2","why":"为何督办","next_step":"建议的具体下一步"},
|
|
3033
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
3043
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
3034
3044
|
"task_claim": "t-3",
|
|
3035
3045
|
"task_done": "t-3",
|
|
3036
3046
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -3065,7 +3075,7 @@ r-2:初始见解。
|
|
|
3065
3075
|
|
|
3066
3076
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
3067
3077
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
3068
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
3078
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
3069
3079
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
3070
3080
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
3071
3081
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -3087,7 +3097,7 @@ r-2:初始见解。
|
|
|
3087
3097
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
3088
3098
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
3089
3099
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
3090
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
3100
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
3091
3101
|
"task_claim": "t-3",
|
|
3092
3102
|
"task_done": "t-3",
|
|
3093
3103
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -3125,7 +3135,7 @@ r-2:初始见解。
|
|
|
3125
3135
|
|
|
3126
3136
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
3127
3137
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
3128
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
3138
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
3129
3139
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
3130
3140
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
3131
3141
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -3151,7 +3161,7 @@ r-2:初始见解。
|
|
|
3151
3161
|
"assign": {"subject":"…","description":"…","to":"r-2","why":"为何派给他","acceptance":"验收标准","priority":1} ← 院士分派任务,
|
|
3152
3162
|
"prioritize": {"order":[{"task_id":"t-1","priority":2}],"why":"…"} ← 设定全所优先级,
|
|
3153
3163
|
"nudge": {"to":"r-2","why":"为何督办","next_step":"建议的具体下一步"},
|
|
3154
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
3164
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
3155
3165
|
"task_claim": "t-3",
|
|
3156
3166
|
"task_done": "t-3",
|
|
3157
3167
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -3186,7 +3196,7 @@ r-2:初始见解。
|
|
|
3186
3196
|
|
|
3187
3197
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
3188
3198
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
3189
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
3199
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
3190
3200
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
3191
3201
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
3192
3202
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -3208,7 +3218,7 @@ r-2:初始见解。
|
|
|
3208
3218
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
3209
3219
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
3210
3220
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
3211
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
3221
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
3212
3222
|
"task_claim": "t-3",
|
|
3213
3223
|
"task_done": "t-3",
|
|
3214
3224
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -3243,7 +3253,7 @@ r-2:初始见解。
|
|
|
3243
3253
|
|
|
3244
3254
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
3245
3255
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
3246
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
3256
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
3247
3257
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
3248
3258
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
3249
3259
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -3265,7 +3275,7 @@ r-2:初始见解。
|
|
|
3265
3275
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
3266
3276
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
3267
3277
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
3268
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
3278
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
3269
3279
|
"task_claim": "t-3",
|
|
3270
3280
|
"task_done": "t-3",
|
|
3271
3281
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -3300,7 +3310,7 @@ r-2:初始见解。
|
|
|
3300
3310
|
|
|
3301
3311
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
3302
3312
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
3303
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
3313
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
3304
3314
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
3305
3315
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
3306
3316
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -3325,7 +3335,7 @@ r-2:初始见解。
|
|
|
3325
3335
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
3326
3336
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
3327
3337
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
3328
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
3338
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
3329
3339
|
"task_claim": "t-3",
|
|
3330
3340
|
"task_done": "t-3",
|
|
3331
3341
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -3357,7 +3367,7 @@ r-2:初始见解。
|
|
|
3357
3367
|
|
|
3358
3368
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
3359
3369
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
3360
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
3370
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
3361
3371
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
3362
3372
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
3363
3373
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -3384,7 +3394,7 @@ r-2:初始见解。
|
|
|
3384
3394
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
3385
3395
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
3386
3396
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
3387
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
3397
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
3388
3398
|
"task_claim": "t-3",
|
|
3389
3399
|
"task_done": "t-3",
|
|
3390
3400
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -3419,7 +3429,7 @@ r-2:初始见解。
|
|
|
3419
3429
|
|
|
3420
3430
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
3421
3431
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
3422
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
3432
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
3423
3433
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
3424
3434
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
3425
3435
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -3444,7 +3454,7 @@ r-2:初始见解。
|
|
|
3444
3454
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
3445
3455
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
3446
3456
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
3447
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
3457
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
3448
3458
|
"task_claim": "t-3",
|
|
3449
3459
|
"task_done": "t-3",
|
|
3450
3460
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -3469,7 +3479,7 @@ r-2:初始见解。
|
|
|
3469
3479
|
### 提示词原文
|
|
3470
3480
|
|
|
3471
3481
|
```text
|
|
3472
|
-
[核心规则] 只有 Verified/(及标记"已验证·真/假"的卡片)算已确立;任何对象要进 Verified/,必须至少有 m 名有表决权者投出布尔值(恰好 1 或恰好 0)**且没有任何一张反向票**,否则留库附平均概率;你只写自己的库(Members
|
|
3482
|
+
[核心规则] 只有 Verified/(及标记"已验证·真/假"的卡片)算已确立;任何对象要进 Verified/,必须至少有 m 名有表决权者投出布尔值(恰好 1 或恰好 0)**且没有任何一张反向票**,否则留库附平均概率;你只写自己的库(VibeMath/Projects/default/Institutes/institute/Members/<你>/——相对**会话工作目录**),可只读任何人的库;组织与分派由院士负责,但判断属于你自己;退出时只输出一个 JSON 对象。
|
|
3473
3483
|
[CONTEXT COMPACT — 你的对话已接近上限。不要重新推导历史。
|
|
3474
3484
|
请把当前工作状态浓缩成一段自述(已有发现、当前方向、已记录的关键成果、下一步具体动作、未决问题),然后照常以 JSON 回答本轮。请在回复里填 "contextPct": 15 与 "compacted": true。]
|
|
3475
3485
|
|
|
@@ -3480,7 +3490,7 @@ r-2:初始见解。
|
|
|
3480
3490
|
|
|
3481
3491
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
3482
3492
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
3483
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
3493
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
3484
3494
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
3485
3495
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
3486
3496
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -3507,7 +3517,7 @@ r-2:初始见解。
|
|
|
3507
3517
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
3508
3518
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
3509
3519
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
3510
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
3520
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
3511
3521
|
"task_claim": "t-3",
|
|
3512
3522
|
"task_done": "t-3",
|
|
3513
3523
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -3542,7 +3552,7 @@ r-2:初始见解。
|
|
|
3542
3552
|
|
|
3543
3553
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
3544
3554
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
3545
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
3555
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
3546
3556
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
3547
3557
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
3548
3558
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -3564,7 +3574,7 @@ r-2:初始见解。
|
|
|
3564
3574
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
3565
3575
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
3566
3576
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
3567
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
3577
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
3568
3578
|
"task_claim": "t-3",
|
|
3569
3579
|
"task_done": "t-3",
|
|
3570
3580
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -3599,7 +3609,7 @@ r-2:初始见解。
|
|
|
3599
3609
|
|
|
3600
3610
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
3601
3611
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
3602
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
3612
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
3603
3613
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
3604
3614
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
3605
3615
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -3621,7 +3631,7 @@ r-2:初始见解。
|
|
|
3621
3631
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
3622
3632
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
3623
3633
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
3624
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
3634
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
3625
3635
|
"task_claim": "t-3",
|
|
3626
3636
|
"task_done": "t-3",
|
|
3627
3637
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -3656,7 +3666,7 @@ r-2:初始见解。
|
|
|
3656
3666
|
|
|
3657
3667
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
3658
3668
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
3659
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
3669
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
3660
3670
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
3661
3671
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
3662
3672
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -3679,7 +3689,7 @@ r-2:初始见解。
|
|
|
3679
3689
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
3680
3690
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
3681
3691
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
3682
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
3692
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
3683
3693
|
"task_claim": "t-3",
|
|
3684
3694
|
"task_done": "t-3",
|
|
3685
3695
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -3719,7 +3729,7 @@ r-2:初始见解。
|
|
|
3719
3729
|
|
|
3720
3730
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
3721
3731
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
3722
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
3732
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
3723
3733
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
3724
3734
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
3725
3735
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -3742,7 +3752,7 @@ r-2:初始见解。
|
|
|
3742
3752
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
3743
3753
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
3744
3754
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
3745
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
3755
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
3746
3756
|
"task_claim": "t-3",
|
|
3747
3757
|
"task_done": "t-3",
|
|
3748
3758
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|
|
@@ -3801,7 +3811,7 @@ r-2:初始见解。
|
|
|
3801
3811
|
|
|
3802
3812
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
3803
3813
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
3804
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
3814
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
3805
3815
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
3806
3816
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
3807
3817
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -3861,7 +3871,7 @@ r-2:初始见解。
|
|
|
3861
3871
|
|
|
3862
3872
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
3863
3873
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
3864
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
3874
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
3865
3875
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
3866
3876
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
3867
3877
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -3921,7 +3931,7 @@ r-2:初始见解。
|
|
|
3921
3931
|
|
|
3922
3932
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
3923
3933
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
3924
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
3934
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
3925
3935
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
3926
3936
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
3927
3937
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -3978,7 +3988,7 @@ r-2:初始见解。
|
|
|
3978
3988
|
|
|
3979
3989
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
3980
3990
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
3981
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
3991
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
3982
3992
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
3983
3993
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
3984
3994
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -4035,7 +4045,7 @@ r-2:初始见解。
|
|
|
4035
4045
|
|
|
4036
4046
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
4037
4047
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
4038
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
4048
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
4039
4049
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
4040
4050
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
4041
4051
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -4092,7 +4102,7 @@ r-2:初始见解。
|
|
|
4092
4102
|
|
|
4093
4103
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
4094
4104
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
4095
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
4105
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
4096
4106
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
4097
4107
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
4098
4108
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -4156,7 +4166,7 @@ r-2:初始见解。
|
|
|
4156
4166
|
|
|
4157
4167
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
4158
4168
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
4159
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
4169
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
4160
4170
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
4161
4171
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
4162
4172
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -4220,7 +4230,7 @@ r-2:初始见解。
|
|
|
4220
4230
|
|
|
4221
4231
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
4222
4232
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
4223
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
4233
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
4224
4234
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
4225
4235
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
4226
4236
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -4284,7 +4294,7 @@ r-2:初始见解。
|
|
|
4284
4294
|
|
|
4285
4295
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
4286
4296
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
4287
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
4297
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
4288
4298
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
4289
4299
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
4290
4300
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -4327,7 +4337,7 @@ r-2:初始见解。
|
|
|
4327
4337
|
|
|
4328
4338
|
- math_computation:本机可用 (无)。需要数值/符号/统计计算时先 probe 再 run(工具路径会留下可复核回执,结论请引用回执路径);缺包时如实说明并给替代方案或安装计划(不要假装),安装需先出计划并征得确认。
|
|
4329
4339
|
- shell 兜底标注:工具不可用而改用宿主 shell 时,结论必须写"未经工具归档(shell 路径)",且不得与工具回执混同(shell 无回执、无超时/输出上限保证)。
|
|
4330
|
-
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext
|
|
4340
|
+
- 归档→编辑→重跑:mode:'code' 的脚本原件在回执的 scriptPath(Computation/<id>/script.<ext>,**相对项目根**);**成员的文件工具是按会话 cwd 解析的**,所以打开它要用**绝对路径** `receipt.scriptAbs`,或把 `receipt.cwd` 与 `receipt.scriptPath` 拼起来(回执两个字段都有);编辑后用 mode:'file' 指向它重跑,会写出一份**新回执/新 attempt**(含新的 scriptHash)。**旧回执对修改后的代码无效**——报告里必须引用与当前代码哈希一致的那份回执;工具会在 scriptChanged / scriptChangedDuringRun 为 true 时显式告警。
|
|
4331
4341
|
- 需要精确数值、符号化简、反例搜索、统计或线性代数时调用 math_computation:先 probe,再 run。
|
|
4332
4342
|
- 复核他人的数值结论时用 op:'receipt'(或 op:'run', mode:'file' 指向同一脚本)重跑,并把回执路径写进报告。
|
|
4333
4343
|
- 归档即引用:报告里带 Computation/<id>/receipt.json;这是"支撑材料"的用法。
|
|
@@ -4350,7 +4360,7 @@ r-2:初始见解。
|
|
|
4350
4360
|
"verdict": {"target":"p-x","verdict":1,"reason":"你的理由"} ← verdict ∈ [0,1];**只有 1 或 0 算表决**,
|
|
4351
4361
|
介于两者之间=弃权/存疑;只在被要求表决时填。
|
|
4352
4362
|
"propose_meeting": {"agenda":"…","kind":"sync|division|verify-request|solve-vote","target":"…"},
|
|
4353
|
-
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["Members/r-1/Propos"]},
|
|
4363
|
+
"task_create": {"subject":"…","description":"…","blocked_by":["t-1"],"write_scopes":["VibeMath/Projects/default/Institutes/institute/Members/r-1/Propos"]},
|
|
4354
4364
|
"task_claim": "t-3",
|
|
4355
4365
|
"task_done": "t-3",
|
|
4356
4366
|
"task_update": {"task_id":"t-3","expected_revision":2,"action":"complete|release|reopen|edit|set_dependencies|delete"},
|