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

S543 · R1 remediated fiziksel boot/UART retry — RED

Bu statik detail route yalnız S543 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. FAILGLOBAL UMBRELLA PARTIAL

    S543 · R1 remediated fiziksel boot/UART retry — RED

    S543 ikinci gerçek RPi5 boot/UART fiziksel koşusudur ve immutable RED'dir. Exact S542 candidate exact karta dört payload staged write/read-back/sync/eject ile yazıldı; Debug Probe E6647C74033F9131 /dev/cu.usbmodem21302 üzerinde exclusive 115200/8N1 + TCIFLUSH ile güçten önce pre-arm edildi ve tek yetkili power-on tüketildi. Yeni raw 20509 B / 1f1111a1a39ab6263b505b0889d025df19d5c48bb2f84e30708412b0da47dc11 / 0444 / nlink=1'dir: BOOT8H=1, S541 handoff=0, required BOOT_TO_UI_READY=0, S538 route=0, S541ERR Cpu0ReadinessTimeout=1, panic=0 ve unknown IRQ=0. Kaynak denetimi G8h'nin CPU1 PPI27'yi genel timer zincirinden önce tüketip terminalde timer'ı kapattığını, tek S541 CPU1 producer callsite'ının ise bu erken dönüşün altında kaldığını doğrular. Focused 18/18 ve selected S536–S543 8 grup / 137/137 PASS yalnız RED kaydının bütünlüğünü doğrular; fiziksel PASS değildir. Operatör power-off bildirdi, bağımsız elektrik gözlemi=0. RUNBOOK_EXECUTED_IN_S543=YES, supported-profile runtime/physical observations=1/1, Boot-to-UI=false, R1 acceptance=false, S543 rerun=false ve automatic S544 promotion=false'dur.

    FAIL nedeni

    S543 fiziksel kapısı RED'dir; website, focused test, build veya QEMU sonucu bunu PASS yapamaz.

    Doğrulanan kanıt

    • S543, S542'den ayrı simulation-only host evidence module, 18-test focused target, one-shot SD writer, sequence wrapper'lı audited UART capture engine, immutable raw, closeout log, evidence README, proof, Operations kaydı, Timeline/Yol Haritası açıklaması ve complete Code kartına sahiptir.
    • Dar fiziksel S543 status=RED; global R1 umbrella=PARTIAL'dır. Focused yazılım sonucu PASS olsa da fiziksel karar yükseltilmez.
    • S542 candidate image kimliği 941392 B / aa0c459b987c3f4c143b4eb14ce0ed655c2812e2a36516793e7bd8b27b60d87c SHA-256 olarak yeniden bağlandı.
    • Hedef kart serial 0x425001fa, raw CID 009f5449534436344761425001fa01a1, size 62549655552 B ve volume UUID 44ABB50F-DB63-3DB8-A6B2-C5303E3211E9 olarak fresh doğrulandı.
    • Debug Probe product/vendor/VID/PID ve exact serial E6647C74033F9131 yeniden doğrulandı; serial callout /dev/cu.usbmodem21302 idi.
    • Zero-write preflight PASS verdi: WRITE=0, EJECT=0, UART_OPEN=0, POWER=0.
    • Açık operatör yetkisi exact candidate/card/size token'ına bağlandı; one-shot retained lock aynı S543 transaction'ın tekrarını yasaklar.
    • SD transaction dört payload'ı stage/commit etti, her birini byte-exact read-back yaptı, sync uyguladı ve /dev/disk6'yı eject etti.
    • SD log 225 B / a2204aaec3c6657c14d8901a58ad13596c8091d32732c87a7c3c5a077db7f62c SHA-256 / 0444 / nlink=1'dir.
    • UART wrapper 351 B / b5c50b45f9a7517cad05ed2d8af369d6cb41d7fbc7909e5963fd7fb2d15476cb SHA-256 ile audited S540 capture engine'ini exact include eder.
    • Audited engine 20572 B / 9f001c4cec407bbb4310ca0f89d9cc7e8a1be32307ba8d7ea0541e315ff1efec SHA-256'dır.
    • Strict capture binary 35056 B / 6c42d307b9f607e2cb5dde4173d300d0951a37f0ed82d185b81a3aa44272dfca SHA-256 ve mode 0755 üretildi.
    • Capture aynı descriptor üzerinde TIOCEXCL, effective baud 115200, raw 8N1, no flow control, TCIFLUSH ve fresh O_EXCL raw inode sınırlarını güçten önce kurdu.
    • Tek yetkili power-on koşusu tüketildi; capture başarı marker'ı gelmediğinde sınıflandırma sonrası helper kontrollü durduruldu ve aynı raw inode 0444 finalize edildi.
    • Immutable raw 20509 B / 1f1111a1a39ab6263b505b0889d025df19d5c48bb2f84e30708412b0da47dc11 SHA-256 / mode 0444 / nlink 1 / inode 33802311'dir.
    • Raw wire şekli leading NUL=3, total NUL=3 ve CR/LF=213/213 değerlerini korur.
    • Raw exact card CID, iki ASELSANBOOT satırı, config.txt=415 B, bcm2712-rpi-5-b.dtb=78703 B ve Raspberry Pi 5 BCM2712 kimliğini taşır.
    • Marker matrisi BOOT8H=1, BOOT_TO_UI_READY=0, S538 route=0, S541 handoff=0, S541ERR=1, Cpu0ReadinessTimeout=1 ve S538ERR=0'dır.
    • Raw panic/PANIC=0/0, unknown IRQ=0 ve Bilinmeyen IRQ=0 kaydeder; bunların yokluğu required marker eksikliğini telafi etmez.
    • Raw sırası BOOT8H'den sonra exact terminal ASELSAN/S541ERR Cpu0ReadinessTimeout satırını gösterir; Boot-to-UI marker'ı hiçbir konumda yoktur.
    • exceptions.rs G8h interceptor'ını generic timer yolundan önce çağırır ve Some(...) sonucunda return eder.
    • service_s541_readiness_handoff_on_cpu1() production çağrısı source genelinde exact bir adettir ve G8h early-return sınırından sonra generic timer yolundadır.
    • G8h terminali CPU1 timer'ı disabled biçimde doğrular; raw FINAL_TIMER=OFF değerini ayrıca taşır.
    • CPU0 beş saniyelik bounded Ordering::Acquire wait sonunda readiness word sıfır kaldığı için exact Cpu0ReadinessTimeout ile fail-closed park etti.
    • Kök neden timeout süresinin kısalığı olarak değil, CPU1 producer callsite reachability hatası olarak sınırlandırılır.
    • Operatör power-on ve power-off bildirdi; reported transition=2, independent electrical observation=0'dır.
    • Power closeout sonrasında Mac external physical disk sayısı 0, Debug Probe exact serial ile mevcut, UART holders=0 ve raw hash/inode değişmezdi.
    • Power closeout log 892 B / f3702d624310fe4f44f39bcced9774c92baa6d7394d5c6a4572c37f27ba780e3 SHA-256 / 0444 / nlink=1'dir.
    • S543 focused evidence-integrity target 1 grup / 18 passed / 0 failed / 0 ignored / 0 filtered verdi.
    • S543 focused log 1741 B / 40ca4033477ce8a0182a7221b4d0a0a2763b0b7aa19a4e7b4bdafcf8a8a5b145 SHA-256 / 0444'tür.
    • Selected S536–S543 sekiz ayrı targetta 15+15+15+16+17+20+21+18 = 137 passed / 0 failed verdi.
    • Selected log 14088 B / 1ace684442e47bb943aca7b7731b69ff59fcdd2150e0ebea4da959b6a8ecef42 SHA-256 / 0444'tür.
    • S543 modelinin PASS verdict varyantı yoktur; exact observation yalnız RedCpu0ReadinessTimeout receipt'i üretir ve bütün material drift'ler fail-closed reddedilir.
    • Tarihsel S540 raw 20525 B / fc3f934543ab5d829ad8a16e2b332dd2bdc35a81c6c0f6423256101448e45114 / 0444 / nlink 1 ve fiziksel RED olarak byte-exact korunur.
    • S543 runbook counters: SD transaction=1, payload commits/read-backs=4/4, eject=1, UART open/capture=1/1, operator power transitions=2, new immutable physical raw=1.
    • RUNBOOK_EXECUTED_IN_S543=YES, supported-profile runtime observations=1, physical observations=1, Boot-to-UI physically observed=false ve R1 acceptance=false'dur.
    • S543_RERUN_FORBIDDEN=YES ve AUTOMATIC_S544_PROMOTION=NO'dur; S544 yalnız ayrı source remediation kapısı olabilir.
    • Yeni fiziksel deneme S544 değildir; reachable producer düzeltmesi, yeni candidate freeze/pre-arm ve ayrıca yetkilendirilen yeni immutable raw sırası zorunludur.

    Sınır / bekleyen kanıt

    • BOOT_TO_UI_READY ve S538 route marker'ları gerçek UART raw'da yoktur.
    • Panic/unknown IRQ yokluğu required marker eksikliğini telafi etmez.
    • Power geçişleri operatör beyanıdır; bağımsız elektrik ölçümü yoktur.
    • S540 ve S543 raw dosyaları ayrı immutable RED tarihçeleridir ve yeniden yazılamaz.
    • S544 otomatik kabul veya fiziksel retry değildir; önce reachable source remediation gerekir.
    • Yeni fiziksel retry yeni frozen candidate, yeni açık operatör yetkisi ve yeni immutable raw ister.
    • Boot-to-UI, scanout, input ve R1 demonstratör kabulü açık kalır.

    Terminal komutları ve gerçek yanıtlar

    S543 physical exit 1/RED ile focused 18/18 PASS aynı sonuç değildir: birincisi cihaz kabulünü reddeder, ikincisi bu reddin kanıt ve kaynak sınıflandırmasını doğrular.

    S543 exact target, SD write/read-back ve eject
    TAM ÇIKTIexit 0
    Komut
    $ run zero-write exact target preflight$ scripts/flash-rpi5-s543-r1-remediated-candidate.sh EXACT_AUTH S542_PACKAGE /Volumes/ASELSANBOOT /dev/disk6
    Yanıt
    zero-write preflight=PASS; write/eject/UART/power=0/0/0/0
candidate=941392 B / aa0c459b…d87c; card=0x425001fa; probe=E6647C74033F9131
exact4 stage/commit/read-back/sync/eject=PASS
retained one-shot lock; rerun forbidden; UART and power not run by writer
    S543 tek power-on immutable UART koşusu
    TAM ÇIKTIexit 1
    Komut
    $ strict-build S543 wrapper + audited capture engine$ pre-arm exact Debug Probe at exclusive 115200/8N1; operator power-on; capture; operator power-off
    Yanıt · FAIL
    capture armed before power-on: TIOCEXCL + 115200/8N1 + TCIFLUSH + O_EXCL
raw=20509 B / 1f1111a1…dc11 / 0444 / nlink1 / inode33802311
BOOT8H=1; S541 handoff=0; BOOT_TO_UI_READY=0; Cpu0ReadinessTimeout=1
physical verdict=RED; capture success marker absent; session exit 1
operator power-off reported; UART holders=0; independent electrical observation=0

    TAM ÇIKTI · exit 1 fiziksel RED sonucudur; evidence helper/test arızası değildir.

    S543 focused RED sınıflandırması ve source reachability
    TAM ÇIKTIexit 0
    Komut
    $ cargo test -p aselsan_microkernel_simulation --test g8l_target_dispatch_scheduler_owner_scheduler_mutation_production_migration_lifecycle_s543_r1_remediated_physical_boot_uart_retry_red -- --test-threads=1$ run S536-S543 focused targets serially
    Yanıt
    focused=1 group / 18 passed / 0 failed; verdict remains physical RED
selected=8 groups / 137 passed / 0 failed
source order: G8h interceptor/return < generic timer path < sole S541 producer callsite
G8h final timer=OFF; increasing CPU0 wait is not accepted as remediation
S540 raw and RED verdict byte-exact retained
    S543 Operations/Timeline/Code publication
    TAM ÇIKTIexit 0
    Komut
    $ npm run code:generate && npm run code:check$ npm test && npm run lint && npx tsc --noEmit && npm run build$ npm run deploy; cache-busted custom-domain byte-exact readback
    Yanıt
    S543 physical RED and focused software PASS remain visually and semantically separate
Code S543 binds the complete model, complete 18-test target and complete Operations record
Timeline/Yol Haritası preserve S540 and S543 as two distinct immutable RED events
website tests=815/815 PASS; lint=PASS; TypeScript exit=0/empty; static pages=681/681
Code registry=S1-S543 / 543 cards / 1593 exact excerpts / missing none
custom-domain deployment/read-back receipt is recorded separately after publication