Статусы evidence — быстрый справочник
Используй самый сильный статус, который реально поддерживает canonical evidence, а не тот, который хотелось бы видеть.
| Статус | Смысл |
|---|---|
VERIFIED |
Конкретный tested read/call прошёл на exported runtime sample/proof. Не universal semantics. |
OBSERVED |
Увидели, но не повысили до более сильной гарантии. |
OBSERVED-THREW |
Этот exact argument set бросил exception. Это не «метод сломан». |
VERIFIED-REVERSIBLE |
Одна controlled scalar mutation дала expected delta и exact restore без residual/collateral fields. |
VERIFIED-LIFECYCLE |
Natural lifecycle path удалил entity из pinned manager/owner/registry evidence; stale checks прошли. |
VERIFIED-NONTERMINAL-WINDOW |
Entity оставался зарегистрирован bounded observation window после lifecycle call. Не permanent-persistence claim. |
VERIFIED-EMPTY-REGISTERED-WINDOW |
Kingdom дошёл до zero cities, но остался registered bounded window. Не permanent-persistence claim. |
SKIP |
Ветка/precondition не выполнена; никогда не превращать в Verified. |
FAILED-ASSUMPTION |
Harness/source assumption доказанно неверный; только negative knowledge. |
UNSAFE |
Исключено или показано unsafe в tested policy. |
UNKNOWN |
Baseline не отвечает. |
research-needed |
Routing label docs: нужен focused probe, а не выдуманный ответ. |
Порядок source of truth для runtime behavior:
canonical machine export / detailed WBML result→ Detailed Docs→ Quick DocsRejected fix может быть очень полезен в Research archive и одновременно не иметь права становиться public capability truth.
Подробная evidence model · Machine-data rules · Research archive