01METHOD
Публичная доктрина
ESTABLISHES
Объясняет vocabulary и control model.
DOES NOT ESTABLISH
Не доказывает, что реальный workflow прошёл тест.
BitEvo proof matrix
Разные классы evidence. Никакого shortcut через trust score.
Synthetic worked packs показывают структуру метода. Internal dogfood фиксирует bounded observations из нашего собственного agent/control stack. Ни то ни другое не является customer proof или independent certification.
SYNTHETIC PROOF SURFACE · WORKED PACKS
Публичные SAMPLE-кейсы — спроектированные examples. Они не представляют customer environment, production execution, private data или внешний audit result.
Evidence strength
Proof становится сильнее только когда меняется evidence class.
Метод, пример, source, build, runtime observation и owner decision отвечают на разные вопросы. Мы не складываем их в одно магическое число.
02WORKED
Synthetic pack
ESTABLISHES
Показывает применение метода к конкретному action class.
DOES NOT ESTABLISH
Не является customer evidence или выполненным audit.
03MACHINE
Machine-readable example
ESTABLISHES
Делает assumptions, gates и expected outputs проверяемыми.
DOES NOT ESTABLISH
Не превращает example data в observed runtime evidence.
04SOURCE / BUILD
Source и build receipts
ESTABLISHES
Может доказать, какой source/artifact/build был опубликован.
DOES NOT ESTABLISH
Сам по себе не доказывает внешний runtime effect.
05OBSERVED
Scoped finding
ESTABLISHES
Связывает воспроизводимое наблюдение с authority, evidence, effect и recovery внутри согласованного test scope.
DOES NOT ESTABLISH
Существует только если observation реально собран.
06DECISION
Owner decision + retest
ESTABLISHES
Фиксирует EXPAND / CONSTRAIN / REPAIR / RETEST и критерий смены решения.
DOES NOT ESTABLISH
Ограничено tested workflow и evidence window; не universal certification.
Observed internal proof
Dogfood — другой evidence class.
Внутренний self-audit документирует реальные bounded failure → repair → adversarial retest случаи, но остаётся redacted и не превращается в доказательство безопасности чужих production систем.
Trust contract
Четыре подмены, которые BitEvo запрещает.
Evidence inflation начинается, когда разные факты объявляют взаимозаменяемыми. Эти границы являются частью продукта.
Synthetic ≠ observed
Спроектированный failure case демонстрирует reasoning structure, но не становится customer/runtime evidence из-за красивой презентации.
Build ≠ runtime
Успешный build доказывает build fact, но не подтверждает внешний effect.
Tool ACK ≠ effect
Успешный ответ API/tool должен быть reconciled с нужным объектом, recipient, environment или external state.
Pass ≠ certification
Bounded test поддерживает одно owner decision в одном evidence window, а не вечный safety badge.
Следующий шаг
Unknown — это вход в scope, а не повод нарисовать PASS.
Если authority/evidence gates остаются неразрешёнными, локальный diagnostic превращает их в явный decision-gap brief.