ASELSANMicrokernel
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-web
snippet sha256: 3a28a03d0403file 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: 0e5485bf1c56file sha256: 9726dbf00f84
Kayıtlı yürütme/kanıt komutu
make verify
Registry schema v5 · generator website/scripts/generate-code-gates.mjs · Tam SHA-256: 3050638b71a684d8f8f947a8a6faa237a17fa8db5dc0db04fb207b668b462af9