missed_proposals: 12

Capabilities the verifier proposed as missed by both runs, with the adjudicator's decision.

Data license: Not yet licensed — internal review only · Data source: Ahmed ElBatanony, Innopolis University

This data as json

rowid	app_id	statement	excerpt	proposed_by	accepted	reason
12	F1-034	The system lets a user highlight all relationships of a configuration item in the data model diagram by hovering over it	By hovering the mouse over a CI node, all relationship of the CI will be highlighted.	verifier	1.0	A documented user-observable diagram interaction, verbatim in the source and not covered by any surviving statement.