RPi5 G7a CPU0 kooperatif scheduler 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-g7a-microsd-flash-verified",
    date: "2026-08-20",
    sequence: 27,
    status: "verified",
    title:
      "RPi5 G7a CPU0 kooperatif scheduler paketi microSD'ye yazıldı ve doğrulandı",
    summary:
      "50a802e7…b266 hash'li G7a CPU0 kooperatif scheduler paketi, kimliği fail-closed kontrollerle doğrulanan fiziksel microSD'ye formatsız yazıldı. Karttaki imaj, DTB, config ve manifest build/rpi5 kaynaklarıyla byte-for-byte eşleşti; payload manifesti 3/3 geçti, dosya sistemi sync edilip aygıt güvenle çıkarıldı. Bu kart yazma kanıtıdır; fiziksel BOOT7 hâlâ bekleniyor ve son runtime PASS G6 BOOT6'dır.",
    evidence: [
      "/dev/disk4 çözümlendi: whole 62,549,655,552 B Built In SDXC Reader, ancak OSInternalMedia=false, removable=true, writable=true ve BusProtocol=Secure Digital.",
      "Child disk4s1 FAT32/msdos ASELSANBOOT at /Volumes/ASELSANBOOT olarak doğrulandı; parent match /dev/disk4. make check-sd-rpi5 ve make verify-sd-volume-rpi5 PASS verdi.",
      "Mevcut doğru bölüm/dosya sistemi düzeni korundu; format-sd-rpi5 çalıştırılmadı. make flash-rpi5 exit 0 verdi.",
      "On-card shasum -a 256 -c SHA256SUMS çalıştırıldı; aselsanos-rpi5.img, bcm2712-rpi-5-b.dtb ve config.txt için 3/3 OK alındı.",
      "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 131264 bayt ve SHA-256 50a802e7b1e3a791bb4386c2812ed051b844e44817c99066a248f76adec1b266; DTB 78703 bayt, config.txt 501 bayt ve SHA256SUMS 248 bayttır.",
      "sync + diskutil eject /dev/disk4 success; son kontrolde /dev/disk4 aygıtı ve /Volumes/ASELSANBOOT mount'u 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 G7a paketinin fiziksel microSD'ye doğru yazıldığını ve güvenle çıkarıldığını kanıtlar; Raspberry Pi 5 üzerinde G7a runtime PASS değildir.",
      "G7S0, A1/B1/A2/B2 ve BOOT7 marker'ları gerçek UART10 kaydında henüz gözlenmedi; fiziksel BOOT7 hâlâ bekleniyor.",
      "Gerçek donanımda kanıtlanan son runtime sınırı 5630758c…f26b G6 paketiyle BOOT6 DT+RAM+HEAP=OK ve SEC1–SEC78 PASS'tir.",
    ],
  },