S4 · SOURCE-BOUND GATE EVIDENCE

QEMU instruction-abort kök nedeni giderildi

Operations komutu/kapı ailesi → gerçek repository yürütme sözleşmesi Bu sayfa yalnız S4 kapısına aittir; komşu kapıların kaynakları bu kabulün içine katılmaz.

S4Komut / fiziksel sözleşmeOperations id exactsource SHA exact

operation: qemu-exception-stack-fix

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 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ıL35220–L35236

website/src/lib/operations.ts::qemu-exception-stack-fix

  {
    id: "qemu-exception-stack-fix",
    date: "2026-08-19",
    sequence: 4,
    status: "fixed",
    title: "QEMU instruction-abort kök nedeni giderildi",
    summary:
      "EL1 exception girişinde kaydedilmiş trap frame'in altındaki SP'yi değiştiren çağrılar kök neden olarak belirlendi ve handler yolundan çıkarıldı.",
    evidence: [
      "İlk koşuda M8 civarında FAR, ELR ve x30 değeri 0 olan EL1 instruction abort yeniden üretildi.",
      "SAVE_CONTEXT sonrasında SP'yi değiştiren per-CPU çağrıları kaldırıldı; QEMU önceki abort olmadan scheduler ve M8 yoluna ulaştı.",
    ],
    commands: ["make run", "QEMU seri log regresyonu"],
    limitations: [
      "Bu düzeltmenin kanıtı önceki abort noktasını aşıp scheduler/M8'e ulaşılmasıdır; kullanıcı ELF sonucunun kapsamı üstte ayrı kayıtta tutulur.",
    ],
  },

snippet sha256: 06c76201bd8a…file sha256: 9726dbf00f84…

Kayıtlı yürütme/kanıt komutu

make run

Registry schema v5 · generator website/scripts/generate-code-gates.mjs · Tam SHA-256: 3050638b71a684d8f8f947a8a6faa237a17fa8db5dc0db04fb207b668b462af9