FİZİKSEL PASS: G8d round 1 + aynı SGI1 kanalında exact ikinci wake ve BOOT8E

fn main() -> ExitCode {
    let Some(path) = env::args_os().nth(1) else {
        eprintln!(
            "usage: cargo run -p aselsan_microkernel_simulation --example verify_rpi5_g8e_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!(
                "G8e PASS: prior_sgi=1 new_sgi=1 total_sgi=2 source_cpu=0 target_cpu=1 ack_raw=0x{:x} inter_wake_ticks={} task_tick={} stack_sp=0x{:x} proof_delta={}",
                evidence.ack_raw,
                evidence.inter_wake_ticks,
                evidence.task_tick,
                evidence.task_sp,
                evidence.proof_tick_delta(),
            );
            ExitCode::SUCCESS
        }
        Err(error) => {
            eprintln!("{error}");
            ExitCode::FAILURE
        }
    }
}

  {
    id: "rpi5-g8e-physical-boot8e-pass",
    date: "2026-08-21",
    sequence: 70,
    status: "passed",
    title:
      "FİZİKSEL PASS: G8d round 1 + aynı SGI1 kanalında exact ikinci wake ve BOOT8E",
    summary:
      "Sıra 68'de exact karta yazılan 275.792 bayt/d9419ff5…f00c G8e paketi, Sıra 69'da güçten önce arm edilen same-descriptor UART10 yolunda temiz açıldı. Helper BOOT8E'yi gördü, grace/fsync/0444 kapanışını tamamladı ve 15.762 bayt/c9909dea…51f4d immutable raw üretti. Strict validator G8d'yi immutable round 1 sayıp yalnız bir yeni SGI1 turunu kabul etti: prior/new/total=1/1/2, source CPU0→target CPU1, ACK_RAW=EOI_RAW=0x1, inter-wake=100 tick, ikinci task tick=902, aynı stack SP=0xd5000 ve BOOT8E proof delta=98. G8D0/G8D1/G8D2/BOOT8D/G8E0/G8E1/G8E2/BOOT8E exact-once; G8EERR, panic ve unknown IRQ sıfırdır. Paket, helper ve raw kalıcı Sıra 70 evidence arşivine donduruldu. Bu dar fiziksel PASS generic SMP, migration, TLBI veya CPU2/3 iddiası değildir.",
    evidence: [
      "Kabul edilen kart paketi exact 275.792 B / d9419ff549125c899088db0acbc521d3db50d294f8756d2edd7166153e67f00c; DTB/config/manifest hashleri Sıra 68 ile aynı kaldı.",
      "Helper gerçek `/dev/cu.usbmodem214402` aygıtında same_descriptor=true fd=3, effective 115200/8N1 raw, flow-control=false, TCIFLUSH ve capture_armed=YES değerlerini Pi güçsüzken yayımladı; güç yalnız bundan sonra verildi.",
      "Capture terminal marker'ı byte sayacı 15.179 iken gördü, üç saniyelik grace'i tamamladı ve `capture_closed=true terminal_seen=true exact_bytes=15762 mode=0444` ile exit 0 verdi.",
      "Immutable raw exact 15.762 B, mode 0444 ve SHA-256 c9909deaefba7da93f999bcac1df511796550da99815bbb9b2baecce1ca51f4d olarak ölçüldü.",
      "Byte audit leading/total NUL=1/1, CR/LF/CRLF=245/245/245, bare CR/LF=0/0, forbidden non-NUL control=0, UTF-8 without NUL=PASS ve final CRLF=PASS verdi.",
      "Marker offsetleri G8D0=13270, G8D1=13481, G8D2=13637, BOOT8D=13883, G8E0=14161, G8E1=14481, G8E2=14783 ve BOOT8E=15157; sekizi de exact-once oldu.",
      "G8E0 aynı SGI1/TARGET_LIST=0x02/SGIR=0x00020001 kanalında PRIOR/NEW/TOTAL_SENDS=1/1/2, prior pending/active=0/0, EOIMODE=DROP_DEACTIVATE ve GAP_TICKS=100 verdi.",
      "G8E1 total delivery/ack/EOI/reschedule=2/2/2/2, new değerlerin tamamı=1, SOURCE_CPU=0 ve ACK_RAW=EOI_RAW=0x1 olarak fiziksel görüldü.",
      "G8E2 total wake/run=2/2, new wake/run=1/1, PROGRESS=3, STACK_SP=0xd5000, SAME_STACK_REGION/CANARY/STACK_RESTORE=YES/OK/OK ve final pending/active=0/0 verdi.",
      "BOOT8E ROUNDS=2 SAME_CHANNEL=YES, bütün aggregate sayaçlar=2, QUIESCENT_BETWEEN=YES, GIC_REINIT=OFF, GENERIC_SMP/MIGRATION/TLB_SHOOTDOWN/CPU2_3=OFF ve BASE_TICKS=902 TICKS=1000 verdi.",
      "Strict validator archived raw üzerinde exit 0 verdi: prior_sgi=1 new_sgi=1 total_sgi=2 source_cpu=0 target_cpu=1 ack_raw=0x1 inter_wake_ticks=100 task_tick=902 stack_sp=0xd5000 proof_delta=98.",
      "G8EERR=0, panic=0 ve unknown IRQ=0; targeted G8e source/UART regresyonu 19/19 PASS kaldı.",
      "Kalıcı `evidence/rpi5/g8e/sequence-70-physical-pass/` arşivinde raw/helper source/helper binary ve dört paket artefaktı mode 0444; kaynaklara karşı 7/7 cmp ve paket manifesti 3/3 PASS verdi.",
      "Evidence README 2.969 B / 5e74ddb79011de6ac8e7383c0007440cbd5884bf992d38b16c9b288316e50395; fiziksel G8e kanıt belgesi 20.236 B / 9384a1341cb8c36daf79fe5fc6b9ea4481da18151a1f05a4b7e3ff1f3d5e934e olarak donduruldu.",
    ],
    terminalSessionsNote:
      "Oturumlar gerçek güç kontrollü capture, immutable raw doğrulaması ve kalıcı evidence freeze sonuçlarıdır. Sentetik fixture sonucu değildir.",
    terminalSessions: [
      {
        id: "g8e-physical-capture-close",
        title: "Güç sonrası BOOT8E terminal marker ve durable raw kapanışı",
        commandLines: [
          "poll the already-armed same-descriptor UART10 capture session",
        ],
        outputLines: [
          "terminal_marker_seen=ASELSAN/BOOT8E bytes=15179",
          "terminal_grace_complete=true",
          "capture_closed=true terminal_seen=true exact_bytes=15762 mode=0444",
          "capture process exit=0",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g8e-physical-strict-validation",
        title: "Immutable fiziksel raw üzerinde strict G8d→G8e validator",
        commandLines: [
          "cargo run -q -p aselsan_microkernel_simulation --example verify_rpi5_g8e_log -- evidence/rpi5/g8e/sequence-70-physical-pass/capture/uart10.raw",
        ],
        outputLines: [
          "G8e PASS: prior_sgi=1 new_sgi=1 total_sgi=2 source_cpu=0 target_cpu=1",
          "ack_raw=0x1 inter_wake_ticks=100 task_tick=902 stack_sp=0xd5000 proof_delta=98",
          "validator exit=0",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g8e-physical-byte-marker-audit",
        title: "Raw framing, marker uniqueness/order ve fail-marker audit'i",
        commandLines: [
          "independent binary framing audit",
          "enumerate byte offsets and exact counts for G8d/G8e markers",
          "count G8EERR, panic and unknown IRQ text",
        ],
        outputLines: [
          "15762 B · c9909deaefba7da93f999bcac1df511796550da99815bbb9b2baecce1ca51f4d · mode=0444",
          "NUL=1/1 · CRLF=245 · bare CR/LF=0/0 · forbidden=0 · UTF-8=PASS · final CRLF=PASS",
          "G8D0/G8D1/G8D2/BOOT8D/G8E0/G8E1/G8E2/BOOT8E=1/1/1/1/1/1/1/1",
          "G8EERR=0 · panic=0 · unknown IRQ=0",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g8e-physical-evidence-freeze",
        title: "Exact paket, helper ve raw'un kalıcı evidence arşivi",
        commandLines: [
          "copy exact raw/helper/package into evidence/rpi5/g8e/sequence-70-physical-pass",
          "chmod payloads 0444; compare all seven artifacts; verify package manifest",
          "rerun strict validator and G8e 19/19 regression against archived evidence",
        ],
        outputLines: [
          "payload mode=0444 · source/archive cmp=7/7 PASS · package manifest=3/3 OK",
          "archived strict validator=PASS",
          "G8e source 10/10 + UART 9/9 = 19/19 PASS",
          "README=2969 B · 5e74ddb7…50395 · proof doc=20236 B · 9384a134…934e",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
    ],
    limitations: [
      "Bu fiziksel PASS yalnız G8d round 1 üzerine aynı SGI1 kanalında bir yeni CPU0→CPU1 delivery/ack/EOI/reschedule ve mevcut pinned task wake/run turunu kanıtlar.",
      "Generic SMP scheduler, migration, load balancing, ASID/VMID koordinasyonu, TLB shootdown, CPU2/CPU3, hotplug, EL0-on-CPU1 ve soak kanıtlanmış değildir.",
      "Capture kapalı ve raw immutable'dır; Pi gücü kanıt için artık gerekli değildir.",
      "Website yayını canonical custom domain üzerinden doğrulanır; bu ortamda reset veren pages.dev direct smoke için başarı iddia edilmez.",
      "Wrangler yayını dirty/untracked workspace'ten ve stale 47d22c9 source etiketiyle yapılır; canlı artifact hash'i doğrulansa da Git-provider provenance kurulmuş sayılmaz.",
    ],
  },