certora-validator-1 reported as active — Canton Update 1220e746fd…9c37b4 · CC Space