{
  "text": "{\n  \"successor_sha256\": \"6a98aee36e95661b253ec01561b265836c6132477d8adc3e8e226abfa2c71540\",\n  \"legacy_error\": {\n    \"source_line\": 16,\n    \"assertion_name\": null,\n    \"hresult\": -2147024864,\n    \"exception_type\": \"System.IO.IOException\"\n  },\n  \"checks\": [\n    {\n      \"passed\": true,\n      \"name\": \"live writer refuses legacy ReadAllText with sharing violation\"\n    },\n    {\n      \"passed\": true,\n      \"name\": \"shared reader sees exact bytes while writer remains open\"\n    },\n    {\n      \"passed\": true,\n      \"name\": \"owned header followed by marker admits\"\n    },\n    {\n      \"passed\": true,\n      \"name\": \"wrong pid refuses\"\n    },\n    {\n      \"passed\": true,\n      \"name\": \"wrong generation refuses\"\n    },\n    {\n      \"passed\": true,\n      \"name\": \"marker without header refuses\"\n    },\n    {\n      \"passed\": true,\n      \"name\": \"marker before owned header refuses\"\n    },\n    {\n      \"passed\": true,\n      \"name\": \"later other process header ends owned section\"\n    },\n    {\n      \"passed\": true,\n      \"name\": \"actual rollback guard retains assertion identity and line\"\n    },\n    {\n      \"passed\": true,\n      \"name\": \"newly rolled same-run header can supply marker\"\n    },\n    {\n      \"passed\": true,\n      \"name\": \"preexisting rolled evidence is excluded\"\n    },\n    {\n      \"passed\": true,\n      \"name\": \"newly rolled wrong pid refuses\"\n    },\n    {\n      \"passed\": true,\n      \"name\": \"nonassert failure records type and HResult without message\"\n    }\n  ],\n  \"rig_mutations\": 0,\n  \"opaque_error\": {\n    \"source_line\": 36,\n    \"assertion_name\": null,\n    \"hresult\": -2146232800,\n    \"exception_type\": \"System.IO.IOException\"\n  },\n  \"assertion_error\": {\n    \"source_line\": 1,\n    \"assertion_name\": \"PROMOTION_BYTES_UNVERIFIED_OR_ROLLBACK\",\n    \"hresult\": -2146233079,\n    \"exception_type\": \"System.InvalidOperationException\"\n  },\n  \"fleet_terminations\": 0,\n  \"product_invocations\": 0\n}\n\n\nWall time: 1.25 seconds",
  "details": {
    "timeoutSeconds": 20,
    "wallTimeMs": 1251.6286999881268
  }
}