Open — math chain identified, build pending
Declined — no math chain exists
This list grows in two ways. Manually when the operator sees a gap worth flagging. And operationally — when a visitor submits a claim the engine can't verify, the operator reviews the misalignment in the Console and promotes it here with the math chain it would need. The engine learns where to grow from where it actually failed. See the oracle-dependence scoreboard for how fast it is learning to answer without the model.