Evidence

cap round branch information.json

Download source fileOpen in research workspace
{
  "rows": [
    {
      "L": 930,
      "c": 1307,
      "y": 930,
      "Q_y": 930,
      "excess": 0,
      "rounding_residual": 0,
      "branch": "unclipped",
      "missing_if_branch_known": "residual only; excess=0"
    },
    {
      "L": 912,
      "c": 1177,
      "y": 912,
      "Q_y": 910,
      "excess": 0,
      "rounding_residual": 2,
      "branch": "unclipped",
      "missing_if_branch_known": "residual only; excess=0"
    },
    {
      "L": 905,
      "c": 1072,
      "y": 905,
      "Q_y": 905,
      "excess": 0,
      "rounding_residual": 0,
      "branch": "unclipped",
      "missing_if_branch_known": "residual only; excess=0"
    },
    {
      "L": 910,
      "c": 982,
      "y": 910,
      "Q_y": 910,
      "excess": 0,
      "rounding_residual": 0,
      "branch": "unclipped",
      "missing_if_branch_known": "residual only; excess=0"
    },
    {
      "L": 895,
      "c": 912,
      "y": 895,
      "Q_y": 895,
      "excess": 0,
      "rounding_residual": 0,
      "branch": "unclipped",
      "missing_if_branch_known": "residual only; excess=0"
    },
    {
      "L": 962,
      "c": 847,
      "y": 847,
      "Q_y": 845,
      "excess": 115,
      "rounding_residual": 2,
      "branch": "clipped",
      "missing_if_branch_known": "excess only; y=c fixes residual"
    },
    {
      "L": 365,
      "c": 785,
      "y": 365,
      "Q_y": 365,
      "excess": 0,
      "rounding_residual": 0,
      "branch": "unclipped",
      "missing_if_branch_known": "residual only; excess=0"
    },
    {
      "L": 969,
      "c": 720,
      "y": 720,
      "Q_y": 720,
      "excess": 249,
      "rounding_residual": 0,
      "branch": "clipped",
      "missing_if_branch_known": "excess only; y=c fixes residual"
    },
    {
      "L": 777,
      "c": 653,
      "y": 653,
      "Q_y": 655,
      "excess": 124,
      "rounding_residual": -2,
      "branch": "clipped",
      "missing_if_branch_known": "excess only; y=c fixes residual"
    }
  ],
  "identity": "L=Q(y)+(y-Q(y))+(L-y)",
  "qualification": "Branch status is additional information; at L=c excess0 is a boundary case."
}
Edition and provenance

cap_round_branch_information.json

SHA-256 496cab05f8d37f8f3f5ac004911fb79736ca2e4435da321932625405a2f45d59

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