Unknown Is Not Zero
constraint · created
Evidence record
- What is verified
- Uses in published workflows: 0
- Revision
- Version 0.1.0
- Validation status
- Public-sanitized publication; no independent validation is claimed.
What this is and why
Forbids publishing a zero, an empty table or an absent row where the truth is «not measured» or «not yet reconstructed». An aggregate computed over an empty or entirely unmeasured input set is not a measurement of zero — it is the absence of a measurement, and rendering it as a number is a false claim on an evidence surface. The rule applies to every published figure and every audit tool that reports one, and it is enforceable: a check must be able to go red on it. It exists because the honest «not measured» marker already shipped for one surface and was not applied to two adjacent tables, which published «0 0 0.00 0.00 0.00 0.00» for work that actually happened (issue #50 R6-01).
Where it was applied and what it helped deliver
No published workflow records this capability yet — the count includes only ledger mentions that resolve.
Relations
- Uses: part-of
- honesty-presentation
- Uses: refines
- component-librarypage-templates
- Used by: derived-from
- evidence-declares-coverage
- Required by: constrained-by
- lane-handofflane-context-thresholdcontext-window-lifecycle
- Required by: governed-by
- declared-human-ratepre-ledger-accounting-reconstruction
Metadata and provenance
- id
- tal-constraint-unknown-is-not-zero
- type
- constraint
- version
- 0.1.0
- origin
- created in Talomnia
- lifecycle
- public_sanitized
- tags
- honesty, evidence, presentation, measurement
The source is the private knowledge repository; only the sanitized public projection reaches this site.
verified · tal-constraint-unknown-is-not-zero · v0.1.0