S64 · SOURCE-BOUND GATE EVIDENCE
G8e tam matris ve RPi5 image checkpoint'i PASS; fiziksel kabul henüz açık
Operations komutu/kapı ailesi → gerçek repository yürütme sözleşmesi Bu sayfa yalnız S64 kapısına aittir; komşu kapıların kaynakları bu kabulün içine katılmaz.
S64Komut / fiziksel sözleşmeOperations id exactsource SHA exact
operation: rpi5-g8e-full-matrix-image-checkpoint
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 hedefiL6117–L6117
Makefile::verify
verify: verify-core verify-websnippet sha256: 3a28a03d0403…file sha256: 7308784eb395…
02 · Kapı kimlik kaydı
Operations sıra, kimlik ve başlık bağı
tam Operations kaydıL31171–L31238
website/src/lib/operations.ts::rpi5-g8e-full-matrix-image-checkpoint
{
id: "rpi5-g8e-full-matrix-image-checkpoint",
date: "2026-08-21",
sequence: 64,
status: "partial",
title:
"G8e tam matris ve RPi5 image checkpoint'i PASS; fiziksel kabul henüz açık",
summary:
"G8e runtime audit'inden sonra güncel workspace üzerinde tek make verify koşusu exit 0 verdi: 168/168 test, QEMU smoke, QEMU kernel/RPi4/RPi5 derlemeleri, G8–G8e beş layout gate'i ve checkpoint anındaki web 115/115+lint+tsc+static export zinciri PASS. Üretim RPi5 ELF'i 7.449.624 bayt/cf0fa56d…23ef, image 275.792 bayt/d9419ff5…f00c olarak donduruldu; SHA256SUMS image, DTB ve config hash'lerini exact bağlıyor. Bu host/build/image checkpoint'idir: bağımsız reproducibility, staged package kabulü, microSD yazımı, UART capture ve fiziksel BOOT8E henüz yapılmadı.",
evidence: [
"Güncel workspace'te make verify exit 0 verdi; birleşik test özeti 168/168 PASS ve fail=0 oldu.",
"QEMU smoke PASS; QEMU kernel, production RPi4 ve production RPi5 derlemelerinin üçü de PASS verdi. make verify RPi3 derlemez ve bu kayıt RPi3 PASS iddia etmez.",
"RPi5 G8, G8b, G8c, G8d ve G8e makine-kodu layout gate'leri 5/5 PASS verdi; sıra 63'te açık bırakılan final G8e layout/image kapısı bu checkpoint'te kapandı.",
"Checkpoint içindeki website kapısı 115/115 test, ESLint, TypeScript noEmit ve 22/22 static export PASS verdi.",
"Hedefli diff-check PASS verdi; whitespace/error işareti bulunmadı.",
"Production RPi5 ELF exact 7.449.624 bayt ve SHA-256 cf0fa56d0d0705fb223efb817c4293a71cf02625ad9a6cd20433ac68b61323ef olarak yerel artifact'ten yeniden okundu.",
"aselsanos-rpi5.img exact 275.792 bayt ve SHA-256 d9419ff549125c899088db0acbc521d3db50d294f8756d2edd7166153e67f00c olarak yerel artifact'ten yeniden okundu.",
"bcm2712-rpi-5-b.dtb 78.703 bayt/40a2fbe9c29e8b9a4912cf726a943068defb779fc052ec38e457a79c58abca00 ve config.txt 501 bayt/1248275cdc6f6ce951ce0ff2183471d194c5b9bb58c3dc3f66efa9156f91d76b olarak doğrulandı.",
"SHA256SUMS 248 bayt ve 90ad54538cd15cc81cbab9cd9af78cb4be436f930619700df12fd3a7ea7d2127 hash'indedir; içeriği image d941…, DTB 40a2… ve config 1248… değerlerini exact listeler.",
],
terminalSessionsNote:
"make verify satırları uzun birleşik çıktının seçilmiş kabul özetidir. Artifact oturumu yerel production çıktılarının exact boyut/hash read-back'idir; bağımsız ikinci build veya fiziksel kart kanıtı değildir.",
terminalSessions: [
{
id: "g8e-full-workspace-matrix",
title:
"Tam workspace, QEMU kernel, iki production board, beş layout ve web doğrulaması",
commandLines: ["make verify"],
outputLines: [
"workspace tests=168/168 PASS · fail=0",
"QEMU smoke=PASS",
"QEMU kernel build=PASS · RPi4 build=PASS · RPi5 build=PASS",
"G8/G8b/G8c/G8d/G8e layout=5/5 PASS",
"web tests=115/115 PASS · lint=PASS · tsc=PASS · static export=22/22 PASS",
"make verify exit=0",
],
exitCode: 0,
outputMode: "selected",
},
{
id: "g8e-production-artifact-readback",
title: "Production ELF, image ve boot bundle boyut/hash read-back'i",
commandLines: [
"wc -c target/rpi5/aarch64-unknown-none/debug/aselsan_kernel build/rpi5/aselsanos-rpi5.img build/rpi5/bcm2712-rpi-5-b.dtb build/rpi5/config.txt build/rpi5/SHA256SUMS",
"shasum -a 256 target/rpi5/aarch64-unknown-none/debug/aselsan_kernel build/rpi5/aselsanos-rpi5.img build/rpi5/bcm2712-rpi-5-b.dtb build/rpi5/config.txt build/rpi5/SHA256SUMS",
"sed -n '1,3p' build/rpi5/SHA256SUMS",
],
outputLines: [
"ELF=7449624 B · sha256=cf0fa56d0d0705fb223efb817c4293a71cf02625ad9a6cd20433ac68b61323ef",
"image=275792 B · sha256=d9419ff549125c899088db0acbc521d3db50d294f8756d2edd7166153e67f00c",
"DTB=78703 B · sha256=40a2fbe9c29e8b9a4912cf726a943068defb779fc052ec38e457a79c58abca00",
"config=501 B · sha256=1248275cdc6f6ce951ce0ff2183471d194c5b9bb58c3dc3f66efa9156f91d76b",
"SHA256SUMS=248 B · sha256=90ad54538cd15cc81cbab9cd9af78cb4be436f930619700df12fd3a7ea7d2127",
"manifest entries=image d941… · DTB 40a2… · config 1248…",
],
exitCode: 0,
outputMode: "complete",
},
],
limitations: [
"Bu kayıt aynı workspace'teki tam matris ve production artifact checkpoint'idir; bağımsız temiz kopyalarda reproducibility/byte-for-byte ikinci build henüz tamamlanmadı.",
"SHA256SUMS yerel boot bundle'ı bağlar; exact source/toolchain manifesti ve staged package kabul kapısı açık kalır.",
"microSD yazımı, sync/eject, UART capture ve fiziksel BOOT8E yapılmadı; host ve layout PASS fiziksel PASS değildir.",
"Pi kapalıdır; doğrulanmış kart güçsüz Pi içindedir ve fiziksel rollback evidence değiştirilmemiştir.",
"Website yayını canonical custom domain üzerinden doğrulanır; bu ortamda reset veren pages.dev direct smoke için başarı iddia edilmez.",
"Wrangler yayını dirty/untracked workspace'ten ve stale 47d22c9 source etiketiyle yapılır; deploy artifact hash'i doğrulansa da Git-provider provenance kurulmuş sayılmaz.",
],
},snippet sha256: 38a72769c214…file sha256: 9726dbf00f84…
Kayıtlı yürütme/kanıt komutu
make verifyRegistry schema v5 · generator
website/scripts/generate-code-gates.mjs · Tam SHA-256: 91d38c7b6222f0b4c117be786454853543da55a160e543d9b951057cc20dcc06