G8h immutable BOOT8H package STAGED+VERIFIED; S101 microSD sırada

Cargo.lock
Cargo.toml
Makefile
firmware/bcm2712-rpi-5-b.dtb
firmware/config.txt
kernel/.cargo/config.toml
kernel/Cargo.toml
kernel/build.rs
kernel/linker-rpi4.ld
kernel/linker-rpi5.ld
kernel/linker.ld
kernel/rust-toolchain.toml
kernel/src/arch/aarch64/boot.S
kernel/src/arch/aarch64/context_switch.S
kernel/src/arch/aarch64/exceptions.S
kernel/src/arch/aarch64/exceptions.rs
kernel/src/arch/aarch64/gic.rs
kernel/src/arch/aarch64/mmu.rs
kernel/src/arch/aarch64/mod.rs
kernel/src/arch/aarch64/psci.rs
kernel/src/arch/aarch64/smp.rs
kernel/src/arch/aarch64/timer.rs
kernel/src/arch/mod.rs
kernel/src/board/mod.rs
kernel/src/board/qemu_virt.rs
kernel/src/board/rpi4.rs
kernel/src/board/rpi5.rs
kernel/src/driver/mailbox.rs
kernel/src/driver/mod.rs
kernel/src/dt/early_memory.rs
kernel/src/dt/mod.rs
kernel/src/dt/parser.rs
kernel/src/elf.rs
kernel/src/g7c_contract.rs
kernel/src/g7d_contract.rs
kernel/src/g8_contract.rs
kernel/src/g8b_contract.rs
kernel/src/g8c_contract.rs
kernel/src/g8d_contract.rs
kernel/src/g8e_contract.rs
kernel/src/g8f_contract.rs
kernel/src/g8g_contract.rs
kernel/src/g8h_contract.rs
kernel/src/ipc.rs
kernel/src/main.rs
kernel/src/mm/address.rs
kernel/src/mm/address_space.rs
kernel/src/mm/frame_allocator.rs
kernel/src/mm/mod.rs
kernel/src/mm/paging.rs
kernel/src/percpu.rs
kernel/src/qemu-virt.dtb
kernel/src/rpi5_g7c.rs
kernel/src/rpi5_g7d.rs
kernel/src/rpi5_g8.rs
kernel/src/rpi5_g8b.rs
kernel/src/rpi5_g8c.rs
kernel/src/rpi5_g8d.rs
kernel/src/rpi5_g8e.rs
kernel/src/rpi5_g8f.rs
kernel/src/rpi5_g8g.rs
kernel/src/rpi5_g8h.rs
kernel/src/task/mod.rs
kernel/src/task/scheduler.rs
kernel/src/uart.rs
kernel/src/ui/capability.rs
kernel/src/ui/framebuffer.rs
kernel/src/ui/mod.rs
kernel/src/ui/scene.rs
kernel/src/userspace.rs
scripts/stage-rpi5-g8h-package.sh
scripts/verify-rpi5-g7c-layout.sh
scripts/verify-rpi5-g7d-layout.sh
scripts/verify-rpi5-g8-layout.sh
scripts/verify-rpi5-g8b-layout.sh
scripts/verify-rpi5-g8c-layout.sh
scripts/verify-rpi5-g8d-layout.sh
scripts/verify-rpi5-g8e-layout.sh
scripts/verify-rpi5-g8f-layout.sh
scripts/verify-rpi5-g8g-layout.sh
scripts/verify-rpi5-g8h-layout.sh
scripts/verify-rpi5-g8h-matrix.sh
scripts/verify-rpi5-g8h-reproducible.sh
scripts/verify-rpi5-pre-mmu-atomics.sh
simulation/Cargo.toml
simulation/examples/verify_rpi5_g7a_log.rs
simulation/examples/verify_rpi5_g7b_log.rs
simulation/examples/verify_rpi5_g7c_log.rs
simulation/examples/verify_rpi5_g7d_log.rs
simulation/examples/verify_rpi5_g8_log.rs
simulation/examples/verify_rpi5_g8b_log.rs
simulation/examples/verify_rpi5_g8c_log.rs
simulation/examples/verify_rpi5_g8d_log.rs
simulation/examples/verify_rpi5_g8e_log.rs
simulation/examples/verify_rpi5_g8f_log.rs
simulation/examples/verify_rpi5_g8g_log.rs
simulation/examples/verify_rpi5_g8g_physical_raw.rs
simulation/examples/verify_rpi5_g8h_log.rs
simulation/src/g7a_uart.rs
simulation/src/g7b_uart.rs
simulation/src/g7c_uart.rs
simulation/src/g7d_uart.rs
simulation/src/g8_uart.rs
simulation/src/g8b_uart.rs
simulation/src/g8c_uart.rs
simulation/src/g8d_uart.rs
simulation/src/g8e_uart.rs
simulation/src/g8f_uart.rs
simulation/src/g8g_physical_raw.rs
simulation/src/g8g_uart.rs
simulation/src/g8h_uart.rs
simulation/src/lib.rs
simulation/src/main.rs
simulation/tests/fixtures/rpi5_g7a_uart_pass.log
simulation/tests/fixtures/rpi5_g7b_uart_pass.log
simulation/tests/fixtures/rpi5_g7c_uart_pass.log
simulation/tests/fixtures/rpi5_g7d_uart_pass.log
simulation/tests/fixtures/rpi5_g8_uart_pass.log
simulation/tests/fixtures/rpi5_g8b_uart_suffix.log
simulation/tests/fixtures/rpi5_g8c_uart_suffix.log
simulation/tests/fixtures/rpi5_g8d_uart_suffix.log
simulation/tests/fixtures/rpi5_g8e_uart_suffix.log
simulation/tests/fixtures/rpi5_g8f_uart_suffix.log
simulation/tests/fixtures/rpi5_g8g_aarch64_compile.rs
simulation/tests/fixtures/rpi5_g8g_uart_suffix.log
simulation/tests/fixtures/rpi5_g8h_aarch64_compile.rs
simulation/tests/fixtures/rpi5_g8h_uart_suffix.log
simulation/tests/rpi5_early_memory.rs
simulation/tests/rpi5_early_memory_noalloc.rs
simulation/tests/rpi5_g7a_uart.rs
simulation/tests/rpi5_g7b_pmm.rs
simulation/tests/rpi5_g7b_uart.rs
simulation/tests/rpi5_g7c_elf.rs
simulation/tests/rpi5_g7c_page_flags.rs
simulation/tests/rpi5_g7c_uart.rs
simulation/tests/rpi5_g7d_source.rs
simulation/tests/rpi5_g7d_uart.rs
simulation/tests/rpi5_g8_contract.rs
simulation/tests/rpi5_g8_source.rs
simulation/tests/rpi5_g8_uart.rs
simulation/tests/rpi5_g8b_source.rs
simulation/tests/rpi5_g8b_uart.rs
simulation/tests/rpi5_g8c_source.rs
simulation/tests/rpi5_g8c_uart.rs
simulation/tests/rpi5_g8d_source.rs
simulation/tests/rpi5_g8d_uart.rs
simulation/tests/rpi5_g8e_source.rs
simulation/tests/rpi5_g8e_uart.rs
simulation/tests/rpi5_g8f_source.rs
simulation/tests/rpi5_g8f_uart.rs
simulation/tests/rpi5_g8g_capture_pty.rs
simulation/tests/rpi5_g8g_capture_source.rs
simulation/tests/rpi5_g8g_integration_source.rs
simulation/tests/rpi5_g8g_matrix_source.rs
simulation/tests/rpi5_g8g_physical_raw.rs
simulation/tests/rpi5_g8g_physical_raw_source.rs
simulation/tests/rpi5_g8g_runtime_compile.rs
simulation/tests/rpi5_g8g_runtime_source.rs
simulation/tests/rpi5_g8g_source.rs
simulation/tests/rpi5_g8g_staged_flash_source.rs
simulation/tests/rpi5_g8g_uart.rs
simulation/tests/rpi5_g8h_integration_source.rs
simulation/tests/rpi5_g8h_layout_source.rs
simulation/tests/rpi5_g8h_matrix_source.rs
simulation/tests/rpi5_g8h_package_source.rs
simulation/tests/rpi5_g8h_reproducible_source.rs
simulation/tests/rpi5_g8h_runtime_compile.rs
simulation/tests/rpi5_g8h_runtime_source.rs
simulation/tests/rpi5_g8h_source.rs
simulation/tests/rpi5_g8h_uart.rs
userspace/hello/.cargo/config.toml
userspace/hello/Cargo.lock
userspace/hello/Cargo.toml
userspace/hello/linker.ld
userspace/hello/rust-toolchain.toml
userspace/hello/src/main.rs
userspace/ipc_demo/.cargo/config.toml
userspace/ipc_demo/Cargo.lock
userspace/ipc_demo/Cargo.toml
userspace/ipc_demo/linker.ld
userspace/ipc_demo/rust-toolchain.toml
userspace/ipc_demo/src/main.rs
userspace/mod.rs

#[test]
fn s99_and_s98_are_narrowly_historically_versioned() {
    // S101 current-to-S100 identity versioning begin.
    let s100_makefile = reconstruct_s100_makefile();
    let s100_s99_test = reconstruct_s100_s99_source_test();
    let s100_s98_test = reconstruct_s100_s98_source_test();
    // S101 current-to-S100 identity versioning end.
    for (name, text, bytes, hash) in [
        (
            "S100 Makefile",
            s100_makefile.as_str(),
            28_951,
            "96cea45f7c9e9ce37846e8b06e89b814b92c190b0b23973c4e1599da4152587d",
        ),
        (
            "S100 stage script",
            STAGE,
            37_780,
            "f22af18425d1e69e26aaf3469e9b0ef0afa5fb8477991c4c2fc924bfc84a7fbf",
        ),
        (
            "S100 evidence README",
            README,
            1_896,
            "f6f77f56df62d1c46e2e834af78d705d13ecd830f80a9d1b47f808d3309cd661",
        ),
        (
            "S100-versioned S99 script",
            S99_REPRO,
            36_498,
            "43abefb6e3d22ddc5ca43e6f0388a4fff9a6bfcc1840c7d0cc2e9412ebc04c8b",
        ),
        (
            "S100-versioned S99 source test",
            s100_s99_test.as_str(),
            22_164,
            "1276bd987c8d7c80662a8fba91b5b9deae43ab0080db64548608a08ef675e5ca",
        ),
        (
            "S100-versioned S98 source test",
            s100_s98_test.as_str(),
            19_253,
            "acfa8db145d11378b3219111a13ff7c645a07e17134d97f4d9abaa83139dc749",
        ),
    ] {
        assert_eq!(text.len(), bytes, "{name} bytes");
        assert_eq!(sha256(text), hash, "{name} SHA-256");
    }

    let s99_makefile = reconstruct_s99_makefile(&s100_makefile);
    assert_eq!(s99_makefile.len(), 27_275);
    assert_eq!(
        sha256(&s99_makefile),
        "a5f86bfa5ecabe621f6dfd95338374360e39c617e0f445db4d012ecaff97a3a7"
    );

    let s99_repro = reconstruct_s99_repro_script();
    assert_eq!(s99_repro.len(), 36_168);
    assert_eq!(
        sha256(&s99_repro),
        "ed1e813202a90d2efb40619224b3834c3b25747dd3a72a1d79a9c15053449f78"
    );

    let s99_test = reconstruct_s99_source_test();
    assert_eq!(s99_test.len(), 13_374);
    assert_eq!(
        sha256(&s99_test),
        "64822a5f5e7b84fd532bde3de23fe45a8a87df86929dcca9dec2b5f6c9593956"
    );

    let s98_test = reconstruct_s98_source_test();
    assert_eq!(s98_test.len(), 10_834);
    assert_eq!(
        sha256(&s98_test),
        "408f4df36a8a7b07b64168d217ff74cad625336233d838460ca60095a2d224f9"
    );
}

  {
    id: "rpi5-g8h-immutable-package-staged-verified",
    date: "2026-08-22",
    sequence: 100,
    status: "verified",
    title: "G8h immutable BOOT8H package STAGED+VERIFIED; S101 microSD sırada",
    summary:
      "Sequence 99 reproducibility prerequisite'i sıralı ve parallel-Make fail-safe production bridge ile G8h layout sonrasına bağlandı. Yalnız image-rpi5 kullanan ana build ile exact 183-file source closure'ından başlayan artifact-free clean offline replica üretildi; main, clean ve frozen evidence image/DTB/config/SHA256SUMS yüzeyleri 4/4 exact eşleşti. Raw ve ALLOC marker envanteri G8H0..G8H4+BOOT8H=6/6, G8HERR=0 verdi. Exact dört mode-0444/nlink1 bağımsız inode atomik no-overwrite rename ile yerel package'e publish edildi. Package STAGED+VERIFIED ve independent reviewer FINAL GO'dur. Son fiziksel PASS S92 BOOT8G; Pi kapalıdır. S101 exact physical microSD write NEXT/STOP'tur ve kartın Mac'e takılması ile ayrıca açık device authorization gerektirir.",
    evidence: [
      "Canonical stage: `make stage-rpi5-g8h-package`; kalıcı salt-okunur gate: `make verify-rpi5-g8h-package`.",
      "Successful heavy log exact 7.778 satır / 349.134 B / f78c42e5179b1dec1d705843f4d1d9d2eac109772d474283e75971ff8de73150.",
      "Canonical source closure exact 183 file; paths f54f583bb9370a735d51c8c25fb5f085255c40c0a2e25adb77eaf346b73246be.",
      "Source content manifest a337bf55e7a8492563de5dbfca24768ac40789876b6df44b17c73100b93ee0e6; mode manifest 9d3e9e2c9a86de9e9e291c0bfecf6a00d5adcd35389f1548112fe20e36e60ee1.",
      "Resolved clean closure exact 22 Make node / 12 local script / 3 generated input; unresolved repo-local input=0.",
      "Main↔clean↔evidence exact 4/4: image, DTB, config ve SHA256SUMS byte/mode/type/nlink yüzeyleri aynı.",
      "Image exact 316.864 B / 7e4b713a4ba4f45d572b61ca170cf7f5c89f9a4485f839dc12cc5a8c23570de1.",
      "SHA256SUMS exact 248 B / dfc5eaac93367771df1e84be711032592a977f5a2c744e797150b5a0836c1f5f; manifest exact üç lowercase kayıt.",
      "DTB exact 78.703 B / 40a2fbe9c29e8b9a4912cf726a943068defb779fc052ec38e457a79c58abca00; config exact 501 B / 1248275cdc6f6ce951ce0ff2183471d194c5b9bb58c3dc3f66efa9156f91d76b.",
      "Package directory mode 0755; exact dört regular payload mode 0444/nlink1 ve birbirinden bağımsız inode; package.lock absent.",
      "Production ELF ALLOC ve raw image markerları ayrı ayrı G8H0/G8H1/G8H2/G8H3/G8H4/BOOT8H=6/6 exact-once; G8HERR=0.",
      "Publish yalnız fully validated sibling lock ağacından final atomic rename ile yapıldı; destination absent/no-overwrite ve post-rename fallible external step=0.",
      "Package source TDD 12/12, validator self-test 16/16 ve final package verify 12/12 PASS.",
      "Serialized simulation 325/325 PASS (46 result block); cargo check workspace PASS, fmt/sh-n/diff GREEN.",
      "Independent post-stage audit exact4, markers, source closure, history, publish ve STOP yüzeylerine FINAL GO verdi.",
      "S100 scratch cleanup silinmedi: exact 81 item / 10.748.632 KiB recoverable olarak `.Trash/aselsanos-s100-audits-20260822-1505` altına taşındı; package değişmedi.",
      "S100 docs/static-site proof 370 satır / 11.845 B / f0bfd5d7…2c13; web 190/190, lint, TypeScript ve 23/23 static export PASS sonrasında frozen out exactly-one deploy ile `7ad2d237-511f-4646-b071-6fc75326dbe4` (`7ad2d237.aselsan-microkernel.pages.dev`) production'a yayımlandı. Canonical operations/timeline/yol/firmware local cmp ilk denemede PASS verdi.",
      "Son fiziksel PASS S92 BOOT8G; microSD/device/UART/power/physical BOOT8H/Generic SMP runtime çalıştırılmadı.",
    ],
    terminalSessionsNote:
      "Sequence 100 oturumları host/build/package sınırındadır. Production image yerel immutable package için üretildi; hiçbir removable medya, UART descriptor, Pi power veya fiziksel BOOT8H oturumu yoktur.",
    terminalSessions: [
      {
        id: "g8h-sequence100-source-and-validator",
        title: "Exact source closure, package TDD ve negative self-test",
        commandLines: [
          "cargo test -p aselsan_microkernel_simulation --test rpi5_g8h_package_source -- --test-threads=1",
          "scripts/stage-rpi5-g8h-package.sh --self-test",
        ],
        outputLines: [
          "source files=183 · paths=f54f583b…246be",
          "package source=12/12 PASS · self-test=16/16 PASS",
          "resolved Make nodes=22 · local scripts=12 · generated inputs=3",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g8h-sequence100-immutable-stage",
        title: "Sıralı image bridge, clean replica ve atomic package publish",
        commandLines: [
          "make stage-rpi5-g8h-package",
          "compare main, clean and evidence exact4 before atomic final rename",
        ],
        outputLines: [
          "heavy log=7778 lines/349134 B/f78c42e5…3150",
          "MAIN=CLEAN=EVIDENCE 4/4 · raw/ALLOC markers=6/6 · G8HERR=0",
          "package=0755 · files=0444/nlink1/distinct inode · package.lock=absent",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g8h-sequence100-final-verification",
        title: "Salt-okunur package doğrulaması ve bağımsız final audit",
        commandLines: [
          "make verify-rpi5-g8h-package",
          "cargo test -p aselsan_microkernel_simulation -- --test-threads=1",
          "cargo check --workspace && cargo fmt --all -- --check",
        ],
        outputLines: [
          "final verify=12/12 PASS · simulation=325/325 (46 blocks)",
          "check/fmt/sh-n/diff=GREEN · package exact4 unchanged",
          "independent reviewer=FINAL GO · blocker=NONE",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
    ],
    limitations: [
      "S100 yalnız yerel immutable BOOT8H package STAGED+VERIFIED kabulüdür; fiziksel boot veya UART emission değildir.",
      "S101 exact physical microSD write NEXT/STOP'tur; kart Mac'e takılmadan ve explicit device authorization verilmeden hiçbir disk komutu çalıştırılamaz.",
      "MICROSD=STOP, DEVICE=STOP, UART=STOP, POWER=STOP ve PHYSICAL_BOOT8H=STOP; son fiziksel PASS S92 BOOT8G ve Pi kapalıdır.",
      "Generic SMP runtime, scheduler/runqueue, migration, TLB shootdown, CPU2/CPU3, hotplug ve soak kapalıdır.",
      "Web deploy provenance'i yalnız yayınlanan docs/static-site çıktısına aittir; kernel/package veya Git-provider provenance'i kurmaz.",
    ],
  },