{
  "actual_mpi_transport": false,
  "actual_multihost_filesystem": false,
  "arithmetic_exception": {
    "after": {
      "attempts": 0,
      "failures": 0,
      "generation": 0,
      "in_flight_generation": 1,
      "interval": 5.0,
      "jitter_fraction": 0.0,
      "last_elapsed": 0.0,
      "last_scheduled_interval": 0.0,
      "maximum_interval": 5.0,
      "next_scheduled_interval": 5.0,
      "schema": "symcc-cluster-lock-renewal-metrics-v2",
      "successes": 0,
      "timeout": 2.0,
      "total_elapsed": 1.7976931348623157e+308
    },
    "before": {
      "attempts": 0,
      "failures": 0,
      "generation": 0,
      "in_flight_generation": 1,
      "interval": 5.0,
      "jitter_fraction": 0.0,
      "last_elapsed": 0.0,
      "last_scheduled_interval": 0.0,
      "maximum_interval": 5.0,
      "next_scheduled_interval": 5.0,
      "schema": "symcc-cluster-lock-renewal-metrics-v2",
      "successes": 0,
      "timeout": 2.0,
      "total_elapsed": 1.7976931348623157e+308
    },
    "error": "cluster lock renewal elapsed total overflow",
    "successful": false
  },
  "base_exception": {
    "error": "KeyboardInterrupt: injected process control",
    "state_unchanged": true
  },
  "bounded_diagnostic": {
    "after": {
      "attempts": 0,
      "failures": 0,
      "generation": 0,
      "in_flight_generation": 1,
      "interval": 5.0,
      "jitter_fraction": 0.0,
      "last_elapsed": 0.0,
      "last_scheduled_interval": 0.0,
      "maximum_interval": 5.0,
      "next_scheduled_interval": 5.0,
      "schema": "symcc-cluster-lock-renewal-metrics-v2",
      "successes": 0,
      "timeout": 2.0,
      "total_elapsed": 0.0
    },
    "before": {
      "attempts": 0,
      "failures": 0,
      "generation": 0,
      "in_flight_generation": 1,
      "interval": 5.0,
      "jitter_fraction": 0.0,
      "last_elapsed": 0.0,
      "last_scheduled_interval": 0.0,
      "maximum_interval": 5.0,
      "next_scheduled_interval": 5.0,
      "schema": "symcc-cluster-lock-renewal-metrics-v2",
      "successes": 0,
      "timeout": 2.0,
      "total_elapsed": 0.0
    },
    "error": "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx",
    "state_unchanged": true,
    "successful": false
  },
  "checks": {
    "arithmetic_exception_is_contained": true,
    "arithmetic_exception_preserves_snapshot": true,
    "base_exception_is_not_swallowed": true,
    "diagnostic_is_bounded": true,
    "invalid_controller_is_rejected": true,
    "proof_rejection_commits_failure": true,
    "unexpected_exception_is_contained": true,
    "unexpected_exception_preserves_snapshot": true,
    "valid_proof_commits_success": true
  },
  "checks_passed": 9,
  "checks_total": 9,
  "claim_boundary": "Local production-controller containment evidence only; no real MPI, multi-host filesystem, solver, coverage, campaign, bug, or LAVA-M uplift claim.",
  "epoch": "1f8c0992925f1453fa45d4e53e0c9535831bc426bdd50ed7a869ba52e33a05f6",
  "feature": "F354",
  "proof_rejection": {
    "after": {
      "attempts": 1,
      "failures": 1,
      "generation": 1,
      "in_flight_generation": 0,
      "interval": 5.0,
      "jitter_fraction": 0.0,
      "last_elapsed": 0.125,
      "last_scheduled_interval": 5.0,
      "maximum_interval": 5.0,
      "next_scheduled_interval": 5.0,
      "schema": "symcc-cluster-lock-renewal-metrics-v2",
      "successes": 0,
      "timeout": 2.0,
      "total_elapsed": 0.125
    },
    "before": {
      "attempts": 0,
      "failures": 0,
      "generation": 0,
      "in_flight_generation": 1,
      "interval": 5.0,
      "jitter_fraction": 0.0,
      "last_elapsed": 0.0,
      "last_scheduled_interval": 0.0,
      "maximum_interval": 5.0,
      "next_scheduled_interval": 5.0,
      "schema": "symcc-cluster-lock-renewal-metrics-v2",
      "successes": 0,
      "timeout": 2.0,
      "total_elapsed": 0.0
    },
    "error": "",
    "successful": false
  },
  "proof_transcript": "67d5323ac533dbaa405691aa5fabe3e0d8a1fbab893ef00a1e39490d1390d2b3",
  "schema": "symcc-f354-rank-contained-renewal-evidence-v1",
  "solver_or_campaign_executed": false,
  "unexpected_exception": {
    "after": {
      "attempts": 0,
      "failures": 0,
      "generation": 0,
      "in_flight_generation": 1,
      "interval": 5.0,
      "jitter_fraction": 0.0,
      "last_elapsed": 0.0,
      "last_scheduled_interval": 0.0,
      "maximum_interval": 5.0,
      "next_scheduled_interval": 5.0,
      "schema": "symcc-cluster-lock-renewal-metrics-v2",
      "successes": 0,
      "timeout": 2.0,
      "total_elapsed": 0.0
    },
    "before": {
      "attempts": 0,
      "failures": 0,
      "generation": 0,
      "in_flight_generation": 1,
      "interval": 5.0,
      "jitter_fraction": 0.0,
      "last_elapsed": 0.0,
      "last_scheduled_interval": 0.0,
      "maximum_interval": 5.0,
      "next_scheduled_interval": 5.0,
      "schema": "symcc-cluster-lock-renewal-metrics-v2",
      "successes": 0,
      "timeout": 2.0,
      "total_elapsed": 0.0
    },
    "error": "injected rank-local failure",
    "state_unchanged": true,
    "successful": false
  },
  "valid_completion": {
    "after": {
      "attempts": 1,
      "failures": 0,
      "generation": 1,
      "in_flight_generation": 0,
      "interval": 5.0,
      "jitter_fraction": 0.0,
      "last_elapsed": 0.125,
      "last_scheduled_interval": 5.0,
      "maximum_interval": 5.0,
      "next_scheduled_interval": 5.0,
      "schema": "symcc-cluster-lock-renewal-metrics-v2",
      "successes": 1,
      "timeout": 2.0,
      "total_elapsed": 0.125
    },
    "before": {
      "attempts": 0,
      "failures": 0,
      "generation": 0,
      "in_flight_generation": 1,
      "interval": 5.0,
      "jitter_fraction": 0.0,
      "last_elapsed": 0.0,
      "last_scheduled_interval": 0.0,
      "maximum_interval": 5.0,
      "next_scheduled_interval": 5.0,
      "schema": "symcc-cluster-lock-renewal-metrics-v2",
      "successes": 0,
      "timeout": 2.0,
      "total_elapsed": 0.0
    },
    "error": "",
    "successful": true
  }
}