schema=symcc-f386-evidence-v1 feature=F386 capability=bounded-byte-lane-phi-writer-graph phi_llvm18_graphs=1 phi_llvm18_endpoints=2 phi_llvm18_bound_poison_stores=4 phi_llvm17_graphs=1 phi_llvm17_endpoints=2 phi_llvm17_bound_poison_stores=4 initial_llvm18_graphs=1 initial_llvm18_endpoints=2 initial_llvm18_initial_lanes=2 initial_llvm18_bound_poison_stores=2 cross_function_functions=3 cross_function_nonphi_writer_graphs=1 cross_function_phi_writer_graphs=1 targeted_python_passed=5 related_live_python_passed=69 related_live_python_subtests_passed=51 full_python_passed=898 full_python_subtests_passed=229 full_lit_discovered=244 full_lit_passed=243 full_lit_unsupported=1 controlled_parallelism=32 max_writer_path_blocks=64 endpoint_predecessor_limit=1 general_memoryssa=false cyclic_writer_graph=false benchmark_claim=false