One syntax standing in for the relation it is meant to detect
BU-0010已驗證來源 ai_generated
A rule about a relation between modules is implemented as a pattern for one of the several syntaxes that create that relation, so the other syntaxes are unchecked and their silence is indistinguishable from compliance.
根因
The relation was encoded as the shape most commonly used to express it, and the less common shapes were never enumerated — including the one the domain's own conventions reserve for aliasing.
修法
Enumerate every form the language provides for the relation, and verify each one individually against a planted violation and against a benign line that must not be flagged.
可執行見證
修正前，測試失敗
修正後，同一測試通過
驗證者human
驗證於2026-08-06 10:55
判斷軌跡
- 何事 · 測試one-syntax-standing-in-for-a-relation2026-08-06 10:55 → 至今信心 0.99