ASELSANMicrokernel
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: 753a0ed713d7file 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: 1e7b8cb88fc0file sha256: 9726dbf00f84
Kayıtlı yürütme/kanıt komutu
make check-sd-rpi5 SD_DISK=/dev/disk4
Registry schema v5 · generator website/scripts/generate-code-gates.mjs · Tam SHA-256: 91d38c7b6222f0b4c117be786454853543da55a160e543d9b951057cc20dcc06