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

S557 · R1 modem: paket veri PDP bağlamı ve PPP çerçeve modeli

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

    S557 · R1 modem: paket veri PDP bağlamı ve PPP çerçeve modeli

    S557 kaynak/host model kapısı PASS'tir: +CGDCONT PDP bağlam tanımı (cid 1–8, IP/IPV4V6, etiket bazlı APN doğrulaması), tablo güdümlü +CGACT aktivasyon durum makinesi, +CGPADDR adres ayrıştırması ve RFC 1662 PPP/HDLC çerçeve katmanı (0x7E bayrak, 0x7D^0x20 byte stuffing, ACCM, 0x8408/0xFFFF/0xF0B8 FCS-16) ile minimal LCP/IPCP seçenek ayrıştırması saf Rust modeli olarak eklendi. Bring-up servisi bağlamı tanımlar, aktivasyonu Active'e sürer, aynı cid için atanan IPv4 adresini IPCP Configure-Ack çerçevesindeki IP-Address seçeneğiyle eşleştirir; her geçersiz girdi fail-closed reddedilir, exact replay aynı receipt'i korur ve yayın sonrası sapma reddedilir. Focused 18/18 PASS'tir ve bilinen FCS vektörleri ("123456789" → 0x6F91 / 6E 90) sabitlenmiştir. S540 ve S543 fiziksel RED immutable kalır; hiçbir modem, UART, PPP karşı ucu veya board yoktur; physical observation=0, RUNBOOK_EXECUTED_IN_S557=NO, Boot-to-UI=false ve R1 acceptance=false'dur. S558 sesli arama durum makinesi modelidir.

    Doğrulanan kanıt

    • S557, S556'dan ayrı kaynak modülü, 18-test focused binary, proof, status bloğu ve Operations kaydına sahiptir; kernel ve simulation crate'lerinde kayıtlıdır ancak hiçbir boot, IRQ, scheduler veya driver yoluna bağlanmamıştır.
    • Dar S557 source/host model status=PASS; R1 umbrella=PARTIAL ve S540/S543 physical gate status=RED olarak ayrı tutulur.
    • +CGDCONT modeli cid'i 1..=8 aralığında, PDP tipini IP veya IPV4V6 olarak ve APN'i 1..=63 bayt nokta ayrımlı etiketlerle (alfasayısal veya '-', boş etiket yok, başta/sonda '-' yok) doğrular; AT+CGDCONT=<cid>,"<tip>","<apn>" kodlaması ve +CGDCONT: yanıt satırı ayrıştırması aynı doğrulanmış bağlamı verir.
    • +CGACT aktivasyon makinesi Defined/Activating/Active/Deactivating durumları ve ActivateRequested/ActivateOk/ActivateError/DeactivateRequested/DeactivateOk/NetworkDetach olayları üzerinde tablo güdümlüdür; listelenmeyen her çift ActivationTransitionInvalid ile fail-closed döner.
    • +CGPADDR ayrıştırması tırnaklı IPv4 (4 grup) ve 16 gruplu noktalı IPv6 adreslerini kabul eder; 1..=3 rakam dışı grup, 255 üstü oktet, 4 veya 16 dışı grup sayısı ve tırnaksız alan fail-closed reddedilir.
    • PPP/HDLC katmanı 0x7E bayrak, 0x7D kaçış ve 0x20 XOR kullanır; ACCM bit haritasına göre 0x20 altı kontrol baytları kaçışlanır; adres 0xFF, kontrol 0x03 ve çift-yüksek/tek-düşük protokol alanı zorunludur; bilgi alanı 1500 bayt, kaçışsız çerçeve 1506 bayt ile sınırlıdır.
    • FCS-16 polinom 0x8408, başlangıç 0xFFFF, iletimde ones-complement düşük bayt önce ve iyi kalıntı 0xF0B8 ile hesaplanır; bilinen vektörler sabitlenmiştir: "123456789" → 0x6F91 / 6E 90, boş → 0xFFFF / 00 00, FF 03 C0 21 01 01 00 04 → 0x4A2E / D1 B5, IPCP FF 03 80 21 01 01 00 0A 03 06 0A 14 1E 28 → 0x4F7D / 82 B0.
    • Çözücü eksik veya gömülü bayrak, 0x7D 0x7E abort dizisi, sondaki kaçış, kaçışsız ACCM kontrol baytı, kısa çerçeve, bozuk FCS, adres/kontrol uyuşmazlığı, bozuk protokol alanı ve aşırı boyut için ayrı fail-closed hatalar üretir.
    • LCP (0xC021) ve IPCP (0x8021) paketleri kod tablosu 1..=11, identifier ve exact uzunluk alanı ile ayrıştırılır; MRU (tip 1, uzunluk 4), Magic-Number (tip 5, uzunluk 6) ve IP-Address (tip 3, uzunluk 6) etiketli yapılar olarak, diğer seçenekler Unrecognized { kind, length } olarak tutulur; 2 altı, paket dışına taşan veya yanlış sabit boyutlu seçenek uzunlukları fail-closed reddedilir.
    • Bring-up servisi bağlamı tanımlar, aktivasyon olaylarını Active'e sürer, +CGPADDR satırındaki cid'i bağlamla eşleştirir, IPCP Configure-Ack çerçevesini verilen ACCM ile çözer ve IP-Address seçeneğinin atanan IPv4 adresine eşit olmasını ister; exact replay Retained ile aynı receipt'i döndürür, yayın sonrası her sapma PublishedStateDrift verir.
    • Hata enum'u 30 sıfırdan farklı ve benzersiz diagnostic code taşır; focused test bunu BTreeSet ile doğrular.
    • Focused target 1 grup / 18 passed / 0 failed / 0 ignored / 0 filtered verdi; test seti kontrat sabitlerini, modül kaydını, unsafe/asm!/write_volatile/crate::uart/crate::arch/spin:: yasağını, exact replay'i ve yayın sonrası sapmayı kapsar.
    • Implementation 27328 B / 201e68b46969133e9053478d5b4174b03db369f0309c00465714644b4ccc604c; focused test 31294 B / d53eb8b625ada8b0aafe8edc2b71ebc808455413c43128bd7bc132d8029ef5ee SHA-256'dır.
    • Proof 5160 B'dır.
    • S540 ve S543 immutable raw ve physical verdict'leri RED olarak byte-exact korunur; automatic promotion=false ve rerun=false'dur; S546 ayrı bekler.
    • S557 sırasında modem, UART open/capture, PPP karşı ucu, SD write/read-back/eject, power transition veya yeni immutable raw üretimi yapılmadı; modül hiçbir üretim çağrı noktasına bağlanmadı.
    • RUNBOOK_EXECUTED_IN_S557=NO; supported-profile runtime observations=0, physical observations=0, hardware present=false, Boot-to-UI physically observed=false ve R1 acceptance=false'dur.
    • S558 sesli arama durum makinesini (dial/ring/connect/hold/release) aynı kaynak/host sınırlarıyla modelleyecektir; modem, UART, SD, power veya fiziksel koşu yetkisi değildir.

    Sınır / bekleyen kanıt

    • S557 yalnız kaynak/host modelidir; hiçbir donanım/panel/modem/board gözlemi yoktur ve modül hiçbir üretim boot, IRQ, scheduler veya driver yoluna bağlanmamıştır.
    • PPP/HDLC ve LCP/IPCP modeli gerçek bir modem veya PPP karşı ucuyla müzakere edilmemiştir; FCS ve çerçeve vektörleri yalnız host testinde sabitlenmiştir.
    • APN doğrulaması etiket sözdizimiyle sınırlıdır; operatör APN politikası, kimlik doğrulama (PAP/CHAP) ve DNS seçenekleri modellenmemiştir.
    • S540 ve S543 fiziksel RED immutable kalır; otomatik yükseltme yoktur ve S546 ayrı beklemektedir.
    • Boot-to-UI fiziksel olarak gözlenmedi; R1 acceptance false kalır.
    • S558 sesli arama durum makinesi modeli aynı kaynak/host sınırlarında kalacaktır; 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

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

    S557 paket veri PDP/PPP model 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_s557_r1_packet_data_pdp_context_ppp_frame_model -- --test-threads=1
    Yanıt
    test result: ok. 18 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
S557 focused=1 group / 18 passed / 0 failed
hardware=none physical=0 runbook=NO