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: 753a0ed713d7…file 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: c72681afc985…file sha256: 9726dbf00f84…
Kayıtlı yürütme/kanıt komutu
make check-sd-rpi5 SD_DISK=/dev/disk6Registry schema v5 · generator
website/scripts/generate-code-gates.mjs · Tam SHA-256: 3050638b71a684d8f8f947a8a6faa237a17fa8db5dc0db04fb207b668b462af9