S29 · SOURCE-BOUND GATE EVIDENCE
G7a fiziksel BOOT7 kanıtı canlı siteye yayımlandı
Operations komutu/kapı ailesi → gerçek repository yürütme sözleşmesi Bu sayfa yalnız S29 kapısına aittir; komşu kapıların kaynakları bu kabulün içine katılmaz.
S29Komut / fiziksel sözleşmeOperations id exactsource SHA exact
operation: g7a-physical-proof-production-deployment
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ıL34558–L34581
website/src/lib/operations.ts::g7a-physical-proof-production-deployment
{
id: "g7a-physical-proof-production-deployment",
date: "2026-08-20",
sequence: 29,
status: "verified",
title: "G7a fiziksel BOOT7 kanıtı canlı siteye yayımlandı",
summary:
"Sıra 28'deki dondurulmuş G7a fiziksel UART kanıtı Cloudflare Pages production branch main'e dağıtıldı. Deployment ve custom domain smoke kontrolleri; BOOT7 PASS kaydını, UART kanıt hash'ini ve G7b'nin sıradaki dar kapı olduğunu doğruladı. Bu yalnız web içeriği dağıtımıdır.",
evidence: [
"Production deployment URL https://3ea74a09.aselsan-microkernel.pages.dev olarak oluşturuldu.",
"https://aselsan.kerege.net/operations/ HTTP 200 döndürdü; içerikte rpi5-g7a-physical-boot7-pass kaydı ve 42b30a5dbc201f44f700ae26bdd1936993dc0a19ecbffaf3d4ec54b9330fbfc6 UART kanıt hash'i görüldü.",
"https://aselsan.kerege.net/firmware/ HTTP 200 döndürdü; G7a fiziksel BOOT7 PASS ve G7b reserved-aware PMM sıradaki kapı marker'ları görüldü.",
"Dağıtılan sayfalar G7a'nın yalnız CPU0 iki EL1 görevli kooperatif smoke sınırını; EL0, IRQ preemption, PMM ve SMP'nin ayrı kapılar olduğunu korudu.",
],
commands: [
"npm run deploy",
"HTTP/content smoke: /operations/",
"HTTP/content smoke: /firmware/",
],
limitations: [
"Bu kayıt yalnız web statik içeriğinin production'a yayımlandığını doğrular; kernel artefact'ını, fiziksel microSD'yi veya Raspberry Pi 5 durumunu değiştirmez.",
"Dağıtım G7b kodu veya runtime kanıtı değildir; o anda fiziksel olarak doğrulanan son kapı G7a BOOT7'dir.",
],
},snippet sha256: bfc4ef4363f3…file sha256: 9726dbf00f84…
Kayıtlı yürütme/kanıt komutu
npm run deployRegistry schema v5 · generator
website/scripts/generate-code-gates.mjs · Tam SHA-256: 91d38c7b6222f0b4c117be786454853543da55a160e543d9b951057cc20dcc06