{
  "schemaVersion": 1,
  "experiment": "hdf5-swmr-visibility",
  "evidenceType": "measured-api-behavior",
  "generatedAt": "2026-10-17T17:12:23.547422+00:00",
  "repetitions": 3,
  "checkpointsPerRepetition": 9,
  "environment": {
    "python": "3.12.3",
    "kernel": "6.8.0-146-generic",
    "machine": "x86_64",
    "h5py": "3.15.0",
    "hdf5": "1.14.6",
    "numpy": "2.3.3",
    "filesystem": "ext2/ext3",
    "driver": "sec2",
    "libver": "latest",
    "multiprocessing": "spawn",
    "HDF5_USE_FILE_LOCKING": null,
    "HDF5_IGNORE_DISABLED_FILE_LOCKS": null
  },
  "sourceSha256": "915462edd7d89b2b66d027d3630e1497c44fb5288f0b1ce95804dc82a8fb2421",
  "method": "One live writer and one spawned reader; pipe handshakes pause writes at each observation; all datasets created before SWMR; fixed-size integers, one-element chunks, no compression.",
  "limits": "One host. Synthetic values are test inputs, not sensor measurements. No power loss, process crash, fsync audit, network filesystem, competing writers or performance test. Watermark ordering is an application demonstration, not a crash-safe transaction protocol.",
  "observations": [
    [
      {
        "phase": "initial",
        "lengths": [
          0,
          0
        ],
        "watermark": 0,
        "x": [],
        "y": [],
        "selectedPrefix": [],
        "rejected": false
      },
      {
        "phase": "x1-flushed",
        "lengths": [
          1,
          0
        ],
        "watermark": 0,
        "x": [
          10
        ],
        "y": [],
        "selectedPrefix": [],
        "rejected": false
      },
      {
        "phase": "y1-flushed-unpublished",
        "lengths": [
          1,
          1
        ],
        "watermark": 0,
        "x": [
          10
        ],
        "y": [
          100
        ],
        "selectedPrefix": [],
        "rejected": false
      },
      {
        "phase": "published-1",
        "lengths": [
          1,
          1
        ],
        "watermark": 1,
        "x": [
          10
        ],
        "y": [
          100
        ],
        "selectedPrefix": [
          [
            10,
            100
          ]
        ],
        "rejected": false
      },
      {
        "phase": "x2-flushed",
        "lengths": [
          2,
          1
        ],
        "watermark": 1,
        "x": [
          10,
          20
        ],
        "y": [
          100
        ],
        "selectedPrefix": [
          [
            10,
            100
          ]
        ],
        "rejected": false
      },
      {
        "phase": "y2-flushed-unpublished",
        "lengths": [
          2,
          2
        ],
        "watermark": 1,
        "x": [
          10,
          20
        ],
        "y": [
          100,
          200
        ],
        "selectedPrefix": [
          [
            10,
            100
          ]
        ],
        "rejected": false
      },
      {
        "phase": "published-2",
        "lengths": [
          2,
          2
        ],
        "watermark": 2,
        "x": [
          10,
          20
        ],
        "y": [
          100,
          200
        ],
        "selectedPrefix": [
          [
            10,
            100
          ],
          [
            20,
            200
          ]
        ],
        "rejected": false
      },
      {
        "phase": "invalid-watermark",
        "lengths": [
          2,
          2
        ],
        "watermark": 3,
        "x": [
          10,
          20
        ],
        "y": [
          100,
          200
        ],
        "selectedPrefix": null,
        "rejected": true
      },
      {
        "phase": "mutated-published-prefix",
        "lengths": [
          2,
          2
        ],
        "watermark": 2,
        "x": [
          999,
          20
        ],
        "y": [
          100,
          200
        ],
        "selectedPrefix": [
          [
            999,
            100
          ],
          [
            20,
            200
          ]
        ],
        "rejected": false
      }
    ],
    [
      {
        "phase": "initial",
        "lengths": [
          0,
          0
        ],
        "watermark": 0,
        "x": [],
        "y": [],
        "selectedPrefix": [],
        "rejected": false
      },
      {
        "phase": "x1-flushed",
        "lengths": [
          1,
          0
        ],
        "watermark": 0,
        "x": [
          10
        ],
        "y": [],
        "selectedPrefix": [],
        "rejected": false
      },
      {
        "phase": "y1-flushed-unpublished",
        "lengths": [
          1,
          1
        ],
        "watermark": 0,
        "x": [
          10
        ],
        "y": [
          100
        ],
        "selectedPrefix": [],
        "rejected": false
      },
      {
        "phase": "published-1",
        "lengths": [
          1,
          1
        ],
        "watermark": 1,
        "x": [
          10
        ],
        "y": [
          100
        ],
        "selectedPrefix": [
          [
            10,
            100
          ]
        ],
        "rejected": false
      },
      {
        "phase": "x2-flushed",
        "lengths": [
          2,
          1
        ],
        "watermark": 1,
        "x": [
          10,
          20
        ],
        "y": [
          100
        ],
        "selectedPrefix": [
          [
            10,
            100
          ]
        ],
        "rejected": false
      },
      {
        "phase": "y2-flushed-unpublished",
        "lengths": [
          2,
          2
        ],
        "watermark": 1,
        "x": [
          10,
          20
        ],
        "y": [
          100,
          200
        ],
        "selectedPrefix": [
          [
            10,
            100
          ]
        ],
        "rejected": false
      },
      {
        "phase": "published-2",
        "lengths": [
          2,
          2
        ],
        "watermark": 2,
        "x": [
          10,
          20
        ],
        "y": [
          100,
          200
        ],
        "selectedPrefix": [
          [
            10,
            100
          ],
          [
            20,
            200
          ]
        ],
        "rejected": false
      },
      {
        "phase": "invalid-watermark",
        "lengths": [
          2,
          2
        ],
        "watermark": 3,
        "x": [
          10,
          20
        ],
        "y": [
          100,
          200
        ],
        "selectedPrefix": null,
        "rejected": true
      },
      {
        "phase": "mutated-published-prefix",
        "lengths": [
          2,
          2
        ],
        "watermark": 2,
        "x": [
          999,
          20
        ],
        "y": [
          100,
          200
        ],
        "selectedPrefix": [
          [
            999,
            100
          ],
          [
            20,
            200
          ]
        ],
        "rejected": false
      }
    ],
    [
      {
        "phase": "initial",
        "lengths": [
          0,
          0
        ],
        "watermark": 0,
        "x": [],
        "y": [],
        "selectedPrefix": [],
        "rejected": false
      },
      {
        "phase": "x1-flushed",
        "lengths": [
          1,
          0
        ],
        "watermark": 0,
        "x": [
          10
        ],
        "y": [],
        "selectedPrefix": [],
        "rejected": false
      },
      {
        "phase": "y1-flushed-unpublished",
        "lengths": [
          1,
          1
        ],
        "watermark": 0,
        "x": [
          10
        ],
        "y": [
          100
        ],
        "selectedPrefix": [],
        "rejected": false
      },
      {
        "phase": "published-1",
        "lengths": [
          1,
          1
        ],
        "watermark": 1,
        "x": [
          10
        ],
        "y": [
          100
        ],
        "selectedPrefix": [
          [
            10,
            100
          ]
        ],
        "rejected": false
      },
      {
        "phase": "x2-flushed",
        "lengths": [
          2,
          1
        ],
        "watermark": 1,
        "x": [
          10,
          20
        ],
        "y": [
          100
        ],
        "selectedPrefix": [
          [
            10,
            100
          ]
        ],
        "rejected": false
      },
      {
        "phase": "y2-flushed-unpublished",
        "lengths": [
          2,
          2
        ],
        "watermark": 1,
        "x": [
          10,
          20
        ],
        "y": [
          100,
          200
        ],
        "selectedPrefix": [
          [
            10,
            100
          ]
        ],
        "rejected": false
      },
      {
        "phase": "published-2",
        "lengths": [
          2,
          2
        ],
        "watermark": 2,
        "x": [
          10,
          20
        ],
        "y": [
          100,
          200
        ],
        "selectedPrefix": [
          [
            10,
            100
          ],
          [
            20,
            200
          ]
        ],
        "rejected": false
      },
      {
        "phase": "invalid-watermark",
        "lengths": [
          2,
          2
        ],
        "watermark": 3,
        "x": [
          10,
          20
        ],
        "y": [
          100,
          200
        ],
        "selectedPrefix": null,
        "rejected": true
      },
      {
        "phase": "mutated-published-prefix",
        "lengths": [
          2,
          2
        ],
        "watermark": 2,
        "x": [
          999,
          20
        ],
        "y": [
          100,
          200
        ],
        "selectedPrefix": [
          [
            999,
            100
          ],
          [
            20,
            200
          ]
        ],
        "rejected": false
      }
    ]
  ]
}