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

S559 · R1 ses: laboratuvar ses route ve PCM capability modeli

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

    S559 · R1 ses: laboratuvar ses route ve PCM capability modeli

    S559 kaynak/host model kapısı PASS'tir: R1 3. aşama (modem, veri, arama ve ses) için laboratuvar ses yolu saf bir model olarak yazıldı. Model beş ses ucunu (Earpiece, Speaker, Headset, ModemUplink, ModemDownlink) 25 çiftten yalnız 5'ine izin veren sabit routing matrisiyle, 16 kHz/8 kHz 16-bit mono 20 ms (320/160 örnek) PCM format tanımlayıcısını, underrun/overrun sayaçlı 16 frame'lik ring buffer'ı, -60..+12 dB aralığına clamp edilen 3 dB adımlı gain tablosunu, mute'u ve FramebufferRights biçiminde {PLAYBACK, CAPTURE, ROUTE} capability bitlerini grant/revoke daraltmasıyla kapsar; eksik hak, geçersiz route, format/frame uyumsuzluğu ve taşmalar fail-closed reddedilir ve mixed çıktı deterministik FNV-1a checksum ile mühürlenir. Focused 21/21 PASS'tir. S540 ve S543 fiziksel raw/verdict değişmez RED kalır; hiçbir codec, hoparlör, mikrofon, modem PCM hattı, UART, panel veya board yoktur; physical observation=0, SD/UART/power/new-raw=0/0/0/0, Boot-to-UI=false ve R1 acceptance=false'dur. RUNBOOK_EXECUTED_IN_S559=NO. S560 host-only modem subsystem capability supervision modeli kapısıdır.

    Doğrulanan kanıt

    • S559, S558'den ayrı saf model kernel modülü, 21-test focused binary, proof, status manifest, Operations kaydı ve complete Code kartına sahiptir; production callsite yoktur ve modül hiçbir boot, IRQ, scheduler veya driver yoluna bağlı değildir.
    • Dar S559 source/host status=PASS; R1 umbrella=PARTIAL ve S540/S543 physical gate status=RED olarak ayrı tutulur.
    • Routing matrisi [source][sink] 25 çiftten exact 5'ine izin verir: ModemDownlink→Earpiece/Speaker/Headset (Downlink), Headset→ModemUplink (Uplink) ve laboratuvar loopback'i ModemDownlink→ModemUplink; self-loop dahil diğer her çift InvalidRoute ile reddedilir.
    • Capability bitleri FramebufferRights biçimindedir: PLAYBACK=0b001, CAPTURE=0b010, ROUTE=0b100, FULL=0b111; from_bits FULL dışındaki her biti InvalidRightsBits ile reddeder, Grant yalnız hak yokken bir kez kabul edilir ve Revoke yalnız tutulan bitleri daraltır (RevokeNotSubset).
    • Route seçimi ROUTE hakkı ister; Downlink PLAYBACK, Uplink CAPTURE, Loopback PLAYBACK+CAPTURE ister ve açık route'un bağımlı olduğu bir hakkın revoke edilmesi route'u kapatıp ring'i flush eder.
    • PCM format tanımlayıcısı yalnız 16000/8000 Hz, 16-bit, mono ve 20 ms'yi doğrular; frame örnek sayısı checked çarpımla 320/160 (640/320 bayt) türetilir ve diğer her değer ayrı diagnostic koduyla fail-closed döner.
    • Ring buffer kapasitesi 16 frame'dir: dolu ring'e push frame'i düşürür, overrun sayacını artırır ve RingOverrun döner; kuyruktakinden fazla frame isteyen pop underrun sayacını artırır ve RingUnderrun döner; sayaçlar saturating'dir.
    • Gain 3 dB adımlarla -60..+12 dB aralığına clamp edilir ve 25 girişli sabit Q10 tablosu (unity=1024) üzerinden 16-bit saturasyonla uygulanır; steps=0 GainStepZero'dur ve mute çıktıyı sıfırlar.
    • PopMixedFrame 1..4 frame'i saturating toplama ile miksler, gain ve mute uygular; receipt tepe genliği ve örnek sayısı + little-endian baytlar üzerinden deterministik FNV-1a-64 checksum'ı (s559_pcm_checksum) taşır ve focused test çıktıyı bağımsız kurulmuş beklenen vektörlerle byte-exact sabitler.
    • Format veya frame-length uyumsuzluğu (FormatMismatch/FrameLengthMismatch), format/route değişikliği kuyruk doluyken (RingNotEmpty), formatsız route seçimi (FormatNotSet) ve route'suz push/pop (RouteNotSelected) fail-closed reddedilir.
    • Ledger en fazla 64 receipt tutar; sıra dışı adım StepOutOfOrder, dolu ledger LedgerFull verir; exact replay OperationRetained ile aynı receipt'i döndürür ve yayınlanmış adımda divergent operasyon PublishedStateDrift ile reddedilir.
    • 28 hata kodu sıfırdan farklı ve tekildir; kaynakta unsafe, asm!, write_volatile, crate::uart, crate::arch, #[no_mangle] ve spin:: yüzeyi yoktur.
    • Focused target 1 grup / 21 passed / 0 failed / 0 ignored / 0 filtered verdi.
    • Implementation 30504 B / 941d47dbd1d5c1fa5a7a590948af43479408386b40a5dcef2501a71967a5b03d; focused test 29580 B / 188f5dea23cbb9cb927ba3050ba0e9ef89e023f73b2ff4d8659b5797c6c14bf5 SHA-256'dır.
    • Proof 5902 B'dir.
    • S540 immutable raw 20525 B ve S543 immutable raw 20509 B fiziksel RED olarak byte-exact korunur; automatic promotion=false ve rerun=false'dur.
    • S559 sırasında codec, hoparlör, mikrofon, modem PCM hattı, SD write/read-back/eject, UART open/capture, power transition, fiziksel koşu veya yeni immutable raw üretimi yapılmadı.
    • RUNBOOK_EXECUTED_IN_S559=NO; supported-profile runtime observations=0, physical observations=0, hardware present=false, Boot-to-UI physically observed=false ve R1 acceptance=false'dur.
    • S560 yalnız host üzerinde modem subsystem capability supervision modelini yazacaktır; aygıt veya fiziksel koşu yetkisi değildir.

    Sınır / bekleyen kanıt

    • S559 saf bir kaynak/host modelidir; hiçbir donanım/panel/modem/board gözlemi yoktur ve gerçek bir codec, hoparlör, mikrofon veya modem PCM hattı üzerinde hiçbir ses yolu gözlenmemiştir.
    • Modülün production callsite'ı yoktur; gerçek I2S/PCM sürücüsü, DMA, kesme ve zamanlama davranışı bu kapının dışındadır.
    • S540 ve S543 fiziksel RED immutable kalır; S546 fiziksel koşusunun kararı bu kapıda varsayılmaz.
    • BOOT_TO_UI_READY gerçek UART'ta görülmedi; Boot-to-UI ve R1 acceptance false kalır.
    • S560 host-only modem subsystem capability supervision modelidir; yeni SD/UART/power koşusu ayrı kapı, fresh target revalidation, açık operatör yetkisi ve yeni immutable raw ister.

    Terminal komutları ve gerçek yanıtlar

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

    S559 laboratuvar ses route ve PCM capability modeli 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_s559_r1_audio_route_pcm_capability_model -- --test-threads=1
    Yanıt
    test result: ok. 21 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
S559 focused=1 group / 21 passed / 0 failed
hardware=none physical=0 runbook=NO