{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1610-vfs-inode-table-local-jhCf6m/report.json",
    "sha256": "7b3b861e7de957200cd4c4698c62b653ff2e2cd0acafc4f3f2a39ae01538e5d4",
    "bytes": 3331
  },
  "status": "K1606_K1609_LOCAL_VALIDATED",
  "scope": "The three-record read-only inode table validates unique inode identities, root kind, link counts, zero reserved fields, disk-bounded nonoverlapping extents, and file size capacity before publication. Two host tests, AArch64 no_std compilation, and a red omitted-duplicate-guard mutant are recorded. Real guest inode-table evidence remains for K1610.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1610-vfs-inode-table-local-jhCf6m/source/os-vfs-inode-table/src/lib.rs",
      "originalSha256": "49c3a7770613b55b5d47e28d61275bc79665f1b9e3d3116c5911eb5e84f93194",
      "href": "/os-evidence/49c3a7770613b55b5d47e28d61275bc79665f1b9e3d3116c5911eb5e84f93194.txt",
      "sha256": "49c3a7770613b55b5d47e28d61275bc79665f1b9e3d3116c5911eb5e84f93194",
      "bytes": 2651,
      "redacted": false
    },
    {
      "name": "vfs_inode_table.rs",
      "source": "reports/os-implementation/K1610-vfs-inode-table-local-jhCf6m/source/kernel/tests/os/vfs_inode_table.rs",
      "originalSha256": "a649dab67300d47babe028184580f46bd34cdb301d9bc22f1896f3a4fe1d8f42",
      "href": "/os-evidence/a649dab67300d47babe028184580f46bd34cdb301d9bc22f1896f3a4fe1d8f42.txt",
      "sha256": "a649dab67300d47babe028184580f46bd34cdb301d9bc22f1896f3a4fe1d8f42",
      "bytes": 1931,
      "redacted": false
    },
    {
      "name": "VFS_INODE_TABLE_CONTRACT.md",
      "source": "reports/os-implementation/K1610-vfs-inode-table-local-jhCf6m/source/kernel/VFS_INODE_TABLE_CONTRACT.md",
      "originalSha256": "c925e5ec1f3b35311fad285b54a4578387df14739736d09fcbcf6b0b46ad3524",
      "href": "/os-evidence/c925e5ec1f3b35311fad285b54a4578387df14739736d09fcbcf6b0b46ad3524.txt",
      "sha256": "c925e5ec1f3b35311fad285b54a4578387df14739736d09fcbcf6b0b46ad3524",
      "bytes": 784,
      "redacted": false
    },
    {
      "name": "vfs-inode-table-local.mjs",
      "source": "scripts/os-acceptance/vfs-inode-table-local.mjs",
      "originalSha256": "bc455b1f9926fcf6e9df4f31f18352517b7e46a591a96c405a4e444811114ce8",
      "href": "/os-evidence/bc455b1f9926fcf6e9df4f31f18352517b7e46a591a96c405a4e444811114ce8.txt",
      "sha256": "bc455b1f9926fcf6e9df4f31f18352517b7e46a591a96c405a4e444811114ce8",
      "bytes": 4721,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1610-vfs-inode-table-local-jhCf6m/source/no-std-root.rs",
      "originalSha256": "b90de7dfd595286afc4bf1fd4292f1b1c02f9de9b514cd84cd5ab2f9761d28ad",
      "href": "/os-evidence/b90de7dfd595286afc4bf1fd4292f1b1c02f9de9b514cd84cd5ab2f9761d28ad.txt",
      "sha256": "b90de7dfd595286afc4bf1fd4292f1b1c02f9de9b514cd84cd5ab2f9761d28ad",
      "bytes": 68,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1610-vfs-inode-table-local-jhCf6m/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1610-vfs-inode-table-local-jhCf6m/host-tests.log",
      "originalSha256": "3168407e0bbefd95c679db5007e8c5e9035a485fb2b15389e974cbf449cf9356",
      "href": "/os-evidence/3168407e0bbefd95c679db5007e8c5e9035a485fb2b15389e974cbf449cf9356.txt",
      "sha256": "3168407e0bbefd95c679db5007e8c5e9035a485fb2b15389e974cbf449cf9356",
      "bytes": 193,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1610-vfs-inode-table-local-jhCf6m/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/K1610-vfs-inode-table-local-jhCf6m/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1610-vfs-inode-table-local-jhCf6m/mutant-tests.log",
      "originalSha256": "1711e11c2a416d2211ca2cbb15661cd944b41ce01c4c226b6cb0d152294feffd",
      "href": "/os-evidence/2f64aac97d7fc85b815fd2db47ac60a908c7644e256a73270446daa2bf285a1c.txt",
      "sha256": "2f64aac97d7fc85b815fd2db47ac60a908c7644e256a73270446daa2bf285a1c",
      "bytes": 977,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1610-vfs-inode-table-local-jhCf6m/mutant/os-vfs-inode-table/src/lib.rs",
      "originalSha256": "84fab52ca3a05ef542a3696223653b346a539c99ad28daee4eedaa8ac43d849d",
      "href": "/os-evidence/84fab52ca3a05ef542a3696223653b346a539c99ad28daee4eedaa8ac43d849d.txt",
      "sha256": "84fab52ca3a05ef542a3696223653b346a539c99ad28daee4eedaa8ac43d849d",
      "bytes": 2594,
      "redacted": false
    }
  ],
  "moves": [
    "K1606",
    "K1607",
    "K1608",
    "K1609"
  ]
}