pub fn check() -> Result<(), String>
The assertion form of report, over this crate’s own tables.
report
The rendered report, when the models and the contract disagree.