{"claim_boundary":"synthetic selector cost and fixed-weight ordering only; no public coverage, solver-time, bug-yield, or end-to-end speedup claim","exploit_proposal_cost":{"maximum_ns":16062314,"median_ns":1449271,"minimum_ns":1169421},"explore_proposal_cost":{"maximum_ns":43004302,"median_ns":30480083,"minimum_ns":27875462},"fixed_weight_target_latency":{"dispatch_reduction":0.998003992015968,"fifo_dispatches":501,"same_candidate_set":true,"topseed_dispatches":1},"parameters":{"candidates":10000,"coverage_groups":2500,"exploit_candidates":512,"repeats":11,"target_distractors":500},"restore_cost":{"maximum_ns":60744090,"median_ns":54078208,"minimum_ns":52071397},"schema":"symcc-topseed-mechanism-benchmark-v1","snapshot_bytes":2865767,"snapshot_cost":{"maximum_ns":10009304,"median_ns":5312926,"minimum_ns":4855998}}