Неизвестное — не ноль
ограничение · создана
Запись доказательств
- Что подтверждено
- Использований в опубликованных процессах: 0
- Редакция
- Версия 0.1.0
- Статус проверки
- Публичная санитизированная редакция; независимая валидация не заявлена.
Что это и зачем
Запрещает публиковать ноль, пустую таблицу или отсутствующую строку там, где правда — «не измерено» или «ещё не восстановлено». Агрегат, посчитанный по пустому или полностью неизмеренному множеству, — это не измеренный ноль, а отсутствие измерения, и его отрисовка числом является ложным утверждением на доказательной поверхности. Правило действует для каждой публикуемой цифры и для каждого инструмента аудита, который её печатает, и оно проверяемо: на нём должна уметь загораться красная проверка. Оно появилось потому, что честный маркер «не измерено» уже был выпущен для одной поверхности и не был применён к двум соседним таблицам, которые публиковали «0 0 0.00 0.00 0.00 0.00» для реально выполненной работы (issue #50 R6-01).
Где применялась и что помогла получить
В опубликованных workflows эта способность пока не зафиксирована — учёт считает только разрешимые упоминания в ledger.
Связи
- Использует: part-of
- honesty-presentation
- Использует: refines
- component-librarypage-templates
- Используется в: derived-from
- evidence-declares-coverage
- Требуется для: constrained-by
- lane-handofflane-context-thresholdcontext-window-lifecycle
- Требуется для: governed-by
- declared-human-ratepre-ledger-accounting-reconstruction
Метаданные и происхождение
- идентификатор
- tal-constraint-unknown-is-not-zero
- тип
- ограничение
- версия
- 0.1.0
- происхождение
- создано в Talomnia
- жизненный цикл
- public_sanitized
- теги
- honesty, evidence, presentation, measurement
Источник — приватный knowledge-репозиторий; сюда попадает только санитизированная публичная проекция.
проверено · tal-constraint-unknown-is-not-zero · v0.1.0