Ağ altyapısı ve native soketler

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Completion yalnız havuz sahibine döner.

Uygulanacak işlem

“Sahipli RX tampon havuzu” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Completion yalnız havuz sahibine döner. “Dört RX tamponu” kabulü ile “Yabancı used ID” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Completion yalnız havuz sahibine döner

Kod hedefi — henüz öneri

kernel/src/runtime/net_driver.rs · os_net_driver_rx_pool

Mevcut başlangıç referansı

kernel/src/net_pool.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Dört RX tamponu

Karşı-örnek / hata girdisi

Yabancı used ID

Gerçek konuk kabulü

Bozuk completion DMA iade etmez

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/net_driver.rs
os_net_driver_rx_pool_positive
os_net_driver_rx_pool_negative
scripts/os-acceptance/net_driver.mjs

Geçiş koşulu

Tür ve geçiş tablosu Completion yalnız havuz sahibine döner kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Yabancı used ID” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1805: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. İlk hamle; mevcut K501–K600 sözleşmesi başlangıç bağlamıdır. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Completion yalnız havuz sahibine döner.

Uygulanacak işlem

kernel/src/runtime/net_driver.rs hedefinde os_net_driver_rx_pool yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/net_pool.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Completion yalnız havuz sahibine döner

Kod hedefi — henüz öneri

kernel/src/runtime/net_driver.rs · os_net_driver_rx_pool

Mevcut başlangıç referansı

kernel/src/net_pool.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Dört RX tamponu

Karşı-örnek / hata girdisi

Yabancı used ID

Gerçek konuk kabulü

Bozuk completion DMA iade etmez

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/net_driver.rs
os_net_driver_rx_pool_positive
os_net_driver_rx_pool_negative
scripts/os-acceptance/net_driver.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Dört RX tamponu ile Yabancı used ID ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Yabancı used ID” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1805: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1801. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Completion yalnız havuz sahibine döner.

Uygulanacak işlem

os_net_driver_rx_pool_positive testini oluştur: “Dört RX tamponu”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Completion yalnız havuz sahibine döner

Kod hedefi — henüz öneri

kernel/src/runtime/net_driver.rs · os_net_driver_rx_pool

Mevcut başlangıç referansı

kernel/src/net_pool.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Dört RX tamponu

Karşı-örnek / hata girdisi

Yabancı used ID

Gerçek konuk kabulü

Bozuk completion DMA iade etmez

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/net_driver.rs
os_net_driver_rx_pool_positive
os_net_driver_rx_pool_negative
scripts/os-acceptance/net_driver.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Dört RX tamponu girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Yabancı used ID” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1805: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1802. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Completion yalnız havuz sahibine döner.

Uygulanacak işlem

os_net_driver_rx_pool_negative testini oluştur: “Yabancı used ID”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Completion yalnız havuz sahibine döner

Kod hedefi — henüz öneri

kernel/src/runtime/net_driver.rs · os_net_driver_rx_pool

Mevcut başlangıç referansı

kernel/src/net_pool.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Dört RX tamponu

Karşı-örnek / hata girdisi

Yabancı used ID

Gerçek konuk kabulü

Bozuk completion DMA iade etmez

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/net_driver.rs
os_net_driver_rx_pool_positive
os_net_driver_rx_pool_negative
scripts/os-acceptance/net_driver.mjs

Geçiş koşulu

Yabancı used ID karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Yabancı used ID” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1805: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1803. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Completion yalnız havuz sahibine döner.

Uygulanacak işlem

Tek ürün Image'ında “Bozuk completion DMA iade etmez” kabulünü koştur. scripts/os-acceptance/net_driver.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Completion yalnız havuz sahibine döner

Kod hedefi — henüz öneri

kernel/src/runtime/net_driver.rs · os_net_driver_rx_pool

Mevcut başlangıç referansı

kernel/src/net_pool.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Dört RX tamponu

Karşı-örnek / hata girdisi

Yabancı used ID

Gerçek konuk kabulü

Bozuk completion DMA iade etmez

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/net_driver.rs
os_net_driver_rx_pool_positive
os_net_driver_rx_pool_negative
scripts/os-acceptance/net_driver.mjs

Geçiş koşulu

Bozuk completion DMA iade etmez; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Yabancı used ID” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1805: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1804. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: TX buffer completiona kadar pinlidir.

Uygulanacak işlem

“TX ömür ve kısa tamamlama” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: TX buffer completiona kadar pinlidir. “İki ayrı frame TX” kabulü ile “Erken buffer free” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

TX buffer completiona kadar pinlidir

Kod hedefi — henüz öneri

kernel/src/runtime/net_driver.rs · os_net_driver_tx_queue

Mevcut başlangıç referansı

kernel/src/net_pool.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İki ayrı frame TX

Karşı-örnek / hata girdisi

Erken buffer free

Gerçek konuk kabulü

Karşı konuk beklenen frame hashini alır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/net_driver.rs
os_net_driver_tx_queue_positive
os_net_driver_tx_queue_negative
scripts/os-acceptance/net_driver.mjs

Geçiş koşulu

Tür ve geçiş tablosu TX buffer completiona kadar pinlidir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Erken buffer free” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1810: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1805. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: TX buffer completiona kadar pinlidir.

Uygulanacak işlem

kernel/src/runtime/net_driver.rs hedefinde os_net_driver_tx_queue yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/net_pool.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

TX buffer completiona kadar pinlidir

Kod hedefi — henüz öneri

kernel/src/runtime/net_driver.rs · os_net_driver_tx_queue

Mevcut başlangıç referansı

kernel/src/net_pool.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İki ayrı frame TX

Karşı-örnek / hata girdisi

Erken buffer free

Gerçek konuk kabulü

Karşı konuk beklenen frame hashini alır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/net_driver.rs
os_net_driver_tx_queue_positive
os_net_driver_tx_queue_negative
scripts/os-acceptance/net_driver.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki ayrı frame TX ile Erken buffer free ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Erken buffer free” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1810: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1806. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: TX buffer completiona kadar pinlidir.

Uygulanacak işlem

os_net_driver_tx_queue_positive testini oluştur: “İki ayrı frame TX”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

TX buffer completiona kadar pinlidir

Kod hedefi — henüz öneri

kernel/src/runtime/net_driver.rs · os_net_driver_tx_queue

Mevcut başlangıç referansı

kernel/src/net_pool.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İki ayrı frame TX

Karşı-örnek / hata girdisi

Erken buffer free

Gerçek konuk kabulü

Karşı konuk beklenen frame hashini alır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/net_driver.rs
os_net_driver_tx_queue_positive
os_net_driver_tx_queue_negative
scripts/os-acceptance/net_driver.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; İki ayrı frame TX girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Erken buffer free” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1810: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1807. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: TX buffer completiona kadar pinlidir.

Uygulanacak işlem

os_net_driver_tx_queue_negative testini oluştur: “Erken buffer free”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

TX buffer completiona kadar pinlidir

Kod hedefi — henüz öneri

kernel/src/runtime/net_driver.rs · os_net_driver_tx_queue

Mevcut başlangıç referansı

kernel/src/net_pool.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İki ayrı frame TX

Karşı-örnek / hata girdisi

Erken buffer free

Gerçek konuk kabulü

Karşı konuk beklenen frame hashini alır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/net_driver.rs
os_net_driver_tx_queue_positive
os_net_driver_tx_queue_negative
scripts/os-acceptance/net_driver.mjs

Geçiş koşulu

Erken buffer free karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Erken buffer free” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1810: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1808. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: TX buffer completiona kadar pinlidir.

Uygulanacak işlem

Tek ürün Image'ında “Karşı konuk beklenen frame hashini alır” kabulünü koştur. scripts/os-acceptance/net_driver.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

TX buffer completiona kadar pinlidir

Kod hedefi — henüz öneri

kernel/src/runtime/net_driver.rs · os_net_driver_tx_queue

Mevcut başlangıç referansı

kernel/src/net_pool.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İki ayrı frame TX

Karşı-örnek / hata girdisi

Erken buffer free

Gerçek konuk kabulü

Karşı konuk beklenen frame hashini alır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/net_driver.rs
os_net_driver_tx_queue_positive
os_net_driver_tx_queue_negative
scripts/os-acceptance/net_driver.mjs

Geçiş koşulu

Karşı konuk beklenen frame hashini alır; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Erken buffer free” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1810: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1809. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Pazarlanmayan offload başlığı reddedilir.

Uygulanacak işlem

“Açık no-offload başlangıç” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Pazarlanmayan offload başlığı reddedilir. “Standart no-offload frame” kabulü ile “CSUM veya GSO flag dayatılır” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Pazarlanmayan offload başlığı reddedilir

Kod hedefi — henüz öneri

kernel/src/runtime/net_driver.rs · os_net_driver_offloads

Mevcut başlangıç referansı

kernel/src/net_pool.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Standart no-offload frame

Karşı-örnek / hata girdisi

CSUM veya GSO flag dayatılır

Gerçek konuk kabulü

Parser yalnız desteklediği çerçeveyi alır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/net_driver.rs
os_net_driver_offloads_positive
os_net_driver_offloads_negative
scripts/os-acceptance/net_driver.mjs

Geçiş koşulu

Tür ve geçiş tablosu Pazarlanmayan offload başlığı reddedilir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“CSUM veya GSO flag dayatılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1815: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1810. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Pazarlanmayan offload başlığı reddedilir.

Uygulanacak işlem

kernel/src/runtime/net_driver.rs hedefinde os_net_driver_offloads yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/net_pool.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Pazarlanmayan offload başlığı reddedilir

Kod hedefi — henüz öneri

kernel/src/runtime/net_driver.rs · os_net_driver_offloads

Mevcut başlangıç referansı

kernel/src/net_pool.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Standart no-offload frame

Karşı-örnek / hata girdisi

CSUM veya GSO flag dayatılır

Gerçek konuk kabulü

Parser yalnız desteklediği çerçeveyi alır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/net_driver.rs
os_net_driver_offloads_positive
os_net_driver_offloads_negative
scripts/os-acceptance/net_driver.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Standart no-offload frame ile CSUM veya GSO flag dayatılır ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“CSUM veya GSO flag dayatılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1815: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1811. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Pazarlanmayan offload başlığı reddedilir.

Uygulanacak işlem

os_net_driver_offloads_positive testini oluştur: “Standart no-offload frame”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Pazarlanmayan offload başlığı reddedilir

Kod hedefi — henüz öneri

kernel/src/runtime/net_driver.rs · os_net_driver_offloads

Mevcut başlangıç referansı

kernel/src/net_pool.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Standart no-offload frame

Karşı-örnek / hata girdisi

CSUM veya GSO flag dayatılır

Gerçek konuk kabulü

Parser yalnız desteklediği çerçeveyi alır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/net_driver.rs
os_net_driver_offloads_positive
os_net_driver_offloads_negative
scripts/os-acceptance/net_driver.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Standart no-offload frame girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“CSUM veya GSO flag dayatılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1815: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1812. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Pazarlanmayan offload başlığı reddedilir.

Uygulanacak işlem

os_net_driver_offloads_negative testini oluştur: “CSUM veya GSO flag dayatılır”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Pazarlanmayan offload başlığı reddedilir

Kod hedefi — henüz öneri

kernel/src/runtime/net_driver.rs · os_net_driver_offloads

Mevcut başlangıç referansı

kernel/src/net_pool.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Standart no-offload frame

Karşı-örnek / hata girdisi

CSUM veya GSO flag dayatılır

Gerçek konuk kabulü

Parser yalnız desteklediği çerçeveyi alır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/net_driver.rs
os_net_driver_offloads_positive
os_net_driver_offloads_negative
scripts/os-acceptance/net_driver.mjs

Geçiş koşulu

CSUM veya GSO flag dayatılır karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“CSUM veya GSO flag dayatılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1815: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1813. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Pazarlanmayan offload başlığı reddedilir.

Uygulanacak işlem

Tek ürün Image'ında “Parser yalnız desteklediği çerçeveyi alır” kabulünü koştur. scripts/os-acceptance/net_driver.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Pazarlanmayan offload başlığı reddedilir

Kod hedefi — henüz öneri

kernel/src/runtime/net_driver.rs · os_net_driver_offloads

Mevcut başlangıç referansı

kernel/src/net_pool.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Standart no-offload frame

Karşı-örnek / hata girdisi

CSUM veya GSO flag dayatılır

Gerçek konuk kabulü

Parser yalnız desteklediği çerçeveyi alır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/net_driver.rs
os_net_driver_offloads_positive
os_net_driver_offloads_negative
scripts/os-acceptance/net_driver.mjs

Geçiş koşulu

Parser yalnız desteklediği çerçeveyi alır; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“CSUM veya GSO flag dayatılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1815: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1814. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Eski nesil frame yeni linkte sayılmaz.

Uygulanacak işlem

“Link kesintisi ve queue reset” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Eski nesil frame yeni linkte sayılmaz. “Reset ardından ikinci trafik” kabulü ile “Eski completion replay” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Eski nesil frame yeni linkte sayılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/net_driver.rs · os_net_driver_link_reset

Mevcut başlangıç referansı

kernel/src/net_pool.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Reset ardından ikinci trafik

Karşı-örnek / hata girdisi

Eski completion replay

Gerçek konuk kabulü

Yeni session eski payloadı almaz

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/net_driver.rs
os_net_driver_link_reset_positive
os_net_driver_link_reset_negative
scripts/os-acceptance/net_driver.mjs

Geçiş koşulu

Tür ve geçiş tablosu Eski nesil frame yeni linkte sayılmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Eski completion replay” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1820: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1815. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Eski nesil frame yeni linkte sayılmaz.

Uygulanacak işlem

kernel/src/runtime/net_driver.rs hedefinde os_net_driver_link_reset yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/net_pool.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Eski nesil frame yeni linkte sayılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/net_driver.rs · os_net_driver_link_reset

Mevcut başlangıç referansı

kernel/src/net_pool.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Reset ardından ikinci trafik

Karşı-örnek / hata girdisi

Eski completion replay

Gerçek konuk kabulü

Yeni session eski payloadı almaz

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/net_driver.rs
os_net_driver_link_reset_positive
os_net_driver_link_reset_negative
scripts/os-acceptance/net_driver.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Reset ardından ikinci trafik ile Eski completion replay ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Eski completion replay” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1820: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1816. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Eski nesil frame yeni linkte sayılmaz.

Uygulanacak işlem

os_net_driver_link_reset_positive testini oluştur: “Reset ardından ikinci trafik”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Eski nesil frame yeni linkte sayılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/net_driver.rs · os_net_driver_link_reset

Mevcut başlangıç referansı

kernel/src/net_pool.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Reset ardından ikinci trafik

Karşı-örnek / hata girdisi

Eski completion replay

Gerçek konuk kabulü

Yeni session eski payloadı almaz

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/net_driver.rs
os_net_driver_link_reset_positive
os_net_driver_link_reset_negative
scripts/os-acceptance/net_driver.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Reset ardından ikinci trafik girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Eski completion replay” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1820: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1817. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Eski nesil frame yeni linkte sayılmaz.

Uygulanacak işlem

os_net_driver_link_reset_negative testini oluştur: “Eski completion replay”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Eski nesil frame yeni linkte sayılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/net_driver.rs · os_net_driver_link_reset

Mevcut başlangıç referansı

kernel/src/net_pool.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Reset ardından ikinci trafik

Karşı-örnek / hata girdisi

Eski completion replay

Gerçek konuk kabulü

Yeni session eski payloadı almaz

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/net_driver.rs
os_net_driver_link_reset_positive
os_net_driver_link_reset_negative
scripts/os-acceptance/net_driver.mjs

Geçiş koşulu

Eski completion replay karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Eski completion replay” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1820: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1818. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Eski nesil frame yeni linkte sayılmaz.

Uygulanacak işlem

Tek ürün Image'ında “Yeni session eski payloadı almaz” kabulünü koştur. scripts/os-acceptance/net_driver.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Eski nesil frame yeni linkte sayılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/net_driver.rs · os_net_driver_link_reset

Mevcut başlangıç referansı

kernel/src/net_pool.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Reset ardından ikinci trafik

Karşı-örnek / hata girdisi

Eski completion replay

Gerçek konuk kabulü

Yeni session eski payloadı almaz

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/net_driver.rs
os_net_driver_link_reset_positive
os_net_driver_link_reset_negative
scripts/os-acceptance/net_driver.mjs

Geçiş koşulu

Yeni session eski payloadı almaz; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Eski completion replay” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1820: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1819. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Başlık uzunluk ve hedef MAC kontrol edilir.

Uygulanacak işlem

“Ethernet çerçeve sınırı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Başlık uzunluk ve hedef MAC kontrol edilir. “Kendi MAC ve broadcast” kabulü ile “Eksik header veya yabancı unicast” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Başlık uzunluk ve hedef MAC kontrol edilir

Kod hedefi — henüz öneri

kernel/src/runtime/ethernet_arp.rs · os_ethernet_arp_frame

Mevcut başlangıç referansı

kernel/src/net_arp.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Kendi MAC ve broadcast

Karşı-örnek / hata girdisi

Eksik header veya yabancı unicast

Gerçek konuk kabulü

Yalnız hedeflenen frame üst katmana

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ethernet_arp.rs
os_ethernet_arp_frame_positive
os_ethernet_arp_frame_negative
scripts/os-acceptance/ethernet_arp.mjs

Geçiş koşulu

Tür ve geçiş tablosu Başlık uzunluk ve hedef MAC kontrol edilir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Eksik header veya yabancı unicast” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1825: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1820. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Başlık uzunluk ve hedef MAC kontrol edilir.

Uygulanacak işlem

kernel/src/runtime/ethernet_arp.rs hedefinde os_ethernet_arp_frame yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/net_arp.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Başlık uzunluk ve hedef MAC kontrol edilir

Kod hedefi — henüz öneri

kernel/src/runtime/ethernet_arp.rs · os_ethernet_arp_frame

Mevcut başlangıç referansı

kernel/src/net_arp.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Kendi MAC ve broadcast

Karşı-örnek / hata girdisi

Eksik header veya yabancı unicast

Gerçek konuk kabulü

Yalnız hedeflenen frame üst katmana

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ethernet_arp.rs
os_ethernet_arp_frame_positive
os_ethernet_arp_frame_negative
scripts/os-acceptance/ethernet_arp.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Kendi MAC ve broadcast ile Eksik header veya yabancı unicast ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Eksik header veya yabancı unicast” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1825: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1821. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Başlık uzunluk ve hedef MAC kontrol edilir.

Uygulanacak işlem

os_ethernet_arp_frame_positive testini oluştur: “Kendi MAC ve broadcast”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Başlık uzunluk ve hedef MAC kontrol edilir

Kod hedefi — henüz öneri

kernel/src/runtime/ethernet_arp.rs · os_ethernet_arp_frame

Mevcut başlangıç referansı

kernel/src/net_arp.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Kendi MAC ve broadcast

Karşı-örnek / hata girdisi

Eksik header veya yabancı unicast

Gerçek konuk kabulü

Yalnız hedeflenen frame üst katmana

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ethernet_arp.rs
os_ethernet_arp_frame_positive
os_ethernet_arp_frame_negative
scripts/os-acceptance/ethernet_arp.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Kendi MAC ve broadcast girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Eksik header veya yabancı unicast” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1825: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1822. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Başlık uzunluk ve hedef MAC kontrol edilir.

Uygulanacak işlem

os_ethernet_arp_frame_negative testini oluştur: “Eksik header veya yabancı unicast”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Başlık uzunluk ve hedef MAC kontrol edilir

Kod hedefi — henüz öneri

kernel/src/runtime/ethernet_arp.rs · os_ethernet_arp_frame

Mevcut başlangıç referansı

kernel/src/net_arp.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Kendi MAC ve broadcast

Karşı-örnek / hata girdisi

Eksik header veya yabancı unicast

Gerçek konuk kabulü

Yalnız hedeflenen frame üst katmana

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ethernet_arp.rs
os_ethernet_arp_frame_positive
os_ethernet_arp_frame_negative
scripts/os-acceptance/ethernet_arp.mjs

Geçiş koşulu

Eksik header veya yabancı unicast karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Eksik header veya yabancı unicast” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1825: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1823. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Başlık uzunluk ve hedef MAC kontrol edilir.

Uygulanacak işlem

Tek ürün Image'ında “Yalnız hedeflenen frame üst katmana” kabulünü koştur. scripts/os-acceptance/ethernet_arp.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Başlık uzunluk ve hedef MAC kontrol edilir

Kod hedefi — henüz öneri

kernel/src/runtime/ethernet_arp.rs · os_ethernet_arp_frame

Mevcut başlangıç referansı

kernel/src/net_arp.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Kendi MAC ve broadcast

Karşı-örnek / hata girdisi

Eksik header veya yabancı unicast

Gerçek konuk kabulü

Yalnız hedeflenen frame üst katmana

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ethernet_arp.rs
os_ethernet_arp_frame_positive
os_ethernet_arp_frame_negative
scripts/os-acceptance/ethernet_arp.mjs

Geçiş koşulu

Yalnız hedeflenen frame üst katmana; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Eksik header veya yabancı unicast” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1825: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1824. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Kaynak eşlemesi quota ve timeout taşır.

Uygulanacak işlem

“Sınırlı ARP cache” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Kaynak eşlemesi quota ve timeout taşır. “Bilinen iki peer” kabulü ile “Sınırsız sahte peer girdisi” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Kaynak eşlemesi quota ve timeout taşır

Kod hedefi — henüz öneri

kernel/src/runtime/ethernet_arp.rs · os_ethernet_arp_arp_table

Mevcut başlangıç referansı

kernel/src/net_arp.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Bilinen iki peer

Karşı-örnek / hata girdisi

Sınırsız sahte peer girdisi

Gerçek konuk kabulü

Cache doluluğu kontrollü ret

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ethernet_arp.rs
os_ethernet_arp_arp_table_positive
os_ethernet_arp_arp_table_negative
scripts/os-acceptance/ethernet_arp.mjs

Geçiş koşulu

Tür ve geçiş tablosu Kaynak eşlemesi quota ve timeout taşır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Sınırsız sahte peer girdisi” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1830: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1825. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Kaynak eşlemesi quota ve timeout taşır.

Uygulanacak işlem

kernel/src/runtime/ethernet_arp.rs hedefinde os_ethernet_arp_arp_table yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/net_arp.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Kaynak eşlemesi quota ve timeout taşır

Kod hedefi — henüz öneri

kernel/src/runtime/ethernet_arp.rs · os_ethernet_arp_arp_table

Mevcut başlangıç referansı

kernel/src/net_arp.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Bilinen iki peer

Karşı-örnek / hata girdisi

Sınırsız sahte peer girdisi

Gerçek konuk kabulü

Cache doluluğu kontrollü ret

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ethernet_arp.rs
os_ethernet_arp_arp_table_positive
os_ethernet_arp_arp_table_negative
scripts/os-acceptance/ethernet_arp.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Bilinen iki peer ile Sınırsız sahte peer girdisi ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Sınırsız sahte peer girdisi” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1830: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1826. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Kaynak eşlemesi quota ve timeout taşır.

Uygulanacak işlem

os_ethernet_arp_arp_table_positive testini oluştur: “Bilinen iki peer”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Kaynak eşlemesi quota ve timeout taşır

Kod hedefi — henüz öneri

kernel/src/runtime/ethernet_arp.rs · os_ethernet_arp_arp_table

Mevcut başlangıç referansı

kernel/src/net_arp.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Bilinen iki peer

Karşı-örnek / hata girdisi

Sınırsız sahte peer girdisi

Gerçek konuk kabulü

Cache doluluğu kontrollü ret

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ethernet_arp.rs
os_ethernet_arp_arp_table_positive
os_ethernet_arp_arp_table_negative
scripts/os-acceptance/ethernet_arp.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Bilinen iki peer girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Sınırsız sahte peer girdisi” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1830: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1827. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Kaynak eşlemesi quota ve timeout taşır.

Uygulanacak işlem

os_ethernet_arp_arp_table_negative testini oluştur: “Sınırsız sahte peer girdisi”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Kaynak eşlemesi quota ve timeout taşır

Kod hedefi — henüz öneri

kernel/src/runtime/ethernet_arp.rs · os_ethernet_arp_arp_table

Mevcut başlangıç referansı

kernel/src/net_arp.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Bilinen iki peer

Karşı-örnek / hata girdisi

Sınırsız sahte peer girdisi

Gerçek konuk kabulü

Cache doluluğu kontrollü ret

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ethernet_arp.rs
os_ethernet_arp_arp_table_positive
os_ethernet_arp_arp_table_negative
scripts/os-acceptance/ethernet_arp.mjs

Geçiş koşulu

Sınırsız sahte peer girdisi karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Sınırsız sahte peer girdisi” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1830: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1828. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Kaynak eşlemesi quota ve timeout taşır.

Uygulanacak işlem

Tek ürün Image'ında “Cache doluluğu kontrollü ret” kabulünü koştur. scripts/os-acceptance/ethernet_arp.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Kaynak eşlemesi quota ve timeout taşır

Kod hedefi — henüz öneri

kernel/src/runtime/ethernet_arp.rs · os_ethernet_arp_arp_table

Mevcut başlangıç referansı

kernel/src/net_arp.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Bilinen iki peer

Karşı-örnek / hata girdisi

Sınırsız sahte peer girdisi

Gerçek konuk kabulü

Cache doluluğu kontrollü ret

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ethernet_arp.rs
os_ethernet_arp_arp_table_positive
os_ethernet_arp_arp_table_negative
scripts/os-acceptance/ethernet_arp.mjs

Geçiş koşulu

Cache doluluğu kontrollü ret; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Sınırsız sahte peer girdisi” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1830: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1829. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Aynı hedef tekrarları bounded birleştirilir.

Uygulanacak işlem

“ARP sorgu bekleme” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Aynı hedef tekrarları bounded birleştirilir. “Aynı IPye üç sender” kabulü ile “Yanıtsız hedef” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Aynı hedef tekrarları bounded birleştirilir

Kod hedefi — henüz öneri

kernel/src/runtime/ethernet_arp.rs · os_ethernet_arp_arp_query

Mevcut başlangıç referansı

kernel/src/net_arp.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Aynı IPye üç sender

Karşı-örnek / hata girdisi

Yanıtsız hedef

Gerçek konuk kabulü

Timeout bekleyen soketi uyandırır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ethernet_arp.rs
os_ethernet_arp_arp_query_positive
os_ethernet_arp_arp_query_negative
scripts/os-acceptance/ethernet_arp.mjs

Geçiş koşulu

Tür ve geçiş tablosu Aynı hedef tekrarları bounded birleştirilir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Yanıtsız hedef” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1835: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1830. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Aynı hedef tekrarları bounded birleştirilir.

Uygulanacak işlem

kernel/src/runtime/ethernet_arp.rs hedefinde os_ethernet_arp_arp_query yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/net_arp.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Aynı hedef tekrarları bounded birleştirilir

Kod hedefi — henüz öneri

kernel/src/runtime/ethernet_arp.rs · os_ethernet_arp_arp_query

Mevcut başlangıç referansı

kernel/src/net_arp.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Aynı IPye üç sender

Karşı-örnek / hata girdisi

Yanıtsız hedef

Gerçek konuk kabulü

Timeout bekleyen soketi uyandırır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ethernet_arp.rs
os_ethernet_arp_arp_query_positive
os_ethernet_arp_arp_query_negative
scripts/os-acceptance/ethernet_arp.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Aynı IPye üç sender ile Yanıtsız hedef ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Yanıtsız hedef” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1835: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1831. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Aynı hedef tekrarları bounded birleştirilir.

Uygulanacak işlem

os_ethernet_arp_arp_query_positive testini oluştur: “Aynı IPye üç sender”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Aynı hedef tekrarları bounded birleştirilir

Kod hedefi — henüz öneri

kernel/src/runtime/ethernet_arp.rs · os_ethernet_arp_arp_query

Mevcut başlangıç referansı

kernel/src/net_arp.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Aynı IPye üç sender

Karşı-örnek / hata girdisi

Yanıtsız hedef

Gerçek konuk kabulü

Timeout bekleyen soketi uyandırır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ethernet_arp.rs
os_ethernet_arp_arp_query_positive
os_ethernet_arp_arp_query_negative
scripts/os-acceptance/ethernet_arp.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Aynı IPye üç sender girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Yanıtsız hedef” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1835: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1832. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Aynı hedef tekrarları bounded birleştirilir.

Uygulanacak işlem

os_ethernet_arp_arp_query_negative testini oluştur: “Yanıtsız hedef”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Aynı hedef tekrarları bounded birleştirilir

Kod hedefi — henüz öneri

kernel/src/runtime/ethernet_arp.rs · os_ethernet_arp_arp_query

Mevcut başlangıç referansı

kernel/src/net_arp.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Aynı IPye üç sender

Karşı-örnek / hata girdisi

Yanıtsız hedef

Gerçek konuk kabulü

Timeout bekleyen soketi uyandırır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ethernet_arp.rs
os_ethernet_arp_arp_query_positive
os_ethernet_arp_arp_query_negative
scripts/os-acceptance/ethernet_arp.mjs

Geçiş koşulu

Yanıtsız hedef karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Yanıtsız hedef” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1835: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1833. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Aynı hedef tekrarları bounded birleştirilir.

Uygulanacak işlem

Tek ürün Image'ında “Timeout bekleyen soketi uyandırır” kabulünü koştur. scripts/os-acceptance/ethernet_arp.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Aynı hedef tekrarları bounded birleştirilir

Kod hedefi — henüz öneri

kernel/src/runtime/ethernet_arp.rs · os_ethernet_arp_arp_query

Mevcut başlangıç referansı

kernel/src/net_arp.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Aynı IPye üç sender

Karşı-örnek / hata girdisi

Yanıtsız hedef

Gerçek konuk kabulü

Timeout bekleyen soketi uyandırır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ethernet_arp.rs
os_ethernet_arp_arp_query_positive
os_ethernet_arp_arp_query_negative
scripts/os-acceptance/ethernet_arp.mjs

Geçiş koşulu

Timeout bekleyen soketi uyandırır; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Yanıtsız hedef” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1835: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1834. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: MAC IP ve operation tuple birlikte geçer.

Uygulanacak işlem

“ARP yanıt doğrulama” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: MAC IP ve operation tuple birlikte geçer. “Beklenen queryye uygun reply” kabulü ile “Yabancı hedef veya bozuk length” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

MAC IP ve operation tuple birlikte geçer

Kod hedefi — henüz öneri

kernel/src/runtime/ethernet_arp.rs · os_ethernet_arp_arp_validation

Mevcut başlangıç referansı

kernel/src/net_arp.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Beklenen queryye uygun reply

Karşı-örnek / hata girdisi

Yabancı hedef veya bozuk length

Gerçek konuk kabulü

Uydurma yanıt komşu kaydı değiştirmez

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ethernet_arp.rs
os_ethernet_arp_arp_validation_positive
os_ethernet_arp_arp_validation_negative
scripts/os-acceptance/ethernet_arp.mjs

Geçiş koşulu

Tür ve geçiş tablosu MAC IP ve operation tuple birlikte geçer kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Yabancı hedef veya bozuk length” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1840: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1835. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: MAC IP ve operation tuple birlikte geçer.

Uygulanacak işlem

kernel/src/runtime/ethernet_arp.rs hedefinde os_ethernet_arp_arp_validation yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/net_arp.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

MAC IP ve operation tuple birlikte geçer

Kod hedefi — henüz öneri

kernel/src/runtime/ethernet_arp.rs · os_ethernet_arp_arp_validation

Mevcut başlangıç referansı

kernel/src/net_arp.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Beklenen queryye uygun reply

Karşı-örnek / hata girdisi

Yabancı hedef veya bozuk length

Gerçek konuk kabulü

Uydurma yanıt komşu kaydı değiştirmez

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ethernet_arp.rs
os_ethernet_arp_arp_validation_positive
os_ethernet_arp_arp_validation_negative
scripts/os-acceptance/ethernet_arp.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Beklenen queryye uygun reply ile Yabancı hedef veya bozuk length ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Yabancı hedef veya bozuk length” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1840: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1836. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: MAC IP ve operation tuple birlikte geçer.

Uygulanacak işlem

os_ethernet_arp_arp_validation_positive testini oluştur: “Beklenen queryye uygun reply”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

MAC IP ve operation tuple birlikte geçer

Kod hedefi — henüz öneri

kernel/src/runtime/ethernet_arp.rs · os_ethernet_arp_arp_validation

Mevcut başlangıç referansı

kernel/src/net_arp.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Beklenen queryye uygun reply

Karşı-örnek / hata girdisi

Yabancı hedef veya bozuk length

Gerçek konuk kabulü

Uydurma yanıt komşu kaydı değiştirmez

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ethernet_arp.rs
os_ethernet_arp_arp_validation_positive
os_ethernet_arp_arp_validation_negative
scripts/os-acceptance/ethernet_arp.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Beklenen queryye uygun reply girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Yabancı hedef veya bozuk length” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1840: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1837. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: MAC IP ve operation tuple birlikte geçer.

Uygulanacak işlem

os_ethernet_arp_arp_validation_negative testini oluştur: “Yabancı hedef veya bozuk length”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

MAC IP ve operation tuple birlikte geçer

Kod hedefi — henüz öneri

kernel/src/runtime/ethernet_arp.rs · os_ethernet_arp_arp_validation

Mevcut başlangıç referansı

kernel/src/net_arp.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Beklenen queryye uygun reply

Karşı-örnek / hata girdisi

Yabancı hedef veya bozuk length

Gerçek konuk kabulü

Uydurma yanıt komşu kaydı değiştirmez

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ethernet_arp.rs
os_ethernet_arp_arp_validation_positive
os_ethernet_arp_arp_validation_negative
scripts/os-acceptance/ethernet_arp.mjs

Geçiş koşulu

Yabancı hedef veya bozuk length karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Yabancı hedef veya bozuk length” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1840: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1838. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: MAC IP ve operation tuple birlikte geçer.

Uygulanacak işlem

Tek ürün Image'ında “Uydurma yanıt komşu kaydı değiştirmez” kabulünü koştur. scripts/os-acceptance/ethernet_arp.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

MAC IP ve operation tuple birlikte geçer

Kod hedefi — henüz öneri

kernel/src/runtime/ethernet_arp.rs · os_ethernet_arp_arp_validation

Mevcut başlangıç referansı

kernel/src/net_arp.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Beklenen queryye uygun reply

Karşı-örnek / hata girdisi

Yabancı hedef veya bozuk length

Gerçek konuk kabulü

Uydurma yanıt komşu kaydı değiştirmez

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ethernet_arp.rs
os_ethernet_arp_arp_validation_positive
os_ethernet_arp_arp_validation_negative
scripts/os-acceptance/ethernet_arp.mjs

Geçiş koşulu

Uydurma yanıt komşu kaydı değiştirmez; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Yabancı hedef veya bozuk length” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1840: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1839. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Başlık toplam boy ve checksum sınırlıdır.

Uygulanacak işlem

“IPv4 uzunluk checksum” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Başlık toplam boy ve checksum sınırlıdır. “Bilinen checksumlı paket” kabulü ile “IHL veya total length taşması” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Başlık toplam boy ve checksum sınırlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/ipv4.rs · os_ipv4_packet

Mevcut başlangıç referansı

kernel/src/net_ipv4.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Bilinen checksumlı paket

Karşı-örnek / hata girdisi

IHL veya total length taşması

Gerçek konuk kabulü

Bozuk paket payload kopyalamadan ret

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ipv4.rs
os_ipv4_packet_positive
os_ipv4_packet_negative
scripts/os-acceptance/ipv4.mjs

Geçiş koşulu

Tür ve geçiş tablosu Başlık toplam boy ve checksum sınırlıdır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“IHL veya total length taşması” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1845: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1840. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Başlık toplam boy ve checksum sınırlıdır.

Uygulanacak işlem

kernel/src/runtime/ipv4.rs hedefinde os_ipv4_packet yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/net_ipv4.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Başlık toplam boy ve checksum sınırlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/ipv4.rs · os_ipv4_packet

Mevcut başlangıç referansı

kernel/src/net_ipv4.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Bilinen checksumlı paket

Karşı-örnek / hata girdisi

IHL veya total length taşması

Gerçek konuk kabulü

Bozuk paket payload kopyalamadan ret

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ipv4.rs
os_ipv4_packet_positive
os_ipv4_packet_negative
scripts/os-acceptance/ipv4.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Bilinen checksumlı paket ile IHL veya total length taşması ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“IHL veya total length taşması” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1845: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1841. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Başlık toplam boy ve checksum sınırlıdır.

Uygulanacak işlem

os_ipv4_packet_positive testini oluştur: “Bilinen checksumlı paket”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Başlık toplam boy ve checksum sınırlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/ipv4.rs · os_ipv4_packet

Mevcut başlangıç referansı

kernel/src/net_ipv4.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Bilinen checksumlı paket

Karşı-örnek / hata girdisi

IHL veya total length taşması

Gerçek konuk kabulü

Bozuk paket payload kopyalamadan ret

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ipv4.rs
os_ipv4_packet_positive
os_ipv4_packet_negative
scripts/os-acceptance/ipv4.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Bilinen checksumlı paket girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“IHL veya total length taşması” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1845: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1842. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Başlık toplam boy ve checksum sınırlıdır.

Uygulanacak işlem

os_ipv4_packet_negative testini oluştur: “IHL veya total length taşması”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Başlık toplam boy ve checksum sınırlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/ipv4.rs · os_ipv4_packet

Mevcut başlangıç referansı

kernel/src/net_ipv4.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Bilinen checksumlı paket

Karşı-örnek / hata girdisi

IHL veya total length taşması

Gerçek konuk kabulü

Bozuk paket payload kopyalamadan ret

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ipv4.rs
os_ipv4_packet_positive
os_ipv4_packet_negative
scripts/os-acceptance/ipv4.mjs

Geçiş koşulu

IHL veya total length taşması karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“IHL veya total length taşması” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1845: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1843. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Başlık toplam boy ve checksum sınırlıdır.

Uygulanacak işlem

Tek ürün Image'ında “Bozuk paket payload kopyalamadan ret” kabulünü koştur. scripts/os-acceptance/ipv4.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Başlık toplam boy ve checksum sınırlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/ipv4.rs · os_ipv4_packet

Mevcut başlangıç referansı

kernel/src/net_ipv4.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Bilinen checksumlı paket

Karşı-örnek / hata girdisi

IHL veya total length taşması

Gerçek konuk kabulü

Bozuk paket payload kopyalamadan ret

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ipv4.rs
os_ipv4_packet_positive
os_ipv4_packet_negative
scripts/os-acceptance/ipv4.mjs

Geçiş koşulu

Bozuk paket payload kopyalamadan ret; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“IHL veya total length taşması” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1845: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1844. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Prefix ve gateway seçim kuralları açıktır.

Uygulanacak işlem

“Sınırlı route tablosu” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Prefix ve gateway seçim kuralları açıktır. “Local subnet ve default route” kabulü ile “Geçersiz mask veya döngü” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Prefix ve gateway seçim kuralları açıktır

Kod hedefi — henüz öneri

kernel/src/runtime/ipv4.rs · os_ipv4_routing

Mevcut başlangıç referansı

kernel/src/net_ipv4.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Local subnet ve default route

Karşı-örnek / hata girdisi

Geçersiz mask veya döngü

Gerçek konuk kabulü

Route yok hatası kullanıcıya döner

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ipv4.rs
os_ipv4_routing_positive
os_ipv4_routing_negative
scripts/os-acceptance/ipv4.mjs

Geçiş koşulu

Tür ve geçiş tablosu Prefix ve gateway seçim kuralları açıktır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Geçersiz mask veya döngü” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1850: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1845. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Prefix ve gateway seçim kuralları açıktır.

Uygulanacak işlem

kernel/src/runtime/ipv4.rs hedefinde os_ipv4_routing yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/net_ipv4.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Prefix ve gateway seçim kuralları açıktır

Kod hedefi — henüz öneri

kernel/src/runtime/ipv4.rs · os_ipv4_routing

Mevcut başlangıç referansı

kernel/src/net_ipv4.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Local subnet ve default route

Karşı-örnek / hata girdisi

Geçersiz mask veya döngü

Gerçek konuk kabulü

Route yok hatası kullanıcıya döner

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ipv4.rs
os_ipv4_routing_positive
os_ipv4_routing_negative
scripts/os-acceptance/ipv4.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Local subnet ve default route ile Geçersiz mask veya döngü ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Geçersiz mask veya döngü” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1850: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1846. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Prefix ve gateway seçim kuralları açıktır.

Uygulanacak işlem

os_ipv4_routing_positive testini oluştur: “Local subnet ve default route”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Prefix ve gateway seçim kuralları açıktır

Kod hedefi — henüz öneri

kernel/src/runtime/ipv4.rs · os_ipv4_routing

Mevcut başlangıç referansı

kernel/src/net_ipv4.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Local subnet ve default route

Karşı-örnek / hata girdisi

Geçersiz mask veya döngü

Gerçek konuk kabulü

Route yok hatası kullanıcıya döner

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ipv4.rs
os_ipv4_routing_positive
os_ipv4_routing_negative
scripts/os-acceptance/ipv4.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Local subnet ve default route girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Geçersiz mask veya döngü” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1850: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1847. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Prefix ve gateway seçim kuralları açıktır.

Uygulanacak işlem

os_ipv4_routing_negative testini oluştur: “Geçersiz mask veya döngü”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Prefix ve gateway seçim kuralları açıktır

Kod hedefi — henüz öneri

kernel/src/runtime/ipv4.rs · os_ipv4_routing

Mevcut başlangıç referansı

kernel/src/net_ipv4.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Local subnet ve default route

Karşı-örnek / hata girdisi

Geçersiz mask veya döngü

Gerçek konuk kabulü

Route yok hatası kullanıcıya döner

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ipv4.rs
os_ipv4_routing_positive
os_ipv4_routing_negative
scripts/os-acceptance/ipv4.mjs

Geçiş koşulu

Geçersiz mask veya döngü karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Geçersiz mask veya döngü” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1850: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1848. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Prefix ve gateway seçim kuralları açıktır.

Uygulanacak işlem

Tek ürün Image'ında “Route yok hatası kullanıcıya döner” kabulünü koştur. scripts/os-acceptance/ipv4.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Prefix ve gateway seçim kuralları açıktır

Kod hedefi — henüz öneri

kernel/src/runtime/ipv4.rs · os_ipv4_routing

Mevcut başlangıç referansı

kernel/src/net_ipv4.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Local subnet ve default route

Karşı-örnek / hata girdisi

Geçersiz mask veya döngü

Gerçek konuk kabulü

Route yok hatası kullanıcıya döner

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ipv4.rs
os_ipv4_routing_positive
os_ipv4_routing_negative
scripts/os-acceptance/ipv4.mjs

Geçiş koşulu

Route yok hatası kullanıcıya döner; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Geçersiz mask veya döngü” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1850: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1849. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: İlk sürüm fragmenti destek yok diye reddeder.

Uygulanacak işlem

“Fragment sınırlama politikası” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: İlk sürüm fragmenti destek yok diye reddeder. “Fragment olmayan datagram” kabulü ile “MF flag veya nonzero offset” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

İlk sürüm fragmenti destek yok diye reddeder

Kod hedefi — henüz öneri

kernel/src/runtime/ipv4.rs · os_ipv4_fragments

Mevcut başlangıç referansı

kernel/src/net_ipv4.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Fragment olmayan datagram

Karşı-örnek / hata girdisi

MF flag veya nonzero offset

Gerçek konuk kabulü

Fragment sessiz tam paket sayılmaz

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ipv4.rs
os_ipv4_fragments_positive
os_ipv4_fragments_negative
scripts/os-acceptance/ipv4.mjs

Geçiş koşulu

Tür ve geçiş tablosu İlk sürüm fragmenti destek yok diye reddeder kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“MF flag veya nonzero offset” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1855: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1850. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: İlk sürüm fragmenti destek yok diye reddeder.

Uygulanacak işlem

kernel/src/runtime/ipv4.rs hedefinde os_ipv4_fragments yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/net_ipv4.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

İlk sürüm fragmenti destek yok diye reddeder

Kod hedefi — henüz öneri

kernel/src/runtime/ipv4.rs · os_ipv4_fragments

Mevcut başlangıç referansı

kernel/src/net_ipv4.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Fragment olmayan datagram

Karşı-örnek / hata girdisi

MF flag veya nonzero offset

Gerçek konuk kabulü

Fragment sessiz tam paket sayılmaz

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ipv4.rs
os_ipv4_fragments_positive
os_ipv4_fragments_negative
scripts/os-acceptance/ipv4.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Fragment olmayan datagram ile MF flag veya nonzero offset ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“MF flag veya nonzero offset” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1855: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1851. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: İlk sürüm fragmenti destek yok diye reddeder.

Uygulanacak işlem

os_ipv4_fragments_positive testini oluştur: “Fragment olmayan datagram”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

İlk sürüm fragmenti destek yok diye reddeder

Kod hedefi — henüz öneri

kernel/src/runtime/ipv4.rs · os_ipv4_fragments

Mevcut başlangıç referansı

kernel/src/net_ipv4.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Fragment olmayan datagram

Karşı-örnek / hata girdisi

MF flag veya nonzero offset

Gerçek konuk kabulü

Fragment sessiz tam paket sayılmaz

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ipv4.rs
os_ipv4_fragments_positive
os_ipv4_fragments_negative
scripts/os-acceptance/ipv4.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Fragment olmayan datagram girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“MF flag veya nonzero offset” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1855: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1852. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: İlk sürüm fragmenti destek yok diye reddeder.

Uygulanacak işlem

os_ipv4_fragments_negative testini oluştur: “MF flag veya nonzero offset”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

İlk sürüm fragmenti destek yok diye reddeder

Kod hedefi — henüz öneri

kernel/src/runtime/ipv4.rs · os_ipv4_fragments

Mevcut başlangıç referansı

kernel/src/net_ipv4.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Fragment olmayan datagram

Karşı-örnek / hata girdisi

MF flag veya nonzero offset

Gerçek konuk kabulü

Fragment sessiz tam paket sayılmaz

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ipv4.rs
os_ipv4_fragments_positive
os_ipv4_fragments_negative
scripts/os-acceptance/ipv4.mjs

Geçiş koşulu

MF flag veya nonzero offset karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“MF flag veya nonzero offset” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1855: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1853. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: İlk sürüm fragmenti destek yok diye reddeder.

Uygulanacak işlem

Tek ürün Image'ında “Fragment sessiz tam paket sayılmaz” kabulünü koştur. scripts/os-acceptance/ipv4.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

İlk sürüm fragmenti destek yok diye reddeder

Kod hedefi — henüz öneri

kernel/src/runtime/ipv4.rs · os_ipv4_fragments

Mevcut başlangıç referansı

kernel/src/net_ipv4.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Fragment olmayan datagram

Karşı-örnek / hata girdisi

MF flag veya nonzero offset

Gerçek konuk kabulü

Fragment sessiz tam paket sayılmaz

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ipv4.rs
os_ipv4_fragments_positive
os_ipv4_fragments_negative
scripts/os-acceptance/ipv4.mjs

Geçiş koşulu

Fragment sessiz tam paket sayılmaz; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“MF flag veya nonzero offset” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1855: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1854. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Reply boy ve rate limiti korunur.

Uygulanacak işlem

“ICMP echo ve hata oranı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Reply boy ve rate limiti korunur. “Geçerli echo request” kabulü ile “Echo fırtınası veya bozuk checksum” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Reply boy ve rate limiti korunur

Kod hedefi — henüz öneri

kernel/src/runtime/ipv4.rs · os_ipv4_icmp

Mevcut başlangıç referansı

kernel/src/net_ipv4.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Geçerli echo request

Karşı-örnek / hata girdisi

Echo fırtınası veya bozuk checksum

Gerçek konuk kabulü

Sınırlı reply ve drop muhasebesi

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ipv4.rs
os_ipv4_icmp_positive
os_ipv4_icmp_negative
scripts/os-acceptance/ipv4.mjs

Geçiş koşulu

Tür ve geçiş tablosu Reply boy ve rate limiti korunur kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Echo fırtınası veya bozuk checksum” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1860: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1855. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Reply boy ve rate limiti korunur.

Uygulanacak işlem

kernel/src/runtime/ipv4.rs hedefinde os_ipv4_icmp yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/net_ipv4.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Reply boy ve rate limiti korunur

Kod hedefi — henüz öneri

kernel/src/runtime/ipv4.rs · os_ipv4_icmp

Mevcut başlangıç referansı

kernel/src/net_ipv4.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Geçerli echo request

Karşı-örnek / hata girdisi

Echo fırtınası veya bozuk checksum

Gerçek konuk kabulü

Sınırlı reply ve drop muhasebesi

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ipv4.rs
os_ipv4_icmp_positive
os_ipv4_icmp_negative
scripts/os-acceptance/ipv4.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Geçerli echo request ile Echo fırtınası veya bozuk checksum ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Echo fırtınası veya bozuk checksum” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1860: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1856. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Reply boy ve rate limiti korunur.

Uygulanacak işlem

os_ipv4_icmp_positive testini oluştur: “Geçerli echo request”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Reply boy ve rate limiti korunur

Kod hedefi — henüz öneri

kernel/src/runtime/ipv4.rs · os_ipv4_icmp

Mevcut başlangıç referansı

kernel/src/net_ipv4.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Geçerli echo request

Karşı-örnek / hata girdisi

Echo fırtınası veya bozuk checksum

Gerçek konuk kabulü

Sınırlı reply ve drop muhasebesi

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ipv4.rs
os_ipv4_icmp_positive
os_ipv4_icmp_negative
scripts/os-acceptance/ipv4.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Geçerli echo request girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Echo fırtınası veya bozuk checksum” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1860: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1857. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Reply boy ve rate limiti korunur.

Uygulanacak işlem

os_ipv4_icmp_negative testini oluştur: “Echo fırtınası veya bozuk checksum”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Reply boy ve rate limiti korunur

Kod hedefi — henüz öneri

kernel/src/runtime/ipv4.rs · os_ipv4_icmp

Mevcut başlangıç referansı

kernel/src/net_ipv4.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Geçerli echo request

Karşı-örnek / hata girdisi

Echo fırtınası veya bozuk checksum

Gerçek konuk kabulü

Sınırlı reply ve drop muhasebesi

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ipv4.rs
os_ipv4_icmp_positive
os_ipv4_icmp_negative
scripts/os-acceptance/ipv4.mjs

Geçiş koşulu

Echo fırtınası veya bozuk checksum karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Echo fırtınası veya bozuk checksum” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1860: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1858. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Reply boy ve rate limiti korunur.

Uygulanacak işlem

Tek ürün Image'ında “Sınırlı reply ve drop muhasebesi” kabulünü koştur. scripts/os-acceptance/ipv4.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Reply boy ve rate limiti korunur

Kod hedefi — henüz öneri

kernel/src/runtime/ipv4.rs · os_ipv4_icmp

Mevcut başlangıç referansı

kernel/src/net_ipv4.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Geçerli echo request

Karşı-örnek / hata girdisi

Echo fırtınası veya bozuk checksum

Gerçek konuk kabulü

Sınırlı reply ve drop muhasebesi

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/ipv4.rs
os_ipv4_icmp_positive
os_ipv4_icmp_negative
scripts/os-acceptance/ipv4.mjs

Geçiş koşulu

Sınırlı reply ve drop muhasebesi; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Echo fırtınası veya bozuk checksum” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1860: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1859. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Port sahipliği principal ile kaydedilir.

Uygulanacak işlem

“Socket bind hak ve port” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Port sahipliği principal ile kaydedilir. “İki farklı local port” kabulü ile “Yetkisiz privileged port” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Port sahipliği principal ile kaydedilir

Kod hedefi — henüz öneri

kernel/src/runtime/udp.rs · os_udp_binding

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İki farklı local port

Karşı-örnek / hata girdisi

Yetkisiz privileged port

Gerçek konuk kabulü

EACCES diğer bindı bozmaz

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/udp.rs
os_udp_binding_positive
os_udp_binding_negative
scripts/os-acceptance/udp.mjs

Geçiş koşulu

Tür ve geçiş tablosu Port sahipliği principal ile kaydedilir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Yetkisiz privileged port” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1865: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1860. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Port sahipliği principal ile kaydedilir.

Uygulanacak işlem

kernel/src/runtime/udp.rs hedefinde os_udp_binding yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/net_frame.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Port sahipliği principal ile kaydedilir

Kod hedefi — henüz öneri

kernel/src/runtime/udp.rs · os_udp_binding

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İki farklı local port

Karşı-örnek / hata girdisi

Yetkisiz privileged port

Gerçek konuk kabulü

EACCES diğer bindı bozmaz

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/udp.rs
os_udp_binding_positive
os_udp_binding_negative
scripts/os-acceptance/udp.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki farklı local port ile Yetkisiz privileged port ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Yetkisiz privileged port” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1865: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1861. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Port sahipliği principal ile kaydedilir.

Uygulanacak işlem

os_udp_binding_positive testini oluştur: “İki farklı local port”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Port sahipliği principal ile kaydedilir

Kod hedefi — henüz öneri

kernel/src/runtime/udp.rs · os_udp_binding

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İki farklı local port

Karşı-örnek / hata girdisi

Yetkisiz privileged port

Gerçek konuk kabulü

EACCES diğer bindı bozmaz

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/udp.rs
os_udp_binding_positive
os_udp_binding_negative
scripts/os-acceptance/udp.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; İki farklı local port girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Yetkisiz privileged port” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1865: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1862. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Port sahipliği principal ile kaydedilir.

Uygulanacak işlem

os_udp_binding_negative testini oluştur: “Yetkisiz privileged port”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Port sahipliği principal ile kaydedilir

Kod hedefi — henüz öneri

kernel/src/runtime/udp.rs · os_udp_binding

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İki farklı local port

Karşı-örnek / hata girdisi

Yetkisiz privileged port

Gerçek konuk kabulü

EACCES diğer bindı bozmaz

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/udp.rs
os_udp_binding_positive
os_udp_binding_negative
scripts/os-acceptance/udp.mjs

Geçiş koşulu

Yetkisiz privileged port karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Yetkisiz privileged port” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1865: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1863. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Port sahipliği principal ile kaydedilir.

Uygulanacak işlem

Tek ürün Image'ında “EACCES diğer bindı bozmaz” kabulünü koştur. scripts/os-acceptance/udp.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Port sahipliği principal ile kaydedilir

Kod hedefi — henüz öneri

kernel/src/runtime/udp.rs · os_udp_binding

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İki farklı local port

Karşı-örnek / hata girdisi

Yetkisiz privileged port

Gerçek konuk kabulü

EACCES diğer bindı bozmaz

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/udp.rs
os_udp_binding_positive
os_udp_binding_negative
scripts/os-acceptance/udp.mjs

Geçiş koşulu

EACCES diğer bindı bozmaz; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Yetkisiz privileged port” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1865: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1864. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Length checksum ve hedef tuple geçer.

Uygulanacak işlem

“UDP datagram sınırları” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Length checksum ve hedef tuple geçer. “Boş ve küçük payload” kabulü ile “UDP length IP payloadı aşar” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Length checksum ve hedef tuple geçer

Kod hedefi — henüz öneri

kernel/src/runtime/udp.rs · os_udp_datagrams

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Boş ve küçük payload

Karşı-örnek / hata girdisi

UDP length IP payloadı aşar

Gerçek konuk kabulü

Alıcı tam tek datagram alır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/udp.rs
os_udp_datagrams_positive
os_udp_datagrams_negative
scripts/os-acceptance/udp.mjs

Geçiş koşulu

Tür ve geçiş tablosu Length checksum ve hedef tuple geçer kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“UDP length IP payloadı aşar” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1870: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1865. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Length checksum ve hedef tuple geçer.

Uygulanacak işlem

kernel/src/runtime/udp.rs hedefinde os_udp_datagrams yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/net_frame.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Length checksum ve hedef tuple geçer

Kod hedefi — henüz öneri

kernel/src/runtime/udp.rs · os_udp_datagrams

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Boş ve küçük payload

Karşı-örnek / hata girdisi

UDP length IP payloadı aşar

Gerçek konuk kabulü

Alıcı tam tek datagram alır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/udp.rs
os_udp_datagrams_positive
os_udp_datagrams_negative
scripts/os-acceptance/udp.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Boş ve küçük payload ile UDP length IP payloadı aşar ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“UDP length IP payloadı aşar” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1870: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1866. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Length checksum ve hedef tuple geçer.

Uygulanacak işlem

os_udp_datagrams_positive testini oluştur: “Boş ve küçük payload”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Length checksum ve hedef tuple geçer

Kod hedefi — henüz öneri

kernel/src/runtime/udp.rs · os_udp_datagrams

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Boş ve küçük payload

Karşı-örnek / hata girdisi

UDP length IP payloadı aşar

Gerçek konuk kabulü

Alıcı tam tek datagram alır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/udp.rs
os_udp_datagrams_positive
os_udp_datagrams_negative
scripts/os-acceptance/udp.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Boş ve küçük payload girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“UDP length IP payloadı aşar” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1870: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1867. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Length checksum ve hedef tuple geçer.

Uygulanacak işlem

os_udp_datagrams_negative testini oluştur: “UDP length IP payloadı aşar”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Length checksum ve hedef tuple geçer

Kod hedefi — henüz öneri

kernel/src/runtime/udp.rs · os_udp_datagrams

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Boş ve küçük payload

Karşı-örnek / hata girdisi

UDP length IP payloadı aşar

Gerçek konuk kabulü

Alıcı tam tek datagram alır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/udp.rs
os_udp_datagrams_positive
os_udp_datagrams_negative
scripts/os-acceptance/udp.mjs

Geçiş koşulu

UDP length IP payloadı aşar karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“UDP length IP payloadı aşar” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1870: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1868. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Length checksum ve hedef tuple geçer.

Uygulanacak işlem

Tek ürün Image'ında “Alıcı tam tek datagram alır” kabulünü koştur. scripts/os-acceptance/udp.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Length checksum ve hedef tuple geçer

Kod hedefi — henüz öneri

kernel/src/runtime/udp.rs · os_udp_datagrams

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Boş ve küçük payload

Karşı-örnek / hata girdisi

UDP length IP payloadı aşar

Gerçek konuk kabulü

Alıcı tam tek datagram alır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/udp.rs
os_udp_datagrams_positive
os_udp_datagrams_negative
scripts/os-acceptance/udp.mjs

Geçiş koşulu

Alıcı tam tek datagram alır; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“UDP length IP payloadı aşar” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1870: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1869. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Datagram partial teslim edilmez.

Uygulanacak işlem

“Socket RX kuyruk bütçesi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Datagram partial teslim edilmez. “Üç datagram ve kısa user buffer” kabulü ile “Kuyruk kapasitesi artı bir” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Datagram partial teslim edilmez

Kod hedefi — henüz öneri

kernel/src/runtime/udp.rs · os_udp_buffering

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Üç datagram ve kısa user buffer

Karşı-örnek / hata girdisi

Kuyruk kapasitesi artı bir

Gerçek konuk kabulü

Truncation veya ret açık etiketli

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/udp.rs
os_udp_buffering_positive
os_udp_buffering_negative
scripts/os-acceptance/udp.mjs

Geçiş koşulu

Tür ve geçiş tablosu Datagram partial teslim edilmez kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Kuyruk kapasitesi artı bir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1875: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1870. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Datagram partial teslim edilmez.

Uygulanacak işlem

kernel/src/runtime/udp.rs hedefinde os_udp_buffering yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/net_frame.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Datagram partial teslim edilmez

Kod hedefi — henüz öneri

kernel/src/runtime/udp.rs · os_udp_buffering

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Üç datagram ve kısa user buffer

Karşı-örnek / hata girdisi

Kuyruk kapasitesi artı bir

Gerçek konuk kabulü

Truncation veya ret açık etiketli

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/udp.rs
os_udp_buffering_positive
os_udp_buffering_negative
scripts/os-acceptance/udp.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Üç datagram ve kısa user buffer ile Kuyruk kapasitesi artı bir ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Kuyruk kapasitesi artı bir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1875: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1871. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Datagram partial teslim edilmez.

Uygulanacak işlem

os_udp_buffering_positive testini oluştur: “Üç datagram ve kısa user buffer”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Datagram partial teslim edilmez

Kod hedefi — henüz öneri

kernel/src/runtime/udp.rs · os_udp_buffering

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Üç datagram ve kısa user buffer

Karşı-örnek / hata girdisi

Kuyruk kapasitesi artı bir

Gerçek konuk kabulü

Truncation veya ret açık etiketli

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/udp.rs
os_udp_buffering_positive
os_udp_buffering_negative
scripts/os-acceptance/udp.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Üç datagram ve kısa user buffer girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Kuyruk kapasitesi artı bir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1875: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1872. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Datagram partial teslim edilmez.

Uygulanacak işlem

os_udp_buffering_negative testini oluştur: “Kuyruk kapasitesi artı bir”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Datagram partial teslim edilmez

Kod hedefi — henüz öneri

kernel/src/runtime/udp.rs · os_udp_buffering

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Üç datagram ve kısa user buffer

Karşı-örnek / hata girdisi

Kuyruk kapasitesi artı bir

Gerçek konuk kabulü

Truncation veya ret açık etiketli

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/udp.rs
os_udp_buffering_positive
os_udp_buffering_negative
scripts/os-acceptance/udp.mjs

Geçiş koşulu

Kuyruk kapasitesi artı bir karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Kuyruk kapasitesi artı bir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1875: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1873. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Datagram partial teslim edilmez.

Uygulanacak işlem

Tek ürün Image'ında “Truncation veya ret açık etiketli” kabulünü koştur. scripts/os-acceptance/udp.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Datagram partial teslim edilmez

Kod hedefi — henüz öneri

kernel/src/runtime/udp.rs · os_udp_buffering

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Üç datagram ve kısa user buffer

Karşı-örnek / hata girdisi

Kuyruk kapasitesi artı bir

Gerçek konuk kabulü

Truncation veya ret açık etiketli

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/udp.rs
os_udp_buffering_positive
os_udp_buffering_negative
scripts/os-acceptance/udp.mjs

Geçiş koşulu

Truncation veya ret açık etiketli; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Kuyruk kapasitesi artı bir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1875: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1874. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Close waiterı tanımlı sonuçla çözer.

Uygulanacak işlem

“Socket wait timeout close” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Close waiterı tanımlı sonuçla çözer. “Recv beklerken close” kabulü ile “Ölü socket nesli wake” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Close waiterı tanımlı sonuçla çözer

Kod hedefi — henüz öneri

kernel/src/runtime/udp.rs · os_udp_close_wait

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Recv beklerken close

Karşı-örnek / hata girdisi

Ölü socket nesli wake

Gerçek konuk kabulü

Tek dönüş ve buffer iadesi

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/udp.rs
os_udp_close_wait_positive
os_udp_close_wait_negative
scripts/os-acceptance/udp.mjs

Geçiş koşulu

Tür ve geçiş tablosu Close waiterı tanımlı sonuçla çözer kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Ölü socket nesli wake” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1880: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1875. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Close waiterı tanımlı sonuçla çözer.

Uygulanacak işlem

kernel/src/runtime/udp.rs hedefinde os_udp_close_wait yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/net_frame.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Close waiterı tanımlı sonuçla çözer

Kod hedefi — henüz öneri

kernel/src/runtime/udp.rs · os_udp_close_wait

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Recv beklerken close

Karşı-örnek / hata girdisi

Ölü socket nesli wake

Gerçek konuk kabulü

Tek dönüş ve buffer iadesi

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/udp.rs
os_udp_close_wait_positive
os_udp_close_wait_negative
scripts/os-acceptance/udp.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Recv beklerken close ile Ölü socket nesli wake ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Ölü socket nesli wake” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1880: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1876. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Close waiterı tanımlı sonuçla çözer.

Uygulanacak işlem

os_udp_close_wait_positive testini oluştur: “Recv beklerken close”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Close waiterı tanımlı sonuçla çözer

Kod hedefi — henüz öneri

kernel/src/runtime/udp.rs · os_udp_close_wait

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Recv beklerken close

Karşı-örnek / hata girdisi

Ölü socket nesli wake

Gerçek konuk kabulü

Tek dönüş ve buffer iadesi

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/udp.rs
os_udp_close_wait_positive
os_udp_close_wait_negative
scripts/os-acceptance/udp.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Recv beklerken close girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Ölü socket nesli wake” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1880: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1877. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Close waiterı tanımlı sonuçla çözer.

Uygulanacak işlem

os_udp_close_wait_negative testini oluştur: “Ölü socket nesli wake”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Close waiterı tanımlı sonuçla çözer

Kod hedefi — henüz öneri

kernel/src/runtime/udp.rs · os_udp_close_wait

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Recv beklerken close

Karşı-örnek / hata girdisi

Ölü socket nesli wake

Gerçek konuk kabulü

Tek dönüş ve buffer iadesi

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/udp.rs
os_udp_close_wait_positive
os_udp_close_wait_negative
scripts/os-acceptance/udp.mjs

Geçiş koşulu

Ölü socket nesli wake karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Ölü socket nesli wake” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1880: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1878. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Close waiterı tanımlı sonuçla çözer.

Uygulanacak işlem

Tek ürün Image'ında “Tek dönüş ve buffer iadesi” kabulünü koştur. scripts/os-acceptance/udp.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Close waiterı tanımlı sonuçla çözer

Kod hedefi — henüz öneri

kernel/src/runtime/udp.rs · os_udp_close_wait

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Recv beklerken close

Karşı-örnek / hata girdisi

Ölü socket nesli wake

Gerçek konuk kabulü

Tek dönüş ve buffer iadesi

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/udp.rs
os_udp_close_wait_positive
os_udp_close_wait_negative
scripts/os-acceptance/udp.mjs

Geçiş koşulu

Tek dönüş ve buffer iadesi; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Ölü socket nesli wake” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1880: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1879. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Tuple ve sequence bütün geçişleri sınırlar.

Uygulanacak işlem

“SYN SYNACK ACK geçişleri” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Tuple ve sequence bütün geçişleri sınırlar. “İzole peerle üçlü handshake” kabulü ile “Yanlış ACK veya eski SYNACK” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Tuple ve sequence bütün geçişleri sınırlar

Kod hedefi — henüz öneri

kernel/src/runtime/tcp.rs · os_tcp_handshake

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İzole peerle üçlü handshake

Karşı-örnek / hata girdisi

Yanlış ACK veya eski SYNACK

Gerçek konuk kabulü

Bozuk paket sessionı kuramaz

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/tcp.rs
os_tcp_handshake_positive
os_tcp_handshake_negative
scripts/os-acceptance/tcp.mjs

Geçiş koşulu

Tür ve geçiş tablosu Tuple ve sequence bütün geçişleri sınırlar kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Yanlış ACK veya eski SYNACK” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1885: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1880. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Tuple ve sequence bütün geçişleri sınırlar.

Uygulanacak işlem

kernel/src/runtime/tcp.rs hedefinde os_tcp_handshake yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/net_frame.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Tuple ve sequence bütün geçişleri sınırlar

Kod hedefi — henüz öneri

kernel/src/runtime/tcp.rs · os_tcp_handshake

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İzole peerle üçlü handshake

Karşı-örnek / hata girdisi

Yanlış ACK veya eski SYNACK

Gerçek konuk kabulü

Bozuk paket sessionı kuramaz

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/tcp.rs
os_tcp_handshake_positive
os_tcp_handshake_negative
scripts/os-acceptance/tcp.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İzole peerle üçlü handshake ile Yanlış ACK veya eski SYNACK ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Yanlış ACK veya eski SYNACK” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1885: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1881. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Tuple ve sequence bütün geçişleri sınırlar.

Uygulanacak işlem

os_tcp_handshake_positive testini oluştur: “İzole peerle üçlü handshake”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Tuple ve sequence bütün geçişleri sınırlar

Kod hedefi — henüz öneri

kernel/src/runtime/tcp.rs · os_tcp_handshake

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İzole peerle üçlü handshake

Karşı-örnek / hata girdisi

Yanlış ACK veya eski SYNACK

Gerçek konuk kabulü

Bozuk paket sessionı kuramaz

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/tcp.rs
os_tcp_handshake_positive
os_tcp_handshake_negative
scripts/os-acceptance/tcp.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; İzole peerle üçlü handshake girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Yanlış ACK veya eski SYNACK” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1885: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1882. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Tuple ve sequence bütün geçişleri sınırlar.

Uygulanacak işlem

os_tcp_handshake_negative testini oluştur: “Yanlış ACK veya eski SYNACK”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Tuple ve sequence bütün geçişleri sınırlar

Kod hedefi — henüz öneri

kernel/src/runtime/tcp.rs · os_tcp_handshake

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İzole peerle üçlü handshake

Karşı-örnek / hata girdisi

Yanlış ACK veya eski SYNACK

Gerçek konuk kabulü

Bozuk paket sessionı kuramaz

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/tcp.rs
os_tcp_handshake_positive
os_tcp_handshake_negative
scripts/os-acceptance/tcp.mjs

Geçiş koşulu

Yanlış ACK veya eski SYNACK karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Yanlış ACK veya eski SYNACK” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1885: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1883. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Tuple ve sequence bütün geçişleri sınırlar.

Uygulanacak işlem

Tek ürün Image'ında “Bozuk paket sessionı kuramaz” kabulünü koştur. scripts/os-acceptance/tcp.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Tuple ve sequence bütün geçişleri sınırlar

Kod hedefi — henüz öneri

kernel/src/runtime/tcp.rs · os_tcp_handshake

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İzole peerle üçlü handshake

Karşı-örnek / hata girdisi

Yanlış ACK veya eski SYNACK

Gerçek konuk kabulü

Bozuk paket sessionı kuramaz

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/tcp.rs
os_tcp_handshake_positive
os_tcp_handshake_negative
scripts/os-acceptance/tcp.mjs

Geçiş koşulu

Bozuk paket sessionı kuramaz; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Yanlış ACK veya eski SYNACK” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1885: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1884. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Byte akışı duplicate ve out of orderı ayırır.

Uygulanacak işlem

“TCP receive sıra ve pencere” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Byte akışı duplicate ve out of orderı ayırır. “İki ters sıralı küçük segment” kabulü ile “Pencere dışı sequence” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Byte akışı duplicate ve out of orderı ayırır

Kod hedefi — henüz öneri

kernel/src/runtime/tcp.rs · os_tcp_stream

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İki ters sıralı küçük segment

Karşı-örnek / hata girdisi

Pencere dışı sequence

Gerçek konuk kabulü

Kullanıcı aynı sıralı byte hashini alır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/tcp.rs
os_tcp_stream_positive
os_tcp_stream_negative
scripts/os-acceptance/tcp.mjs

Geçiş koşulu

Tür ve geçiş tablosu Byte akışı duplicate ve out of orderı ayırır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Pencere dışı sequence” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1890: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1885. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Byte akışı duplicate ve out of orderı ayırır.

Uygulanacak işlem

kernel/src/runtime/tcp.rs hedefinde os_tcp_stream yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/net_frame.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Byte akışı duplicate ve out of orderı ayırır

Kod hedefi — henüz öneri

kernel/src/runtime/tcp.rs · os_tcp_stream

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İki ters sıralı küçük segment

Karşı-örnek / hata girdisi

Pencere dışı sequence

Gerçek konuk kabulü

Kullanıcı aynı sıralı byte hashini alır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/tcp.rs
os_tcp_stream_positive
os_tcp_stream_negative
scripts/os-acceptance/tcp.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki ters sıralı küçük segment ile Pencere dışı sequence ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Pencere dışı sequence” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1890: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1886. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Byte akışı duplicate ve out of orderı ayırır.

Uygulanacak işlem

os_tcp_stream_positive testini oluştur: “İki ters sıralı küçük segment”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Byte akışı duplicate ve out of orderı ayırır

Kod hedefi — henüz öneri

kernel/src/runtime/tcp.rs · os_tcp_stream

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İki ters sıralı küçük segment

Karşı-örnek / hata girdisi

Pencere dışı sequence

Gerçek konuk kabulü

Kullanıcı aynı sıralı byte hashini alır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/tcp.rs
os_tcp_stream_positive
os_tcp_stream_negative
scripts/os-acceptance/tcp.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; İki ters sıralı küçük segment girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Pencere dışı sequence” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1890: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1887. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Byte akışı duplicate ve out of orderı ayırır.

Uygulanacak işlem

os_tcp_stream_negative testini oluştur: “Pencere dışı sequence”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Byte akışı duplicate ve out of orderı ayırır

Kod hedefi — henüz öneri

kernel/src/runtime/tcp.rs · os_tcp_stream

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İki ters sıralı küçük segment

Karşı-örnek / hata girdisi

Pencere dışı sequence

Gerçek konuk kabulü

Kullanıcı aynı sıralı byte hashini alır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/tcp.rs
os_tcp_stream_positive
os_tcp_stream_negative
scripts/os-acceptance/tcp.mjs

Geçiş koşulu

Pencere dışı sequence karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Pencere dışı sequence” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1890: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1888. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Byte akışı duplicate ve out of orderı ayırır.

Uygulanacak işlem

Tek ürün Image'ında “Kullanıcı aynı sıralı byte hashini alır” kabulünü koştur. scripts/os-acceptance/tcp.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Byte akışı duplicate ve out of orderı ayırır

Kod hedefi — henüz öneri

kernel/src/runtime/tcp.rs · os_tcp_stream

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İki ters sıralı küçük segment

Karşı-örnek / hata girdisi

Pencere dışı sequence

Gerçek konuk kabulü

Kullanıcı aynı sıralı byte hashini alır

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/tcp.rs
os_tcp_stream_positive
os_tcp_stream_negative
scripts/os-acceptance/tcp.mjs

Geçiş koşulu

Kullanıcı aynı sıralı byte hashini alır; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Pencere dışı sequence” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1890: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1889. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Timeout retries ve congestion sınırı açıktır.

Uygulanacak işlem

“Bounded retransmission timer” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Timeout retries ve congestion sınırı açıktır. “Bir kayıp segment” kabulü ile “Sürekli kayıp peer” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Timeout retries ve congestion sınırı açıktır

Kod hedefi — henüz öneri

kernel/src/runtime/tcp.rs · os_tcp_retransmit

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Bir kayıp segment

Karşı-örnek / hata girdisi

Sürekli kayıp peer

Gerçek konuk kabulü

Son hata socketi ve timerı temizler

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/tcp.rs
os_tcp_retransmit_positive
os_tcp_retransmit_negative
scripts/os-acceptance/tcp.mjs

Geçiş koşulu

Tür ve geçiş tablosu Timeout retries ve congestion sınırı açıktır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Sürekli kayıp peer” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1895: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1890. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Timeout retries ve congestion sınırı açıktır.

Uygulanacak işlem

kernel/src/runtime/tcp.rs hedefinde os_tcp_retransmit yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/net_frame.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Timeout retries ve congestion sınırı açıktır

Kod hedefi — henüz öneri

kernel/src/runtime/tcp.rs · os_tcp_retransmit

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Bir kayıp segment

Karşı-örnek / hata girdisi

Sürekli kayıp peer

Gerçek konuk kabulü

Son hata socketi ve timerı temizler

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/tcp.rs
os_tcp_retransmit_positive
os_tcp_retransmit_negative
scripts/os-acceptance/tcp.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Bir kayıp segment ile Sürekli kayıp peer ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Sürekli kayıp peer” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1895: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1891. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Timeout retries ve congestion sınırı açıktır.

Uygulanacak işlem

os_tcp_retransmit_positive testini oluştur: “Bir kayıp segment”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Timeout retries ve congestion sınırı açıktır

Kod hedefi — henüz öneri

kernel/src/runtime/tcp.rs · os_tcp_retransmit

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Bir kayıp segment

Karşı-örnek / hata girdisi

Sürekli kayıp peer

Gerçek konuk kabulü

Son hata socketi ve timerı temizler

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/tcp.rs
os_tcp_retransmit_positive
os_tcp_retransmit_negative
scripts/os-acceptance/tcp.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Bir kayıp segment girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Sürekli kayıp peer” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1895: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1892. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Timeout retries ve congestion sınırı açıktır.

Uygulanacak işlem

os_tcp_retransmit_negative testini oluştur: “Sürekli kayıp peer”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Timeout retries ve congestion sınırı açıktır

Kod hedefi — henüz öneri

kernel/src/runtime/tcp.rs · os_tcp_retransmit

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Bir kayıp segment

Karşı-örnek / hata girdisi

Sürekli kayıp peer

Gerçek konuk kabulü

Son hata socketi ve timerı temizler

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/tcp.rs
os_tcp_retransmit_positive
os_tcp_retransmit_negative
scripts/os-acceptance/tcp.mjs

Geçiş koşulu

Sürekli kayıp peer karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Sürekli kayıp peer” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1895: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1893. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Timeout retries ve congestion sınırı açıktır.

Uygulanacak işlem

Tek ürün Image'ında “Son hata socketi ve timerı temizler” kabulünü koştur. scripts/os-acceptance/tcp.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Timeout retries ve congestion sınırı açıktır

Kod hedefi — henüz öneri

kernel/src/runtime/tcp.rs · os_tcp_retransmit

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Bir kayıp segment

Karşı-örnek / hata girdisi

Sürekli kayıp peer

Gerçek konuk kabulü

Son hata socketi ve timerı temizler

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/tcp.rs
os_tcp_retransmit_positive
os_tcp_retransmit_negative
scripts/os-acceptance/tcp.mjs

Geçiş koşulu

Son hata socketi ve timerı temizler; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Sürekli kayıp peer” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1895: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1894. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Kapanış eski tuple tekrarını sınırlıdır.

Uygulanacak işlem

“FIN RST TIMEWAIT ömrü” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Kapanış eski tuple tekrarını sınırlıdır. “İki taraf sırayla FIN” kabulü ile “Yanlış tuple RST” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Kapanış eski tuple tekrarını sınırlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/tcp.rs · os_tcp_closing

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İki taraf sırayla FIN

Karşı-örnek / hata girdisi

Yanlış tuple RST

Gerçek konuk kabulü

Doğru session korunur kaynaklar dönülür

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/tcp.rs
os_tcp_closing_positive
os_tcp_closing_negative
scripts/os-acceptance/tcp.mjs

Geçiş koşulu

Tür ve geçiş tablosu Kapanış eski tuple tekrarını sınırlıdır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

Başarısızlık ve geri dönüş

“Yanlış tuple RST” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1900: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1895. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Kapanış eski tuple tekrarını sınırlıdır.

Uygulanacak işlem

kernel/src/runtime/tcp.rs hedefinde os_tcp_closing yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/net_frame.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.

Değişmez / korunan bağlam

Kapanış eski tuple tekrarını sınırlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/tcp.rs · os_tcp_closing

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İki taraf sırayla FIN

Karşı-örnek / hata girdisi

Yanlış tuple RST

Gerçek konuk kabulü

Doğru session korunur kaynaklar dönülür

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/tcp.rs
os_tcp_closing_positive
os_tcp_closing_negative
scripts/os-acceptance/tcp.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki taraf sırayla FIN ile Yanlış tuple RST ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

Başarısızlık ve geri dönüş

“Yanlış tuple RST” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1900: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1896. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Kapanış eski tuple tekrarını sınırlıdır.

Uygulanacak işlem

os_tcp_closing_positive testini oluştur: “İki taraf sırayla FIN”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.

Değişmez / korunan bağlam

Kapanış eski tuple tekrarını sınırlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/tcp.rs · os_tcp_closing

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İki taraf sırayla FIN

Karşı-örnek / hata girdisi

Yanlış tuple RST

Gerçek konuk kabulü

Doğru session korunur kaynaklar dönülür

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/tcp.rs
os_tcp_closing_positive
os_tcp_closing_negative
scripts/os-acceptance/tcp.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; İki taraf sırayla FIN girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

Başarısızlık ve geri dönüş

“Yanlış tuple RST” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1900: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1897. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Kapanış eski tuple tekrarını sınırlıdır.

Uygulanacak işlem

os_tcp_closing_negative testini oluştur: “Yanlış tuple RST”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Kapanış eski tuple tekrarını sınırlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/tcp.rs · os_tcp_closing

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İki taraf sırayla FIN

Karşı-örnek / hata girdisi

Yanlış tuple RST

Gerçek konuk kabulü

Doğru session korunur kaynaklar dönülür

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/tcp.rs
os_tcp_closing_positive
os_tcp_closing_negative
scripts/os-acceptance/tcp.mjs

Geçiş koşulu

Yanlış tuple RST karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

Başarısızlık ve geri dönüş

“Yanlış tuple RST” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1900: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1898. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez. Bu hamlenin koruduğu değişmez: Kapanış eski tuple tekrarını sınırlıdır.

Uygulanacak işlem

Tek ürün Image'ında “Doğru session korunur kaynaklar dönülür” kabulünü koştur. scripts/os-acceptance/tcp.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Kapanış eski tuple tekrarını sınırlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/tcp.rs · os_tcp_closing

Mevcut başlangıç referansı

kernel/src/net_frame.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

İki taraf sırayla FIN

Karşı-örnek / hata girdisi

Yanlış tuple RST

Gerçek konuk kabulü

Doğru session korunur kaynaklar dönülür

Test hedefleri — oluşturulmadı / çalıştırılmadı

kernel/tests/os/tcp.rs
os_tcp_closing_positive
os_tcp_closing_negative
scripts/os-acceptance/tcp.mjs

Geçiş koşulu

Doğru session korunur kaynaklar dönülür; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

Başarısızlık ve geri dönüş

“Yanlış tuple RST” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1900: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1899. Ayrıca faz 12 tamamen kabul edilmiş olmalı.

Sınır

Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.