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 hedefiL6209–L6223
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: c74cbc3b3168…file sha256: a8d6a7830268…
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: 50ef1178ef28…file sha256: 9726dbf00f84…
Kayıtlı yürütme/kanıt komutu
read-only card identity + old image/manifest SHA-256 verificationRegistry schema v5 · generator
website/scripts/generate-code-gates.mjs · Tam SHA-256: 3050638b71a684d8f8f947a8a6faa237a17fa8db5dc0db04fb207b668b462af9