RPi5 G8d paketi exact microSD'ye formatsız yazıldı; BOOT8D 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-g8d-package-microsd-reflash-verified",
    date: "2026-08-21",
    sequence: 53,
    status: "verified",
    title:
      "RPi5 G8d paketi exact microSD'ye formatsız yazıldı; BOOT8D UART bekliyor",
    summary:
      "Sıra 52'de dondurulan 263408 bayt / 6d9c556f…a46922 G8d 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ı. İlk görünen /dev/disk4 aygıtı 18,1 GB read-only virtual APFS disk image olduğu için reddedildi; gerçek hedef /dev/disk6 ve /dev/disk6s1 ASELSANBOOT olarak doğrulandı. Yazım öncesi kartın fiziksel PASS veren 255168 bayt / 2950ca3c…c8538 G8c paketi manifest 3/3 ile eşleşti. 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 G8d 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 G8D0/G8D1/G8D2/BOOT8D UART10 çıktısı henüz alınmadı.",
    evidence: [
      "İlk görünen /dev/disk4, 18083776000 bayt read-only virtual Disk Image/APFS aygıtıydı; Secure Digital olmadığı ve 62549655552 bayt exact kapasiteyi taşımadığı için yazma hedefi olarak reddedildi.",
      "Exact whole disk /dev/disk6 olarak çözüldü: TISD64G SDXC Class 10, serial 0x425001fa, Built In SD Card Reader, Secure Digital, 62,549,655,552 bayt, removable=yes, virtual=no ve OSInternalMedia=false.",
      "Exact bölüm /dev/disk6s1, 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 255168 bayt / 2950ca3c1b0238e7e26f3f4b6c2cfa44cd88870a01596e5dc3dba2d39c1c8538 G8c fiziksel PASS paketiydi. Eski SHA256SUMS 248 B / 92e5a31a…f83d idi.",
      "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/disk6 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, G8c ve G8d hedef testleri ile pre-MMU, trusted ELF ve tüm RPi5 makine-kodu/layout kapıları yeniden PASS verdi; G8d hedefi 16/16'dır.",
      "Karttaki G8d imajı exact 263408 bayt / 6d9c556fa7104ae052f648c509104531821eed44620d3e2f827863e7cba46922 oldu.",
      "Kart DTB'si 78703 bayt / 40a2fbe9…ca00, config 501 bayt / 1248275c…d76b ve SHA256SUMS 248 bayt / a56e3ea3…72cd 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/disk6 başarılı oldu. Son kontroller disk6_absent=PASS ve ASELSANBOOT_unmounted=PASS verdi.",
      "Kart-yazma ve fiziksel runtime sınırı docs/M8.1-RPi5-G8d-CPU1-SGI-Reschedule-Staged-Proof.md içinde donduruldu.",
    ],
    commands: [
      "diskutil list/info + system_profiler SPCardReaderDataType + mount",
      "make check-sd-rpi5 SD_DISK=/dev/disk6",
      "make verify-sd-volume-rpi5 SD_DISK=/dev/disk6 SD_MOUNT=/Volumes/ASELSANBOOT",
      "pre-write: cd /Volumes/ASELSANBOOT && shasum -a 256 -c SHA256SUMS",
      "make flash-rpi5 SD_DISK=/dev/disk6 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: "g8d-card-identity-prewrite",
        title:
          "Exact kart kimliği, disk-image reddi ve eski fiziksel G8c paket bağı",
        commandLines: [
          "diskutil info /dev/disk4 · rejected disk image",
          "system_profiler SPCardReaderDataType",
          "diskutil info /dev/disk6 + /dev/disk6s1",
          "make check-sd-rpi5 SD_DISK=/dev/disk6",
          "make verify-sd-volume-rpi5 SD_DISK=/dev/disk6 SD_MOUNT=/Volumes/ASELSANBOOT",
          "cd /Volumes/ASELSANBOOT && shasum -a 256 -c SHA256SUMS",
        ],
        outputLines: [
          "/dev/disk4 rejected · 18083776000 B · Disk Image · virtual=yes · read-only=yes · APFS",
          "/dev/disk6 · TISD64G · serial=0x425001fa · Secure Digital · exact bytes=62549655552 · removable=yes · virtual=no",
          "/dev/disk6s1 · MBR/DOS_FAT_32 · ASELSANBOOT · writable=yes",
          "aselsanos-rpi5.img: OK · bcm2712-rpi-5-b.dtb: OK · config.txt: OK",
          "old image bytes=255168 sha256=2950ca3c1b0238e7e26f3f4b6c2cfa44cd88870a01596e5dc3dba2d39c1c8538",
          "prewrite_card=G8c_physical_PASS_package",
        ],
        exitCode: 0,
        outputMode: "selected",
      },
      {
        id: "g8d-card-formatsiz-write",
        title: "Formatsız G8d paket yazımı ve yeniden çalışan kapılar",
        commandLines: [
          "make flash-rpi5 SD_DISK=/dev/disk6 SD_MOUNT=/Volumes/ASELSANBOOT",
        ],
        outputLines: [
          "G7c/G7d/G8a/G8b/G8c/G8d targeted gates: PASS",
          "PASS: G8d one CPU0->CPU1 SGI1, exact raw acknowledge/EOI, masked EL1h return and one existing pinned-task wake 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: "g8d-card-postwrite",
        title: "Kart manifesti, hashleri ve dört byte karşılaştırması",
        commandLines: [
          "cd /Volumes/ASELSANBOOT && shasum -a 256 -c SHA256SUMS",
          "stat + shasum -a 256 card files",
          "cmp build/rpi5/<file> /Volumes/ASELSANBOOT/<file> · four files",
        ],
        outputLines: [
          "manifest=3/3 OK",
          "image bytes=263408 sha256=6d9c556fa7104ae052f648c509104531821eed44620d3e2f827863e7cba46922",
          "dtb bytes=78703 sha256=40a2fbe9c29e8b9a4912cf726a943068defb779fc052ec38e457a79c58abca00",
          "config bytes=501 sha256=1248275cdc6f6ce951ce0ff2183471d194c5b9bb58c3dc3f66efa9156f91d76b",
          "SHA256SUMS bytes=248 sha256=a56e3ea37f85abaa95afe9e6c67f4418c2ba8dd29b7513abb6ba8c3a703172cd",
          "cmp=image PASS · dtb PASS · config PASS · SHA256SUMS PASS",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g8d-card-eject",
        title: "Sync, güvenli eject ve aygıt yokluğu",
        commandLines: [
          "sync",
          "diskutil eject /dev/disk6",
          "post-eject absence checks",
        ],
        outputLines: [
          "Disk /dev/disk6 ejected",
          "disk6_absent=PASS",
          "ASELSANBOOT_unmounted=PASS",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
    ],
    limitations: [
      "Bu kayıt yalnız exact karta güvenli G8d paket yazımı ve byte eşitliği kanıtıdır; Raspberry Pi 5 açılmadı ve fiziksel BOOT8D PASS değildir.",
      "Gerçek G8D0/G8D1/G8D2/BOOT8D için aynı descriptor üzerinde 115200 8N1 immutable raw UART10 capture ve strict G8d validator PASS gerekir.",
      "G8d yalnız tek CPU0→CPU1 SGI1/exact-once acknowledge-EOI/reschedule/mevcut-task wake smoke'udur; genel SMP scheduler, migration, load balancing, TLB shootdown, CPU2/CPU3, hotplug ve EL0-on-CPU1 kapsam dışıdır.",
    ],
  },