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 hedefiL519–L522

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: 7308784eb395…

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: 91d38c7b6222f0b4c117be786454853543da55a160e543d9b951057cc20dcc06