S58 · SOURCE-BOUND GATE EVIDENCE
G8e çalışma zinciri başlatıldı; canlı günlük ve SMP önkoşulları fail-closed denetlendi
Operations komutu/kapı ailesi → gerçek repository yürütme sözleşmesi Bu sayfa yalnız S58 kapısına aittir; komşu kapıların kaynakları bu kabulün içine katılmaz.
S58Komut / fiziksel sözleşmeOperations id exactsource SHA exact
operation: rpi5-g8e-workstream-started
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 dosyaL1–L34
website/package.json::scripts
{
"name": "aselsan-microkernel-web",
"version": "0.1.0",
"private": true,
"type": "module",
"scripts": {
"dev": "next dev",
"build": "node scripts/generate-code-gates.mjs --check && next build",
"start": "next start",
"test": "node scripts/generate-code-gates.mjs --check && node --test src/lib/*.test.mjs",
"lint": "eslint",
"code:generate": "node scripts/generate-code-gates.mjs",
"code:check": "node scripts/generate-code-gates.mjs --check",
"images:checklist": "bash scripts/generate-checklist-images.sh",
"deploy": "node scripts/generate-code-gates.mjs --check && next build && npx wrangler pages deploy out --project-name=aselsan-microkernel --branch=main --commit-dirty=true"
},
"dependencies": {
"next": "16.3.1",
"react": "19.2.4",
"react-dom": "19.2.4"
},
"devDependencies": {
"@tailwindcss/postcss": "^4",
"@types/node": "^20",
"@types/react": "^19",
"@types/react-dom": "^19",
"eslint": "^9",
"eslint-config-next": "16.3.1",
"tailwindcss": "^4",
"typescript": "^5",
"wrangler": "4.124.0"
}
}
snippet sha256: 99bba54663f1…file sha256: 99bba54663f1…
02 · Kapı kimlik kaydı
Operations sıra, kimlik ve başlık bağı
tam Operations kaydıL31706–L31783
website/src/lib/operations.ts::rpi5-g8e-workstream-started
{
id: "rpi5-g8e-workstream-started",
date: "2026-08-21",
sequence: 58,
status: "observed",
title:
"G8e çalışma zinciri başlatıldı; canlı günlük ve SMP önkoşulları fail-closed denetlendi",
summary:
"G8d fiziksel BOOT8D PASS sonrasında bütün yeni işlemlerin /operations/ günlüğüne adım adım yazılması ve sırayla tamamlanması istendi. Pi kapalı, doğrulanmış G8d kartı güçsüz Pi'de takılı ve dokunulmamış durumda bırakıldı. Başlangıç denetimi yerel operations kaydının sıra 57'ye ulaştığını, ancak production özel alan adının hâlâ sıra 50'yi gösterdiğini buldu. Yerel web testi 109/109 PASS verdi. Generic board-rpi5+smp derleme önkoşulu ayrı geçici target dizininde fail-closed çalıştırıldı ve beş gerçek derleme engelini görünür kıldı; bu nedenle migration, TLBI, CPU2/3 veya yeni fiziksel kart yazımı açılmadı. İlk dar fiziksel hedef, G8d'yi immutable prerequisite tutan iki ardışık aynı-kanal CPU0→CPU1 SGI1 wake/run G8e re-arm kanıtıdır.",
evidence: [
"Kullanıcı bütün sonraki adımların https://aselsan.kerege.net/operations/ adresine kaydedilmesini ve sırayla tamamlanmasını açıkça istedi.",
"Başlangıç donanım sınırı: Pi'nin gücü kesik; exact fa08cec0…47dd4c G8d paketini taşıyan doğrulanmış kart güçsüz Pi'de takılı. Bu adımda karta, UART aygıtına veya Pi gücüne dokunulmadı.",
"Production /operations/ HTTP 200, 1,434,027 bayt ve 3a06a37608d259b398c82878c0762895430a0ac85175a101f0db7968ad184214 SHA-256 döndürdü; en üst canlı kayıt sıra 50 idi ve G8d sıra 51–57 henüz production'da yoktu.",
"Yerel npm test operations, firmware ve staged-proof zincirinde 109/109 PASS, 0 fail verdi; yerel veri modelinin en üst kaydı G8d fiziksel PASS sıra 57'dir.",
"İzole CARGO_TARGET_DIR ile cargo check -p aselsan_kernel --target aarch64-unknown-none --no-default-features --features board-rpi5,smp exit 101 verdi: beş compiler error ve 34 warning.",
"Beş error iki new_uncloned eksikliği ile const PerCpu::new içindeki üç non-const Clone::clone çağrısından oluştu; generic SMP yolu şu haliyle fiziksel gate önkoşulu değildir.",
"Salt-okunur kaynak incelemesi ayrıca BCM2712 CPU1 MPIDR=0x100 değerinin mevcut Aff0-only current_cpu_id yolunda CPU0'a alias olabildiğini ve PerCpu erişiminin geçersiz kimlikleri modulo ile sessizce slotlara bağladığını belirledi.",
"G8e scope kararı tek yeni iddiaya indirildi: aynı SGI1/TARGET_LIST=0x02 kanalı iki ardışık turda, ilk tur task dönüşü + pending/active quiescence + en az bir yeni CPU0 tick sonrasında yeniden kullanılacak; exact toplamlar iki olacak.",
],
terminalSessionsNote:
"Bu başlangıç kaydı yalnız gerçek salt-okunur production, web-test ve SMP compile-diagnostic yanıtlarını içerir. Beklenen diagnostic exit 101 bir fiziksel FAIL veya uygulanmış düzeltme değildir; sonraki host-only düzeltme kapısının somut başlangıç durumudur.",
terminalSessions: [
{
id: "g8e-start-production-operations-audit",
title: "Production operations başlangıç sınırı",
commandLines: [
"curl -L --fail https://aselsan.kerege.net/operations/",
"byte/hash ve en üst sıra marker denetimi",
],
outputLines: [
"HTTP 200 · 1434027 B · sha256=3a06a37608d259b398c82878c0762895430a0ac85175a101f0db7968ad184214",
"live newest sequence=50",
"local newest sequence=57 · G8d physical BOOT8D PASS",
"production sync required=YES",
],
exitCode: 0,
outputMode: "complete",
},
{
id: "g8e-start-website-baseline",
title: "Yerel operations ve firmware test tabanı",
commandLines: ["cd website && npm test"],
outputLines: [
"tests 109",
"pass 109",
"fail 0",
"duration_ms 135.196708",
],
exitCode: 0,
outputMode: "selected",
outputNote: "Node test runner'ın nihai özet satırları seçildi.",
},
{
id: "g8e-start-generic-smp-compile-diagnostic",
title: "Generic board-rpi5+smp önkoşul derlemesi",
commandLines: [
"CARGO_TARGET_DIR=<isolated-temp> cargo check -p aselsan_kernel --target aarch64-unknown-none --no-default-features --features board-rpi5,smp",
],
outputLines: [
"error[E0599]: PerCpu::new_uncloned missing · scheduler ipc_blocked_tasks",
"error[E0015] ×3: non-const Clone::clone inside const PerCpu::new",
"error[E0599]: PerCpu::new_uncloned missing · KERNEL_STACKS",
"could not compile aselsan_kernel · 5 previous errors · 34 warnings",
"cargo_check_exit=101",
],
exitCode: 101,
outputMode: "selected",
outputNote:
"Tam warning dökümü yerine beş compiler error sınıfı ve nihai sonuç seçildi.",
},
],
limitations: [
"Bu kayıt G8e implementasyonu, staged paket veya fiziksel PASS değildir; yalnız başlangıç sınırını ve fail-closed önkoşulları dondurur.",
"Generic SMP scheduler, migration, TLB shootdown, CPU2/CPU3, hotplug ve EL0-on-CPU1 açılmadı.",
"Production özel alan adı bu kayıt deploy edilip canlı içerik smoke'u geçene kadar sıra 50 sınırında kalır.",
"Kart yazımı ve güç döngüsü; G8e contract, host, makine-kodu, tam matris ve reproducibility kapılarının tamamı geçmeden yapılmayacaktır.",
],
},snippet sha256: 30a955ce4b12…file sha256: 9726dbf00f84…
Kayıtlı yürütme/kanıt komutu
curl -L --fail https://aselsan.kerege.net/operations/Registry schema v5 · generator
website/scripts/generate-code-gates.mjs · Tam SHA-256: 91d38c7b6222f0b4c117be786454853543da55a160e543d9b951057cc20dcc06