{"all_passed":true,"claim_boundary":"Content-addressed QF_BV prefix-plan transport, fenced materialization, local parent extension, and store-verified SAT; not serialized solver internals, learned-clause transport, a checkable SMT UNSAT proof, or a public-target speedup result","finite":{"differential_cases":32,"false_identity":0,"maximum_depth":4},"live":{"assignments":[{"0":66},{"0":67},{"0":68}],"context_objects":2,"cross_worker_exact_hit":true,"cross_worker_local_hit":false,"parent_reuse":true,"query_store_stats":{"cross_worker_context_exact_hits":1,"cross_worker_context_parent_reuses":1,"cross_worker_context_quota_timeouts":0,"cross_worker_context_results":3},"solver":"cvc5","statuses":["sat","sat","sat"]},"mechanism_cost":{"claim":"mechanism cost only; not an end-to-end speedup result","iterations":20,"maximum_ns":47202801,"median_ns":4123153,"minimum_ns":3269052,"operation":"eight-level exact publish plus verified resolve"},"schema":"symcc-cross-worker-qfbv-context-oracle-v1"}