check_run
DDL invariants
One row in the store, with every field it carries and the traversal outward from it. A hop with no data is named as unavailable rather than left out.
Read-only. Everything here is read from what CHER has recorded. Nothing on this screen decides, approves, records an outcome or writes to governance, evidence or audit.
- Evidence identifier
- 03b8a9ba-96c0-40e9-a733-cc3742a14d80
- Subject type
- check_run
- Subject
- DDL invariants
- Truth class
- DECLARED
- Evidence strength
- E2
- Integrity class
- TAMPER_EVIDENT
- Source kind
- ENGINE_CHECK
- Supplied by
- workload:verify_pack
- Snapshot
- none recorded
- Recorded at
- 2026-09-05T05:46:46.505987+00:00
- Evidence digest
- 4105475c5ae5e94d3aac1061a2dc8ad9a3b2b693b72c3fa585197bf306f75024
- Self-test probe
- FALSE
Traversal
Evidence
03b8a9ba-96c0-40e9-a733-cc3742a14d80 · content keys check, commit, detail, lines, modules, reachedLiveSystem, runner, stateProvenance
supplied by workload:verify_pack, source kind ENGINE_CHECK, truth class DECLARED at strength E2◇ Solution and package - unavailable
The store attributes this record to no package, so there is no solution to traverse to from here.
◇ Check run - unavailable
This record names no run, so the execution that produced it cannot be reached from the store.
◇ Snapshot - unavailable
This record names no snapshot, so the knowledge state it was recorded against is not identified.
◇ Knowledge - unavailable
No knowledge resolution is attached to this record, so the packs behind it cannot be reached from here.
◇ Decision - unavailable
No decision is recorded against evidence anywhere in CHER. Decisions are a person's and are not held in this store, so this hop has nothing to reach and is shown rather than hidden.