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

S571 · Fiziksel boot/UART koşusu — immutable PASS

Bu statik detail route yalnız S571 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

    S571 · Fiziksel boot/UART koşusu — immutable PASS

    S571 host sözleşmesi ve ayrı yetkili fiziksel kapı PASS'tir. Exact S570 adayı exact /dev/disk6 karta staged exact4 olarak yazıldı, dört dosya byte-eş geri okundu, manifest doğrulandı ve kart eject edildi. Debug Probe UART capture_armed=YES sonrasında operatör tek power-on bildirdi; 20947 B immutable raw BOOT8G, BOOT8H, S541 handoff, S538 route ve BOOT_TO_UI_READY marker'larını exact-once, bütün hata/panik marker'larını sıfır kaydetti. Capture terminal grace ile durable kapandı ve operatör power-off bildirdi; RUNBOOK_EXECUTED_IN_S571=YES. Visible scanout/touch gözlenmediği ve S547–S568 device evidence taşımadığı için genel R1 kabulü hâlâ false ve umbrella PARTIAL'dır.

    Doğrulanan kanıt

    • S571 fiziksel kapı PASS; host contract=PASS, R1 umbrella=PARTIAL ve otomatik promotion=false'dur.
    • Exact aday 945920 B / a24f4d24e838cd7d1a6b2ff217d864e9c4b08f12ce7dd165b302e8073a980b04 olarak S570 paketine bağlanır; S545 predecessor 945760 B / ed1901a9…8d467 ayrıca korunur.
    • No-token preflight Debug Probe E6647C74033F9131, /dev/disk6 + /Volumes/ASELSANBOOT, root disk3 ayrımı ve dört S545 predecessor payload'ını doğruladı; built-in reader nedeniyle diskutil external physical count=0 kalması kart yokluğu değildir.
    • Operatör pi_power_off_assertion_received=true ve authorization_received=true'dur. Bir SD transaction'da 4 write + 4 byte-exact read-back + manifest PASS + 1 eject tamamlandı; retained lock RERUN_FORBIDDEN=YES'tir.
    • UART wrapper 339 B / 6d75a29a…18f7b9, audited engine 20572 B / 9f001c4c…f1efec ve compiled binary 35224 B / de1af99b…882664 kimliğine bağlıdır; TIOCEXCL, 115200/8N1, TCIFLUSH ve fresh O_EXCL raw power öncesi arm edildi.
    • Immutable raw 20947 B / 8eba34fcd970d7b5dd276690013b5513ec426020c915356d98d6e5bf0b4e1c83, mode 0444, nlink=1'dir; capture terminal_seen/grace_complete/durable/success=true kapandı.
    • Raw matrisi BOOT8G/BOOT8H/S541 handoff/S538 route/BOOT_TO_UI_READY=1/1/1/1/1; G8HERR/S541ERR/S538ERR/panic/unknown-IRQ=0/0/0/0/0'dır. Kart raw CID'i UART bootloader çıktısında exact-once gözlendi.
    • Flash/build/capture/closeout logları 644/769/752/1319 B; EVIDENCE_SHA256SUMS 606 B ve 7/7 entry PASS'tir. İlk no-card ve card-present preflight logları tarihsel sırayı bozmadan immutable korunur.
    • Focused test 1 grup / 17 passed / 0 failed / 0 ignored / 0 filtered verdi.
    • Implementation 25250 B / e62d4956968a48549c8f1a602a76b22b54d80f379514641ebec261adecb38079; focused test 26455 B / 0f7256ac1171d7bd0f3e80c38ed7741a8d12a6015bb5dc59bd87e9559fb68336; PASS proof 7633 B / e744ae05aee19b189303d6469bf0bc71edeca6d59e1cabf4b0286dcfa3962d56 SHA-256'dır.
    • S540, S543 ve S546 immutable fiziksel RED kalır; S571 dördüncü ve ilk remediation-sonrası fiziksel PASS gözlemidir.
    • physical/device operations=1, runtime observations=1, physical observations=1, Boot-to-UI UART marker=true; visible scanout/input=false ve R1 acceptance=false'dur.

    Sınır / bekleyen kanıt

    • S571 tek-seferlik transaction tamamlandı; retained lock nedeniyle yeniden çalıştırılamaz.
    • Güç geçişleri operatör bildirimidir; bağımsız elektrik ölçümü sıfırdır.
    • BOOT_TO_UI_READY UART marker'ı fiziksel PASS'tir fakat raw route SCANOUT=NOT_OBSERVED ve INPUT=NOT_OBSERVED der; görünür panel/touch PASS iddiası yoktur.
    • S547–S568 device evidence taşımadığı için genel R1 acceptance=false ve umbrella=PARTIAL kalır.
    • RUNBOOK_EXECUTED_IN_S571=YES; SD writes/read-backs/ejects=4/4/1, UART/power/new-raw=1/2/1.

    Terminal komutları ve gerçek yanıtlar

    S571 focused host sözleşmesi
    TAM ÇIKTIexit 0
    Komut
    $ CARGO_INCREMENTAL=0 cargo test -p aselsan_microkernel_simulation --test g8l_target_dispatch_scheduler_owner_scheduler_mutation_production_migration_lifecycle_s571_r1_frozen_manifest_physical_boot_uart_run -- --test-threads=1
    Yanıt
    test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
physical gate=PASS; host contract=PASS; runbook=YES; overall R1=false
    S571 yetkili staged write/read-back/eject
    TAM ÇIKTIexit 0
    Komut
    $ scripts/flash-rpi5-s571-r1-candidate.sh <absolute-S570-package> /dev/disk6 /Volumes/ASELSANBOOT <exact-operator-authorization> S571_PI_UNPOWERED_ASSERTED
    Yanıt
    PASS: S571 frozen-manifest candidate exact4 staged/commit/read-back/sync/eject
READBACK=PASS EJECT=PASS UART=NOT_OPENED POWER=NOT_RUN
S571 lock retained; RERUN_FORBIDDEN=YES
    S571 exclusive UART physical PASS
    TAM ÇIKTIexit 0
    Komut
    $ <fresh-capture-binary> /dev/cu.usbmodem21302 evidence/rpi5/r1/sequence-571-physical-boot-uart/s571-uart.raw
    Yanıt
    capture_armed=YES
terminal_marker_seen=[R1:S536] BOOT_TO_UI_READY start_offset=20919 end_offset=20945
capture_closed=true terminal_seen=true grace_complete=true exact_bytes=20947 mode=0444 durable=true success=true