{
  "schema": "hella.exp043.public-summary.v1",
  "experiment": 43,
  "title": "Final Combined Preregistered V1 Challenge",
  "preregister_commit": "67f0f8d16e23",
  "challenge_seed": 7070562572314546773,
  "frozen_config_sha256": "cc00f3a17c2f884356555db1cd8ad7df0a210872736c9af7f5e48c9d1c6e3ba0",
  "manifest_sha256": "c374a2413a0f9f15e23b530ad7e70ec0b00a84e84261513ef60c666e27841d07",
  "pass_properties": {
    "all_credit_compliant": true,
    "all_fairness_compliant": true,
    "zero_authority_admitted_zero": true,
    "all_mixed_sizes_exercised": true,
    "all_unseen_benign_families_executed": true,
    "all_available_storage_proofs_ok": true,
    "authority_never_above_nominal": true,
    "final_rw_ok": true,
    "final_iscsi_ok": true,
    "overall_pass": true
  },
  "global_write_sizes_seen": [4096, 8192, 16384, 32768, 65536],
  "scenarios": [
    {
      "scenario": "healthy",
      "evidence": {"endpoint": true, "storage": true, "network": true},
      "authority_fraction": 1.0,
      "effective_credit_bytes": 524288,
      "used_bytes": 507904,
      "stop_reason": "proof_ack",
      "rounds_completed": 5,
      "write_sizes_seen": [4096, 8192, 16384, 32768, 65536],
      "service_counts": [5, 5, 5, 5],
      "service_count_spread": 0,
      "credit_compliant": true,
      "fairness_compliant": true,
      "proof_ok": true
    },
    {
      "scenario": "delayed_recovery",
      "evidence": {"endpoint": true, "storage": true, "network": true},
      "authority_fraction": 1.0,
      "effective_credit_bytes": 524288,
      "used_bytes": 524288,
      "stop_reason": "credit_exhausted",
      "rounds_completed": 6,
      "write_sizes_seen": [4096, 8192, 16384, 32768, 65536],
      "service_counts": [6, 6, 6, 6],
      "service_count_spread": 0,
      "credit_compliant": true,
      "fairness_compliant": true,
      "proof_ok": true
    },
    {
      "scenario": "network_loss",
      "evidence": {"endpoint": true, "storage": true, "network": false},
      "authority_fraction": 0.5,
      "effective_credit_bytes": 262144,
      "used_bytes": 245760,
      "stop_reason": "credit_exhausted",
      "rounds_completed": 4,
      "write_sizes_seen": [4096, 8192, 16384, 32768],
      "service_counts": [4, 4, 4, 4],
      "service_count_spread": 0,
      "credit_compliant": true,
      "fairness_compliant": true,
      "proof_ok": true
    },
    {
      "scenario": "storage_witness_loss",
      "evidence": {"endpoint": true, "storage": false, "network": true},
      "authority_fraction": 0.25,
      "effective_credit_bytes": 131072,
      "used_bytes": 114688,
      "stop_reason": "credit_exhausted",
      "rounds_completed": 3,
      "write_sizes_seen": [4096, 8192, 16384],
      "service_counts": [3, 3, 3, 3],
      "service_count_spread": 0,
      "credit_compliant": true,
      "fairness_compliant": true,
      "proof_ok": null
    },
    {
      "scenario": "endpoint_storage_loss",
      "evidence": {"endpoint": false, "storage": false, "network": true},
      "authority_fraction": 0.0,
      "effective_credit_bytes": 0,
      "used_bytes": 0,
      "stop_reason": "authority_zero",
      "rounds_completed": 0,
      "write_sizes_seen": [],
      "service_counts": [0, 0, 0, 0],
      "service_count_spread": 0,
      "credit_compliant": true,
      "fairness_compliant": true,
      "proof_ok": null
    }
  ],
  "final_health": {"rw_ok": true, "iscsi_ok": true},
  "finding": "The preregistered combined challenge passed all frozen V1 properties: finite credit held under four concurrent mixed-size writers, round-robin service remained fair, delayed recovery exhausted credit rather than borrowing, evidence loss contracted authority, and endpoint plus storage witness loss admitted zero new bytes.",
  "truth_boundary": "Prospective generated-workload challenge on owned disposable iSCSI storage. Reservation and witness contraction are implemented in this lab harness; this is not storage-target enforcement, malware benchmarking or a production worst-case guarantee."
}