ASELSANMicrokernel
S34 · SOURCE-BOUND GATE EVIDENCE

RPi5 G7b pre-MMU düzeltme paketi microSD'ye güvenle reflash edildi

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

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

operation: rpi5-g7b-fixed-package-microsd-reflash-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 hedefiL5988–L6002
Makefile::flash-rpi5
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ı."
snippet sha256: c74cbc3b3168file sha256: 7308784eb395
02 · Kapı kimlik kaydı

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

tam Operations kaydıL34149–L34179
website/src/lib/operations.ts::rpi5-g7b-fixed-package-microsd-reflash-verified
  {
    id: "rpi5-g7b-fixed-package-microsd-reflash-verified",
    date: "2026-08-20",
    sequence: 34,
    status: "verified",
    title: "RPi5 G7b pre-MMU düzeltme paketi microSD'ye güvenle reflash edildi",
    summary:
      "Sıra 33'te build'de sabitlenen c065bbd7…db5f G7b paketi, exact whole-disk kimliği yeniden fail-closed çözülen fiziksel microSD'ye mevcut FAT32 düzeni korunarak yazıldı. Önce karttaki başarısız eski 7f0ba2b9…1720e2 imaj ve eski manifest salt-okunur doğrulandı; format çalıştırılmadı. Yeni kart manifesti 3/3, dört build cmp'i ve güvenli eject geçti. Düzeltme artık karttadır, fakat gerçek G7B0/BOOT7B fiziksel retesti henüz yapılmadı; son runtime PASS G7a BOOT7'dir.",
    evidence: [
      "/dev/disk4 exact whole disk olarak çözümlendi: 62,549,655,552 B Built In SDXC Reader; OSInternalMedia=false, removable=true, writable=true ve ortam türü Secure Digital.",
      "Child /dev/disk4s1 FAT32 ASELSANBOOT olarak /Volumes/ASELSANBOOT altında bağlıydı ve parent whole disk /dev/disk4 ile eşleşti.",
      "Yazma öncesi salt-okunur kontrolde karttaki başarısız eski aselsanos-rpi5.img SHA-256 7f0ba2b9c6c5490a455d7406c70e24c5066d6b9f05fd416e60be32e2e71720e2 ve eski SHA256SUMS SHA-256 451170c340326916fc6bd7e4da7798a53926b86a8f08fc01f69206cf95bdb1b3 olarak doğrulandı.",
      "Doğru mevcut FAT32 düzeni korundu; format-sd-rpi5 çalıştırılmadı. make flash-rpi5 exit 0 verdi.",
      "Karttaki SHA256SUMS; aselsanos-rpi5.img, bcm2712-rpi-5-b.dtb ve config.txt için 3/3 OK verdi. image/DTB/config/SHA256SUMS dört cmp'in tamamı build/rpi5 ile byte-for-byte eşleşti.",
      "Final kart: image exact 140432 B / SHA-256 c065bbd704d836cd84f7ba9515bacd67664a947337d76a704643d6a58d17db5f; DTB 78703 B / 40a2fbe9c29e8b9a4912cf726a943068defb779fc052ec38e457a79c58abca00; config 501 B / 1248275cdc6f6ce951ce0ff2183471d194c5b9bb58c3dc3f66efa9156f91d76b; SHA256SUMS 248 B / 6eb474f17acc8f0968f040892856a6e3140e1d66f3f98618362b589d28192bb5.",
      "sync tamamlandı; diskutil eject /dev/disk4 exit 0 verdi. Son kontrolde /dev/disk4 ile /Volumes/ASELSANBOOT absent idi.",
    ],
    commands: [
      "read-only card identity + old image/manifest SHA-256 verification",
      "make flash-rpi5 SD_DISK=/dev/disk4 SD_MOUNT=/Volumes/ASELSANBOOT",
      "cd /Volumes/ASELSANBOOT && shasum -a 256 -c SHA256SUMS",
      "cmp card image/DTB/config/SHA256SUMS against build/rpi5",
      "sync && diskutil eject /dev/disk4",
    ],
    limitations: [
      "Bu kayıt yalnız düzeltmeli c065bbd7…db5f paketin fiziksel microSD'ye doğru yazıldığını, 3/3 + dört cmp ile doğrulandığını ve güvenle çıkarıldığını kanıtlar; G7b fiziksel runtime PASS değildir.",
      "Kart henüz Raspberry Pi 5'e takılıp temiz UART10 capture'ında yeniden sınanmadı. G7B0 ve BOOT7B marker'larının strict validator'dan geçmesi beklenir.",
      "Son başarılı fiziksel runtime sınırı G7a BOOT7 SCHED=OK ORDER=ABAB STEPS=4 TICKS=202 olarak kalır.",
      "Reflash, sıra 32'deki pre-MMU LDAXRB data-abort kök neden düzeltmesinin donanımda kapandığını tek başına kanıtlamaz.",
    ],
  },
snippet sha256: 50ef1178ef28file sha256: 9726dbf00f84
Kayıtlı yürütme/kanıt komutu
read-only card identity + old image/manifest SHA-256 verification
Registry schema v5 · generator website/scripts/generate-code-gates.mjs · Tam SHA-256: 91d38c7b6222f0b4c117be786454853543da55a160e543d9b951057cc20dcc06