ASELSANMicrokernel
S20 · SOURCE-BOUND GATE EVIDENCE

Fiziksel G5 kanıtı canlı siteye yayımlandı

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

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

operation: g5-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ıL34816–L34841
website/src/lib/operations.ts::g5-physical-proof-production-deployment
  {
    id: "g5-physical-proof-production-deployment",
    date: "2026-08-20",
    sequence: 20,
    status: "verified",
    title: "Fiziksel G5 kanıtı canlı siteye yayımlandı",
    summary:
      "Sıra 19'daki gerçek RPi5 BOOT5 GIC+TIMER kanıtı Cloudflare Pages production branch main'e dağıtıldı. Deployment URL ve custom domain operations/firmware rotaları, yeni kanıt ve tek sıradaki G6 sınırı için HTTP içerik smoke testinden geçti.",
    evidence: [
      "Next.js production build'i /operations ve /firmware dahil 20 statik rotayı başarıyla üretti.",
      "Wrangler 4.124.0 ile Cloudflare Pages dağıtımında 93 yeni dosya upload edildi, 83 değişmemiş dosya cache'den korundu.",
      "Production deployment URL https://6de110bf.aselsan-microkernel.pages.dev olarak oluşturuldu.",
      "https://aselsan.kerege.net/operations/ HTTP içeriğinde sıra 19, PASS · BOOT5 GIC+TIMER, SEC1–SEC147 ve 14.700 tick marker'ları birlikte görüldü.",
      "https://aselsan.kerege.net/firmware/ HTTP içeriğinde G0–G5 fiziksel PASS ve G6 güvenli DT/RAM + heap sıradaki kapı marker'ları görüldü.",
    ],
    commands: [
      "npm run build",
      "npm run deploy",
      "curl https://aselsan.kerege.net/operations/",
      "curl https://aselsan.kerege.net/firmware/",
    ],
    limitations: [
      "Bu kayıt web içeriğinin production'a yayımlandığını doğrular; firmware paketi, microSD veya fiziksel donanım durumunu değiştirmez.",
      "HTTP marker smoke testi içerik erişimini doğrular; kaynak authenticity, imzalı release veya supply-chain attestasyonu değildir.",
    ],
  },
snippet sha256: 9ba49f060d4efile sha256: 9726dbf00f84
Kayıtlı yürütme/kanıt komutu
npm run build
Registry schema v5 · generator website/scripts/generate-code-gates.mjs · Tam SHA-256: 91d38c7b6222f0b4c117be786454853543da55a160e543d9b951057cc20dcc06