pub fn structure_errors(doc: &Value) -> Vec<String>Expand description
R14’s structural checks on the accounting, apart from the source: no invariant listed twice, no obligation listed twice under one invariant, and every invariant of the baseline still accounted.