{
  "schemaVersion": 1,
  "evidenceType": "version-pinned-source-control-flow-audit",
  "generatedAt": "2026-10-15T01:06:33.163Z",
  "method": "Check reviewed lexical landmarks within f2fs_do_sync_file in upstream v6.12 and v6.16.",
  "interpretation": "On the regular-file path, disabled checkpointing returns the data-writeback status before later recovery metadata and flush handling.",
  "limits": "Not a C parser, kernel execution, power-loss test, performance measurement, or audit of distribution backports; directory fsync follows a separate path.",
  "versions": [
    {
      "tag": "v6.12",
      "url": "https://raw.githubusercontent.com/torvalds/linux/v6.12/fs/f2fs/file.c",
      "sha256": "879ae86e9e7bc0e668a8d78a545878e2f7f4ac5dc357d18c40e537389d0382f7",
      "functionStartLine": 252,
      "dataWritebackPrecedesDisabledCheckpointReturn": true,
      "disabledCheckpointReturnsWritebackStatus": true,
      "directoryUsesSeparatePath": true,
      "normalPathHasCheckpointFallback": true,
      "normalPathHasRecoveryNodesAndFlush": true
    },
    {
      "tag": "v6.16",
      "url": "https://raw.githubusercontent.com/torvalds/linux/v6.16/fs/f2fs/file.c",
      "sha256": "a62b7711d966ed0e268e1c9f1c43022cfcff5f6f87ace14e8d9204fb7a9a252b",
      "functionStartLine": 269,
      "dataWritebackPrecedesDisabledCheckpointReturn": true,
      "disabledCheckpointReturnsWritebackStatus": true,
      "directoryUsesSeparatePath": true,
      "normalPathHasCheckpointFallback": true,
      "normalPathHasRecoveryNodesAndFlush": true
    }
  ]
}