{"accepted_graphs":504,"alias_mismatch_rejections":16632,"all_passed":true,"claim_boundary":"bounded acyclic MemorySSA phi/def graphs, ordinary heap bases, static scalar intervals, and explicit NoAlias/NoModRef skips only; not unbounded loops, arbitrary symbolic offsets, or interprocedural memory summaries","edge_assignments":16632,"fan_in":{"maximum":64,"minimum":2},"interval_checks":16632,"load_widths":[1,2,3,4,5,6,7,8],"maximum_nodes":128,"maximum_phi_depth":8,"missing_store_rejections":16632,"noalias_skips":16632,"partial_width_rejections":16632,"rejected_certificate_mutations":8,"schema":"symcc-memoryssa-aa-heap-init-oracle-v1"}