Firmware G0–G3 durumu güncel kanıtlarla eşitlendi

{
  "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"
  }
}

  {
    id: "firmware-g0-g3-status-sync",
    date: "2026-08-19",
    sequence: 13,
    status: "verified",
    title: "Firmware G0–G3 durumu güncel kanıtlarla eşitlendi",
    summary:
      "RPi5 firmware sayfasındaki eski eksik/inaktif ifadeleri kaldırıldı; build, linker, paket ve UART10 kod kapıları gerçek depo durumuyla eşitlendi.",
    evidence: [
      "19 Ağustos'taki statik kontrolde G0 board-rpi5 build'i, o günkü G1 ELF entry 0x0020_0000 varsayımı ve G2 dört dosyalı paket ile üç satırlı SHA-256 manifesti PASS verdi; fiziksel log bu entry varsayımını ertesi gün geçersiz kıldı.",
      "G3, UART10 kodu ve BOOT0–BOOT4 marker'ları artefact içinde doğrulanmış; fiziksel UART gözlemi yapılmamış olarak açıkça sınırlandı.",
      "Firmware sayfası aktif make image-rpi5 ve fail-closed flash-rpi5 arayüzlerini gösteriyor; eski manuel tek-hash kopyalama tarifi kaldırıldı.",
      "Parça sayfasındaki yanlış Linux Image header ve board-rpi5 yok iddiaları kaldırıldı; sonraki ürün kapıları P0–P4 olarak ayrıştırıldı.",
      "G0–G3 durumunu ve tek sıradaki G4 kapısını koruyan otomatik regresyon testleri eklendi.",
    ],
    commands: [
      "make verify",
      "make image-rpi5",
      "cd build/rpi5 && shasum -a 256 -c SHA256SUMS",
      "npm test && npm run lint && npx tsc --noEmit && npm run build",
    ],
    limitations: [
      "Bu işlemde microSD formatlanmadı veya yazılmadı; gerçek Raspberry Pi 5 boot/UART kaydı alınmadı.",
      "Bu tarihsel kayıttaki 0x0020_0000 sözleşmesi artık güncel değildir; 20 Ağustos fiziksel kanıtı ve 0x80000 düzeltmesi en üst kayıtta tutulur.",
    ],
  },