G8e yazımı öncesi exact microSD kimliği ve eski G8d paketi 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-g8e-sd-prewrite-identity-verified",
    date: "2026-08-21",
    sequence: 67,
    status: "verified",
    title:
      "G8e yazımı öncesi exact microSD kimliği ve eski G8d paketi doğrulandı",
    summary:
      "Kullanıcı kartı güçsüz Pi'den Mac'e taşıdı. İki bağımsız salt-okunur audit aynı hedefi çözdü: /dev/disk6 üzerindeki TISD64G SDXC kart, seri 0x425001fa, 62.549.655.552 bayt, Secure Digital, removable, virtual olmayan MBR medyadır; /dev/disk6s1 ise yazılabilir FAT32 ASELSANBOOT bölümüdür. Makefile whole-disk ve volume kapıları PASS verdi. Kart, Sıra 57'de fiziksel BOOT8D PASS veren dört G8d paket dosyasını manifest 3/3 ve immutable archive'a karşı cmp 4/4 exact taşıyor. /dev/disk4 sanal, read-only APFS disk image olarak reddedildi. Bu salt-okunur pre-write kaydıdır; G8e henüz karta yazılmadı.",
    evidence: [
      "Exact whole device /dev/disk6: TISD64G SDXC Class 10, serial 0x425001fa, manufacture 2026-01, 62.549.655.552 B, Secure Digital, WholeDisk=true, Removable=true, OSInternalMedia=false, Virtual=false ve 512 B block.",
      "Mac'in built-in SDXC reader'ı Device Location=Internal raporlar; buna rağmen fiziksel kart OS internal media değildir, removable/ejectable Secure Digital'dır ve `make check-sd-rpi5 SD_DISK=/dev/disk6` exit 0 verdi.",
      "/dev/disk6s1 exact ParentWholeDisk=disk6, DOS_FAT_32/msdos, volume ASELSANBOOT, mount /Volumes/ASELSANBOOT ve writable=true; `make verify-sd-volume-rpi5` exit 0 verdi.",
      "Karttaki eski G8d image exact 263.408 B / fa08cec0050fb5b3a7e1bfc7986d1d84248219efdb26f0535951f593df47dd4c olarak doğrulandı.",
      "Karttaki DTB 78.703 B / 40a2fbe9c29e8b9a4912cf726a943068defb779fc052ec38e457a79c58abca00, config 501 B / 1248275cdc6f6ce951ce0ff2183471d194c5b9bb58c3dc3f66efa9156f91d76b ve SHA256SUMS 248 B / e8efc67ec4b75911f4a33b2cb112e8c5327ee0ade2d4970232da31cfb1bd1c5e'dir.",
      "Kart manifesti image/DTB/config için 3/3 OK; dört dosyanın Sıra 57 immutable G8d archive kopyalarına karşı bağımsız cmp sonucu 4/4 PASS oldu.",
      "/dev/disk4 exact 18.083.776.000 B, Protocol=Disk Image, Virtual=true ve read-only; disk5 onun synthesized APFS container'ıdır. İkisi de fail-closed hedef dışıdır.",
    ],
    terminalSessionsNote:
      "Bütün komutlar salt-okunur kimlik, hash, manifest ve cmp kontrolleridir. Mount/unmount, format, copy, sync, eject veya block-device write yapılmadı.",
    terminalSessions: [
      {
        id: "g8e-sd-whole-volume-identity",
        title: "Whole-disk, SDXC kart ve FAT32 volume kimlik kapıları",
        commandLines: [
          "diskutil list; diskutil info /dev/disk6; diskutil info /dev/disk6s1",
          "system_profiler SPCardReaderDataType -detailLevel full",
          "make check-sd-rpi5 SD_DISK=/dev/disk6",
          "make verify-sd-volume-rpi5 SD_DISK=/dev/disk6 SD_MOUNT=/Volumes/ASELSANBOOT",
        ],
        outputLines: [
          "target=/dev/disk6 · partition=/dev/disk6s1 · mount=/Volumes/ASELSANBOOT",
          "TISD64G · serial=0x425001fa · capacity=62549655552 · Secure Digital · removable · virtual=no",
          "MBR + DOS_FAT_32/msdos + ASELSANBOOT + writable · ParentWholeDisk=disk6",
          "Make whole-disk gate=PASS · volume gate=PASS",
          "disk4/disk5 virtual APFS image=REJECTED",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g8e-sd-old-package-readback",
        title: "Karttaki immutable G8d fiziksel-PASS paketinin read-back'i",
        commandLines: [
          "cd /Volumes/ASELSANBOOT && shasum -a 256 -c SHA256SUMS",
          "stat and shasum the four package files",
          "cmp each card file with evidence/rpi5/g8d/sequence-57-physical-pass/package",
        ],
        outputLines: [
          "manifest=image/DTB/config 3/3 OK",
          "image=263408 B · fa08cec0050fb5b3a7e1bfc7986d1d84248219efdb26f0535951f593df47dd4c",
          "DTB=78703 B · 40a2fbe9…ca00 · config=501 B · 1248275d…d76b · manifest=248 B · e8efc67e…bd1c5e",
          "card versus immutable G8d evidence=4/4 cmp PASS",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
    ],
    limitations: [
      "Bu kayıt salt-okunur pre-write kimliğidir; format-sd-rpi5 ve flash-rpi5 çağrılmadı, kart dosyaları değiştirilmedi.",
      "Yeni G8e image d9419ff5…f00c karta henüz yazılmadı; read-back, sync ve eject yoktur.",
      "UART capture arm edilmedi ve fiziksel G8E0/G8E1/G8E2/BOOT8E yoktur.",
      "Website yayını canonical custom domain üzerinden doğrulanır; bu ortamda reset veren pages.dev direct smoke için başarı iddia edilmez.",
      "Wrangler yayını dirty/untracked workspace'ten ve stale 47d22c9 source etiketiyle yapılır; canlı artifact hash'i doğrulansa da Git-provider provenance kurulmuş sayılmaz.",
    ],
  },