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

S554 · R1 modem: AT komut taşıma ve çerçeveleme modeli

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

    S554 · R1 modem: AT komut taşıma ve çerçeveleme modeli

    S554 kaynak/host model kapısı PASS'tir: 3GPP TS 27.007 / V.250 AT komut taşıması saf parsing olarak modellendi; 'AT...<CR>' komut çerçeveleme, <CR><LF> satır bölme, OK/ERROR/+CME ERROR/+CMS ERROR/NO CARRIER/BUSY final kodları, +CREG/+CMTI/RING/+CLIP URC tablosu, echo bastırma, 2048 B fail-closed alım tamponu, tek in-flight komut + tick timeout, yanıt korelasyon durum makinesi, SMS '> ' prompt/Ctrl-Z/ESC kaçışı ve tırnak içi virgül koruyan parametre ayrıştırma byte-exact fixture'larla doğrulandı. Focused 21/21 PASS'tir. S540 ve S543 fiziksel raw/verdict değişmez RED kalır; hiçbir modem, UART, panel, board veya production callsite yoktur ve physical observation=0'dır. RUNBOOK_EXECUTED_IN_S554=NO; Boot-to-UI=false ve R1 acceptance=false'dur. S555 SIM kayıt (registration) durum makinesi modelidir.

    Doğrulanan kanıt

    • S554, S553'ten ayrı bir kernel/simulation model modülü, 21-test focused binary, proof, status bloğu, Operations kaydı ve Code kartına sahiptir; hiçbir boot, IRQ, scheduler veya sürücü yoluna bağlanmamıştır.
    • Dar S554 source/host status=PASS; R1 umbrella=PARTIAL, S540 ve S543 physical gate status=RED olarak ayrı tutulur.
    • Komut çerçeveleme 'AT'/'at' öneki, 0x20..0x7E yazdırılabilir gövde, en çok 256 gövde baytı ve S3 <CR> sonlandırıcısını zorunlu kılar; framed bytes byte-exact döner (örn. 'AT+CSQ\r').
    • Komut sınıflandırması Attention, Basic, Dial (1..20 baytlık +/rakam/*/# numara), Execute, Read '?', Test '=?' ve Set '=' biçimindedir; +CMGS= ve +CMGW= prompt bekler.
    • Final result tablosu OK, ERROR, NO CARRIER, BUSY, NO ANSWER, NO DIALTONE, CONNECT ve checked u16 kodlu +CME ERROR: <n> / +CMS ERROR: <n> satırlarını tam eşleşme ile tanır; bozuk kod satırı MalformedResultCode ile kapanır.
    • URC tablosu RING, +CREG: <stat> (stat<=5, isteğe bağlı tırnaklı lac/ci), +CMTI: "<mem>",<index> (SM/ME/MT/SR/BM) ve +CLIP: "<number>",<type> satırlarını ayrıştırır; '+CREG: <n>,<stat>' okuma-yanıt şekli URC sayılmaz.
    • Parametre ayrıştırma tırnak dışındaki virgüllerde böler, tırnak içindeki virgülleri korur, Quoted/Bare/Empty döner ve dengesiz tırnağı UnbalancedQuote ile reddeder.
    • Alım tamponu tam 2048 B ile sınırlıdır; sığmayan chunk bütün olarak reddedilir, transport Faulted olur ve hiçbir bayt tüketilmez; 512 B'yi aşan sonlandırıcısız satır ResponseLineTooLong ile kapanır.
    • Tek in-flight komut vardır; ikinci submit CommandAlreadyInFlight, timeout 1..60000 tick aralığındadır ve süre dolumu TransactionTimeout ile fault üretir; Faulted transport reset() öncesi her işlemi TransportFaulted ile reddeder.
    • Korelasyon: komut metnine eşit ilk satır echo olarak bastırılır, in-flight '+NAME: ' önekli satır intermediate sayılır, bilinen URC komut sırasında da URC olarak teslim edilir, boşta bilinmeyen satır UnknownUnsolicitedLine ve boşta OK/ERROR FinalResultWithoutCommand ile kapanır.
    • SMS prompt: '> ' bekleyen baytları prompt'u açar; send_payload en çok 512 B ve 0x1A/0x1B içermeyen yükü Ctrl-Z ile sonlandırır, abort_prompt ESC gönderir, prompt açıkken gelen satır fault üretir.
    • Servis fonksiyonu fixture'ı bayt bayt besler, timeout/overflow/eksik final/trailing partial line/prompt-payload uyumsuzluğunda receipt bırakmadan Err döner; exact replay Retained, yayın sonrası farklı komut/fixture/tick PublishedStateDrift verir.
    • 29 hata kodu sıfırdan farklı ve benzersizdir; byte-at-a-time ve chunked besleme aynı olay dizisini üretir.
    • Focused target 1 grup / 21 passed / 0 failed / 0 ignored / 0 filtered verdi.
    • Implementation 33949 B / d5ee69c10c5f857e5431a886559975455757fd3b64dd5f0d00cdfaaa077f3703; focused test 27541 B / 94ae3d794a138384b4f88759fdfd44a6cd9f0953f078e28e641165261e91a57e SHA-256'dır.
    • Proof 6085 B'dır.
    • S540 immutable raw 20525 B ve S543 immutable raw 20509 B RED olarak byte-exact korunur; automatic promotion=false ve rerun=false'dur.
    • S554 sırasında modem, UART, SD write/read-back/eject, power transition, fiziksel koşu veya yeni immutable raw üretimi yapılmadı; hardware present=false'dur.
    • RUNBOOK_EXECUTED_IN_S554=NO; supported-profile runtime observations=0, physical observations=0, Boot-to-UI physically observed=false ve R1 acceptance=false'dur.
    • S555 yalnız host üzerinde S554 satır/URC parsing'i üzerine SIM kayıt durum makinesini modelleyecektir; aygıt veya fiziksel koşu yetkisi değildir.

    Sınır / bekleyen kanıt

    • S554 saf bir host modelidir; hiçbir donanım/panel/modem/board gözlemi yoktur ve gerçek bir modemle AT trafiği gözlenmemiştir.
    • Modül production callsite'a bağlı değildir; boot, IRQ, scheduler veya sürücü yoluna dahil edilmemiştir.
    • URC tablosu +CREG/+CMTI/RING/+CLIP ile sınırlıdır; diğer URC'ler boşta fail-closed reddedilir ve ileri kapılarda genişletilmelidir.
    • S540 ve S543 fiziksel RED immutable kalır; S546 üçüncü fiziksel koşu ayrı beklemededir ve S554 onun kararını varsaymaz.
    • Boot-to-UI physically observed=false ve R1 acceptance=false kalır.
    • S555 SIM kayıt durum makinesi modeli host-only'dir; yeni modem/UART/SD/power koşusu ayrı kapı, açık operatör yetkisi ve yeni immutable raw ister.

    Terminal komutları ve gerçek yanıtlar

    S554 kaynak/host model PASS'tir; modem, UART veya fiziksel PASS değildir. S540 ve S543 RED raw ve kararları değişmez.

    S554 AT transport/framing model focused
    TAM ÇIKTIexit 0
    Komut
    $ CARGO_INCREMENTAL=0 cargo test -p aselsan_microkernel_simulation --test g8l_target_dispatch_scheduler_owner_scheduler_mutation_production_migration_lifecycle_s554_r1_modem_at_command_transport_framing_model -- --test-threads=1
    Yanıt
    test result: ok. 21 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
S554 focused=1 group / 21 passed / 0 failed
hardware=none physical=0 runbook=NO