schema=symcc-f388-evidence-v1
feature=F388
capability=bounded-conditional-cyclic-byte-lane-writer-graph
conditional_llvm18_graphs=1
conditional_llvm18_endpoints=2
conditional_llvm18_transfers=1
conditional_llvm18_store_lanes=1
conditional_llvm18_carry_lanes=1
conditional_llvm18_graph_store_ids=2
conditional_llvm18_bound_poison_stores=1
conditional_llvm17_graphs=1
conditional_llvm17_endpoints=2
conditional_llvm17_transfers=1
conditional_llvm17_store_lanes=1
conditional_llvm17_carry_lanes=1
conditional_llvm17_graph_store_ids=2
conditional_llvm17_bound_poison_stores=1
forwarded_llvm18_graphs=1
forwarded_llvm18_endpoints=2
forwarded_llvm18_transfers=1
forwarded_llvm18_store_lanes=1
forwarded_llvm18_carry_lanes=1
forwarded_llvm18_graph_store_ids=2
forwarded_llvm18_bound_poison_stores=1
targeted_python_passed=5
writer_graph_python_passed=20
related_live_python_passed=79
related_live_python_subtests_passed=51
full_python_passed=908
full_python_subtests_passed=229
full_lit_discovered=246
full_lit_passed=245
full_lit_unsupported=1
controlled_parallelism=32
max_writer_path_blocks=64
forwarded_corridor_blocks=16
path_predecessor_limit=1
proof_partitions=seed,join_prefix,store_leaf,carry_leaf
multiarm_writer_graph=false
recursive_writer_graph=false
general_memoryssa=false
benchmark_claim=false