RPi5 G7d gerçek UART10 kaydında dört PPI27 preemption ve BOOT7D 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_g7d_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!(
                "G7d PASS: switches={:?} progress={:?} timer_delta={}",
                evidence.switch_ticks,
                evidence.switch_progress,
                evidence.tick_delta(),
            );
            ExitCode::SUCCESS
        }
        Err(error) => {
            eprintln!("{error}");
            ExitCode::FAILURE
        }
    }
}

  {
    id: "rpi5-g7d-physical-boot7d-pass",
    date: "2026-08-20",
    sequence: 42,
    status: "passed",
    title:
      "RPi5 G7d gerçek UART10 kaydında dört PPI27 preemption ve BOOT7D fiziksel PASS verdi",
    summary:
      "Sıra 41'de 0927d195…39f9 olarak doğrulanıp microSD'ye formatsız yazılan G7d paketi gerçek Raspberry Pi 5'te temiz güç döngüsüyle çalıştırıldı. İlk immutable raw kayıt yedi leading NUL ile strict capture sınırını aştığı için reddedildi ve hiçbir PASS üretmedi. Pi kapatılıp aynı /dev/cu.usbmodem214402 aygıtı, aynı açık descriptor üzerinde doğrulanan 115200/115200 8N1 raw profil ve temizlenmiş giriş tamponuyla yeniden açıldı. İkinci değişmemiş 11909 bayt / 1993361c…26bf2 raw kayıt strict G7d validator'dan doğrudan PASS aldı. G7D0, exact dört A→B→A→B→A switch, iki görevin resume-progress'i, stack canary'leri, EL1h monitor dönüşü ve BOOT7D 405→505 timer delta'sı gerçek donanımda kapandı; bağımsız byte/marker/SEC/hata auditleri de geçti.",
    evidence: [
      "Fiziksel artefakt sıra 41'de exact Secure Digital/FAT32 karta format çağrılmadan yazılan 230560 bayt / 0927d195432c8a9c61813f35438bb09d3323e2ce94e10fa791de47f0b01239f9 imajdır; kart manifesti 3/3, dört cmp, sync/eject geçti.",
      "İlk capture /tmp/aselsanos-g7d-termios-115200.2Xeyj8/uart10.raw exact 11911 bayt / 81d8d8b949f31a4809ef8057efd04d47d3cb118919e90948c6c28a790ca0a202 ve mode 0444 olarak donduruldu. Yedi leading NUL, maximum 5 sınırını aştığı için strict validator exit 1 verdi; kayıt fiziksel kanıt sayılmadı.",
      "İlk raw'dan yedi NUL'u dışlayan 11904 bayt / cb54ac1f…6a40c türev yalnız kök neden tanısıydı ve açıkça NOT-PHYSICAL-EVIDENCE tutuldu; PASS iddiasında kullanılmadı.",
      "İkinci capture aynı /dev/cu.usbmodem214402 descriptor'ında effective_baud_115200=true, ispeed=115200, ospeed=115200, 8N1 raw, flow-control kapalı ve input_flushed=true olarak açıldı.",
      "Kabul edilen raw /tmp/aselsanos-g7d-attempt2-termios-115200.Gifk4P/uart10.raw exact 11909 bayt / 1993361cd4b5f8133e18deb8038c3f6c7a4a7b24b16bfc4e4fcd1e3d33f26bf2 ve mode -r--r--r-- olarak donduruldu.",
      "Kabul raw'ında leading/total NUL 5/5, LF/CR 228/228, her satır CRLF, trailing CRLF ve NUL prefix sonrasında valid UTF-8 ölçüldü. Raw üzerinde byte slice veya satır sonu dönüşümü yapılmadı.",
      "Strict verify_rpi5_g7d_log doğrudan PASS verdi: switches=[416,426,436,446], progress=[4474576,4682996,9157601,9366022], timer_delta=100.",
      "Aynı boot BOOT0–BOOT7C regresyon zincirini yeniden geçti. RAM1 HEAP=0x10ff000–0x18ff000 ve GUARD=0x10fe000–0x10ff000; G7B0 TOTAL_FRAMES=2073325 FRAME=0x18ff000 REMAINING=2073324 verdi.",
      "G7C0 TEXT=0x1900000 RODATA=0x1901000 STACK=0x1902000 REMAINING=2073321 KERNEL=NOUSER LOAD_ALIAS=UNMAPPED COPY_ALIAS=RO_NX verdi; ayrı EL0 payload, exact G7C1/G7C2 ve BOOT7C BASE_TICKS=305 TICKS=405 geçti.",
      "G7D0 exact CPU=0 MODE=PREEMPT IRQ=PPI27 TASKS=2 QUANTUM=10 STACKS=2x64K CTX=GPR31+ELR+SPSR+SP FP=UNUSED START_TICKS=405 verdi.",
      "G7D1–G7D4 exact A→B→A→B→A sırasıyla TICK=416/426/436/446; offsetler 11/21/31/41 oldu. Task A progress 4474576→9157601 ve task B 4682996→9366022 ilerledi.",
      "G7D4 ile BOOT7D arasında [SEC 5] ticks=500 drift=+0 µs görüldü. BOOT7D PREEMPT/IRQ/ORDER/SWITCHES/QUANTUM/CTX/STACKS/CANARY/FP/RETURN alanlarının tamamı exact sözleşmeyi verdi; BASE_TICKS=405 TICKS=505 delta tam 100'dür.",
      "Bağımsız audit 31 kabul olayını sıralı, altı G7d kabul marker'ını exact-once ve EL0 payload'ı exact-once buldu. SEC1–SEC13 gap=0, tick mismatch=0 ve drift +0 µs ilerledi.",
      "G7DERR, bilinmeyen G7d, G7CERR, G7BERR, G7ERR, RAM/GIC/timer error, panic, unknown/unhandled IRQ ve FATAL taramaları sıfırdır.",
      "make verify-rpi5-g7d-host yeniden exit 0 verdi: kaynak/ABI 6/6 ve strict UART/adversarial 10/10; toplam 16/16 PASS. Fiziksel kabul ve kapsam docs/M8.1-RPi5-G7d-Physical-UART-Proof.md içinde donduruldu.",
    ],
    commands: [
      "same-FD termios UART10 capture attempt 1 · 115200 8N1 raw",
      "cargo run -p aselsan_microkernel_simulation --example verify_rpi5_g7d_log -- <attempt1-raw>",
      "power off · same-FD termios UART10 capture attempt 2 · input flush",
      "stat + shasum -a 256 immutable attempt2 uart10.raw",
      "cargo run -p aselsan_microkernel_simulation --example verify_rpi5_g7d_log -- <attempt2-raw>",
      "independent CR/LF/NUL + exact-once/order + timing/progress + SEC + forbidden audit",
      "make verify-rpi5-g7d-host",
    ],
    terminalSessionsNote:
      "İki güç döngüsü birbirinden ayrı tutuldu. İlk raw strict sınırda FAIL olarak korunur; yalnız ikinci, değişmemiş raw fiziksel PASS kaynağıdır. Terminal çıktıları gerçek capture metadata'sı, strict validator yanıtı ve bağımsız audit sonuçlarıdır.",
    terminalSessions: [
      {
        id: "g7d-physical-attempt1-rejected",
        title: "İlk güç döngüsü · strict capture sınırında reddedildi",
        commandLines: [
          "same-FD 115200 8N1 raw capture",
          "verify_rpi5_g7d_log <attempt1-raw>",
        ],
        outputLines: [
          "capture_final=uart10.raw bytes=11911 mode=-r--r--r--",
          "81d8d8b949f31a4809ef8057efd04d47d3cb118919e90948c6c28a790ca0a202  uart10.raw",
          "G7d UART evidence failed",
          "leading NUL prefix exceeds capture allowance: observed 7, maximum 5",
          "result=REJECTED · physical PASS üretilmedi",
        ],
        exitCode: 1,
        outputMode: "complete",
        outputNote:
          "Bu oturumun exit 1 sonucu beklenen fail-closed fiziksel sınırdır.",
      },
      {
        id: "g7d-physical-attempt2-capture",
        title: "İkinci güç döngüsü · aynı descriptor 115200 raw",
        commandLines: ["same-FD termios UART10 capture attempt 2"],
        outputLines: [
          "capture_attempt=2 ready device=/dev/cu.usbmodem214402",
          "effective_baud_115200=true ispeed=115200 ospeed=115200",
          "format=8N1 raw flow_control=off input_flushed=true",
          "capture_event=BOOT7D_seen auto_close_in=8s",
          "capture_final=uart10.raw bytes=11909 mode=-r--r--r--",
          "1993361cd4b5f8133e18deb8038c3f6c7a4a7b24b16bfc4e4fcd1e3d33f26bf2  uart10.raw",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g7d-physical-strict-validator",
        title: "Değişmemiş raw · strict G7d validator",
        commandLines: [
          "cargo run -p aselsan_microkernel_simulation --example verify_rpi5_g7d_log -- /tmp/.../uart10.raw",
        ],
        outputLines: [
          "G7d PASS: switches=[416, 426, 436, 446] progress=[4474576, 4682996, 9157601, 9366022] timer_delta=100",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g7d-physical-independent-audit",
        title: "Bağımsız byte · marker · timing · hata audit'i",
        commandLines: [
          "read-only Node audit <accepted uart10.raw>",
          "make verify-rpi5-g7d-host",
        ],
        outputLines: [
          "raw_bytes=11909 leading_nul=5 total_nul=5 lf=228 cr=228 utf8=PASS trailing_crlf=PASS",
          "acceptance_chain=PASS ordered_events=31 unique_g7d=6 payload_exact_once=PASS",
          "switch_ticks=[416,426,436,446] switch_offsets=[11,21,31,41] progress=[4474576,4682996,9157601,9366022]",
          "timer_delta=100 sec_samples=13 sec_range=1-13 gap=0 tick_mismatch=0 drift=+0",
          "forbidden_markers=0 unknown_g7d=0 independent_audit=PASS",
          "test result: ok. 6 passed; 0 failed",
          "test result: ok. 10 passed; 0 failed",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
    ],
    limitations: [
      "Bu PASS yalnız CPU0, iki sabit EL1 kernel görevi, iki statik 64 KiB stack, dört involuntary PPI27 switch ve tek yaklaşık 13 saniyelik boot smoke'udur.",
      "Yalnız integer GPR31+ELR+SPSR+SP frame kanıtlanır. FP/SIMD FP=UNUSED kalır; SVE/SME, debug, PAC/MTE ve diğer genişletilmiş durumlar kapsam dışıdır.",
      "Canary=OK guard page, stack yüksek-su ölçümü, overflow recovery veya dinamik stack izolasyonu değildir.",
      "Genel scheduler lifecycle, dinamik task/stack tahsisi, fairness, EL0 task preemption, çoklu address space ve uzun soak kanıtlanmaz.",
      "İlk capture'ın yedi leading NUL nedeniyle reddedilmesi değiştirilmez ve ikinci PASS'e katılmaz; tanısal türev fiziksel kanıt değildir.",
      "G8 PSCI/secondary-core/SMP ayrı ve sıradaki fiziksel kapıdır.",
    ],
  },