{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1270-dispatch-local-preflight-2R4Dqw/report.json",
    "sha256": "185279720dcd9735d99de301bf53a42bf3ea5be53edb6bb912aeabad2faa3d61",
    "bytes": 2343
  },
  "status": "K1266_K1269_LOCAL_VALIDATED",
  "scope": "Exact builtin names, external route and builtin argument boundaries. Mutating help to helpful fails the name test. Actual EL0 dispatch remains K1270.",
  "productAccepted": false,
  "tests": {
    "greenCount": 3,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "Cargo.toml",
      "source": "os-shell-dispatch/Cargo.toml",
      "originalSha256": "c7debd2e515fc92b5339ca78dbe43aaf9a5a11f7662a794583a6e96a31e90956",
      "href": "/os-evidence/c7debd2e515fc92b5339ca78dbe43aaf9a5a11f7662a794583a6e96a31e90956.txt",
      "sha256": "c7debd2e515fc92b5339ca78dbe43aaf9a5a11f7662a794583a6e96a31e90956",
      "bytes": 150,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "os-shell-dispatch/src/lib.rs",
      "originalSha256": "2f8e48dc73e02daeda8795dd75b635488808e745dd2675a253584ca0f32cca0f",
      "href": "/os-evidence/2f8e48dc73e02daeda8795dd75b635488808e745dd2675a253584ca0f32cca0f.txt",
      "sha256": "2f8e48dc73e02daeda8795dd75b635488808e745dd2675a253584ca0f32cca0f",
      "bytes": 1318,
      "redacted": false
    },
    {
      "name": "dispatch.rs",
      "source": "os-shell-dispatch/tests/dispatch.rs",
      "originalSha256": "e58400e094dc50c8a32b8063dc59de54659cc8c63b382a410bb19f0978b7e977",
      "href": "/os-evidence/e58400e094dc50c8a32b8063dc59de54659cc8c63b382a410bb19f0978b7e977.txt",
      "sha256": "e58400e094dc50c8a32b8063dc59de54659cc8c63b382a410bb19f0978b7e977",
      "bytes": 1419,
      "redacted": false
    },
    {
      "name": "CONTRACT.md",
      "source": "os-shell-dispatch/CONTRACT.md",
      "originalSha256": "7c0755737c0268650a03c8dc1d8a7f789ca631208b18b788010dfec93b745c59",
      "href": "/os-evidence/7c0755737c0268650a03c8dc1d8a7f789ca631208b18b788010dfec93b745c59.txt",
      "sha256": "7c0755737c0268650a03c8dc1d8a7f789ca631208b18b788010dfec93b745c59",
      "bytes": 547,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "os-shell-words/src/lib.rs",
      "originalSha256": "2e0547a589368f1fc86438e557299c8ae4ce6bb092faac9563e01c2d0519759e",
      "href": "/os-evidence/2e0547a589368f1fc86438e557299c8ae4ce6bb092faac9563e01c2d0519759e.txt",
      "sha256": "2e0547a589368f1fc86438e557299c8ae4ce6bb092faac9563e01c2d0519759e",
      "bytes": 3468,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1270-dispatch-local-preflight-2R4Dqw/host-tests.log",
      "originalSha256": "9bf7df5d16ba5830eea9514723d05e7affb74655260eeba62b36a44ce656f69a",
      "href": "/os-evidence/ad02ca08f66e317fdae073dae37e0d97cb90aea970833290b0af1b2a27d45628.txt",
      "sha256": "ad02ca08f66e317fdae073dae37e0d97cb90aea970833290b0af1b2a27d45628",
      "bytes": 855,
      "redacted": true
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1270-dispatch-local-preflight-2R4Dqw/aarch64-no-std-check.log",
      "originalSha256": "1ba368a2a815a608c10277ff5d26bf2416eea20972951dcd722b26259eff1260",
      "href": "/os-evidence/23394dcae5dfcbc7e75e38f23c6afcc58f782c9ebca57aecfa165369f0570d94.txt",
      "sha256": "23394dcae5dfcbc7e75e38f23c6afcc58f782c9ebca57aecfa165369f0570d94",
      "bytes": 364,
      "redacted": true
    },
    {
      "name": "builtin-name-mutant.log",
      "source": "reports/os-implementation/K1270-dispatch-local-preflight-2R4Dqw/builtin-name-mutant.log",
      "originalSha256": "00183cc9d613a2c8f31347d5c587253dba088917b4c0b72136ff4ccec3caeae3",
      "href": "/os-evidence/641f741d5be88bde6861af3fcdbb378b01e311fdf26c8a4fd34815ee4b2c8d72.txt",
      "sha256": "641f741d5be88bde6861af3fcdbb378b01e311fdf26c8a4fd34815ee4b2c8d72",
      "bytes": 1073,
      "redacted": true
    }
  ],
  "moves": [
    "K1266",
    "K1267",
    "K1268",
    "K1269"
  ]
}