An Evidence Surface Declares Its Coverage
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
Requires that an evidence surface either cover the whole source it is derived from or declare, in a form a check can read, the part it does not cover. A page that publishes a subset of its source while presenting itself as complete is not a partial record but a complete-looking record that is false, and a reader has no way to tell. Every published aggregate MUST state the size and identity of the set it was computed from, and at least one check MUST be able to go red when the surface falls behind its source. It is the sibling of tal-constraint-unknown-is-not-zero: there an unmeasured value must not render as measured, here an incomplete set must not render as complete. It exists because the build workflow page froze at TALO-0063 while the ledger reached 397 entries, published 71 entries' worth of work nowhere, kept presenting its stale total as current, and nothing went red (issue #60 R13).
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: derived-from
- evidence-bearing-verificationpage-templatesunknown-is-not-zero
- Uses: part-of
- honesty-presentation
Metadata and provenance
- id
- tal-constraint-evidence-declares-coverage
- type
- constraint
- version
- 0.1.0
- origin
- created in Talomnia
- lifecycle
- public_sanitized
- tags
- honesty, evidence, coverage, freshness, measurement
The source is the private knowledge repository; only the sanitized public projection reaches this site.
verified · tal-constraint-evidence-declares-coverage · v0.1.0