{
  "checks": [
    "fenced owner joined before recovery",
    "mismatched policy refuses reopen",
    "new owner starts with no sessions or pending work",
    "source handles advance past old owner",
    "recovered replay returns success without append",
    "fresh admission works after recovery",
    "quarantine commits after recovery",
    "quarantined claim rejected without fencing",
    "other slot remains usable",
    "only new admission and quarantine append"
  ],
  "final_claims": 3,
  "final_conflicts": 1,
  "journal_growth_after_reopen": 442,
  "limitations": "Same-process clean owner shutdown and new loopback listener after delayed completion; not process crash or stuck fsync. Recovery uses fixture policy/time and preloaded descriptors. Six stable model observations, not arbitrary recovery schedules or full protocol conformance.",
  "network_checkpoints": [
    {
      "busy": false,
      "claims": 2,
      "fenced": false,
      "phase": "reopened_owner_clean",
      "queued": 0,
      "responses": [
        0,
        0,
        0
      ],
      "sessions": 0,
      "submitted": 0
    },
    {
      "busy": false,
      "claims": 2,
      "fenced": false,
      "phase": "recovered_replay",
      "queued": 0,
      "responses": [
        0,
        1,
        0
      ],
      "sessions": 0,
      "submitted": 1
    },
    {
      "busy": false,
      "claims": 3,
      "fenced": false,
      "phase": "new_admission",
      "queued": 0,
      "responses": [
        0,
        2,
        0
      ],
      "sessions": 0,
      "submitted": 2
    },
    {
      "busy": false,
      "claims": 3,
      "fenced": false,
      "phase": "quarantine",
      "queued": 0,
      "responses": [
        0,
        2,
        1
      ],
      "sessions": 0,
      "submitted": 3
    },
    {
      "busy": false,
      "claims": 3,
      "fenced": false,
      "phase": "quarantined_rejection",
      "queued": 0,
      "responses": [
        1,
        2,
        1
      ],
      "sessions": 0,
      "submitted": 4
    },
    {
      "busy": false,
      "claims": 3,
      "fenced": false,
      "phase": "other_slot_replay",
      "queued": 0,
      "responses": [
        1,
        3,
        1
      ],
      "sessions": 0,
      "submitted": 5
    }
  ],
  "passed": true,
  "profile": "network-recovery-v1"
}