The dossier works by making a system legible and bounded rather than provably clean. Provably clean is not currently available for any model from any lab.
(Please use a modern browser to see the interactive version of this visualization)