{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1265-words-el0-matrix-Q3U0Os/report.json",
    "sha256": "c3d57cb72ceb4a2194383fccb573536d85cf34953f43401e29ccb42c64538547",
    "bytes": 8888
  },
  "status": "K1265_WORDS_EL0_MATRIX_VALIDATED",
  "scope": "One byte-identical experimental development Image in six QEMU profiles has its EL0 shell parse three quoted words, verify them and call Version before spawning the child. Native MachO rejection, typed allocation and owner cleanup also pass. Interactive input, external command execution and product release remain open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "1f5528be5ce9ce9d42c0c3ee302ce4db931b7f7fc9fe79481ebc4730d79dd2b9",
  "files": [
    {
      "name": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1265-words-el0-candidate-YV01Dd/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "a4627d57bbaf1e103680cc45125577487c30bd4d402c812c9cec04263f45fc7e",
      "href": "/os-evidence/a4627d57bbaf1e103680cc45125577487c30bd4d402c812c9cec04263f45fc7e.txt",
      "sha256": "a4627d57bbaf1e103680cc45125577487c30bd4d402c812c9cec04263f45fc7e",
      "bytes": 42253,
      "redacted": false
    },
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1265-words-el0-candidate-YV01Dd/sources/kernel/src/runtime/process_guest.rs",
      "originalSha256": "6dc2fba864fec80d16431a0781b3c8c8225d5e553ea04ab67bb42173dc93b1cf",
      "href": "/os-evidence/6dc2fba864fec80d16431a0781b3c8c8225d5e553ea04ab67bb42173dc93b1cf.txt",
      "sha256": "6dc2fba864fec80d16431a0781b3c8c8225d5e553ea04ab67bb42173dc93b1cf",
      "bytes": 81614,
      "redacted": false
    },
    {
      "name": "process_table.rs",
      "source": "reports/os-implementation/K1265-words-el0-candidate-YV01Dd/sources/kernel/src/runtime/process_table.rs",
      "originalSha256": "06695fdc5f8554adefd2f720572e54534cf22c746642a0518765b6f964da0fd8",
      "href": "/os-evidence/06695fdc5f8554adefd2f720572e54534cf22c746642a0518765b6f964da0fd8.txt",
      "sha256": "06695fdc5f8554adefd2f720572e54534cf22c746642a0518765b6f964da0fd8",
      "bytes": 44159,
      "redacted": false
    },
    {
      "name": "os_k1215a_vectors.S",
      "source": "reports/os-implementation/K1265-words-el0-candidate-YV01Dd/sources/kernel/src/os_k1215a_vectors.S",
      "originalSha256": "62d6f1089c9265c7a625201954cfa2c37923452d306f0dfbbdd535b0a3a0fda5",
      "href": "/os-evidence/62d6f1089c9265c7a625201954cfa2c37923452d306f0dfbbdd535b0a3a0fda5.txt",
      "sha256": "62d6f1089c9265c7a625201954cfa2c37923452d306f0dfbbdd535b0a3a0fda5",
      "bytes": 6248,
      "redacted": false
    },
    {
      "name": "os_k1100_policy-tasks.S",
      "source": "reports/os-implementation/K1265-words-el0-candidate-YV01Dd/sources/kernel/src/os_k1100_policy-tasks.S",
      "originalSha256": "d0192cf98585ca2b9059c08dfb1939d904baf21515540dce1e2ed447f9533111",
      "href": "/os-evidence/d0192cf98585ca2b9059c08dfb1939d904baf21515540dce1e2ed447f9533111.txt",
      "sha256": "d0192cf98585ca2b9059c08dfb1939d904baf21515540dce1e2ed447f9533111",
      "bytes": 45852,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1265-words-el0-candidate-YV01Dd/sources/os-user-runtime-abi/src/lib.rs",
      "originalSha256": "c7fc214ce093b21a3a2fadff04b582cc14dd5dd86a0231c098e67ea887dbb91c",
      "href": "/os-evidence/c7fc214ce093b21a3a2fadff04b582cc14dd5dd86a0231c098e67ea887dbb91c.txt",
      "sha256": "c7fc214ce093b21a3a2fadff04b582cc14dd5dd86a0231c098e67ea887dbb91c",
      "bytes": 1658,
      "redacted": false
    },
    {
      "name": "mmu.rs",
      "source": "reports/os-implementation/K1265-words-el0-candidate-YV01Dd/sources/kernel/src/mmu.rs",
      "originalSha256": "bfdc38c0a63dda267646d9c250a1bf74ffeae87ca842089fefce6a3464a8b61d",
      "href": "/os-evidence/bfdc38c0a63dda267646d9c250a1bf74ffeae87ca842089fefce6a3464a8b61d.txt",
      "sha256": "bfdc38c0a63dda267646d9c250a1bf74ffeae87ca842089fefce6a3464a8b61d",
      "bytes": 113779,
      "redacted": false
    },
    {
      "name": "Cargo.toml",
      "source": "reports/os-implementation/K1265-words-el0-candidate-YV01Dd/sources/kernel/Cargo.toml",
      "originalSha256": "653a7585d59abe90ce96f07ca0607b2c88b65c1847c488105fe6b22c73f50db3",
      "href": "/os-evidence/653a7585d59abe90ce96f07ca0607b2c88b65c1847c488105fe6b22c73f50db3.txt",
      "sha256": "653a7585d59abe90ce96f07ca0607b2c88b65c1847c488105fe6b22c73f50db3",
      "bytes": 6827,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1265-words-el0-candidate-YV01Dd/sources/os-shell-words/src/lib.rs",
      "originalSha256": "2e0547a589368f1fc86438e557299c8ae4ce6bb092faac9563e01c2d0519759e",
      "href": "/os-evidence/2e0547a589368f1fc86438e557299c8ae4ce6bb092faac9563e01c2d0519759e.txt",
      "sha256": "2e0547a589368f1fc86438e557299c8ae4ce6bb092faac9563e01c2d0519759e",
      "bytes": 3468,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1265-words-el0-candidate-YV01Dd/kernel-product.log",
      "originalSha256": "ecce014a478f8b09a1b9702787ebb889546d96456f21a3552de75e0f8364f13d",
      "href": "/os-evidence/cd7bfc9d88989df471c3e8210d390ca14af4113af2fa50561685192f06a5b7f4.txt",
      "sha256": "cd7bfc9d88989df471c3e8210d390ca14af4113af2fa50561685192f06a5b7f4",
      "bytes": 21575,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-z88qYL/product-one-bank-direct-256-mode-44/serial.log",
      "originalSha256": "a9b01b943ef60153300e9b927258ed852ed567aa432eb5731f3cc0e96bedec16",
      "href": "/os-evidence/a9b01b943ef60153300e9b927258ed852ed567aa432eb5731f3cc0e96bedec16.txt",
      "sha256": "a9b01b943ef60153300e9b927258ed852ed567aa432eb5731f3cc0e96bedec16",
      "bytes": 46969,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-z88qYL/product-one-bank-direct-512-mode-44/serial.log",
      "originalSha256": "f75bfcc0f51e3c90f495fa0f635db05b64e2700e0f4149f4e713324449c0c7ce",
      "href": "/os-evidence/f75bfcc0f51e3c90f495fa0f635db05b64e2700e0f4149f4e713324449c0c7ce.txt",
      "sha256": "f75bfcc0f51e3c90f495fa0f635db05b64e2700e0f4149f4e713324449c0c7ce",
      "bytes": 46969,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-z88qYL/product-one-bank-direct-1024-mode-44/serial.log",
      "originalSha256": "42dc3c49b1a9418a06e48320fe3b5afda47d222736fb8fc5ada78481f119e799",
      "href": "/os-evidence/42dc3c49b1a9418a06e48320fe3b5afda47d222736fb8fc5ada78481f119e799.txt",
      "sha256": "42dc3c49b1a9418a06e48320fe3b5afda47d222736fb8fc5ada78481f119e799",
      "bytes": 46969,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-z88qYL/product-one-bank-uefi-256-mode-44/serial.log",
      "originalSha256": "6b233173af5202b744ac24d1794b423097a0fbc2dbea862333893cc6fd9a8d1b",
      "href": "/os-evidence/6b233173af5202b744ac24d1794b423097a0fbc2dbea862333893cc6fd9a8d1b.txt",
      "sha256": "6b233173af5202b744ac24d1794b423097a0fbc2dbea862333893cc6fd9a8d1b",
      "bytes": 53209,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-z88qYL/product-one-bank-uefi-512-mode-44/serial.log",
      "originalSha256": "dae11c763025faac677aad0b0435c032c99e9e5cab5861a47f6f770ea42847b5",
      "href": "/os-evidence/dae11c763025faac677aad0b0435c032c99e9e5cab5861a47f6f770ea42847b5.txt",
      "sha256": "dae11c763025faac677aad0b0435c032c99e9e5cab5861a47f6f770ea42847b5",
      "bytes": 53209,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-z88qYL/product-one-bank-uefi-1024-mode-44/serial.log",
      "originalSha256": "6963d7cf59df841e6dedc7c666d75a2ed8671a17cb275ae1e6320bcaa06685e8",
      "href": "/os-evidence/6963d7cf59df841e6dedc7c666d75a2ed8671a17cb275ae1e6320bcaa06685e8.txt",
      "sha256": "6963d7cf59df841e6dedc7c666d75a2ed8671a17cb275ae1e6320bcaa06685e8",
      "bytes": 53209,
      "redacted": false
    }
  ],
  "moves": [
    "K1265"
  ]
}