RPi5 G7c gerçek UART10 kaydında EL0/SVC/BOOT7C 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_g7c_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!(
                "G7c PASS: frames=[0x{:x},0x{:x},0x{:x}] remaining={} timer_delta={}",
                evidence.text_frame,
                evidence.rodata_frame,
                evidence.stack_frame,
                evidence.remaining_frames,
                evidence.tick_delta(),
            );
            ExitCode::SUCCESS
        }
        Err(error) => {
            eprintln!("{error}");
            ExitCode::FAILURE
        }
    }
}

  {
    id: "rpi5-g7c-physical-boot7c-pass",
    date: "2026-08-20",
    sequence: 39,
    status: "passed",
    title: "RPi5 G7c gerçek UART10 kaydında EL0/SVC/BOOT7C fiziksel PASS verdi",
    summary:
      "Sıra 38'de 276d568b…a99d0 olarak doğrulanıp microSD'ye formatsız yazılan G7c paketi gerçek Raspberry Pi 5'te temiz güç döngüsüyle çalıştırıldı. Aynı açık seri descriptor üzerinde 115200 baud olduğu doğrulanan immutable raw UART10 kaydı; G7C0, ayrı EL0 hello payload'ı, exact SYS_WRITE, exact SYS_EXIT, EL1h teardown ve 100 tick sonra BOOT7C zincirini fiziksel olarak kapattı. Raw kayıt strict G7c validator'dan doğrudan PASS aldı; bağımsız exact-once/sıra, SEC1–SEC36 ve forbidden-marker auditleri de geçti. G7c dar fiziksel PASS'tir; sıradaki ayrı kapı G7d timer-preemptive scheduling'dir.",
    evidence: [
      "Kabul edilen termios capture aynı file descriptor üzerinde effective_baud_115200=true, ispeed=115200 ve ospeed=115200 olarak açıldı; 8N1 raw profilinde capture başlangıç tamponu flush edildi.",
      "Salt-okunur dondurulan raw dosya exact 12436 B, 245 LF, 245 CR ve dört leading NUL içerir; trailing CRLF'dir. SHA-256 ef2f67589050d7ed26509a6192c10ee0cdc588659bf11da183b288d5cb3610a3 ve mode -r--r--r-- olarak sabitlendi.",
      "Dört leading NUL en fazla beş baytlık capture başlangıç sınırındadır. Raw dosya byte slice veya CR/LF dönüşümü olmadan strict verify_rpi5_g7c_log doğrulayıcısına verildi ve PASS aldı.",
      "Strict validator sonucu frames=[0x18de000,0x18df000,0x18e0000], remaining=2073355 ve timer_delta=100 olarak ölçüldü.",
      "Firmware aynı boot'ta config.txt=501 B, bcm2712-rpi-5-b.dtb=78703 B ve aselsanos-rpi5.img=226448 B yükledi; imaj 0x80000 offset'ine, DTB 0x2efec500 adresine yerleştirildi.",
      "BOOT0–BOOT7B ön koşulları aynı boot'ta yeniden geçti. RAM0 RAM=2 RESERVED=4 CMA=1; RAM1 HEAP=0x10dd000–0x18dd000 ve GUARD=0x10dc000–0x10dd000 verdi.",
      "G7B0 bu yeni layout'ta TOTAL_FRAMES=2073359, FRAME=0x18dd000 ve REMAINING=2073358; BOOT7B BASE_TICKS=203 TICKS=303 verdi.",
      "G7C0 exact CPU=0 MODE=EL0 ROOT=SHARED ASID=0 ELF=TRUSTED PMM_ALLOC=3 TEXT=0x18de000 RODATA=0x18df000 STACK=0x18e0000 REMAINING=2073355 KERNEL=NOUSER LOAD_ALIAS=UNMAPPED COPY_ALIAS=RO_NX verdi.",
      "‘Hello from separate EL0 binary (M8)!’ payload satırı exact bir kez ve G7C0 ile G7C1 arasında görüldü.",
      "G7C1 exact SVC=WRITE ELR=0x44000018 FD=1 PTR=0x44001000 LEN=37 RET=37 COPYIN=OK verdi.",
      "G7C2 exact SVC=EXIT ELR=0x44000024 STATUS=0 WRITES=1 BYTES=37 RETURN=EL1H TEARDOWN=OK verdi.",
      "G7C2 ile BOOT7C arasında SEC4 ticks=400 drift=+0 µs (+7 count) görüldü. BOOT7C EL0/SVC_WRITE/SVC_EXIT/TIMER/MAPS OK, SWITCH=EL1H, BASE_TICKS=305 ve TICKS=405 verdi; delta tam 100'dür.",
      "Toplam 21 kabul marker'ı BOOT0'dan BOOT7C'ye exact-once ve sırada bulundu. G7CERR, bilinmeyen G7C3/G7C9, kernel panic ve unknown IRQ taramaları sıfır sonuç verdi.",
      "SEC1–SEC36 boşluksuz ilerledi: final ticks=3600, gap=0, tick mismatch=0, drift 36/36 +0 µs ve lateness count 36/36 +7.",
      "İki önceki host capture kanıt dışı tutuldu: seri reopen nedeniyle 9600 baud'a düşen 986 B garbled raw ve floating TX hattından alınan 33 B pre-power noise. Hiçbirinden fiziksel PASS üretilmedi.",
      "Kart yazımı, capture ve dar kabul sınırı docs/M8.1-RPi5-G7c-Physical-UART-Proof.md içinde donduruldu.",
    ],
    commands: [
      "same-FD termios UART10 capture: effective 115200/115200, 8N1 raw",
      "stat + wc + shasum -a 256 immutable uart10.raw",
      "cargo run -p aselsan_microkernel_simulation --example verify_rpi5_g7c_log -- <raw>",
      "exact-once/order audit: BOOT0 → ... → BOOT7C",
      "SEC1–SEC36 sequence/tick/drift/count audit",
      "G7CERR, unknown G7C marker, panic and unknown IRQ forbidden scan",
    ],
    terminalSessionsNote:
      "Bu oturumlar kabul edilen 115200 same-descriptor raw capture ve onun değişmemiş byte akışı üzerinde çalıştırıldı. İlk iki host capture, hız/noise kök nedeni açıkça belirlendiği için kanıt dışı tutuldu.",
    terminalSessions: [
      {
        id: "g7c-physical-capture-integrity",
        title: "UART10 same-descriptor capture bütünlüğü",
        commandLines: [
          "termios open /dev/cu.usbmodem214402 · 115200 8N1 raw",
          "stat + LF/CR/NUL audit + shasum -a 256 uart10.raw",
        ],
        outputLines: [
          "effective_baud_115200=True ispeed=115200 ospeed=115200",
          "raw_bytes=12436 raw_lf=245 raw_cr=245 raw_nul=4 trailing=CRLF",
          "mode=-r--r--r--",
          "ef2f67589050d7ed26509a6192c10ee0cdc588659bf11da183b288d5cb3610a3  uart10.raw",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g7c-physical-exact-uart",
        title: "Gerçek EL0 · WRITE · EXIT · BOOT7C zinciri",
        commandLines: ["immutable raw UART10 kabul satırları"],
        outputLines: [
          "ASELSAN/G7C0 CPU=0 MODE=EL0 ROOT=SHARED ASID=0 ELF=TRUSTED PMM_ALLOC=3 TEXT=0x18de000 RODATA=0x18df000 STACK=0x18e0000 REMAINING=2073355 KERNEL=NOUSER LOAD_ALIAS=UNMAPPED COPY_ALIAS=RO_NX",
          "Hello from separate EL0 binary (M8)!",
          "ASELSAN/G7C1 SVC=WRITE ELR=0x44000018 FD=1 PTR=0x44001000 LEN=37 RET=37 COPYIN=OK",
          "ASELSAN/G7C2 SVC=EXIT ELR=0x44000024 STATUS=0 WRITES=1 BYTES=37 RETURN=EL1H TEARDOWN=OK",
          "[SEC   4] ticks=400 drift=+0 µs (+7 count)",
          "ASELSAN/BOOT7C EL0=OK SVC_WRITE=OK SVC_EXIT=OK SWITCH=EL1H TIMER=OK MAPS=OK BASE_TICKS=305 TICKS=405",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g7c-physical-strict-validator",
        title: "Strict G7c raw validator",
        commandLines: [
          "cargo run -p aselsan_microkernel_simulation --example verify_rpi5_g7c_log -- uart10.raw",
        ],
        outputLines: [
          "G7c PASS: frames=[0x18de000,0x18df000,0x18e0000] remaining=2073355 timer_delta=100",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g7c-physical-independent-audit",
        title: "Marker · SEC · forbidden bağımsız audit",
        commandLines: [
          "21 marker exact-once/order + SEC1–SEC36 arithmetic + forbidden scan",
        ],
        outputLines: [
          "accepted_markers=21 exact_once=21 ordered=true",
          "sec_count=36 final_ticks=3600 gap=0 tick_mismatch=0 drift=+0 count=+7",
          "G7CERR=0 unknown_G7C=0 panic=0 unknown_IRQ=0",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
    ],
    limitations: [
      "Bu PASS tek bir yaklaşık 36 saniyelik fiziksel boot kaydıdır; farklı kart, güç, sıcaklık ve uzun soak koşullarını kapsamaz.",
      "Yol yalnız CPU0, shared root/ASID0, sabit iki sayfalık trusted ELF ve exact bir WRITE + bir EXIT smoke'udur; genel ELF/process modeli, ayrı address space, çoklu user task veya genel syscall ABI'si değildir.",
      "Üç PMM frame'i monotonic smoke sonunda free/reuse edilmez; exhaustion, allocator lifecycle, zeroing, demand paging ve COW kanıtlanmaz.",
      "Stack overflow/guard fault ve keyfi user pointer saldırıları gerçek donanımda ayrıca sınanmalıdır.",
      "KERNEL=NOUSER, LOAD_ALIAS=UNMAPPED, COPY_ALIAS=RO_NX ve MAPS=OK bütün PTE'leri UART'a döken host kanıtı değil, kernel-side runtime self-check attestasyonlarıdır.",
      "G7d timer-preemptive scheduling ve G8 PSCI/SMP ayrı kapılardır; bu PASS kooperatif G7a'yı preemptive veya çok çekirdekli scheduler iddiasına genişletmez.",
      "UART firmware satırları 226448 B imajı gösterir fakat kriptografik hash taşımaz; fiziksel paketin 276d568b…a99d0 hash'ine bağı sıra 38'in 3/3 manifest + dört cmp chain-of-custody kaydıdır.",
    ],
  },