{
  "schemaVersion": 1,
  "evidenceType": "constructed-exhaustive-example",
  "assumptions": {
    "messages": 5,
    "allArriveAtStep": 0,
    "flushesPerStep": 1,
    "internalBufferCapacity": 4,
    "flushCapacity": 4,
    "edgesPerPath": 2,
    "tree": "root -> A -> leaf-A; root -> B -> leaf-B",
    "excluded": [
      "new arrivals",
      "splits",
      "logging",
      "device timing",
      "parallel flushes"
    ]
  },
  "visibility": {
    "base": 10,
    "buffers": [
      [
        {
          "sequence": 2,
          "operation": "multiply",
          "operand": 2
        }
      ],
      [
        {
          "sequence": 1,
          "operation": "add",
          "operand": 5
        }
      ]
    ],
    "queryResult": 30,
    "leafOnlyResult": 10,
    "incorrectlyRootFirstResult": 25,
    "afterDelete": null
  },
  "schedules": [
    {
      "order": [
        "root-A",
        "leaf-A",
        "root-B",
        "leaf-B"
      ],
      "flushes": 4,
      "messagesA": 4,
      "messagesB": 1,
      "completionA": 2,
      "completionB": 4,
      "sumCompletion": 12,
      "meanCompletion": 2.4,
      "lastCompletion": 4
    },
    {
      "order": [
        "root-A",
        "root-B",
        "leaf-A",
        "leaf-B"
      ],
      "flushes": 4,
      "messagesA": 4,
      "messagesB": 1,
      "completionA": 3,
      "completionB": 4,
      "sumCompletion": 16,
      "meanCompletion": 3.2,
      "lastCompletion": 4
    },
    {
      "order": [
        "root-A",
        "root-B",
        "leaf-B",
        "leaf-A"
      ],
      "flushes": 4,
      "messagesA": 4,
      "messagesB": 1,
      "completionA": 4,
      "completionB": 3,
      "sumCompletion": 19,
      "meanCompletion": 3.8,
      "lastCompletion": 4
    },
    {
      "order": [
        "root-B",
        "root-A",
        "leaf-A",
        "leaf-B"
      ],
      "flushes": 4,
      "messagesA": 4,
      "messagesB": 1,
      "completionA": 3,
      "completionB": 4,
      "sumCompletion": 16,
      "meanCompletion": 3.2,
      "lastCompletion": 4
    },
    {
      "order": [
        "root-B",
        "root-A",
        "leaf-B",
        "leaf-A"
      ],
      "flushes": 4,
      "messagesA": 4,
      "messagesB": 1,
      "completionA": 4,
      "completionB": 3,
      "sumCompletion": 19,
      "meanCompletion": 3.8,
      "lastCompletion": 4
    },
    {
      "order": [
        "root-B",
        "leaf-B",
        "root-A",
        "leaf-A"
      ],
      "flushes": 4,
      "messagesA": 4,
      "messagesB": 1,
      "completionA": 4,
      "completionB": 2,
      "sumCompletion": 18,
      "meanCompletion": 3.6,
      "lastCompletion": 4
    }
  ],
  "provenance": {
    "method": "Original constructed example, not a measurement or replication",
    "codeUrl": "https://hesela.dev/research/buffered-tree-example.mjs",
    "generatorUrl": "https://hesela.dev/research/generate-buffered-tree-example.mjs",
    "testsUrl": "https://hesela.dev/research/buffered-tree-example.test.mjs",
    "articleUrl": "https://hesela.com/analyses/b-epsilon-trees-buffered-updates/",
    "codeSha256": "e5bc13094c70bdf693df89e0e16fb6aed463e5cbe52253b674dcd4d08b9f8e42",
    "sourceReviewDate": "2026-10-16",
    "sourceUrl": "https://arxiv.org/html/2404.17544v1",
    "uncertainty": "Exhaustive for these constructed inputs; no sampling confidence interval"
  }
}