ASELSANMicrokernel
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: 753a0ed713d7file 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: 1f389eb21830file sha256: 9726dbf00f84
Kayıtlı yürütme/kanıt komutu
diskutil list/info + system_profiler SPCardReaderDataType + mount
Registry schema v5 · generator website/scripts/generate-code-gates.mjs · Tam SHA-256: 3050638b71a684d8f8f947a8a6faa237a17fa8db5dc0db04fb207b668b462af9