{"all_passed":true,"claim_boundary":"finite ordinary heap bases and dominating scalar stores only; not a proof for arbitrary symbolic heaps or path-correlated branch-local stores","domains":31,"interval_checks":4216,"legacy_single_store_rejections":248,"lifetime_assignments":10912,"maximum_domain":32,"nondominating_cover_rejections":248,"partial_cover_rejections":248,"rejected_certificate_mutations":4,"schema":"symcc-collective-heap-union-init-oracle-v1"}