{
  "actual_mpi_transport": false,
  "actual_multihost_filesystem": false,
  "checks": {
    "all_committed_attempts_conserve_outcomes": true,
    "boolean_generation_is_rejected_atomically": true,
    "malformed_member_tuple_is_total_failure": true,
    "nan_elapsed_is_total_failure": true,
    "non_iterable_members_is_total_failure": true,
    "non_iterable_representatives_is_total_failure": true,
    "non_numeric_elapsed_is_total_failure": true,
    "scheduler_exception_is_failure_atomic": true,
    "valid_result_commits_once": true,
    "validator_exception_is_failure_atomic": true
  },
  "checks_passed": 10,
  "checks_total": 10,
  "claim_boundary": "Local production-controller mechanism evidence only; no real MPI, multi-host filesystem, solver, coverage, campaign, bug, or LAVA-M uplift claim.",
  "epoch": "e2ef35b243870513cda1ee0b33bdc1e5952ec500b77c776e312601a7eade98c3",
  "feature": "F353",
  "malformed_completions": {
    "malformed_member_tuple": {
      "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": "",
      "returned": false
    },
    "nan_elapsed": {
      "after": {
        "attempts": 1,
        "failures": 1,
        "generation": 1,
        "in_flight_generation": 0,
        "interval": 5.0,
        "jitter_fraction": 0.0,
        "last_elapsed": 0.0,
        "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.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": "",
      "returned": false
    },
    "non_iterable_members": {
      "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": "",
      "returned": false
    },
    "non_iterable_representatives": {
      "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": "",
      "returned": false
    },
    "non_numeric_elapsed": {
      "after": {
        "attempts": 1,
        "failures": 1,
        "generation": 1,
        "in_flight_generation": 0,
        "interval": 5.0,
        "jitter_fraction": 0.0,
        "last_elapsed": 0.0,
        "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.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": "",
      "returned": false
    }
  },
  "proof_transcript": "ed0411a160ae5807cb7409abdb469b71fa3f07b949d209d5f5d9068edf8962d5",
  "schema": "symcc-f353-failure-atomic-renewal-evidence-v1",
  "solver_or_campaign_executed": false,
  "unexpected_failures": {
    "boolean_generation": {
      "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": "RuntimeError: cluster lock renewal generation mismatch",
      "state_unchanged": true
    },
    "scheduler": {
      "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": "RuntimeError: injected scheduler failure",
      "state_unchanged": true
    },
    "validator": {
      "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": "RuntimeError: injected validator failure",
      "state_unchanged": true
    }
  },
  "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": "",
    "returned": true
  }
}