G8g deploy payload üç temiz üretimde byte-for-byte reproducible

verify-rpi5-g8g-runtime: userspace-binaries verify-rpi5-g8g-contract
	$(CARGO) test -p aselsan_microkernel_simulation \
		--test rpi5_g8g_runtime_source --test rpi5_g8g_runtime_compile
	$(CARGO) check -p aselsan_kernel --target $(TARGET) \
		--no-default-features --features board-rpi5

  {
    id: "rpi5-g8g-reproducible-deploy-payload-green",
    date: "2026-08-22",
    sequence: 88,
    status: "verified",
    title: "G8g deploy payload üç temiz üretimde byte-for-byte reproducible",
    summary:
      "Sıra 87 tam matrisinden sonra deploy-relevant RPi5 payload üç ayrı temiz workspace/target üretiminde bağımsız incelemeyle kabul edildi. İlk clean deneme, kernel'in gömdüğü release hello/ipc artefaktları için runtime target'ında açık prerequisite bulunmadığından fail-closed STOP oldu; `verify-rpi5-g8g-runtime` yalnız `userspace-binaries` prerequisite'iyle düzeltildi. Post-fix source+mode manifesti 167 dosya / 2.807.566 B / 2d58e9bd…f044f exact; full simulation 228/228 ve clean A/B/C'nin her biri G8g 47/47 + layout 7/7 PASS. Main/A/B/C flat payload exact 292.256 B / 985fbe10…3c747; A/B/C `--strip-all` ELF exact 358.216 B / 122578ab…389e5f; entry, üç PT_LOAD, bss, embedded hello/IPC, DTB ve config aynıdır. Tam debug ve `--strip-debug` ELF'ler path-bağımlı dört non-loadable section nedeniyle eşleşmez; GO yalnız deploy-relevant yüzey içindir. Tarihsel `image-rpi5` G8g kapılarını prerequisite olarak taşımadığından Sıra 89 immutable package, microSD, UART ve fiziksel BOOT8G STOP; son fiziksel PASS Sıra 80 BOOT8F'tir.",
    evidence: [
      "Değişmeyen fiziksel prerequisite Sıra 80 BOOT8F raw'ıdır: 17.363 B, mode 0444, e70e1a9a2cf35f9079ee1b1a73d992106bf5ee9a19f1bbf2628582e836ea5068, direct validator PASS ve SCOPE=QUIESCENT_ATOMIC_HANDOFF_ONLY.",
      "İlk clean deneme eksik gömülü-userspace prerequisite'iyle fail-closed STOP oldu: pre-fix manifest 227bf28507ce281a872237168bfd10f51c21bc300a308d50a5c82d85e058bc65; tarihsel Makefile 18.040 B / 698c12830bff4525cfa83748dc74d5e0756e49b43b3398dd5ab90b6524a15b7c.",
      "Özgün STOP stdout'u arşivlenmedi; clean snapshot'lar ve dependency graph kök nedeni doğrular. Bu kayıtta yeniden oluşturulmuş/uydurma terminal dökümü yoktur.",
      "Fix exact `verify-rpi5-g8g-runtime: userspace-binaries verify-rpi5-g8g-contract` bağıdır. Post-fix Makefile 18.059 B / b8d4c2a4b5650dc38eac694517abe8563708a2612b028a22d1bffa9aa2b7980a.",
      "Prerequisite ve STOP sınırını bağlayan matrix source testi 2.845 B / d038bde3cdbb3180f7befa33724236ccddac1c3f658337f4bc93692990ad932a; full simulation 228/228 PASS'tir.",
      "Post-fix canonical source/toolchain/deploy-input manifesti 167 dosya, 2.807.566 B ve 2d58e9bda5d147233d4799b485fd5ab3ed54609229e36dbc0e5053c3df3f044f; bütün dosya mode alanları exact eşleşir.",
      "Clean A, B ve C üretimlerinin her biri contract/runtime/integration 27/14/6=47/47 ve G8/G8b/G8c/G8d/G8e/G8f/G8g layout 7/7 PASS verdi.",
      "Main/A/B/C flat payload byte-for-byte exact 292.256 B / 985fbe1088566beb1f8a655dba7b06759f088256077446a1d542251f3683c747.",
      "A/B/C `--strip-all` ELF byte-for-byte exact 358.216 B / 122578abc3b0c41ce1b16805d42e884353bc1a8cd49a0d7d85f19d2933389e5f.",
      "Dört üretimde entry=0x80000, PT_LOAD=3 ve .bss address/size=0xc8000/17.061.056 exact; normalized program-header SHA-256 f444d91f9299fb573efd30f3d08c9c604c99df48f82b33352a1ceaa6612d886c.",
      "Embedded hello exact 70.344 B / f60b9d4322962780f0eac218f3ffef7221785b54621dcfc11d3fb3590921d230; ipc_demo 71.704 B / ad9c9ae415f7f68045a808a8898450bccad25faca277881bbb1e25cbd33ee868.",
      "DTB exact 78.703 B / 40a2fbe9c29e8b9a4912cf726a943068defb779fc052ec38e457a79c58abca00; config exact 501 B / 1248275cdc6f6ce951ce0ff2183471d194c5b9bb58c3dc3f66efa9156f91d76b.",
      "Karşılaştırılan 14 ELF section'ın 10'u exact; yalnız `.debug_info`, `.debug_str`, `.symtab` ve `.strtab` değişir. Full debug ve `--strip-debug` byte eşitliği reddedilir.",
      "Bağımsız auditor FINAL GO yalnız deploy-relevant flat/loadable/strip-all payload kapsamındadır; image/package veya fiziksel kabul değildir.",
      "Reproducibility proof exact 6.616 B / 4227ff206fd6663d2a6ac810893401306a52e61d0c9f8b577519445ee2e1a052.",
      "Updated staged proof exact 13.845 B / 17f4dcdb182e78d04801c4ae0bddb00b40c10b789f7d287c10710b0231e03e71.",
      "Güncellenmiş Sıra 89–93 roadmap exact 34.504 B / b8f0d0a9d4454720b150ba6130569b05171b70714c23b7c259a6591e7523dd15; sıradaki tek yetkili işlem Sıra 89 immutable BOOT8G package kapısıdır.",
      "Geçici clean ağaçlar recoverable Trash'a taşındı: rejected 1.530.392 KiB, accepted 1.562.984 KiB ve audit 6.208 KiB; /tmp kopyası kalmadı, main artefaktlara dokunulmadı.",
    ],
    terminalSessionsNote:
      "Oturumlar post-fix clean A/B/C tekrarlarını ve deploy-relevant karşılaştırmayı özetler. İlk STOP'un özgün stdout'u arşivlenmedi; bu nedenle tarihsel hata için sentetik terminal çıktısı gösterilmez. Debug ELF farkları gizlenmez ve fiziksel kanıt sayılmaz.",
    terminalSessions: [
      {
        id: "g8g-sequence88-prerequisite-and-manifest",
        title:
          "Fail-closed clean prerequisite düzeltmesi ve source fingerprint",
        commandLines: [
          "inspect clean failure snapshots and Make dependency graph",
          "verify runtime target depends on userspace-binaries and G8g contract",
          "compare canonical post-fix 167-file content+mode manifests",
        ],
        outputLines: [
          "initial clean result=STOP_MISSING_USERSPACE_PREREQUISITE",
          "post-fix manifest=167 files · 2807566 B · modes=EXACT",
          "manifest sha256=2d58e9bda5d147233d4799b485fd5ab3ed54609229e36dbc0e5053c3df3f044f",
          "full simulation=228/228 PASS",
        ],
        exitCode: 0,
        outputMode: "selected",
        outputNote:
          "Initial STOP stdout was not archived; only the surviving snapshots and final verified dependency state are reported.",
      },
      {
        id: "g8g-sequence88-three-clean-productions",
        title: "A/B/C temiz production-context G8g ve layout tekrarları",
        commandLines: [
          "build userspace and RPi5 kernel in three independent clean workspaces/target roots",
          "run G8g contract/runtime/integration and G8 through G8g layout gates in each",
        ],
        outputLines: [
          "A=47/47 + layouts 7/7 PASS",
          "B=47/47 + layouts 7/7 PASS",
          "C=47/47 + layouts 7/7 PASS",
          "hello/ipc/DTB/config=EXACT",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g8g-sequence88-deploy-payload-compare",
        title: "Flat/loadable/strip-all eşliği ve debug negative control",
        commandLines: [
          "llvm-objcopy -O binary on main/A/B/C production ELFs and compare",
          "llvm-objcopy --strip-all on A/B/C and compare",
          "compare normalized program headers, entry, PT_LOAD, bss and sections",
        ],
        outputLines: [
          "flat main/A/B/C=292256 B · 985fbe1088566beb…3c747 · cmp PASS",
          "strip-all A/B/C=358216 B · 122578abc3b0c41c…389e5f · cmp PASS",
          "entry=0x80000 · PT_LOAD=3 · bss=0xc8000/17061056 · exact",
          "sections exact=10/14 · full-debug=DIFFERENT · strip-debug=DIFFERENT",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
    ],
    limitations: [
      "Bu kayıt yalnız deploy-relevant flat/loadable/strip-all payload reproducibility PASS'idir; full debug ve `--strip-debug` ELF'ler exact değildir.",
      "Tarihsel `image-rpi5` G8g contract/runtime/integration/layout prerequisite'lerini taşımadığı için reproducible flat çıktı immutable BOOT8G image/package acceptance değildir; Sıra 89 STOP'tur.",
      "Canonical SHA256SUMS/package freeze yapılmadı; reproducibility sırasında oluşan build output deploy adayı olarak seçilmedi.",
      "microSD, UART, Debug Probe ve Pi güç durumuna dokunulmadı. Son fiziksel PASS Sıra 80 BOOT8F'tir.",
      "Generic SMP, scheduler/runqueue ownership, migration, TLBI, CPU2/CPU3, soak ve hotplug kapalıdır.",
      "Production deployment dirty/untracked workspace ve stale 47d22c9 source etiketiyle yapılır; canlı artifact doğrulansa da Git-provider provenance kurulmuş sayılmaz.",
    ],
  },