RPi5 G8d gerçek UART10 kaydında SGI/reschedule ve BOOT8D 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_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-boot8d-pass",
    date: "2026-08-21",
    sequence: 57,
    status: "passed",
    title:
      "RPi5 G8d gerçek UART10 kaydında SGI/reschedule ve BOOT8D fiziksel PASS verdi",
    summary:
      "Sıra 56'da exact karta formatsız yazılan 263408 bayt / fa08cec0…47dd4c wrong-core timer düzeltmeli G8d paketi gerçek Raspberry Pi 5'te güçten önce arm edilen same-descriptor UART10 capture ile sınandı. Önceki denemelerle byte-for-byte aynı helper /dev/cu.usbmodem214402 aygıtını 115200 8N1 raw, flow-control off ve TCIFLUSH ile tek descriptor üzerinde açtı. Güç yalnız capture_armed=YES sonrasında verildi. BOOT8D byte 13902'de görüldü; üç saniyelik grace sonrasında değişmemiş 14301 bayt / e1c43c7d…49c1d raw 0444 olarak kapandı. Strict G8d validator ve bağımsız byte/marker/SEC audit'i doğrudan bu raw üzerinde PASS verdi: CPU0 yalnız CPU1'e SGI1 gönderdi; CPU1 source CPU0, raw ACK=EOI 0x1 ve exactly-once delivery/ack/EOI/reschedule doğruladı; mevcut PINNED0 task WAKEUPS=1/RUNS=1/PROGRESS=3 ile stack 0xd2000 üzerinde çalışıp timer OFF ve IRQ maskeli local idle'a döndü; BOOT8D BASE_TICKS=802 TICKS=900 ile 98 tick sonra kapandı. G8d dar fiziksel PASS'tir.",
    evidence: [
      "Fiziksel artefakt sıra 56'da exact 62,549,655,552 bayt TISD64G Secure Digital/FAT32 karta format atmadan yazılan 263408 B / fa08cec0050fb5b3a7e1bfc7986d1d84248219efdb26f0535951f593df47dd4c G8d fix imajıdır; kart 3/3, dört cmp, iki sync ve güvenli eject geçti.",
      "Capture helper source d608c6ff6c933187620d53dd08e34aca47d4a05d1d47edeaf1842de34eb28af5 ve binary 6fe9d67554144b7ec29524bbcec1d27b11527b9449e1a1000027134a7568c16c olarak önceki iki denemeyle değişmedi.",
      "/dev/cu.usbmodem214402 güçten önce boşta doğrulandı; same_descriptor=true fd=3, effective 115200/115200, 8N1 raw, flow_control=false ve input_flushed=TCIFLUSH sonrasında capture_armed=YES verdi.",
      "Terminal ASELSAN/BOOT8D marker'ı byte 13902'de görüldü; üç saniyelik grace tamamlandı ve capture terminal_seen=true, exact_bytes=14301, mode=0444 ile exit 0 kapandı.",
      "Immutable raw /var/folders/lm/x3tmtzs943x9tbzkpv7gf8hr0000gn/T/aselsanos-g8d-uart10.mIEl8j3sb7/uart10-attempt3.raw exact 14301 B / e1c43c7dff762526f2c3b2b768882ba061b1f7dab9c5daedfde181a258549c1d ve -r--r--r-- olarak donduruldu.",
      "Byte audit leading/total NUL=3/3, CR/LF/CRLF=240/240/240, bare CR/LF=0/0, forbidden control excluding NUL=0, UTF-8=PASS ve trailing CRLF=yes verdi.",
      "Exact byte offsetleri BOOT8C=13027, G8D0=13272, G8D1=13483, G8D2=13639, SEC9=13840 ve BOOT8D=13885 olarak sırayı doğruladı.",
      "G8D0 CPU0→CPU1, MPIDR=0x100, SGI=1, TARGET_LIST=0x02, SENDS=1 ve START_TICKS=802 verdi.",
      "G8D1 CPU1 INTID=1 SOURCE_CPU=0 DELIVERIES/ACKS/EOIS/RESCHED=1, ACK_RAW=EOI_RAW=0x1, RETURN=EL1H, IRQ=MASKED, TIMER=OFF ve TICK=802 verdi.",
      "G8D2 PINNED0 WAKEUPS=1 RUNS=1 PROGRESS=3 STACK=REUSED_STATIC64K STACK_SP=0xd2000 CANARY/STACK_RESTORE=OK RETURN=LOCAL_IDLE IRQ=MASKED TIMER=OFF verdi.",
      "BOOT8D SENDS/DELIVERIES/ACKS/EOIS/RESCHED/TASK_WAKE/TASK_RUNS=1, TASK_PROGRESS=3, RETURN=IDLE, IRQ=MASKED, TIMER=OFF, BASE_TICKS=802 ve TICKS=900 verdi.",
      "Strict validator exit 0: G8d PASS sgi=1 source_cpu=0 target_cpu=1 ack_raw=0x1 task_tick=802 stack_sp=0xd2000 timer_delta=98.",
      "Bağımsız audit G8D0/G8D1/G8D2/BOOT8D exact-once, G8DERR/panic/abort/unknown IRQ=0; 39 single marker türü 39/39, G7S1=4/4 ve toplam ASELSAN marker=43/43 buldu.",
      "SEC1–SEC12 exact 12 örnek, ticks 100–1200, gap/tick/drift mismatch=0 ve drift +0 µs verdi. Capture sonrası UART aygıtı boşta doğrulandı.",
      "Fiziksel kabul ve dar kapsam docs/M8.1-RPi5-G8d-CPU1-SGI-Reschedule-Staged-Proof.md içinde donduruldu.",
    ],
    commands: [
      "helper hash + UART device-free audit",
      "same-descriptor /dev/cu.usbmodem214402 capture → uart10-attempt3.raw",
      "cargo run -p aselsan_microkernel_simulation --example verify_rpi5_g8d_log -- <immutable-raw>",
      "independent byte/framing/marker/order/SEC/timing/forbidden audit",
    ],
    terminalSessionsNote:
      "Bu oturumlar düzeltilmiş exact paketle yapılan temiz fiziksel güç döngüsünün gerçek seçili yanıtlarıdır. Raw değişmeden 0444 donduruldu ve strict validator doğrudan aynı dosyayı okudu.",
    terminalSessions: [
      {
        id: "g8d-physical-attempt3-arm",
        title: "Güç öncesi same-descriptor UART10 arm",
        commandLines: [
          "verify helper hashes + lsof /dev/cu.usbmodem214402",
          "capture_uart10 /dev/cu.usbmodem214402 uart10-attempt3.raw",
        ],
        outputLines: [
          "uart_device_free=PASS",
          "same_descriptor=true fd=3",
          "effective_baud_115200=true ispeed=115200 ospeed=115200",
          "format=8N1 raw=true flow_control=false",
          "input_flushed=true method=TCIFLUSH",
          "capture_armed=YES",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g8d-physical-attempt3-capture",
        title: "BOOT8D terminal marker ve immutable raw kapanışı",
        commandLines: [
          "user-controlled clean Pi power-on",
          "capture helper waits for BOOT8D + 3 s grace",
        ],
        outputLines: [
          "terminal_marker_seen=ASELSAN/BOOT8D bytes=13902",
          "terminal_grace_complete=true",
          "capture_closed=true terminal_seen=true exact_bytes=14301 mode=0444",
          "sha256=e1c43c7dff762526f2c3b2b768882ba061b1f7dab9c5daedfde181a258549c1d",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g8d-physical-attempt3-validator",
        title: "Strict G8d validator doğrudan immutable raw üzerinde",
        commandLines: [
          "cargo run -p aselsan_microkernel_simulation --example verify_rpi5_g8d_log -- uart10-attempt3.raw",
        ],
        outputLines: [
          "G8d PASS: sgi=1 source_cpu=0 target_cpu=1 ack_raw=0x1 task_tick=802 stack_sp=0xd2000 timer_delta=98",
          "validator exit=0",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g8d-physical-attempt3-independent-audit",
        title: "Byte framing, marker exact-once ve SEC/timing bağımsız audit'i",
        commandLines: [
          "stat + SHA-256 + Perl byte audit",
          "marker counts + byte offsets",
          "SEC sequence/tick/drift audit + UART holder check",
        ],
        outputLines: [
          "14301 B · e1c43c7dff762526f2c3b2b768882ba061b1f7dab9c5daedfde181a258549c1d · mode=0444",
          "leading/total NUL=3/3 · CRLF=240 · bare CR/LF=0/0 · forbidden=0 · UTF-8 PASS · trailing CRLF=yes",
          "G8D0/G8D1/G8D2/BOOT8D=1/1/1/1 · G8DERR/panic/abort/unknown IRQ=0",
          "offsets: BOOT8C=13027 G8D0=13272 G8D1=13483 G8D2=13639 SEC9=13840 BOOT8D=13885",
          "single marker types=39/39 · G7S1=4/4 · total ASELSAN markers=43/43",
          "SEC1–SEC12 · ticks 100–1200 · gap/tick/drift mismatch=0",
          "uart_device_free=PASS",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
    ],
    limitations: [
      "Bu fiziksel PASS yalnız tek CPU0→CPU1 SGI1, exact-once delivery/ack/EOI/reschedule ve mevcut CPU1-pinned task'ın tek wake/run smoke'udur.",
      "Genel/load-balanced SMP scheduler, migration, TLB shootdown, ASID/VMID koordinasyonu, CPU2/CPU3, hotplug, EL0-on-CPU1, ikinci IPI ve uzun soak bu kayıtla kanıtlanmaz.",
      "İlk SD-algılama reddi ve ikinci TIMER_STATE reddi sıra 54'te ayrı immutable FAIL kanıtları olarak korunur; fiziksel PASS yalnız düzeltmeli fa08… paket ve attempt3 raw'una aittir.",
    ],
  },