Evidence

cap round loss identity.json

Download source fileOpen in research workspace
{
  "identity": "Q(L)-Q(y)=(L-y)+(Q(L)-L)-(Q(y)-y)",
  "rows": [
    {
      "index": 0,
      "exact_excess": 0,
      "baseline_round_error": 0,
      "capped_round_error": 0,
      "rounded_reduction": 0,
      "identity_rhs": 0
    },
    {
      "index": 1,
      "exact_excess": 0,
      "baseline_round_error": -2,
      "capped_round_error": -2,
      "rounded_reduction": 0,
      "identity_rhs": 0
    },
    {
      "index": 2,
      "exact_excess": 0,
      "baseline_round_error": 0,
      "capped_round_error": 0,
      "rounded_reduction": 0,
      "identity_rhs": 0
    },
    {
      "index": 3,
      "exact_excess": 0,
      "baseline_round_error": 0,
      "capped_round_error": 0,
      "rounded_reduction": 0,
      "identity_rhs": 0
    },
    {
      "index": 4,
      "exact_excess": 0,
      "baseline_round_error": 0,
      "capped_round_error": 0,
      "rounded_reduction": 0,
      "identity_rhs": 0
    },
    {
      "index": 5,
      "exact_excess": 115,
      "baseline_round_error": -2,
      "capped_round_error": -2,
      "rounded_reduction": 115,
      "identity_rhs": 115
    },
    {
      "index": 6,
      "exact_excess": 0,
      "baseline_round_error": 0,
      "capped_round_error": 0,
      "rounded_reduction": 0,
      "identity_rhs": 0
    },
    {
      "index": 7,
      "exact_excess": 249,
      "baseline_round_error": 1,
      "capped_round_error": 0,
      "rounded_reduction": 250,
      "identity_rhs": 250
    },
    {
      "index": 8,
      "exact_excess": 124,
      "baseline_round_error": -2,
      "capped_round_error": 2,
      "rounded_reduction": 120,
      "identity_rhs": 120
    }
  ],
  "totals": {
    "exact_excess": 488,
    "baseline_round_error": -5,
    "capped_round_error": -2,
    "rounded_reduction": 485
  }
}
Edition and provenance

cap_round_loss_identity.json

SHA-256 238adb4d7804f3f7873b3ee15c3ac61e23e8c1f7b8bf0615c2b7b462b5c3cb14

C480–C1634/Research_Cycles/C1132_C1431_Recovered/model/cap_round_loss_identity.json

C480–C1634/Research_Cycles/C1432/sources/cap_round_loss_identity.json

C480–C1634/Research_Cycles/C1433_C1482/evidence/cap_round_loss_identity.json