G8e production paketi üç temiz workspace'te byte-for-byte yeniden üretildi

[package]
name = "hello"
version = "0.1.0"
edition = "2021"

# Workspace'in dışında, bağımsız bir EL0 user binary olarak derlenir.
[workspace]

[profile.release]
panic = "abort"
lto = true
opt-level = "z"

  {
    id: "rpi5-g8e-reproducible-package-staged",
    date: "2026-08-21",
    sequence: 65,
    status: "verified",
    title:
      "G8e production paketi üç temiz workspace'te byte-for-byte yeniden üretildi",
    summary:
      "Artifact-free A, B ve C workspace'leri aynı kaynak snapshot'ından bağımsız kuruldu; her birinde root build/target ile iki userspace target dizininin yokluğu doğrulandıktan sonra make clean, iki userspace cargo clean ve make image-rpi5 exit 0 verdi. Her build G8–G8e layout 5/5 ve manifest 3/3 PASS oldu. A↔B, A↔C, B↔C ve A↔main karşılaştırmalarının her birinde raw image, DTB, config ve SHA256SUMS 4/4 exact eşleşti. Her debug ELF'ten objcopy ile çıkarılan raw payload aynı 275.792 bayt/d9419ff5…f00c image'a dönüştü; strip-all ELF'ler A/B/C/main için 341.752 bayt/2e4df983…244d exact oldu. Tam debug ELF'lerde yalnız load edilmeyen, path-türevli .symtab/.strtab LLVM suffix farkı kaldı; bu açık provenance sınırı boot paketini RED yapmaz. Paket microSD'ye henüz yazılmadı ve fiziksel BOOT8E yoktur.",
    evidence: [
      "A, B ve C için üç ayrı artifact-free geçici workspace aynı 143 dosyalık kaynak snapshot'ından kuruldu; root target/build ile userspace/hello/target ve userspace/ipc_demo/target dizinlerinin başlangıçta yokluğu ayrı ayrı doğrulandı.",
      "Her workspace'te make clean, hello cargo clean, ipc_demo cargo clean ve make image-rpi5 sırasıyla çalıştı; A/B/C build'lerinin üçü de exit 0 verdi.",
      "A, B ve C build'lerinin her biri G8/G8b/G8c/G8d/G8e layout 5/5 PASS ve SHA256SUMS manifest 3/3 OK verdi.",
      "A↔B, A↔C, B↔C ve A↔main çiftlerinin her birinde aselsanos-rpi5.img, bcm2712-rpi-5-b.dtb, config.txt ve SHA256SUMS 4/4 cmp PASS verdi.",
      "Raw image bütün kopyalarda exact 275.792 bayt ve SHA-256 d9419ff549125c899088db0acbc521d3db50d294f8756d2edd7166153e67f00c oldu.",
      "DTB 78.703 bayt/40a2fbe9c29e8b9a4912cf726a943068defb779fc052ec38e457a79c58abca00, config 501 bayt/1248275cdc6f6ce951ce0ff2183471d194c5b9bb58c3dc3f66efa9156f91d76b ve SHA256SUMS 248 bayt/90ad54538cd15cc81cbab9cd9af78cb4be436f930619700df12fd3a7ea7d2127 olarak önceki checkpoint ile exact kaldı.",
      "Her A/B/C debug ELF'inden llvm-objcopy -O binary ile çıkarılan kernel8.from-elf.img packaged image ile cmp PASS verdi; üç ELF-türevli raw image kendi aralarında da exact eşleşti.",
      "llvm-objcopy --strip-all çıktısı A, B, C ve main için exact 341.752 bayt ve SHA-256 2e4df983560cdc7e17d181128bd4a12363dac1c3d4f55065712964cafd54244d oldu; dört stripped ELF cmp PASS verdi.",
      "Tam debug ELF'ler mutlak geçici workspace yollarından türeyen, load edilmeyen .strtab `.llvm.<hash>` suffixleri ve bunlara işaret eden .symtab name offsetlerinde farklıdır; raw payload, stripped ELF ve dört boot paketi artefaktına bu fark geçmez.",
      "docs/M8.1-RPi5-G8e-SGI1-Rearm-Staged-Proof.md exact 14.762 bayt ve SHA-256 cf965653a22075a0adda244915b563666dfdb3523818df6585b3010490740bf7 olarak staged-package durumunu dondurur.",
      "Yaklaşık 1,4 GiB üç-workspace geçici yeniden üretim ağacı kalıcı silinmedi; recoverable Trash'a taşındı.",
    ],
    terminalSessionsNote:
      "Oturumlar üç bağımsız artifact-free build'in seçilmiş kabul özetini, paket/raw/stripped karşılaştırmalarını ve staged-proof read-back'ini gösterir. Debug ELF metadata farkı saklanmamış değil, açıkça fail-open olmayan provenance sınırlaması olarak kaydedilmiştir.",
    terminalSessions: [
      {
        id: "g8e-three-artifact-free-rebuilds",
        title: "A/B/C bağımsız temiz RPi5 image build'leri",
        commandLines: [
          "test ! -e target && test ! -e build && test ! -e userspace/hello/target && test ! -e userspace/ipc_demo/target",
          "make clean",
          "cargo clean --manifest-path userspace/hello/Cargo.toml",
          "cargo clean --manifest-path userspace/ipc_demo/Cargo.toml",
          "make image-rpi5",
        ],
        outputLines: [
          "workspace A artifact-free precondition=PASS · image-rpi5 exit=0 · layout=5/5 · manifest=3/3",
          "workspace B artifact-free precondition=PASS · image-rpi5 exit=0 · layout=5/5 · manifest=3/3",
          "workspace C artifact-free precondition=PASS · image-rpi5 exit=0 · layout=5/5 · manifest=3/3",
        ],
        exitCode: 0,
        outputMode: "selected",
      },
      {
        id: "g8e-package-and-elf-reproducibility",
        title: "Dört boot artefaktı, ELF-türevli raw ve stripped ELF eşliği",
        commandLines: [
          "cmp A↔B, A↔C, B↔C and A↔main for image, DTB, config and SHA256SUMS",
          "llvm-objcopy -O binary aselsan_kernel kernel8.from-elf.img",
          "llvm-objcopy --strip-all aselsan_kernel aselsan_kernel.stripped",
          "cmp A/B/C ELF-derived raw images and A/B/C/main stripped ELFs",
        ],
        outputLines: [
          "A↔B package=4/4 cmp PASS · A↔C=4/4 · B↔C=4/4 · A↔main=4/4",
          "ELF-derived raw A/B/C=275792 B · d9419ff549125c899088db0acbc521d3db50d294f8756d2edd7166153e67f00c · cmp PASS",
          "stripped ELF A/B/C/main=341752 B · 2e4df983560cdc7e17d181128bd4a12363dac1c3d4f55065712964cafd54244d · cmp PASS",
          "full debug ELF difference=.strtab/.symtab path metadata only · loadable/raw package unaffected",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g8e-staged-proof-freeze-and-cleanup",
        title: "Staged proof hash'i ve recoverable temp-tree temizliği",
        commandLines: [
          "wc -c docs/M8.1-RPi5-G8e-SGI1-Rearm-Staged-Proof.md",
          "shasum -a 256 docs/M8.1-RPi5-G8e-SGI1-Rearm-Staged-Proof.md",
          "move the 1.4 GiB temporary reproduction tree to recoverable Trash",
        ],
        outputLines: [
          "staged proof=14762 B",
          "sha256=cf965653a22075a0adda244915b563666dfdb3523818df6585b3010490740bf7",
          "temporary reproduction tree≈1.4 GiB · disposition=recoverable Trash",
        ],
        exitCode: 0,
        outputMode: "selected",
      },
    ],
    limitations: [
      "Tam debug ELF byte-for-byte eşit değildir; fark yalnız load edilmeyen path-türevli .symtab/.strtab LLVM suffix metadata'sıdır. Raw boot image, stripped ELF ve dört paket artefaktı exact reproducible'dır.",
      "Bu staged package microSD'ye yazılmadı; kart kimliği, formatsız write, read-back cmp, sync ve eject kapıları henüz çalışmadı.",
      "UART capture ve fiziksel G8E0/G8E1/G8E2/BOOT8E yoktur; reproducible package PASS fiziksel PASS değildir.",
      "Pi kapalıdır; eski exact G8d PASS kartı güçsüz Pi içinde kalır ve rollback evidence değiştirilmemiştir.",
      "Website yayını canonical custom domain üzerinden doğrulanır; bu ortamda reset veren 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.",
    ],
  },