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

S540 · R1 ilk fiziksel boot/UART koşusu — RED

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

    S540 · R1 ilk fiziksel boot/UART koşusu — RED

    S540 ilk gerçek Raspberry Pi 5 boot/UART koşusudur ve fiziksel kabul sonucu RED'dir. Exact S539 candidate staged transaction ile karta yazıldı, dört payload byte-exact read-back edildi, manifest doğrulandı, sync ve eject tamamlandı; Debug Probe exclusive 115200/8N1 raw capture olarak güçten önce pre-arm edildi. Tek operatör power-on koşusunda immutable 20525 B UART raw, `ASELSAN/BOOT8H` satırını bir kez ve ardından `ASELSAN/S538ERR AwaitingPreflight` satırını bir kez kaydetti; required `[R1:S536] BOOT_TO_UI_READY` ve S538 route marker sıfır kez görüldü. Panic ve unknown IRQ yoktur fakat required marker yokluğu tek başına RED'dir. Kaynak denetimi CPU1'in AwaitingS537 sonucunu kabul ettiğini, CPU0 completion'ın preflight istediğini ve arada mandatory readiness barrier/wait/retry bulunmadığını gösterir. Operatör daha sonra gücü kapattığını bildirdi; bağımsız elektrik gözlemi değildir. Focused evidence-integrity testi 17/17 PASS ile bu RED kararını sabitler. Boot-to-UI ve R1 acceptance false, S541 otomatik PASS değildir.

    FAIL nedeni

    Required Boot-to-UI marker gözlenmedi; fiziksel S540 kapısı RED'dir.

    Doğrulanan kanıt

    • S540, S539'dan ayrı host-evidence model, 17-test focused target, immutable raw, hazırlık logları, evidence README, proof, Operations kaydı, Timeline/Yol Haritası açıklaması ve Code kartına sahiptir.
    • Dar fiziksel gate status=RED ve global R1 umbrella=PARTIAL'dır. Focused kod testinin PASS olması fiziksel koşunun RED sonucunu değiştirmez.
    • Exact S539 image 933024 B / 8a32dbd93ca4420555d7e6f93516715e43cc70da8f145584f89383446fecc8fe, DTB 78703 B / 40a2fbe9c29e8b9a4912cf726a943068defb779fc052ec38e457a79c58abca00 ve config 494 B / 757934bb4b34777103d776666e942399a09e10c91537f3ae67486397f49652cd ile bağlandı.
    • Kart TISD64G serial 0x425001fa ve boot raw CID 009f5449534436344761425001fa01a1 olarak doğrulandı. Boot ROM config.txt için 494 B, bcm2712-rpi-5-b.dtb için 78703 B okudu.
    • İlk SD writer invocation image commit'inden sonra POSIX shell global loop-variable çakışması nedeniyle impossible prefix 4 doğrulamasında fail-closed durdu. 194 B / f9e41648…fd61 log 0444 olarak korunur; initial RED gizlenmez.
    • Read-only staged-prefix-1 audit image=S539, kalan final dosyalar=S125 ve kalan staged pairs=S539 sonucunu exact doğruladı. Düzeltme loop değişkenlerini namespace etti, package yolunu absolute bağladı ve yalnız exact staged-prefix-1 recovery modu ekledi.
    • Recovery aynı staged transaction'ın kalan üç payload'ını tamamladı; exact dört final dosya cmp/read-back, manifest, sync ve diskutil eject PASS oldu. Recovery log 399 B / b3f97725…ba6b ve mode 0444'tür.
    • SD hazırlığı bir staged transaction, iki command invocation, dört payload commit, dört read-back verification ve bir eject olarak kaydedildi. Eject sonrası /dev/disk6 ve mount Mac'te yoktu.
    • Capture helper source 20572 B / 9f001c4cec407bbb4310ca0f89d9cc7e8a1be32307ba8d7ea0541e315ff1efec; exact marker, line-boundary parser, TIOCEXCL, B115200, 8N1/raw, TCIFLUSH, O_EXCL output ve 0444 finalize sözleşmelerini taşır.
    • Capture helper PTY positive testi split marker, false boundary, stale-input flush, exact raw ve 0444 finalize'ı; negative testi non-line-boundary marker rejection, timeout ve immutable finalize'ı doğruladı.
    • Build log 543 B / 5433d4aa…c1cf0; control log 516 B / 02c44267…ff0 ve ikisi de 0444'tür. Probe serial E6647C74033F9131, device /dev/cu.usbmodem21302, aynı descriptor fd=3, TIOCEXCL, effective 115200/8N1 raw, flow off ve TCIFLUSH olarak pre-arm edildi.
    • Immutable s540-uart.raw 20525 B / fc3f934543ab5d829ad8a16e2b332dd2bdc35a81c6c0f6423256101448e45114, mode 0444 ve nlink=1'dir. Birth/modified/change 15:46:06/15:47:49/15:48:10 Europe/Istanbul'dur.
    • Raw wire shape 21 leading NUL, 21 total NUL, 213 CR ve 213 LF byte'tır. Outer capture pipeline operatör stop sinyali sonrasında exit 1 oldu; unsupported exact helper-exit iddiası kurulmaz.
    • Raw exact bir ASELSAN/BOOT8H ve exact bir ASELSAN/S538ERR AwaitingPreflight içerir. BOOT8H terminal error'dan önce gelir.
    • Raw [R1:S536] BOOT_TO_UI_READY=0, ASELSAN/S538 ROUTE=PRIOR_BOOT_TO_UI=0, panic/PANIC=0/0 ve unknown IRQ=0 içerir. Required marker yokluğu fiziksel RED için yeterlidir.
    • Ham kanıt CPU0'ın AwaitingPreflight'a ulaştığını ispatlar; daha dar upstream zamanlama nedeni iddia edilmez.
    • Kaynak denetimi service_s538_marker_route_preflight_on_cpu1 varlığını, timer callsite'ın AwaitingS537 ve PreflightArmed sonuçlarını kabul ettiğini ve CPU0 complete fonksiyonunun state.preflight yokluğunda AwaitingPreflight verdiğini doğrular.
    • CPU0 terminal entry exact bir completion çağrısı içerir; mandatory cross-CPU readiness handoff, bounded wait veya retry yoktur. Bu eksik handoff gözlenen terminal ordering'i mümkün kılar.
    • İlk S540 focused koşu 16/17 RED oldu; tek assertion generic `wait` substring'i nedeniyle `AwaitingPreflight` metnini yanlış eşleştirdi. Assertion gerçek wait/retry sembollerine daraltıldı, fiziksel marker/verdict beklentisi gevşetilmedi.
    • Final S540 focused target 17/17 PASS / 0 failed / 0 ignored / 0 filtered verdi. Selected S536–S540 zinciri 5 ayrı group / 78/78 PASS'tir.
    • S540 implementation 14809 B / e5ea9a134d3196ad7ee646252326f712fc031b9448b5e1fd83ddfff4163cf249; S541 live-callsite supersession'ını tarihsel S540 source snapshot'ından ayıran focused test 16418 B / 1e7d42fb3b89ee5251ac07671c6408df4e74de3c7d207299b2ec7cc8ebe226db SHA-256'dır.
    • Host-evidence module yalnız simulation/src/lib.rs içinde kayıtlıdır; zaten fiziksel olarak çalıştırılmış frozen kernel candidate'a eklenmemiştir ve yeni aygıt işlemi yapamaz.
    • Operatör bir power-on ve daha sonra `gücü kapattım` beyanı verdi. 15:52:18+03:00 closeout snapshot'ında raw hash değişmedi, UART holder=0, Debug Probe present ve disk6 absent idi; independent electrical transition observations=0 kalır.
    • RUNBOOK_EXECUTED_IN_S540=YES, supported-profile runtime observations=1, physical observations=1, UART open/capture=1/1 ve operator-reported power transitions=2'dir.
    • boot_to_ui_observed=false, r1_acceptance_complete=false, r1_demonstrator_ready=false ve automatic_s541_promotion=false'dur.
    • S540 tarihsel RED olarak immutable kalır. S541 ayrı remediation/independent evidence kapısı olmalı; yeni fiziksel retry açık yetki ister, yeni sıra ve yeni raw tüketir.
    • S540 website acceptance 789/789 PASS, lint PASS, TypeScript exit 0/empty output ve production build 675/675 static page PASS verdi; export 3456 file, 25 MiB üzeri dosya=0 ve export-tree digest 06fbfd4a…12b'dir.
    • Pre-publication Code registry S1–S540 için 540 unique gate / 1584 exact excerpt / missing=none / 0198acf9155c94f386d6cf5bd270040e4193360e385965c58b85e2f58556a593 SHA-256 üretti; mapping writer=69, focused=369, command=94, operation=8'dir.
    • İlk production deployment d46b4fd9-2684-403c-a6e0-4cc97f8a415d kimliğiyle tamamlandı: 3372 upload + 83 existing = 3455 asset ve _headers yayımlandı.
    • Cache-busted custom-domain readback /, /operations/, /operations/s540/, /operations/s539/, /code/, /code/s540/, /code/s539/, /timeline/, /yol-haritasi/ ve /karsilastirma/ için 10/10 HTTP 200 ve local out ile raw byte-exact verdi.
    • Immutable d46b4fd9 deployment hostname probe bu host ağından curl exit 28 / HTTP 000 timeout verdi; PASS sayılmadı.
    • Evidence-sync production deployment 8c6e6bf5-f0d0-4423-8bd6-4f2ea867565b kimliğiyle tamamlandı: 3370 upload + 85 existing = 3455 asset; aynı on custom-domain rota yeniden 10/10 HTTP 200 ve local out ile raw byte-exact verdi.

    Sınır / bekleyen kanıt

    • Raw AwaitingPreflight'ı kanıtlar; upstream S537'nin neden o anda hazır olmadığına ilişkin daha dar timing iddiası kurulmaz.
    • Power-off yalnız operatör beyanıdır; bağımsız elektrik ölçümü yoktur.
    • Focused 17/17 PASS fiziksel RED'i kapatmaz veya R1 demonstratörünü hazır yapmaz.
    • S541 otomatik PASS değildir; remediation ve olası yeni fiziksel retry ayrı sıra/kanıt/yetki gerektirir.

    Terminal komutları ve gerçek yanıtlar

    S540 terminal kanıtı fiziksel RED ile focused evidence-integrity PASS'ini ayrı tutar. Güç kapatma kapanış beyanıdır; acceptance promotion değildir.

    S540 exact candidate SD transaction
    TAM ÇIKTIexit 0
    Komut
    $ run fresh exact-target preflight for package, card 0x425001fa and Debug Probe E6647C74033F9131$ start staged write; retain fail-closed prefix mismatch$ run read-only --verify-staged-prefix-1, then explicit --recover-staged-prefix-1
    Yanıt
    preflight=PASS; WRITE=0 UART_OPEN=0 POWER=0
initial result=RED after image commit: card inventory changed at prefix 4; raw log retained 0444
read-only audit=PASS: exact staged-prefix-1; no automatic rollback or blind rerun
recovery=PASS: exact4 byte read-back + manifest + sync + eject
SD staged transaction=1; command invocations=2; payload commits/readbacks/ejects=4/4/1
    S540 first real RPi5 boot/UART attempt — RED
    TAM ÇIKTIexit 1
    Komut
    $ pre-arm /dev/cu.usbmodem21302 exclusively at 115200/8N1 raw after TCIFLUSH$ operator: güç verdim$ capture until exact terminal RED, preserve raw, then operator: gücü kapattım
    Yanıt · FAIL
    raw=20525 B / fc3f934543ab5d829ad8a16e2b332dd2bdc35a81c6c0f6423256101448e45114 / mode 0444 / nlink 1
BOOT8H=1; BOOT_TO_UI_READY=0; S538 route=0; S538ERR AwaitingPreflight=1
panic/PANIC=0/0; unknown IRQ=0; leading NUL=21; CR/LF=213/213
physical verdict=RED; Boot-to-UI=false; R1 acceptance=false
power-off=operator reported; independently observed=false; no further physical action

    TAM ÇIKTI · exit 1 fiziksel S540 RED sonucudur; focused test sonucu değildir.

    S540 focused immutable-evidence and RED classification
    TAM ÇIKTIexit 0
    Komut
    $ CARGO_INCREMENTAL=0 cargo test -p aselsan_microkernel_simulation --test g8l_target_dispatch_scheduler_owner_scheduler_mutation_production_migration_lifecycle_s540_r1_first_physical_boot_uart_attempt_red -- --test-threads=1$ run S536, S537, S538, S539 and S540 focused targets serially
    Yanıt
    initial focused=16 passed / 1 failed; test-only generic wait substring matched AwaitingPreflight
final focused=17 passed / 0 failed / 0 ignored / 0 filtered
selected predecessor regression=5 groups / 78 passed / 0 failed
exact verdict=RedAwaitingS538Preflight; automatic S541 promotion=false
    S540 Operations/Timeline/Code production publication
    TAM ÇIKTIexit 0
    Komut
    $ npm test && npm run lint && npx tsc --noEmit && npm run build$ npm run deploy$ cache-busted curl + cmp for ten custom-domain routes
    Yanıt
    website tests=789/789 PASS; lint=PASS; TypeScript exit=0/empty; static pages=675/675
export files=3456; files >25 MiB=0; Code=540 gates / 1584 exact excerpts / missing none
initial deployment=d46b4fd9-2684-403c-a6e0-4cc97f8a415d; upload/existing=3372/83
custom domain=10/10 HTTP 200 and byte-exact to local out
immutable hostname probe=exit 28 / HTTP 000 timeout; claimed PASS=false
evidence-sync deployment=8c6e6bf5-f0d0-4423-8bd6-4f2ea867565b; upload/existing=3370/85
evidence-sync custom domain=10/10 HTTP 200 and byte-exact to local out