dsh-vibe-math 2.4.1 → 2.5.0

package/prompt-corpus-v2/formal-verify-v2.md

@@ -3,7 +3,8 @@
 > 由 `formal-verify-v2.test.mjs` 落盘：框架**真正发出**的每一条提示词原文。
 > 工作区路径归一化为 `<WS>`、VibeMath 根归一化为 `<VIBEMATH>`，因此可 diff、不泄露本机路径。
 > 覆盖：off 档（无任何 Lean 文字）、encourage 与 require 的表决初评/辩论、passed 后的忠实性分支、
-> 以及平时工作轮的「顺手形式化」段落与 formal 回执契约。
+> 平时工作轮的「顺手形式化」段落与 formal 回执契约，以及框架自己的两条反馈通道：
+> `reportMode=push` 的推送汇报（kind=push）与 require 门禁搁置的活动日志公告（kind=feedback）。
 
 ## [0] spawn · explorer:q1 · case=off
 
@@ -44,7 +45,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -103,7 +104,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -172,7 +173,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -230,7 +231,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -288,7 +289,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -346,7 +347,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -408,7 +409,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -475,7 +476,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -542,7 +543,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -609,7 +610,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -670,7 +671,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -731,7 +732,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -802,7 +803,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -873,7 +874,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -931,7 +932,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -992,7 +993,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -1061,7 +1062,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -1130,7 +1131,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -1191,7 +1192,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -1252,7 +1253,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -1325,7 +1326,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -1398,7 +1399,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -1463,7 +1464,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -1528,7 +1529,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -1595,7 +1596,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -1662,7 +1663,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -1723,7 +1724,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -1790,7 +1791,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -1857,7 +1858,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -1925,7 +1926,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -1993,7 +1994,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -2054,7 +2055,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -2121,7 +2122,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -2190,7 +2191,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -2259,7 +2260,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -2326,7 +2327,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -2387,7 +2388,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -2450,7 +2451,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -2519,7 +2520,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -2588,7 +2589,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -2651,7 +2652,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -2712,7 +2713,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -2773,7 +2774,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -2834,7 +2835,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -2901,7 +2902,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -2968,7 +2969,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -3029,7 +3030,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -3096,7 +3097,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -3163,7 +3164,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -3224,7 +3225,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -3289,7 +3290,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -3354,7 +3355,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -3415,7 +3416,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -3483,7 +3484,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -3551,7 +3552,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -3618,7 +3619,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -3685,7 +3686,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -3752,7 +3753,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -3819,7 +3820,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -3886,7 +3887,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -3953,7 +3954,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -4024,7 +4025,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -4095,7 +4096,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -4156,7 +4157,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -4224,7 +4225,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -4292,7 +4293,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -4353,7 +4354,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -4421,7 +4422,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -4489,7 +4490,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -4550,7 +4551,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -4618,7 +4619,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -4686,7 +4687,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -4754,7 +4755,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -4822,7 +4823,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -4883,7 +4884,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -4944,7 +4945,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -5012,7 +5013,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -5080,7 +5081,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -5148,7 +5149,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -5216,7 +5217,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -5278,7 +5279,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -5350,7 +5351,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -5419,7 +5420,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -5486,7 +5487,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -5547,7 +5548,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -5608,7 +5609,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -5675,7 +5676,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -5742,7 +5743,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -5803,7 +5804,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -5871,7 +5872,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -5939,7 +5940,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -6011,7 +6012,7 @@ KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
 
 
 YOUR PERMISSIONS / CAPABILITIES:
-- Network tools (web search / fetch): available; Script/shell tools (bash/pwsh): available (your actual tool list is enforced by the framework).
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
 - You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
 - You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
 - You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
@@ -6043,3 +6044,149 @@ Respond to the others (agree / rebut / add new evidence, referencing earlier rou
 Respond with ONLY a single JSON object wrapped in a ```json code fence — no prose:
 {"Result":0.5,"Reason":"updated logic chain / counterexample / proof / refutation","changed":"brief reason if you changed your Result, else null","formal":{"target":"r-pUsedKeep","decision":"used|blocked|defect","file":"Formal/r-pUsedKeep.lean","note":"难度判断/阻塞原因/具体偏差"}}
 ```
+
+## [92] push · main-agent · case=push-report
+
+```text
+[Vibe Math V2] 进度更新：当前项目 "proj" 运行中=true，问题 0/0 已解决，命题 0/0 已定论，活跃代理轮数=0，待人工决策=0。请调用 vibe_math_report 汇总当前进展及各代理状态，并用人话简要汇报（不打断用户，简短即可）。
+```
+
+## [93] spawn · verifier:r-pFeed:0 · case=gate-feedback
+
+```text
+You are a STRICT peer reviewer verifying one mathematical object. Check it multiple times.
+
+TARGET (r: proposition):
+PROPOSITION (id: pFeed): 门禁反馈语料
+
+KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
+
+1) PROBABILITY SEMANTICS — the single most important rule:
+- 正确概率 / 布尔估计 ∈ [0,1]。
+- 1 = 绝对正确（已被证明且验证通过）：你可以把它当作已知事实/可信结论直接用于推理。
+- 0 = 绝对错误（已被证伪且验证通过）。
+- 0 与 1 之间的任何值 = 未定论/待验证：只能作为参考证据，绝不能当作已成立的事实引用。
+- Verified/ 中的卡片概率恒为 1 或 0，内容可信、可直接引用。
+
+2) OBJECT MODELS (按实现方案)：
+- 问题 PROBLEM（qs/qs.json）：{ id, 概述（完整问题陈述，所提到的每个对象/记号都要给出完整定义）, 已解决(bool), 解法列表:[{ 完整解法（详细步骤）, 正确概率, 已验 }], 优先级（整数，越小越优先调度；"never"=永不调度）, progress（历史：已试方向、各方向路线、阻碍及原因、教训、可行性评估）}。
+- 命题 PROPOSITION（Propos/<分类>_Propos.json）：{ id, 概述（完整陈述）, 布尔估计（该命题为真的概率）, 细类型（分类 JSON）, 证明列表:[{ 完整过程（完整证明）, 正确概率, 支持信息/依据 }], 证伪列表:[{ 完整过程（完整证伪）, 正确概率, 支持信息/依据 }], 优先级, 价值/关键性（0-1，重要性）, progress（过往尝试与教训）}。
+- 收口规则：问题的某个解法 正确概率=1 → 问题已解决；命题的证明/证伪条目 正确概率=1 → 命题布尔估计=1/0（已定论）。
+
+3) FOLDERS (per project, VibeMath/Projects/<project>/)：
+- qs/qs.json：问题清单——求解与验证的唯一问题来源。
+- Propos/<分类>_Propos.json：命题知识库（已有认知）。
+- Reliable/：可信参考文献（只读）。
+- Verified/<分类>_Verified.json：定论事实索引——布尔估计=0/1 的命题卡片与已解决问题卡片；内容可信、可直接使用。
+- Verification_logs/：辩论记录。Progress_Logs/：进度与报告。VibeMath_State/：调度器私有状态——不要读也不要改。
+
+4) OUTPUT REQUIREMENTS (你输出的每个对象必须满足)：
+- 完整性、不断章取义：任何你写出的问题/命题/结论都要给出完整陈述，并把它所依赖的对象、环境、背景、定义全部补全（例如提到某个序列/函数/定理时给出其完整定义与假设）。
+- 引用溯源：若你引用了 qs/qs.json、Propos/、Verified/、Reliable/ 中已有的命题/引理/结论/解法，必须给出出处——具体文件路径（相对项目根，如 Propos/数论_Propos.json 或 Verified/未分类_Verified.json）+ 对象 id 或 JSON 路径（如 .证明列表[0] 或 .directions[1]）；没有出处的引用一律不允许。你自己新提出的结论则必须自带完整定义，不得引用未定义的内容。
+- 若结论依赖某个临时假设 p，必须显式写成「若 <p 的完整陈述> 成立，则：...」（同样要定义完整）。
+- 只输出规定的 JSON（放在 ```json 代码围栏内），JSON 之外不写任何内容。
+- 示例（完整问题 概述）："设 {a_n} 为非负实数序列（n≥1），满足：对任意正整数 n 都存在 i,j 使 |a_i − a_j| = 1/n^p（p>0 为实参数）。判断：p 在什么范围内保证级数 ∑_{n=1}^∞ a_n 发散？" —— 每个记号（序列、参数、级数）都在句内定义完整，读它的人无需再查背景。
+- 示例（完整命题 概述）："设函数 f:[0,1]→R 连续，则 f 在 [0,1] 上有界（连续性按 ε-δ 定义，有界性按标准实数分析定义）。" —— 概念与对象定义完整，不引用未定义的记号。
+
+
+YOUR PERMISSIONS / CAPABILITIES:
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
+- You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
+- You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
+- You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
+- You must NOT write files directly: return structured JSON only — the scheduler is the single writer.
+
+HOW TO READ EXISTING KNOWLEDGE (coarse scan → fine read):
+- These are JSON files. A conclusion object carries summary-index fields (概述 / 布尔估计 / 优先级) and the full detail (证明列表 / 证伪列表 / 完整过程 / progress).
+- COARSE SCAN first: use a read/grep tool to extract ONLY the summary index (概述, 布尔估计, 优先级, titles) to locate which files / objects look relevant — do NOT load full proofs yet.
+- FINE READ after: once you identify a valuable object, read that file again and extract its full JSON (完整过程 / 证明 / 证伪 / progress) via the index you found.
+
+【Lean 形式化验证（强制模式）】
+  · 请先判断该对象的**实现难度**：若能在可接受的工作量内形式化，优先写 Lean 代码并执行。
+  · 工具：vibe_math_lean_run（执行）· vibe_math_lean_archive（归档）· vibe_math_lean_lib（查已有可复用库）
+  · 工作目录：Formal/（相对项目根）；可复用定义放 <VIBEMATH>/Formal/Lib/，已证引理放 <VIBEMATH>/Formal/Proved/；写之前先 vibe_math_lean_lib 查重。
+  · **一旦 Lean 通过，你唯一需要确认的就是忠实性**：定义/对象/条件/假设/结论是否与命题原文逐条一致。请把注意力放在这种核对上，而不是重新做一遍推导。
+  · **本模式要求**：必须产出 Lean 形式化，或**必须**给出显式的阻塞原因（vibe_math_lean_archive kind='blocked' note=… 或回执 formal.note）。若两者都没有，本次裁定不会生效，会被记为未定论（原因 formal-required）并进入「形式化待办」。
+  · 归档可复用定义/引理前先跑通（vibe_math_lean_archive run=true 或先 vibe_math_lean_run）；跑不通不要入库。
+  · 宿主没有 Lean 工具链（LEAN_NOT_FOUND）或宿主不提供 subprocess 服务（NO_SUBPROCESS）时：把代码写下来归档，并在回执的 note 里写明"宿主无 Lean 工具链"——这算显式阻塞原因，定论门禁可以据此放行。
+  ▸ 若你在本轮把它形式化并跑通（vibe_math_lean_archive kind='proof'），后续轮次的审查对象
+    就会从"推导是否正确"变成"Lean 代码是否忠实于命题"。
+
+Result ∈ [0,1] = your probability that the TARGET is CORRECT: 1 ONLY when you are fully certain (for a bare proposition: Reason must be a complete proof; for a proof/refutation/solution: you verified every step and Reason confirms the whole chain); 0 ONLY when you are certain it is wrong (Reason must be a rigorous complete refutation / pinpoint the fatal flaw); otherwise a value strictly between 0 and 1.
+
+Independently output your initial review. Respond with ONLY a single JSON object wrapped in a ```json code fence — no prose:
+{"Result":0.5,"Reason":"detailed logic chain, potential counterexample, or supporting evidence","formal":{"target":"r-pFeed","decision":"used|blocked|defect","file":"Formal/r-pFeed.lean","note":"难度判断/阻塞原因/具体偏差"}}
+```
+
+## [94] spawn · verifier:r-pFeed:1 · case=gate-feedback
+
+```text
+You are a STRICT peer reviewer verifying one mathematical object. Check it multiple times.
+
+TARGET (r: proposition):
+PROPOSITION (id: pFeed): 门禁反馈语料
+
+KNOWLEDGE BASE & DATA MODEL (definition contract you MUST follow):
+
+1) PROBABILITY SEMANTICS — the single most important rule:
+- 正确概率 / 布尔估计 ∈ [0,1]。
+- 1 = 绝对正确（已被证明且验证通过）：你可以把它当作已知事实/可信结论直接用于推理。
+- 0 = 绝对错误（已被证伪且验证通过）。
+- 0 与 1 之间的任何值 = 未定论/待验证：只能作为参考证据，绝不能当作已成立的事实引用。
+- Verified/ 中的卡片概率恒为 1 或 0，内容可信、可直接引用。
+
+2) OBJECT MODELS (按实现方案)：
+- 问题 PROBLEM（qs/qs.json）：{ id, 概述（完整问题陈述，所提到的每个对象/记号都要给出完整定义）, 已解决(bool), 解法列表:[{ 完整解法（详细步骤）, 正确概率, 已验 }], 优先级（整数，越小越优先调度；"never"=永不调度）, progress（历史：已试方向、各方向路线、阻碍及原因、教训、可行性评估）}。
+- 命题 PROPOSITION（Propos/<分类>_Propos.json）：{ id, 概述（完整陈述）, 布尔估计（该命题为真的概率）, 细类型（分类 JSON）, 证明列表:[{ 完整过程（完整证明）, 正确概率, 支持信息/依据 }], 证伪列表:[{ 完整过程（完整证伪）, 正确概率, 支持信息/依据 }], 优先级, 价值/关键性（0-1，重要性）, progress（过往尝试与教训）}。
+- 收口规则：问题的某个解法 正确概率=1 → 问题已解决；命题的证明/证伪条目 正确概率=1 → 命题布尔估计=1/0（已定论）。
+
+3) FOLDERS (per project, VibeMath/Projects/<project>/)：
+- qs/qs.json：问题清单——求解与验证的唯一问题来源。
+- Propos/<分类>_Propos.json：命题知识库（已有认知）。
+- Reliable/：可信参考文献（只读）。
+- Verified/<分类>_Verified.json：定论事实索引——布尔估计=0/1 的命题卡片与已解决问题卡片；内容可信、可直接使用。
+- Verification_logs/：辩论记录。Progress_Logs/：进度与报告。VibeMath_State/：调度器私有状态——不要读也不要改。
+
+4) OUTPUT REQUIREMENTS (你输出的每个对象必须满足)：
+- 完整性、不断章取义：任何你写出的问题/命题/结论都要给出完整陈述，并把它所依赖的对象、环境、背景、定义全部补全（例如提到某个序列/函数/定理时给出其完整定义与假设）。
+- 引用溯源：若你引用了 qs/qs.json、Propos/、Verified/、Reliable/ 中已有的命题/引理/结论/解法，必须给出出处——具体文件路径（相对项目根，如 Propos/数论_Propos.json 或 Verified/未分类_Verified.json）+ 对象 id 或 JSON 路径（如 .证明列表[0] 或 .directions[1]）；没有出处的引用一律不允许。你自己新提出的结论则必须自带完整定义，不得引用未定义的内容。
+- 若结论依赖某个临时假设 p，必须显式写成「若 <p 的完整陈述> 成立，则：...」（同样要定义完整）。
+- 只输出规定的 JSON（放在 ```json 代码围栏内），JSON 之外不写任何内容。
+- 示例（完整问题 概述）："设 {a_n} 为非负实数序列（n≥1），满足：对任意正整数 n 都存在 i,j 使 |a_i − a_j| = 1/n^p（p>0 为实参数）。判断：p 在什么范围内保证级数 ∑_{n=1}^∞ a_n 发散？" —— 每个记号（序列、参数、级数）都在句内定义完整，读它的人无需再查背景。
+- 示例（完整命题 概述）："设函数 f:[0,1]→R 连续，则 f 在 [0,1] 上有界（连续性按 ε-δ 定义，有界性按标准实数分析定义）。" —— 概念与对象定义完整，不引用未定义的记号。
+
+
+YOUR PERMISSIONS / CAPABILITIES:
+- Network tools (web search / fetch): available; Script/shell tools (pwsh): available (your actual tool list is enforced by the framework).
+- You may use external tools (web search / literature lookup, symbolic/numeric computation (running scripts)) to assist; no per-round limit by default.
+- You may READ any file under Verified/ as a known, trusted dependency (resolved facts).
+- You should BASE your reasoning on the existing knowledge under Propos/ (propositions with proofs/refutations and probabilities) and Reliable/ (trusted references).
+- You must NOT write files directly: return structured JSON only — the scheduler is the single writer.
+
+HOW TO READ EXISTING KNOWLEDGE (coarse scan → fine read):
+- These are JSON files. A conclusion object carries summary-index fields (概述 / 布尔估计 / 优先级) and the full detail (证明列表 / 证伪列表 / 完整过程 / progress).
+- COARSE SCAN first: use a read/grep tool to extract ONLY the summary index (概述, 布尔估计, 优先级, titles) to locate which files / objects look relevant — do NOT load full proofs yet.
+- FINE READ after: once you identify a valuable object, read that file again and extract its full JSON (完整过程 / 证明 / 证伪 / progress) via the index you found.
+
+【Lean 形式化验证（强制模式）】
+  · 请先判断该对象的**实现难度**：若能在可接受的工作量内形式化，优先写 Lean 代码并执行。
+  · 工具：vibe_math_lean_run（执行）· vibe_math_lean_archive（归档）· vibe_math_lean_lib（查已有可复用库）
+  · 工作目录：Formal/（相对项目根）；可复用定义放 <VIBEMATH>/Formal/Lib/，已证引理放 <VIBEMATH>/Formal/Proved/；写之前先 vibe_math_lean_lib 查重。
+  · **一旦 Lean 通过，你唯一需要确认的就是忠实性**：定义/对象/条件/假设/结论是否与命题原文逐条一致。请把注意力放在这种核对上，而不是重新做一遍推导。
+  · **本模式要求**：必须产出 Lean 形式化，或**必须**给出显式的阻塞原因（vibe_math_lean_archive kind='blocked' note=… 或回执 formal.note）。若两者都没有，本次裁定不会生效，会被记为未定论（原因 formal-required）并进入「形式化待办」。
+  · 归档可复用定义/引理前先跑通（vibe_math_lean_archive run=true 或先 vibe_math_lean_run）；跑不通不要入库。
+  · 宿主没有 Lean 工具链（LEAN_NOT_FOUND）或宿主不提供 subprocess 服务（NO_SUBPROCESS）时：把代码写下来归档，并在回执的 note 里写明"宿主无 Lean 工具链"——这算显式阻塞原因，定论门禁可以据此放行。
+  ▸ 若你在本轮把它形式化并跑通（vibe_math_lean_archive kind='proof'），后续轮次的审查对象
+    就会从"推导是否正确"变成"Lean 代码是否忠实于命题"。
+
+Result ∈ [0,1] = your probability that the TARGET is CORRECT: 1 ONLY when you are fully certain (for a bare proposition: Reason must be a complete proof; for a proof/refutation/solution: you verified every step and Reason confirms the whole chain); 0 ONLY when you are certain it is wrong (Reason must be a rigorous complete refutation / pinpoint the fatal flaw); otherwise a value strictly between 0 and 1.
+
+Independently output your initial review. Respond with ONLY a single JSON object wrapped in a ```json code fence — no prose:
+{"Result":0.5,"Reason":"detailed logic chain, potential counterexample, or supporting evidence","formal":{"target":"r-pFeed","decision":"used|blocked|defect","file":"Formal/r-pFeed.lean","note":"难度判断/阻塞原因/具体偏差"}}
+```
+
+## [95] feedback · activity-log · case=gate-feedback
+
+```text
+formal-gate: 【形式化】r-pFeed 的裁定被 require 模式搁置：formal-required：尚未取得 Lean 形式化通过，也没有显式阻塞记录（当前状态 none）｜裁定 真（已记入 Formal/TODO.md）
+```