{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1395-service-registry-restart-local-preflight-kn3NQU/report.json",
    "sha256": "31898e48d3fcd14588e45eb1216d1e6bbb4ed085765bfc0b02ae89f7372d38a7",
    "bytes": 3263
  },
  "status": "K1391_K1394_LOCAL_VALIDATED",
  "scope": "Bounded service-generation rebind model. A trusted lifecycle owner replaces a stopped publisher identity and clears its endpoint; a client opens a new session for the new PID/generation. An old session replay is rejected even if the endpoint number is reused. Wrong lifecycle identity and stale replay leave grants, bindings, and count unchanged. Seven host tests, AArch64 no_std compilation, and a disabled-session-guard mutant are local evidence. Native EL0 six-profile integration remains K1395.",
  "productAccepted": false,
  "tests": {
    "greenCount": 7,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "SERVICE_REGISTRY_RESTART_CONTRACT.md",
      "source": "userspace/SERVICE_REGISTRY_RESTART_CONTRACT.md",
      "originalSha256": "c4473cfd6e37b6ba0cbb18add035ec40da5e84fed3af59efbf108b0274649454",
      "href": "/os-evidence/c4473cfd6e37b6ba0cbb18add035ec40da5e84fed3af59efbf108b0274649454.txt",
      "sha256": "c4473cfd6e37b6ba0cbb18add035ec40da5e84fed3af59efbf108b0274649454",
      "bytes": 1476,
      "redacted": false
    },
    {
      "name": "service_registry.rs",
      "source": "userspace/src/service_registry.rs",
      "originalSha256": "9aa1b6e27200f299fd6414c99053692b1ab7de78ac30e6d0096efc0065de036e",
      "href": null,
      "unavailable": "Kayıttaki hash ile eşleşen, izin verilen boyutta bir metin dosyası bulunamadı."
    },
    {
      "name": "service_registry.rs",
      "source": "userspace/tests/service_registry.rs",
      "originalSha256": "38c9f42b0b4e915db6a23fa25dbad8b6d1c2e36edec7919b6aa13ec403f448f7",
      "href": null,
      "unavailable": "Kayıttaki hash ile eşleşen, izin verilen boyutta bir metin dosyası bulunamadı."
    },
    {
      "name": "lib.rs",
      "source": "userspace/src/lib.rs",
      "originalSha256": "08f27c4de175b42630ee89fee3b5c4cf8853e36933f4562dc165ba37b926c064",
      "href": "/os-evidence/08f27c4de175b42630ee89fee3b5c4cf8853e36933f4562dc165ba37b926c064.txt",
      "sha256": "08f27c4de175b42630ee89fee3b5c4cf8853e36933f4562dc165ba37b926c064",
      "bytes": 59,
      "redacted": false
    },
    {
      "name": "service-registry-restart-local.mjs",
      "source": "scripts/os-acceptance/service-registry-restart-local.mjs",
      "originalSha256": "857323d9beb11d4fc761679e7ad30c4826ed27326ee826d10308362781185da4",
      "href": "/os-evidence/857323d9beb11d4fc761679e7ad30c4826ed27326ee826d10308362781185da4.txt",
      "sha256": "857323d9beb11d4fc761679e7ad30c4826ed27326ee826d10308362781185da4",
      "bytes": 5642,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1395-service-registry-restart-local-preflight-kn3NQU/host-compile.log",
      "originalSha256": "8a9b3d96bcfc3c40f9f2a7425d37c0fd3942b5dde0b7a1b7ac03e8ce269c703e",
      "href": "/os-evidence/760ca51b86064a9dbccf6a387096de9b9257e6cc76992299bc74b5048ddfb682.txt",
      "sha256": "760ca51b86064a9dbccf6a387096de9b9257e6cc76992299bc74b5048ddfb682",
      "bytes": 957,
      "redacted": true
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1395-service-registry-restart-local-preflight-kn3NQU/host-tests.log",
      "originalSha256": "4a027b912ba2983e3c34324a0ddc97f32ce6a52f65e299006a403e04f188e5d7",
      "href": "/os-evidence/4a027b912ba2983e3c34324a0ddc97f32ce6a52f65e299006a403e04f188e5d7.txt",
      "sha256": "4a027b912ba2983e3c34324a0ddc97f32ce6a52f65e299006a403e04f188e5d7",
      "bytes": 482,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1395-service-registry-restart-local-preflight-kn3NQU/aarch64-no-std-check.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "session-guard-mutant-compile.log",
      "source": "reports/os-implementation/K1395-service-registry-restart-local-preflight-kn3NQU/session-guard-mutant-compile.log",
      "originalSha256": "8a9b3d96bcfc3c40f9f2a7425d37c0fd3942b5dde0b7a1b7ac03e8ce269c703e",
      "href": "/os-evidence/760ca51b86064a9dbccf6a387096de9b9257e6cc76992299bc74b5048ddfb682.txt",
      "sha256": "760ca51b86064a9dbccf6a387096de9b9257e6cc76992299bc74b5048ddfb682",
      "bytes": 957,
      "redacted": true
    },
    {
      "name": "session-guard-mutant.log",
      "source": "reports/os-implementation/K1395-service-registry-restart-local-preflight-kn3NQU/session-guard-mutant.log",
      "originalSha256": "68859c1fce285a213bbb0b4bd6b4f12f49afda424dceb20823860c5315a4c600",
      "href": "/os-evidence/c77cdd2c2fa17b8c7647937276a96bc8189d78962850e93b04489b390b20cde7.txt",
      "sha256": "c77cdd2c2fa17b8c7647937276a96bc8189d78962850e93b04489b390b20cde7",
      "bytes": 783,
      "redacted": true
    }
  ],
  "moves": [
    "K1391",
    "K1392",
    "K1393",
    "K1394"
  ]
}