Blok I/O ve VFS iskeleti

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: LBA çarpımı byte kapasitesini aşmaz.

Uygulanacak işlem

“Sektör ve kapasite sözleşmesi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: LBA çarpımı byte kapasitesini aşmaz. “İlk ve son 512 bayt sektör” kabulü ile “LBA toplamında taşma” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

LBA çarpımı byte kapasitesini aşmaz

Kod hedefi — henüz öneri

kernel/src/runtime/block_io.rs · os_block_io_geometry

Mevcut başlangıç referansı

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

Olumlu deney

İlk ve son 512 bayt sektör

Karşı-örnek / hata girdisi

LBA toplamında taşma

Gerçek konuk kabulü

Sınır dışı istek kuyruğa çıkmaz

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

kernel/tests/os/block_io.rs
os_block_io_geometry_positive
os_block_io_geometry_negative
scripts/os-acceptance/block_io.mjs

Geçiş koşulu

Tür ve geçiş tablosu LBA çarpımı byte kapasitesini aşmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“LBA toplamında taşma” 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/K1505: 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 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: LBA çarpımı byte kapasitesini aşmaz.

Uygulanacak işlem

kernel/src/runtime/block_io.rs hedefinde os_block_io_geometry yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/virtio_ro_turkfs.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

LBA çarpımı byte kapasitesini aşmaz

Kod hedefi — henüz öneri

kernel/src/runtime/block_io.rs · os_block_io_geometry

Mevcut başlangıç referansı

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

Olumlu deney

İlk ve son 512 bayt sektör

Karşı-örnek / hata girdisi

LBA toplamında taşma

Gerçek konuk kabulü

Sınır dışı istek kuyruğa çıkmaz

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

kernel/tests/os/block_io.rs
os_block_io_geometry_positive
os_block_io_geometry_negative
scripts/os-acceptance/block_io.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İlk ve son 512 bayt sektör ile LBA toplamında taşma ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“LBA toplamında taşma” 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/K1505: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1501. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: LBA çarpımı byte kapasitesini aşmaz.

Uygulanacak işlem

os_block_io_geometry_positive testini oluştur: “İlk ve son 512 bayt sektör”. 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

LBA çarpımı byte kapasitesini aşmaz

Kod hedefi — henüz öneri

kernel/src/runtime/block_io.rs · os_block_io_geometry

Mevcut başlangıç referansı

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

Olumlu deney

İlk ve son 512 bayt sektör

Karşı-örnek / hata girdisi

LBA toplamında taşma

Gerçek konuk kabulü

Sınır dışı istek kuyruğa çıkmaz

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

kernel/tests/os/block_io.rs
os_block_io_geometry_positive
os_block_io_geometry_negative
scripts/os-acceptance/block_io.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; İlk ve son 512 bayt sektör girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“LBA toplamında taşma” 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/K1505: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1502. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: LBA çarpımı byte kapasitesini aşmaz.

Uygulanacak işlem

os_block_io_geometry_negative testini oluştur: “LBA toplamında taşma”. 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

LBA çarpımı byte kapasitesini aşmaz

Kod hedefi — henüz öneri

kernel/src/runtime/block_io.rs · os_block_io_geometry

Mevcut başlangıç referansı

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

Olumlu deney

İlk ve son 512 bayt sektör

Karşı-örnek / hata girdisi

LBA toplamında taşma

Gerçek konuk kabulü

Sınır dışı istek kuyruğa çıkmaz

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

kernel/tests/os/block_io.rs
os_block_io_geometry_positive
os_block_io_geometry_negative
scripts/os-acceptance/block_io.mjs

Geçiş koşulu

LBA toplamında taşma 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üş

“LBA toplamında taşma” 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/K1505: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1503. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: LBA çarpımı byte kapasitesini aşmaz.

Uygulanacak işlem

Tek ürün Image'ında “Sınır dışı istek kuyruğa çıkmaz” kabulünü koştur. scripts/os-acceptance/block_io.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

LBA çarpımı byte kapasitesini aşmaz

Kod hedefi — henüz öneri

kernel/src/runtime/block_io.rs · os_block_io_geometry

Mevcut başlangıç referansı

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

Olumlu deney

İlk ve son 512 bayt sektör

Karşı-örnek / hata girdisi

LBA toplamında taşma

Gerçek konuk kabulü

Sınır dışı istek kuyruğa çıkmaz

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

kernel/tests/os/block_io.rs
os_block_io_geometry_positive
os_block_io_geometry_negative
scripts/os-acceptance/block_io.mjs

Geçiş koşulu

Sınır dışı istek kuyruğa çıkmaz; 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üş

“LBA toplamında taşma” 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/K1505: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1504. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Tampon deadline device nesli sabittir.

Uygulanacak işlem

“Sahipli blok istek nesnesi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Tampon deadline device nesli sabittir. “İki ayrı okuma isteği” kabulü ile “Eski aygıt nesli” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Tampon deadline device nesli sabittir

Kod hedefi — henüz öneri

kernel/src/runtime/block_io.rs · os_block_io_requests

Mevcut başlangıç referansı

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

Olumlu deney

İki ayrı okuma isteği

Karşı-örnek / hata girdisi

Eski aygıt nesli

Gerçek konuk kabulü

Completion yalnız doğru istekle eşleşir

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

kernel/tests/os/block_io.rs
os_block_io_requests_positive
os_block_io_requests_negative
scripts/os-acceptance/block_io.mjs

Geçiş koşulu

Tür ve geçiş tablosu Tampon deadline device nesli sabittir 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 aygıt nesli” 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/K1510: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1505. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Tampon deadline device nesli sabittir.

Uygulanacak işlem

kernel/src/runtime/block_io.rs hedefinde os_block_io_requests yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/virtio_ro_turkfs.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

Tampon deadline device nesli sabittir

Kod hedefi — henüz öneri

kernel/src/runtime/block_io.rs · os_block_io_requests

Mevcut başlangıç referansı

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

Olumlu deney

İki ayrı okuma isteği

Karşı-örnek / hata girdisi

Eski aygıt nesli

Gerçek konuk kabulü

Completion yalnız doğru istekle eşleşir

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

kernel/tests/os/block_io.rs
os_block_io_requests_positive
os_block_io_requests_negative
scripts/os-acceptance/block_io.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki ayrı okuma isteği ile Eski aygıt nesli ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Eski aygıt nesli” 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/K1510: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1506. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Tampon deadline device nesli sabittir.

Uygulanacak işlem

os_block_io_requests_positive testini oluştur: “İki ayrı okuma isteği”. 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

Tampon deadline device nesli sabittir

Kod hedefi — henüz öneri

kernel/src/runtime/block_io.rs · os_block_io_requests

Mevcut başlangıç referansı

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

Olumlu deney

İki ayrı okuma isteği

Karşı-örnek / hata girdisi

Eski aygıt nesli

Gerçek konuk kabulü

Completion yalnız doğru istekle eşleşir

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

kernel/tests/os/block_io.rs
os_block_io_requests_positive
os_block_io_requests_negative
scripts/os-acceptance/block_io.mjs

Geçiş koşulu

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

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

“Eski aygıt nesli” 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/K1510: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1507. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Tampon deadline device nesli sabittir.

Uygulanacak işlem

os_block_io_requests_negative testini oluştur: “Eski aygıt nesli”. 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

Tampon deadline device nesli sabittir

Kod hedefi — henüz öneri

kernel/src/runtime/block_io.rs · os_block_io_requests

Mevcut başlangıç referansı

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

Olumlu deney

İki ayrı okuma isteği

Karşı-örnek / hata girdisi

Eski aygıt nesli

Gerçek konuk kabulü

Completion yalnız doğru istekle eşleşir

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

kernel/tests/os/block_io.rs
os_block_io_requests_positive
os_block_io_requests_negative
scripts/os-acceptance/block_io.mjs

Geçiş koşulu

Eski aygıt nesli 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 aygıt nesli” 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/K1510: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1508. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Tampon deadline device nesli sabittir.

Uygulanacak işlem

Tek ürün Image'ında “Completion yalnız doğru istekle eşleşir” kabulünü koştur. scripts/os-acceptance/block_io.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

Tampon deadline device nesli sabittir

Kod hedefi — henüz öneri

kernel/src/runtime/block_io.rs · os_block_io_requests

Mevcut başlangıç referansı

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

Olumlu deney

İki ayrı okuma isteği

Karşı-örnek / hata girdisi

Eski aygıt nesli

Gerçek konuk kabulü

Completion yalnız doğru istekle eşleşir

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

kernel/tests/os/block_io.rs
os_block_io_requests_positive
os_block_io_requests_negative
scripts/os-acceptance/block_io.mjs

Geçiş koşulu

Completion yalnız doğru istekle eşleşir; 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 aygıt nesli” 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/K1510: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1509. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Timeout DMAyı erken bırakmaz.

Uygulanacak işlem

“Blok timeout ve iptal” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Timeout DMAyı erken bırakmaz. “Yanıtsız read” kabulü ile “Cancel sonra geç completion” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Timeout DMAyı erken bırakmaz

Kod hedefi — henüz öneri

kernel/src/runtime/block_io.rs · os_block_io_timeouts

Mevcut başlangıç referansı

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

Olumlu deney

Yanıtsız read

Karşı-örnek / hata girdisi

Cancel sonra geç completion

Gerçek konuk kabulü

Reset onayı sonrası kaynak iadesi

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

kernel/tests/os/block_io.rs
os_block_io_timeouts_positive
os_block_io_timeouts_negative
scripts/os-acceptance/block_io.mjs

Geçiş koşulu

Tür ve geçiş tablosu Timeout DMAyı erken bırakmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Cancel sonra geç completion” 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/K1515: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1510. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Timeout DMAyı erken bırakmaz.

Uygulanacak işlem

kernel/src/runtime/block_io.rs hedefinde os_block_io_timeouts yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/virtio_ro_turkfs.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 DMAyı erken bırakmaz

Kod hedefi — henüz öneri

kernel/src/runtime/block_io.rs · os_block_io_timeouts

Mevcut başlangıç referansı

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

Olumlu deney

Yanıtsız read

Karşı-örnek / hata girdisi

Cancel sonra geç completion

Gerçek konuk kabulü

Reset onayı sonrası kaynak iadesi

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

kernel/tests/os/block_io.rs
os_block_io_timeouts_positive
os_block_io_timeouts_negative
scripts/os-acceptance/block_io.mjs

Geçiş koşulu

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

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

“Cancel sonra geç completion” 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/K1515: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1511. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Timeout DMAyı erken bırakmaz.

Uygulanacak işlem

os_block_io_timeouts_positive testini oluştur: “Yanıtsız read”. 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 DMAyı erken bırakmaz

Kod hedefi — henüz öneri

kernel/src/runtime/block_io.rs · os_block_io_timeouts

Mevcut başlangıç referansı

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

Olumlu deney

Yanıtsız read

Karşı-örnek / hata girdisi

Cancel sonra geç completion

Gerçek konuk kabulü

Reset onayı sonrası kaynak iadesi

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

kernel/tests/os/block_io.rs
os_block_io_timeouts_positive
os_block_io_timeouts_negative
scripts/os-acceptance/block_io.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Yanıtsız read girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Cancel sonra geç completion” 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/K1515: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1512. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Timeout DMAyı erken bırakmaz.

Uygulanacak işlem

os_block_io_timeouts_negative testini oluştur: “Cancel sonra geç completion”. 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 DMAyı erken bırakmaz

Kod hedefi — henüz öneri

kernel/src/runtime/block_io.rs · os_block_io_timeouts

Mevcut başlangıç referansı

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

Olumlu deney

Yanıtsız read

Karşı-örnek / hata girdisi

Cancel sonra geç completion

Gerçek konuk kabulü

Reset onayı sonrası kaynak iadesi

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

kernel/tests/os/block_io.rs
os_block_io_timeouts_positive
os_block_io_timeouts_negative
scripts/os-acceptance/block_io.mjs

Geçiş koşulu

Cancel sonra geç completion 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üş

“Cancel sonra geç completion” 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/K1515: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1513. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Timeout DMAyı erken bırakmaz.

Uygulanacak işlem

Tek ürün Image'ında “Reset onayı sonrası kaynak iadesi” kabulünü koştur. scripts/os-acceptance/block_io.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 DMAyı erken bırakmaz

Kod hedefi — henüz öneri

kernel/src/runtime/block_io.rs · os_block_io_timeouts

Mevcut başlangıç referansı

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

Olumlu deney

Yanıtsız read

Karşı-örnek / hata girdisi

Cancel sonra geç completion

Gerçek konuk kabulü

Reset onayı sonrası kaynak iadesi

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

kernel/tests/os/block_io.rs
os_block_io_timeouts_positive
os_block_io_timeouts_negative
scripts/os-acceptance/block_io.mjs

Geçiş koşulu

Reset onayı sonrası kaynak 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üş

“Cancel sonra geç completion” 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/K1515: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1514. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Eksik bytes başarılı sektör değildir.

Uygulanacak işlem

“Kısa I/O ve EIO ayrımı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Eksik bytes başarılı sektör değildir. “Tam sector status0” kabulü ile “Used length 257” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Eksik bytes başarılı sektör değildir

Kod hedefi — henüz öneri

kernel/src/runtime/block_io.rs · os_block_io_errors

Mevcut başlangıç referansı

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

Olumlu deney

Tam sector status0

Karşı-örnek / hata girdisi

Used length 257

Gerçek konuk kabulü

VFS açık I/O hatası görür

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

kernel/tests/os/block_io.rs
os_block_io_errors_positive
os_block_io_errors_negative
scripts/os-acceptance/block_io.mjs

Geçiş koşulu

Tür ve geçiş tablosu Eksik bytes başarılı sektör değildir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Used length 257” 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/K1520: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1515. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Eksik bytes başarılı sektör değildir.

Uygulanacak işlem

kernel/src/runtime/block_io.rs hedefinde os_block_io_errors yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/virtio_ro_turkfs.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

Eksik bytes başarılı sektör değildir

Kod hedefi — henüz öneri

kernel/src/runtime/block_io.rs · os_block_io_errors

Mevcut başlangıç referansı

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

Olumlu deney

Tam sector status0

Karşı-örnek / hata girdisi

Used length 257

Gerçek konuk kabulü

VFS açık I/O hatası görür

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

kernel/tests/os/block_io.rs
os_block_io_errors_positive
os_block_io_errors_negative
scripts/os-acceptance/block_io.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Tam sector status0 ile Used length 257 ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Used length 257” 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/K1520: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1516. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Eksik bytes başarılı sektör değildir.

Uygulanacak işlem

os_block_io_errors_positive testini oluştur: “Tam sector status0”. 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

Eksik bytes başarılı sektör değildir

Kod hedefi — henüz öneri

kernel/src/runtime/block_io.rs · os_block_io_errors

Mevcut başlangıç referansı

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

Olumlu deney

Tam sector status0

Karşı-örnek / hata girdisi

Used length 257

Gerçek konuk kabulü

VFS açık I/O hatası görür

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

kernel/tests/os/block_io.rs
os_block_io_errors_positive
os_block_io_errors_negative
scripts/os-acceptance/block_io.mjs

Geçiş koşulu

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

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

“Used length 257” 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/K1520: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1517. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Eksik bytes başarılı sektör değildir.

Uygulanacak işlem

os_block_io_errors_negative testini oluştur: “Used length 257”. 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

Eksik bytes başarılı sektör değildir

Kod hedefi — henüz öneri

kernel/src/runtime/block_io.rs · os_block_io_errors

Mevcut başlangıç referansı

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

Olumlu deney

Tam sector status0

Karşı-örnek / hata girdisi

Used length 257

Gerçek konuk kabulü

VFS açık I/O hatası görür

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

kernel/tests/os/block_io.rs
os_block_io_errors_positive
os_block_io_errors_negative
scripts/os-acceptance/block_io.mjs

Geçiş koşulu

Used length 257 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üş

“Used length 257” 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/K1520: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1518. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Eksik bytes başarılı sektör değildir.

Uygulanacak işlem

Tek ürün Image'ında “VFS açık I/O hatası görür” kabulünü koştur. scripts/os-acceptance/block_io.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

Eksik bytes başarılı sektör değildir

Kod hedefi — henüz öneri

kernel/src/runtime/block_io.rs · os_block_io_errors

Mevcut başlangıç referansı

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

Olumlu deney

Tam sector status0

Karşı-örnek / hata girdisi

Used length 257

Gerçek konuk kabulü

VFS açık I/O hatası görür

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

kernel/tests/os/block_io.rs
os_block_io_errors_positive
os_block_io_errors_negative
scripts/os-acceptance/block_io.mjs

Geçiş koşulu

VFS açık I/O hatası gö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üş

“Used length 257” 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/K1520: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1519. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Bölümler disk kapasitesinde ve ayrı kalır.

Uygulanacak işlem

“Sınırlı MBR parser” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Bölümler disk kapasitesinde ve ayrı kalır. “İki geçerli primary bölüm” kabulü ile “Örtüşen start length” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Bölümler disk kapasitesinde ve ayrı kalır

Kod hedefi — henüz öneri

kernel/src/runtime/partitions.rs · os_partitions_mbr

Mevcut başlangıç referansı

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

Olumlu deney

İki geçerli primary bölüm

Karşı-örnek / hata girdisi

Örtüşen start length

Gerçek konuk kabulü

Bozuk disk mount edilmez

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

kernel/tests/os/partitions.rs
os_partitions_mbr_positive
os_partitions_mbr_negative
scripts/os-acceptance/partitions.mjs

Geçiş koşulu

Tür ve geçiş tablosu Bölümler disk kapasitesinde ve ayrı kalı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üş

“Örtüşen start 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/K1525: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1520. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Bölümler disk kapasitesinde ve ayrı kalır.

Uygulanacak işlem

kernel/src/runtime/partitions.rs hedefinde os_partitions_mbr yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/turkfs.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

Bölümler disk kapasitesinde ve ayrı kalır

Kod hedefi — henüz öneri

kernel/src/runtime/partitions.rs · os_partitions_mbr

Mevcut başlangıç referansı

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

Olumlu deney

İki geçerli primary bölüm

Karşı-örnek / hata girdisi

Örtüşen start length

Gerçek konuk kabulü

Bozuk disk mount edilmez

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

kernel/tests/os/partitions.rs
os_partitions_mbr_positive
os_partitions_mbr_negative
scripts/os-acceptance/partitions.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki geçerli primary bölüm ile Örtüşen start length ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Örtüşen start 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/K1525: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1521. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Bölümler disk kapasitesinde ve ayrı kalır.

Uygulanacak işlem

os_partitions_mbr_positive testini oluştur: “İki geçerli primary bölüm”. 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

Bölümler disk kapasitesinde ve ayrı kalır

Kod hedefi — henüz öneri

kernel/src/runtime/partitions.rs · os_partitions_mbr

Mevcut başlangıç referansı

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

Olumlu deney

İki geçerli primary bölüm

Karşı-örnek / hata girdisi

Örtüşen start length

Gerçek konuk kabulü

Bozuk disk mount edilmez

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

kernel/tests/os/partitions.rs
os_partitions_mbr_positive
os_partitions_mbr_negative
scripts/os-acceptance/partitions.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; İki geçerli primary bölüm girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Örtüşen start 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/K1525: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1522. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Bölümler disk kapasitesinde ve ayrı kalır.

Uygulanacak işlem

os_partitions_mbr_negative testini oluştur: “Örtüşen start 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

Bölümler disk kapasitesinde ve ayrı kalır

Kod hedefi — henüz öneri

kernel/src/runtime/partitions.rs · os_partitions_mbr

Mevcut başlangıç referansı

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

Olumlu deney

İki geçerli primary bölüm

Karşı-örnek / hata girdisi

Örtüşen start length

Gerçek konuk kabulü

Bozuk disk mount edilmez

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

kernel/tests/os/partitions.rs
os_partitions_mbr_positive
os_partitions_mbr_negative
scripts/os-acceptance/partitions.mjs

Geçiş koşulu

Örtüşen start 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üş

“Örtüşen start 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/K1525: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1523. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Bölümler disk kapasitesinde ve ayrı kalır.

Uygulanacak işlem

Tek ürün Image'ında “Bozuk disk mount edilmez” kabulünü koştur. scripts/os-acceptance/partitions.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

Bölümler disk kapasitesinde ve ayrı kalır

Kod hedefi — henüz öneri

kernel/src/runtime/partitions.rs · os_partitions_mbr

Mevcut başlangıç referansı

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

Olumlu deney

İki geçerli primary bölüm

Karşı-örnek / hata girdisi

Örtüşen start length

Gerçek konuk kabulü

Bozuk disk mount edilmez

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

kernel/tests/os/partitions.rs
os_partitions_mbr_positive
os_partitions_mbr_negative
scripts/os-acceptance/partitions.mjs

Geçiş koşulu

Bozuk disk mount edilmez; 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üş

“Örtüşen start 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/K1525: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1524. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: CRC boy ve entry limitleri birlikte geçer.

Uygulanacak işlem

“GPT başlık ve tablo doğrulama” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: CRC boy ve entry limitleri birlikte geçer. “Primary ve backup GPT” kabulü ile “CRC bozuk veya aşırı entry” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

CRC boy ve entry limitleri birlikte geçer

Kod hedefi — henüz öneri

kernel/src/runtime/partitions.rs · os_partitions_gpt

Mevcut başlangıç referansı

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

Olumlu deney

Primary ve backup GPT

Karşı-örnek / hata girdisi

CRC bozuk veya aşırı entry

Gerçek konuk kabulü

Açık parser ret disk yazısı yok

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

kernel/tests/os/partitions.rs
os_partitions_gpt_positive
os_partitions_gpt_negative
scripts/os-acceptance/partitions.mjs

Geçiş koşulu

Tür ve geçiş tablosu CRC boy ve entry limitleri 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üş

“CRC bozuk veya aşırı entry” 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/K1530: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1525. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: CRC boy ve entry limitleri birlikte geçer.

Uygulanacak işlem

kernel/src/runtime/partitions.rs hedefinde os_partitions_gpt yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/turkfs.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

CRC boy ve entry limitleri birlikte geçer

Kod hedefi — henüz öneri

kernel/src/runtime/partitions.rs · os_partitions_gpt

Mevcut başlangıç referansı

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

Olumlu deney

Primary ve backup GPT

Karşı-örnek / hata girdisi

CRC bozuk veya aşırı entry

Gerçek konuk kabulü

Açık parser ret disk yazısı yok

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

kernel/tests/os/partitions.rs
os_partitions_gpt_positive
os_partitions_gpt_negative
scripts/os-acceptance/partitions.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Primary ve backup GPT ile CRC bozuk veya aşırı entry ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“CRC bozuk veya aşırı entry” 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/K1530: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1526. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: CRC boy ve entry limitleri birlikte geçer.

Uygulanacak işlem

os_partitions_gpt_positive testini oluştur: “Primary ve backup GPT”. 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

CRC boy ve entry limitleri birlikte geçer

Kod hedefi — henüz öneri

kernel/src/runtime/partitions.rs · os_partitions_gpt

Mevcut başlangıç referansı

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

Olumlu deney

Primary ve backup GPT

Karşı-örnek / hata girdisi

CRC bozuk veya aşırı entry

Gerçek konuk kabulü

Açık parser ret disk yazısı yok

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

kernel/tests/os/partitions.rs
os_partitions_gpt_positive
os_partitions_gpt_negative
scripts/os-acceptance/partitions.mjs

Geçiş koşulu

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

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

“CRC bozuk veya aşırı entry” 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/K1530: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1527. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: CRC boy ve entry limitleri birlikte geçer.

Uygulanacak işlem

os_partitions_gpt_negative testini oluştur: “CRC bozuk veya aşırı entry”. 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

CRC boy ve entry limitleri birlikte geçer

Kod hedefi — henüz öneri

kernel/src/runtime/partitions.rs · os_partitions_gpt

Mevcut başlangıç referansı

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

Olumlu deney

Primary ve backup GPT

Karşı-örnek / hata girdisi

CRC bozuk veya aşırı entry

Gerçek konuk kabulü

Açık parser ret disk yazısı yok

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

kernel/tests/os/partitions.rs
os_partitions_gpt_positive
os_partitions_gpt_negative
scripts/os-acceptance/partitions.mjs

Geçiş koşulu

CRC bozuk veya aşırı entry 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üş

“CRC bozuk veya aşırı entry” 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/K1530: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1528. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: CRC boy ve entry limitleri birlikte geçer.

Uygulanacak işlem

Tek ürün Image'ında “Açık parser ret disk yazısı yok” kabulünü koştur. scripts/os-acceptance/partitions.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

CRC boy ve entry limitleri birlikte geçer

Kod hedefi — henüz öneri

kernel/src/runtime/partitions.rs · os_partitions_gpt

Mevcut başlangıç referansı

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

Olumlu deney

Primary ve backup GPT

Karşı-örnek / hata girdisi

CRC bozuk veya aşırı entry

Gerçek konuk kabulü

Açık parser ret disk yazısı yok

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

kernel/tests/os/partitions.rs
os_partitions_gpt_positive
os_partitions_gpt_negative
scripts/os-acceptance/partitions.mjs

Geçiş koşulu

Açık parser ret disk yazısı yok; 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üş

“CRC bozuk veya aşırı entry” 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/K1530: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1529. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Mantıksal LBA bölümü aşamaz.

Uygulanacak işlem

“Partition blok görünümü” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Mantıksal LBA bölümü aşamaz. “Son bölüm sektör okuması” kabulü ile “Bölüm dışında LBA” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Mantıksal LBA bölümü aşamaz

Kod hedefi — henüz öneri

kernel/src/runtime/partitions.rs · os_partitions_view

Mevcut başlangıç referansı

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

Olumlu deney

Son bölüm sektör okuması

Karşı-örnek / hata girdisi

Bölüm dışında LBA

Gerçek konuk kabulü

Ana disk komşusu değişmez

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

kernel/tests/os/partitions.rs
os_partitions_view_positive
os_partitions_view_negative
scripts/os-acceptance/partitions.mjs

Geçiş koşulu

Tür ve geçiş tablosu Mantıksal LBA bölümü aşamaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Bölüm dışında LBA” 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/K1535: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1530. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Mantıksal LBA bölümü aşamaz.

Uygulanacak işlem

kernel/src/runtime/partitions.rs hedefinde os_partitions_view yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/turkfs.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

Mantıksal LBA bölümü aşamaz

Kod hedefi — henüz öneri

kernel/src/runtime/partitions.rs · os_partitions_view

Mevcut başlangıç referansı

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

Olumlu deney

Son bölüm sektör okuması

Karşı-örnek / hata girdisi

Bölüm dışında LBA

Gerçek konuk kabulü

Ana disk komşusu değişmez

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

kernel/tests/os/partitions.rs
os_partitions_view_positive
os_partitions_view_negative
scripts/os-acceptance/partitions.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Son bölüm sektör okuması ile Bölüm dışında LBA ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Bölüm dışında LBA” 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/K1535: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1531. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Mantıksal LBA bölümü aşamaz.

Uygulanacak işlem

os_partitions_view_positive testini oluştur: “Son bölüm sektör okuması”. 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

Mantıksal LBA bölümü aşamaz

Kod hedefi — henüz öneri

kernel/src/runtime/partitions.rs · os_partitions_view

Mevcut başlangıç referansı

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

Olumlu deney

Son bölüm sektör okuması

Karşı-örnek / hata girdisi

Bölüm dışında LBA

Gerçek konuk kabulü

Ana disk komşusu değişmez

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

kernel/tests/os/partitions.rs
os_partitions_view_positive
os_partitions_view_negative
scripts/os-acceptance/partitions.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Son bölüm sektör okuması girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Bölüm dışında LBA” 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/K1535: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1532. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Mantıksal LBA bölümü aşamaz.

Uygulanacak işlem

os_partitions_view_negative testini oluştur: “Bölüm dışında LBA”. 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

Mantıksal LBA bölümü aşamaz

Kod hedefi — henüz öneri

kernel/src/runtime/partitions.rs · os_partitions_view

Mevcut başlangıç referansı

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

Olumlu deney

Son bölüm sektör okuması

Karşı-örnek / hata girdisi

Bölüm dışında LBA

Gerçek konuk kabulü

Ana disk komşusu değişmez

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

kernel/tests/os/partitions.rs
os_partitions_view_positive
os_partitions_view_negative
scripts/os-acceptance/partitions.mjs

Geçiş koşulu

Bölüm dışında LBA 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üş

“Bölüm dışında LBA” 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/K1535: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1533. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Mantıksal LBA bölümü aşamaz.

Uygulanacak işlem

Tek ürün Image'ında “Ana disk komşusu değişmez” kabulünü koştur. scripts/os-acceptance/partitions.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

Mantıksal LBA bölümü aşamaz

Kod hedefi — henüz öneri

kernel/src/runtime/partitions.rs · os_partitions_view

Mevcut başlangıç referansı

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

Olumlu deney

Son bölüm sektör okuması

Karşı-örnek / hata girdisi

Bölüm dışında LBA

Gerçek konuk kabulü

Ana disk komşusu değişmez

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

kernel/tests/os/partitions.rs
os_partitions_view_positive
os_partitions_view_negative
scripts/os-acceptance/partitions.mjs

Geçiş koşulu

Ana disk komşusu değişmez; 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üş

“Bölüm dışında LBA” 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/K1535: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1534. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Bozuk ana başlık sessiz onarılmaz.

Uygulanacak işlem

“Salt-okunur bölüm seçim politikası” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Bozuk ana başlık sessiz onarılmaz. “Primary bozuk backup geçerli” kabulü ile “İki header birbirini tutmaz” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Bozuk ana başlık sessiz onarılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/partitions.rs · os_partitions_recovery

Mevcut başlangıç referansı

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

Olumlu deney

Primary bozuk backup geçerli

Karşı-örnek / hata girdisi

İki header birbirini tutmaz

Gerçek konuk kabulü

Degraded RO mount açık raporlanır

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

kernel/tests/os/partitions.rs
os_partitions_recovery_positive
os_partitions_recovery_negative
scripts/os-acceptance/partitions.mjs

Geçiş koşulu

Tür ve geçiş tablosu Bozuk ana başlık sessiz onarı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üş

“İki header birbirini tutmaz” 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/K1540: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1535. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Bozuk ana başlık sessiz onarılmaz.

Uygulanacak işlem

kernel/src/runtime/partitions.rs hedefinde os_partitions_recovery yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/turkfs.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

Bozuk ana başlık sessiz onarılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/partitions.rs · os_partitions_recovery

Mevcut başlangıç referansı

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

Olumlu deney

Primary bozuk backup geçerli

Karşı-örnek / hata girdisi

İki header birbirini tutmaz

Gerçek konuk kabulü

Degraded RO mount açık raporlanır

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

kernel/tests/os/partitions.rs
os_partitions_recovery_positive
os_partitions_recovery_negative
scripts/os-acceptance/partitions.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Primary bozuk backup geçerli ile İki header birbirini tutmaz ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“İki header birbirini tutmaz” 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/K1540: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1536. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Bozuk ana başlık sessiz onarılmaz.

Uygulanacak işlem

os_partitions_recovery_positive testini oluştur: “Primary bozuk backup geçerli”. 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

Bozuk ana başlık sessiz onarılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/partitions.rs · os_partitions_recovery

Mevcut başlangıç referansı

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

Olumlu deney

Primary bozuk backup geçerli

Karşı-örnek / hata girdisi

İki header birbirini tutmaz

Gerçek konuk kabulü

Degraded RO mount açık raporlanır

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

kernel/tests/os/partitions.rs
os_partitions_recovery_positive
os_partitions_recovery_negative
scripts/os-acceptance/partitions.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Primary bozuk backup geçerli girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“İki header birbirini tutmaz” 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/K1540: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1537. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Bozuk ana başlık sessiz onarılmaz.

Uygulanacak işlem

os_partitions_recovery_negative testini oluştur: “İki header birbirini tutmaz”. 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

Bozuk ana başlık sessiz onarılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/partitions.rs · os_partitions_recovery

Mevcut başlangıç referansı

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

Olumlu deney

Primary bozuk backup geçerli

Karşı-örnek / hata girdisi

İki header birbirini tutmaz

Gerçek konuk kabulü

Degraded RO mount açık raporlanır

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

kernel/tests/os/partitions.rs
os_partitions_recovery_positive
os_partitions_recovery_negative
scripts/os-acceptance/partitions.mjs

Geçiş koşulu

İki header birbirini tutmaz 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üş

“İki header birbirini tutmaz” 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/K1540: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1538. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Bozuk ana başlık sessiz onarılmaz.

Uygulanacak işlem

Tek ürün Image'ında “Degraded RO mount açık raporlanır” kabulünü koştur. scripts/os-acceptance/partitions.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

Bozuk ana başlık sessiz onarılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/partitions.rs · os_partitions_recovery

Mevcut başlangıç referansı

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

Olumlu deney

Primary bozuk backup geçerli

Karşı-örnek / hata girdisi

İki header birbirini tutmaz

Gerçek konuk kabulü

Degraded RO mount açık raporlanır

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

kernel/tests/os/partitions.rs
os_partitions_recovery_positive
os_partitions_recovery_negative
scripts/os-acceptance/partitions.mjs

Geçiş koşulu

Degraded RO mount açık raporlanı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üş

“İki header birbirini tutmaz” 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/K1540: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1539. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: UTF8 uzunluk ve nokta çözümü bounded olur.

Uygulanacak işlem

“Yol bileşeni 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: UTF8 uzunluk ve nokta çözümü bounded olur. “Mutlak göreli Türkçe yol” kabulü ile “Bozuk UTF8 veya çok derin yol” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

UTF8 uzunluk ve nokta çözümü bounded olur

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_paths.rs · os_vfs_paths_components

Mevcut başlangıç referansı

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

Olumlu deney

Mutlak göreli Türkçe yol

Karşı-örnek / hata girdisi

Bozuk UTF8 veya çok derin yol

Gerçek konuk kabulü

Hata sonrası CWD değişmez

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

kernel/tests/os/vfs_paths.rs
os_vfs_paths_components_positive
os_vfs_paths_components_negative
scripts/os-acceptance/vfs_paths.mjs

Geçiş koşulu

Tür ve geçiş tablosu UTF8 uzunluk ve nokta çözümü bounded olur kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Bozuk UTF8 veya çok derin yol” 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/K1545: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1540. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: UTF8 uzunluk ve nokta çözümü bounded olur.

Uygulanacak işlem

kernel/src/runtime/vfs_paths.rs hedefinde os_vfs_paths_components yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/turkfs.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

UTF8 uzunluk ve nokta çözümü bounded olur

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_paths.rs · os_vfs_paths_components

Mevcut başlangıç referansı

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

Olumlu deney

Mutlak göreli Türkçe yol

Karşı-örnek / hata girdisi

Bozuk UTF8 veya çok derin yol

Gerçek konuk kabulü

Hata sonrası CWD değişmez

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

kernel/tests/os/vfs_paths.rs
os_vfs_paths_components_positive
os_vfs_paths_components_negative
scripts/os-acceptance/vfs_paths.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Mutlak göreli Türkçe yol ile Bozuk UTF8 veya çok derin yol ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Bozuk UTF8 veya çok derin yol” 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/K1545: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1541. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: UTF8 uzunluk ve nokta çözümü bounded olur.

Uygulanacak işlem

os_vfs_paths_components_positive testini oluştur: “Mutlak göreli Türkçe yol”. 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

UTF8 uzunluk ve nokta çözümü bounded olur

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_paths.rs · os_vfs_paths_components

Mevcut başlangıç referansı

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

Olumlu deney

Mutlak göreli Türkçe yol

Karşı-örnek / hata girdisi

Bozuk UTF8 veya çok derin yol

Gerçek konuk kabulü

Hata sonrası CWD değişmez

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

kernel/tests/os/vfs_paths.rs
os_vfs_paths_components_positive
os_vfs_paths_components_negative
scripts/os-acceptance/vfs_paths.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Mutlak göreli Türkçe yol girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Bozuk UTF8 veya çok derin yol” 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/K1545: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1542. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: UTF8 uzunluk ve nokta çözümü bounded olur.

Uygulanacak işlem

os_vfs_paths_components_negative testini oluştur: “Bozuk UTF8 veya çok derin yol”. 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

UTF8 uzunluk ve nokta çözümü bounded olur

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_paths.rs · os_vfs_paths_components

Mevcut başlangıç referansı

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

Olumlu deney

Mutlak göreli Türkçe yol

Karşı-örnek / hata girdisi

Bozuk UTF8 veya çok derin yol

Gerçek konuk kabulü

Hata sonrası CWD değişmez

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

kernel/tests/os/vfs_paths.rs
os_vfs_paths_components_positive
os_vfs_paths_components_negative
scripts/os-acceptance/vfs_paths.mjs

Geçiş koşulu

Bozuk UTF8 veya çok derin yol 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üş

“Bozuk UTF8 veya çok derin yol” 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/K1545: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1543. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: UTF8 uzunluk ve nokta çözümü bounded olur.

Uygulanacak işlem

Tek ürün Image'ında “Hata sonrası CWD değişmez” kabulünü koştur. scripts/os-acceptance/vfs_paths.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

UTF8 uzunluk ve nokta çözümü bounded olur

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_paths.rs · os_vfs_paths_components

Mevcut başlangıç referansı

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

Olumlu deney

Mutlak göreli Türkçe yol

Karşı-örnek / hata girdisi

Bozuk UTF8 veya çok derin yol

Gerçek konuk kabulü

Hata sonrası CWD değişmez

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

kernel/tests/os/vfs_paths.rs
os_vfs_paths_components_positive
os_vfs_paths_components_negative
scripts/os-acceptance/vfs_paths.mjs

Geçiş koşulu

Hata sonrası CWD değişmez; 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üş

“Bozuk UTF8 veya çok derin yol” 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/K1545: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1544. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Dotdot process kökünün üstüne çıkmaz.

Uygulanacak işlem

“Mount geçişi ve kök 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: Dotdot process kökünün üstüne çıkmaz. “İki mount ve alt dizin” kabulü ile “Dotdot ile sandbox dışına geçiş” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Dotdot process kökünün üstüne çıkmaz

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_paths.rs · os_vfs_paths_mount_cross

Mevcut başlangıç referansı

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

Olumlu deney

İki mount ve alt dizin

Karşı-örnek / hata girdisi

Dotdot ile sandbox dışına geçiş

Gerçek konuk kabulü

İzinli namespace içinde sonuç

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

kernel/tests/os/vfs_paths.rs
os_vfs_paths_mount_cross_positive
os_vfs_paths_mount_cross_negative
scripts/os-acceptance/vfs_paths.mjs

Geçiş koşulu

Tür ve geçiş tablosu Dotdot process kökünün üstüne çıkmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Dotdot ile sandbox dışına geçiş” 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/K1550: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1545. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Dotdot process kökünün üstüne çıkmaz.

Uygulanacak işlem

kernel/src/runtime/vfs_paths.rs hedefinde os_vfs_paths_mount_cross yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/turkfs.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

Dotdot process kökünün üstüne çıkmaz

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_paths.rs · os_vfs_paths_mount_cross

Mevcut başlangıç referansı

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

Olumlu deney

İki mount ve alt dizin

Karşı-örnek / hata girdisi

Dotdot ile sandbox dışına geçiş

Gerçek konuk kabulü

İzinli namespace içinde sonuç

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

kernel/tests/os/vfs_paths.rs
os_vfs_paths_mount_cross_positive
os_vfs_paths_mount_cross_negative
scripts/os-acceptance/vfs_paths.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki mount ve alt dizin ile Dotdot ile sandbox dışına geçiş ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Dotdot ile sandbox dışına geçiş” 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/K1550: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1546. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Dotdot process kökünün üstüne çıkmaz.

Uygulanacak işlem

os_vfs_paths_mount_cross_positive testini oluştur: “İki mount ve alt dizin”. 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

Dotdot process kökünün üstüne çıkmaz

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_paths.rs · os_vfs_paths_mount_cross

Mevcut başlangıç referansı

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

Olumlu deney

İki mount ve alt dizin

Karşı-örnek / hata girdisi

Dotdot ile sandbox dışına geçiş

Gerçek konuk kabulü

İzinli namespace içinde sonuç

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

kernel/tests/os/vfs_paths.rs
os_vfs_paths_mount_cross_positive
os_vfs_paths_mount_cross_negative
scripts/os-acceptance/vfs_paths.mjs

Geçiş koşulu

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

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

“Dotdot ile sandbox dışına geçiş” 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/K1550: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1547. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Dotdot process kökünün üstüne çıkmaz.

Uygulanacak işlem

os_vfs_paths_mount_cross_negative testini oluştur: “Dotdot ile sandbox dışına geçiş”. 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

Dotdot process kökünün üstüne çıkmaz

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_paths.rs · os_vfs_paths_mount_cross

Mevcut başlangıç referansı

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

Olumlu deney

İki mount ve alt dizin

Karşı-örnek / hata girdisi

Dotdot ile sandbox dışına geçiş

Gerçek konuk kabulü

İzinli namespace içinde sonuç

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

kernel/tests/os/vfs_paths.rs
os_vfs_paths_mount_cross_positive
os_vfs_paths_mount_cross_negative
scripts/os-acceptance/vfs_paths.mjs

Geçiş koşulu

Dotdot ile sandbox dışına geçiş 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üş

“Dotdot ile sandbox dışına geçiş” 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/K1550: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1548. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Dotdot process kökünün üstüne çıkmaz.

Uygulanacak işlem

Tek ürün Image'ında “İzinli namespace içinde sonuç” kabulünü koştur. scripts/os-acceptance/vfs_paths.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

Dotdot process kökünün üstüne çıkmaz

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_paths.rs · os_vfs_paths_mount_cross

Mevcut başlangıç referansı

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

Olumlu deney

İki mount ve alt dizin

Karşı-örnek / hata girdisi

Dotdot ile sandbox dışına geçiş

Gerçek konuk kabulü

İzinli namespace içinde sonuç

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

kernel/tests/os/vfs_paths.rs
os_vfs_paths_mount_cross_positive
os_vfs_paths_mount_cross_negative
scripts/os-acceptance/vfs_paths.mjs

Geçiş koşulu

İzinli namespace içinde sonuç; 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üş

“Dotdot ile sandbox dışına geçiş” 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/K1550: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1549. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Lookup tam mount nesline bağlıdır.

Uygulanacak işlem

“Dentry inode lookup ömrü” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Lookup tam mount nesline bağlıdır. “Aynı ad iki mountta” kabulü ile “Unmount edilmiş eski dentry” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Lookup tam mount nesline bağlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_paths.rs · os_vfs_paths_lookup

Mevcut başlangıç referansı

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

Olumlu deney

Aynı ad iki mountta

Karşı-örnek / hata girdisi

Unmount edilmiş eski dentry

Gerçek konuk kabulü

Eski nesil stale döndürür

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

kernel/tests/os/vfs_paths.rs
os_vfs_paths_lookup_positive
os_vfs_paths_lookup_negative
scripts/os-acceptance/vfs_paths.mjs

Geçiş koşulu

Tür ve geçiş tablosu Lookup tam mount nesline bağlı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üş

“Unmount edilmiş eski dentry” 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/K1555: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1550. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Lookup tam mount nesline bağlıdır.

Uygulanacak işlem

kernel/src/runtime/vfs_paths.rs hedefinde os_vfs_paths_lookup yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/turkfs.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

Lookup tam mount nesline bağlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_paths.rs · os_vfs_paths_lookup

Mevcut başlangıç referansı

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

Olumlu deney

Aynı ad iki mountta

Karşı-örnek / hata girdisi

Unmount edilmiş eski dentry

Gerçek konuk kabulü

Eski nesil stale döndürür

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

kernel/tests/os/vfs_paths.rs
os_vfs_paths_lookup_positive
os_vfs_paths_lookup_negative
scripts/os-acceptance/vfs_paths.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Aynı ad iki mountta ile Unmount edilmiş eski dentry ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Unmount edilmiş eski dentry” 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/K1555: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1551. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Lookup tam mount nesline bağlıdır.

Uygulanacak işlem

os_vfs_paths_lookup_positive testini oluştur: “Aynı ad iki mountta”. 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

Lookup tam mount nesline bağlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_paths.rs · os_vfs_paths_lookup

Mevcut başlangıç referansı

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

Olumlu deney

Aynı ad iki mountta

Karşı-örnek / hata girdisi

Unmount edilmiş eski dentry

Gerçek konuk kabulü

Eski nesil stale döndürür

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

kernel/tests/os/vfs_paths.rs
os_vfs_paths_lookup_positive
os_vfs_paths_lookup_negative
scripts/os-acceptance/vfs_paths.mjs

Geçiş koşulu

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

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

“Unmount edilmiş eski dentry” 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/K1555: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1552. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Lookup tam mount nesline bağlıdır.

Uygulanacak işlem

os_vfs_paths_lookup_negative testini oluştur: “Unmount edilmiş eski dentry”. 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

Lookup tam mount nesline bağlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_paths.rs · os_vfs_paths_lookup

Mevcut başlangıç referansı

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

Olumlu deney

Aynı ad iki mountta

Karşı-örnek / hata girdisi

Unmount edilmiş eski dentry

Gerçek konuk kabulü

Eski nesil stale döndürür

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

kernel/tests/os/vfs_paths.rs
os_vfs_paths_lookup_positive
os_vfs_paths_lookup_negative
scripts/os-acceptance/vfs_paths.mjs

Geçiş koşulu

Unmount edilmiş eski dentry 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üş

“Unmount edilmiş eski dentry” 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/K1555: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1553. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Lookup tam mount nesline bağlıdır.

Uygulanacak işlem

Tek ürün Image'ında “Eski nesil stale döndürür” kabulünü koştur. scripts/os-acceptance/vfs_paths.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

Lookup tam mount nesline bağlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_paths.rs · os_vfs_paths_lookup

Mevcut başlangıç referansı

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

Olumlu deney

Aynı ad iki mountta

Karşı-örnek / hata girdisi

Unmount edilmiş eski dentry

Gerçek konuk kabulü

Eski nesil stale döndürür

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

kernel/tests/os/vfs_paths.rs
os_vfs_paths_lookup_positive
os_vfs_paths_lookup_negative
scripts/os-acceptance/vfs_paths.mjs

Geçiş koşulu

Eski nesil stale döndü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üş

“Unmount edilmiş eski dentry” 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/K1555: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1554. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Hop limiti ve kök sınırı korunur.

Uygulanacak işlem

“Sınırlı symlink çözümleme” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Hop limiti ve kök sınırı korunur. “İki symlink sonra dosya” kabulü ile “Öz döngü veya 41 hop” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Hop limiti ve kök sınırı korunur

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_paths.rs · os_vfs_paths_symlinks

Mevcut başlangıç referansı

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

Olumlu deney

İki symlink sonra dosya

Karşı-örnek / hata girdisi

Öz döngü veya 41 hop

Gerçek konuk kabulü

ELOOP ile bounded sonlanma

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

kernel/tests/os/vfs_paths.rs
os_vfs_paths_symlinks_positive
os_vfs_paths_symlinks_negative
scripts/os-acceptance/vfs_paths.mjs

Geçiş koşulu

Tür ve geçiş tablosu Hop limiti ve kök sınırı 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üş

“Öz döngü veya 41 hop” 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/K1560: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1555. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Hop limiti ve kök sınırı korunur.

Uygulanacak işlem

kernel/src/runtime/vfs_paths.rs hedefinde os_vfs_paths_symlinks yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/turkfs.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

Hop limiti ve kök sınırı korunur

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_paths.rs · os_vfs_paths_symlinks

Mevcut başlangıç referansı

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

Olumlu deney

İki symlink sonra dosya

Karşı-örnek / hata girdisi

Öz döngü veya 41 hop

Gerçek konuk kabulü

ELOOP ile bounded sonlanma

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

kernel/tests/os/vfs_paths.rs
os_vfs_paths_symlinks_positive
os_vfs_paths_symlinks_negative
scripts/os-acceptance/vfs_paths.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki symlink sonra dosya ile Öz döngü veya 41 hop ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Öz döngü veya 41 hop” 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/K1560: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1556. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Hop limiti ve kök sınırı korunur.

Uygulanacak işlem

os_vfs_paths_symlinks_positive testini oluştur: “İki symlink sonra dosya”. 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

Hop limiti ve kök sınırı korunur

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_paths.rs · os_vfs_paths_symlinks

Mevcut başlangıç referansı

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

Olumlu deney

İki symlink sonra dosya

Karşı-örnek / hata girdisi

Öz döngü veya 41 hop

Gerçek konuk kabulü

ELOOP ile bounded sonlanma

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

kernel/tests/os/vfs_paths.rs
os_vfs_paths_symlinks_positive
os_vfs_paths_symlinks_negative
scripts/os-acceptance/vfs_paths.mjs

Geçiş koşulu

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

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

“Öz döngü veya 41 hop” 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/K1560: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1557. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Hop limiti ve kök sınırı korunur.

Uygulanacak işlem

os_vfs_paths_symlinks_negative testini oluştur: “Öz döngü veya 41 hop”. 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

Hop limiti ve kök sınırı korunur

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_paths.rs · os_vfs_paths_symlinks

Mevcut başlangıç referansı

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

Olumlu deney

İki symlink sonra dosya

Karşı-örnek / hata girdisi

Öz döngü veya 41 hop

Gerçek konuk kabulü

ELOOP ile bounded sonlanma

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

kernel/tests/os/vfs_paths.rs
os_vfs_paths_symlinks_positive
os_vfs_paths_symlinks_negative
scripts/os-acceptance/vfs_paths.mjs

Geçiş koşulu

Öz döngü veya 41 hop 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üş

“Öz döngü veya 41 hop” 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/K1560: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1558. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Hop limiti ve kök sınırı korunur.

Uygulanacak işlem

Tek ürün Image'ında “ELOOP ile bounded sonlanma” kabulünü koştur. scripts/os-acceptance/vfs_paths.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

Hop limiti ve kök sınırı korunur

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_paths.rs · os_vfs_paths_symlinks

Mevcut başlangıç referansı

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

Olumlu deney

İki symlink sonra dosya

Karşı-örnek / hata girdisi

Öz döngü veya 41 hop

Gerçek konuk kabulü

ELOOP ile bounded sonlanma

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

kernel/tests/os/vfs_paths.rs
os_vfs_paths_symlinks_positive
os_vfs_paths_symlinks_negative
scripts/os-acceptance/vfs_paths.mjs

Geçiş koşulu

ELOOP ile bounded sonlanma; 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üş

“Öz döngü veya 41 hop” 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/K1560: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1559. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: RO mount yazılabilir open vermez.

Uygulanacak işlem

“Open mode ve erişim hakkı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: RO mount yazılabilir open vermez. “İki bağımsız RO open” kabulü ile “RO mountta create write” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

RO mount yazılabilir open vermez

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_files.rs · os_vfs_files_open

Mevcut başlangıç referansı

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

Olumlu deney

İki bağımsız RO open

Karşı-örnek / hata girdisi

RO mountta create write

Gerçek konuk kabulü

EROFS ve değişmeyen disk

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

kernel/tests/os/vfs_files.rs
os_vfs_files_open_positive
os_vfs_files_open_negative
scripts/os-acceptance/vfs_files.mjs

Geçiş koşulu

Tür ve geçiş tablosu RO mount yazılabilir open vermez kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“RO mountta create write” 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/K1565: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1560. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: RO mount yazılabilir open vermez.

Uygulanacak işlem

kernel/src/runtime/vfs_files.rs hedefinde os_vfs_files_open yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/handle.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

RO mount yazılabilir open vermez

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_files.rs · os_vfs_files_open

Mevcut başlangıç referansı

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

Olumlu deney

İki bağımsız RO open

Karşı-örnek / hata girdisi

RO mountta create write

Gerçek konuk kabulü

EROFS ve değişmeyen disk

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

kernel/tests/os/vfs_files.rs
os_vfs_files_open_positive
os_vfs_files_open_negative
scripts/os-acceptance/vfs_files.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki bağımsız RO open ile RO mountta create write ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“RO mountta create write” 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/K1565: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1561. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: RO mount yazılabilir open vermez.

Uygulanacak işlem

os_vfs_files_open_positive testini oluştur: “İki bağımsız RO open”. 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

RO mount yazılabilir open vermez

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_files.rs · os_vfs_files_open

Mevcut başlangıç referansı

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

Olumlu deney

İki bağımsız RO open

Karşı-örnek / hata girdisi

RO mountta create write

Gerçek konuk kabulü

EROFS ve değişmeyen disk

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

kernel/tests/os/vfs_files.rs
os_vfs_files_open_positive
os_vfs_files_open_negative
scripts/os-acceptance/vfs_files.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; İki bağımsız RO open girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“RO mountta create write” 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/K1565: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1562. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: RO mount yazılabilir open vermez.

Uygulanacak işlem

os_vfs_files_open_negative testini oluştur: “RO mountta create write”. 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

RO mount yazılabilir open vermez

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_files.rs · os_vfs_files_open

Mevcut başlangıç referansı

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

Olumlu deney

İki bağımsız RO open

Karşı-örnek / hata girdisi

RO mountta create write

Gerçek konuk kabulü

EROFS ve değişmeyen disk

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

kernel/tests/os/vfs_files.rs
os_vfs_files_open_positive
os_vfs_files_open_negative
scripts/os-acceptance/vfs_files.mjs

Geçiş koşulu

RO mountta create write 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üş

“RO mountta create write” 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/K1565: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1563. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: RO mount yazılabilir open vermez.

Uygulanacak işlem

Tek ürün Image'ında “EROFS ve değişmeyen disk” kabulünü koştur. scripts/os-acceptance/vfs_files.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

RO mount yazılabilir open vermez

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_files.rs · os_vfs_files_open

Mevcut başlangıç referansı

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

Olumlu deney

İki bağımsız RO open

Karşı-örnek / hata girdisi

RO mountta create write

Gerçek konuk kabulü

EROFS ve değişmeyen disk

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

kernel/tests/os/vfs_files.rs
os_vfs_files_open_positive
os_vfs_files_open_negative
scripts/os-acceptance/vfs_files.mjs

Geçiş koşulu

EROFS ve değişmeyen disk; 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üş

“RO mountta create write” 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/K1565: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1564. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Ofset yalnız başarılı I/O kadar ilerler.

Uygulanacak işlem

“Dosya ofseti ve seek” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Ofset yalnız başarılı I/O kadar ilerler. “Kısa read sonra seek” kabulü ile “Negatif veya taşan seek” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Ofset yalnız başarılı I/O kadar ilerler

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_files.rs · os_vfs_files_offsets

Mevcut başlangıç referansı

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

Olumlu deney

Kısa read sonra seek

Karşı-örnek / hata girdisi

Negatif veya taşan seek

Gerçek konuk kabulü

Diğer FD ofseti bağımsız kalır

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

kernel/tests/os/vfs_files.rs
os_vfs_files_offsets_positive
os_vfs_files_offsets_negative
scripts/os-acceptance/vfs_files.mjs

Geçiş koşulu

Tür ve geçiş tablosu Ofset yalnız başarılı I/O kadar ilerler kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Negatif veya taşan seek” 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/K1570: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1565. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Ofset yalnız başarılı I/O kadar ilerler.

Uygulanacak işlem

kernel/src/runtime/vfs_files.rs hedefinde os_vfs_files_offsets yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/handle.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

Ofset yalnız başarılı I/O kadar ilerler

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_files.rs · os_vfs_files_offsets

Mevcut başlangıç referansı

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

Olumlu deney

Kısa read sonra seek

Karşı-örnek / hata girdisi

Negatif veya taşan seek

Gerçek konuk kabulü

Diğer FD ofseti bağımsız kalır

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

kernel/tests/os/vfs_files.rs
os_vfs_files_offsets_positive
os_vfs_files_offsets_negative
scripts/os-acceptance/vfs_files.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Kısa read sonra seek ile Negatif veya taşan seek ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Negatif veya taşan seek” 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/K1570: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1566. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Ofset yalnız başarılı I/O kadar ilerler.

Uygulanacak işlem

os_vfs_files_offsets_positive testini oluştur: “Kısa read sonra seek”. 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

Ofset yalnız başarılı I/O kadar ilerler

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_files.rs · os_vfs_files_offsets

Mevcut başlangıç referansı

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

Olumlu deney

Kısa read sonra seek

Karşı-örnek / hata girdisi

Negatif veya taşan seek

Gerçek konuk kabulü

Diğer FD ofseti bağımsız kalır

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

kernel/tests/os/vfs_files.rs
os_vfs_files_offsets_positive
os_vfs_files_offsets_negative
scripts/os-acceptance/vfs_files.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Kısa read sonra seek girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Negatif veya taşan seek” 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/K1570: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1567. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Ofset yalnız başarılı I/O kadar ilerler.

Uygulanacak işlem

os_vfs_files_offsets_negative testini oluştur: “Negatif veya taşan seek”. 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

Ofset yalnız başarılı I/O kadar ilerler

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_files.rs · os_vfs_files_offsets

Mevcut başlangıç referansı

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

Olumlu deney

Kısa read sonra seek

Karşı-örnek / hata girdisi

Negatif veya taşan seek

Gerçek konuk kabulü

Diğer FD ofseti bağımsız kalır

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

kernel/tests/os/vfs_files.rs
os_vfs_files_offsets_positive
os_vfs_files_offsets_negative
scripts/os-acceptance/vfs_files.mjs

Geçiş koşulu

Negatif veya taşan seek 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üş

“Negatif veya taşan seek” 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/K1570: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1568. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Ofset yalnız başarılı I/O kadar ilerler.

Uygulanacak işlem

Tek ürün Image'ında “Diğer FD ofseti bağımsız kalır” kabulünü koştur. scripts/os-acceptance/vfs_files.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

Ofset yalnız başarılı I/O kadar ilerler

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_files.rs · os_vfs_files_offsets

Mevcut başlangıç referansı

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

Olumlu deney

Kısa read sonra seek

Karşı-örnek / hata girdisi

Negatif veya taşan seek

Gerçek konuk kabulü

Diğer FD ofseti bağımsız kalır

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

kernel/tests/os/vfs_files.rs
os_vfs_files_offsets_positive
os_vfs_files_offsets_negative
scripts/os-acceptance/vfs_files.mjs

Geçiş koşulu

Diğer FD ofseti bağımsız kalı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üş

“Negatif veya taşan seek” 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/K1570: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1569. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Boy tür hak ve kimlik tutarlı olur.

Uygulanacak işlem

“Stat ve dizin metadata” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Boy tür hak ve kimlik tutarlı olur. “Boş ve 513 bayt dosya” kabulü ile “Bozuk inode boyu” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Boy tür hak ve kimlik tutarlı olur

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_files.rs · os_vfs_files_stat

Mevcut başlangıç referansı

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

Olumlu deney

Boş ve 513 bayt dosya

Karşı-örnek / hata girdisi

Bozuk inode boyu

Gerçek konuk kabulü

Kullanıcı doğru stat alanlarını alır

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

kernel/tests/os/vfs_files.rs
os_vfs_files_stat_positive
os_vfs_files_stat_negative
scripts/os-acceptance/vfs_files.mjs

Geçiş koşulu

Tür ve geçiş tablosu Boy tür hak ve kimlik tutarlı olur kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Bozuk inode boyu” 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/K1575: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1570. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Boy tür hak ve kimlik tutarlı olur.

Uygulanacak işlem

kernel/src/runtime/vfs_files.rs hedefinde os_vfs_files_stat yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/handle.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

Boy tür hak ve kimlik tutarlı olur

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_files.rs · os_vfs_files_stat

Mevcut başlangıç referansı

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

Olumlu deney

Boş ve 513 bayt dosya

Karşı-örnek / hata girdisi

Bozuk inode boyu

Gerçek konuk kabulü

Kullanıcı doğru stat alanlarını alır

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

kernel/tests/os/vfs_files.rs
os_vfs_files_stat_positive
os_vfs_files_stat_negative
scripts/os-acceptance/vfs_files.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Boş ve 513 bayt dosya ile Bozuk inode boyu ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Bozuk inode boyu” 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/K1575: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1571. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Boy tür hak ve kimlik tutarlı olur.

Uygulanacak işlem

os_vfs_files_stat_positive testini oluştur: “Boş ve 513 bayt dosya”. 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

Boy tür hak ve kimlik tutarlı olur

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_files.rs · os_vfs_files_stat

Mevcut başlangıç referansı

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

Olumlu deney

Boş ve 513 bayt dosya

Karşı-örnek / hata girdisi

Bozuk inode boyu

Gerçek konuk kabulü

Kullanıcı doğru stat alanlarını alır

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

kernel/tests/os/vfs_files.rs
os_vfs_files_stat_positive
os_vfs_files_stat_negative
scripts/os-acceptance/vfs_files.mjs

Geçiş koşulu

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

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

“Bozuk inode boyu” 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/K1575: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1572. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Boy tür hak ve kimlik tutarlı olur.

Uygulanacak işlem

os_vfs_files_stat_negative testini oluştur: “Bozuk inode boyu”. 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

Boy tür hak ve kimlik tutarlı olur

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_files.rs · os_vfs_files_stat

Mevcut başlangıç referansı

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

Olumlu deney

Boş ve 513 bayt dosya

Karşı-örnek / hata girdisi

Bozuk inode boyu

Gerçek konuk kabulü

Kullanıcı doğru stat alanlarını alır

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

kernel/tests/os/vfs_files.rs
os_vfs_files_stat_positive
os_vfs_files_stat_negative
scripts/os-acceptance/vfs_files.mjs

Geçiş koşulu

Bozuk inode boyu 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üş

“Bozuk inode boyu” 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/K1575: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1573. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Boy tür hak ve kimlik tutarlı olur.

Uygulanacak işlem

Tek ürün Image'ında “Kullanıcı doğru stat alanlarını alır” kabulünü koştur. scripts/os-acceptance/vfs_files.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

Boy tür hak ve kimlik tutarlı olur

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_files.rs · os_vfs_files_stat

Mevcut başlangıç referansı

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

Olumlu deney

Boş ve 513 bayt dosya

Karşı-örnek / hata girdisi

Bozuk inode boyu

Gerçek konuk kabulü

Kullanıcı doğru stat alanlarını alır

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

kernel/tests/os/vfs_files.rs
os_vfs_files_stat_positive
os_vfs_files_stat_negative
scripts/os-acceptance/vfs_files.mjs

Geçiş koşulu

Kullanıcı doğru stat alanlarını 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üş

“Bozuk inode boyu” 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/K1575: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1574. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Paylaşılan open description ofseti tanımlıdır.

Uygulanacak işlem

“Duplicate FD ve close ilişkisi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Paylaşılan open description ofseti tanımlıdır. “Dup sonra ardışık read” kabulü ile “Son close sırasında read” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Paylaşılan open description ofseti tanımlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_files.rs · os_vfs_files_duplicates

Mevcut başlangıç referansı

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

Olumlu deney

Dup sonra ardışık read

Karşı-örnek / hata girdisi

Son close sırasında read

Gerçek konuk kabulü

Ömür bitene kadar nesne tutulur

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

kernel/tests/os/vfs_files.rs
os_vfs_files_duplicates_positive
os_vfs_files_duplicates_negative
scripts/os-acceptance/vfs_files.mjs

Geçiş koşulu

Tür ve geçiş tablosu Paylaşılan open description ofseti tanımlı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üş

“Son close sırasında read” 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/K1580: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1575. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Paylaşılan open description ofseti tanımlıdır.

Uygulanacak işlem

kernel/src/runtime/vfs_files.rs hedefinde os_vfs_files_duplicates yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/handle.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

Paylaşılan open description ofseti tanımlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_files.rs · os_vfs_files_duplicates

Mevcut başlangıç referansı

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

Olumlu deney

Dup sonra ardışık read

Karşı-örnek / hata girdisi

Son close sırasında read

Gerçek konuk kabulü

Ömür bitene kadar nesne tutulur

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

kernel/tests/os/vfs_files.rs
os_vfs_files_duplicates_positive
os_vfs_files_duplicates_negative
scripts/os-acceptance/vfs_files.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Dup sonra ardışık read ile Son close sırasında read ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Son close sırasında read” 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/K1580: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1576. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Paylaşılan open description ofseti tanımlıdır.

Uygulanacak işlem

os_vfs_files_duplicates_positive testini oluştur: “Dup sonra ardışık read”. 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

Paylaşılan open description ofseti tanımlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_files.rs · os_vfs_files_duplicates

Mevcut başlangıç referansı

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

Olumlu deney

Dup sonra ardışık read

Karşı-örnek / hata girdisi

Son close sırasında read

Gerçek konuk kabulü

Ömür bitene kadar nesne tutulur

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

kernel/tests/os/vfs_files.rs
os_vfs_files_duplicates_positive
os_vfs_files_duplicates_negative
scripts/os-acceptance/vfs_files.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Dup sonra ardışık read girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Son close sırasında read” 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/K1580: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1577. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Paylaşılan open description ofseti tanımlıdır.

Uygulanacak işlem

os_vfs_files_duplicates_negative testini oluştur: “Son close sırasında read”. 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

Paylaşılan open description ofseti tanımlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_files.rs · os_vfs_files_duplicates

Mevcut başlangıç referansı

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

Olumlu deney

Dup sonra ardışık read

Karşı-örnek / hata girdisi

Son close sırasında read

Gerçek konuk kabulü

Ömür bitene kadar nesne tutulur

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

kernel/tests/os/vfs_files.rs
os_vfs_files_duplicates_positive
os_vfs_files_duplicates_negative
scripts/os-acceptance/vfs_files.mjs

Geçiş koşulu

Son close sırasında read 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üş

“Son close sırasında read” 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/K1580: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1578. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Paylaşılan open description ofseti tanımlıdır.

Uygulanacak işlem

Tek ürün Image'ında “Ömür bitene kadar nesne tutulur” kabulünü koştur. scripts/os-acceptance/vfs_files.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

Paylaşılan open description ofseti tanımlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/vfs_files.rs · os_vfs_files_duplicates

Mevcut başlangıç referansı

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

Olumlu deney

Dup sonra ardışık read

Karşı-örnek / hata girdisi

Son close sırasında read

Gerçek konuk kabulü

Ömür bitene kadar nesne tutulur

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

kernel/tests/os/vfs_files.rs
os_vfs_files_duplicates_positive
os_vfs_files_duplicates_negative
scripts/os-acceptance/vfs_files.mjs

Geçiş koşulu

Ömür bitene kadar nesne tutulur; 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üş

“Son close sırasında read” 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/K1580: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1579. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: VFS backend ayrımı I/O hatasını korur.

Uygulanacak işlem

“Dosya sistemi trait sözleşmesi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: VFS backend ayrımı I/O hatasını korur. “Ramfs ve TurkFS RO” kabulü ile “Backend yanlış inode türü” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

VFS backend ayrımı I/O hatasını korur

Kod hedefi — henüz öneri

kernel/src/runtime/mount_cache.rs · os_mount_cache_filesystem_trait

Mevcut başlangıç referansı

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

Olumlu deney

Ramfs ve TurkFS RO

Karşı-örnek / hata girdisi

Backend yanlış inode türü

Gerçek konuk kabulü

Aynı VFS araçları iki mountta

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

kernel/tests/os/mount_cache.rs
os_mount_cache_filesystem_trait_positive
os_mount_cache_filesystem_trait_negative
scripts/os-acceptance/mount_cache.mjs

Geçiş koşulu

Tür ve geçiş tablosu VFS backend ayrımı I/O hatasını korur kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Backend yanlış inode tü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/K1585: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1580. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: VFS backend ayrımı I/O hatasını korur.

Uygulanacak işlem

kernel/src/runtime/mount_cache.rs hedefinde os_mount_cache_filesystem_trait yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/turkfs.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

VFS backend ayrımı I/O hatasını korur

Kod hedefi — henüz öneri

kernel/src/runtime/mount_cache.rs · os_mount_cache_filesystem_trait

Mevcut başlangıç referansı

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

Olumlu deney

Ramfs ve TurkFS RO

Karşı-örnek / hata girdisi

Backend yanlış inode türü

Gerçek konuk kabulü

Aynı VFS araçları iki mountta

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

kernel/tests/os/mount_cache.rs
os_mount_cache_filesystem_trait_positive
os_mount_cache_filesystem_trait_negative
scripts/os-acceptance/mount_cache.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Ramfs ve TurkFS RO ile Backend yanlış inode türü ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Backend yanlış inode tü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/K1585: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1581. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: VFS backend ayrımı I/O hatasını korur.

Uygulanacak işlem

os_mount_cache_filesystem_trait_positive testini oluştur: “Ramfs ve TurkFS RO”. 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

VFS backend ayrımı I/O hatasını korur

Kod hedefi — henüz öneri

kernel/src/runtime/mount_cache.rs · os_mount_cache_filesystem_trait

Mevcut başlangıç referansı

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

Olumlu deney

Ramfs ve TurkFS RO

Karşı-örnek / hata girdisi

Backend yanlış inode türü

Gerçek konuk kabulü

Aynı VFS araçları iki mountta

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

kernel/tests/os/mount_cache.rs
os_mount_cache_filesystem_trait_positive
os_mount_cache_filesystem_trait_negative
scripts/os-acceptance/mount_cache.mjs

Geçiş koşulu

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

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

“Backend yanlış inode tü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/K1585: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1582. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: VFS backend ayrımı I/O hatasını korur.

Uygulanacak işlem

os_mount_cache_filesystem_trait_negative testini oluştur: “Backend yanlış inode tü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

VFS backend ayrımı I/O hatasını korur

Kod hedefi — henüz öneri

kernel/src/runtime/mount_cache.rs · os_mount_cache_filesystem_trait

Mevcut başlangıç referansı

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

Olumlu deney

Ramfs ve TurkFS RO

Karşı-örnek / hata girdisi

Backend yanlış inode türü

Gerçek konuk kabulü

Aynı VFS araçları iki mountta

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

kernel/tests/os/mount_cache.rs
os_mount_cache_filesystem_trait_positive
os_mount_cache_filesystem_trait_negative
scripts/os-acceptance/mount_cache.mjs

Geçiş koşulu

Backend yanlış inode tü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üş

“Backend yanlış inode tü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/K1585: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1583. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: VFS backend ayrımı I/O hatasını korur.

Uygulanacak işlem

Tek ürün Image'ında “Aynı VFS araçları iki mountta” kabulünü koştur. scripts/os-acceptance/mount_cache.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

VFS backend ayrımı I/O hatasını korur

Kod hedefi — henüz öneri

kernel/src/runtime/mount_cache.rs · os_mount_cache_filesystem_trait

Mevcut başlangıç referansı

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

Olumlu deney

Ramfs ve TurkFS RO

Karşı-örnek / hata girdisi

Backend yanlış inode türü

Gerçek konuk kabulü

Aynı VFS araçları iki mountta

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

kernel/tests/os/mount_cache.rs
os_mount_cache_filesystem_trait_positive
os_mount_cache_filesystem_trait_negative
scripts/os-acceptance/mount_cache.mjs

Geçiş koşulu

Aynı VFS araçları iki mountta; 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üş

“Backend yanlış inode tü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/K1585: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1584. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Ramfs quota disk haklarını genişletmez.

Uygulanacak işlem

“Geçici kullanıcı dosya sistemi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Ramfs quota disk haklarını genişletmez. “Geçici küçük dosya” kabulü ile “Quota artı bir byte” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Ramfs quota disk haklarını genişletmez

Kod hedefi — henüz öneri

kernel/src/runtime/mount_cache.rs · os_mount_cache_ramfs

Mevcut başlangıç referansı

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

Olumlu deney

Geçici küçük dosya

Karşı-örnek / hata girdisi

Quota artı bir byte

Gerçek konuk kabulü

ENOSPC sadece ilgili mountta

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

kernel/tests/os/mount_cache.rs
os_mount_cache_ramfs_positive
os_mount_cache_ramfs_negative
scripts/os-acceptance/mount_cache.mjs

Geçiş koşulu

Tür ve geçiş tablosu Ramfs quota disk haklarını genişletmez kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Quota artı bir byte” 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/K1590: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1585. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Ramfs quota disk haklarını genişletmez.

Uygulanacak işlem

kernel/src/runtime/mount_cache.rs hedefinde os_mount_cache_ramfs yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/turkfs.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

Ramfs quota disk haklarını genişletmez

Kod hedefi — henüz öneri

kernel/src/runtime/mount_cache.rs · os_mount_cache_ramfs

Mevcut başlangıç referansı

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

Olumlu deney

Geçici küçük dosya

Karşı-örnek / hata girdisi

Quota artı bir byte

Gerçek konuk kabulü

ENOSPC sadece ilgili mountta

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

kernel/tests/os/mount_cache.rs
os_mount_cache_ramfs_positive
os_mount_cache_ramfs_negative
scripts/os-acceptance/mount_cache.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Geçici küçük dosya ile Quota artı bir byte ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Quota artı bir byte” 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/K1590: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1586. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Ramfs quota disk haklarını genişletmez.

Uygulanacak işlem

os_mount_cache_ramfs_positive testini oluştur: “Geçici küçük dosya”. 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

Ramfs quota disk haklarını genişletmez

Kod hedefi — henüz öneri

kernel/src/runtime/mount_cache.rs · os_mount_cache_ramfs

Mevcut başlangıç referansı

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

Olumlu deney

Geçici küçük dosya

Karşı-örnek / hata girdisi

Quota artı bir byte

Gerçek konuk kabulü

ENOSPC sadece ilgili mountta

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

kernel/tests/os/mount_cache.rs
os_mount_cache_ramfs_positive
os_mount_cache_ramfs_negative
scripts/os-acceptance/mount_cache.mjs

Geçiş koşulu

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

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

“Quota artı bir byte” 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/K1590: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1587. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Ramfs quota disk haklarını genişletmez.

Uygulanacak işlem

os_mount_cache_ramfs_negative testini oluştur: “Quota artı bir byte”. 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

Ramfs quota disk haklarını genişletmez

Kod hedefi — henüz öneri

kernel/src/runtime/mount_cache.rs · os_mount_cache_ramfs

Mevcut başlangıç referansı

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

Olumlu deney

Geçici küçük dosya

Karşı-örnek / hata girdisi

Quota artı bir byte

Gerçek konuk kabulü

ENOSPC sadece ilgili mountta

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

kernel/tests/os/mount_cache.rs
os_mount_cache_ramfs_positive
os_mount_cache_ramfs_negative
scripts/os-acceptance/mount_cache.mjs

Geçiş koşulu

Quota artı bir byte 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üş

“Quota artı bir byte” 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/K1590: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1588. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Ramfs quota disk haklarını genişletmez.

Uygulanacak işlem

Tek ürün Image'ında “ENOSPC sadece ilgili mountta” kabulünü koştur. scripts/os-acceptance/mount_cache.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

Ramfs quota disk haklarını genişletmez

Kod hedefi — henüz öneri

kernel/src/runtime/mount_cache.rs · os_mount_cache_ramfs

Mevcut başlangıç referansı

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

Olumlu deney

Geçici küçük dosya

Karşı-örnek / hata girdisi

Quota artı bir byte

Gerçek konuk kabulü

ENOSPC sadece ilgili mountta

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

kernel/tests/os/mount_cache.rs
os_mount_cache_ramfs_positive
os_mount_cache_ramfs_negative
scripts/os-acceptance/mount_cache.mjs

Geçiş koşulu

ENOSPC sadece ilgili mountta; 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üş

“Quota artı bir byte” 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/K1590: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1589. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Anahtar device nesil LBA içerir.

Uygulanacak işlem

“RO cache anahtar ve tahliye” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Anahtar device nesil LBA içerir. “İki diskte aynı LBA” kabulü ile “Eski aygıt cache girdisi” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Anahtar device nesil LBA içerir

Kod hedefi — henüz öneri

kernel/src/runtime/mount_cache.rs · os_mount_cache_read_cache

Mevcut başlangıç referansı

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

Olumlu deney

İki diskte aynı LBA

Karşı-örnek / hata girdisi

Eski aygıt cache girdisi

Gerçek konuk kabulü

Yeni disk eski payloadı almaz

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

kernel/tests/os/mount_cache.rs
os_mount_cache_read_cache_positive
os_mount_cache_read_cache_negative
scripts/os-acceptance/mount_cache.mjs

Geçiş koşulu

Tür ve geçiş tablosu Anahtar device nesil LBA içerir 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 aygıt cache 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/K1595: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1590. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Anahtar device nesil LBA içerir.

Uygulanacak işlem

kernel/src/runtime/mount_cache.rs hedefinde os_mount_cache_read_cache yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/turkfs.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

Anahtar device nesil LBA içerir

Kod hedefi — henüz öneri

kernel/src/runtime/mount_cache.rs · os_mount_cache_read_cache

Mevcut başlangıç referansı

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

Olumlu deney

İki diskte aynı LBA

Karşı-örnek / hata girdisi

Eski aygıt cache girdisi

Gerçek konuk kabulü

Yeni disk eski payloadı almaz

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

kernel/tests/os/mount_cache.rs
os_mount_cache_read_cache_positive
os_mount_cache_read_cache_negative
scripts/os-acceptance/mount_cache.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki diskte aynı LBA ile Eski aygıt cache girdisi ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Eski aygıt cache 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/K1595: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1591. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Anahtar device nesil LBA içerir.

Uygulanacak işlem

os_mount_cache_read_cache_positive testini oluştur: “İki diskte aynı LBA”. 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

Anahtar device nesil LBA içerir

Kod hedefi — henüz öneri

kernel/src/runtime/mount_cache.rs · os_mount_cache_read_cache

Mevcut başlangıç referansı

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

Olumlu deney

İki diskte aynı LBA

Karşı-örnek / hata girdisi

Eski aygıt cache girdisi

Gerçek konuk kabulü

Yeni disk eski payloadı almaz

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

kernel/tests/os/mount_cache.rs
os_mount_cache_read_cache_positive
os_mount_cache_read_cache_negative
scripts/os-acceptance/mount_cache.mjs

Geçiş koşulu

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

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

“Eski aygıt cache 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/K1595: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1592. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Anahtar device nesil LBA içerir.

Uygulanacak işlem

os_mount_cache_read_cache_negative testini oluştur: “Eski aygıt cache 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

Anahtar device nesil LBA içerir

Kod hedefi — henüz öneri

kernel/src/runtime/mount_cache.rs · os_mount_cache_read_cache

Mevcut başlangıç referansı

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

Olumlu deney

İki diskte aynı LBA

Karşı-örnek / hata girdisi

Eski aygıt cache girdisi

Gerçek konuk kabulü

Yeni disk eski payloadı almaz

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

kernel/tests/os/mount_cache.rs
os_mount_cache_read_cache_positive
os_mount_cache_read_cache_negative
scripts/os-acceptance/mount_cache.mjs

Geçiş koşulu

Eski aygıt cache 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üş

“Eski aygıt cache 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/K1595: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1593. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Anahtar device nesil LBA içerir.

Uygulanacak işlem

Tek ürün Image'ında “Yeni disk eski payloadı almaz” kabulünü koştur. scripts/os-acceptance/mount_cache.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

Anahtar device nesil LBA içerir

Kod hedefi — henüz öneri

kernel/src/runtime/mount_cache.rs · os_mount_cache_read_cache

Mevcut başlangıç referansı

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

Olumlu deney

İki diskte aynı LBA

Karşı-örnek / hata girdisi

Eski aygıt cache girdisi

Gerçek konuk kabulü

Yeni disk eski payloadı almaz

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

kernel/tests/os/mount_cache.rs
os_mount_cache_read_cache_positive
os_mount_cache_read_cache_negative
scripts/os-acceptance/mount_cache.mjs

Geçiş koşulu

Yeni disk 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 aygıt cache 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/K1595: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1594. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Açık dosya varken ömür korunur.

Uygulanacak işlem

“Mount sökme ve busy ret” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Açık dosya varken ömür korunur. “Boş mount clean unmount” kabulü ile “Canlı FD ile unmount” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Açık dosya varken ömür korunur

Kod hedefi — henüz öneri

kernel/src/runtime/mount_cache.rs · os_mount_cache_unmount

Mevcut başlangıç referansı

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

Olumlu deney

Boş mount clean unmount

Karşı-örnek / hata girdisi

Canlı FD ile unmount

Gerçek konuk kabulü

EBUSY sonra close unmount geçer

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

kernel/tests/os/mount_cache.rs
os_mount_cache_unmount_positive
os_mount_cache_unmount_negative
scripts/os-acceptance/mount_cache.mjs

Geçiş koşulu

Tür ve geçiş tablosu Açık dosya varken ömür 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üş

“Canlı FD ile unmount” 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/K1600: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1595. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Açık dosya varken ömür korunur.

Uygulanacak işlem

kernel/src/runtime/mount_cache.rs hedefinde os_mount_cache_unmount yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/turkfs.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

Açık dosya varken ömür korunur

Kod hedefi — henüz öneri

kernel/src/runtime/mount_cache.rs · os_mount_cache_unmount

Mevcut başlangıç referansı

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

Olumlu deney

Boş mount clean unmount

Karşı-örnek / hata girdisi

Canlı FD ile unmount

Gerçek konuk kabulü

EBUSY sonra close unmount geçer

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

kernel/tests/os/mount_cache.rs
os_mount_cache_unmount_positive
os_mount_cache_unmount_negative
scripts/os-acceptance/mount_cache.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Boş mount clean unmount ile Canlı FD ile unmount ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Canlı FD ile unmount” 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/K1600: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1596. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Açık dosya varken ömür korunur.

Uygulanacak işlem

os_mount_cache_unmount_positive testini oluştur: “Boş mount clean unmount”. 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

Açık dosya varken ömür korunur

Kod hedefi — henüz öneri

kernel/src/runtime/mount_cache.rs · os_mount_cache_unmount

Mevcut başlangıç referansı

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

Olumlu deney

Boş mount clean unmount

Karşı-örnek / hata girdisi

Canlı FD ile unmount

Gerçek konuk kabulü

EBUSY sonra close unmount geçer

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

kernel/tests/os/mount_cache.rs
os_mount_cache_unmount_positive
os_mount_cache_unmount_negative
scripts/os-acceptance/mount_cache.mjs

Geçiş koşulu

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

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

“Canlı FD ile unmount” 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/K1600: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1597. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Açık dosya varken ömür korunur.

Uygulanacak işlem

os_mount_cache_unmount_negative testini oluştur: “Canlı FD ile unmount”. 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

Açık dosya varken ömür korunur

Kod hedefi — henüz öneri

kernel/src/runtime/mount_cache.rs · os_mount_cache_unmount

Mevcut başlangıç referansı

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

Olumlu deney

Boş mount clean unmount

Karşı-örnek / hata girdisi

Canlı FD ile unmount

Gerçek konuk kabulü

EBUSY sonra close unmount geçer

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

kernel/tests/os/mount_cache.rs
os_mount_cache_unmount_positive
os_mount_cache_unmount_negative
scripts/os-acceptance/mount_cache.mjs

Geçiş koşulu

Canlı FD ile unmount 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üş

“Canlı FD ile unmount” 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/K1600: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1598. Ayrıca faz 9 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.

Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır. Bu hamlenin koruduğu değişmez: Açık dosya varken ömür korunur.

Uygulanacak işlem

Tek ürün Image'ında “EBUSY sonra close unmount geçer” kabulünü koştur. scripts/os-acceptance/mount_cache.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

Açık dosya varken ömür korunur

Kod hedefi — henüz öneri

kernel/src/runtime/mount_cache.rs · os_mount_cache_unmount

Mevcut başlangıç referansı

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

Olumlu deney

Boş mount clean unmount

Karşı-örnek / hata girdisi

Canlı FD ile unmount

Gerçek konuk kabulü

EBUSY sonra close unmount geçer

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

kernel/tests/os/mount_cache.rs
os_mount_cache_unmount_positive
os_mount_cache_unmount_negative
scripts/os-acceptance/mount_cache.mjs

Geçiş koşulu

EBUSY sonra close unmount geçer; 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üş

“Canlı FD ile unmount” 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/K1600: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1599. Ayrıca faz 9 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.