{
    "mode": "original",
    "assertions": 8,
    "failures": [
        "12345 actual B promoted32 write oracle",
        "1234567 actual B promoted32 write oracle",
        "1234567 actual B getter oracle"
    ],
    "expected_red": true,
    "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"
}