{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1575-vfs-stat-local-so0qp5/report.json",
    "sha256": "0768f4df2794ee45e0f37ec309244e370e2ccb35bf652efcb0bc7d5c09d9df69",
    "bytes": 3256
  },
  "status": "K1571_K1574_LOCAL_VALIDATED",
  "scope": "The fixed read-only directory returns consistent inode identity, kind, permissions, owner, logical size, and allocated block count for an empty file and a 513-byte file. Oversized inode metadata is rejected before publication. Two host tests, AArch64 no_std compilation, and a red omitted-size-guard mutant are recorded. Userspace stat ABI and real guest evidence remain for K1575.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1575-vfs-stat-local-so0qp5/source/os-vfs-stat/src/lib.rs",
      "originalSha256": "2f6852c1e52454f5fefca3f26a986e9c541a233c142babf2c432bfa57a40cd76",
      "href": "/os-evidence/2f6852c1e52454f5fefca3f26a986e9c541a233c142babf2c432bfa57a40cd76.txt",
      "sha256": "2f6852c1e52454f5fefca3f26a986e9c541a233c142babf2c432bfa57a40cd76",
      "bytes": 4095,
      "redacted": false
    },
    {
      "name": "vfs_stat.rs",
      "source": "reports/os-implementation/K1575-vfs-stat-local-so0qp5/source/kernel/tests/os/vfs_stat.rs",
      "originalSha256": "bccbdcc01c8533c29971e7efa0b149e0fe9e2ff02c2e6fe27b7bba882511fa33",
      "href": "/os-evidence/bccbdcc01c8533c29971e7efa0b149e0fe9e2ff02c2e6fe27b7bba882511fa33.txt",
      "sha256": "bccbdcc01c8533c29971e7efa0b149e0fe9e2ff02c2e6fe27b7bba882511fa33",
      "bytes": 2287,
      "redacted": false
    },
    {
      "name": "VFS_STAT_METADATA_CONTRACT.md",
      "source": "reports/os-implementation/K1575-vfs-stat-local-so0qp5/source/kernel/VFS_STAT_METADATA_CONTRACT.md",
      "originalSha256": "ce0d06681c8e0d87baadac50bc7d89a0a4ab424187565a85009da2bfb6d9cf2d",
      "href": "/os-evidence/ce0d06681c8e0d87baadac50bc7d89a0a4ab424187565a85009da2bfb6d9cf2d.txt",
      "sha256": "ce0d06681c8e0d87baadac50bc7d89a0a4ab424187565a85009da2bfb6d9cf2d",
      "bytes": 1387,
      "redacted": false
    },
    {
      "name": "vfs-stat-local.mjs",
      "source": "scripts/os-acceptance/vfs-stat-local.mjs",
      "originalSha256": "7b4f9b0a45050768c2e02ba38fc76fc3c2262593e8b180697c7609592836c96a",
      "href": "/os-evidence/7b4f9b0a45050768c2e02ba38fc76fc3c2262593e8b180697c7609592836c96a.txt",
      "sha256": "7b4f9b0a45050768c2e02ba38fc76fc3c2262593e8b180697c7609592836c96a",
      "bytes": 4612,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1575-vfs-stat-local-so0qp5/source/no-std-root.rs",
      "originalSha256": "c707e9b36bde15a89c81132eb26475abf550dba5f7d8445db10057538d35d6f7",
      "href": "/os-evidence/c707e9b36bde15a89c81132eb26475abf550dba5f7d8445db10057538d35d6f7.txt",
      "sha256": "c707e9b36bde15a89c81132eb26475abf550dba5f7d8445db10057538d35d6f7",
      "bytes": 60,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1575-vfs-stat-local-so0qp5/host-compile.log",
      "originalSha256": "20ca4994743292b306c14ac4f9e141cca1c418a2643bf3ec2dc4c0f010341588",
      "href": "/os-evidence/975d89a549293330d516356d13162ddedeb63954d6dbdc43c58ec3fc84d8e8a7.txt",
      "sha256": "975d89a549293330d516356d13162ddedeb63954d6dbdc43c58ec3fc84d8e8a7",
      "bytes": 412,
      "redacted": true
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1575-vfs-stat-local-so0qp5/host-tests.log",
      "originalSha256": "7cb314c63fe578567881f5b70e004309defc840d6dbf29d60a512d7348e6085e",
      "href": "/os-evidence/7cb314c63fe578567881f5b70e004309defc840d6dbf29d60a512d7348e6085e.txt",
      "sha256": "7cb314c63fe578567881f5b70e004309defc840d6dbf29d60a512d7348e6085e",
      "bytes": 191,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1575-vfs-stat-local-so0qp5/aarch64-no-std-check.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-compile.log",
      "source": "reports/os-implementation/K1575-vfs-stat-local-so0qp5/mutant-compile.log",
      "originalSha256": "57ab1a6a9c597baee850c4f5745cf7fd52ecd0c39bbc1104846f7e840ae2164a",
      "href": "/os-evidence/ac955a9642c1091ccb256d189d2cf51979d7bdd721ad05bb6069db40f11ae493.txt",
      "sha256": "ac955a9642c1091ccb256d189d2cf51979d7bdd721ad05bb6069db40f11ae493",
      "bytes": 412,
      "redacted": true
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1575-vfs-stat-local-so0qp5/mutant-tests.log",
      "originalSha256": "64d4ed2ed821b5b136195ecf9125f4819f517dbc69343011896ab21859ac976c",
      "href": "/os-evidence/50aee8bc810809bb23fc694a5c1fcfbd2815d6aa296b274e39f041f23d5019d9.txt",
      "sha256": "50aee8bc810809bb23fc694a5c1fcfbd2815d6aa296b274e39f041f23d5019d9",
      "bytes": 1169,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1575-vfs-stat-local-so0qp5/mutant/os-vfs-stat/src/lib.rs",
      "originalSha256": "72dfc78ae876f34cc113616f1757bb0d0c6f30b8f7805a1b0bc709594da30a22",
      "href": "/os-evidence/72dfc78ae876f34cc113616f1757bb0d0c6f30b8f7805a1b0bc709594da30a22.txt",
      "sha256": "72dfc78ae876f34cc113616f1757bb0d0c6f30b8f7805a1b0bc709594da30a22",
      "bytes": 4068,
      "redacted": false
    }
  ],
  "moves": [
    "K1571",
    "K1572",
    "K1573",
    "K1574"
  ]
}