{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1585-vfs-traits-local-zKQvPr/report.json",
    "sha256": "24150dc3ee406e2ef7bec5be26e33f3e7187775acf5f73971f180f3e5abb4330",
    "bytes": 3221
  },
  "status": "K1581_K1584_LOCAL_VALIDATED",
  "scope": "The read-only FileSystem trait binds node identity to a mount generation, validates metadata before publication, and keeps caller output unchanged on backend read failure. Two host tests, AArch64 no_std compilation, and a red stale-generation mutant are recorded. Real guest trait-backend evidence remains for K1585.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1585-vfs-traits-local-zKQvPr/source/os-vfs-traits/src/lib.rs",
      "originalSha256": "5891bc89581aa6b74c5b79e3a6399af04f19ef9c8cfa12bea59d6ea8642bc849",
      "href": "/os-evidence/5891bc89581aa6b74c5b79e3a6399af04f19ef9c8cfa12bea59d6ea8642bc849.txt",
      "sha256": "5891bc89581aa6b74c5b79e3a6399af04f19ef9c8cfa12bea59d6ea8642bc849",
      "bytes": 4419,
      "redacted": false
    },
    {
      "name": "vfs_traits.rs",
      "source": "reports/os-implementation/K1585-vfs-traits-local-zKQvPr/source/kernel/tests/os/vfs_traits.rs",
      "originalSha256": "c5924fe9c39805398459e20adb7aaff2e74af7165d4851a41ce6a66c0764c36d",
      "href": "/os-evidence/c5924fe9c39805398459e20adb7aaff2e74af7165d4851a41ce6a66c0764c36d.txt",
      "sha256": "c5924fe9c39805398459e20adb7aaff2e74af7165d4851a41ce6a66c0764c36d",
      "bytes": 4632,
      "redacted": false
    },
    {
      "name": "VFS_FILESYSTEM_TRAIT_CONTRACT.md",
      "source": "reports/os-implementation/K1585-vfs-traits-local-zKQvPr/source/kernel/VFS_FILESYSTEM_TRAIT_CONTRACT.md",
      "originalSha256": "abcec8d908a146dc3d32929e79d880fe09e070193f7b5680ea85a05ee5cae145",
      "href": "/os-evidence/abcec8d908a146dc3d32929e79d880fe09e070193f7b5680ea85a05ee5cae145.txt",
      "sha256": "abcec8d908a146dc3d32929e79d880fe09e070193f7b5680ea85a05ee5cae145",
      "bytes": 1042,
      "redacted": false
    },
    {
      "name": "vfs-traits-local.mjs",
      "source": "scripts/os-acceptance/vfs-traits-local.mjs",
      "originalSha256": "666b96d9cf81df83e2569e6ae426db6c4c9920ad88e21a10a4f781ff42e976ba",
      "href": "/os-evidence/666b96d9cf81df83e2569e6ae426db6c4c9920ad88e21a10a4f781ff42e976ba.txt",
      "sha256": "666b96d9cf81df83e2569e6ae426db6c4c9920ad88e21a10a4f781ff42e976ba",
      "bytes": 4631,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1585-vfs-traits-local-zKQvPr/source/no-std-root.rs",
      "originalSha256": "fdcfe16e2a6fc0f655fb3d6156ccda0d4656e87efcd1853e1690d95b29dfc592",
      "href": "/os-evidence/fdcfe16e2a6fc0f655fb3d6156ccda0d4656e87efcd1853e1690d95b29dfc592.txt",
      "sha256": "fdcfe16e2a6fc0f655fb3d6156ccda0d4656e87efcd1853e1690d95b29dfc592",
      "bytes": 64,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1585-vfs-traits-local-zKQvPr/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1585-vfs-traits-local-zKQvPr/host-tests.log",
      "originalSha256": "20f54d61af124bdf7d2ab71bc69cdeceab6c4e65ecce36b6518e000c4e234a33",
      "href": "/os-evidence/20f54d61af124bdf7d2ab71bc69cdeceab6c4e65ecce36b6518e000c4e234a33.txt",
      "sha256": "20f54d61af124bdf7d2ab71bc69cdeceab6c4e65ecce36b6518e000c4e234a33",
      "bytes": 183,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1585-vfs-traits-local-zKQvPr/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/K1585-vfs-traits-local-zKQvPr/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1585-vfs-traits-local-zKQvPr/mutant-tests.log",
      "originalSha256": "daa03a2cb73b1de48554e03fa213dc28154e27dd9bcd0625d7b7b491b7a5c858",
      "href": "/os-evidence/95c1583446906e38e1d611b9581229dc32d275a8b7e506b46c1680445e395023.txt",
      "sha256": "95c1583446906e38e1d611b9581229dc32d275a8b7e506b46c1680445e395023",
      "bytes": 674,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1585-vfs-traits-local-zKQvPr/mutant/os-vfs-traits/src/lib.rs",
      "originalSha256": "a468364d776a3f9518a251989dca1da2455f4642f02aaec0bc1dac89a776693d",
      "href": "/os-evidence/a468364d776a3f9518a251989dca1da2455f4642f02aaec0bc1dac89a776693d.txt",
      "sha256": "a468364d776a3f9518a251989dca1da2455f4642f02aaec0bc1dac89a776693d",
      "bytes": 4381,
      "redacted": false
    }
  ],
  "moves": [
    "K1581",
    "K1582",
    "K1583",
    "K1584"
  ]
}