{
  "actual_mpi_transport": true,
  "actual_multi_host": false,
  "all_checks_passed": true,
  "checks": {
    "all_public_hash_names_match_real_regular_content": true,
    "all_workers_ack": true,
    "completed_epoch_retired_once": true,
    "initial_seed_remains_intact": true,
    "master_published_new_objects": true,
    "no_staged_object_residue": true,
    "real_mpi_run_succeeds": true,
    "run_is_bounded": true,
    "single_master_three_workers_exercised": true,
    "worker_staging_generated_objects": true
  },
  "command": [
    "mpirun",
    "--oversubscribe",
    "-np",
    "4",
    "python3",
    "/home/ubuntu/code/symcc/util/mpi_concolic_execution.py",
    "-i",
    "/tmp/symcc-f339-mpi-24l5nyw_/input",
    "-o",
    "/tmp/symcc-f339-mpi-24l5nyw_/output",
    "-t",
    "1",
    "--max-idle",
    "1",
    "--wall-timeout",
    "30",
    "--",
    "/tmp/symcc-f339-mpi-24l5nyw_/output-contract-target.py"
  ],
  "configuration": {
    "masters": 1,
    "ranks": 4,
    "simulation_mode": false,
    "synthetic_output_contract_target": true,
    "wall_timeout_seconds": 30,
    "work_epoch": "f339f339f339f339f339f339f339f339f339f339f339f339f339f339f339f339",
    "workers": 3
  },
  "deployment_evidence": false,
  "elapsed": 1.7731350138783455,
  "generated_observations": 1,
  "invalid_public_objects": [],
  "new_interesting_objects": 1,
  "proof_boundary": "One real Open MPI run on one physical host and local overlayfs exercises worker staging, master verification, fenced promotion, cleanup, and exact shutdown ACKs. A deterministic synthetic target implements the SymCC output-directory contract but does not invoke a solver. This is not multi-host shared-storage, DSE coverage, solver throughput, bug-discovery, or LAVA-M evidence.",
  "retired_roots": [
    ".retired-standalone-work-f339f339f339f339f339f339f339f339f339f339f339f339f339f339f339f339-ba2fafc9ac3d750ab4c08f5383883c18"
  ],
  "returncode": 0,
  "schema": "symcc-f339-streaming-nofollow-staging-mpi-v1",
  "staged_object_residue": [],
  "synthetic_topology": false,
  "valid_public_objects": [
    "0053098b68e35504adf600963a5f09cd87eec9b9a0edd7106cda9ae4ac328c50",
    "35f6728c19daa04432ce41e8805571c3543f2896ca85ff8b987bf98ca4e91819"
  ]
}