Verification evidence  0 pass · 0 fail · 0 error · 6 not run
┏━━━━━━━━━━━━━━━━━━━━┳━━━━━━━━━━━━━━━━━━━┳━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┳━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┓
┃ Requirement        ┃ Outcome           ┃ Evidence                             ┃ Qualifiers                           ┃
┡━━━━━━━━━━━━━━━━━━━━╇━━━━━━━━━━━━━━━━━━━╇━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━╇━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┩
│ contract_demo:REQ… │ not_run           │ coverage-map, feature-arm,           │ coverage-tag-present, proven,        │
│                    │                   │ simulation, test-teeth               │ substantive                          │
│ contract_demo:REQ… │ not_run           │ coverage-map, feature-arm,           │ coverage-tag-present, proven,        │
│                    │                   │ simulation, test-teeth               │ substantive                          │
│ contract_demo:REQ… │ not_run           │ coverage-map, feature-arm,           │ missing, unverified                  │
│                    │                   │ simulation                           │                                      │
│ contract_demo:REQ… │ not_run           │ coverage-map, feature-arm,           │ coverage-tag-present, proven,        │
│                    │                   │ simulation, test-teeth               │ substantive                          │
│ contract_demo:REQ… │ not_run           │ coverage-map, feature-arm,           │ linked, unverified, vacuous          │
│                    │                   │ simulation, test-teeth               │                                      │
│ contract_demo:REQ… │ not_run           │ coverage-map, simulation, test-teeth │ linked, undetermined                 │
└────────────────────┴───────────────────┴──────────────────────────────────────┴──────────────────────────────────────┘
2 structural finding(s)
