Verified Circularity for Niagara’s Industry