schema=symcc-f394-evidence-v1
capability=symcc-ucsan-explicit-object-checkers-v1
paper_semantics=allocation-level-oob-alias-uaf-v1
jiti_policy=bounded-growth
explicit_policy=strict-allocation-bounds
heap_release=prevalidated-tombstone-v1
reallocate=prepare-native-commit-v1
reallocate_changed_range_shadow=cleared
stack_lifecycle=dynamic-frame-token-v1
known_shadow_membership=true
c_allocators=true
itanium_cpp_allocators=true
cxx_unwind=true
musttail_fail_closed=true
windows_funclet=false
byte_level_ubi=false
custom_allocator_effects=false
kernel_abi=false
coverage_or_bug_claim=false
cross_system_speedup_claim=false
pytest_inventory_count=954
pytest_inventory_sha256=80c32424bfce762836a8b728e7ce69ad4bb513745bc56c02a7e0ac3182412c31
full_python=954-passed-235-subtests
full_lit=255-passed-1-unsupported
targeted_llvm18=9-passed
targeted_llvm17=9-passed
mechanism_modes=14
mechanism_samples_per_mode=11
mechanism_outcomes=154/154
delivery_verifier=PASS