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

S558 · R1 modem: sesli arama durum makinesi modeli

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

    S558 · R1 modem: sesli arama durum makinesi modeli

    S558 kaynak kapısı PASS'tir: R1 modem yolunun sesli arama kontrolü — ATD<numara>; çevirme ve E.164 tarzı numara doğrulama (opsiyonel + ve 3–20 rakam), ATA cevaplama, ATH/+CHUP kapatma, +CHLD tarzı hold/resume, +CLCC list-current-calls ayrıştırma (idx, dir, stat 0..5, mode, mpty, numara), RING/+CLIP URC işleme, +VTS DTMF doğrulama, en fazla 1 aktif + 1 held sınırlı eşzamanlı çağrı tablosu, kurulum zaman aşımı ve checked süre tick'leri — Idle→Dialing→Alerting→Active→Disconnecting→Idle ve Incoming/Waiting→Active geçişleriyle saf host modeli olarak modellendi. Her geçersiz geçiş, bozuk satır, geçersiz numara/ton, sıra dışı adım ve taşma state değiştirmeden fail-closed reddedilir; exact replay aynı receipt ile retained döner. Focused 18/18 PASS'tir. S540 ve S543 fiziksel verdict'leri değişmez RED kalır; hiçbir modem donanımı yoktur, physical observation=0 ve RUNBOOK_EXECUTED_IN_S558=NO'dur. S559 sesli aramanın ses yolunu bağlayan audio route / PCM capability model kapısıdır.

    Doğrulanan kanıt

    • S558, S557'den ayrı source module, 18-test focused binary, proof, status manifest bloğu, Operations kaydı ve complete Code kartına sahiptir.
    • Dar S558 source-model status=PASS; R1 umbrella=PARTIAL ve S540/S543 physical gate status=RED olarak ayrı tutulur.
    • Numara doğrulama opsiyonel önde + ve 3..=20 ASCII rakam kabul eder; boş, kısa, 21+ rakam, yanlış yerde + ve rakam dışı karakter ayrı hata kodlarıyla fail-closed reddedilir.
    • ATD<numara>; yalnız doğrulanmış numaradan encode edilir; type-of-address uluslararası için 145, aksi halde 129'dur.
    • +CLCC satırı exact 5 veya 7 alanla ayrıştırılır: idx 1..=2, dir 0..1, stat 0..5 (active/held/dialing/alerting/incoming/waiting), voice mode 0, mpty 0..1 ve numara/type tutarlılığı zorunludur; on sekiz bozuk satır sınıfı testte ayrı ayrı reddedilir.
    • RING tanıyıcı ve +CLIP ayrıştırıcı gelen aramanın numarasını aynı tutarlılık kuralıyla üretir; Incoming/Waiting fazına CLCC raporu ile bağlanır.
    • Geçiş tablosu Idle→Dialing→Alerting→Active→Disconnecting→Idle ve Incoming/Waiting→Active'dir; Dialing'den doğrudan Active'e CLCC raporu, Disconnecting'e yeni rapor ve faz dışı her stat IllegalTransition ile reddedilir.
    • Eşzamanlılık sınırı 2 slot, en fazla 1 aktif + 1 held'dir: aktif çağrı varken Dial/Answer, held varken Hold, aktif varken Resume, üçüncü çağrı ve devam eden kurulum sırasında yeni kurulum fail-closed döner.
    • +VTS DTMF tonu 0-9/*/#/A-D ve süre 1..=100 ile doğrulanır; ton yalnız aktif çağrı varken gönderilir ve AT+VTS=<ton>,<süre> exact encode edilir.
    • Tick 1..=3600 sınırlıdır: aktif/held çağrılar checked toplama ile en fazla 86400 tick süre biriktirir, Dialing/Alerting 90 tick sonra Disconnecting'e, Incoming/Waiting 45 tick sonra missed-call olarak Idle'a düşer; çağrısız tick ve taşma fail-closed'dur.
    • Ledger en fazla 96 receipt tutar; exact replay TransitionRetained, publication sonrası sapan girdi PublishedStateDrift, sıra dışı adım StepOutOfOrder döner ve state değişmez.
    • Otuz beş hata varyantı 1..=35 nonzero benzersiz diagnostic kodu taşır; focused test benzersizliği BTreeSet ile doğrular.
    • Focused target CARGO_INCREMENTAL=0 ile 1 grup / 18 passed / 0 failed / 0 ignored / 0 filtered verdi.
    • Implementation 34362 B / bae7dba15c24acd69141a060eeadfbe1fe7dd68f3784e763de52bf7d1133552e; focused test 33580 B / ae6165f20622b01822762ad50e41b14ebf0e4e00d33b11f0468f718fdf0c2202 SHA-256'dır.
    • Proof 6211 B'dir ve model tablolarını, fail-closed koşullarını ve non-claim listesini içerir.
    • Modül hiçbir production callsite'a bağlanmadı; unsafe, asm!, write_volatile, crate::uart, crate::arch, spin:: ve #[no_mangle] yüzeyi yoktur ve focused test bunu source üzerinde doğrular.
    • Her receipt hardware_present=false, physical_observations=0 ve runbook_executed=false taşır.
    • RUNBOOK_EXECUTED_IN_S558=NO; supported-profile runtime observations=0, physical observations=0, SD/UART/power/new-raw=0/0/0/0, Boot-to-UI physically observed=false ve R1 acceptance=false'dur.
    • S540 ve S543 immutable fiziksel RED verdict'leri korunur; automatic promotion=false'dur ve S546 sonucu varsayılmaz.
    • S559 sesli aramanın earpiece/speaker/headset ses yolu ve PCM capability modelini host-only kuracaktır; aygıt veya fiziksel koşu yetkisi değildir.

    Sınır / bekleyen kanıt

    • S558 yalnız kaynak/host modelidir; hiçbir donanım/panel/modem/board gözlemi yoktur ve gerçek modem üzerinde ATD/ATA/ATH/+CLCC davranışı gözlenmemiştir.
    • Modül production yoluna bağlanmadı; boot, IRQ, scheduler veya driver çağrısı yoktur.
    • S540 ve S543 fiziksel RED immutable kalır; automatic promotion yoktur ve S546 üçüncü fiziksel koşunun sonucu varsayılmaz.
    • Boot-to-UI physically observed=false ve R1 acceptance complete=false kalır.
    • S559 audio route / PCM capability modelini host-only kuracaktır; aygıt, ses veya fiziksel koşu yetkisi vermez.

    Terminal komutları ve gerçek yanıtlar

    S558 saf kaynak/host model kapısıdır; modem donanımı, AT transportu, UART veya fiziksel gözlem içermez. S540/S543 RED verdict'leri değişmez.

    S558 sesli arama durum makinesi 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_s558_r1_voice_call_state_machine_model -- --test-threads=1
    Yanıt
    test result: ok. 18 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
S558 focused=1 group / 18 passed / 0 failed
hardware=none physical=0 runbook=NO