schema=symcc-f370-evidence-boundaries-v1
legacy_blocking_pipe_reproduced=true
legacy_blocking_scm_rights_reproduced=true
bounded_utf8_commit_frame_implemented=true
request_limit_bytes=268500992
timeout_exact_int_range_implemented=true
shared_absolute_monotonic_deadline=true
nonblocking_descriptor_send=true
nonblocking_pipe_write=true
response_consumes_same_deadline=true
partial_generation_retirement_verified=true
cold_recovery_verified=true
pure_preflight_preserves_generation=true
query_ir_max_witness_representable=true
canonical_pytest_identities=787
capabilities_required=16
filtered_query_string_lit_executed=true
full_llvm_lit_suite_executed=false
cross_host_filesystem_qualified=false
github_hosted_job_executed=false
vendored_qsym_pin_executed=false
actual_mpi_transport=false
public_solver_campaign_executed=false
coverage_or_lava_m_executed=false
performance_or_uplift_claim=none
linux_specific_contract=true