{"accepted_trees":48,"all_passed":true,"claim_boundary":"complete acyclic binary guard trees, finite ordinary heap bases, and static scalar intervals only; not arbitrary MemorySSA, loops, dynamic indices, or interprocedural clobber reasoning","depths":[1,2,3,4,5,6],"guard_mismatch_rejections":1008,"interval_checks":1008,"load_widths":[1,2,3,4,5,6,7,8],"maximum_paths":64,"missing_store_rejections":1008,"partial_width_rejections":1008,"path_assignments":1008,"rejected_certificate_mutations":10,"schema":"symcc-guarded-heap-union-init-oracle-v1"}