S1 · SOURCE-BOUND GATE EVIDENCE

İlk tam depo test matrisi çalıştırıldı

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

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

operation: initial-repository-matrix

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 hedefiL731–L734

Makefile::kernel

kernel: userspace-binaries
	@echo $(BUILD_MSG)
	cd $(KERNEL_DIR) && CARGO_TARGET_DIR=$(KERNEL_TARGET_DIR) \
		$(CARGO) build --target $(TARGET) $(FEATURES)

snippet sha256: 2c4c7ca8685e…file sha256: f51fb62869fb…

02 · Kapı kimlik kaydı

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

tam Operations kaydıL35272–L35294

website/src/lib/operations.ts::initial-repository-matrix

  {
    id: "initial-repository-matrix",
    date: "2026-08-19",
    sequence: 1,
    status: "observed",
    title: "İlk tam depo test matrisi çalıştırıldı",
    summary:
      "Kernel, QEMU runtime, RPi4 hedefi ve workspace test yolu birlikte tarandı; üç bağımsız engel sonraki düzeltmeler için somutlaştırıldı.",
    evidence: [
      "QEMU kernel derlemesi geçti; runtime M8 civarında EL1 instruction abort ile durdu.",
      "RPi4 derlemesi unsafe fonksiyon çağrısında Rust E0133 verdi.",
      "Workspace test komutu bare-metal panic handler ile std harness arasındaki duplicate panic_impl hatasını gösterdi.",
    ],
    commands: [
      "make kernel",
      "make run",
      "make kernel-rpi4",
      "cargo test --workspace",
    ],
    limitations: [
      "Bu ilk matris bir PASS kaydı değildir; bulguların yeniden üretildiği başlangıç fotoğrafıdır. Düzeltme sonuçları üstteki kayıtlarda ayrı ayrı belirtilir.",
    ],
  },

snippet sha256: a555f8fdab67…file sha256: 9726dbf00f84…

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

make kernel

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