-record(report, {findings :: list(sqlode@verify:finding())}).