{
  "schemaVersion": 1,
  "generatedAt": "2026-10-16T03:37:37.365348+00:00",
  "method": "Ordered fresh-process nonblocking probes; one lock API per case",
  "environment": {
    "python": "3.12.3",
    "kernelRelease": "6.8.0-146-generic",
    "temporaryFilesystem": "ext2/ext3"
  },
  "sourceSha256": "a9ed9a968535d53b91391a88b92f53e7b705d451776cf914ae11aa784e32b5fc",
  "rows": [
    {
      "kind": "process-record",
      "closedDescriptor": "separate-open",
      "holderIdentity": [
        2049,
        2145360
      ],
      "secondaryIdentity": [
        2049,
        2145360
      ],
      "controlIdentity": [
        2049,
        2145361
      ],
      "beforeClose": {
        "identity": [
          2049,
          2145360
        ],
        "acquired": false,
        "sameFileAsHolder": true
      },
      "afterDifferentFileClose": {
        "identity": [
          2049,
          2145360
        ],
        "acquired": false,
        "sameFileAsHolder": true
      },
      "afterSecondaryClose": {
        "identity": [
          2049,
          2145360
        ],
        "acquired": true,
        "sameFileAsHolder": true
      },
      "holderStillOpen": true,
      "holderContent": "data\n",
      "afterHolderClose": {
        "identity": [
          2049,
          2145360
        ],
        "acquired": true,
        "sameFileAsHolder": true
      }
    },
    {
      "kind": "process-record",
      "closedDescriptor": "hard-link-open",
      "holderIdentity": [
        2049,
        2145363
      ],
      "secondaryIdentity": [
        2049,
        2145363
      ],
      "controlIdentity": [
        2049,
        2145364
      ],
      "beforeClose": {
        "identity": [
          2049,
          2145363
        ],
        "acquired": false,
        "sameFileAsHolder": true
      },
      "afterDifferentFileClose": {
        "identity": [
          2049,
          2145363
        ],
        "acquired": false,
        "sameFileAsHolder": true
      },
      "afterSecondaryClose": {
        "identity": [
          2049,
          2145363
        ],
        "acquired": true,
        "sameFileAsHolder": true
      },
      "holderStillOpen": true,
      "holderContent": "data\n",
      "afterHolderClose": {
        "identity": [
          2049,
          2145363
        ],
        "acquired": true,
        "sameFileAsHolder": true
      }
    },
    {
      "kind": "process-record",
      "closedDescriptor": "duplicate",
      "holderIdentity": [
        2049,
        2145366
      ],
      "secondaryIdentity": [
        2049,
        2145366
      ],
      "controlIdentity": [
        2049,
        2145367
      ],
      "beforeClose": {
        "identity": [
          2049,
          2145366
        ],
        "acquired": false,
        "sameFileAsHolder": true
      },
      "afterDifferentFileClose": {
        "identity": [
          2049,
          2145366
        ],
        "acquired": false,
        "sameFileAsHolder": true
      },
      "afterSecondaryClose": {
        "identity": [
          2049,
          2145366
        ],
        "acquired": true,
        "sameFileAsHolder": true
      },
      "holderStillOpen": true,
      "holderContent": "data\n",
      "afterHolderClose": {
        "identity": [
          2049,
          2145366
        ],
        "acquired": true,
        "sameFileAsHolder": true
      }
    },
    {
      "kind": "flock",
      "closedDescriptor": "separate-open",
      "holderIdentity": [
        2049,
        2145369
      ],
      "secondaryIdentity": [
        2049,
        2145369
      ],
      "controlIdentity": [
        2049,
        2145370
      ],
      "beforeClose": {
        "identity": [
          2049,
          2145369
        ],
        "acquired": false,
        "sameFileAsHolder": true
      },
      "afterDifferentFileClose": {
        "identity": [
          2049,
          2145369
        ],
        "acquired": false,
        "sameFileAsHolder": true
      },
      "afterSecondaryClose": {
        "identity": [
          2049,
          2145369
        ],
        "acquired": false,
        "sameFileAsHolder": true
      },
      "holderStillOpen": true,
      "holderContent": "data\n",
      "afterHolderClose": {
        "identity": [
          2049,
          2145369
        ],
        "acquired": true,
        "sameFileAsHolder": true
      }
    },
    {
      "kind": "flock",
      "closedDescriptor": "hard-link-open",
      "holderIdentity": [
        2049,
        2145372
      ],
      "secondaryIdentity": [
        2049,
        2145372
      ],
      "controlIdentity": [
        2049,
        2145373
      ],
      "beforeClose": {
        "identity": [
          2049,
          2145372
        ],
        "acquired": false,
        "sameFileAsHolder": true
      },
      "afterDifferentFileClose": {
        "identity": [
          2049,
          2145372
        ],
        "acquired": false,
        "sameFileAsHolder": true
      },
      "afterSecondaryClose": {
        "identity": [
          2049,
          2145372
        ],
        "acquired": false,
        "sameFileAsHolder": true
      },
      "holderStillOpen": true,
      "holderContent": "data\n",
      "afterHolderClose": {
        "identity": [
          2049,
          2145372
        ],
        "acquired": true,
        "sameFileAsHolder": true
      }
    },
    {
      "kind": "flock",
      "closedDescriptor": "duplicate",
      "holderIdentity": [
        2049,
        2145375
      ],
      "secondaryIdentity": [
        2049,
        2145375
      ],
      "controlIdentity": [
        2049,
        2145376
      ],
      "beforeClose": {
        "identity": [
          2049,
          2145375
        ],
        "acquired": false,
        "sameFileAsHolder": true
      },
      "afterDifferentFileClose": {
        "identity": [
          2049,
          2145375
        ],
        "acquired": false,
        "sameFileAsHolder": true
      },
      "afterSecondaryClose": {
        "identity": [
          2049,
          2145375
        ],
        "acquired": false,
        "sameFileAsHolder": true
      },
      "holderStillOpen": true,
      "holderContent": "data\n",
      "afterHolderClose": {
        "identity": [
          2049,
          2145375
        ],
        "acquired": true,
        "sameFileAsHolder": true
      }
    }
  ],
  "limitations": [
    "A local Linux API observation, not a crash or SQLite corruption experiment.",
    "No F_OFD_* operation, network lock, mixed-API contention or thread race tested.",
    "No writes occur while locks are held; no fsync or power loss is tested.",
    "Device/inode pairs identify concurrently live files, not durable object IDs.",
    "The filesystem label is not a full mount configuration."
  ]
}