{"all_passed":true,"claim_boundary":"Concrete memory and initializedness equivalence for the bounded i2/i2, i16 Decision-DAG fixture, with value equality asserted only for fully initialized in-object i16 loads; not general LoopSCC, heap, call-effect, solver-time, or campaign-speedup proof","configurations":176,"defined_load_value_equivalences":33,"forks":0,"initialized_loads":33,"initializedness_equivalences":2112,"maximum_steps":27,"memory_byte_equivalences":2112,"partial_or_uninitialized_loads":143,"payload":4660,"schema":"symcc-executable-loop-summary-differential-v1","summary_transfers":176}