RPi5 G8c paketi exact microSD'ye formatsız yazıldı; BOOT8C 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-g8c-package-microsd-reflash-verified",
    date: "2026-08-21",
    sequence: 50,
    status: "verified",
    title:
      "RPi5 G8c paketi exact microSD'ye formatsız yazıldı; BOOT8C UART bekliyor",
    summary:
      "Sıra 49'da dondurulan 255168 bayt / 2950ca3c…c8538 G8c paketi, salt-okunur kimlik ve eski paket kontrolleriyle çözülen exact 62549655552 bayt TISD64G Secure Digital karta mevcut MBR/FAT32 düzen korunarak yazıldı. Yazım öncesi kartın fiziksel PASS veren 246960 bayt / dc241315…fb44a8a G8b paketi manifest 3/3 ile doğrulandı. make flash-rpi5 yalnız imaj, DTB, config ve SHA256SUMS dosyalarını değiştirdi; format-sd-rpi5 çağrılmadı. Yazım sonrasında G8c kart manifesti 3/3, dört kaynak↔kart cmp, tüm hashler, sync/eject ve disk/mount yokluğu geçti. Raspberry Pi 5 kapalı kaldı; gerçek G8C0/G8C1/BOOT8C UART10 çıktısı henüz alınmadı.",
    evidence: [
      "Exact whole disk /dev/disk4 olarak çözüldü: TISD64G SDXC Class 10, Built In SD Card Reader, Secure Digital, 62,549,655,552 bayt, removable=yes ve OSInternalMedia=false.",
      "Exact bölüm /dev/disk4s1, MBR/MS-DOS FAT32, volume ASELSANBOOT, mount /Volumes/ASELSANBOOT ve writable=true olarak doğrulandı.",
      "Yazım öncesi kart manifesti 3/3 OK verdi; eski imaj 246960 bayt / dc241315fa24992ab025da79c72cc14cebf28d7e420e859a8f756d7e5fb44a8a G8b fiziksel PASS paketiydi.",
      "make check-sd-rpi5 ve make verify-sd-volume-rpi5 exact whole-disk/removable/Secure-Digital/FAT32/mount sözleşmesini geçti.",
      "make flash-rpi5 SD_DISK=/dev/disk4 SD_MOUNT=/Volumes/ASELSANBOOT exit 0 verdi; format-sd-rpi5 çağrılmadı ve yalnız dört boot dosyası değiştirildi.",
      "Yazım sırasında G7c, G7d, G8a, G8b ve G8c hedef testleri ile pre-MMU, trusted ELF ve tüm RPi5 makine-kodu/layout kapıları yeniden PASS verdi; G8c hedefi 15/15'tir.",
      "Karttaki G8c imajı exact 255168 bayt / 2950ca3c1b0238e7e26f3f4b6c2cfa44cd88870a01596e5dc3dba2d39c1c8538 oldu.",
      "Kart DTB'si 78703 bayt / 40a2fbe9…ca00, config 501 bayt / 1248275c…d76b ve SHA256SUMS 248 bayt / 92e5a31a…f83d olarak build/rpi5 ile eşleşti.",
      "Kart manifesti yazma sonrasında bağımsız 3/3 OK verdi; imaj, DTB, config ve SHA256SUMS için dört ayrı 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-G8c-CPU1-Local-Task-Staged-Proof.md içinde donduruldu.",
    ],
    commands: [
      "diskutil list/info + 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: "g8c-card-identity-prewrite",
        title: "Exact kart kimliği ve eski fiziksel G8b paket bağı",
        commandLines: [
          "system_profiler SPCardReaderDataType",
          "diskutil info /dev/disk4",
          "make check-sd-rpi5 SD_DISK=/dev/disk4",
          "make verify-sd-volume-rpi5 SD_DISK=/dev/disk4 SD_MOUNT=/Volumes/ASELSANBOOT",
          "cd /Volumes/ASELSANBOOT && shasum -a 256 -c SHA256SUMS",
        ],
        outputLines: [
          "/dev/disk4 · TISD64G · SDXC Class 10 · Secure Digital · exact bytes=62549655552 · removable=yes",
          "/dev/disk4s1 · MBR/DOS_FAT_32 · ASELSANBOOT · writable=yes",
          "aselsanos-rpi5.img: OK · bcm2712-rpi-5-b.dtb: OK · config.txt: OK",
          "old image bytes=246960 sha256=dc241315fa24992ab025da79c72cc14cebf28d7e420e859a8f756d7e5fb44a8a",
          "prewrite_card=G8b_physical_PASS_package",
        ],
        exitCode: 0,
        outputMode: "selected",
      },
      {
        id: "g8c-card-formatsiz-write",
        title: "Formatsız G8c 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/G8c targeted gates: PASS",
          "PASS: G8c CPU1-pinned static EL1 task, real 64KiB stack switch/restore, exactly-once progress and IRQ-masked local idle verified",
          "cp build/rpi5/{image,dtb,config,SHA256SUMS} → /Volumes/ASELSANBOOT",
          "aselsanos-rpi5.img: OK · bcm2712-rpi-5-b.dtb: OK · config.txt: OK",
          "flash-rpi5 exit=0 · format-sd-rpi5 called=false",
        ],
        exitCode: 0,
        outputMode: "selected",
      },
      {
        id: "g8c-card-postwrite",
        title: "Kart manifesti, hashleri ve dört byte karşılaştırması",
        commandLines: [
          "cd /Volumes/ASELSANBOOT && shasum -a 256 -c SHA256SUMS",
          "wc -c + shasum -a 256 card files",
          "cmp build/rpi5/<file> /Volumes/ASELSANBOOT/<file> · four files",
        ],
        outputLines: [
          "manifest=3/3 OK",
          "image bytes=255168 sha256=2950ca3c1b0238e7e26f3f4b6c2cfa44cd88870a01596e5dc3dba2d39c1c8538",
          "dtb bytes=78703 sha256=40a2fbe9c29e8b9a4912cf726a943068defb779fc052ec38e457a79c58abca00",
          "config bytes=501 sha256=1248275cdc6f6ce951ce0ff2183471d194c5b9bb58c3dc3f66efa9156f91d76b",
          "SHA256SUMS bytes=248 sha256=92e5a31a7196af2fcc2a624540208cad057887be910e14c2f6dc1d118bfdf83d",
          "cmp=image PASS · dtb PASS · config PASS · SHA256SUMS PASS",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g8c-card-eject",
        title: "Sync, güvenli eject ve aygıt yokluğu",
        commandLines: [
          "sync",
          "diskutil eject /dev/disk4",
          "post-eject absence checks",
        ],
        outputLines: [
          "Disk /dev/disk4 ejected",
          "disk4_absent=PASS",
          "ASELSANBOOT_unmounted=PASS",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
    ],
    limitations: [
      "Bu kayıt yalnız exact karta güvenli G8c paket yazımı ve byte eşitliği kanıtıdır; Raspberry Pi 5 açılmadı ve fiziksel BOOT8C PASS değildir.",
      "Gerçek G8C0/G8C1/BOOT8C için aynı descriptor üzerinde 115200 8N1 immutable raw UART10 capture ve strict G8c validator PASS gerekir.",
      "G8c yalnız tek CPU1-pinned statik EL1 task/local-idle smoke'udur; genel SMP scheduler, migration, IPI, TLB shootdown, CPU2/CPU3, hotplug ve EL0-on-CPU1 kapsam dışıdır.",
    ],
  },