Every audit reports the records it was computed from — the full DMARC tree walk, the SPF lookup count, and which DKIM selectors answered — so a verdict you disagree with can be re-derived from public DNS rather than argued about.
Treewalk is a Drumlin Labs tool. How the studio works is stated once, over at labs.drumlin.dev.
Questions and wrong results: support.