RPi5 G7d paketi microSD'ye formatsız yazıldı ve byte-for-byte 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-g7d-package-microsd-reflash-verified",
    date: "2026-08-20",
    sequence: 41,
    status: "verified",
    title:
      "RPi5 G7d paketi microSD'ye formatsız yazıldı ve byte-for-byte doğrulandı",
    summary:
      "Pi kapalıyken yalnız /dev/disk4 whole physical Secure Digital aygıtı ve onun DOS_FAT_32 ASELSANBOOT bölümü salt-okunur kimlik kontrolleriyle çözüldü. Karttaki önceki fiziksel G7c paketi yazımdan önce 226448 bayt / 276d568b…a99d0 ve 3/3 OK olarak ölçüldü. format-sd-rpi5 çalıştırılmadan yalnız dört boot dosyası 230560 baytlık 0927d195…39f9 G7d paketiyle güncellendi. Kart manifesti 3/3, bağımsız SHA-256 denetimi ve image/DTB/config/manifest için dört ayrı cmp geçti; sync sonrasında /dev/disk4 eject edildi ve aygıt ile mount noktasının kaybolduğu doğrulandı. Bu kayıt yalnız güvenli kart yazımıdır; gerçek G7D0–G7D4/BOOT7D UART10 gözlemi henüz yoktur.",
    evidence: [
      "Tek aday /dev/disk4 whole physical disk olarak çözüldü: 62,549,655,552 bayt, FDisk_partition_scheme, BusProtocol=Secure Digital, WholeDisk=true, Internal=false, Removable=true, Ejectable=true ve Writable=true.",
      "/dev/disk4s1 ParentWholeDisk=disk4, DOS_FAT_32/MS-DOS FAT32, volume ASELSANBOOT ve exact mount /Volumes/ASELSANBOOT olarak doğrulandı; make check-sd-rpi5 ile make verify-sd-volume-rpi5 exit 0 verdi.",
      "Yazım öncesi karttaki fiziksel G7c imajı exact 226448 bayt / 276d568b793dc580577f3e3c89e06f428dc56c5d5ec208e10d905043f0ba99d0 idi; DTB 40a2fbe9…ca00, config 1248275c…d76b ve eski manifest 3/3 OK verdi.",
      "make flash-rpi5 SD_DISK=/dev/disk4 SD_MOUNT=/Volumes/ASELSANBOOT çalıştırıldı. format-sd-rpi5 çağrılmadı; mevcut FAT32 bölüm korunarak yalnız aselsanos-rpi5.img, bcm2712-rpi-5-b.dtb, config.txt ve SHA256SUMS kopyalandı.",
      "Karttaki yeni aselsanos-rpi5.img exact 230560 bayt / 0927d195432c8a9c61813f35438bb09d3323e2ce94e10fa791de47f0b01239f9 olarak bağımsız ölçüldü.",
      "Karttaki bcm2712-rpi-5-b.dtb 78703 bayt / 40a2fbe9c29e8b9a4912cf726a943068defb779fc052ec38e457a79c58abca00 ve config.txt 501 bayt / 1248275cdc6f6ce951ce0ff2183471d194c5b9bb58c3dc3f66efa9156f91d76b olarak kaldı.",
      "Karttaki SHA256SUMS exact 248 bayt / fc2f2268c09d50d872bf6cb80d65ab948171782e2d2f41dc388d2be83e8abe71; kart kökünde shasum -a 256 -c SHA256SUMS üç payload için 3/3 OK verdi.",
      "aselsanos-rpi5.img, bcm2712-rpi-5-b.dtb, config.txt ve SHA256SUMS build/rpi5 kaynaklarıyla dört ayrı cmp kontrolünde byte-for-byte aynı bulundu.",
      "sync ve diskutil eject /dev/disk4 exit 0 verdi. Son denetimde disk4_absent ve ASELSANBOOT_absent PASS oldu; kart güvenle çıkarılabilir durumda.",
    ],
    commands: [
      "diskutil list external physical + diskutil info /dev/disk4 /dev/disk4s1",
      "make check-sd-rpi5 SD_DISK=/dev/disk4",
      "make verify-sd-volume-rpi5 SD_DISK=/dev/disk4 SD_MOUNT=/Volumes/ASELSANBOOT",
      "pre-write stat + shasum + manifest audit",
      "make flash-rpi5 SD_DISK=/dev/disk4 SD_MOUNT=/Volumes/ASELSANBOOT",
      "post-write stat + shasum + manifest + four cmp audit",
      "sync && diskutil eject /dev/disk4",
      "post-eject disk and mount absence audit",
    ],
    terminalSessionsNote:
      "Komutlar Pi kapalıyken aynı /dev/disk4 ve /Volumes/ASELSANBOOT kimliği üzerinde çalıştırıldı. Seçili çıktı, yazma öncesi G7c zincirini, formatsız G7d yazımını ve bağımsız yazma sonrası doğrulamayı gösterir; herhangi bir UART runtime çıktısı içermez.",
    terminalSessions: [
      {
        id: "g7d-card-identity-prewrite",
        title: "Exact kart kimliği ve yazım öncesi G7c zinciri",
        commandLines: [
          "diskutil info /dev/disk4 /dev/disk4s1",
          "make check-sd-rpi5 SD_DISK=/dev/disk4",
          "make verify-sd-volume-rpi5 SD_DISK=/dev/disk4 SD_MOUNT=/Volumes/ASELSANBOOT",
          "shasum -a 256 /Volumes/ASELSANBOOT/{aselsanos-rpi5.img,bcm2712-rpi-5-b.dtb,config.txt,SHA256SUMS}",
        ],
        outputLines: [
          "/dev/disk4 whole physical · 62549655552 bytes · Secure Digital · Internal=false · Removable=true · Ejectable=true · Writable=true",
          "/dev/disk4s1 · DOS_FAT_32 · ASELSANBOOT · /Volumes/ASELSANBOOT",
          "276d568b793dc580577f3e3c89e06f428dc56c5d5ec208e10d905043f0ba99d0  aselsanos-rpi5.img",
          "aselsanos-rpi5.img: OK · bcm2712-rpi-5-b.dtb: OK · config.txt: OK",
        ],
        exitCode: 0,
        outputMode: "selected",
        outputNote:
          "Kimlik ve önceki fiziksel G7c paketi yazmadan önce salt-okunur doğrulandı.",
      },
      {
        id: "g7d-card-formatsiz-flash",
        title: "Mevcut FAT32 bölüme yalnız dört boot dosyası",
        commandLines: [
          "make flash-rpi5 SD_DISK=/dev/disk4 SD_MOUNT=/Volumes/ASELSANBOOT",
        ],
        outputLines: [
          "PASS: G7d full integer exception-frame redirect, static task stacks and FP=UNUSED machine-code contract verified",
          "0927d195432c8a9c61813f35438bb09d3323e2ce94e10fa791de47f0b01239f9  aselsanos-rpi5.img",
          "cp build/rpi5/{aselsanos-rpi5.img,bcm2712-rpi-5-b.dtb,config.txt,SHA256SUMS} /Volumes/ASELSANBOOT/",
          "aselsanos-rpi5.img: OK · bcm2712-rpi-5-b.dtb: OK · config.txt: OK",
          "sync",
        ],
        exitCode: 0,
        outputMode: "selected",
        outputNote:
          "format-sd-rpi5 çalıştırılmadı; mevcut bölüm tablosu ve FAT32 volume korunmuştur.",
      },
      {
        id: "g7d-card-independent-audit",
        title: "Bağımsız hash · 3/3 manifest · dört cmp",
        commandLines: [
          "post-write stat + shasum -a 256",
          "cd /Volumes/ASELSANBOOT && shasum -a 256 -c SHA256SUMS",
          "cmp build/rpi5/<file> /Volumes/ASELSANBOOT/<file> · dört dosya",
        ],
        outputLines: [
          "aselsanos-rpi5.img 230560 bytes · 0927d195432c8a9c61813f35438bb09d3323e2ce94e10fa791de47f0b01239f9",
          "bcm2712-rpi-5-b.dtb 78703 bytes · 40a2fbe9c29e8b9a4912cf726a943068defb779fc052ec38e457a79c58abca00",
          "config.txt 501 bytes · 1248275cdc6f6ce951ce0ff2183471d194c5b9bb58c3dc3f66efa9156f91d76b",
          "SHA256SUMS 248 bytes · fc2f2268c09d50d872bf6cb80d65ab948171782e2d2f41dc388d2be83e8abe71",
          "manifest=3/3 OK",
          "cmp=aselsanos-rpi5.img OK · cmp=bcm2712-rpi-5-b.dtb OK · cmp=config.txt OK · cmp=SHA256SUMS OK",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g7d-card-eject",
        title: "Sync · eject · aygıt yokluğu",
        commandLines: [
          "sync",
          "diskutil eject /dev/disk4",
          "diskutil info /dev/disk4 + /Volumes/ASELSANBOOT absence audit",
        ],
        outputLines: [
          "Disk /dev/disk4 ejected",
          "eject_check=PASS disk4_absent",
          "mount_check=PASS ASELSANBOOT_absent",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
    ],
    limitations: [
      "Bu kayıt yalnız G7d paketinin doğrulanmış microSD yazımıdır; Raspberry Pi 5 açılmadı ve gerçek UART10 kaydı alınmadı.",
      "G7D0–G7D4/BOOT7D henüz fiziksel olarak gözlenmedi; G7d staged kalır ve fiziksel PASS değildir.",
      "Yazım, karttaki önceki 276d568b…a99d0 G7c boot dosyalarını 0927d195…39f9 G7d boot dosyalarıyla değiştirdi; sıra 39'daki immutable G7c UART kanıtını veya tarihsel fiziksel PASS'i değiştirmez.",
      "Manifest ve cmp karttaki baytları doğrular; gerçek PPI27 preemption, exception-frame restore, stack canary veya timer davranışını kanıtlamaz.",
      "Fiziksel kabul için kart Pi'ye takılmalı, Debug Probe UART10 aynı descriptor üzerinde 115200 8N1 raw capture'a hazırlanmalı ve güç döngüsünden alınan immutable kayıt strict G7d validator'dan geçmelidir.",
    ],
  },