RPi5 G8b paketi exact microSD'ye formatsız yazıldı; BOOT8B UART bekliyor

check-sd-rpi5:
	@test -n "$(SD_DISK)" || \
		(echo "HATA: SD_DISK zorunlu. Örnek: make $@ SD_DISK=/dev/disk4"; exit 1)
	@printf '%s\n' "$(SD_DISK)" | grep -Eq '^/dev/disk[0-9]+$$' || \
		(echo "HATA: SD_DISK whole disk biçiminde olmalı: /dev/diskN"; exit 1)
	@INFO=$$(mktemp -t aselsanos-sd); trap 'rm -f "$$INFO"' EXIT; \
		diskutil info -plist "$(SD_DISK)" > "$$INFO"; \
		[ "$$(plutil -extract DeviceNode raw -o - "$$INFO")" = "$(SD_DISK)" ] || \
			{ echo "HATA: DeviceNode eşleşmiyor"; exit 1; }; \
		[ "$$(plutil -extract WholeDisk raw -o - "$$INFO")" = "true" ] || \
			{ echo "HATA: $(SD_DISK) whole disk değil"; exit 1; }; \
		[ "$$(plutil -extract OSInternalMedia raw -o - "$$INFO")" = "false" ] || \
			{ echo "HATA: işletim sistemi dahili diski reddedildi"; exit 1; }; \
		[ "$$(plutil -extract RemovableMediaOrExternalDevice raw -o - "$$INFO")" = "true" ] || \
			{ echo "HATA: aygıt çıkarılabilir/harici değil"; exit 1; }; \
		[ "$$(plutil -extract BusProtocol raw -o - "$$INFO")" = "Secure Digital" ] || \
			{ echo "HATA: yalnızca Secure Digital veri yolu kabul edilir"; exit 1; }

  {
    id: "rpi5-g8b-package-microsd-reflash-verified",
    date: "2026-08-21",
    sequence: 47,
    status: "verified",
    title:
      "RPi5 G8b paketi exact microSD'ye formatsız yazıldı; BOOT8B UART bekliyor",
    summary:
      "Sıra 46'da dondurulan 246960 bayt / dc241315…fb44a8a G8b paketi, salt-okunur kimlik kontrolleriyle çözülen exact 62549655552 bayt TISD64G Secure Digital karta format çağrısı yapılmadan yazıldı. Önce karttaki fiziksel G8a paketinin manifesti 3/3 ve dca4ab20…ae863 imaj bağı doğrulandı. make flash-rpi5 yalnız imaj, DTB, config ve SHA256SUMS dosyalarını mevcut MBR/FAT32 ASELSANBOOT kökünde değiştirdi. Yazma sonrasında kart manifesti 3/3, dört kaynak-kart cmp karşılaştırması ve tüm hashler geçti; sync/eject sonrasında /dev/disk4 ile mount noktasının yokluğu doğrulandı. Raspberry Pi 5 açılmadı ve gerçek G8B0/G8B1/BOOT8B UART10 çıktısı henüz alınmadı.",
    evidence: [
      "Exact whole disk /dev/disk4 olarak çözüldü: TISD64G, Built in SD Card Reader, Secure Digital, 62,549,655,552 bayt, removable=yes, OSInternalMedia=false ve S.M.A.R.T. Verified.",
      "Exact bölüm /dev/disk4s1, MBR üzerinde MS-DOS FAT32, volume ASELSANBOOT, mount /Volumes/ASELSANBOOT ve writable=true olarak doğrulandı.",
      "Yazma öncesi kart manifesti 3/3 OK verdi; eski imaj 242848 bayt / dca4ab20b49b2a6b26cb19d6d0f0d880d5af49057c95c05996d0ce43a3ae8637 G8a fiziksel PASS paketiydi.",
      "make check-sd-rpi5 ve make verify-sd-volume-rpi5 exact disk/mount bağı, whole-disk/removable/Secure-Digital ve FAT32/ASELSANBOOT kapılarını geçti.",
      "make flash-rpi5 SD_DISK=/dev/disk4 SD_MOUNT=/Volumes/ASELSANBOOT exit 0 verdi; format-sd-rpi5 çağrılmadı ve mevcut MBR/FAT32 bölüm düzeni korunarak yalnız dört boot dosyası değiştirildi.",
      "Yazım sırasında G7c, G7d, G8a ve G8b hedef testleri; pre-MMU atomik, trusted ELF, G7d/G8a/G8b makine-kodu kapıları yeniden PASS verdi.",
      "Karttaki G8b imajı exact 246960 bayt / dc241315fa24992ab025da79c72cc14cebf28d7e420e859a8f756d7e5fb44a8a oldu.",
      "Kart DTB'si 78703 bayt / 40a2fbe9…ca00, config 501 bayt / 1248275c…d76b ve SHA256SUMS 248 bayt / 072428ab…7632 olarak staged paketle eşleşti.",
      "Kart manifesti yazma sonrasında bağımsız olarak 3/3 OK verdi; imaj, DTB, config ve SHA256SUMS için dört ayrı build↔kart cmp=PASS alındı.",
      "sync tamamlandı; diskutil eject /dev/disk4 başarılı oldu. Son kontroller disk4_absent=PASS ve ASELSANBOOT_unmounted=PASS verdi.",
      "Kart-yazma ve fiziksel runtime sınırı docs/M8.1-RPi5-G8b-CPU1-PPI27-Staged-Proof.md içinde donduruldu.",
    ],
    commands: [
      "diskutil list + system_profiler SPCardReaderDataType + mount",
      "make check-sd-rpi5 SD_DISK=/dev/disk4",
      "make verify-sd-volume-rpi5 SD_DISK=/dev/disk4 SD_MOUNT=/Volumes/ASELSANBOOT",
      "pre-write: cd /Volumes/ASELSANBOOT && shasum -a 256 -c SHA256SUMS",
      "make flash-rpi5 SD_DISK=/dev/disk4 SD_MOUNT=/Volumes/ASELSANBOOT",
      "post-write: 3/3 manifest + four cmp + SHA-256 + sync + diskutil eject",
    ],
    terminalSessionsNote:
      "Bu oturumlar 21 Ağustos 2026'da exact fiziksel microSD üzerinde çalıştırılan komutların gerçek seçili yanıtlarıdır. Derleme warning'leri kısaltılmıştır. Kart yazımı runtime UART kanıtı değildir.",
    terminalSessions: [
      {
        id: "g8b-card-identity",
        title: "Exact Secure Digital aygıt ve FAT32 volume kimliği",
        commandLines: [
          "diskutil list",
          "system_profiler SPCardReaderDataType",
          "make check-sd-rpi5 SD_DISK=/dev/disk4",
          "make verify-sd-volume-rpi5 SD_DISK=/dev/disk4 SD_MOUNT=/Volumes/ASELSANBOOT",
        ],
        outputLines: [
          "/dev/disk4 · internal physical · FDisk_partition_scheme · 62.5 GB",
          "TISD64G · Secure Digital · exact bytes=62549655552 · Removable Media=Yes · S.M.A.R.T.=Verified",
          "/dev/disk4s1 · DOS_FAT_32 · ASELSANBOOT · /Volumes/ASELSANBOOT · Writable=Yes",
          "whole-disk/removable/Secure-Digital/FAT32/mount contract: PASS",
        ],
        exitCode: 0,
        outputMode: "selected",
      },
      {
        id: "g8b-card-prewrite",
        title: "Yazma öncesi fiziksel G8a paket bağı",
        commandLines: [
          "cd /Volumes/ASELSANBOOT && shasum -a 256 -c SHA256SUMS",
          "wc -c + shasum -a 256 existing card files",
        ],
        outputLines: [
          "aselsanos-rpi5.img: OK",
          "bcm2712-rpi-5-b.dtb: OK",
          "config.txt: OK",
          "old image bytes=242848",
          "old image sha256=dca4ab20b49b2a6b26cb19d6d0f0d880d5af49057c95c05996d0ce43a3ae8637",
          "current_dtb_cmp=PASS · current_config_cmp=PASS",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g8b-card-formatsiz-write",
        title: "Formatsız G8b paket yazımı ve yeniden çalışan kapılar",
        commandLines: [
          "make flash-rpi5 SD_DISK=/dev/disk4 SD_MOUNT=/Volumes/ASELSANBOOT",
        ],
        outputLines: [
          "G7c/G7d/G8a/G8b targeted gates: PASS",
          "PASS: G8b CPU1 banked GICv2 PPI27 one-shot, early IRQ intercept, local timer disable/EOI and IRQ-masked EL1h return verified",
          "source package manifest: 3/3 OK",
          "cp image + DTB + config + SHA256SUMS to existing ASELSANBOOT",
          "card manifest after copy: 3/3 OK",
          "sync: complete",
          "format-sd-rpi5: NOT CALLED",
        ],
        exitCode: 0,
        outputMode: "selected",
        outputNote:
          "Uzun, mevcut compiler warning'leri bu seçili yanıtta gösterilmedi.",
      },
      {
        id: "g8b-card-postwrite-eject",
        title: "Bağımsız 3/3, dört cmp, hash ve güvenli eject",
        commandLines: [
          "post-write shasum -a 256 -c SHA256SUMS",
          "cmp build/rpi5/{image,dtb,config,SHA256SUMS} /Volumes/ASELSANBOOT/...",
          "sync && diskutil eject /dev/disk4",
          "diskutil/mount absence checks",
        ],
        outputLines: [
          "manifest=3/3 OK",
          "cmp_aselsanos-rpi5.img=PASS",
          "cmp_bcm2712-rpi-5-b.dtb=PASS",
          "cmp_config.txt=PASS",
          "cmp_SHA256SUMS=PASS",
          "image bytes=246960 · sha256=dc241315fa24992ab025da79c72cc14cebf28d7e420e859a8f756d7e5fb44a8a",
          "Disk /dev/disk4 ejected",
          "disk4_absent=PASS · ASELSANBOOT_unmounted=PASS",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
    ],
    limitations: [
      "Bu kayıt yalnız exact karta güvenli paket yazımı ve byte eşitliği kanıtıdır; Raspberry Pi 5 açılmadı ve fiziksel BOOT8B PASS değildir.",
      "Gerçek G8B0/G8B1/BOOT8B için aynı descriptor üzerinde 115200 8N1 immutable raw UART10 capture ve strict G8b validator PASS gerekir.",
      "G8b yalnız CPU1 banked GICv2/PPI27 one-shot smoke'udur; scheduler, migration, IPI, TLB shootdown, CPU2/CPU3, hotplug ve EL0-on-CPU1 kapsam dışıdır.",
    ],
  },