Доказательная поверхность объявляет своё покрытие
ограничение · создана
Запись доказательств
- Что подтверждено
- Использований в опубликованных процессах: 0
- Редакция
- Версия 0.1.0
- Статус проверки
- Публичная санитизированная редакция; независимая валидация не заявлена.
Что это и зачем
Требует, чтобы доказательная поверхность либо покрывала весь источник, из которого она выведена, либо объявляла — в форме, читаемой проверкой, — ту часть, которую она не покрывает. Страница, публикующая подмножество своего источника и выглядящая при этом полной, — это не частичная запись, а полная на вид запись, которая лжёт, и читатель не может этого различить. Каждый публикуемый агрегат ОБЯЗАН сообщать размер и идентичность множества, по которому посчитан, и хотя бы одна проверка ОБЯЗАНА уметь загораться красным, когда поверхность отстаёт от источника. Это близнец tal-constraint-unknown-is-not-zero: там неизмеренное значение не должно выглядеть измеренным, здесь неполное множество не должно выглядеть полным. Правило появилось потому, что страница воркфлоу сборки замерла на TALO-0063, пока леджер дошёл до 397 записей, нигде не опубликовала работу на 71 запись, продолжала показывать устаревший итог как текущий — и ни одна проверка не покраснела (issue #60 R13).
Где применялась и что помогла получить
В опубликованных workflows эта способность пока не зафиксирована — учёт считает только разрешимые упоминания в ledger.
Связи
- Использует: derived-from
- evidence-bearing-verificationpage-templatesunknown-is-not-zero
- Использует: part-of
- honesty-presentation
Метаданные и происхождение
- идентификатор
- tal-constraint-evidence-declares-coverage
- тип
- ограничение
- версия
- 0.1.0
- происхождение
- создано в Talomnia
- жизненный цикл
- public_sanitized
- теги
- honesty, evidence, coverage, freshness, measurement
Источник — приватный knowledge-репозиторий; сюда попадает только санитизированная публичная проекция.
проверено · tal-constraint-evidence-declares-coverage · v0.1.0