ASELSANMicrokernel
S68 · SOURCE-BOUND GATE EVIDENCE

Exact G8e paketi microSD'ye formatsız yazıldı, doğrulandı ve güvenle eject edildi

Operations komutu/kapı ailesi → gerçek repository yürütme sözleşmesi Bu sayfa yalnız S68 kapısına aittir; komşu kapıların kaynakları bu kabulün içine katılmaz.

S68Komut / fiziksel sözleşmeOperations id exactsource SHA exact

operation: rpi5-g8e-exact-microsd-write-ejected

script/Makefile/config · Operations · 2 exact excerpt

sequence-bound=true · implementation-bound=false
01 · Yürütme sözleşmesi

Gerçek script / Makefile / config kaynağı

tam Make hedefiL6163–L6179
Makefile::check-sd-rpi5
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; }
snippet sha256: 753a0ed713d7file sha256: a8d6a7830268
02 · Kapı kimlik kaydı

Operations sıra, kimlik ve başlık bağı

tam Operations kaydıL30856–L30923
website/src/lib/operations.ts::rpi5-g8e-exact-microsd-write-ejected
  {
    id: "rpi5-g8e-exact-microsd-write-ejected",
    date: "2026-08-21",
    sequence: 68,
    status: "verified",
    title:
      "Exact G8e paketi microSD'ye formatsız yazıldı, doğrulandı ve güvenle eject edildi",
    summary:
      "Sıra 67'de salt-okunur kimliği doğrulanan TISD64G kartta yalnız `make flash-rpi5 SD_DISK=/dev/disk6 SD_MOUNT=/Volumes/ASELSANBOOT` çalıştırıldı; format hedefi çağrılmadı ve mevcut MBR/FAT32 düzeni korundu. Yazım sırasında G8–G8e host/layout kapıları yeniden PASS verdi. Karttaki image 275.792 bayt/d9419ff5…f00c oldu; DTB, config ve manifest dahil dört dosya Make hedefinden bağımsız read-back ile build/rpi5 kaynaklarına byte-for-byte eşleşti. İki sync ve holder-free kontrolünden sonra kart güvenle eject edildi; disk6 aygıt düğümleri ile ASELSANBOOT mount'u artık yoktur. Bu kart-yazım PASS'idir, fiziksel BOOT8E değildir.",
    evidence: [
      "Yazımdan hemen önce `/dev/disk6` whole-device ve `/Volumes/ASELSANBOOT` volume kapıları yeniden PASS; production image d9419ff549125c899088db0acbc521d3db50d294f8756d2edd7166153e67f00c yeniden doğrulandı.",
      "Yalnız `make flash-rpi5 SD_DISK=/dev/disk6 SD_MOUNT=/Volumes/ASELSANBOOT` çalıştı; `format-sd-rpi5` çağrılmadı ve MBR/DOS_FAT_32 düzeni değişmedi.",
      "Flash zinciri G8, G8b, G8c, G8d ve G8e production AArch64 layout kapılarını 5/5 PASS verdi; G8e source/UART hedefi 19/19 PASS kaldı.",
      "Kart manifesti yazım sonrasında image, DTB ve config için 3/3 OK verdi.",
      "Kart image exact 275.792 B ve SHA-256 d9419ff549125c899088db0acbc521d3db50d294f8756d2edd7166153e67f00c olarak bağımsız read-back'te doğrulandı.",
      "Kart DTB 78.703 B/40a2fbe9c29e8b9a4912cf726a943068defb779fc052ec38e457a79c58abca00, config 501 B/1248275cdc6f6ce951ce0ff2183471d194c5b9bb58c3dc3f66efa9156f91d76b ve SHA256SUMS 248 B/90ad54538cd15cc81cbab9cd9af78cb4be436f930619700df12fd3a7ea7d2127 oldu.",
      "Image, DTB, config ve SHA256SUMS dosyalarının build/rpi5 kaynaklarına karşı dört bağımsız karşılaştırması 4/4 cmp PASS verdi.",
      "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_absent, ASELSANBOOT_unmounted ve device_nodes_absent kontrollerinin üçü de PASS verdi.",
      "G8e staged proof kart-yazılmış sınıra güncellendi: 17.399 B / ba1e1f27fbac4ef72e9d45f8a920d4f7a7d00c0dfd23aaf0ea3094266dcb214b; G8e source/UART regresyonu 19/19 PASS verdi.",
    ],
    terminalSessionsNote:
      "İlk oturum formatsız write ve bütün image gate'lerini, ikinci oturum bağımsız read-back/sync/eject zincirini gösterir. Pi bu paketle henüz açılmadı.",
    terminalSessions: [
      {
        id: "g8e-formatsiz-flash",
        title: "Exact hedefte formatsız G8e paket yazımı",
        commandLines: [
          "make check-sd-rpi5 SD_DISK=/dev/disk6",
          "make verify-sd-volume-rpi5 SD_DISK=/dev/disk6 SD_MOUNT=/Volumes/ASELSANBOOT",
          "make flash-rpi5 SD_DISK=/dev/disk6 SD_MOUNT=/Volumes/ASELSANBOOT",
        ],
        outputLines: [
          "whole-disk/volume preflight=PASS · format-sd-rpi5=NOT CALLED",
          "G8/G8b/G8c/G8d/G8e layout=5/5 PASS · G8e source/UART=19/19 PASS",
          "copy=image+DTB+config+SHA256SUMS only · manifest=3/3 OK · sync=PASS",
          "image=275792 B · d9419ff549125c899088db0acbc521d3db50d294f8756d2edd7166153e67f00c",
        ],
        exitCode: 0,
        outputMode: "selected",
      },
      {
        id: "g8e-sd-readback-sync-eject",
        title: "Bağımsız kart read-back, ikinci sync ve güvenli eject",
        commandLines: [
          "shasum -a 256 -c /Volumes/ASELSANBOOT/SHA256SUMS",
          "stat, shasum and cmp all four card files against build/rpi5",
          "sync; lsof +D /Volumes/ASELSANBOOT; diskutil eject /dev/disk6",
          "verify disk6, disk6s1 and ASELSANBOOT are absent",
        ],
        outputLines: [
          "manifest=3/3 OK · image/DTB/config/SHA256SUMS cmp=4/4 PASS",
          "second sync=PASS · volume holders=NONE",
          "Disk /dev/disk6 ejected",
          "disk6_absent=PASS · ASELSANBOOT_unmounted=PASS · device_nodes_absent=PASS",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
    ],
    limitations: [
      "Kart yazımı fiziksel runtime kanıtı değildir; Pi exact G8e paketiyle henüz açılmadı.",
      "UART10 capture arm edilmedi ve gerçek G8E0/G8E1/G8E2/BOOT8E marker'ları yoktur.",
      "Kart güvenle eject edildi; kullanıcı kartı güçsüz Pi'ye takmadan ve capture_armed=YES görülmeden güç verilmemelidir.",
      "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.",
    ],
  },
snippet sha256: c72681afc985file sha256: 9726dbf00f84
Kayıtlı yürütme/kanıt komutu
make check-sd-rpi5 SD_DISK=/dev/disk6
Registry schema v5 · generator website/scripts/generate-code-gates.mjs · Tam SHA-256: 3050638b71a684d8f8f947a8a6faa237a17fa8db5dc0db04fb207b668b462af9