{"all_passed":true,"candidates":8,"claim_boundary":"Finite two-byte continuation fixture with source-level replay; not native KLEE equivalence, arbitrary external effects, coverage speedup, or public-campaign evidence","configurations":8,"mutation_rejections":6,"planner_outcomes":8,"released_configurations":4,"schema":"symcc-agolic-bse-finite-oracle-v1","source_replay_equivalences":8,"target_false_sets":4,"target_true_sets":4,"unreleased_configurations":4}