S14 · SOURCE-BOUND GATE EVIDENCE
RPi5 microSD paketi fiziksel karta yazıldı ve doğrulandı
Operations komutu/kapı ailesi → gerçek repository yürütme sözleşmesi Bu sayfa yalnız S14 kapısına aittir; komşu kapıların kaynakları bu kabulün içine katılmaz.
S14Komut / fiziksel sözleşmeOperations id exactsource SHA exact
operation: rpi5-microsd-flash-verified
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 hedefiL5942–L5958
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: 7308784eb395…
02 · Kapı kimlik kaydı
Operations sıra, kimlik ve başlık bağı
tam Operations kaydıL34982–L35009
website/src/lib/operations.ts::rpi5-microsd-flash-verified
{
id: "rpi5-microsd-flash-verified",
date: "2026-08-19",
sequence: 14,
status: "partial",
title: "RPi5 microSD paketi fiziksel karta yazıldı ve doğrulandı",
summary:
"62,5 GB çıkarılabilir Secure Digital kart, güncel RPi5 boot paketiyle yazıldı; kart üzerindeki üç payload hash'i ve kaynak byte eşleşmeleri doğrulandıktan sonra aygıt güvenle çıkarıldı.",
evidence: [
"Tek hedef /dev/disk4; Built In SDXC Reader, 62,5 GB, removable Secure Digital, MBR/FAT32 ASELSANBOOT ve /Volumes/ASELSANBOOT eşleşmesiyle salt-okuma olarak belirlendi.",
"Kart zaten doğru bölüm düzeninde olduğu için format-sd-rpi5 çalıştırılmadı; yalnız aselsanos-rpi5.img, bcm2712-rpi-5-b.dtb, config.txt ve SHA256SUMS güncellendi.",
"Karttaki SHA256SUMS; imaj, DTB ve config için 3/3 OK verdi; üç dosya ayrıca build/rpi5 kaynaklarıyla byte-for-byte karşılaştırıldı.",
"İmaj SHA-256 değeri 8acacb283f917b0a7d8e9b7b9c96068a05264faff0df89fd5dd8eec9147787bf olarak kaldı.",
"Dahili SDXC okuyucunun Internal=true raporunu güvenle desteklemek için guard, OSInternalMedia=false + removable + Secure Digital birleşimine geçirildi; sistem diski ve partition yolu negatif testleri reddedildi.",
"sync sonrasında diskutil eject /dev/disk4 başarıyla tamamlandı.",
],
commands: [
"make check-sd-rpi5 SD_DISK=/dev/disk4",
"make verify-sd-volume-rpi5 SD_DISK=/dev/disk4 SD_MOUNT=/Volumes/ASELSANBOOT",
"make flash-rpi5 SD_DISK=/dev/disk4 SD_MOUNT=/Volumes/ASELSANBOOT",
"shasum -a 256 -c SHA256SUMS",
"diskutil eject /dev/disk4",
],
limitations: [
"Kart henüz Raspberry Pi 5'e takılıp güç verilmedi; UART10 BOOT0–BOOT4 kaydı alınmadığı için G4 fiziksel boot kapısı açık kalıyor.",
"Yazma doğrulaması bütünlük sağlar; imzalı boot veya kaynak authenticity garantisi değildir.",
],
},snippet sha256: 1e7b8cb88fc0…file sha256: 9726dbf00f84…
Kayıtlı yürütme/kanıt komutu
make check-sd-rpi5 SD_DISK=/dev/disk4Registry schema v5 · generator
website/scripts/generate-code-gates.mjs · Tam SHA-256: 91d38c7b6222f0b4c117be786454853543da55a160e543d9b951057cc20dcc06