{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1590-vfs-tmpfs-matrix-check-KN4qJd/report.json",
    "sha256": "1009ecd252de3187962fc96587880f95cb8994668d820f8cb79572f5ee8be257",
    "bytes": 9243
  },
  "status": "K1590_VFS_TMPFS_DEVELOPMENT_MATRIX_VALIDATED",
  "scope": "One isolated development Image exercised a two-file owner-scoped RAM filesystem in the product kernel. It observed a zero-filled gap, transactional quota refusal, owner isolation, unlink reclamation, and stale-token refusal after reset. Six direct and UEFI profiles supplied serial and QMP evidence. The probe did not expose userspace file operations or use disk-backed data; canonical product release acceptance remains open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "4d067191520a039deb3450eacfa3fe5f4f265627de3eb9fcee5cf25358854b52",
  "files": [
    {
      "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.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": ".k1590-vfs-tmpfs-matrix-generated.mjs",
      "source": "scripts/os-acceptance/.k1590-vfs-tmpfs-matrix-generated.mjs",
      "originalSha256": "65cfd27a4f8ea5a04c6723c33fc638921fa350cb56101beb16c7f1e8f67e9e3c",
      "href": "/os-evidence/65cfd27a4f8ea5a04c6723c33fc638921fa350cb56101beb16c7f1e8f67e9e3c.txt",
      "sha256": "65cfd27a4f8ea5a04c6723c33fc638921fa350cb56101beb16c7f1e8f67e9e3c",
      "bytes": 81848,
      "redacted": false
    },
    {
      "name": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1590-vfs-tmpfs-candidate-7ekcmZ/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "a269507aecc3262709dcb907efa9c5c58da66636a59c2a7033988fac14440735",
      "href": "/os-evidence/a269507aecc3262709dcb907efa9c5c58da66636a59c2a7033988fac14440735.txt",
      "sha256": "a269507aecc3262709dcb907efa9c5c58da66636a59c2a7033988fac14440735",
      "bytes": 74813,
      "redacted": false
    },
    {
      "name": "k1590-vfs-tmpfs.rs",
      "source": "reports/os-implementation/K1590-vfs-tmpfs-candidate-7ekcmZ/sources/kernel/src/k1590-vfs-tmpfs.rs",
      "originalSha256": "42b98ec3420169b2c4c93c1214c2e8625d17dba666d6de79d582d3de65433f69",
      "href": "/os-evidence/42b98ec3420169b2c4c93c1214c2e8625d17dba666d6de79d582d3de65433f69.txt",
      "sha256": "42b98ec3420169b2c4c93c1214c2e8625d17dba666d6de79d582d3de65433f69",
      "bytes": 2039,
      "redacted": false
    },
    {
      "name": "vfs_tmpfs.rs",
      "source": "reports/os-implementation/K1590-vfs-tmpfs-candidate-7ekcmZ/sources/kernel/src/runtime/vfs_tmpfs.rs",
      "originalSha256": "1e794a77bdc48eb4b33f75c72768b1d8a2b112c28ebe0dd7ccf3caee71dbfd72",
      "href": "/os-evidence/1e794a77bdc48eb4b33f75c72768b1d8a2b112c28ebe0dd7ccf3caee71dbfd72.txt",
      "sha256": "1e794a77bdc48eb4b33f75c72768b1d8a2b112c28ebe0dd7ccf3caee71dbfd72",
      "bytes": 5680,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1590-vfs-tmpfs-candidate-7ekcmZ/kernel-product.log",
      "originalSha256": "2f8cf9ad130f25a072ccdc3ce6b13b117449befa3b4001a8dfb6015c39b529f2",
      "href": "/os-evidence/5dc73f9529c37266caa43feb1f137bfb3be0b13feb23f45a2de309262388cb01.txt",
      "sha256": "5dc73f9529c37266caa43feb1f137bfb3be0b13feb23f45a2de309262388cb01",
      "bytes": 1663,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1590-vfs-tmpfs-matrix-e3BOca/product-one-bank-direct-256-mode-109/serial.log",
      "originalSha256": "b3c3fec1ae98f9e4095578c16d1d23723be21712b632623981924a0513c2cfea",
      "href": "/os-evidence/b3c3fec1ae98f9e4095578c16d1d23723be21712b632623981924a0513c2cfea.txt",
      "sha256": "b3c3fec1ae98f9e4095578c16d1d23723be21712b632623981924a0513c2cfea",
      "bytes": 42679,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1590-vfs-tmpfs-matrix-e3BOca/product-one-bank-direct-512-mode-109/serial.log",
      "originalSha256": "206243a6e52ffb04df7444383fc5747933543188cda38a229bb62f27e3527d7c",
      "href": "/os-evidence/206243a6e52ffb04df7444383fc5747933543188cda38a229bb62f27e3527d7c.txt",
      "sha256": "206243a6e52ffb04df7444383fc5747933543188cda38a229bb62f27e3527d7c",
      "bytes": 42679,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1590-vfs-tmpfs-matrix-e3BOca/product-one-bank-direct-1024-mode-109/serial.log",
      "originalSha256": "04b5c097690fce686f829a45861813cd9e5a4f48000cd0d23514cf8188e54862",
      "href": "/os-evidence/04b5c097690fce686f829a45861813cd9e5a4f48000cd0d23514cf8188e54862.txt",
      "sha256": "04b5c097690fce686f829a45861813cd9e5a4f48000cd0d23514cf8188e54862",
      "bytes": 42679,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1590-vfs-tmpfs-matrix-e3BOca/product-one-bank-uefi-256-mode-109/serial.log",
      "originalSha256": "8eaf2a870f375d8b1fada73aa2c4bfbc2abb577575aa463d3e02855841b6302e",
      "href": "/os-evidence/8eaf2a870f375d8b1fada73aa2c4bfbc2abb577575aa463d3e02855841b6302e.txt",
      "sha256": "8eaf2a870f375d8b1fada73aa2c4bfbc2abb577575aa463d3e02855841b6302e",
      "bytes": 49052,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1590-vfs-tmpfs-matrix-e3BOca/product-one-bank-uefi-512-mode-109/serial.log",
      "originalSha256": "486d65c4fa68ea85246e9524bf1da76ea1312be67dd3c0a66f5c7cedd48c55e2",
      "href": "/os-evidence/486d65c4fa68ea85246e9524bf1da76ea1312be67dd3c0a66f5c7cedd48c55e2.txt",
      "sha256": "486d65c4fa68ea85246e9524bf1da76ea1312be67dd3c0a66f5c7cedd48c55e2",
      "bytes": 49052,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1590-vfs-tmpfs-matrix-e3BOca/product-one-bank-uefi-1024-mode-109/serial.log",
      "originalSha256": "c4db0ecbe84f68f521516b0a567f77e0970bb86916d96d268193884a06ec0009",
      "href": "/os-evidence/c4db0ecbe84f68f521516b0a567f77e0970bb86916d96d268193884a06ec0009.txt",
      "sha256": "c4db0ecbe84f68f521516b0a567f77e0970bb86916d96d268193884a06ec0009",
      "bytes": 48767,
      "redacted": false
    }
  ],
  "moves": [
    "K1590"
  ]
}