S11 · SOURCE-BOUND GATE EVIDENCE
Tek komutlu tam depo doğrulama matrisi geçti
Operations komutu/kapı ailesi → gerçek repository yürütme sözleşmesi Bu sayfa yalnız S11 kapısına aittir; komşu kapıların kaynakları bu kabulün içine katılmaz.
S11Komut / fiziksel sözleşmeOperations id exactsource SHA exact
operation: full-repository-verification
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 hedefiL6338–L6338
Makefile::verify
verify: verify-core verify-websnippet sha256: 3a28a03d0403…file sha256: a8d6a7830268…
02 · Kapı kimlik kaydı
Operations sıra, kimlik ve başlık bağı
tam Operations kaydıL35054–L35078
website/src/lib/operations.ts::full-repository-verification
{
id: "full-repository-verification",
date: "2026-08-19",
sequence: 11,
status: "passed",
title: "Tek komutlu tam depo doğrulama matrisi geçti",
summary:
"Simülasyon, userspace, üç board, QEMU runtime, RPi5 paketi ve web kalite kapıları make verify altında baştan sona yeniden çalıştırıldı.",
evidence: [
"cargo test --workspace dört davranışsal simülasyon testini geçti; sahte hak ve bilinmeyen göndericiyle capability doğrulamasını aşma girişimleri reddedildi.",
"hello ve ipc_demo AArch64 release ELF'leri üretildi; QEMU, RPi4 ve RPi5 kernel çapraz derlemeleri exit 0 verdi.",
"Sekiz saniyelik QEMU smoke; doğru hello metnini, ipc_demo başlangıcını ve SEC 5 scheduler ilerlemesini gördü; yasaklı panic/FATAL/abort/overflow marker'ı bulmadı.",
"RPi5 paketi yeniden üretildi; imaj, DTB ve config için üç SHA-256 satırı da OK verdi.",
"Web zincirinde temiz npm kurulumu, dört operations testi, tam ESLint, TypeScript no-emit ve 20 statik sayfalı Next.js build'i geçti.",
],
commands: [
"make verify",
"make verify-qemu",
"shasum -a 256 -c SHA256SUMS",
],
limitations: [
"Desteklenen doğrulama zinciri yeşil olsa da kernel derlemeleri çok sayıda warning üretiyor; depo geneli rustfmt ve clippy -D warnings kapıları henüz temiz değil.",
"Fiziksel microSD yazımı ile RPi4/RPi5 boot ve UART testi yapılmadı.",
],
},snippet sha256: 0e5485bf1c56…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: 3050638b71a684d8f8f947a8a6faa237a17fa8db5dc0db04fb207b668b462af9