RPi5 G7b reserved-aware PMM 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-g7b-microsd-flash-verified",
    date: "2026-08-20",
    sequence: 31,
    status: "verified",
    title:
      "RPi5 G7b reserved-aware PMM paketi microSD'ye yazıldı ve doğrulandı",
    summary:
      "7f0ba2b9…1720e2 hash'li G7b reserved-aware monotonic PMM paketi, kimliği fail-closed kontrollerle yeniden çözülen fiziksel microSD'ye mevcut FAT32 düzeni korunarak yazıldı. Kart manifesti 3/3 geçti; imaj, DTB, config ve manifest build/rpi5 kaynaklarıyla byte-for-byte eşleşti, dosya sistemi sync edilip aygıt güvenle çıkarıldı. Bu kart yazma kanıtıdır; G7B0/BOOT7B gerçek UART10 kaydı hâlâ beklenir ve son fiziksel runtime PASS G7a BOOT7'dir.",
    evidence: [
      "/dev/disk4 exact whole disk olarak çözümlendi: 62,549,655,552 B Built In SDXC Reader; OSInternalMedia=false, removable=true, ejectable=true, writable=true ve ortam türü Secure Digital.",
      "Child /dev/disk4s1 FAT32/msdos ASELSANBOOT olarak /Volumes/ASELSANBOOT altında bağlıydı ve parent whole disk /dev/disk4 ile eşleşti. make check-sd-rpi5 ile make verify-sd-volume-rpi5 exit 0 verdi.",
      "Mevcut doğru MBR/FAT32 bölüm düzeni korundu; format-sd-rpi5 çalıştırılmadı. make flash-rpi5 exit 0 verdi.",
      "Karttaki SHA256SUMS; aselsanos-rpi5.img, bcm2712-rpi-5-b.dtb ve config.txt için 3/3 OK verdi.",
      "cmp image/DTB/config/SHA256SUMS: all OK; karttaki dört dosya build/rpi5 karşılıklarıyla byte-for-byte eşleşti.",
      "Karttaki aselsanos-rpi5.img 140432 bayt / 7f0ba2b9c6c5490a455d7406c70e24c5066d6b9f05fd416e60be32e2e71720e2; DTB 78703 bayt / 40a2fbe9c29e8b9a4912cf726a943068defb779fc052ec38e457a79c58abca00; config.txt 501 bayt / 1248275cdc6f6ce951ce0ff2183471d194c5b9bb58c3dc3f66efa9156f91d76b ve manifest 248 bayt / 451170c340326916fc6bd7e4da7798a53926b86a8f08fc01f69206cf95bdb1b3 olarak doğrulandı.",
      "sync ve diskutil eject /dev/disk4 başarıyla tamamlandı; son kontrolde /dev/disk4 ile /Volumes/ASELSANBOOT absent idi.",
    ],
    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 image/DTB/config/SHA256SUMS against build/rpi5",
      "sync && diskutil eject /dev/disk4",
    ],
    limitations: [
      "Bu kayıt G7b paketinin fiziksel microSD'ye doğru yazıldığını, byte-for-byte doğrulandığını ve güvenle çıkarıldığını kanıtlar; Raspberry Pi 5 üzerinde G7b runtime PASS değildir.",
      "G7B0 ve BOOT7B marker'ları gerçek Raspberry Pi 5 UART10 kaydında henüz gözlenmedi. Kartın Pi 5'e güç kapalıyken takılması ve temiz capture'ın strict validator'dan geçmesi beklenir.",
      "Gerçek donanımda kanıtlanan son runtime sınırı G7a BOOT7 SCHED=OK ORDER=ABAB STEPS=4 TICKS=202'dir.",
      "Bu kart doğrulaması G7b'nin tek-frame smoke sınırını genişletmez; exhaustion, region traversal, deallocation/reuse, bütün RAM, EL0, preemption ve SMP kanıtlanmaz.",
    ],
  },