RPi5 G8a gerçek UART10 kaydında PSCI CPU1 ve BOOT8 fiziksel PASS verdi

fn main() -> ExitCode {
    let Some(path) = env::args_os().nth(1) else {
        eprintln!(
            "usage: cargo run -p aselsan_microkernel_simulation --example verify_rpi5_g8_log -- <uart.log>"
        );
        return ExitCode::from(2);
    };
    let bytes = match fs::read(&path) {
        Ok(bytes) => bytes,
        Err(error) => {
            eprintln!("could not read {:?}: {error}", path);
            return ExitCode::from(2);
        }
    };
    match verify_transcript(&bytes) {
        Ok(evidence) => {
            println!(
                "G8 PASS: psci={}.{} entry=0x{:x} cpu1_tick={} timer_delta={}",
                evidence.psci_version.0,
                evidence.psci_version.1,
                evidence.secondary_entry,
                evidence.secondary_tick,
                evidence.tick_delta(),
            );
            ExitCode::SUCCESS
        }
        Err(error) => {
            eprintln!("{error}");
            ExitCode::FAILURE
        }
    }
}

  {
    id: "rpi5-g8a-physical-boot8-pass",
    date: "2026-08-20",
    sequence: 45,
    status: "passed",
    title:
      "RPi5 G8a gerçek UART10 kaydında PSCI CPU1 ve BOOT8 fiziksel PASS verdi",
    summary:
      "Sıra 44'te exact karta yazılan 242848 bayt / dca4ab20…ae863 G8a paketi gerçek Raspberry Pi 5'te temiz güç döngüsüyle çalıştırıldı. Önce aynı /dev/cu.usbmodem214402 descriptor'ı 115200 8N1 raw olarak açılıp input flush edildi; yalnız capture_armed=YES sonrasında güç verildi. Değişmemiş 12154 bayt / 1f4b0e34…21f67 raw kayıt strict G8 validator'dan doğrudan PASS aldı. Aynı boot BOOT7D ön koşulunu korudu; G8S0 PSCI 1.1, G8S1 gerçek CPU1 MPIDR 0x100/shared TTBR0/coherent mailbox ve ilişkili SEC6 sonrasında BOOT8 CPU1_ONLY fiziksel olarak kapandı.",
    evidence: [
      "Fiziksel artefakt sıra 44'te exact 62,549,655,552 bayt Secure Digital/FAT32 karta format atmadan yazılan 242848 bayt / dca4ab20b49b2a6b26cb19d6d0f0d880d5af49057c95c05996d0ce43a3ae8637 G8a imajıdır; kart manifesti 3/3, dört cmp, sync/eject geçti.",
      "Capture aynı /dev/cu.usbmodem214402 aygıtında tek açık descriptor ile effective 115200/115200, 8N1 raw, flow-control kapalı ve input_flushed=true olarak capture_armed=YES verdi; güç bundan sonra açıldı.",
      "Immutable raw /var/folders/lm/x3tmtzs943x9tbzkpv7gf8hr0000gn/T/aselsanos-g8a-uart10.b4s0dwe_/uart10.raw exact 12154 bayt / 1f4b0e342cbdf2bafaedae0922a58b719fb1da268ce1f0750c8c340aec721f67 ve mode -r--r--r-- olarak donduruldu.",
      "Raw bütünlük audit'i leading/total NUL=2/2, CR/LF/CRLF=226/226/226, bare CR/LF=0/0 ve trailing CRLF=yes verdi; kayıt üzerinde byte dilimi veya satır sonu dönüşümü yapılmadı.",
      "Strict verify_rpi5_g8_log değişmemiş raw üzerinde doğrudan ‘G8 PASS: psci=1.1 entry=0x801f8 cpu1_tick=507 timer_delta=94’ verdi.",
      "Aynı boot BOOT7D PREEMPT=OK … BASE_TICKS=405 TICKS=505 ön koşulunu yeniden geçti; G8S0 bir tick sonra START_TICKS=506 olarak başladı.",
      "G8S0 exact CPU=0 DT=PSCI-1.0 CONDUIT=SMC CPUS=4 TARGET=0x100 ENTRY=0x801f8 VERSION=1.1 FEATURE_CPU_ON64=OK AFFINITY_BEFORE=OFF verdi.",
      "G8S1 exact CPU=1 MPIDR=0x100 CONTEXT=0x4738435055310001 EL=1 MMU=ON CACHE=ON TTBR0=SHARED VBAR=OK FP=TRAP IRQ=MASKED ONLINE=0x3 MAILBOX=OK HANDSHAKE=1 PRIMARY_TICKS_SEEN=507 TICK=507 verdi.",
      "G8S1 ile BOOT8 arasında [SEC 6] ticks=600 drift=+0 µs örneği görüldü. BOOT8 exact PSCI/CPU_ON/AFFINITY/SHARED_ROOT/COHERENCY/TIMER=OK, SECONDARY=CPU1, SCOPE=CPU1_ONLY, BASE_TICKS=506 TICKS=600 verdi.",
      "Bağımsız audit G8 kabul marker'larını exact-once/sırada, handoff delta=1 ve timer delta=94 buldu; SEC7/SEC8 de 700/800 tick ve +0 µs ilerledi.",
      "G8ERR, bilinmeyen G8, G7/RAM/GIC/timer hata marker'ları, panic, FATAL, data abort ve unknown/unhandled IRQ taramaları sıfırdır.",
      "Fiziksel kabul ve dar kapsam docs/M8.1-RPi5-G8a-Physical-UART-Proof.md içinde donduruldu.",
    ],
    commands: [
      "same-FD termios UART10 capture · /dev/cu.usbmodem214402 · 115200 8N1 raw · input flush",
      "stat + shasum -a 256 immutable uart10.raw",
      "cargo run --manifest-path simulation/Cargo.toml --example verify_rpi5_g8_log -- <raw>",
      "independent CR/LF/NUL + exact-once/order + timing/SEC + forbidden audit",
      "make verify-rpi5-g8-host",
    ],
    terminalSessionsNote:
      "Bu oturumlar aynı fiziksel boot'un değişmemiş raw UART10 dosyasına bağlı gerçek komut ve seçili yanıtlardır. G8 kabul satırları sentetik fixture'dan değil immutable raw kayıttan alınmıştır.",
    terminalSessions: [
      {
        id: "g8a-physical-capture",
        title: "Same-descriptor 115200 8N1 raw UART10 capture",
        commandLines: [
          "open /dev/cu.usbmodem214402 once · configure + verify termios · TCIFLUSH",
          "arm capture · clean power-on · freeze completed BOOT8 raw",
          "stat + shasum -a 256 uart10.raw",
        ],
        outputLines: [
          "same_open_descriptor=true",
          "effective_baud_115200=true",
          "ispeed=115200 ospeed=115200 data=8 parity=none stop=1 flow=off raw=true",
          "input_flushed=true · capture_armed=YES",
          "terminal_marker_seen=BOOT8",
          "bytes=12154 · sha256=1f4b0e342cbdf2bafaedae0922a58b719fb1da268ce1f0750c8c340aec721f67",
          "mode=-r--r--r--",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g8a-physical-strict-validator",
        title: "Immutable raw üzerinde strict G8 validator",
        commandLines: [
          "cargo run --quiet --manifest-path simulation/Cargo.toml --example verify_rpi5_g8_log -- <uart10.raw>",
        ],
        outputLines: [
          "G8 PASS: psci=1.1 entry=0x801f8 cpu1_tick=507 timer_delta=94",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g8a-physical-chain",
        title: "Gerçek BOOT7D → G8S0 → G8S1 → SEC6 → BOOT8 zinciri",
        commandLines: ["immutable raw exact G8 acceptance line extraction"],
        outputLines: [
          "ASELSAN/BOOT7D … BASE_TICKS=405 TICKS=505",
          "ASELSAN/G8S0 CPU=0 DT=PSCI-1.0 CONDUIT=SMC CPUS=4 TARGET=0x100 ENTRY=0x801f8 VERSION=1.1 FEATURE_CPU_ON64=OK AFFINITY_BEFORE=OFF START_TICKS=506",
          "ASELSAN/G8S1 CPU=1 MPIDR=0x100 CONTEXT=0x4738435055310001 EL=1 MMU=ON CACHE=ON TTBR0=SHARED VBAR=OK FP=TRAP IRQ=MASKED ONLINE=0x3 MAILBOX=OK HANDSHAKE=1 PRIMARY_TICKS_SEEN=507 TICK=507",
          "[SEC   6] ticks=600 drift=+0 µs (+7 count)",
          "ASELSAN/BOOT8 PSCI=OK CPU_ON=OK SECONDARY=CPU1 AFFINITY=ON SHARED_ROOT=OK COHERENCY=OK TIMER=OK SCOPE=CPU1_ONLY BASE_TICKS=506 TICKS=600",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g8a-physical-independent-audit",
        title: "Raw byte, sıra, timer ve yasak-marker bağımsız auditi",
        commandLines: [
          "read-only byte + marker/order + SEC + forbidden audit",
          "make verify-rpi5-g8-host",
        ],
        outputLines: [
          "bytes=12154 leading_nul=2 total_nul=2 cr=226 lf=226 crlf=226 bare_cr=0 bare_lf=0 trailing_crlf=yes",
          "handoff_delta=1 · timer_delta=94 · marker_exact_once=true · order=true",
          "SEC6=600 · SEC7=700 · SEC8=800 · drift=+0 µs",
          "forbidden_markers=0",
          "independent_audit=PASS",
          "G8 targeted total: 18/18 PASS",
        ],
        exitCode: 0,
        outputMode: "selected",
      },
    ],
    limitations: [
      "Bu PASS tek gerçek Pi 5 boot'unda yalnız CPU1 PSCI CPU_ON, shared Stage-1 root ve coherent mailbox smoke'unu kanıtlar; genel SMP scheduler PASS'i değildir.",
      "CPU1 IRQ maskeli WFE parkında kaldı; CPU1 GIC/timer/scheduler üyeliği, IPI, migration ve TLB shootdown kanıtlanmadı.",
      "CPU2/CPU3, CPU_OFF/suspend/hotplug/reset, EL0-on-CPU1, contention/fairness ve uzun soak kapsam dışıdır.",
    ],
  },