Certifying a compact topological 4-manifold