RPi5 G8b gerçek UART10 kaydında CPU1 PPI27 ve BOOT8B 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_g8b_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!(
                "G8b PASS: intid=27 deliveries=1 irq_tick={} timer_counts={} timer_delta={}",
                evidence.irq_tick,
                evidence
                    .timer_fired_count
                    .saturating_sub(evidence.timer_start_count),
                evidence.tick_delta(),
            );
            ExitCode::SUCCESS
        }
        Err(error) => {
            eprintln!("{error}");
            ExitCode::FAILURE
        }
    }
}

  {
    id: "rpi5-g8b-physical-boot8b-pass",
    date: "2026-08-21",
    sequence: 48,
    status: "passed",
    title:
      "RPi5 G8b gerçek UART10 kaydında CPU1 PPI27 ve BOOT8B fiziksel PASS verdi",
    summary:
      "Sıra 47'de exact karta yazılan 246960 bayt / dc241315…fb44a8a G8b paketi gerçek Raspberry Pi 5'te iki fail-closed capture denemesiyle sınandı. İlk 12761 bayt raw, izin verilen 5 yerine 22 leading NUL taşıdığı için strict validator tarafından reddedildi ve PASS'e katılmadı. Güç tamamen kesildikten sonra aynı /dev/cu.usbmodem214402 aygıtında 115200 8N1 raw profil ve input flush ile açılan ikinci capture değişmemiş 12743 bayt / f40d5379…09718 olarak donduruldu. Strict G8b validator ve bağımsız byte/sıra/timer audit'i doğrudan bu raw üzerinde PASS verdi: gerçek CPU1 banked GICv2/PPI27 one-shot INTID 27'yi tam bir kez aldı, local timer OFF ve IRQ maskeli EL1h dönüşü yayıldı; ilişkili SEC7 sonrasında BOOT8B CPU1_PPI_ONLY fiziksel olarak kapandı.",
    evidence: [
      "Fiziksel artefakt sıra 47'de exact 62,549,655,552 bayt TISD64G Secure Digital/FAT32 karta format atmadan yazılan 246960 bayt / dc241315fa24992ab025da79c72cc14cebf28d7e420e859a8f756d7e5fb44a8a G8b imajıdır; kart manifesti 3/3, dört cmp, sync/eject geçti.",
      "Her iki capture aynı /dev/cu.usbmodem214402 aygıtında tek açık descriptor ile effective 115200/115200, 8N1 raw, parity/flow-control kapalı ve input_flushed=true olarak capture_armed=YES verdi; güç yalnız bundan sonra açıldı.",
      "İlk immutable raw 12761 bayt / 3b62f9f9d38ee5b8a6d18744c4b85b9dc7d721711b9879940b13bc93429d394b ve mode 0444 olarak donduruldu. Leading/total NUL=22/22, strict allowance=5 olduğu için validator FAIL verdi; bu kayıt fiziksel PASS'e katılmadı.",
      "İlk raw'ın yalnız NUL prefix'i stdin teşhisinde atlandığında kalan akış G8b semantiğini geçti; dönüştürülmüş bu teşhis sonucu kabul kanıtı sayılmadı ve raw dosya değiştirilmedi.",
      "İkinci immutable raw /var/folders/lm/x3tmtzs943x9tbzkpv7gf8hr0000gn/T/aselsanos-g8b-attempt2-uart10.ZaX7HcFw05/uart10.raw exact 12743 bayt / f40d5379aac50d41d94fd469ba0df013d80e4daafb157499cdf92d32ed509718 ve mode -r--r--r-- olarak donduruldu.",
      "Kabul edilen raw leading/total NUL=4/4, CR/LF/CRLF=231/231/231, bare CR/LF=0/0, trailing CRLF=yes ve NUL sonrası byte-for-byte UTF-8 verdi.",
      "Strict verify_rpi5_g8b_log değişmemiş ikinci raw üzerinde doğrudan ‘G8b PASS: intid=27 deliveries=1 irq_tick=607 timer_counts=2700020 timer_delta=99’ verdi.",
      "Aynı boot BOOT7D ve G8a prerequisite zincirini yeniden geçti: BOOT8 TICKS=600 sonrasında G8B0 START_TICKS=601 ile handoff 1 tick oldu.",
      "G8B0 exact CPU=0 TARGET=CPU1 MPIDR=0x100 GICD/GICC=ON PPI=27 PPI_ENABLED=1 PMR=0xf0 BPR=3 MODE=ONESHOT DELAY_TICKS=5 SCHED=OFF START_TICKS=601 verdi.",
      "G8B1 exact CPU=1 MPIDR=0x100 INTID=27 DELIVERIES=1 TIMER=ONESHOT TIMER_CTL=OFF IRQ=MASKED RETURN=EL1H SCHED=OFF PERIOD=540000 START_COUNT=383830797 DEADLINE=386530797 FIRED_COUNT=386530817 TICK=607 verdi.",
      "G8B1 ile BOOT8B arasında [SEC 7] ticks=700 drift=+0 µs örneği görüldü. BOOT8B exact GIC/TIMER/ONESHOT/MASKED=OK, CPU1_IRQ=1, INTID=27, SCHED/MIGRATION/CPU2_3=OFF, SCOPE=CPU1_PPI_ONLY, BASE_TICKS=601 TICKS=700 verdi.",
      "Timer auditi programmed delta=2,700,000 count, fired delta=2,700,020 ve deadline lateness=20 count buldu; CPU0 proof delta 99 tick'tir.",
      "Bağımsız audit BOOT7D<G8S0<G8S1<BOOT8<G8B0<G8B1<SEC7<BOOT8B exact-once sırasını; SEC1–SEC10 gap/mismatch=0, drift +0 µs ve forbidden/unknown G8b marker=0 sonuçlarını doğruladı.",
      "Fiziksel kabul ve dar kapsam docs/M8.1-RPi5-G8b-Physical-UART-Proof.md içinde donduruldu.",
    ],
    commands: [
      "attempt 1 same-FD termios UART10 capture · 115200 8N1 raw · input flush",
      "strict validator attempt 1 → FAIL: leading NUL 22 > 5",
      "power off · attempt 2 same-FD termios UART10 capture · input flush",
      "stat + shasum -a 256 immutable attempt2 uart10.raw",
      "cargo run --manifest-path simulation/Cargo.toml --example verify_rpi5_g8b_log -- <attempt2 raw>",
      "independent read-only byte + marker/order + timer/SEC + forbidden audit",
      "make verify-rpi5-g8b-host",
    ],
    terminalSessionsNote:
      "Bu oturumlar aynı G8b kart paketinin iki ayrı temiz güç döngüsündeki gerçek UART10 raw dosyalarına bağlıdır. İlk capture fail-closed reddedildi; yalnız değişmemiş ikinci raw fiziksel PASS kanıtıdır.",
    terminalSessions: [
      {
        id: "g8b-physical-attempt1-rejected",
        title: "Deneme 1 · leading NUL sınırında fail-closed ret",
        commandLines: [
          "same-FD /dev/cu.usbmodem214402 · 115200 8N1 raw · TCIFLUSH · capture_armed=YES",
          "cargo run --quiet --manifest-path simulation/Cargo.toml --example verify_rpi5_g8b_log -- <attempt1 raw>",
        ],
        outputLines: [
          "capture_final=uart10.raw bytes=12761 mode=0444",
          "sha256=3b62f9f9d38ee5b8a6d18744c4b85b9dc7d721711b9879940b13bc93429d394b",
          "leading_nuls=22 total_nuls=22 allowance=5",
          "G8b UART evidence failed",
          "G7a prerequisite: leading NUL prefix exceeds capture allowance: observed 22, maximum 5",
          "attempt1_accepted=false",
        ],
        exitCode: 1,
        outputMode: "complete",
      },
      {
        id: "g8b-physical-attempt2-capture",
        title: "Deneme 2 · same-descriptor immutable UART10 capture",
        commandLines: [
          "power fully off",
          "open /dev/cu.usbmodem214402 once · configure/read back termios · TCIFLUSH",
          "capture_armed=YES · clean power-on · freeze BOOT8B raw",
        ],
        outputLines: [
          "capture_attempt=2 · same_open_descriptor=true",
          "effective_baud_115200=true · ispeed=115200 ospeed=115200",
          "data=8 parity=none stop=1 flow=off raw=true · input_flushed=true",
          "terminal_marker=ASELSAN/BOOT8B",
          "capture_final=uart10.raw bytes=12743 mode=0444",
          "sha256=f40d5379aac50d41d94fd469ba0df013d80e4daafb157499cdf92d32ed509718",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g8b-physical-strict-validator",
        title: "Değişmemiş ikinci raw üzerinde strict G8b validator",
        commandLines: [
          "cargo run --quiet --manifest-path simulation/Cargo.toml --example verify_rpi5_g8b_log -- <attempt2 uart10.raw>",
        ],
        outputLines: [
          "G8b PASS: intid=27 deliveries=1 irq_tick=607 timer_counts=2700020 timer_delta=99",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g8b-physical-independent-audit",
        title: "Raw byte, sıra, timer, SEC ve yasak-marker bağımsız auditi",
        commandLines: [
          "read-only Node byte + exact marker/order + timer/SEC + forbidden audit",
          "make verify-rpi5-g8b-host",
          "post-audit stat + shasum -a 256 raw",
        ],
        outputLines: [
          "byte_audit=PASS bytes=12743 sha256=f40d5379aac50d41d94fd469ba0df013d80e4daafb157499cdf92d32ed509718",
          "line_endings=PASS leading_nuls=4 total_nuls=4 cr=231 lf=231 crlf=231 bare_cr=0 bare_lf=0 trailing_crlf=true",
          "marker_order=PASS BOOT7D<G8S0<G8S1<BOOT8<G8B0<G8B1<SEC7<BOOT8B",
          "g8b_fields=PASS pmr=0xf0 bpr=3 start=601 irq_tick=607 boot8b=700",
          "timer=PASS period=540000 programmed_delta=2700000 fired_delta=2700020 lateness=20",
          "sec_audit=PASS samples=10 SEC1-SEC10 gap=0 mismatch=0 drift_us=0",
          "forbidden=PASS count=0 unknown_g8b=0",
          "G8b targeted tests: 14/14 PASS",
          "raw_after bytes=12743 mode=-r--r--r-- · sha256 unchanged",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
    ],
    limitations: [
      "Bu dar fiziksel PASS yalnız CPU1 banked GICv2/PPI27 tek one-shot IRQ, local timer disable/raw EOI, IRQ maskeli EL1h dönüşü ve WFE parkını kanıtlar; genel SMP scheduler PASS'i değildir.",
      "CPU1 scheduler runqueue/task çalıştırma, migration, reschedule IPI, load balancing, TLB shootdown ve ASID/VMID koordinasyonu kanıtlanmaz.",
      "CPU2/CPU3, CPU_OFF/suspend/hotplug/reset, FP/SIMD context, EL0-on-CPU1, contention/fairness ve uzun soak kapsam dışıdır.",
      "İlk 12761 bayt capture 22 leading NUL nedeniyle reddedildi; hiçbir fiziksel PASS iddiasına katılmadı.",
    ],
  },