## Node.report


The [Report](Report.md#sverify.Report) of the contract that made the node's result: the


`Node.report: Report | None`


last transform's proof over its inputs, where a contracted node upstream is a placeholder table under that transform's name, assumed to meet what it guarantees. None for a source, or a node of a transform without a contract.