{
  "actual_mpi_transport": true,
  "actual_multi_host": false,
  "all_checks_passed": true,
  "checks": {
    "all_workers_ack": true,
    "content_addressed_seed_is_intact": true,
    "current_epoch_is_retired_normally": true,
    "lexical_top_k_is_reclaimed": true,
    "multi_master_frontend_exercised": true,
    "production_gc_summary_is_exact": true,
    "real_mpi_run_succeeds": true,
    "retired_root_conservation_holds": true,
    "retirement_primitive_is_qualified": true,
    "run_is_bounded": true,
    "streaming_scan_telemetry_is_exact": true,
    "unselected_fixture_roots_are_retained": true
  },
  "command": [
    "mpirun",
    "--oversubscribe",
    "-np",
    "7",
    "python3",
    "/home/ubuntu/code/symcc/util/mpi_concolic_execution.py",
    "-i",
    "/tmp/symcc-f338-streaming-mpi-l5dy0bv3/input",
    "-o",
    "/tmp/symcc-f338-streaming-mpi-l5dy0bv3/output",
    "-t",
    "1",
    "--max-idle",
    "1",
    "--wall-timeout",
    "3",
    "--workers-per-master",
    "3",
    "--simulate",
    "--",
    "/bin/true"
  ],
  "configuration": {
    "fixture_candidate_count": 17,
    "masters": 2,
    "ranks": 7,
    "retired_gc_entry_budget": 32,
    "retired_gc_root_limit": 4,
    "retired_gc_time_budget_seconds": 1.0,
    "work_epoch": "f338f338f338f338f338f338f338f338f338f338f338f338f338f338f338f338",
    "workers": 5
  },
  "corpus_seed_digest": "c792c6aeabaeeca09fecce9a6ac6edf4438451cbb9fafdeaac1bc08106b8f76b",
  "corpus_seed_intact": true,
  "deployment_evidence": false,
  "elapsed": 3.7090240519028157,
  "expected_reclaimed_roots": [
    ".retired-standalone-work-0000000000000000000000000000000000000000000000000000000000000000-00000000000000000000000000000000",
    ".retired-standalone-work-0000000000000000000000000000000000000000000000000000000000000001-00000000000000000000000000000001",
    ".retired-standalone-work-0000000000000000000000000000000000000000000000000000000000000002-00000000000000000000000000000002",
    ".retired-standalone-work-0000000000000000000000000000000000000000000000000000000000000003-00000000000000000000000000000003"
  ],
  "new_epoch_roots": [
    ".retired-standalone-work-f338f338f338f338f338f338f338f338f338f338f338f338f338f338f338f338-6a75e45753f6a987e4871417141b2d80"
  ],
  "proof_boundary": "One real Open MPI run on one physical host and local overlayfs proves production scan telemetry, deterministic lexical top-k selection, exact worker ACKs, and normal retirement. It does not prove bounded full-scan latency, multi-host shared-storage behavior, DSE throughput, solver, coverage, bug-discovery, or LAVA-M uplift.",
  "retained_fixture_roots": [
    ".retired-standalone-work-0000000000000000000000000000000000000000000000000000000000000004-00000000000000000000000000000004",
    ".retired-standalone-work-0000000000000000000000000000000000000000000000000000000000000005-00000000000000000000000000000005",
    ".retired-standalone-work-0000000000000000000000000000000000000000000000000000000000000006-00000000000000000000000000000006",
    ".retired-standalone-work-0000000000000000000000000000000000000000000000000000000000000007-00000000000000000000000000000007",
    ".retired-standalone-work-0000000000000000000000000000000000000000000000000000000000000008-00000000000000000000000000000008",
    ".retired-standalone-work-0000000000000000000000000000000000000000000000000000000000000009-00000000000000000000000000000009",
    ".retired-standalone-work-000000000000000000000000000000000000000000000000000000000000000a-0000000000000000000000000000000a",
    ".retired-standalone-work-000000000000000000000000000000000000000000000000000000000000000b-0000000000000000000000000000000b",
    ".retired-standalone-work-000000000000000000000000000000000000000000000000000000000000000c-0000000000000000000000000000000c",
    ".retired-standalone-work-000000000000000000000000000000000000000000000000000000000000000d-0000000000000000000000000000000d",
    ".retired-standalone-work-000000000000000000000000000000000000000000000000000000000000000e-0000000000000000000000000000000e",
    ".retired-standalone-work-000000000000000000000000000000000000000000000000000000000000000f-0000000000000000000000000000000f",
    ".retired-standalone-work-0000000000000000000000000000000000000000000000000000000000000010-00000000000000000000000000000010"
  ],
  "retired_roots_after_run": [
    ".retired-standalone-work-0000000000000000000000000000000000000000000000000000000000000004-00000000000000000000000000000004",
    ".retired-standalone-work-0000000000000000000000000000000000000000000000000000000000000005-00000000000000000000000000000005",
    ".retired-standalone-work-0000000000000000000000000000000000000000000000000000000000000006-00000000000000000000000000000006",
    ".retired-standalone-work-0000000000000000000000000000000000000000000000000000000000000007-00000000000000000000000000000007",
    ".retired-standalone-work-0000000000000000000000000000000000000000000000000000000000000008-00000000000000000000000000000008",
    ".retired-standalone-work-0000000000000000000000000000000000000000000000000000000000000009-00000000000000000000000000000009",
    ".retired-standalone-work-000000000000000000000000000000000000000000000000000000000000000a-0000000000000000000000000000000a",
    ".retired-standalone-work-000000000000000000000000000000000000000000000000000000000000000b-0000000000000000000000000000000b",
    ".retired-standalone-work-000000000000000000000000000000000000000000000000000000000000000c-0000000000000000000000000000000c",
    ".retired-standalone-work-000000000000000000000000000000000000000000000000000000000000000d-0000000000000000000000000000000d",
    ".retired-standalone-work-000000000000000000000000000000000000000000000000000000000000000e-0000000000000000000000000000000e",
    ".retired-standalone-work-000000000000000000000000000000000000000000000000000000000000000f-0000000000000000000000000000000f",
    ".retired-standalone-work-0000000000000000000000000000000000000000000000000000000000000010-00000000000000000000000000000010",
    ".retired-standalone-work-f338f338f338f338f338f338f338f338f338f338f338f338f338f338f338f338-6a75e45753f6a987e4871417141b2d80"
  ],
  "returncode": 0,
  "scan_observation": {
    "candidate_roots": 17,
    "scanned_entries": 19,
    "selected_roots": 4
  },
  "schema": "symcc-f338-streaming-retired-discovery-mpi-v1",
  "synthetic_topology": false
}