{
  "instance": "phoenix_sicily_adr",
  "n_candidates": 26,
  "n_demand_cells": 256,
  "total_risk": 100.0,
  "budget_p": 10,
  "reference_optimal_score": 68.5267,
  "reference_proven_optimal": true,
  "backends": {
    "cpsat_exact": {
      "selected": [
        3,
        5,
        9,
        10,
        18,
        19,
        21,
        22,
        24,
        25
      ],
      "score": 68.5267,
      "coverage_fraction": 0.6853,
      "gap_vs_reference": 0.0,
      "latency_ms": 63.26,
      "proven_optimal": true,
      "note": "OR-Tools CP-SAT; provably optimal if proven_optimal=True"
    },
    "greedy": {
      "selected": [
        25,
        15,
        22,
        9,
        0,
        18,
        10,
        21,
        19,
        3
      ],
      "score": 68.4145,
      "coverage_fraction": 0.6841,
      "gap_vs_reference": 0.1122,
      "latency_ms": 0.9,
      "proven_optimal": false,
      "note": "classical greedy max-coverage; (1-1/e) approx; always-available fallback"
    },
    "sa_direct_qinspired": {
      "selected": [
        3,
        5,
        9,
        10,
        18,
        19,
        21,
        22,
        24,
        25
      ],
      "score": 68.5267,
      "coverage_fraction": 0.6853,
      "gap_vs_reference": 0.0,
      "latency_ms": 1251.85,
      "proven_optimal": false,
      "note": "simulated annealing (quantum-inspired) on exact objective"
    },
    "ocean_sa_qubo": {
      "selected": [
        25,
        15,
        22,
        9,
        0,
        18,
        10,
        19,
        3,
        16
      ],
      "score": 66.2815,
      "coverage_fraction": 0.6628,
      "gap_vs_reference": 2.2452,
      "latency_ms": 4939.11,
      "proven_optimal": false,
      "note": "D-Wave Ocean SA on native penalty-QUBO (annealer proxy)"
    },
    "sim_bifurcation_qinspired": {
      "selected": [
        13,
        9,
        18,
        7,
        11,
        10,
        8,
        1,
        23,
        14
      ],
      "score": 56.2155,
      "coverage_fraction": 0.5622,
      "gap_vs_reference": 12.3112,
      "latency_ms": 454.47,
      "proven_optimal": false,
      "note": "ballistic Simulated Bifurcation (quantum-inspired) on QUBO"
    }
  },
  "classical_baseline_score": 68.5267,
  "best_quantum_like_score": 68.5267,
  "quantum_advantage_observed": false,
  "fallback_available": true,
  "explanation": "CP-SAT proved the optimum (risk-coverage=68.527) in 63.3 ms -- this is the deployable recommendation. Backends matching the optimum: sa_direct_qinspired. No quantum/quantum-inspired advantage observed at this scale (same score, higher latency than CP-SAT). Quantum stays a benchmark backend, not a dependency.",
  "recommended_action": {
    "place_sensors_at_site_ids": [
      3,
      5,
      9,
      10,
      18,
      19,
      21,
      22,
      24,
      25
    ],
    "site_latlon": [
      [
        37.57719324469996,
        13.512237557817949
      ],
      [
        37.55563377650018,
        13.466900974881066
      ],
      [
        37.6131256916996,
        13.430631708531559
      ],
      [
        37.54844728710025,
        13.494102924643196
      ],
      [
        37.5340743083004,
        13.439699025118935
      ],
      [
        37.598752712899746,
        13.457833658293689
      ],
      [
        37.58437973409989,
        13.403429758769429
      ],
      [
        37.57719324469996,
        13.403429758769429
      ],
      [
        37.56282026590011,
        13.466900974881066
      ],
      [
        37.5736,
        13.4533
      ]
    ],
    "risk_coverage_score": 68.5267,
    "coverage_fraction": 0.6853,
    "proven_optimal": true,
    "latency_ms": 63.26,
    "fallback": "greedy (always available; (1-1/e) bound)"
  },
  "data_provenance": "SYNTHETIC illustrative \u2014 replace with Gaetano's real sites + EFFIS/fuel risk layer + LoRa/road flags",
  "product_boundary": "PHOENIX-only instance of the neutral geo-optimize library; shares no data plane with OLDGABE/INGV instances"
}