ASELSANMicrokernel
S575 · AYRI İŞLEM VE TERMİNAL KANITI

S575 · R2 supported-profile bağımsız fiziksel tekrar

Bu statik detail route yalnız S575 kapısına aittir. Kaynak, focused test, regresyon, sınır ve yayın kanıtları komşu kapıların başarılarıyla birleştirilmez.

  1. PASSGLOBAL UMBRELLA PARTIAL · DAR PASS

    S575 · R2 supported-profile bağımsız fiziksel tekrar

    S575, S574 aday dondurmasının ayrı kampanya kimliğiyle yapılan tek ve yetkili board-rpi5 fiziksel tekrarını PASS olarak arşivler. Dört exact4 SD yazımı, dört byte-eş read-back, bir eject, bir UART capture ve operatör tarafından bildirilen güç aç/kapa geçişleri tamamlandı; ham UART çıktısı değişmez ve yeniden çalıştırılamaz kanıttır. PASS yalnız supported-profile Boot-to-UI-ready gözlemidir; görünür scanout, input, modem, ses, üretim veya R2 saha kabulü iddiası taşımaz.

    Doğrulanan kanıt

    • Campaign=r2-ws01-board-rpi5-repeat-01; predecessor=S574 PASS; candidate image=945920 B / a24f4d24e838cd7d1a6b2ff217d864e9c4b08f12ce7dd165b302e8073a980b04.
    • Card TISD64G serial=0x425001fa, raw CID=009f5449534436344761425001fa01a1, size=62549655552 B; Debug Probe serial=E6647C74033F9131; UART=/dev/cu.usbmodem214402 and /dev/tty.usbmodem214402.
    • SD transaction=1; file writes=4; byte-exact read-backs=4; manifest read-back=PASS; ejects=1; UART opens=1; operator power transitions=2; independently observed power transitions=0.
    • Raw UART=evidence/rpi5/r2/sequence-575-supported-profile-repeat-01/s575-uart.raw; 20610 B; SHA-256=96bc5fe999115e10f8b4603868f58a055d3dc1d41b4d08e59b021a0f5ff77602; mode=0444; nlink=1.
    • Markers BOOT8G=1, BOOT8H=1, S541 handoff=1, S538 route=1, BOOT_TO_UI_READY=1; G8H/S541/S538 errors, panic and unknown IRQ markers=0.
    • Focused proof=25/25; implementation 28142 B / 08e9912b7882bd2acb2cb730e02663bea35536c09fb259414686368a1ea62cd7; focused test 27996 B / 4c62aad02aee639ceeb40fca8baacef82af5598846c157de2394ca9c1d55a6a1; proof 6536 B / 14bd464c744462e4b72aa599d821d7873ec1cb3dfca116968b2fdc3c7665c400.
    • Evidence manifest EVIDENCE_SHA256SUMS=810 B / b022ace1aa67252153bc14a108222a7d2c790db998f3f3d2257e0fd390dbf9ae; package is immutable (directory=0700, files=0444, nlink=1).

    Sınır / bekleyen kanıt

    • Bu PASS yalnız board-rpi5 supported-profile Boot-to-UI-ready fiziksel tekrarını kapsar; görünür ekran scanout'u ve dokunmatik input gözlenmedi.
    • Güç geçişleri operatör tarafından bildirildi; bağımsız elektriksel gözlem sayısı sıfırdır.
    • S546 fiziksel RED ve S540/S543 sınırları değişmeden korunur; S575 bunları yeniden yazmaz.
    • S576–S707 runtime gözlemleri, modem, ses, güncelleme, üretim, RF/EMC/SAR ve saha kabulü tamamlanmış değildir.
    • RUNBOOK_EXECUTED_IN_S575=YES; yeni fiziksel koşu ve ham çıktı yeniden okuması yasaktır.

    Terminal komutları ve gerçek yanıtlar

    S575 fiziksel oturumu kaynak/test oturumundan ayrıdır; ham UART dosyası değişmez ankraj olarak saklanır.

    S575 focused source and evidence contract
    TAM ÇIKTIexit 0
    Komut
    $ CARGO_INCREMENTAL=0 cargo test -p aselsan_microkernel_simulation --test g8l_target_dispatch_scheduler_owner_scheduler_mutation_production_migration_lifecycle_s575_r2_supported_profile_independent_physical_repeat -- --test-threads=1
    Yanıt
    test result: ok. 25 passed; 0 failed; 0 ignored; 0 filtered out
source/test/proof/evidence identities exact; runtime and physical scope are explicit
    S575 one-shot supported-profile physical repeat
    TAM ÇIKTIexit 0
    Komut
    $ fresh SD preflight → 4 writes → 4 read-backs → eject → UART pre-arm → one power-on → capture closeout
    Yanıt
    PASS_IMMUTABLE_ARCHIVED; raw=20610 B / 96bc5fe999115e10f8b4603868f58a055d3dc1d41b4d08e59b021a0f5ff77602
BOOT_TO_UI_READY=1; BOOT8H=1; errors/panic/unknown=0; operator power transitions=2, independent=0

    Fiziksel koşu tamamlandı; S575 yeniden çalıştırılamaz.