{"all_passed":true,"claim_boundary":"Finite two-level i16 affine Decision DAG and descending last-write equivalence only; not executable loop replacement, general LoopSCC, coverage, solver time, defect yield, or end-to-end speedup","configurations":1152,"runtime_complete_loads":114048,"runtime_defined_byte_equivalences":165888,"runtime_load_vector_equivalences":55296,"runtime_scalar_load_equivalences":608256,"runtime_uninitialized_or_partial_loads":494208,"schema":"symcc-nested-loop-memoryphi-decision-dag-oracle-v1","shared_and_unshared_dags":true,"specialized_path_lengths":{"one_guard":3456,"two_guards":3456},"unsupported_cases_rejected":6}