{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1590-vfs-tmpfs-local-jAwCnK/report.json",
    "sha256": "324d00789df8e8471a2aecc45a232565616db4b1cc737b89549f0056a19492eb",
    "bytes": 3203
  },
  "status": "K1586_K1589_LOCAL_VALIDATED",
  "scope": "The bounded RAM filesystem gives two owner-scoped files transactional writes under a byte quota, zero-filled gaps, unlink reclamation, and generation invalidation on reset. Two host tests, AArch64 no_std compilation, and a red missing-owner-guard mutant are recorded. Real guest temporary-file evidence remains for K1590.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1590-vfs-tmpfs-local-jAwCnK/source/os-vfs-tmpfs/src/lib.rs",
      "originalSha256": "1e794a77bdc48eb4b33f75c72768b1d8a2b112c28ebe0dd7ccf3caee71dbfd72",
      "href": "/os-evidence/1e794a77bdc48eb4b33f75c72768b1d8a2b112c28ebe0dd7ccf3caee71dbfd72.txt",
      "sha256": "1e794a77bdc48eb4b33f75c72768b1d8a2b112c28ebe0dd7ccf3caee71dbfd72",
      "bytes": 5680,
      "redacted": false
    },
    {
      "name": "vfs_tmpfs.rs",
      "source": "reports/os-implementation/K1590-vfs-tmpfs-local-jAwCnK/source/kernel/tests/os/vfs_tmpfs.rs",
      "originalSha256": "c5e19f3cc482404ed0982adadcacd1c38865f5be96fd25e8288e6eb61b803a41",
      "href": "/os-evidence/c5e19f3cc482404ed0982adadcacd1c38865f5be96fd25e8288e6eb61b803a41.txt",
      "sha256": "c5e19f3cc482404ed0982adadcacd1c38865f5be96fd25e8288e6eb61b803a41",
      "bytes": 2733,
      "redacted": false
    },
    {
      "name": "VFS_TMPFS_CONTRACT.md",
      "source": "reports/os-implementation/K1590-vfs-tmpfs-local-jAwCnK/source/kernel/VFS_TMPFS_CONTRACT.md",
      "originalSha256": "9bcb8f6e312cfe14768c2086e966df642ee2c11a4dea6c7e07aa6ae6ca3ab3ea",
      "href": "/os-evidence/9bcb8f6e312cfe14768c2086e966df642ee2c11a4dea6c7e07aa6ae6ca3ab3ea.txt",
      "sha256": "9bcb8f6e312cfe14768c2086e966df642ee2c11a4dea6c7e07aa6ae6ca3ab3ea",
      "bytes": 954,
      "redacted": false
    },
    {
      "name": "vfs-tmpfs-local.mjs",
      "source": "scripts/os-acceptance/vfs-tmpfs-local.mjs",
      "originalSha256": "d6684ef72120ddaf24093aa0eeda7f5c2330859612d82acbcace0b9f4725ad80",
      "href": "/os-evidence/d6684ef72120ddaf24093aa0eeda7f5c2330859612d82acbcace0b9f4725ad80.txt",
      "sha256": "d6684ef72120ddaf24093aa0eeda7f5c2330859612d82acbcace0b9f4725ad80",
      "bytes": 4549,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1590-vfs-tmpfs-local-jAwCnK/source/no-std-root.rs",
      "originalSha256": "ced406707008957eae3e11dab7c481b62fa0325433b5cd263509126b095f74b1",
      "href": "/os-evidence/ced406707008957eae3e11dab7c481b62fa0325433b5cd263509126b095f74b1.txt",
      "sha256": "ced406707008957eae3e11dab7c481b62fa0325433b5cd263509126b095f74b1",
      "bytes": 62,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1590-vfs-tmpfs-local-jAwCnK/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1590-vfs-tmpfs-local-jAwCnK/host-tests.log",
      "originalSha256": "2021064a8209f6f3871f683aa7ed48186a5baf6414302b94f4b841ac40e3741a",
      "href": "/os-evidence/2021064a8209f6f3871f683aa7ed48186a5baf6414302b94f4b841ac40e3741a.txt",
      "sha256": "2021064a8209f6f3871f683aa7ed48186a5baf6414302b94f4b841ac40e3741a",
      "bytes": 181,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1590-vfs-tmpfs-local-jAwCnK/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/K1590-vfs-tmpfs-local-jAwCnK/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1590-vfs-tmpfs-local-jAwCnK/mutant-tests.log",
      "originalSha256": "5ff37819c15b9329e7971c5ced5d9bd4ec8972917077c53876fbcaad9c7286ed",
      "href": "/os-evidence/e2db262e97e90ea83725be503e5b2b9f2ae930f55ae56e0ed98712d4c208e60f.txt",
      "sha256": "e2db262e97e90ea83725be503e5b2b9f2ae930f55ae56e0ed98712d4c208e60f",
      "bytes": 591,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1590-vfs-tmpfs-local-jAwCnK/mutant/os-vfs-tmpfs/src/lib.rs",
      "originalSha256": "e2d77a6562eaf8b022dd997ff36f00b1dac39208c40b28218ea10b4c14c05e7a",
      "href": "/os-evidence/e2d77a6562eaf8b022dd997ff36f00b1dac39208c40b28218ea10b4c14c05e7a.txt",
      "sha256": "e2d77a6562eaf8b022dd997ff36f00b1dac39208c40b28218ea10b4c14c05e7a",
      "bytes": 5644,
      "redacted": false
    }
  ],
  "moves": [
    "K1586",
    "K1587",
    "K1588",
    "K1589"
  ]
}