VDP Rules

VDP 规则参考

MSS Verification Discipline Protocol — 10语言 50+规则。

核心7纪律

规则	名称	说明
V1	PATH	文件操作前必须 Test-Path
V2	ERROR	失败只报 errno/exit_code 原文，禁止归因猜测
V3	ENCODING	含中文/CJK 的 I/O 必须显式写 -Encoding UTF8
V4	ATOMIC	写文件前先备份(.bak)，禁止直接覆盖
V5	TIMEOUT	同一操作最多重试2次，第3次失败必须降级
V6	FACT	断言外部状态必须有证据锚点，否则标注[推断]
V7	PSEUDO	禁止将 system_prompt 误释为用户指令

语言特定规则

Python

• PY_PATH, PY_ERROR, PY_ENCODING, PY_ATOMIC, PY_TIMEOUT

JavaScript / TypeScript

• JS_PATH, JS_ERROR, JS_TIMEOUT, JS_LEAK, JS_ASYNC, JS_NULL

Rust

• R1_PATH, R2_ERROR, R3_UNWRAP, R4_LEAK, R5_TIMEOUT

Java

• J1_PANIC, J2_LEAK, J3_NULL, J4_ATOMIC, J5_TIMEOUT

C / C++

• C1_MEMORY, C2_BUFFER, C3_NULLPTR, C4_LEAK

Go

• G1_PATH, G2_ERROR, G3_GOROUTINE, G4_DEFER, G5_TIMEOUT

Ruby

• R1_PATH, R2_ERROR, R3_NIL, R4_LEAK

PHP

• P1_PATH, P2_ERROR, P3_INCLUDE, P4_SESSION, P5_TIMEOUT

Kotlin

• K1_NULL, K2_COROUTINE, K3_LEAK, K4_PATH, K5_TIMEOUT

C#

• C1_NULL, C2_ASYNC, C3_DISPOSE, C4_PATH, C5_TIMEOUT

---

完整实现见 GitHub mss-vdp/ 或 pip install mss-vdp