RPi5 G7b fiziksel denemesi pre-MMU PMM mutex data abort ile FAIL verdi

fn main() -> ExitCode {
    let mut args = env::args_os();
    let program = args
        .next()
        .and_then(|value| value.into_string().ok())
        .unwrap_or_else(|| "verify_rpi5_g7b_log".to_string());
    let Some(path) = args.next() else {
        eprintln!("usage: {program} <screenlog-path|->");
        return ExitCode::from(2);
    };
    if args.next().is_some() {
        eprintln!("usage: {program} <screenlog-path|->");
        return ExitCode::from(2);
    }

    let input = if path == "-" {
        let mut bytes = Vec::new();
        if let Err(error) = io::stdin().read_to_end(&mut bytes) {
            eprintln!("failed to read stdin: {error}");
            return ExitCode::from(2);
        }
        bytes
    } else {
        match fs::read(&path) {
            Ok(bytes) => bytes,
            Err(error) => {
                eprintln!("failed to read {:?}: {error}", path);
                return ExitCode::from(2);
            }
        }
    };

    match verify_transcript(&input) {
        Ok(evidence) => {
            println!(
                "G7b UART evidence PASS: regions={} total_frames={} remaining_frames={} frame=0x{:x} boot7_ticks={} g7b_base_ticks={} g7b_delta={}",
                evidence.region_count,
                evidence.total_frames,
                evidence.remaining_frames,
                evidence.frame,
                evidence.boot7_ticks,
                evidence.g7b_start_ticks,
                evidence.tick_delta(),
            );
            println!("G7b exclusion-scope limitation: {EXCLUSION_SCOPE_LIMITATION}");
            ExitCode::SUCCESS
        }
        Err(error) => {
            eprintln!("{error}");
            ExitCode::FAILURE
        }
    }
}

  {
    id: "rpi5-g7b-physical-pre-mmu-mutex-data-abort",
    date: "2026-08-20",
    sequence: 32,
    status: "passed",
    closure: {
      status: "passed",
      sequence: 35,
      operation_id: "rpi5-g7b-fixed-physical-boot7b-pass",
      summary:
        "Pre-MMU mutex data-abort düzeltmesi, reflash ve temiz fiziksel retest sonrasında S35 G7B0/BOOT7B zinciri ve strict kabul kapılarıyla PASS etti.",
    },
    title:
      "RPi5 G7b fiziksel denemesi pre-MMU PMM mutex data abort ile FAIL verdi",
    summary:
      "Kartta doğrulanmış 7f0ba2b9…1720e2 G7b paketi gerçek Raspberry Pi 5'te BOOT3 ile RAM0/RAM1'e ulaştı; ardından BOOT4 MMU=ON öncesinde EL1 data abort oluştu. Dondurulan UART ve ELF disassembly birlikte, hatayı RPI5_PMM.lock içindeki LDAXRB exclusive erişimine bağladı. G7B0/BOOT7B üretilmedi; güç kesildi, seri oturum kapatıldı ve port serbest bırakıldı.",
    evidence: [
      "Dondurulan /tmp/aselsanos-g7b-physical.W5L7b1/screenlog.0 kaydı exact 7696 bayt / 172 satırdır; SHA-256 ccff544c214f2037c3cf529a6475ee45f168ebed4d90feeb0de3a257ec4d0bea ve mtime 2026-08-20T09:44:54+0300 olarak sabitlendi.",
      "Gerçek UART10 akışı BOOT3 DTB=OK ile RAM0/RAM1 erken bellek planı marker'larını üretti; böylece firmware yükleme, entry, EL drop, UART ve DTB parse ön koşulları çalıştı.",
      "Ardından EL1 data abort kaydı ESR=0x96000410 ve ELR=0x88e80 verdi. ELF/disassembly sembolizasyonu ELR'yi RPI5_PMM.lock yolundaki LDAXRB exclusive load'a bağladı.",
      "BOOT4 MMU=ON, BOOT5, BOOT6, BOOT7, G7B0 ve BOOT7B marker'ları oluşmadı. Bu nedenle G7b fiziksel kabul zinciri açık biçimde FAIL'dir.",
      "Strict G7b UART validator dondurulmuş kaydı exit 1 ile reddetti.",
      "Test sonrasında Pi 5 gücü kesildi; screen oturumu kapatıldı ve Debug Probe seri portunun serbest olduğu doğrulandı.",
    ],
    commands: [
      "wc -c -l /tmp/aselsanos-g7b-physical.W5L7b1/screenlog.0",
      "shasum -a 256 /tmp/aselsanos-g7b-physical.W5L7b1/screenlog.0",
      "strict G7b UART validator /tmp/aselsanos-g7b-physical.W5L7b1/screenlog.0",
      "RPi5 ELF ELR/disassembly symbolization at 0x88e80",
      "power off + screen close + serial-port release check",
    ],
    limitations: [
      "Bu kayıt başarısız bir G7b fiziksel denemesidir; BOOT4 veya sonraki herhangi bir kapı için PASS kanıtı değildir.",
      "Başarısız G7b imajı kartta kaldı ve Pi 5'in gücü kapatıldı. Düzeltilmiş paket üretilip aynı karta güvenli biçimde yeniden yazılmadan güç verilmemelidir.",
      "Bulgu daha önce dondurulan G7a BOOT7 fiziksel PASS kanıtını geçersiz kılmaz; son başarılı runtime sınırı G7a'dır.",
    ],
  },