G8h production machine-code/layout GREEN; S98 full matrix sırada

verify-rpi5-g8h-layout: verify-rpi5-g8h-integration
	@ASELSAN_REQUIRE_G8H_ELF=1 $(CARGO) test -p aselsan_microkernel_simulation \
		--test rpi5_g8h_layout_source
	@if [ -z "$(READOBJ)" ] || [ ! -x "$(READOBJ)" ]; then \
		echo "llvm-readobj bulunamadı. rustup component add llvm-tools-preview"; \
		exit 1; \
	fi
	@if [ -z "$(OBJDUMP)" ] || [ ! -x "$(OBJDUMP)" ]; then \
		echo "llvm-objdump bulunamadı. rustup component add llvm-tools-preview"; \
		exit 1; \
	fi
	@sh scripts/verify-rpi5-g8-layout.sh "$(READOBJ)" "$(OBJDUMP)" "$(RPI5_ELF)"
	@sh scripts/verify-rpi5-g8b-layout.sh "$(OBJDUMP)" "$(RPI5_ELF)"
	@sh scripts/verify-rpi5-g8c-layout.sh "$(OBJDUMP)" "$(RPI5_ELF)"
	@sh scripts/verify-rpi5-g8d-layout.sh "$(OBJDUMP)" "$(RPI5_ELF)"
	@sh scripts/verify-rpi5-g8e-layout.sh "$(OBJDUMP)" "$(RPI5_ELF)"
	@sh scripts/verify-rpi5-g8f-layout.sh "$(OBJDUMP)" "$(RPI5_ELF)"
	@sh scripts/verify-rpi5-g8g-layout.sh "$(OBJDUMP)" "$(RPI5_ELF)"
	@sh scripts/verify-rpi5-g8h-layout.sh "$(OBJDUMP)" "$(RPI5_ELF)"

# Sıra 87: verify-core'un tam regresyon/QEMU/üç production board zincirine ek
# olarak iki compile-only SMP profili ve fresh, izole RPi5 layout doğrulaması.
# Profil scripti özellikle kernel/ içinde çalışır; workspace kökünden doğrudan
# cargo çağrısı kernel/.cargo/config.toml bağlamını taşımadığı için production
# ELF kanıtı sayılamaz.

  {
    id: "rpi5-g8h-production-machine-code-layout-green",
    date: "2026-08-22",
    sequence: 97,
    status: "verified",
    title: "G8h production machine-code/layout GREEN; S98 full matrix sırada",
    summary:
      "Sequence 96'nın exact üç dar RPi5 production seam'i current board-rpi5 ELF üzerinde function-bounded machine-code/layout kapısına bağlandı. G8g→G8h CPU0/CPU1 reachability, lower-EL sync ve IRQ frame restore ABI'si, Option frame-pointer dispatch, iki static task stack'i, CPU1 critical panic-free closure, timer/GIC/EOI sırası ve CPU0'nun dar terminal formatter/UART sınırı fail-closed doğrulandı. Exact 56/56, tarihsel/current G8–G8h layout 8/8, serialized simulation 301/301 ve 23 rejected ELF mutation PASS; bağımsız reviewer FINAL GO verdi. Bu S98 full matrix, image/package veya physical BOOT8H değildir. Son fiziksel PASS S92 BOOT8G, Pi kapalıdır.",
    evidence: [
      "`make verify-rpi5-g8h-layout` exact 56/56 PASS: historical G8g UART 11/11 + S94 source 5/5 + G8h UART 8/8 + runtime object 1/1 + runtime source 18/18 + integration source 9/9 + layout source/mutation 4/4.",
      "Aynı current RPi5 ELF üzerinde historical G8, G8b, G8c, G8d, G8e, G8f, versioned G8g ve current G8h layout zinciri exact 8/8 PASS.",
      "Exact G8g→G8h CPU0/CPU1 reachability, success-only continuation, raw ACK/INTID sonrası G8h-first Option frame-pointer dispatch ve non-owned IRQ delegation machine CFG'de bağlıdır.",
      "Lower-EL sync restore exact 43 instruction; explicit context 264 B + 8 B alignment pad = 272 B frame, SP frame+272 ile implicit restore edilir.",
      "CPU1 critical closure panic-free; static ayrık iki 64 KiB A/B stack, canary, fixed-SP Task B, closed unmasked Task A CFG ve exact 0x2e0/0x270 IRQ low-watermark PASS.",
      "CPU1 PPI27 lifecycle exact 40 delivery/ack/EOI/deadline advance, tick 10/20/30/40 ABABA, EOI-before-redirect ve bounded no-41/PARKED closure ile bağlıdır.",
      "CPU0 pre-report state paths panic-free; terminal çıktı yalnız exact `core::fmt::write` + `fmt::Write for Uart` vtable/+0x18 slot + UART write leaf trusted boundary'sine girer. Whole formatter graph panic-free olarak sınıflandırılmadı.",
      "CPU0 0x18f0 peak / 0xe700 headroom yalnız G8→G8h terminal path'in G7-B task top'una göre relative bound'udur; whole-lifetime maximum değildir.",
      "ALLOC/read-only marker inventory exact G8H0/G8H1/G8H2/G8H3/G8H4/BOOT8H=6/6 exact-once; G8HERR linked count=0/ABSENT. Owned failure'lar silent terminal park, non-owned IRQ'lar delegate olur.",
      "Actual ELF mutation kapısı 4/4 PASS; stack/frame/SP, lower-EL predicate, timer/GIC/EOI, Option, vtable/formatter, reporter ve marker programlarını bozan 23/23 mutation fail-closed reddedildi.",
      "Serialized full simulation exact 301/301 PASS (43 result block); workspace check, fmt-all, diff ve shell syntax kapıları PASS.",
      "Actual board-rpi5 ELF exact 7.972.592 B / a005d1c1615459740a2c48cc988550922db34de15318aae84a8fad576140c5bc.",
      "Runtime exact 86.590 B / e82389b90def3f1649678984db07b1ba76954564e2141e2375a4d936e5db80de.",
      "Current G8h layout script exact 158.433 B / c196fb950473f6cc82f0d4a077485b7b3aa3be7cdec69b37e72309dbfc8bab01; versioned G8g layout exact 107.144 B / 239494a8e9150db042c64224d4108d38bca2768ef2a5c88559b6234db12d6471.",
      "Layout source test exact 21.977 B / b97ab7717069f0e02bbd31002145b0d0118a9bf63a3c36799d936aa306fa041a; integration test exact 14.770 B / 949e20f69a0c5cc620890694a83d2ee8ba6ea808966057679f2243b13a6c19e7.",
      "Versioned S94 source test exact 10.073 B / f8db3bf1447b94602601678a1bb2ea42ad5d5289fd8ea0777e8ccb31b281e84d; G8g integration test exact 10.140 B / cccbd0394112ced3c6acab729c997010d2ee5f8f8253964b7fe03831cb34ffd3.",
      "Makefile exact 26.029 B / 85982a4bed0adb29404fdc29463f1a084d3169aaeab8c9e6f1c6284bcf04ccff; image target G8h layout'u objcopy öncesi prerequisite yapar, fakat S97 layout target'ı image üretmez.",
      "S97 proof exact 388 satır / 15.068 B / e004f5b9675c948a78e8a033e697fd14334c5ad422e02f66e008742a6f5b6f2d.",
      "Bağımsız reviewer machine CFG, frame/SP, stack bounds, timer/GIC, reporter dominance, marker inventory, mutation matrisi ve STOP sınırlarının tamamına FINAL GO verdi.",
      "S97 docs/static-site web 173/173, lint, TypeScript ve 23/23 static export PASS sonrasında frozen out exactly-one deploy ile `f861fdb1.aselsan-microkernel.pages.dev` production'a yayımlandı; dört canonical route byte-for-byte eşleşti.",
      "Son fiziksel PASS değişmedi: S92 immutable 18.978 B / 4abf8bb1…1a2 BOOT8G raw; Pi kapalı, image/package/device/microSD/UART/power/BOOT8H=NOT_PERFORMED.",
    ],
    terminalSessionsNote:
      "Sequence 97 oturumları current production ELF machine-code/layout ve salt-okunur mutation kanıtıdır; full matrix, image/package veya fiziksel UART/BOOT8H oturumu değildir.",
    terminalSessions: [
      {
        id: "g8h-sequence97-layout-gate",
        title: "Production machine-code ve G8–G8h layout zinciri",
        commandLines: [
          "make verify-rpi5-g8h-layout",
          "run actual ELF layout-source mutation gate with ASELSAN_REQUIRE_G8H_ELF=1",
        ],
        outputLines: [
          "aggregate=56/56 PASS · board-rpi5 build=PASS",
          "historical/current layout=G8-G8h 8/8 PASS",
          "layout source=4/4 PASS · ELF mutations rejected=23/23",
          "ELF=7972592 B / a005d1c1…c5bc",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g8h-sequence97-regression-and-quality",
        title: "Serialized regression ve source-quality kapıları",
        commandLines: [
          "cargo test -p aselsan_microkernel_simulation -- --test-threads=1",
          "cargo check --workspace && cargo fmt --all -- --check",
          "run diff and shell-syntax checks",
        ],
        outputLines: [
          "serialized simulation=301/301 PASS · result_blocks=43",
          "workspace check=PASS · fmt-all=PASS · diff=PASS · shell syntax=PASS",
          "device/image/package/UART/power=NOT_PERFORMED",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g8h-sequence97-independent-final-audit",
        title: "Bağımsız production-layout final audit",
        commandLines: [
          "re-audit frozen S97 source/script/test/ELF identities",
          "re-run layout, mutation, serialized simulation and STOP-boundary checks",
        ],
        outputLines: [
          "production-layout reviewer=FINAL GO",
          "context=264+8/272 · SP=implicit frame+272 · markers=6/6 · G8HERR=ABSENT",
          "CPU0 bound=0x18f0/e700 TERMINAL_PATH_ONLY",
          "S98 full matrix=STOP · physical BOOT8H=STOP · Pi=OFF",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
    ],
    limitations: [
      "S97 yalnız current production ELF machine-code/layout kabulüdür; S98 full regression matrix sıradaki ayrı kapıdır.",
      "CPU0 0x18f0/e700 yalnız G8→G8h terminal path için relative bound'dur; whole-lifetime maximum değildir.",
      "CPU1 critical closure panic-free'dir; CPU0 terminal raporlama exact trusted fmt/UART boundary'sidir, whole formatter graph panic-free kabul edilmez.",
      "Pi kapalı tutulur; image/package, microSD, UART descriptor/capture, power, raw/archive ve fiziksel BOOT8H kapıları STOP'tur.",
      "Generic SMP scheduler/runqueue, migration, load balancing, ASID/TLB shootdown, CPU2/CPU3, hotplug ve soak kapalıdır.",
      "Tarihsel S97 docs/static-site deploy'u dirty/untracked workspace ve stale 47d22c9 source etiketi taşıdı; bu kayıt kernel/image/package üretim veya Git-provider provenance'i kurmaz.",
    ],
  },