{
  "boundaryCases": [
    {
      "a": 3,
      "aRelativeToB": "equal",
      "b": 3,
      "case": "equal"
    },
    {
      "a": 3,
      "aRelativeToB": "older",
      "b": 4,
      "case": "adjacent"
    },
    {
      "a": 4294967294,
      "aRelativeToB": "older",
      "b": 3,
      "case": "across wrap"
    },
    {
      "a": 3,
      "aRelativeToB": "older",
      "b": 2147483650,
      "case": "just below half"
    },
    {
      "a": 3,
      "aRelativeToB": "ambiguous",
      "b": 2147483651,
      "case": "exactly half"
    },
    {
      "a": 3,
      "aRelativeToB": "newer",
      "b": 2147483652,
      "case": "beyond half"
    },
    {
      "a": 3,
      "aRelativeToB": "older",
      "b": 1431655768,
      "case": "cycle edge 1"
    },
    {
      "a": 1431655768,
      "aRelativeToB": "older",
      "b": 2863311533,
      "case": "cycle edge 2"
    },
    {
      "a": 2863311533,
      "aRelativeToB": "older",
      "b": 3,
      "case": "cycle edge 3"
    }
  ],
  "cycle": {
    "bits": 8,
    "permutationFolds": [
      {
        "input": [
          0,
          100,
          200
        ],
        "selected": 200
      },
      {
        "input": [
          0,
          200,
          100
        ],
        "selected": 100
      },
      {
        "input": [
          100,
          0,
          200
        ],
        "selected": 200
      },
      {
        "input": [
          100,
          200,
          0
        ],
        "selected": 0
      },
      {
        "input": [
          200,
          0,
          100
        ],
        "selected": 100
      },
      {
        "input": [
          200,
          100,
          0
        ],
        "selected": 0
      }
    ],
    "values": [
      0,
      100,
      200
    ]
  },
  "enumeration": {
    "bits": 8,
    "definedPairs": 65280,
    "orderedPairs": 65536,
    "relations": {
      "ambiguous": 256,
      "equal": 256,
      "newer": 32512,
      "older": 32512
    },
    "unsignedDisagreementsOnDefinedPairs": 16256
  },
  "epochExample": {
    "lowCounterRelation": "equal",
    "new": {
      "counter": 42,
      "epoch": 8
    },
    "old": {
      "counter": 42,
      "epoch": 7
    },
    "trustedFullValueRelation": "older"
  },
  "evidenceType": "deterministic arithmetic demonstration",
  "limits": [
    "Pair counts are exact enumeration, not probabilities of real failures.",
    "The model cannot establish that observed history fits in a half-range.",
    "Epoch comparison requires a trusted shared identity and epoch history.",
    "No database, filesystem recovery path, device or power loss was tested."
  ],
  "schemaVersion": 1,
  "scope": "Full 8-bit serial space; selected 32-bit inputs; no storage I/O."
}