S56 · SOURCE-BOUND GATE EVIDENCE
RPi5 G8d timer düzeltmesi exact microSD'ye formatsız yazıldı; fiziksel retest bekliyor
Operations komutu/kapı ailesi → gerçek repository yürütme sözleşmesi Bu sayfa yalnız S56 kapısına aittir; komşu kapıların kaynakları bu kabulün içine katılmaz.
S56Komut / fiziksel sözleşmeOperations id exactsource SHA exact
operation: rpi5-g8d-timer-fix-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 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ıL31893–L32019
website/src/lib/operations.ts::rpi5-g8d-timer-fix-microsd-reflash-verified
{
id: "rpi5-g8d-timer-fix-microsd-reflash-verified",
date: "2026-08-21",
sequence: 56,
status: "verified",
title:
"RPi5 G8d timer düzeltmesi exact microSD'ye formatsız yazıldı; fiziksel retest bekliyor",
summary:
"Sıra 55'te dondurulan 263408 bayt / fa08cec0…47dd4c wrong-core timer düzeltmeli G8d paketi, Pi kapalıyken exact 62549655552 bayt TISD64G Secure Digital karta mevcut MBR/FAT32 düzen korunarak yazıldı. Salt-okunur kimlik kapıları /dev/disk6, serial 0x425001fa ve /dev/disk6s1 ASELSANBOOT bağını yeniden doğruladı; 18,1 GB read-only virtual APFS /dev/disk4 reddedildi. Yazım öncesi kart manifesti 3/3 geçti ve kartın fiziksel TIMER_STATE reddini üreten eski 6d9c556f…a46922 paketi taşıdığı doğrulandı. make flash-rpi5 format çağırmadan yalnız dört boot dosyasını değiştirdi; yazım sonrasında manifest 3/3, dört bağımsız cmp, exact hashler ve sync geçti. İlk eject, doğrulama kabuğunun çalışma dizini kart kökünde olduğu için macOS tarafından güvenle reddedildi; holder kalmadığı doğrulanıp ikinci sync sonrasında eject başarılı oldu. disk6 ve ASELSANBOOT yokluğu PASS'tir. Kart güvenle çıkarılmıştır; düzeltilmiş paketle fiziksel BOOT8D henüz sınanmadı.",
evidence: [
"Exact whole disk yeniden /dev/disk6 olarak çözüldü: TISD64G SDXC Class 10, serial 0x425001fa, Secure Digital, 62,549,655,552 bayt, removable=yes, virtual=no ve Media OS Use Only=no.",
"Exact bölüm /dev/disk6s1, MBR/MS-DOS FAT32, ASELSANBOOT, /Volumes/ASELSANBOOT ve writable=true olarak doğrulandı.",
"Aynı anda görünen /dev/disk4 18,1 GB read-only virtual APFS disk image idi; Secure Digital hedefi olmadığı için reddedildi.",
"make check-sd-rpi5 ve make verify-sd-volume-rpi5 exact whole-disk/removable/Secure-Digital/FAT32/mount sözleşmesini geçti.",
"Yazım öncesi kart manifesti 3/3 OK verdi. Eski kart imajı exact 263408 B / 6d9c556fa7104ae052f648c509104531821eed44620d3e2f827863e7cba46922 ve eski SHA256SUMS 248 B / a56e3ea3…72cd idi.",
"make flash-rpi5 SD_DISK=/dev/disk6 SD_MOUNT=/Volumes/ASELSANBOOT exit 0 verdi; format-sd-rpi5 çağrılmadı ve mevcut MBR/FAT32 düzen korundu.",
"Yazım sırasında G7c–G8d host/layout kapıları yeniden PASS verdi; G8d kaynak 10/10 + UART 7/7 = 17/17 ve CPU1-published timer-off makine-kodu kapısı PASS oldu.",
"Karttaki düzeltilmiş imaj exact 263408 B / fa08cec0050fb5b3a7e1bfc7986d1d84248219efdb26f0535951f593df47dd4c oldu.",
"Kart DTB'si 78703 B / 40a2fbe9…ca00, config 501 B / 1248275c…d76b ve SHA256SUMS 248 B / e8efc67e…1c5e olarak build/rpi5 ile eşleşti.",
"Yazım sonrası bağımsız manifest 3/3 OK ve imaj, DTB, config, SHA256SUMS için dört ayrı cmp=PASS alındı.",
"İlk eject denemesi yalnız shell cwd /Volumes/ASELSANBOOT olduğu için PID 21384 /bin/zsh tarafından dissent edildi; veri sync edilmişti ve aygıt çıkarılmadı.",
"Kabuğun kapanmasından sonra volume_holders=NONE doğrulandı; ikinci sync ve diskutil eject /dev/disk6 başarılı oldu. disk6_absent=PASS ve ASELSANBOOT_unmounted=PASS.",
"Exact reflash ve fiziksel retest sınırı docs/M8.1-RPi5-G8d-CPU1-SGI-Reschedule-Staged-Proof.md içinde donduruldu.",
],
commands: [
"diskutil list/info + system_profiler SPCardReaderDataType + mount",
"make check-sd-rpi5 SD_DISK=/dev/disk6",
"make verify-sd-volume-rpi5 SD_DISK=/dev/disk6 SD_MOUNT=/Volumes/ASELSANBOOT",
"pre-write: cd /Volumes/ASELSANBOOT && shasum -a 256 -c SHA256SUMS",
"make flash-rpi5 SD_DISK=/dev/disk6 SD_MOUNT=/Volumes/ASELSANBOOT",
"post-write: 3/3 manifest + four cmp + SHA-256 + sync",
"failed cwd-held eject; then holder audit + sync + diskutil eject + absence checks",
],
terminalSessionsNote:
"Bu oturumlar exact fiziksel microSD üzerinde çalıştırılan gerçek seçili yanıtlardır. İlk eject reddi veri veya kart hatası değildir; doğrulama shell'inin cwd'si mount üzerindeydi ve macOS aygıtı çıkarmadı. Holder temizlendikten sonraki eject başarıyla kapandı. Kart yazımı runtime BOOT8D kanıtı değildir.",
terminalSessions: [
{
id: "g8d-fix-card-identity-prewrite",
title: "Exact kart kimliği ve eski failing paket bağı",
commandLines: [
"diskutil list/info + system_profiler SPCardReaderDataType",
"make check-sd-rpi5 SD_DISK=/dev/disk6",
"make verify-sd-volume-rpi5 SD_DISK=/dev/disk6 SD_MOUNT=/Volumes/ASELSANBOOT",
"cd /Volumes/ASELSANBOOT && shasum -a 256 -c SHA256SUMS",
],
outputLines: [
"/dev/disk4 rejected · 18.1 GB · virtual read-only APFS disk image",
"/dev/disk6 · TISD64G · serial=0x425001fa · Secure Digital · exact bytes=62549655552 · removable=yes · virtual=no",
"/dev/disk6s1 · MBR/DOS_FAT_32 · ASELSANBOOT · writable=yes",
"prewrite manifest=3/3 OK",
"old image=263408 B · 6d9c556fa7104ae052f648c509104531821eed44620d3e2f827863e7cba46922",
],
exitCode: 0,
outputMode: "selected",
},
{
id: "g8d-fix-card-formatsiz-write",
title: "Formatsız düzeltme yazımı ve yeniden çalışan kapılar",
commandLines: [
"make flash-rpi5 SD_DISK=/dev/disk6 SD_MOUNT=/Volumes/ASELSANBOOT",
],
outputLines: [
"G8d source 10/10 + UART 7/7 = 17/17 PASS",
"PASS: G8d one CPU0->CPU1 SGI1, exact raw acknowledge/EOI, CPU1-published timer-off state, masked EL1h return and one existing pinned-task wake verified",
"image sha256=fa08cec0050fb5b3a7e1bfc7986d1d84248219efdb26f0535951f593df47dd4c",
"card manifest=3/3 OK",
"flash-rpi5 exit=0 · format-sd-rpi5 called=false",
],
exitCode: 0,
outputMode: "selected",
},
{
id: "g8d-fix-card-postwrite",
title: "Bağımsız manifest, hash ve dört byte karşılaştırması",
commandLines: [
"cd /Volumes/ASELSANBOOT && shasum -a 256 -c SHA256SUMS",
"stat + shasum -a 256 card files",
"cmp build/rpi5/<file> /Volumes/ASELSANBOOT/<file> · four files",
],
outputLines: [
"manifest=3/3 OK",
"image=263408 B · fa08cec0050fb5b3a7e1bfc7986d1d84248219efdb26f0535951f593df47dd4c",
"dtb=78703 B · 40a2fbe9c29e8b9a4912cf726a943068defb779fc052ec38e457a79c58abca00",
"config=501 B · 1248275cdc6f6ce951ce0ff2183471d194c5b9bb58c3dc3f66efa9156f91d76b",
"SHA256SUMS=248 B · e8efc67ec4b75911f4a33b2cb112e8c5327ee0ade2d4970232da31cfb1bd1c5e",
"cmp=image PASS · dtb PASS · config PASS · SHA256SUMS PASS",
],
exitCode: 0,
outputMode: "complete",
},
{
id: "g8d-fix-card-first-eject-refused",
title: "İlk eject: shell cwd kart kökünde olduğu için güvenli ret",
commandLines: ["sync", "diskutil eject /dev/disk6"],
outputLines: [
"Unmount of disk6 failed: at least one volume could not be unmounted",
"Unmount was dissented by PID 21384 (/bin/zsh)",
"disk remained mounted; no forced eject used",
],
exitCode: 1,
outputMode: "complete",
},
{
id: "g8d-fix-card-eject",
title: "Holder temizliği, ikinci sync, güvenli eject ve yokluk",
commandLines: [
"lsof +D /Volumes/ASELSANBOOT",
"sync",
"diskutil eject /dev/disk6",
"post-eject absence checks",
],
outputLines: [
"volume_holders=NONE",
"Disk /dev/disk6 ejected",
"disk6_absent=PASS",
"ASELSANBOOT_unmounted=PASS",
],
exitCode: 0,
outputMode: "complete",
},
],
limitations: [
"Bu kayıt exact karta düzeltilmiş G8d paket yazımı ve byte eşitliği kanıtıdır; Pi bu düzeltilmiş paketle henüz açılmadı ve fiziksel BOOT8D PASS değildir.",
"Gerçek G8D0/G8D1/G8D2/BOOT8D için güçten önce same-descriptor 115200 8N1 immutable UART10 capture ve strict G8d validator PASS gerekir.",
"İlk eject'in güvenli reddi tarihsel olarak korunur; zorla çıkarma yapılmadı ve başarılı ikinci eject öncesinde holder=NONE ile ikinci sync doğrulandı.",
],
},snippet sha256: 1f389eb21830…file sha256: 9726dbf00f84…
Kayıtlı yürütme/kanıt komutu
diskutil list/info + system_profiler SPCardReaderDataType + mountRegistry schema v5 · generator
website/scripts/generate-code-gates.mjs · Tam SHA-256: 3050638b71a684d8f8f947a8a6faa237a17fa8db5dc0db04fb207b668b462af9