Skip to main content

Report.notes

What the report notes about the result as a whole, as str(report)

Report.notes: list[str]

prints them after “note:”: that rows may tie in an ORDER BY (deterministic is False, ties says which keys would help), and that the proof holds for the params given only.