{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1400-service-registry-discovery-local-preflight-NQvSmY/report.json",
    "sha256": "9bd959da90e33529c574a490fc9d40f83fdf82753cf6e7ea66c1c3556e56dd23",
    "bytes": 3212
  },
  "status": "K1396_K1399_LOCAL_VALIDATED",
  "scope": "Fixed-size principal and namespace visibility policy. Two permitted public service queries return bindings; a management namespace query for an existing name and an unknown management name both return NotFound, without changing grants, bindings, policy, or resource count. Nine host tests, AArch64 no_std compilation, and a disabled-visibility-guard mutant are local evidence. Native EL0 six-profile integration remains K1400.",
  "productAccepted": false,
  "tests": {
    "greenCount": 9,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "SERVICE_REGISTRY_DISCOVERY_CONTRACT.md",
      "source": "userspace/SERVICE_REGISTRY_DISCOVERY_CONTRACT.md",
      "originalSha256": "e1b8bbc7c430b013bfed5fe675e077c1ff3bb6e167a4d0ceabdc6b11a9e283e5",
      "href": "/os-evidence/e1b8bbc7c430b013bfed5fe675e077c1ff3bb6e167a4d0ceabdc6b11a9e283e5.txt",
      "sha256": "e1b8bbc7c430b013bfed5fe675e077c1ff3bb6e167a4d0ceabdc6b11a9e283e5",
      "bytes": 1411,
      "redacted": false
    },
    {
      "name": "service_registry.rs",
      "source": "userspace/src/service_registry.rs",
      "originalSha256": "9e8d8e6b897c3d2bbbc108c060518f2f06541f3a2981df00bdf7462909e6ca6b",
      "href": "/os-evidence/9e8d8e6b897c3d2bbbc108c060518f2f06541f3a2981df00bdf7462909e6ca6b.txt",
      "sha256": "9e8d8e6b897c3d2bbbc108c060518f2f06541f3a2981df00bdf7462909e6ca6b",
      "bytes": 10332,
      "redacted": false
    },
    {
      "name": "service_registry.rs",
      "source": "userspace/tests/service_registry.rs",
      "originalSha256": "4fe526e0263c829f9c4172cc6650757d4f16d0d436ea1d7ecc7f5dd74c1d562e",
      "href": "/os-evidence/4fe526e0263c829f9c4172cc6650757d4f16d0d436ea1d7ecc7f5dd74c1d562e.txt",
      "sha256": "4fe526e0263c829f9c4172cc6650757d4f16d0d436ea1d7ecc7f5dd74c1d562e",
      "bytes": 12713,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "userspace/src/lib.rs",
      "originalSha256": "08f27c4de175b42630ee89fee3b5c4cf8853e36933f4562dc165ba37b926c064",
      "href": "/os-evidence/08f27c4de175b42630ee89fee3b5c4cf8853e36933f4562dc165ba37b926c064.txt",
      "sha256": "08f27c4de175b42630ee89fee3b5c4cf8853e36933f4562dc165ba37b926c064",
      "bytes": 59,
      "redacted": false
    },
    {
      "name": "service-registry-discovery-local.mjs",
      "source": "scripts/os-acceptance/service-registry-discovery-local.mjs",
      "originalSha256": "0b267d29b62b1d58980f1480b78ece1716056b2b7f13d5dd257b320dc9a7993c",
      "href": "/os-evidence/0b267d29b62b1d58980f1480b78ece1716056b2b7f13d5dd257b320dc9a7993c.txt",
      "sha256": "0b267d29b62b1d58980f1480b78ece1716056b2b7f13d5dd257b320dc9a7993c",
      "bytes": 5585,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1400-service-registry-discovery-local-preflight-NQvSmY/host-compile.log",
      "originalSha256": "bb15b7101a3a84ab341f15008aab8b86f0c660cdd373ce50807d7a26a78c3150",
      "href": "/os-evidence/c549924cef2e0d4539aaee5adf76e9af5db0ce39f07467ef6bf0e11a5ac964e2.txt",
      "sha256": "c549924cef2e0d4539aaee5adf76e9af5db0ce39f07467ef6bf0e11a5ac964e2",
      "bytes": 961,
      "redacted": true
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1400-service-registry-discovery-local-preflight-NQvSmY/host-tests.log",
      "originalSha256": "ee8d3cda258c155fb88ef2000877727528930c72a0a0f4697ef5e9ecf868a2c9",
      "href": "/os-evidence/ee8d3cda258c155fb88ef2000877727528930c72a0a0f4697ef5e9ecf868a2c9.txt",
      "sha256": "ee8d3cda258c155fb88ef2000877727528930c72a0a0f4697ef5e9ecf868a2c9",
      "bytes": 584,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1400-service-registry-discovery-local-preflight-NQvSmY/aarch64-no-std-check.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "visibility-guard-mutant-compile.log",
      "source": "reports/os-implementation/K1400-service-registry-discovery-local-preflight-NQvSmY/visibility-guard-mutant-compile.log",
      "originalSha256": "5105fc5fb5bcea7badae9be82ff67a6ba4d9b5d3750ccb4244edb5100ef17756",
      "href": "/os-evidence/355c1bcaf6a5688528e0b3e4801a8b60c07e5c9390797dd75f5d2fb40404cc95.txt",
      "sha256": "355c1bcaf6a5688528e0b3e4801a8b60c07e5c9390797dd75f5d2fb40404cc95",
      "bytes": 1436,
      "redacted": true
    },
    {
      "name": "visibility-guard-mutant.log",
      "source": "reports/os-implementation/K1400-service-registry-discovery-local-preflight-NQvSmY/visibility-guard-mutant.log",
      "originalSha256": "4a98d33233a8f973a292d8732019fa88b8f209c5d66b246aa4d52e3f1c93fc11",
      "href": "/os-evidence/34da11069e1fdc9304d96be0a282b4061dd362547abebc9d4ee74e2d073e028f.txt",
      "sha256": "34da11069e1fdc9304d96be0a282b4061dd362547abebc9d4ee74e2d073e028f",
      "bytes": 788,
      "redacted": true
    }
  ],
  "moves": [
    "K1396",
    "K1397",
    "K1398",
    "K1399"
  ]
}