S7 · SOURCE-BOUND GATE EVIDENCE
QEMU user ELF smoke testi geçti
S7 QEMU smoke komutu → exact Makefile run hedefi Bu sayfa yalnız S7 kapısına aittir; komşu kapıların kaynakları bu kabulün içine katılmaz.
S7Komut / fiziksel sözleşmeOperations id exactsource SHA exact
operation: qemu-user-elf-transition
script/Makefile/config · Operations · 2 exact excerpt
sequence-bound=true · implementation-bound=false
01 · Yürütme / doğrulama kodu
Kapının gerçek repository sözleşmesi
tam Make hedefiL6358–L6367
Makefile::run
run: kernel
@echo ">>> QEMU aarch64 virt üzerinde kernel başlatılıyor..."
qemu-system-aarch64 \
-M virt \
-cpu cortex-a72 \
-smp 2 \
-m 128M \
-nographic \
-serial mon:stdio \
-kernel $(ELF)snippet sha256: c0caa49ab79b…file sha256: a8d6a7830268…
02 · Kapı kimlik kaydı
Operations sıra, kimlik ve başlık bağı
tam Operations kaydıL35153–L35176
website/src/lib/operations.ts::qemu-user-elf-transition
{
id: "qemu-user-elf-transition",
date: "2026-08-19",
sequence: 7,
status: "passed",
title: "QEMU user ELF smoke testi geçti",
summary:
"Altı saniyelik seri log smoke testinde hello ve ipc_demo ayrı EL0 ELF'leri çalıştı; beklenen syscall, IPC ve scheduler ilerlemesi hatasız görüldü.",
evidence: [
"Skeleton görevin TaskContext x30 alanı user_first_kernel_entry adresine bağlandı.",
"Kernel essentials önce, çakışan ELF USER mapping'leri en son kurulacak şekilde mapping sırası düzeltildi.",
"Yüksek user stack VA'ları gerçek fiziksel RAM frame'lerine bağlandı ve en alttaki guard sayfası map edilmeden bırakıldı.",
"Yüklenen ELF sayfalarında D-cache clean + I-cache invalidate bakımı yapıldı; hello mesajı fat-pointer yerine static [u8; 37] byte dizisine çevrildi.",
"hello doğru metni yazdı ve SYS_EXIT ile çıktı; ipc_demo başladı, endpoint mint/list yaptı ve self-call yolunda beklendiği gibi bloke oldu.",
"SEC1–SEC5 scheduler akışı devam etti; logda panic, FATAL, stack overflow, data abort veya unknown kaydı bulunmadı.",
],
commands: [
"6 sn QEMU UART smoke",
"pozitif + yasaklı log marker doğrulaması",
],
limitations: [
"PASS kapsamı altı saniyelik smoke penceresidir; ipc_demo self-call blokajı beklenen davranıştır ve ayrı bir peer ile tam Call/Reply turu kanıtı değildir.",
],
},snippet sha256: 1790a7dac232…file sha256: 9726dbf00f84…
Kayıtlı yürütme/kanıt komutu
6 sn QEMU UART smokeRegistry schema v5 · generator
website/scripts/generate-code-gates.mjs · Tam SHA-256: 3050638b71a684d8f8f947a8a6faa237a17fa8db5dc0db04fb207b668b462af9