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

S546 · R1 üçüncü fiziksel boot/UART koşusu — RED

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

    S546 · R1 üçüncü fiziksel boot/UART koşusu — RED

    S546 üçüncü gerçek RPi5 boot/UART fiziksel koşusudur ve yeni bir hata sınıfıyla immutable RED'dir: sessiz pre-BOOT8H takılması (Boot8hAbsentPrimaryFailSilent). Exact S545 candidate (945760 B / ed1901a9…08d467) tek yetkili transaction ile karta yazıldı, UART güçten önce exclusive pre-arm edildi ve tek power-on tüketildi; kart ASELSAN/BOOT8G'ye kadar boot etti, sonra hiçbir UART çıktısı gelmedi ve host >60 s sessizlik sonrası capture'ı kapattı (capture_closed=true terminal_seen=false grace_complete=false success=false). Yeni immutable raw 16990 B / a71a9107…3e485d / 0444 / nlink=1'dir: BOOT8G=1, BOOT8H=0, BOOT_TO_UI_READY=0, S538 route=0, S541 handoff=0 ve S541ERR/S538ERR/panic/unknown IRQ=0/0/0/0 — S540 ve S543'ün aksine hiçbir hata marker'ı yoktur. Kaynak nedeni deterministiktir: S544 boot hook'u S431–S535 ledger'ını ister, ledger'ın S430 çapası yalnız G8h erken dönüşünün (exceptions.rs:1326) altındaki CPU1 generic-timer PPI27 yolunda (exceptions.rs:3173) üretilir, hook AcceptanceLedgerNotReady (7) ile düşer, CPU1 secondary_fail(43, 544, 7) yayımlar ve CPU0 primary_fail sessiz park eder — UART satırı yoktur. Focused 24/24 PASS yalnız RED kaydının bütünlüğünü doğrular; fiziksel PASS değildir ve S540 ve S543 fiziksel RED değişmez. RUNBOOK_EXECUTED_IN_S546=YES, physical observations=1, operatör-bildirimli güç geçişi=2 (bağımsız gözlem=0), Boot-to-UI=false, R1 acceptance=false'dur. Remediation zinciri plan olarak S569 (kaynak) → S570 (freeze) → S571 (fiziksel koşu) şeklindedir.

    FAIL nedeni

    S546 immutable fiziksel RED'dir; koşu tekrarlanamaz ve geriye dönük yükseltilemez — hiçbir sınıflandırıcı sonucu veya state geçişi RED'i PASS yapamaz.

    Doğrulanan kanıt

    • S546 dar fiziksel kapısı immutable RED'dir ve yeni hata sınıfı Boot8hAbsentPrimaryFailSilent olarak adlandırılır: BOOT8G görüldü, BOOT8H ve tüm R1 marker'ları yok, hiçbir hata/panic/unknown-IRQ satırı yok.
    • Operatör tek S546 transaction'ını yetkilendirdi: kart (serial 0x425001fa) fresh doğrulandı, exact S545 dört-dosya paketi staged write/byte-exact read-back/sync/eject ile yazıldı; flash preflight ve exact4 sonucu PASS'tir.
    • Flash log 246 B / 4d64a7bfa152e8e1b69925cd35bef9c4a735b4e32de49b8dc9069186917f5ccf; flash script 23845 B / cccc58885051484ca92846040457453a931aedbd7cdd0910ab5d1233c1fc11ef SHA-256'dır.
    • Exact Debug Probe UART'ı güçten önce exclusive 115200/8N1 + TCIFLUSH + fresh O_EXCL raw inode ile pre-arm edildi; capture wrapper 351 B / f3f6e84f1af7335a39d241c7968235bad5cb20e27c64da92930a8f6f99b40420, audited S540 engine 20572 B / 9f001c4cec407bbb4310ca0f89d9cc7e8a1be32307ba8d7ea0541e315ff1efec SHA-256'dır.
    • Immutable raw 16990 B / a71a9107b4b6ea351eb65720a6b82486105fffdb931563d1c39e8a381c3e485d SHA-256 / mode 0444 / nlink 1'dir; wire şekli leading NUL=7, toplam NUL=22 ve CR/LF=206/206 değerlerini korur.
    • Capture kapanışı host tarafındadır: capture_closed=true terminal_seen=false grace_complete=false success=false (>60 s sessizlik sonrası host SIGTERM); success marker'ı hiç gelmedi.
    • Marker matrisi BOOT8G=1, BOOT8H=0, BOOT_TO_UI_READY=0, S538 route=0, S541 handoff=0, S541ERR=0, S538ERR=0, panic/PANIC=0/0 ve unknown/Bilinmeyen IRQ=0/0'dır; hata marker'sız kesilme S540/S543'ten farklı yeni bir sınıftır.
    • Daraltılmış kaynak nedeni deterministiktir: S544 boot hook'u S431–S535 ledger'ının tamamlanmasını ister; ledger'ın S430 çapası yalnız exceptions.rs:3173'teki CPU1 generic-timer PPI27 yolunda üretilir ve bu yol G8h erken dönüşünün (exceptions.rs:1326) altındadır — G8h'den önce hiç koşmaz, G8h sonrası timer kapalıdır.
    • Hook bu yüzden AcceptanceLedgerNotReady (diagnostic 7) döner, CPU1 secondary_fail(ERR_PRIMARY_VALIDATION=43, 544, 7) yayımlar, CPU0 wait_for_cpu1_epoch hatayı görür ve primary_fail hiçbir UART satırı yazmadan sessiz park eder; raw bu yüzden BOOT8G'de biter.
    • İkincil bulgu: primary_fail hiçbir şey yazmadığı için her pre-BOOT8H arızası UART'ta görünmezdir; remediation hem R1 marker zincirini erişilemeyen ledger'dan ayırmalı hem de G8h primary failure yoluna bounded bir UART hata satırı eklemelidir.
    • Kernel modülü kaydedilen RED'i sabitler: S546_PHYSICAL_RUN_RECORDED=true, S546_PHYSICAL_VERDICT_PENDING=false, S546_PHYSICAL_GATE_RED=true, S546_RED_CLASS=Boot8hAbsentPrimaryFailSilent, S546_RAW_BYTES=16990 ve S546_RAW_SHA256 exact bağlanır; Pass iddiası hiçbir istekte kabul edilmez.
    • classify(raw) sınıflandırıcısına RedBoot8hAbsentPrimaryFailSilent varyantı eklendi: BOOT8H yok + BOOT8G>=1 + sıfır hata/panic/unknown-IRQ token'ı bu sınıfı verir; focused test immutable S546 raw'ını include_bytes! ile bu sınıfa, S540 raw'ını RedAwaitingPreflight'a ve S543 raw'ını RedCpu0ReadinessTimeout'a değişmeden sınıflandırır.
    • Focused target 1 grup / 24 passed / 0 failed / 0 ignored / 0 filtered verdi; bu yalnız RED kaydının bütünlüğünü doğrular, fiziksel PASS değildir.
    • Implementation 28279 B / 4e45fbd2d02a275ac2395f0e3ec26a76d72ece51afbf1ac247882d5ca149cb05; focused test 34015 B / 4d9b7da4d243e5311ccb8404b1660b32cebcc6cfc54bd43ec1cd1abb6c660935 SHA-256'dır.
    • Proof 8626 B'dır.
    • RUNBOOK_EXECUTED_IN_S546=YES: on adımlı runbook eksiksiz uygulandı (preflight PASS, staged write/read-back/sync/eject PASS, UART pre-arm PASS, tek power-on, host capture kapanışı, operatör power-off); bu partideki tek runbook'u koşulmuş S-kapısıdır.
    • S546 sayaçları: physical observations=1, SD write transaction=1 (4 payload commit), UART open=1, yeni immutable raw=1; güç geçişleri operatör-bildirimli 2, bağımsız gözlem 0'dır.
    • S540 raw'ı 20525 B / fc3f934543ab5d829ad8a16e2b332dd2bdc35a81c6c0f6423256101448e45114 ve S543 raw'ı 20509 B / 1f1111a1a39ab6263b505b0889d025df19d5c48bb2f84e30708412b0da47dc11 byte-exact immutable RED olarak korunur; hiçbir sonuç bunları yükseltmez.
    • Otomatik S547 promotion yoktur; remediation zinciri plan olarak S569 (kaynak: R1 marker zincirini erişilemeyen ledger'dan ayır + G8h primary_fail'e bounded UART hata satırı), S570 (candidate freeze) ve S571 (ayrı yetkili fiziksel koşu) şeklindedir — numaralandırma taahhüt değildir.

    Sınır / bekleyen kanıt

    • S540 ve S543 fiziksel RED immutable kalır; S546 sonucu bunları ne yükseltir ne yeniden yorumlar.
    • BOOT_TO_UI_READY hiçbir konumda görülmedi; Boot-to-UI physically observed=false ve R1 acceptance=false kalır.
    • Güç geçişleri yalnız operatör bildirimlidir (2); bağımsız elektriksel gözlem 0'dır ve sessiz takılmanın board-içi zamanlaması UART'tan ölçülemez.
    • primary_fail UART'a hiçbir şey yazmadığı için pre-BOOT8H arızaları görünmezdir; bu, S569 kaynak remediation'ının kapsamındadır.
    • Otomatik S547 promotion yoktur; S547–S568 sıfır donanım iddialı source-model kapılar olarak devam eder ve S569 → S570 → S571 remediation zinciri plan olup taahhüt değildir.

    Terminal komutları ve gerçek yanıtlar

    S546 fiziksel kapısı immutable RED'dir (sessiz pre-BOOT8H takılması); focused 24/24 PASS yalnız kaydın bütünlüğünü doğrular. S540 ve S543 RED raw'ları ve kararları değişmez.

    S546 exact target, SD write/read-back ve eject
    TAM ÇIKTIexit 0
    Komut
    $ run zero-write exact target preflight$ scripts/flash-rpi5-s546-r1-candidate.sh EXACT_AUTH S545_PACKAGE /Volumes/ASELSANBOOT /dev/disk6
    Yanıt
    zero-write preflight=PASS; write/eject/UART/power=0/0/0/0
candidate=945760 B / ed1901a9…08d467; card=0x425001fa
PASS: S546 reachable-producer candidate exact4 staged/commit/read-back/sync/eject
S546_LOCK RETAINED=YES DEVICE=/dev/disk6 EJECT=PASS UART=NOT_OPENED POWER=NOT_RUN
flash exit=0
    S546 tek power-on immutable UART koşusu — sessiz pre-BOOT8H RED
    TAM ÇIKTIexit 1
    Komut
    $ strict-build S546 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
capture_signal_before_complete=YES (host SIGTERM after >60 s quiescence)
capture_closed=true terminal_seen=false grace_complete=false success=false
raw=16990 B / a71a9107…3e485d / 0444 / nlink1; leading NUL=7; CR/LF=206/206
BOOT8G=1; BOOT8H=0; BOOT_TO_UI_READY=0; S538ERR/S541ERR/panic/unknown IRQ=0
physical verdict=RED Boot8hAbsentPrimaryFailSilent; no error marker on any line
operator power-off reported; UART holders=0; independent electrical observation=0

    TAM ÇIKTI · exit 1 fiziksel RED sonucudur; capture helper arızası değildir — success marker'ı hiç gelmedi ve host kapattı.