G8f tam matris ve dört-yönlü reproducible BOOT8F paketi doğrulandı

{
  "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: "rpi5-g8f-full-matrix-reproducible-package",
    date: "2026-08-21",
    sequence: 74,
    status: "verified",
    title: "G8f tam matris ve dört-yönlü reproducible BOOT8F paketi doğrulandı",
    summary:
      "Sıra 73'ün race-audited G8f runtime/layout/image checkpoint'i final corrected `f7eafcfb` production deployment'ında canonical `/operations/` ile byte-for-byte doğrulandı. Aynı source snapshot'ında `make verify-core` exit 0 verdi: 184 benzersiz Rust testi, image prerequisite tekrarlarıyla 335 gerçek execution, fault'suz hello+IPC+SEC5 QEMU smoke, QEMU/RPi4/RPi5 non-SMP build'leri ve pre-MMU/G7c/G7d/G8/G8b/G8c/G8d/G8e/G8f dokuz layout gate'i PASS oldu. RPi5+SMP ve QEMU+SMP yalnız compile-only PASS verdi; runtime STOP değişmedi. Web snapshot'ı 125/125, lint, TypeScript ve 22/22 statik export ile geçti; bağımsız rebuild canonical'dan yalnız rastgele Next build ID'sinde ayrıldı ve yalnız bu alan normalize edilince cmp exit 0 verdi. Ardından 152 dosyalık source freeze'den bağımsız A/B/C workspace'leri üretildi: toplam 453/453 test, 27/27 layout ve her workspace'te manifest 3/3 PASS. A/B/C/main image, DTB, config, SHA256SUMS, her debug ELF'ten objcopy raw ve stripped ELF dört-yönlü exact eşleşti. Bu full-matrix/reproducible-package PASS'tir; microSD, UART veya fiziksel BOOT8F değildir.",
    evidence: [
      "Sıra 73 final corrected deployment `f7eafcfb.aselsan-microkernel.pages.dev`; deploy anındaki canonical `/operations/` exact 2.325.275 B / 8ffc215abcdfade5a8687fd771ddd55b74c739b01e23b6b6b585f62b9a64e530 ve local cmp PASS verdi.",
      "`make verify-core` exit 0; Rust matrisi 184/184 benzersiz PASS ve image prerequisite tekrarları dahil 335/335 gerçek test execution PASS verdi.",
      "QEMU smoke hello, IPC ve scheduler SEC5 marker'larını gördü; fault yoktu. QEMU, RPi4 ve RPi5 non-SMP kernel build'leri PASS verdi.",
      "Pre-MMU, G7c, G7d, G8, G8b, G8c, G8d, G8e ve G8f production machine-code layout kapıları 9/9 PASS verdi.",
      "RPi5+SMP ve QEMU+SMP profilleri compile-only 2/2 PASS; generic SMP scheduler/timer/migration runtime kapısı kesin STOP olarak kaldı.",
      "Sıra 73 sonrası `make verify-web` snapshot'ı 125/125 test, lint PASS, TypeScript no-emit PASS ve static export 22/22 verdi.",
      "Bağımsız web rebuild canonical Sıra 73 artefaktından yalnız rastgele Next build ID'sinde ayrıldı; yalnız build ID normalize edilince byte comparison exit 0 oldu. Deploy anındaki exact canonical cmp sonucu ayrıca korunur.",
      "Reproducibility freeze 152 source dosyasını exact 3bbf2c5af7131ce686dbb9805e8a5d13c095e69f014696ff0eba6f11f05db728 manifest SHA-256 ile bağladı; A/B/C koşuları source'u mutate etmedi.",
      "Bağımsız A/B/C workspace'lerinin her biri 151/151 test execution, 9/9 layout ve paket manifestinde 3/3 PASS verdi; birleşik sonuç 453/453 test ve 27/27 layout'tur.",
      "A/B/C/main raw image dört-yönlü exact 279.936 B / 316be86f1d11c3522b550abd90c04beb77f0d12f01625e8e6d3bc014672c0f21; her debug ELF'ten ayrı objcopy raw aynı değeri verdi.",
      "A/B/C/main DTB exact 78.703 B / 40a2fbe9c29e8b9a4912cf726a943068defb779fc052ec38e457a79c58abca00, config exact 501 B / 1248275cdc6f6ce951ce0ff2183471d194c5b9bb58c3dc3f66efa9156f91d76b ve SHA256SUMS exact 248 B / 73874fad8eaebe46b4ac20fe25b579ef32545a1457358178be2bf0045fa8769c olarak dört-yönlü eşleşti.",
      "A/B/C/main stripped ELF dört-yönlü exact 345.896 B / 7773dcc3c6860c1c31740a97d7a0e9552957ab1457c30247a6e8171f7e5eb93c oldu.",
      "Tam debug ELF farkı yalnız image'e yüklenmeyen `.debug_info`, `.debug_str`, `.symtab` ve `.strtab` içindeki workspace-path metadata'sıdır; load edilen raw image, stripped ELF ve dört paket girdisi exact reproducible'dır.",
      "Geçici A/B/C reproduction ağacı exact 1.604.780.032 B ölçüldü ve recoverable Trash'a taşındı; kalıcı source/package içeriği değiştirilmedi.",
      "Güncellenmiş G8f staged proof exact 17.159 B / 70c2f426144565ddbacf17953acac5371d9fdd273cffa2dea297f6940ad523c3; full matrix/reproducibility PASS ile fiziksel açık kapıları ayrı tutar.",
    ],
    terminalSessionsNote:
      "Oturumlar gerçek production, full-matrix ve üç temiz-workspace reproducibility koşularının seçilmiş terminal sonuçlarını taşır. Compile/package PASS fiziksel boot sonucu değildir.",
    terminalSessions: [
      {
        id: "g8f-seq73-production-and-web-recheck",
        title: "Sıra 73 corrected production ve bağımsız web snapshot kontrolü",
        commandLines: [
          "npx wrangler pages deploy out --project-name=aselsan-microkernel --branch=main --commit-dirty=true",
          "download cache-busted canonical /operations/ and compare with the deployed local out/operations/index.html",
          "make verify-web; rebuild the same source snapshot and compare after normalizing only the random Next build ID",
        ],
        outputLines: [
          "deployment=f7eafcfb.aselsan-microkernel.pages.dev",
          "canonical operations=2325275 B · 8ffc215abcdfade5a8687fd771ddd55b74c739b01e23b6b6b585f62b9a64e530 · deployed-build cmp=PASS",
          "verify-web tests=125/125 · lint=PASS · TypeScript=PASS · static export=22/22",
          "independent rebuild delta=random Next build ID only · normalized cmp exit=0",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g8f-full-core-board-qemu-matrix",
        title: "Tam Rust, QEMU, board ve machine-code matrisi",
        commandLines: [
          "make verify-core",
          "cargo check -p aselsan_kernel --target aarch64-unknown-none --no-default-features --features board-rpi5,smp",
          "cargo check -p aselsan_kernel --target aarch64-unknown-none --no-default-features --features board-qemu,smp",
        ],
        outputLines: [
          "make verify-core exit=0 · Rust unique=184/184 · actual executions=335/335",
          "QEMU smoke hello+IPC+SEC5=PASS · faults=0",
          "QEMU/RPi4/RPi5 non-SMP builds=3/3 PASS · layouts=9/9 PASS",
          "RPi5+SMP/QEMU+SMP compile-only=2/2 PASS · runtime SMP=STOP",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g8f-three-clean-workspace-reproducibility",
        title: "A/B/C temiz workspace ve main dört-yönlü paket karşılaştırması",
        commandLines: [
          "freeze 152 source files and verify manifest SHA-256",
          "run make image-rpi5 independently in artifact-free workspaces A, B and C",
          "compare A/B/C/main package files, objcopy raw images and strip-all ELFs byte-for-byte",
          "measure temporary tree and move it to recoverable Trash",
        ],
        outputLines: [
          "source manifest=3bbf2c5af7131ce686dbb9805e8a5d13c095e69f014696ff0eba6f11f05db728 · files=152",
          "A/B/C tests=453/453 · layouts=27/27 · manifests=3/3 each",
          "image/DTB/config/SHA256SUMS/objcopy raw four-way cmp=PASS",
          "stripped ELF=345896 B · 7773dcc3c6860c1c31740a97d7a0e9552957ab1457c30247a6e8171f7e5eb93c · four-way cmp=PASS",
          "temporary tree=1604780032 B · disposition=recoverable Trash",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
    ],
    limitations: [
      "Bu full software matrix ve reproducible staged-package PASS'tir; microSD write/read-back, UART capture ve fiziksel G8F0/G8F1/BOOT8F kanıtı yoktur.",
      "Tam debug ELF byte-for-byte aynı değildir; fark yalnız load edilmeyen debug/symbol/string section path metadata'sıdır. Raw boot payload, stripped ELF ve dağıtılan paket exact eşleşir.",
      "Generic SMP runtime kapalıdır; RPi5+SMP ve QEMU+SMP compile PASS scheduler, timer, migration veya shootdown güvenliği kanıtı değildir.",
      "Website yayını yalnız canonical custom domain üzerinden doğrulanır; bu ortamda pages.dev direct smoke için başarı iddia edilmez.",
      "Wrangler yayını dirty/untracked workspace'ten ve stale 47d22c9 source etiketiyle yapılır; canlı artifact hash'i doğrulansa da Git-provider provenance kurulmuş sayılmaz.",
    ],
  },