pub10: candidates: 4 rows where app_id = "F1-047", in_final

Every statement both blind runs produced (3,819), with its full trail: script check → verifier verdict and reason → adjudicator ruling and reason → whether it is in the final set. Most rejections are duplicates between the two runs.

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

4 rows where app_id = "F1-047", in_final_set = "1.0" and run = "b"

descending

✎ View and edit SQL

This data as json, CSV (advanced)

candidate_id ▼	app_id	run	statement	excerpt	source_url	source_file	script_check	verifier_verdict	verifier_reason	verifier_correction	adjudicator	adjudicator_reason	in_final_set
F1-047-B049	Mayan EDMS F1-047	b	The system automatically expires workflow states and escalates workflows.	Comply with regulations using automatic state expiration and workflow escalation.	https://docs.mayan-edms.com/chapters/features.html	02.txt	passed	corrected	State expiration duplicates A076; escalation is not otherwise covered.	The system automatically escalates workflows	corrected	State expiration is already covered by A076; escalation is a separate capability with no other statement.	1.0
F1-047-B077	Mayan EDMS F1-047	b	The system lets a user scope each quota to specific document types, users, or groups.	Scope each quota to specific document types, users, or groups, and turn it on or off as needed.	https://docs.mayan-edms.com/chapters/features.html	02.txt	passed	corrected	Scoping is not covered by A111; actor should be an administrator.	The system lets an administrator scope each usage quota to specific document types, users, or groups	corrected	Quota scoping is not covered by A111, and quotas are an administrator function.	1.0
F1-047-B079	Mayan EDMS F1-047	b	The system lets a user view statistics as line, pie, and doughnut charts and refresh any statistic on demand.	View the results as line, pie, and doughnut charts, and refresh any statistic on demand.	https://docs.mayan-edms.com/chapters/features.html	02.txt	passed	corrected	Chart display duplicates A113; on-demand refresh is not otherwise covered.	The system lets a user refresh any statistic on demand	corrected	Chart display is already covered by A113; on-demand refresh has no other statement.	1.0
F1-047-B081	Mayan EDMS F1-047	b	The system lets a user combine several API operations into a single batch request.	combine several operations into a single batch request.	https://docs.mayan-edms.com/chapters/features.html	02.txt	passed	confirmed			(not sent: confirmed)		1.0

Advanced export

JSON shape: default, array, newline-delimited, object

CREATE TABLE [candidates] ([candidate_id] TEXT PRIMARY KEY, [app_id] TEXT, [run] TEXT, [statement] TEXT, [excerpt] TEXT, [source_url] TEXT, [source_file] TEXT, [script_check] TEXT, [verifier_verdict] TEXT, [verifier_reason] TEXT, [verifier_correction] TEXT, [adjudicator] TEXT, [adjudicator_reason] TEXT, [in_final_set] REAL, FOREIGN KEY ([app_id]) REFERENCES apps(app_id));
CREATE INDEX [idx_candidates_app_id] ON [candidates]([app_id]);
CREATE INDEX [idx_candidates_run] ON [candidates]([run]);
CREATE INDEX [idx_candidates_verifier_verdict] ON [candidates]([verifier_verdict]);
CREATE INDEX [idx_candidates_adjudicator] ON [candidates]([adjudicator]);