RPi5 G8d fiziksel olarak reddedildi: ilk bootta SD yok, ikinci bootta TIMER_STATE

fn main() -> ExitCode {
    let Some(path) = env::args_os().nth(1) else {
        eprintln!(
            "usage: cargo run -p aselsan_microkernel_simulation --example verify_rpi5_g8d_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!(
                "G8d PASS: sgi=1 source_cpu=0 target_cpu=1 ack_raw=0x{:x} task_tick={} stack_sp=0x{:x} timer_delta={}",
                evidence.ack_raw,
                evidence.task_tick,
                evidence.task_sp,
                evidence.tick_delta(),
            );
            ExitCode::SUCCESS
        }
        Err(error) => {
            eprintln!("{error}");
            ExitCode::FAILURE
        }
    }
}

  {
    id: "rpi5-g8d-physical-timer-state-fail",
    date: "2026-08-21",
    sequence: 54,
    status: "passed",
    closure: {
      status: "passed",
      sequence: 57,
      operation_id: "rpi5-g8d-physical-boot8d-pass",
      summary:
        "Wrong-core timer düzeltmesi ve exact reflash sonrasında S57 G8d fiziksel BOOT8D, strict validator ve bağımsız audit kapılarını PASS etti.",
    },
    title:
      "RPi5 G8d fiziksel olarak reddedildi: ilk bootta SD yok, ikinci bootta TIMER_STATE",
    summary:
      "Sıra 53'te exact karta yazılan 263408 bayt / 6d9c556f…a46922 G8d paketi iki temiz fiziksel denemede sınandı. İlk same-descriptor UART10 capture'da kart elektriksel olarak algılanmadı; firmware 19 SD denemesi ve USB-MSD fallback döngüleri üretti, ASELSAN marker görülmedi. Pi kapatılıp kart yeniden takıldıktan sonraki ikinci capture normal boot etti ve BOOT8C 701→800 sonrasında G8D0 START_TICKS=802 verdi, fakat hemen ASELSAN/G8DERR CODE=TIMER_STATE EXPECTED=0x0 ACTUAL=0x1 ile durdu. G8D1, G8D2 ve BOOT8D oluşmadı; iki immutable raw da strict validator tarafından exit 1 ile reddedildi. Pi kapatıldı ve kart eski failing paketle içeride bırakıldı.",
    evidence: [
      "Deneme 1 raw: /var/folders/lm/x3tmtzs943x9tbzkpv7gf8hr0000gn/T/aselsanos-g8d-uart10.mIEl8j3sb7/uart10.raw · 44841 B · cb7fbfd467e333126ecdac9000e0468b52b08b9edab95301fbe519eae254b6b7 · mode 0444.",
      "Deneme 1 byte audit: leading NUL=2, total NUL=3, CR/LF/CRLF=912/912/912, bare CR/LF=0/0 ve NUL dışı forbidden control=0.",
      "Deneme 1 firmware sayımları: SD attempt=19, Failed to open device: 'sdcard'=38, USB-MSD fallback=19, restart cycle=18 ve ASELSAN marker=0; bu temas/SD algılama denemesidir, kernel G8d kanıtı değildir.",
      "Deneme 2 raw: /var/folders/lm/x3tmtzs943x9tbzkpv7gf8hr0000gn/T/aselsanos-g8d-uart10.mIEl8j3sb7/uart10-attempt2.raw · 13532 B · 54f500add30ef9d110fd65bd97dfc5622b835b9f3b21e7be2c9e7e84a819a713 · mode 0444.",
      "Deneme 2 byte audit: leading NUL=2, total NUL=3, CR/LF/CRLF=234/234/234 ve bare CR/LF=0/0.",
      "Deneme 2 marker sayımları: G8D0=1, G8DERR=1, G8D1=0, G8D2=0 ve BOOT8D=0.",
      "Exact kabul kuyruğu BOOT8C BASE_TICKS=701 TICKS=800 → G8D0 START_TICKS=802 → G8DERR CODE=TIMER_STATE EXPECTED=0x0 ACTUAL=0x1 oldu.",
      "Her iki capture güçten önce /dev/cu.usbmodem214402 üzerinde same descriptor 115200/115200 8N1 raw, flow-control off ve TCIFLUSH ile arm edildi.",
      "Capture helper source d608c6ff…8af5 ve binary 6fe9d675…c16c iki denemede değişmedi.",
      "Strict G8d validator her iki immutable raw için exit 1 verdi; hiçbir deneme fiziksel BOOT8D PASS'e katılmadı.",
    ],
    commands: [
      "same-descriptor UART10 capture attempt 1 + immutable freeze",
      "strict G8d validator + independent byte/firmware-loop audit attempt 1",
      "power-off, card reseat, same-descriptor UART10 capture attempt 2 + immutable freeze",
      "strict G8d validator + marker/order/byte audit attempt 2",
    ],
    terminalSessionsNote:
      "İki capture da güçten önce arm edildi ve değişmeden 0444 olarak donduruldu. Capture helper terminal marker görmese de kontrollü SIGINT ile temiz kapandı; kabul kararı doğrudan strict validator exit 1 sonucudur.",
    terminalSessions: [
      {
        id: "g8d-physical-attempt1-capture",
        title: "Fiziksel deneme 1: kart algılanmadı",
        commandLines: [
          "arm /dev/cu.usbmodem214402 · 115200 8N1 raw · TCIFLUSH",
          "capture until controlled stop",
        ],
        outputLines: [
          "capture_armed=YES · same_descriptor=YES",
          "raw=44841 B · sha256=cb7fbfd467e333126ecdac9000e0468b52b08b9edab95301fbe519eae254b6b7 · mode=0444",
          "SD attempts=19 · sdcard open failures=38 · USB-MSD fallbacks=19 · restart cycles=18",
          "ASELSAN markers=0",
        ],
        exitCode: 0,
        outputMode: "selected",
      },
      {
        id: "g8d-physical-attempt1-validator",
        title: "Fiziksel deneme 1 strict red",
        commandLines: [
          "strict G8d validator uart10.raw",
          "independent byte audit uart10.raw",
        ],
        outputLines: [
          "leading/total NUL=2/3 · CRLF=912 · bare CR/LF=0/0 · forbidden control excluding NUL=0",
          "FAIL: required G8d markers absent",
          "validator exit=1",
        ],
        exitCode: 1,
        outputMode: "complete",
      },
      {
        id: "g8d-physical-attempt2-capture",
        title: "Fiziksel deneme 2: boot ve TIMER_STATE reddi",
        commandLines: [
          "power off + card reseat",
          "re-arm same UART descriptor",
          "capture until controlled stop",
        ],
        outputLines: [
          "capture_armed=YES · same_descriptor=YES",
          "raw=13532 B · sha256=54f500add30ef9d110fd65bd97dfc5622b835b9f3b21e7be2c9e7e84a819a713 · mode=0444",
          "BOOT8C BASE_TICKS=701 TICKS=800",
          "G8D0 START_TICKS=802",
          "ASELSAN/G8DERR CODE=TIMER_STATE EXPECTED=0x0 ACTUAL=0x1",
        ],
        exitCode: 0,
        outputMode: "selected",
      },
      {
        id: "g8d-physical-attempt2-validator",
        title: "Fiziksel deneme 2 strict red ve marker audit'i",
        commandLines: [
          "strict G8d validator uart10-attempt2.raw",
          "independent marker/order/byte audit",
        ],
        outputLines: [
          "G8D0=1 · G8DERR=1 · G8D1=0 · G8D2=0 · BOOT8D=0",
          "leading/total NUL=2/3 · CRLF=234 · bare CR/LF=0/0",
          "FAIL: G8DERR TIMER_STATE; terminal BOOT8D absent",
          "validator exit=1",
        ],
        exitCode: 1,
        outputMode: "complete",
      },
    ],
    limitations: [
      "Deneme 1 kernel G8d'yi çalıştırmadı; SD kart firmware tarafından algılanmadığı için yalnız fiziksel temas/algılama reddidir.",
      "Deneme 2 G8D0'a ulaştı, ancak G8D1/G8D2/BOOT8D oluşmadı; fiziksel G8d PASS değildir.",
      "Kart hâlâ 263408 B / 6d9c556f…a46922 failing paketi taşır ve Pi kapalıdır.",
    ],
  },