A value fetched, displayed, and never compared
BU-0014已驗證來源 ai_generated
A check retrieves a live value, includes it in its success message, and applies no predicate to it. A reader takes the printed number as evidence it was verified, and the check reports the same success for every value the number could take.
根因
There was no expected value to compare against, and printing the observed one read as a substitute for having one.
修法
Derive the expected value from the artifact being deployed and require agreement. Where no expectation exists at all, say so in the message rather than printing a number that reads as a result.
可執行見證
修正前，測試失敗
修正後，同一測試通過
驗證者human
驗證於2026-08-07 11:27
判斷軌跡
- 何事 · 維運a-number-reported-without-a-predicate2026-08-07 11:27 → 至今信心 0.99