{
  "instance": "phoenix_sicily_adr_qpu",
  "n_candidates": 12,
  "n_demand_cells": 64,
  "total_risk": 100.0,
  "budget_p": 5,
  "reference_optimal_score": 80.546,
  "reference_proven_optimal": true,
  "backends": {
    "cpsat_exact": {
      "selected": [
        0,
        1,
        8,
        11
      ],
      "score": 80.546,
      "coverage_fraction": 0.8055,
      "gap_vs_reference": 0.0,
      "latency_ms": 25.47,
      "proven_optimal": true,
      "note": "OR-Tools CP-SAT; provably optimal if proven_optimal=True"
    },
    "greedy": {
      "selected": [
        11,
        8,
        1,
        0
      ],
      "score": 80.546,
      "coverage_fraction": 0.8055,
      "gap_vs_reference": 0.0,
      "latency_ms": 0.24,
      "proven_optimal": false,
      "note": "classical greedy max-coverage; (1-1/e) approx; always-available fallback"
    },
    "sa_direct_qinspired": {
      "selected": [
        0,
        1,
        8,
        11
      ],
      "score": 80.546,
      "coverage_fraction": 0.8055,
      "gap_vs_reference": 0.0,
      "latency_ms": 1110.42,
      "proven_optimal": false,
      "note": "simulated annealing (quantum-inspired) on exact objective"
    },
    "ocean_sa_qubo": {
      "selected": [
        11,
        8,
        1,
        0,
        9
      ],
      "score": 80.546,
      "coverage_fraction": 0.8055,
      "gap_vs_reference": 0.0,
      "latency_ms": 988.13,
      "proven_optimal": false,
      "note": "D-Wave Ocean SA on native penalty-QUBO (annealer proxy)"
    },
    "sim_bifurcation_qinspired": {
      "selected": [
        3,
        5,
        0,
        7,
        10
      ],
      "score": 35.8645,
      "coverage_fraction": 0.3586,
      "gap_vs_reference": 44.6815,
      "latency_ms": 87.89,
      "proven_optimal": false,
      "note": "ballistic Simulated Bifurcation (quantum-inspired) on QUBO"
    }
  },
  "classical_baseline_score": 80.546,
  "best_quantum_like_score": 80.546,
  "quantum_advantage_observed": false,
  "fallback_available": true,
  "explanation": "CP-SAT proved the optimum (risk-coverage=80.546) in 25.5 ms -- this is the deployable recommendation. Backends matching the optimum: greedy, sa_direct_qinspired, ocean_sa_qubo. 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": [
      0,
      1,
      8,
      11
    ],
    "site_latlon": [
      [
        37.5582003798573,
        13.420916726473655
      ],
      [
        37.59926603357117,
        13.472729964115809
      ],
      [
        37.54793396642883,
        13.407963417063117
      ],
      [
        37.5736,
        13.4533
      ]
    ],
    "risk_coverage_score": 80.546,
    "coverage_fraction": 0.8055,
    "proven_optimal": true,
    "latency_ms": 25.47,
    "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"
}