RPi5 G6 güvenli bellek paketi microSD'ye yazıldı ve doğrulandı

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-g6-microsd-flash-verified",
    date: "2026-08-20",
    sequence: 23,
    status: "verified",
    title: "RPi5 G6 güvenli bellek paketi microSD'ye yazıldı ve doğrulandı",
    summary:
      "5630758c…f26b hash'li G6 allocation-free DT/RAM + 8 MiB heap paketi, kimliği fail-closed kontrollerden geçen 62,5 GB microSD'ye yazıldı. Karttaki dört boot dosyası build/rpi5 kaynaklarıyla byte-for-byte, üç payload manifesti 3/3 doğrulandı; dosya sistemi sync edilip aygıt güvenle çıkarıldı.",
    evidence: [
      "/dev/disk4 whole-disk; 62,5 GB Built In SDXC Reader, Secure Digital, removable ve writable olarak doğrulandı. disk4s1 FAT32 ASELSANBOOT bölümü /Volumes/ASELSANBOOT ile eşleşti; check-sd-rpi5 ve verify-sd-volume-rpi5 PASS verdi.",
      "Kart mevcut doğru MBR/FAT32 bölüm düzeninde olduğu için yeniden formatlanmadı; yalnız G6 boot paketi güncellendi.",
      "make flash-rpi5 exit 0 verdi. Karttaki aselsanos-rpi5.img 127152 bayt ve SHA-256 5630758ce0006080aa9396247305db301f1d2782dbafaab08e352c4756b3f26b olarak doğrulandı.",
      "Karttaki bcm2712-rpi-5-b.dtb 78703 bayt ve SHA-256 40a2fbe9c29e8b9a4912cf726a943068defb779fc052ec38e457a79c58abca00; config.txt 501 bayt ve SHA-256 1248275cdc6f6ce951ce0ff2183471d194c5b9bb58c3dc3f66efa9156f91d76b olarak doğrulandı.",
      "248 baytlık SHA256SUMS kart üzerinde shasum -a 256 -c ile çalıştırıldı; imaj, DTB ve config için 3/3 OK alındı.",
      "Karttaki aselsanos-rpi5.img, bcm2712-rpi-5-b.dtb, config.txt ve SHA256SUMS dosyalarının her biri build/rpi5 karşılığıyla cmp byte-for-byte eşleşti.",
      "sync sonrasında diskutil eject /dev/disk4 başarıyla tamamlandı; /Volumes/ASELSANBOOT mount'u kaldırıldı ve /dev/disk4 sistem aygıt listesinden kayboldu.",
    ],
    commands: [
      "make check-sd-rpi5 SD_DISK=/dev/disk4",
      "make verify-sd-volume-rpi5 SD_DISK=/dev/disk4 SD_MOUNT=/Volumes/ASELSANBOOT",
      "make flash-rpi5 SD_DISK=/dev/disk4 SD_MOUNT=/Volumes/ASELSANBOOT",
      "cd /Volumes/ASELSANBOOT && shasum -a 256 -c SHA256SUMS",
      "cmp card files against build/rpi5",
      "sync && diskutil eject /dev/disk4",
    ],
    limitations: [
      "Bu kayıt G6 paketinin fiziksel microSD'ye doğru yazıldığını ve güvenle çıkarıldığını kanıtlar; Raspberry Pi 5 üzerinde G6 runtime PASS değildir.",
      "Gerçek donanımda kanıtlanan son sınır önceki 83cbc10a…cdda G5 paketiyle BOOT5 GIC+TIMER'dır. Yeni G6 kartı henüz Pi 5'te çalıştırılmadı.",
      "RAM0, RAM1 ve BOOT6 DT+RAM+HEAP=OK marker'ları gerçek UART10 kaydında henüz gözlenmedi; scheduler, userspace ve SMP kapalı kalır.",
    ],
  },