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

S550 · R1 ekran: ILI9881 panel DCS init dizisi modeli

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

    S550 · R1 ekran: ILI9881 panel DCS init dizisi modeli

    S550 kaynak/host model kapısı PASS'tir: Raspberry Pi Touch Display 2'nin 5 inç ve 7 inç ILI9881C profilleri için (ikisi de 720x1280, 2 lane, ayrı timing ve init tabloları) DCS/generic paket ve gecikme adımlarından oluşan init programı, 24-bit başlık üzerinde 6-bit MIPI DSI Hamming ECC ve long paketler için reflected CRC-16 (0x8408, init 0xFFFF) üreten ham DSI byte encoder'ı ve page select → register write → sleep-out (0x11) → ≥120 ms → display-on (0x29) faz sırasını, 32 B payload sınırını ve 0x05/0x15/0x29/0x39 dışındaki data type'ları fail-closed reddeden validator modellenmiştir. Focused 21/21 PASS'tir; ECC/CRC değerleri bilinen vektörlerle pinlenmiştir. Hiçbir panel, DSI host, dokunmatik, board, UART, SD veya güç işlemi yoktur; S540 ve S543 fiziksel RED immutable kalır, physical observation=0, RUNBOOK_EXECUTED_IN_S550=NO, Boot-to-UI=false ve R1 acceptance=false'dur. S551 R1 2. aşamanın bir sonraki host-only ekran/dokunma/UI model kapısıdır.

    Doğrulanan kanıt

    • S550, S549'dan ayrı kernel model modülü, 21-test focused binary, proof, status bloğu, Operations kaydı ve complete Code kartına sahiptir; modül kernel main.rs ve simulation lib.rs'te kayıtlıdır fakat hiçbir boot, IRQ, scheduler veya sürücü yoluna bağlanmamıştır.
    • Dar S550 source/host model status=PASS; R1 umbrella=PARTIAL, S540 ve S543 physical gate status=RED olarak ayrı tutulur.
    • Model iki panel profili taşır: TouchDisplay2Inch5 (hfp/hs/hbp 80/20/80, vfp/vs/vbp 12/4/20, 71000 kHz, htotal 900, vtotal 1316) ve TouchDisplay2Inch7 (239/33/50, 20/2/30, 83330 kHz, htotal 1042, vtotal 1332); ikisi de 720x1280 ve 2 lane'dir. Timing değerleri host tablosudur, vendor doğrulaması veya panel gözlemi yoktur.
    • Kabul edilen DSI data type kümesi kapalıdır: 0x05 DCS short (0 parametre), 0x15 DCS short (1 parametre), 0x29 generic long ve 0x39 DCS long; diğer tüm data type'lar UnknownDataType ile reddedilir.
    • Encoder short paketleri [DI, D0, D1, ECC], long paketleri [DI, WC.lo, WC.hi, ECC, payload, CRC.lo, CRC.hi] olarak üretir; payload sınırı 32 B, kodlanmış paket sınırı 38 B'dir.
    • 6-bit ECC MIPI DSI Hamming kodudur; pinlenen vektörler ECC(05 11 00)=0x36, ECC(05 29 00)=0x1C, ECC(29 04 00)=0x3F, ECC(15 36 00)=0x29, ECC(39 05 00)=0x36, ECC(FF FF FF)=0x3C'dir ve 24 tek-bit sendromunun ayrık, sıfırdan farklı ve tek ağırlıklı (≥3) olduğu test edilir.
    • CRC-16 reflected polinom 0x8408, init 0xFFFF, final XOR yoktur; boş payload 0xFFFF, MIPI spesifikasyonu 24-byte checksum örneği 0xE569, FF 98 81 03 için 0x2EC7 ve FF 98 81 00 için 0x1C5C pinlenmiştir; page-3 select 29 04 00 3F FF 98 81 03 C7 2E olarak kodlanır.
    • Validator faz sırasını zorlar: ilk adım FF 98 81 <page> page select (page 0..=4), register write'lar, page 0 üzerinde sleep-out 0x11, birikimli ≥120 ms gecikme, display-on 0x29 ve yalnız kuyruk gecikmesi; sleep-out sonrası register write, çift sleep-out, display-on sonrası paket ve eksik program reddedilir.
    • Sınırlar checked aritmetikle korunur: program ≤128 adım, tek gecikme ≤1000 ms, toplam gecikme ≤5000 ms; aşımlar DelayTooLong/DelayOverflow/ProgramTooLong ile fail-closed döner.
    • 20 hata kodu sıfırdan farklı ve benzersizdir; yanlış predecessor (≠549) doğrulamadan önce reddedilir.
    • Canonical 5 inç programı 27 adım / 25 paket, 7 inç programı 33 adım / 31 paket üretir; ikisi de 4 page select, 120 ms sleep-out beklemesi ve 140 ms toplam gecikme taşır ve farklı FNV-1a program digest'i verir.
    • service_s550_model_panel_init_program exact replay'de aynı receipt ile Retained döner; publish sonrası farklı profil, register değeri veya gecikme PublishedStateDrift ile reddedilir.
    • Focused target 1 grup / 21 passed / 0 failed / 0 ignored / 0 filtered verdi.
    • Implementation 29042 B / cdc545f16057b821e86b6df183a6773a6052e6ba2dd6d5b002675f5bfc938169; focused test 24916 B / 8a49e5bdc6e190c2aa75ce475858783a933e11b2fbf721e722702cc6881b0692 SHA-256'dır.
    • Proof 5688 B'dir.
    • Register tabloları temsili model alt kümesidir; vendor'un tam init dökümü değildir ve hiçbir panel üzerinde doğrulanmamıştır.
    • S550 sırasında panel, DSI host, RP1, dokunmatik, board, SD write/read-back/eject, UART open/capture, power transition, physical retry veya yeni immutable raw üretimi yapılmadı; S540 ve S543 raw/verdict byte-exact RED korunur, automatic promotion=false ve S546 kararı varsayılmaz.
    • RUNBOOK_EXECUTED_IN_S550=NO; supported-profile runtime observations=0, physical observations=0, hardware present=false, production callsite wired=false, Boot-to-UI physically observed=false ve R1 acceptance=false'dur.
    • S551 R1 2. aşamada bir sonraki host-only ekran/dokunma/UI model kapısıdır; panel, DSI, SD, UART, güç veya fiziksel koşu yetkisi değildir.

    Sınır / bekleyen kanıt

    • S550 yalnız host üzerinde derlenen ve focused testle sürülen bir modeldir; hiçbir donanım/panel/modem/board gözlemi yoktur.
    • Timing tabloları ve register alt kümesi vendor doğrulaması taşımaz; gerçek ILI9881C init dökümüyle byte-exact eşleşme iddiası yoktur.
    • Modül hiçbir boot, IRQ, scheduler veya sürücü yoluna bağlanmamıştır; production callsite yoktur.
    • S540 ve S543 fiziksel RED immutable kalır; S546 üçüncü fiziksel koşunun kararı bu kapıda varsayılmaz ve otomatik yükseltme yoktur.
    • BOOT_TO_UI_READY gerçek UART'ta görülmedi; Boot-to-UI ve R1 acceptance false kalır.
    • S551 R1 2. aşamanın bir sonraki host-only model kapısıdır; yeni SD/UART/power/panel koşusu ayrı kapı, fresh target revalidation, açık operatör yetkisi ve yeni immutable raw ister.

    Terminal komutları ve gerçek yanıtlar

    S550 kaynak/host model PASS'tir; supported-profile runtime veya fiziksel PASS değildir. S540 ve S543 RED raw ve kararları değişmez.

    S550 ILI9881 panel DCS init dizisi modeli focused acceptance
    TAM ÇIKTIexit 0
    Komut
    $ CARGO_INCREMENTAL=0 cargo test -p aselsan_microkernel_simulation --test g8l_target_dispatch_scheduler_owner_scheduler_mutation_production_migration_lifecycle_s550_r1_ili9881_panel_dcs_init_sequence_model -- --test-threads=1
    Yanıt
    test result: ok. 21 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
S550 focused=1 group / 21 passed / 0 failed
hardware=none physical=0 runbook=NO