S2 · SOURCE-BOUND GATE EVIDENCE

RPi4 mailbox unsafe build hatası düzeltildi

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

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

operation: rpi4-unsafe-build-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 hedefiL524–L525

Makefile::kernel-rpi4

kernel-rpi4:
	@$(MAKE) BOARD=rpi4 kernel

snippet sha256: e58923245a1f…file sha256: 7308784eb395…

02 · Kapı kimlik kaydı

Operations sıra, kimlik ve başlık bağı

tam Operations kaydıL35255–L35271

website/src/lib/operations.ts::rpi4-unsafe-build-fix

  {
    id: "rpi4-unsafe-build-fix",
    date: "2026-08-19",
    sequence: 2,
    status: "fixed",
    title: "RPi4 mailbox unsafe build hatası düzeltildi",
    summary:
      "UART clock sorgusundaki unsafe mailbox çağrısı açık bir unsafe blok içine alınarak Rust E0133 derleme hatası giderildi.",
    evidence: [
      "mailbox::get_clock_rate çağrısının güvenlik sınırı çağrı yerinde görünür hale getirildi.",
      "make kernel-rpi4 düzeltmeden sonra exit 0 verdi.",
    ],
    commands: ["make kernel-rpi4"],
    limitations: [
      "Bu kayıt RPi4 çapraz derlemesini doğrular; fiziksel kart boot testi yapıldığı anlamına gelmez.",
    ],
  },

snippet sha256: 7a0f7c850bec…file sha256: 9726dbf00f84…

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

make kernel-rpi4

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