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