ASELSANMicrokernel
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: 99bba54663f1file 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: bfc4ef4363f3file sha256: 9726dbf00f84
Kayıtlı yürütme/kanıt komutu
npm run deploy
Registry schema v5 · generator website/scripts/generate-code-gates.mjs · Tam SHA-256: 91d38c7b6222f0b4c117be786454853543da55a160e543d9b951057cc20dcc06