G8f quiescent atomic handoff direct raw ile fiziksel BOOT8F 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_g8f_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!(
                "G8f PASS: release_gen={} ack_gen={} source_cpu=0 target_cpu=1 ack_ticks={} proof_ticks={} cpu1_irqs=0 new_sgi=0 new_gic_writes=0 boot8f_tick={}",
                evidence.release_generation,
                evidence.ack_generation,
                evidence.ack_tick_delta(),
                evidence.proof_tick_delta(),
                evidence.boot8f_ticks,
            );
            ExitCode::SUCCESS
        }
        Err(error) => {
            eprintln!("{error}");
            ExitCode::FAILURE
        }
    }
}

  {
    id: "rpi5-g8f-physical-boot8f-pass",
    date: "2026-08-21",
    sequence: 80,
    status: "passed",
    title:
      "G8f quiescent atomic handoff direct raw ile fiziksel BOOT8F PASS verdi",
    summary:
      "Sıra 79'dan sonra kullanıcı Pi'yi tamamen kapattı; exact Sıra 76 kartı, Debug Probe ve UART kabloları oynatılmadan 60 saniye güçsüz tutuldu. Üç örnekli bağımsız pre-arm audit aynı USB/IOSerial/session/path/inode kimliğini, boş portu ve temiz transport geçmişini doğruladı. Değişmemiş helper yeni exclusive raw'ı bir kez açıp same-descriptor 115200/8N1/raw/flow-off ve TCIFLUSH ile güçten önce arm etti; üç pre-power örneği on saniye boyunca exact bir NUL ve sıfır non-NUL baytta kaldı. Tek power-on sonrasında helper BOOT8F marker'ını gördü, grace'i tamamladı ve exit 0 ile değişmemiş 17.363 bayt / e70e1a9a2cf35f9079ee1b1a73d992106bf5ee9a19f1bbf2628582e836ea5068 raw'ı mode 0444 kapattı. Authoritative validator unchanged raw üzerinde iki kez, arşivdeki byte-identical kopyada bir kez doğrudan exit 0 verdi; leading/total NUL=1/1 frozen maximum 5 sınırındadır. Elli marker canonical sırada, G8F0/G8F1/BOOT8F exact-once ve bütün hata marker'ları sıfırdır. BOOT8E 1000→release 1004→ack 1004→BOOT8F 1005, release/ack/proof delta=4/0/1 ve bütün yeni-work sayaçları 0 doğrulandı. Bu yalnız post-BOOT8E CPU0→CPU1 quiescent atomic handoff fiziksel PASS'idir; Sıra 77–79 rejected raw'ları korunmuş, birleştirilmemiş ve bu kabulde kullanılmamıştır.",
    evidence: [
      "Fiziksel boot exact Sıra 76 kartına bağlıdır: 279.936 B / 316be86f1d11c3522b550abd90c04beb77f0d12f01625e8e6d3bc014672c0f21 imaj, 78.703 B / 40a2fbe9…ca00 DTB, 501 B / 1248275c…d76b config ve 248 B / 73874fad…769c SHA256SUMS; kart yazım/readback manifesti 3/3 ve cmp 4/4 PASS'tir.",
      "Sıra 79 sonrasında kullanıcı Pi'yi tamamen kapattı; exact kart, Debug Probe ve UART wiring untouched tutularak 60 saniye güç kesildi.",
      "Üç pre-arm örneği/on saniye boyunca USB object 0x100004496, IOSerial object 0x1000044a7, session 783935390455, address 7, serial E6647C74033F9131, location 0x02144000 ve cu/tty inode 799/801 stabil kaldı; `lsof` free ve bounded transport error sayısı 0'dır.",
      "Helper kaynağı exact 7.244 B / 58e8fb940ad0b17adf3b895a13b844647e8524d99136874ef2b4bedc1ff23e90; binary exact 35.112 B / 5e0f78f60b2ddb7ff5cf5d1c446cf17260cbde023f9ad6270524b74463cabedc ve değişmemiştir.",
      "Yeni exclusive raw tek open ile fd 3 üzerinde same-descriptor 115200/8N1/raw/flow-off, `TCIFLUSH` ve güçten önce `capture_armed=YES` verdi; üç pre-power örneği/on saniye exact bytes/NUL/non-NUL=1/1/0 kaldı.",
      "Helper exit 0: `terminal_marker_seen=ASELSAN/BOOT8F bytes=16445`, `terminal_grace_complete=true`, `capture_closed=true terminal_seen=true exact_bytes=17363 mode=0444`.",
      "Capture boyunca USB identity/session stabil, disconnect/transaction error 0/0 kaldı; helper close sonrasındaki tek endpoint 0x83 abort normal descriptor teardown'ıdır ve port kapanıştan sonra free'dir.",
      "Immutable direct raw exact 17.363 B / e70e1a9a2cf35f9079ee1b1a73d992106bf5ee9a19f1bbf2628582e836ea5068 ve mode 0444'tür.",
      "Raw framing audit: leading/total/non-leading NUL=1/1/0, maximum=5; CR/LF/CRLF=248/248/248, bare CR/LF=0/0, NUL'sız UTF-8 PASS, forbidden non-NUL control=0 ve final CRLF PASS.",
      "Elli canonical ASELSAN marker sıralıdır; G8F0/G8F1/BOOT8F count=1/1/1, error/G8FERR/panic/unknown-marker/unknown-IRQ/unhandled-IRQ/data-abort/instruction-abort count'ları 0'dır.",
      "Marker offsetleri G8D0/G8D1/G8D2/BOOT8D=13263/13474/13630/13876, G8E0/G8E1/G8E2/BOOT8E=14154/14474/14776/15150 ve G8F0/G8F1/BOOT8F=15617/16035/16422 olarak immutable raw üzerinde ölçüldü.",
      "Authoritative validator unchanged capture üzerinde iki kez ve arşivdeki byte-identical kopyada bir kez doğrudan exit 0 verdi; validator binary SHA-256 2efea7bd6cd75e71e5a48a2a8074ee2c0451e16643daec08b8a044fea463a7c3'tür.",
      "Strict sonuç release_gen/ack_gen=1/1, source/target CPU=0/1, ACK_TICKS=0, proof_ticks=1 ve boot8f_tick=1005'tir; BOOT8E→release→ack→BOOT8F tick zinciri 1000→1004→1004→1005, delta 4/0/1'dir.",
      "NEW_CPU1_IRQS, NEW_SGI_SENDS/DELIVERIES/ACKS/EOIS, NEW_RESCHED, NEW_WAKEUPS, NEW_TASK_RUNS ve NEW_GIC_WRITES sayaçlarının tümü 0; SCOPE=QUIESCENT_ATOMIC_HANDOFF_ONLY'dir.",
      "Complete stage-scoped G7a–G8f validator zinciri 10/10, `make verify-rpi5-g8f-host` 35/35 ve iki bağımsız marker/field/SEC audit'i PASS verdi.",
      "Sıra 77 transport-invalid; Sıra 78 leading NUL 24>5 ve Sıra 79 leading NUL 17>5 olarak ayrı fail-closed rejection'lardır. Raw baytları Sıra 80 ile birleştirilmedi, trim/edit/repair için kullanılmadı.",
      "Evidence arşivi `evidence/rpi5/g8f/sequence-80-physical-pass/`; README exact 5.319 B / ae1031d87cfca2527776453e11eeceab0079fa93be1002f2e437c0ad06ff9369.",
      "EVIDENCE_SHA256SUMS exact 640 B / 0b0c4384f4e5404395253a6fc24efb0553c42a79a3057472d6dffe95227147e6 ve payload 7/7 PASS; temp↔archive raw, helper 2/build ve package 4/build cmp, package manifest 3/3 ve yedi payload mode 0444 doğrulandı.",
      "G8f staged proof exact 30.076 B / d5615cff556915df0ec70b474362402f13edd3ee5366e24b38b09dc916192d60; physical proof exact 7.817 B / 5a20320dd81d47454b95ebb3e68b81acb0b626614b27aad99ea9d2f153b98e21 ve bağımsız audit'te exact eşleşti.",
    ],
    terminalSessionsNote:
      "Oturumlar kontrollü power-cycle/capture, unchanged-direct-raw validation ve bağımsız archive audit'ini ayrı gösterir. Sıra 77–79 tanısal GO çıktıları fiziksel kabul kanıtına taşınmamıştır.",
    terminalSessions: [
      {
        id: "g8f-seq80-controlled-powercycle-capture",
        title: "60 saniye power-off, stabil pre-arm ve direct BOOT8F capture",
        commandLines: [
          "verify user-confirmed full power-off for 60 seconds with card, probe and UART wiring untouched",
          "sample USB/IOSerial/session/path/inodes three times over ten seconds; verify lsof-free and bounded transport errors zero",
          "open one new exclusive raw, configure fd 3, TCIFLUSH and publish capture_armed=YES before the single power-on",
          "capture through BOOT8F and terminal grace, then fsync, chmod 0444 and close",
        ],
        outputLines: [
          "USB/IOSerial/session/path/inodes stable=3/3 · lsof=FREE · transport errors=0",
          "pre-power samples=3/10 s · each bytes/NUL/nonNUL=1/1/0 · frozen maximum=5",
          "terminal_marker_seen=ASELSAN/BOOT8F bytes=16445 · terminal_grace_complete=true",
          "capture_closed=true terminal_seen=true exact_bytes=17363 mode=0444 · helper exit=0",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g8f-seq80-direct-validation-and-stage-audit",
        title: "Unchanged raw direct validator ve G7a–G8f stage zinciri",
        commandLines: [
          "run the authoritative G8f validator twice directly on the immutable capture",
          "run the complete stage-scoped G7a through G8f validator chain and make verify-rpi5-g8f-host",
          "audit framing, 50-marker order, exact fields, SEC1..SEC13 and forbidden markers",
        ],
        outputLines: [
          "direct validator runs=2/2 PASS · leading/total NUL=1/1 <= 5 · raw unchanged",
          "G7a-G8f stage validators=10/10 PASS · verify-rpi5-g8f-host=35/35 PASS",
          "BOOT8E/release/ack/BOOT8F=1000/1004/1004/1005 · delta=4/0/1",
          "markers=50 canonical · G8F0/G8F1/BOOT8F=1/1/1 · all errors/new work=0",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g8f-seq80-independent-archive-audit",
        title: "Byte-identical arşiv, 7/7 manifest ve üçüncü direct validation",
        commandLines: [
          "verify temp-to-archive raw, helper source/binary and package-file byte identity",
          "verify EVIDENCE_SHA256SUMS, package SHA256SUMS and mode 0444 for all seven payloads",
          "run the authoritative validator directly on the archived raw and verify final document hashes",
        ],
        outputLines: [
          "temp↔archive raw=PASS · helper2/build=PASS · package4/build=PASS · package manifest=3/3 PASS",
          "EVIDENCE_SHA256SUMS payload=7/7 PASS · payload mode0444=7/7 PASS",
          "archived direct raw validator exit=0 · framing/marker/error audit=PASS",
          "README=5319/ae1031d8…9369 · SUMS=640/0b0c4384…147e6 · docs=d5615cff…192d60/5a20320d…b98e21",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
    ],
    limitations: [
      "Fiziksel PASS yalnız post-BOOT8E CPU0→CPU1 QUIESCENT_ATOMIC_HANDOFF_ONLY kapsamıdır; generic SMP scheduler, migration, load balancing, TLB shootdown, CPU2/CPU3, hotplug ve soak kanıtlanmaz.",
      "Sıra 77 transport-invalid ve Sıra 78–79 leading-NUL rejection kayıtları immutable geçmiş olarak kalır; bu PASS onları yeniden sınıflandırmaz veya birleştirme/trim'e izin vermez.",
      "Capture ve immutable archive tamamlandıktan sonra kullanıcıdan final power-cut teyidi henüz gelmedi; bu tamamlanmış fiziksel kanıtı değiştirmez ancak Pi'nin güncel güç durumu için yeni iddia kurulmaz.",
      "Website yayını yalnız canonical custom domain üzerinden doğrulanır; bu ortamda 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.",
    ],
  },