{
  "schemaVersion": 1,
  "kind": "worked-calculation",
  "generatedDate": "2026-10-22",
  "source": {
    "url": "https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-muralidhar.pdf",
    "location": "section 6.5, printed page 394 / PDF page 13",
    "accessed": "2026-10-22"
  },
  "inputs": {
    "logical_pb": "65",
    "baseline_factor": "18/5",
    "deleted_space_share": "17/250",
    "rounded_multiplier": "107/100"
  },
  "formula": "(baseline - replacement / (1 - deleted_space_share)) * logical_pb",
  "limitations": [
    "65 PB is an illustrative substitution, not the exact deployed corpus size.",
    "The source reports more than 65 PB and a partially deployed mix.",
    "The deleted share is treated as a space fraction for this capacity equation.",
    "Exact fractions audit printed arithmetic, not the accuracy of measured inputs.",
    "No fleet measurements, confidence interval, prices or deployment mixture inferred."
  ],
  "rows": [
    {
      "replacement_factor": "14/5",
      "exact_reduction_pb_fraction": "9022/233",
      "exact_reduction_pb": 38.72103004291846,
      "rounded_multiplier_reduction_pb_fraction": "1963/50",
      "rounded_multiplier_reduction_pb": 39.26,
      "rounding_overstatement_pb_fraction": "6279/11650",
      "rounding_overstatement_pb": 0.538969957081545,
      "break_even_deleted_share_fraction": "2/9"
    },
    {
      "replacement_factor": "21/10",
      "exact_reduction_pb_fraction": "20397/233",
      "exact_reduction_pb": 87.54077253218884,
      "rounded_multiplier_reduction_pb_fraction": "17589/200",
      "rounded_multiplier_reduction_pb": 87.945,
      "rounding_overstatement_pb_fraction": "18837/46600",
      "rounding_overstatement_pb": 0.4042274678111588,
      "break_even_deleted_share_fraction": "5/12"
    }
  ],
  "artifacts": {
    "audit.py": "d0dd4fe50be61299ca30e80bf0052bb14dd7c35fb98dc1576dcdfb8acca2ca3d",
    "test_audit.py": "47f926179ef27f3dd3083014098163bbc080f52056bae8c672de498bd462fc3f",
    "README.md": "70c9c21671300d634632637025bcbb84a6bf0a79435da0f5018b4def43bfd4c5"
  }
}