G8f BOOT8F paketi microSD'ye exact yazıldı ve güvenle çıkarıldı

flash-rpi5: image-rpi5 verify-sd-volume-rpi5
	cp "$(RPI5_IMG)" "$(SD_MOUNT)/aselsanos-rpi5.img"
	cp "$(RPI5_PACKAGE_DTB)" "$(SD_MOUNT)/bcm2712-rpi-5-b.dtb"
	cp "$(RPI5_PACKAGE_CONFIG)" "$(SD_MOUNT)/config.txt"
	cp "$(RPI5_SUMS)" "$(SD_MOUNT)/SHA256SUMS"
	@cd "$(SD_MOUNT)" && shasum -a 256 -c SHA256SUMS
	sync
	@echo ""
	@echo "✅ Kart kökü:"
	@ls -lh "$(SD_MOUNT)/aselsanos-rpi5.img" "$(SD_MOUNT)/bcm2712-rpi-5-b.dtb" \
		"$(SD_MOUNT)/config.txt" "$(SD_MOUNT)/SHA256SUMS"
	@echo ""
	@echo "Şimdi: kartı güvenle çıkar, Pi 5'e tak, Debug Probe UART10, 27W güç."
	@echo "Beklenen terminal: ASELSAN/BOOT0 BCM2712 … ASELSAN/BOOT8F HANDOFF=POST_BOOT8E SOURCE=CPU0 TARGET=CPU1"
	@echo "Başarılı UART'ta G8FERR, panic ve unknown IRQ bulunmamalı."

  {
    id: "rpi5-g8f-microsd-written-ejected",
    date: "2026-08-21",
    sequence: 76,
    status: "verified",
    title: "G8f BOOT8F paketi microSD'ye exact yazıldı ve güvenle çıkarıldı",
    summary:
      "Kullanıcı RPi5'in gücünü kestikten sonra kartı Mac'e taktı. Birbirinden bağımsız iki salt-okunur prewrite audit aynı TISD64G `/dev/disk6` whole-device, `/dev/disk6s1` FAT bölümü ve `/Volumes/ASELSANBOOT` mount kimliğinde GO verdi; disk-image simulator `/dev/disk4` açıkça reddedildi. Karttaki fiziksel PASS olmuş Sıra 70 G8e paketi yazımdan önce manifest 3/3 ve immutable payload cmp 4/4 ile donduruldu. Yalnız exact `make flash-rpi5 SD_DISK=/dev/disk6 SD_MOUNT=/Volumes/ASELSANBOOT` çalıştı; format/partition hedefleri çağrılmadı, host/layout prerequisite zinciri PASS verdi ve görünür paket yollarına exact dört explicit `cp` yazımı yayınlandı. Yazımdan sonra iki bağımsız salt-okunur audit G8f manifest 3/3, kaynaklara karşı cmp 4/4 ve static G8F0/G8F1/BOOT8F string sayılarını 1/1/1 doğruladı. Pre-existing macOS metadata girdileri payload audit'i dışındadır; metadata mutation hakkında iddia yoktur. İkinci sync, holder kontrolü ve diskutil eject başarıyla tamamlandı; disk, raw-disk ve mount düğümleri kayboldu. Bu exact card-write/eject PASS'tir; UART capture veya fiziksel BOOT8F değildir.",
    evidence: [
      "İki bağımsız salt-okunur prewrite audit `/dev/disk6` whole device, `/dev/disk6s1` ve `/Volumes/ASELSANBOOT` için GO verdi; yazım öncesi hiçbir dosya değiştirilmedi.",
      "Kart kimliği TISD64G, Secure Digital, removable yes, OSInternalMedia=false, serial 0x425001fa ve UUID 44ABB50F-DB63-3DB8-A6B2-C5303E3211E9 olarak iki audit'te exact eşleşti.",
      "Whole-device boyutu 62.549.655.552 B; bölüm boyutu 62.532.878.336 B ve başlangıç offset'i 16.777.216 B olarak doğrulandı. `/dev/disk4` simulator olduğu için hedef olarak reddedildi.",
      "Yazım öncesi karttaki immutable Sıra 70 G8e manifest 3/3 ve image/DTB/config/SHA256SUMS karşılaştırmaları 4/4 PASS verdi.",
      "Eski G8e image exact 275.792 B / d9419ff549125c899088db0acbc521d3db50d294f8756d2edd7166153e67f00c; DTB exact 78.703 B / 40a2fbe9c29e8b9a4912cf726a943068defb779fc052ec38e457a79c58abca00.",
      "Eski G8e config exact 501 B / 1248275cdc6f6ce951ce0ff2183471d194c5b9bb58c3dc3f66efa9156f91d76b; SHA256SUMS exact 248 B / 90ad54538cd15cc81cbab9cd9af78cb4be436f930619700df12fd3a7ea7d2127.",
      "Exact `make flash-rpi5 SD_DISK=/dev/disk6 SD_MOUNT=/Volumes/ASELSANBOOT` exit 0 verdi; format/partition hedefleri çağrılmadı ve host/layout prerequisite zinciri PASS oldu.",
      "Flash hedefi görünür `aselsanos-rpi5.img`, `bcm2712-rpi-5-b.dtb`, `config.txt` ve `SHA256SUMS` yollarına exact dört explicit `cp` yazımı yayınladı.",
      "Prewrite kartta `._*`, `.Spotlight-V100` ve `.fseventsd` macOS metadata girdileri vardı; bunlar postwrite payload audit'i dışındaydı ve metadata mutation hakkında iddia yoktur.",
      "İki bağımsız salt-okunur postwrite audit G8f manifestini 3/3 ve dört kart dosyasını `build/rpi5` kaynaklarına karşı 4/4 byte-for-byte PASS doğruladı.",
      "Yeni G8f image exact 279.936 B / 316be86f1d11c3522b550abd90c04beb77f0d12f01625e8e6d3bc014672c0f21; DTB exact 78.703 B / 40a2fbe9c29e8b9a4912cf726a943068defb779fc052ec38e457a79c58abca00.",
      "Yeni G8f config exact 501 B / 1248275cdc6f6ce951ce0ff2183471d194c5b9bb58c3dc3f66efa9156f91d76b; SHA256SUMS exact 248 B / 73874fad8eaebe46b4ac20fe25b579ef32545a1457358178be2bf0045fa8769c.",
      "Kart image'ında static G8F0/G8F1/BOOT8F string sayıları 1/1/1'dir. Tek static G8FERR error-format string'i beklenen fail-closed kaynak yüzeyidir; runtime emission değildir.",
      "Make hedefinin sync'i ardından ikinci sync tamamlandı; `lsof +D /Volumes/ASELSANBOOT` holder bulmadı ve çalışma dizini kart dışında kaldı.",
      "`diskutil eject /dev/disk6` başarıyla tamamlandı; disk6, rdisk6 ve `/Volumes/ASELSANBOOT` yokluk kontrolleri PASS verdi.",
      "G8f staged proof exact 21.196 B / c40fa0f61ef5e50a279ea16b360c1d596932426cae08aa23869237d82ceae553 olarak card-written/ejected ve metadata-audit sınırını dondurur.",
    ],
    terminalSessionsNote:
      "Oturumlar iki bağımsız prewrite kimlik audit'inin, exact formatsız flash zincirinin ve iki bağımsız postwrite read-back/eject audit'inin seçilmiş gerçek sonuçlarını taşır. Static image marker'ları runtime UART çıktısı değildir.",
    terminalSessions: [
      {
        id: "g8f-sd-two-prewrite-identity-audits",
        title: "İki bağımsız salt-okunur kart kimliği ve G8e baseline audit'i",
        commandLines: [
          "audit /dev/disk6, /dev/disk6s1 and /Volumes/ASELSANBOOT read-only with two independent checks",
          "reject the /dev/disk4 simulator target",
          "verify the existing G8e SHA256SUMS and compare all four files with the immutable Sıra 70 evidence",
        ],
        outputLines: [
          "prewrite audits=2/2 GO · whole=/dev/disk6 · slice=/dev/disk6s1 · mount=/Volumes/ASELSANBOOT",
          "TISD64G · serial=0x425001fa · UUID=44ABB50F-DB63-3DB8-A6B2-C5303E3211E9 · removable=YES · OSInternalMedia=NO",
          "whole=62549655552 B · partition=62532878336 B · offset=16777216 B · disk4 simulator=REJECT",
          "old G8e manifest=3/3 PASS · immutable cmp=4/4 PASS",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g8f-exact-formatsiz-microsd-flash",
        title: "Exact G8f paketinin mevcut FAT bölüme yazımı",
        commandLines: [
          "make flash-rpi5 SD_DISK=/dev/disk6 SD_MOUNT=/Volumes/ASELSANBOOT",
        ],
        outputLines: [
          "host/layout prerequisite chain=PASS",
          "format/partition targets called=NO",
          "explicit visible payload cp writes=4 · aselsanos-rpi5.img,bcm2712-rpi-5-b.dtb,config.txt,SHA256SUMS",
          "make flash-rpi5 exit=0",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g8f-two-postwrite-audits-and-eject",
        title: "İki postwrite audit, ikinci sync ve güvenli eject",
        commandLines: [
          "run two independent read-only postwrite manifest and byte-comparison audits",
          "sync; lsof +D /Volumes/ASELSANBOOT",
          "diskutil eject /dev/disk6; verify disk, rdisk and mount absence",
        ],
        outputLines: [
          "postwrite audits=2/2 GO · manifest=3/3 PASS · cmp=4/4 PASS",
          "image=279936 B · 316be86f1d11c3522b550abd90c04beb77f0d12f01625e8e6d3bc014672c0f21",
          "G8F0/G8F1/BOOT8F static strings=1/1/1 · G8FERR error format=1 expected, runtime emission=NO CLAIM",
          "second sync=PASS · holders=NONE · eject=SUCCESS · disk/rdisk/mount absent=PASS",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
    ],
    limitations: [
      "Bu exact microSD write/read-back/eject PASS'tir; kart RPi5'te boot edilmedi ve fiziksel G8F0/G8F1/BOOT8F kanıtı yoktur.",
      "Image içindeki tek G8FERR format string'i yalnız static fail-closed kod yüzeyidir; runtime error emission veya fiziksel sonuç olarak yorumlanamaz.",
      "UART cihazı açılmadı veya capture için arm edilmedi; gerçek UART10 capture ve strict BOOT8F validator sonucu yoktur.",
      "Pre-existing `._*`, `.Spotlight-V100` ve `.fseventsd` girdileri payload audit'i dışındadır; postwrite metadata mutation durumu doğrulanmadı.",
      "Generic SMP runtime kapalıdır; bu kart yazımı scheduler, timer, migration veya shootdown güvenliği kanıtı değildir.",
      "Website yayını yalnız canonical custom domain üzerinden doğrulanır; bu ortamda 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.",
    ],
  },