{
  "program_scope": {
    "repositories_audited_total": 68,
    "automated_cpp_campaigns": 28,
    "deep_repository_audits": 40,
    "evidence_tiers_count": 3,
    "e1_executed_proofs_total": 85,
    "e1_projects_count": 32,
    "e2_source_traces_total": 137,
    "private_cvd_reports_embargoed": 31,
    "embargo_window_days": 90,
    "cleared_repositories_count": 10,
    "cleared_codebases_with_pyyaml_count": 11,
    "test_only_finding_excluded_from_cvd": 1
  },
  "static_to_execution_funnel": {
    "static_hazard_slices_scanned": 338,
    "semdedup_clusters": 245,
    "semdedup_reduction_slices": 93,
    "semdedup_reduction_pct": 27.5,
    "semdedup_cosine_threshold": 0.85,
    "embedding_dimensions": 1024,
    "embedding_latency_ms": 76.8,
    "triage_model_params_b": 4,
    "triage_output_tokens": 0,
    "triage_latency_min_ms": 212,
    "triage_latency_max_ms": 226,
    "triage_threshold_tau": 0.28,
    "triage_escalated_clusters": 89,
    "triage_escalated_clusters_pct": 36.3,
    "tracer_model_params_b": 38,
    "tracer_concurrent_workers": 2,
    "tracer_prefill_min_tok_s": 1305,
    "tracer_prefill_max_tok_s": 3184,
    "local_gpu_count": 4,
    "local_vram_gb": 128,
    "high_confidence_static_claims_tested": 32,
    "refuted_false_positives_count": 26,
    "refuted_false_positives_pct": 81.3,
    "refuted_false_positives_exact_pct": 81.25,
    "confirmed_cpp_claims_count": 6,
    "confirmed_cpp_claims_pct": 18.8,
    "confirmed_cpp_claims_exact_pct": 18.75,
    "literature_fp_min_pct": 50.0,
    "literature_fp_max_pct": 80.0
  },
  "refutation_taxonomy_26": {
    "total_refuted": 26,
    "caller_bounds_clamping_count": 14,
    "caller_bounds_clamping_pct": 53.8,
    "caller_bounds_clamping_exact_pct": 53.85,
    "release_macro_routing_count": 6,
    "release_macro_routing_pct": 23.1,
    "release_macro_routing_exact_pct": 23.08,
    "sentinel_ownership_conventions_count": 4,
    "sentinel_ownership_conventions_pct": 15.4,
    "sentinel_ownership_conventions_exact_pct": 15.38,
    "vm_sigill_instruction_traps_count": 2,
    "vm_sigill_instruction_traps_pct": 7.7,
    "vm_sigill_instruction_traps_exact_pct": 7.69,
    "pgvector_refuted_claims": 4,
    "pgvector_sparsevec_max_dim": 16383,
    "pgvector_max_blocks_kb": 128,
    "libarchive_refuted_claims": 3,
    "libarchive_caller_cap_kib": 256,
    "libarchive_max_read_kib": 768,
    "libarchive_window_buf_mib": 1,
    "libarchive_tablesize_min": 10,
    "libarchive_tablesize_max": 5040,
    "haproxy_refuted_claims": 1,
    "haproxy_claimed_confidence": 0.92,
    "clickhouse_refuted_claims": 4,
    "clickhouse_reproducer_seeds": 230
  },
  "cleared_targets_battery": {
    "cleared_targets_count": 10,
    "disclosable_vulns_on_cleared": 0,
    "pyyaml_libyaml_asan_runs": 3250000,
    "pyyaml_libyaml_asan_runs_m": 3.25,
    "envoy_fuzz_inputs": 201904,
    "envoy_files_audited": 17,
    "envoy_campaign_hours": 3.5,
    "mlflow_routes_total": 535,
    "mlflow_flask_routes": 388,
    "mlflow_fastapi_routes": 147,
    "mlflow_traversal_payloads": 14,
    "github_mcp_concurrent_races": 120,
    "github_mcp_isolation_batteries": 6,
    "nextjs_surfaces_cleared": 15,
    "nextjs_max_low_cvss": 2.2,
    "xerj_crafted_pdf_probes": 14,
    "xerj_rlimit_as_mib": 1536,
    "xerj_worker_timeout_s": 120,
    "authelia_probes_cleared": 14,
    "axios_redirect_bomb_probes": 13,
    "axios_bomb_input_bytes": 400,
    "axios_bomb_expanded_mb": 40,
    "axios_aborted_rss_mb": 0.8,
    "mcp_python_sdk_classes_cleared": 8,
    "mcp_python_sdk_body_cap_mib": 4,
    "mcp_python_sdk_json_depth_tested": 100000,
    "fastmcp_advisory_classes_cleared": 6,
    "twisted_advisory_classes_cleared": 6,
    "twisted_dns_jump_budget": 1000
  },
  "standards_and_cross_refs": {
    "iso_42001_number": 42001,
    "iso_42001_year": 2023,
    "iso_29147_number": 29147,
    "iso_30111_number": 30111,
    "report_07_num": 7,
    "report_08_num": 8,
    "report_09_num": 9,
    "report_10_num": 10,
    "report_11_num": 11,
    "report_12_num": 12,
    "report_13_num": 13,
    "report_15_num": 15
  }
}