{"accepted_covers":49896,"all_passed":true,"callsites":{"maximum":64,"minimum":2},"claim_boundary":"finite direct callsites, one straight-line callee store, constant parameter-relative offsets, and exact artifact identity; not recursion, indirect calls, conditional writers, dynamic intervals, exceptions, or public-target performance","interval_instantiations":182196,"noncover_rejections":132300,"object_sizes":{"maximum":8,"minimum":1},"rejected_certificate_mutations":8,"schema":"symcc-interprocedural-effect-oracle-results-v1","wrong_callsite_rejections":49896}