{
    "mode": "candidate",
    "assertions": 22,
    "failures": [],
    "expected_red": false,
    "HTTP": 0,
    "PDO": 0,
    "DML": 0,
    "DDL": 0,
    "oracle": "independent captured formal B\/C physical and getter values; finite capacity cases are pure source-model only"
}