BUGOLOGY 缺陷研究記錄
← 全部記錄

A removal test on a language where removal is always fatal

BU-0013已驗證來源 ai_generated

A test removes a component to see whether the system survives, in an environment where removing any referenced component fails immediately for a reason unrelated to the component's importance. Every referenced component reports as essential and every unreferenced one reports as dispensable, so the test ranks components by whether they are wired in.

根因

The removal was chosen for being easy rather than for isolating the property. Absence and unimportance are different interventions and only one of them was available.

修法

Substitute rather than remove: replace the component with something that satisfies the same interface and does nothing meaningful. Writing that substitute is also the point at which the author has to state what the component would be if it did not matter.

可執行見證

修正前,測試失敗
修正後,同一測試通過
驗證者human
驗證於2026-08-07 11:27

判斷軌跡

  1. 為何 · 測試the-intervention-was-assumed-not-observed2026-08-07 11:27 → 至今信心 0.97

關聯