Rust uygulamalar ve sistem servisleri

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Hedef partial durumunun politikası açıktır.

Uygulanacak işlem

“Cp benzeri bounded kopya” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Hedef partial durumunun politikası açıktır. “513 bayt iki mount arası” kabulü ile “Ortada ENOSPC veya EIO” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Hedef partial durumunun politikası açıktır

Kod hedefi — henüz öneri

userspace/src/file_tools.rs · os_file_tools_copy

Mevcut başlangıç referansı

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

Olumlu deney

513 bayt iki mount arası

Karşı-örnek / hata girdisi

Ortada ENOSPC veya EIO

Gerçek konuk kabulü

Kaynak hash korunur hedef hata görünür

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

userspace/tests/file_tools.rs
os_file_tools_copy_positive
os_file_tools_copy_negative
scripts/os-acceptance/file_tools.mjs

Geçiş koşulu

Tür ve geçiş tablosu Hedef partial durumunun politikası açıktır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Ortada ENOSPC veya EIO” 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/K2305: PASS.

Profil ve bağlar

256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. İlk hamle; mevcut K501–K600 sözleşmesi başlangıç bağlamıdır. Ayrıca faz 17 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.

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Hedef partial durumunun politikası açıktır.

Uygulanacak işlem

userspace/src/file_tools.rs hedefinde os_file_tools_copy 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

Hedef partial durumunun politikası açıktır

Kod hedefi — henüz öneri

userspace/src/file_tools.rs · os_file_tools_copy

Mevcut başlangıç referansı

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

Olumlu deney

513 bayt iki mount arası

Karşı-örnek / hata girdisi

Ortada ENOSPC veya EIO

Gerçek konuk kabulü

Kaynak hash korunur hedef hata görünür

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

userspace/tests/file_tools.rs
os_file_tools_copy_positive
os_file_tools_copy_negative
scripts/os-acceptance/file_tools.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. 513 bayt iki mount arası ile Ortada ENOSPC veya EIO ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Ortada ENOSPC veya EIO” 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/K2305: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Hedef partial durumunun politikası açıktır.

Uygulanacak işlem

os_file_tools_copy_positive testini oluştur: “513 bayt iki mount arası”. 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

Hedef partial durumunun politikası açıktır

Kod hedefi — henüz öneri

userspace/src/file_tools.rs · os_file_tools_copy

Mevcut başlangıç referansı

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

Olumlu deney

513 bayt iki mount arası

Karşı-örnek / hata girdisi

Ortada ENOSPC veya EIO

Gerçek konuk kabulü

Kaynak hash korunur hedef hata görünür

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

userspace/tests/file_tools.rs
os_file_tools_copy_positive
os_file_tools_copy_negative
scripts/os-acceptance/file_tools.mjs

Geçiş koşulu

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

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

“Ortada ENOSPC veya EIO” 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/K2305: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Hedef partial durumunun politikası açıktır.

Uygulanacak işlem

os_file_tools_copy_negative testini oluştur: “Ortada ENOSPC veya EIO”. 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

Hedef partial durumunun politikası açıktır

Kod hedefi — henüz öneri

userspace/src/file_tools.rs · os_file_tools_copy

Mevcut başlangıç referansı

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

Olumlu deney

513 bayt iki mount arası

Karşı-örnek / hata girdisi

Ortada ENOSPC veya EIO

Gerçek konuk kabulü

Kaynak hash korunur hedef hata görünür

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

userspace/tests/file_tools.rs
os_file_tools_copy_positive
os_file_tools_copy_negative
scripts/os-acceptance/file_tools.mjs

Geçiş koşulu

Ortada ENOSPC veya EIO 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üş

“Ortada ENOSPC veya EIO” 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/K2305: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Hedef partial durumunun politikası açıktır.

Uygulanacak işlem

Tek ürün Image'ında “Kaynak hash korunur hedef hata görünür” kabulünü koştur. scripts/os-acceptance/file_tools.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

Hedef partial durumunun politikası açıktır

Kod hedefi — henüz öneri

userspace/src/file_tools.rs · os_file_tools_copy

Mevcut başlangıç referansı

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

Olumlu deney

513 bayt iki mount arası

Karşı-örnek / hata girdisi

Ortada ENOSPC veya EIO

Gerçek konuk kabulü

Kaynak hash korunur hedef hata görünür

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

userspace/tests/file_tools.rs
os_file_tools_copy_positive
os_file_tools_copy_negative
scripts/os-acceptance/file_tools.mjs

Geçiş koşulu

Kaynak hash korunur hedef hata görünü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üş

“Ortada ENOSPC veya EIO” 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/K2305: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Farklı mount atomik rename sayılmaz.

Uygulanacak işlem

“Mv rename veya kopya ayrımı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Farklı mount atomik rename sayılmaz. “Aynı mount rename” kabulü ile “Farklı mountta kopya kesilir” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Farklı mount atomik rename sayılmaz

Kod hedefi — henüz öneri

userspace/src/file_tools.rs · os_file_tools_move

Mevcut başlangıç referansı

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

Olumlu deney

Aynı mount rename

Karşı-örnek / hata girdisi

Farklı mountta kopya kesilir

Gerçek konuk kabulü

Cross mount sınırı açık raporlanır

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

userspace/tests/file_tools.rs
os_file_tools_move_positive
os_file_tools_move_negative
scripts/os-acceptance/file_tools.mjs

Geçiş koşulu

Tür ve geçiş tablosu Farklı mount atomik rename sayılmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Farklı mountta kopya kesilir” 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/K2310: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Farklı mount atomik rename sayılmaz.

Uygulanacak işlem

userspace/src/file_tools.rs hedefinde os_file_tools_move 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

Farklı mount atomik rename sayılmaz

Kod hedefi — henüz öneri

userspace/src/file_tools.rs · os_file_tools_move

Mevcut başlangıç referansı

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

Olumlu deney

Aynı mount rename

Karşı-örnek / hata girdisi

Farklı mountta kopya kesilir

Gerçek konuk kabulü

Cross mount sınırı açık raporlanır

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

userspace/tests/file_tools.rs
os_file_tools_move_positive
os_file_tools_move_negative
scripts/os-acceptance/file_tools.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Aynı mount rename ile Farklı mountta kopya kesilir ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Farklı mountta kopya kesilir” 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/K2310: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Farklı mount atomik rename sayılmaz.

Uygulanacak işlem

os_file_tools_move_positive testini oluştur: “Aynı mount rename”. 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

Farklı mount atomik rename sayılmaz

Kod hedefi — henüz öneri

userspace/src/file_tools.rs · os_file_tools_move

Mevcut başlangıç referansı

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

Olumlu deney

Aynı mount rename

Karşı-örnek / hata girdisi

Farklı mountta kopya kesilir

Gerçek konuk kabulü

Cross mount sınırı açık raporlanır

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

userspace/tests/file_tools.rs
os_file_tools_move_positive
os_file_tools_move_negative
scripts/os-acceptance/file_tools.mjs

Geçiş koşulu

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

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

“Farklı mountta kopya kesilir” 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/K2310: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Farklı mount atomik rename sayılmaz.

Uygulanacak işlem

os_file_tools_move_negative testini oluştur: “Farklı mountta kopya kesilir”. 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

Farklı mount atomik rename sayılmaz

Kod hedefi — henüz öneri

userspace/src/file_tools.rs · os_file_tools_move

Mevcut başlangıç referansı

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

Olumlu deney

Aynı mount rename

Karşı-örnek / hata girdisi

Farklı mountta kopya kesilir

Gerçek konuk kabulü

Cross mount sınırı açık raporlanır

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

userspace/tests/file_tools.rs
os_file_tools_move_positive
os_file_tools_move_negative
scripts/os-acceptance/file_tools.mjs

Geçiş koşulu

Farklı mountta kopya kesilir 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üş

“Farklı mountta kopya kesilir” 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/K2310: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Farklı mount atomik rename sayılmaz.

Uygulanacak işlem

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

Farklı mount atomik rename sayılmaz

Kod hedefi — henüz öneri

userspace/src/file_tools.rs · os_file_tools_move

Mevcut başlangıç referansı

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

Olumlu deney

Aynı mount rename

Karşı-örnek / hata girdisi

Farklı mountta kopya kesilir

Gerçek konuk kabulü

Cross mount sınırı açık raporlanır

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

userspace/tests/file_tools.rs
os_file_tools_move_positive
os_file_tools_move_negative
scripts/os-acceptance/file_tools.mjs

Geçiş koşulu

Cross mount sınırı 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üş

“Farklı mountta kopya kesilir” 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/K2310: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Kök özel aygıt kullanıcı onaysız silinmez.

Uygulanacak işlem

“Rm yetki ve hedef doğrulama” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Kök özel aygıt kullanıcı onaysız silinmez. “Geçici dosya silme” kabulü ile “Root veya device yol isteği” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Kök özel aygıt kullanıcı onaysız silinmez

Kod hedefi — henüz öneri

userspace/src/file_tools.rs · os_file_tools_remove

Mevcut başlangıç referansı

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

Olumlu deney

Geçici dosya silme

Karşı-örnek / hata girdisi

Root veya device yol isteği

Gerçek konuk kabulü

Ret sonrası sistem dosyaları korunur

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

userspace/tests/file_tools.rs
os_file_tools_remove_positive
os_file_tools_remove_negative
scripts/os-acceptance/file_tools.mjs

Geçiş koşulu

Tür ve geçiş tablosu Kök özel aygıt kullanıcı onaysız silinmez kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Root veya device yol isteğ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/K2315: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Kök özel aygıt kullanıcı onaysız silinmez.

Uygulanacak işlem

userspace/src/file_tools.rs hedefinde os_file_tools_remove 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

Kök özel aygıt kullanıcı onaysız silinmez

Kod hedefi — henüz öneri

userspace/src/file_tools.rs · os_file_tools_remove

Mevcut başlangıç referansı

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

Olumlu deney

Geçici dosya silme

Karşı-örnek / hata girdisi

Root veya device yol isteği

Gerçek konuk kabulü

Ret sonrası sistem dosyaları korunur

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

userspace/tests/file_tools.rs
os_file_tools_remove_positive
os_file_tools_remove_negative
scripts/os-acceptance/file_tools.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Geçici dosya silme ile Root veya device yol isteği ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Root veya device yol isteğ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/K2315: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Kök özel aygıt kullanıcı onaysız silinmez.

Uygulanacak işlem

os_file_tools_remove_positive testini oluştur: “Geçici dosya silme”. 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

Kök özel aygıt kullanıcı onaysız silinmez

Kod hedefi — henüz öneri

userspace/src/file_tools.rs · os_file_tools_remove

Mevcut başlangıç referansı

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

Olumlu deney

Geçici dosya silme

Karşı-örnek / hata girdisi

Root veya device yol isteği

Gerçek konuk kabulü

Ret sonrası sistem dosyaları korunur

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

userspace/tests/file_tools.rs
os_file_tools_remove_positive
os_file_tools_remove_negative
scripts/os-acceptance/file_tools.mjs

Geçiş koşulu

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

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

“Root veya device yol isteğ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/K2315: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Kök özel aygıt kullanıcı onaysız silinmez.

Uygulanacak işlem

os_file_tools_remove_negative testini oluştur: “Root veya device yol isteğ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

Kök özel aygıt kullanıcı onaysız silinmez

Kod hedefi — henüz öneri

userspace/src/file_tools.rs · os_file_tools_remove

Mevcut başlangıç referansı

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

Olumlu deney

Geçici dosya silme

Karşı-örnek / hata girdisi

Root veya device yol isteği

Gerçek konuk kabulü

Ret sonrası sistem dosyaları korunur

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

userspace/tests/file_tools.rs
os_file_tools_remove_positive
os_file_tools_remove_negative
scripts/os-acceptance/file_tools.mjs

Geçiş koşulu

Root veya device yol isteğ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üş

“Root veya device yol isteğ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/K2315: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Kök özel aygıt kullanıcı onaysız silinmez.

Uygulanacak işlem

Tek ürün Image'ında “Ret sonrası sistem dosyaları korunur” kabulünü koştur. scripts/os-acceptance/file_tools.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

Kök özel aygıt kullanıcı onaysız silinmez

Kod hedefi — henüz öneri

userspace/src/file_tools.rs · os_file_tools_remove

Mevcut başlangıç referansı

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

Olumlu deney

Geçici dosya silme

Karşı-örnek / hata girdisi

Root veya device yol isteği

Gerçek konuk kabulü

Ret sonrası sistem dosyaları korunur

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

userspace/tests/file_tools.rs
os_file_tools_remove_positive
os_file_tools_remove_negative
scripts/os-acceptance/file_tools.mjs

Geçiş koşulu

Ret sonrası sistem dosyaları korunur; 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üş

“Root veya device yol isteğ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/K2315: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Dosya byteı ve hata ayrılır.

Uygulanacak işlem

“Dosya SHA256 aracı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Dosya byteı ve hata ayrılır. “Boş ve çok extent dosya” kabulü ile “Kısa I/O başarı sayılır” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Dosya byteı ve hata ayrılır

Kod hedefi — henüz öneri

userspace/src/file_tools.rs · os_file_tools_hash_tool

Mevcut başlangıç referansı

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

Olumlu deney

Boş ve çok extent dosya

Karşı-örnek / hata girdisi

Kısa I/O başarı sayılır

Gerçek konuk kabulü

Bağımsız dosya hash oracle ile eşit

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

userspace/tests/file_tools.rs
os_file_tools_hash_tool_positive
os_file_tools_hash_tool_negative
scripts/os-acceptance/file_tools.mjs

Geçiş koşulu

Tür ve geçiş tablosu Dosya byteı ve hata ayrılı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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Dosya byteı ve hata ayrılır.

Uygulanacak işlem

userspace/src/file_tools.rs hedefinde os_file_tools_hash_tool 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

Dosya byteı ve hata ayrılır

Kod hedefi — henüz öneri

userspace/src/file_tools.rs · os_file_tools_hash_tool

Mevcut başlangıç referansı

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

Olumlu deney

Boş ve çok extent dosya

Karşı-örnek / hata girdisi

Kısa I/O başarı sayılır

Gerçek konuk kabulü

Bağımsız dosya hash oracle ile eşit

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

userspace/tests/file_tools.rs
os_file_tools_hash_tool_positive
os_file_tools_hash_tool_negative
scripts/os-acceptance/file_tools.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Boş ve çok extent dosya ile Kısa I/O başarı sayılır ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Dosya byteı ve hata ayrılır.

Uygulanacak işlem

os_file_tools_hash_tool_positive testini oluştur: “Boş ve çok extent 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

Dosya byteı ve hata ayrılır

Kod hedefi — henüz öneri

userspace/src/file_tools.rs · os_file_tools_hash_tool

Mevcut başlangıç referansı

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

Olumlu deney

Boş ve çok extent dosya

Karşı-örnek / hata girdisi

Kısa I/O başarı sayılır

Gerçek konuk kabulü

Bağımsız dosya hash oracle ile eşit

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

userspace/tests/file_tools.rs
os_file_tools_hash_tool_positive
os_file_tools_hash_tool_negative
scripts/os-acceptance/file_tools.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Dosya byteı ve hata ayrılır.

Uygulanacak işlem

os_file_tools_hash_tool_negative testini oluştur: “Kısa I/O başarı sayılır”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.

Değişmez / korunan bağlam

Dosya byteı ve hata ayrılır

Kod hedefi — henüz öneri

userspace/src/file_tools.rs · os_file_tools_hash_tool

Mevcut başlangıç referansı

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

Olumlu deney

Boş ve çok extent dosya

Karşı-örnek / hata girdisi

Kısa I/O başarı sayılır

Gerçek konuk kabulü

Bağımsız dosya hash oracle ile eşit

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

userspace/tests/file_tools.rs
os_file_tools_hash_tool_positive
os_file_tools_hash_tool_negative
scripts/os-acceptance/file_tools.mjs

Geçiş koşulu

Kısa I/O başarı sayılır karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Dosya byteı ve hata ayrılır.

Uygulanacak işlem

Tek ürün Image'ında “Bağımsız dosya hash oracle ile eşit” kabulünü koştur. scripts/os-acceptance/file_tools.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

Dosya byteı ve hata ayrılır

Kod hedefi — henüz öneri

userspace/src/file_tools.rs · os_file_tools_hash_tool

Mevcut başlangıç referansı

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

Olumlu deney

Boş ve çok extent dosya

Karşı-örnek / hata girdisi

Kısa I/O başarı sayılır

Gerçek konuk kabulü

Bağımsız dosya hash oracle ile eşit

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

userspace/tests/file_tools.rs
os_file_tools_hash_tool_positive
os_file_tools_hash_tool_negative
scripts/os-acceptance/file_tools.mjs

Geçiş koşulu

Bağımsız dosya hash oracle ile eşit; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Cursor byte değil geçerli metin sınırında durur.

Uygulanacak işlem

“Editör UTF8 metin buffer” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Cursor byte değil geçerli metin sınırında durur. “Türkçe ekle sil hareket” kabulü ile “Çok baytın ortasında sil” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Cursor byte değil geçerli metin sınırında durur

Kod hedefi — henüz öneri

userspace/src/editor.rs · os_editor_buffer

Mevcut başlangıç referansı

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

Olumlu deney

Türkçe ekle sil hareket

Karşı-örnek / hata girdisi

Çok baytın ortasında sil

Gerçek konuk kabulü

Metin geçerli UTF8 kalır

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

userspace/tests/editor.rs
os_editor_buffer_positive
os_editor_buffer_negative
scripts/os-acceptance/editor.mjs

Geçiş koşulu

Tür ve geçiş tablosu Cursor byte değil geçerli metin sınırında durur kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Çok baytın ortasında sil” 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/K2325: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Cursor byte değil geçerli metin sınırında durur.

Uygulanacak işlem

userspace/src/editor.rs hedefinde os_editor_buffer yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/serial_console.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

Cursor byte değil geçerli metin sınırında durur

Kod hedefi — henüz öneri

userspace/src/editor.rs · os_editor_buffer

Mevcut başlangıç referansı

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

Olumlu deney

Türkçe ekle sil hareket

Karşı-örnek / hata girdisi

Çok baytın ortasında sil

Gerçek konuk kabulü

Metin geçerli UTF8 kalır

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

userspace/tests/editor.rs
os_editor_buffer_positive
os_editor_buffer_negative
scripts/os-acceptance/editor.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Türkçe ekle sil hareket ile Çok baytın ortasında sil ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Çok baytın ortasında sil” 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/K2325: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Cursor byte değil geçerli metin sınırında durur.

Uygulanacak işlem

os_editor_buffer_positive testini oluştur: “Türkçe ekle sil hareket”. 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

Cursor byte değil geçerli metin sınırında durur

Kod hedefi — henüz öneri

userspace/src/editor.rs · os_editor_buffer

Mevcut başlangıç referansı

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

Olumlu deney

Türkçe ekle sil hareket

Karşı-örnek / hata girdisi

Çok baytın ortasında sil

Gerçek konuk kabulü

Metin geçerli UTF8 kalır

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

userspace/tests/editor.rs
os_editor_buffer_positive
os_editor_buffer_negative
scripts/os-acceptance/editor.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Türkçe ekle sil hareket girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Çok baytın ortasında sil” 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/K2325: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Cursor byte değil geçerli metin sınırında durur.

Uygulanacak işlem

os_editor_buffer_negative testini oluştur: “Çok baytın ortasında sil”. 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

Cursor byte değil geçerli metin sınırında durur

Kod hedefi — henüz öneri

userspace/src/editor.rs · os_editor_buffer

Mevcut başlangıç referansı

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

Olumlu deney

Türkçe ekle sil hareket

Karşı-örnek / hata girdisi

Çok baytın ortasında sil

Gerçek konuk kabulü

Metin geçerli UTF8 kalır

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

userspace/tests/editor.rs
os_editor_buffer_positive
os_editor_buffer_negative
scripts/os-acceptance/editor.mjs

Geçiş koşulu

Çok baytın ortasında sil 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üş

“Çok baytın ortasında sil” 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/K2325: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Cursor byte değil geçerli metin sınırında durur.

Uygulanacak işlem

Tek ürün Image'ında “Metin geçerli UTF8 kalır” kabulünü koştur. scripts/os-acceptance/editor.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

Cursor byte değil geçerli metin sınırında durur

Kod hedefi — henüz öneri

userspace/src/editor.rs · os_editor_buffer

Mevcut başlangıç referansı

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

Olumlu deney

Türkçe ekle sil hareket

Karşı-örnek / hata girdisi

Çok baytın ortasında sil

Gerçek konuk kabulü

Metin geçerli UTF8 kalır

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

userspace/tests/editor.rs
os_editor_buffer_positive
os_editor_buffer_negative
scripts/os-acceptance/editor.mjs

Geçiş koşulu

Metin geçerli UTF8 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üş

“Çok baytın ortasında sil” 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/K2325: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Save kaynak dosyayı partial ezmez.

Uygulanacak işlem

“RO yükleme geçici kaydetme” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Save kaynak dosyayı partial ezmez. “Geçici dosyaya tam yazı” kabulü ile “Son flush EIO” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Save kaynak dosyayı partial ezmez

Kod hedefi — henüz öneri

userspace/src/editor.rs · os_editor_load_save

Mevcut başlangıç referansı

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

Olumlu deney

Geçici dosyaya tam yazı

Karşı-örnek / hata girdisi

Son flush EIO

Gerçek konuk kabulü

Eski dosya veya açık unsaved durum

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

userspace/tests/editor.rs
os_editor_load_save_positive
os_editor_load_save_negative
scripts/os-acceptance/editor.mjs

Geçiş koşulu

Tür ve geçiş tablosu Save kaynak dosyayı partial ezmez 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 flush EIO” 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/K2330: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Save kaynak dosyayı partial ezmez.

Uygulanacak işlem

userspace/src/editor.rs hedefinde os_editor_load_save yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/serial_console.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

Save kaynak dosyayı partial ezmez

Kod hedefi — henüz öneri

userspace/src/editor.rs · os_editor_load_save

Mevcut başlangıç referansı

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

Olumlu deney

Geçici dosyaya tam yazı

Karşı-örnek / hata girdisi

Son flush EIO

Gerçek konuk kabulü

Eski dosya veya açık unsaved durum

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

userspace/tests/editor.rs
os_editor_load_save_positive
os_editor_load_save_negative
scripts/os-acceptance/editor.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Geçici dosyaya tam yazı ile Son flush EIO ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Son flush EIO” 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/K2330: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Save kaynak dosyayı partial ezmez.

Uygulanacak işlem

os_editor_load_save_positive testini oluştur: “Geçici dosyaya tam yazı”. 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

Save kaynak dosyayı partial ezmez

Kod hedefi — henüz öneri

userspace/src/editor.rs · os_editor_load_save

Mevcut başlangıç referansı

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

Olumlu deney

Geçici dosyaya tam yazı

Karşı-örnek / hata girdisi

Son flush EIO

Gerçek konuk kabulü

Eski dosya veya açık unsaved durum

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

userspace/tests/editor.rs
os_editor_load_save_positive
os_editor_load_save_negative
scripts/os-acceptance/editor.mjs

Geçiş koşulu

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

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

“Son flush EIO” 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/K2330: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Save kaynak dosyayı partial ezmez.

Uygulanacak işlem

os_editor_load_save_negative testini oluştur: “Son flush EIO”. 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

Save kaynak dosyayı partial ezmez

Kod hedefi — henüz öneri

userspace/src/editor.rs · os_editor_load_save

Mevcut başlangıç referansı

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

Olumlu deney

Geçici dosyaya tam yazı

Karşı-örnek / hata girdisi

Son flush EIO

Gerçek konuk kabulü

Eski dosya veya açık unsaved durum

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

userspace/tests/editor.rs
os_editor_load_save_positive
os_editor_load_save_negative
scripts/os-acceptance/editor.mjs

Geçiş koşulu

Son flush EIO 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 flush EIO” 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/K2330: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Save kaynak dosyayı partial ezmez.

Uygulanacak işlem

Tek ürün Image'ında “Eski dosya veya açık unsaved durum” kabulünü koştur. scripts/os-acceptance/editor.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

Save kaynak dosyayı partial ezmez

Kod hedefi — henüz öneri

userspace/src/editor.rs · os_editor_load_save

Mevcut başlangıç referansı

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

Olumlu deney

Geçici dosyaya tam yazı

Karşı-örnek / hata girdisi

Son flush EIO

Gerçek konuk kabulü

Eski dosya veya açık unsaved durum

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

userspace/tests/editor.rs
os_editor_load_save_positive
os_editor_load_save_negative
scripts/os-acceptance/editor.mjs

Geçiş koşulu

Eski dosya veya açık unsaved durum; 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 flush EIO” 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/K2330: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Geçmiş quota dışında büyümez.

Uygulanacak işlem

“Bounded undo redo geçmişi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Geçmiş quota dışında büyümez. “On ekle sil geri al” kabulü ile “Bin büyük edit adımı” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Geçmiş quota dışında büyümez

Kod hedefi — henüz öneri

userspace/src/editor.rs · os_editor_undo

Mevcut başlangıç referansı

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

Olumlu deney

On ekle sil geri al

Karşı-örnek / hata girdisi

Bin büyük edit adımı

Gerçek konuk kabulü

Quota tanısı ve güncel metin korunur

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

userspace/tests/editor.rs
os_editor_undo_positive
os_editor_undo_negative
scripts/os-acceptance/editor.mjs

Geçiş koşulu

Tür ve geçiş tablosu Geçmiş quota dışında büyümez kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Bin büyük edit adımı” 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/K2335: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Geçmiş quota dışında büyümez.

Uygulanacak işlem

userspace/src/editor.rs hedefinde os_editor_undo yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/serial_console.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

Geçmiş quota dışında büyümez

Kod hedefi — henüz öneri

userspace/src/editor.rs · os_editor_undo

Mevcut başlangıç referansı

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

Olumlu deney

On ekle sil geri al

Karşı-örnek / hata girdisi

Bin büyük edit adımı

Gerçek konuk kabulü

Quota tanısı ve güncel metin korunur

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

userspace/tests/editor.rs
os_editor_undo_positive
os_editor_undo_negative
scripts/os-acceptance/editor.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. On ekle sil geri al ile Bin büyük edit adımı ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Bin büyük edit adımı” 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/K2335: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Geçmiş quota dışında büyümez.

Uygulanacak işlem

os_editor_undo_positive testini oluştur: “On ekle sil geri al”. 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

Geçmiş quota dışında büyümez

Kod hedefi — henüz öneri

userspace/src/editor.rs · os_editor_undo

Mevcut başlangıç referansı

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

Olumlu deney

On ekle sil geri al

Karşı-örnek / hata girdisi

Bin büyük edit adımı

Gerçek konuk kabulü

Quota tanısı ve güncel metin korunur

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

userspace/tests/editor.rs
os_editor_undo_positive
os_editor_undo_negative
scripts/os-acceptance/editor.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; On ekle sil geri al girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Bin büyük edit adımı” 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/K2335: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Geçmiş quota dışında büyümez.

Uygulanacak işlem

os_editor_undo_negative testini oluştur: “Bin büyük edit adımı”. 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

Geçmiş quota dışında büyümez

Kod hedefi — henüz öneri

userspace/src/editor.rs · os_editor_undo

Mevcut başlangıç referansı

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

Olumlu deney

On ekle sil geri al

Karşı-örnek / hata girdisi

Bin büyük edit adımı

Gerçek konuk kabulü

Quota tanısı ve güncel metin korunur

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

userspace/tests/editor.rs
os_editor_undo_positive
os_editor_undo_negative
scripts/os-acceptance/editor.mjs

Geçiş koşulu

Bin büyük edit adımı 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üş

“Bin büyük edit adımı” 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/K2335: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Geçmiş quota dışında büyümez.

Uygulanacak işlem

Tek ürün Image'ında “Quota tanısı ve güncel metin korunur” kabulünü koştur. scripts/os-acceptance/editor.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

Geçmiş quota dışında büyümez

Kod hedefi — henüz öneri

userspace/src/editor.rs · os_editor_undo

Mevcut başlangıç referansı

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

Olumlu deney

On ekle sil geri al

Karşı-örnek / hata girdisi

Bin büyük edit adımı

Gerçek konuk kabulü

Quota tanısı ve güncel metin korunur

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

userspace/tests/editor.rs
os_editor_undo_positive
os_editor_undo_negative
scripts/os-acceptance/editor.mjs

Geçiş koşulu

Quota tanısı ve güncel metin korunur; 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üş

“Bin büyük edit adımı” 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/K2335: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Focus ve çıkış handleları doğru kapanır.

Uygulanacak işlem

“Editör terminal UI oturumu” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Focus ve çıkış handleları doğru kapanır. “İki editör farklı dosyada” kabulü ile “Bir editör crash” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Focus ve çıkış handleları doğru kapanır

Kod hedefi — henüz öneri

userspace/src/editor.rs · os_editor_session

Mevcut başlangıç referansı

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

Olumlu deney

İki editör farklı dosyada

Karşı-örnek / hata girdisi

Bir editör crash

Gerçek konuk kabulü

Diğer editör ve shell ilerler

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

userspace/tests/editor.rs
os_editor_session_positive
os_editor_session_negative
scripts/os-acceptance/editor.mjs

Geçiş koşulu

Tür ve geçiş tablosu Focus ve çıkış handleları doğru kapanı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üş

“Bir editör crash” 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/K2340: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Focus ve çıkış handleları doğru kapanır.

Uygulanacak işlem

userspace/src/editor.rs hedefinde os_editor_session yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/serial_console.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

Focus ve çıkış handleları doğru kapanır

Kod hedefi — henüz öneri

userspace/src/editor.rs · os_editor_session

Mevcut başlangıç referansı

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

Olumlu deney

İki editör farklı dosyada

Karşı-örnek / hata girdisi

Bir editör crash

Gerçek konuk kabulü

Diğer editör ve shell ilerler

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

userspace/tests/editor.rs
os_editor_session_positive
os_editor_session_negative
scripts/os-acceptance/editor.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki editör farklı dosyada ile Bir editör crash ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Bir editör crash” 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/K2340: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Focus ve çıkış handleları doğru kapanır.

Uygulanacak işlem

os_editor_session_positive testini oluştur: “İki editör farklı dosyada”. 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

Focus ve çıkış handleları doğru kapanır

Kod hedefi — henüz öneri

userspace/src/editor.rs · os_editor_session

Mevcut başlangıç referansı

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

Olumlu deney

İki editör farklı dosyada

Karşı-örnek / hata girdisi

Bir editör crash

Gerçek konuk kabulü

Diğer editör ve shell ilerler

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

userspace/tests/editor.rs
os_editor_session_positive
os_editor_session_negative
scripts/os-acceptance/editor.mjs

Geçiş koşulu

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

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

“Bir editör crash” 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/K2340: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Focus ve çıkış handleları doğru kapanır.

Uygulanacak işlem

os_editor_session_negative testini oluştur: “Bir editör crash”. 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

Focus ve çıkış handleları doğru kapanır

Kod hedefi — henüz öneri

userspace/src/editor.rs · os_editor_session

Mevcut başlangıç referansı

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

Olumlu deney

İki editör farklı dosyada

Karşı-örnek / hata girdisi

Bir editör crash

Gerçek konuk kabulü

Diğer editör ve shell ilerler

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

userspace/tests/editor.rs
os_editor_session_positive
os_editor_session_negative
scripts/os-acceptance/editor.mjs

Geçiş koşulu

Bir editör crash 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üş

“Bir editör crash” 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/K2340: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Focus ve çıkış handleları doğru kapanır.

Uygulanacak işlem

Tek ürün Image'ında “Diğer editör ve shell ilerler” kabulünü koştur. scripts/os-acceptance/editor.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

Focus ve çıkış handleları doğru kapanır

Kod hedefi — henüz öneri

userspace/src/editor.rs · os_editor_session

Mevcut başlangıç referansı

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

Olumlu deney

İki editör farklı dosyada

Karşı-örnek / hata girdisi

Bir editör crash

Gerçek konuk kabulü

Diğer editör ve shell ilerler

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

userspace/tests/editor.rs
os_editor_session_positive
os_editor_session_negative
scripts/os-acceptance/editor.mjs

Geçiş koşulu

Diğer editör ve shell ilerler; 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üş

“Bir editör crash” 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/K2340: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Snapshot nesilleri tutarlı gösterir.

Uygulanacak işlem

“PID thread ve durum 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: Snapshot nesilleri tutarlı gösterir. “Üç görev churn listesi” kabulü ile “Liste ortasında reap reuse” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Snapshot nesilleri tutarlı gösterir

Kod hedefi — henüz öneri

userspace/src/system_monitor.rs · os_system_monitor_processes

Mevcut başlangıç referansı

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

Olumlu deney

Üç görev churn listesi

Karşı-örnek / hata girdisi

Liste ortasında reap reuse

Gerçek konuk kabulü

Monitor eski kaydı yeni PID sanmaz

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

userspace/tests/system_monitor.rs
os_system_monitor_processes_positive
os_system_monitor_processes_negative
scripts/os-acceptance/system_monitor.mjs

Geçiş koşulu

Tür ve geçiş tablosu Snapshot nesilleri tutarlı gösterir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Liste ortasında reap reuse” 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/K2345: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Snapshot nesilleri tutarlı gösterir.

Uygulanacak işlem

userspace/src/system_monitor.rs hedefinde os_system_monitor_processes yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/task.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

Snapshot nesilleri tutarlı gösterir

Kod hedefi — henüz öneri

userspace/src/system_monitor.rs · os_system_monitor_processes

Mevcut başlangıç referansı

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

Olumlu deney

Üç görev churn listesi

Karşı-örnek / hata girdisi

Liste ortasında reap reuse

Gerçek konuk kabulü

Monitor eski kaydı yeni PID sanmaz

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

userspace/tests/system_monitor.rs
os_system_monitor_processes_positive
os_system_monitor_processes_negative
scripts/os-acceptance/system_monitor.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Üç görev churn listesi ile Liste ortasında reap reuse ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Liste ortasında reap reuse” 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/K2345: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Snapshot nesilleri tutarlı gösterir.

Uygulanacak işlem

os_system_monitor_processes_positive testini oluştur: “Üç görev churn listesi”. 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

Snapshot nesilleri tutarlı gösterir

Kod hedefi — henüz öneri

userspace/src/system_monitor.rs · os_system_monitor_processes

Mevcut başlangıç referansı

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

Olumlu deney

Üç görev churn listesi

Karşı-örnek / hata girdisi

Liste ortasında reap reuse

Gerçek konuk kabulü

Monitor eski kaydı yeni PID sanmaz

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

userspace/tests/system_monitor.rs
os_system_monitor_processes_positive
os_system_monitor_processes_negative
scripts/os-acceptance/system_monitor.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Üç görev churn listesi girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Liste ortasında reap reuse” 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/K2345: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Snapshot nesilleri tutarlı gösterir.

Uygulanacak işlem

os_system_monitor_processes_negative testini oluştur: “Liste ortasında reap reuse”. 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

Snapshot nesilleri tutarlı gösterir

Kod hedefi — henüz öneri

userspace/src/system_monitor.rs · os_system_monitor_processes

Mevcut başlangıç referansı

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

Olumlu deney

Üç görev churn listesi

Karşı-örnek / hata girdisi

Liste ortasında reap reuse

Gerçek konuk kabulü

Monitor eski kaydı yeni PID sanmaz

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

userspace/tests/system_monitor.rs
os_system_monitor_processes_positive
os_system_monitor_processes_negative
scripts/os-acceptance/system_monitor.mjs

Geçiş koşulu

Liste ortasında reap reuse 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üş

“Liste ortasında reap reuse” 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/K2345: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Snapshot nesilleri tutarlı gösterir.

Uygulanacak işlem

Tek ürün Image'ında “Monitor eski kaydı yeni PID sanmaz” kabulünü koştur. scripts/os-acceptance/system_monitor.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

Snapshot nesilleri tutarlı gösterir

Kod hedefi — henüz öneri

userspace/src/system_monitor.rs · os_system_monitor_processes

Mevcut başlangıç referansı

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

Olumlu deney

Üç görev churn listesi

Karşı-örnek / hata girdisi

Liste ortasında reap reuse

Gerçek konuk kabulü

Monitor eski kaydı yeni PID sanmaz

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

userspace/tests/system_monitor.rs
os_system_monitor_processes_positive
os_system_monitor_processes_negative
scripts/os-acceptance/system_monitor.mjs

Geçiş koşulu

Monitor eski kaydı yeni PID sanmaz; 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üş

“Liste ortasında reap reuse” 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/K2345: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Boş owner pinned ayrı sütunlardır.

Uygulanacak işlem

“RAM heap DMA sayaçları” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Boş owner pinned ayrı sütunlardır. “Okuma ve DMA yükü” kabulü ile “Toplam sayıları çift sayma” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Boş owner pinned ayrı sütunlardır

Kod hedefi — henüz öneri

userspace/src/system_monitor.rs · os_system_monitor_memory

Mevcut başlangıç referansı

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

Olumlu deney

Okuma ve DMA yükü

Karşı-örnek / hata girdisi

Toplam sayıları çift sayma

Gerçek konuk kabulü

Muhasebe kernel oracle ile eşit

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

userspace/tests/system_monitor.rs
os_system_monitor_memory_positive
os_system_monitor_memory_negative
scripts/os-acceptance/system_monitor.mjs

Geçiş koşulu

Tür ve geçiş tablosu Boş owner pinned ayrı sütunlardı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üş

“Toplam sayıları çift sayma” 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/K2350: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Boş owner pinned ayrı sütunlardır.

Uygulanacak işlem

userspace/src/system_monitor.rs hedefinde os_system_monitor_memory yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/task.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

Boş owner pinned ayrı sütunlardır

Kod hedefi — henüz öneri

userspace/src/system_monitor.rs · os_system_monitor_memory

Mevcut başlangıç referansı

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

Olumlu deney

Okuma ve DMA yükü

Karşı-örnek / hata girdisi

Toplam sayıları çift sayma

Gerçek konuk kabulü

Muhasebe kernel oracle ile eşit

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

userspace/tests/system_monitor.rs
os_system_monitor_memory_positive
os_system_monitor_memory_negative
scripts/os-acceptance/system_monitor.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Okuma ve DMA yükü ile Toplam sayıları çift sayma ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Toplam sayıları çift sayma” 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/K2350: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Boş owner pinned ayrı sütunlardır.

Uygulanacak işlem

os_system_monitor_memory_positive testini oluştur: “Okuma ve DMA yükü”. 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

Boş owner pinned ayrı sütunlardır

Kod hedefi — henüz öneri

userspace/src/system_monitor.rs · os_system_monitor_memory

Mevcut başlangıç referansı

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

Olumlu deney

Okuma ve DMA yükü

Karşı-örnek / hata girdisi

Toplam sayıları çift sayma

Gerçek konuk kabulü

Muhasebe kernel oracle ile eşit

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

userspace/tests/system_monitor.rs
os_system_monitor_memory_positive
os_system_monitor_memory_negative
scripts/os-acceptance/system_monitor.mjs

Geçiş koşulu

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

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

“Toplam sayıları çift sayma” 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/K2350: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Boş owner pinned ayrı sütunlardır.

Uygulanacak işlem

os_system_monitor_memory_negative testini oluştur: “Toplam sayıları çift sayma”. 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

Boş owner pinned ayrı sütunlardır

Kod hedefi — henüz öneri

userspace/src/system_monitor.rs · os_system_monitor_memory

Mevcut başlangıç referansı

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

Olumlu deney

Okuma ve DMA yükü

Karşı-örnek / hata girdisi

Toplam sayıları çift sayma

Gerçek konuk kabulü

Muhasebe kernel oracle ile eşit

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

userspace/tests/system_monitor.rs
os_system_monitor_memory_positive
os_system_monitor_memory_negative
scripts/os-acceptance/system_monitor.mjs

Geçiş koşulu

Toplam sayıları çift sayma 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üş

“Toplam sayıları çift sayma” 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/K2350: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Boş owner pinned ayrı sütunlardır.

Uygulanacak işlem

Tek ürün Image'ında “Muhasebe kernel oracle ile eşit” kabulünü koştur. scripts/os-acceptance/system_monitor.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

Boş owner pinned ayrı sütunlardır

Kod hedefi — henüz öneri

userspace/src/system_monitor.rs · os_system_monitor_memory

Mevcut başlangıç referansı

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

Olumlu deney

Okuma ve DMA yükü

Karşı-örnek / hata girdisi

Toplam sayıları çift sayma

Gerçek konuk kabulü

Muhasebe kernel oracle ile eşit

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

userspace/tests/system_monitor.rs
os_system_monitor_memory_positive
os_system_monitor_memory_negative
scripts/os-acceptance/system_monitor.mjs

Geçiş koşulu

Muhasebe kernel oracle ile eşit; 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üş

“Toplam sayıları çift sayma” 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/K2350: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Örnek aralığı ve idle payı açıklanır.

Uygulanacak işlem

“CPU süre ve scheduler yükü” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Örnek aralığı ve idle payı açıklanır. “İki CPU üç yük” kabulü ile “Negatif veya wrap zaman farkı” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Örnek aralığı ve idle payı açıklanır

Kod hedefi — henüz öneri

userspace/src/system_monitor.rs · os_system_monitor_cpu

Mevcut başlangıç referansı

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

Olumlu deney

İki CPU üç yük

Karşı-örnek / hata girdisi

Negatif veya wrap zaman farkı

Gerçek konuk kabulü

Geçersiz örnek başarı diye gösterilmez

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

userspace/tests/system_monitor.rs
os_system_monitor_cpu_positive
os_system_monitor_cpu_negative
scripts/os-acceptance/system_monitor.mjs

Geçiş koşulu

Tür ve geçiş tablosu Örnek aralığı ve idle payı açıklanı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üş

“Negatif veya wrap zaman farkı” 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/K2355: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Örnek aralığı ve idle payı açıklanır.

Uygulanacak işlem

userspace/src/system_monitor.rs hedefinde os_system_monitor_cpu yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/task.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

Örnek aralığı ve idle payı açıklanır

Kod hedefi — henüz öneri

userspace/src/system_monitor.rs · os_system_monitor_cpu

Mevcut başlangıç referansı

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

Olumlu deney

İki CPU üç yük

Karşı-örnek / hata girdisi

Negatif veya wrap zaman farkı

Gerçek konuk kabulü

Geçersiz örnek başarı diye gösterilmez

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

userspace/tests/system_monitor.rs
os_system_monitor_cpu_positive
os_system_monitor_cpu_negative
scripts/os-acceptance/system_monitor.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki CPU üç yük ile Negatif veya wrap zaman farkı ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Negatif veya wrap zaman farkı” 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/K2355: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Örnek aralığı ve idle payı açıklanır.

Uygulanacak işlem

os_system_monitor_cpu_positive testini oluştur: “İki CPU üç yük”. 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

Örnek aralığı ve idle payı açıklanır

Kod hedefi — henüz öneri

userspace/src/system_monitor.rs · os_system_monitor_cpu

Mevcut başlangıç referansı

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

Olumlu deney

İki CPU üç yük

Karşı-örnek / hata girdisi

Negatif veya wrap zaman farkı

Gerçek konuk kabulü

Geçersiz örnek başarı diye gösterilmez

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

userspace/tests/system_monitor.rs
os_system_monitor_cpu_positive
os_system_monitor_cpu_negative
scripts/os-acceptance/system_monitor.mjs

Geçiş koşulu

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

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

“Negatif veya wrap zaman farkı” 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/K2355: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Örnek aralığı ve idle payı açıklanır.

Uygulanacak işlem

os_system_monitor_cpu_negative testini oluştur: “Negatif veya wrap zaman farkı”. 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

Örnek aralığı ve idle payı açıklanır

Kod hedefi — henüz öneri

userspace/src/system_monitor.rs · os_system_monitor_cpu

Mevcut başlangıç referansı

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

Olumlu deney

İki CPU üç yük

Karşı-örnek / hata girdisi

Negatif veya wrap zaman farkı

Gerçek konuk kabulü

Geçersiz örnek başarı diye gösterilmez

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

userspace/tests/system_monitor.rs
os_system_monitor_cpu_positive
os_system_monitor_cpu_negative
scripts/os-acceptance/system_monitor.mjs

Geçiş koşulu

Negatif veya wrap zaman farkı 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 wrap zaman farkı” 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/K2355: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Örnek aralığı ve idle payı açıklanır.

Uygulanacak işlem

Tek ürün Image'ında “Geçersiz örnek başarı diye gösterilmez” kabulünü koştur. scripts/os-acceptance/system_monitor.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

Örnek aralığı ve idle payı açıklanır

Kod hedefi — henüz öneri

userspace/src/system_monitor.rs · os_system_monitor_cpu

Mevcut başlangıç referansı

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

Olumlu deney

İki CPU üç yük

Karşı-örnek / hata girdisi

Negatif veya wrap zaman farkı

Gerçek konuk kabulü

Geçersiz örnek başarı diye gösterilmez

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

userspace/tests/system_monitor.rs
os_system_monitor_cpu_positive
os_system_monitor_cpu_negative
scripts/os-acceptance/system_monitor.mjs

Geçiş koşulu

Geçersiz örnek başarı diye gösterilmez; 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 wrap zaman farkı” 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/K2355: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Monitor sırlı alanları okuyamaz.

Uygulanacak işlem

“Yetkili tanı log 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: Monitor sırlı alanları okuyamaz. “İzinli hizmet olayları” kabulü ile “Secret buffer log isteği” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Monitor sırlı alanları okuyamaz

Kod hedefi — henüz öneri

userspace/src/system_monitor.rs · os_system_monitor_logs

Mevcut başlangıç referansı

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

Olumlu deney

İzinli hizmet olayları

Karşı-örnek / hata girdisi

Secret buffer log isteği

Gerçek konuk kabulü

Redaction ve principal süzmesi çalışır

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

userspace/tests/system_monitor.rs
os_system_monitor_logs_positive
os_system_monitor_logs_negative
scripts/os-acceptance/system_monitor.mjs

Geçiş koşulu

Tür ve geçiş tablosu Monitor sırlı alanları okuyamaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Secret buffer log isteğ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/K2360: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Monitor sırlı alanları okuyamaz.

Uygulanacak işlem

userspace/src/system_monitor.rs hedefinde os_system_monitor_logs yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/task.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

Monitor sırlı alanları okuyamaz

Kod hedefi — henüz öneri

userspace/src/system_monitor.rs · os_system_monitor_logs

Mevcut başlangıç referansı

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

Olumlu deney

İzinli hizmet olayları

Karşı-örnek / hata girdisi

Secret buffer log isteği

Gerçek konuk kabulü

Redaction ve principal süzmesi çalışır

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

userspace/tests/system_monitor.rs
os_system_monitor_logs_positive
os_system_monitor_logs_negative
scripts/os-acceptance/system_monitor.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İzinli hizmet olayları ile Secret buffer log isteği ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Secret buffer log isteğ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/K2360: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Monitor sırlı alanları okuyamaz.

Uygulanacak işlem

os_system_monitor_logs_positive testini oluştur: “İzinli hizmet olayları”. 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

Monitor sırlı alanları okuyamaz

Kod hedefi — henüz öneri

userspace/src/system_monitor.rs · os_system_monitor_logs

Mevcut başlangıç referansı

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

Olumlu deney

İzinli hizmet olayları

Karşı-örnek / hata girdisi

Secret buffer log isteği

Gerçek konuk kabulü

Redaction ve principal süzmesi çalışır

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

userspace/tests/system_monitor.rs
os_system_monitor_logs_positive
os_system_monitor_logs_negative
scripts/os-acceptance/system_monitor.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; İzinli hizmet olayları girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Secret buffer log isteğ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/K2360: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Monitor sırlı alanları okuyamaz.

Uygulanacak işlem

os_system_monitor_logs_negative testini oluştur: “Secret buffer log isteğ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

Monitor sırlı alanları okuyamaz

Kod hedefi — henüz öneri

userspace/src/system_monitor.rs · os_system_monitor_logs

Mevcut başlangıç referansı

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

Olumlu deney

İzinli hizmet olayları

Karşı-örnek / hata girdisi

Secret buffer log isteği

Gerçek konuk kabulü

Redaction ve principal süzmesi çalışır

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

userspace/tests/system_monitor.rs
os_system_monitor_logs_positive
os_system_monitor_logs_negative
scripts/os-acceptance/system_monitor.mjs

Geçiş koşulu

Secret buffer log isteğ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üş

“Secret buffer log isteğ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/K2360: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Monitor sırlı alanları okuyamaz.

Uygulanacak işlem

Tek ürün Image'ında “Redaction ve principal süzmesi çalışır” kabulünü koştur. scripts/os-acceptance/system_monitor.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

Monitor sırlı alanları okuyamaz

Kod hedefi — henüz öneri

userspace/src/system_monitor.rs · os_system_monitor_logs

Mevcut başlangıç referansı

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

Olumlu deney

İzinli hizmet olayları

Karşı-örnek / hata girdisi

Secret buffer log isteği

Gerçek konuk kabulü

Redaction ve principal süzmesi çalışır

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

userspace/tests/system_monitor.rs
os_system_monitor_logs_positive
os_system_monitor_logs_negative
scripts/os-acceptance/system_monitor.mjs

Geçiş koşulu

Redaction ve principal süzmesi ç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üş

“Secret buffer log isteğ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/K2360: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Hedef ve paket sayısı açık bütçelidir.

Uygulanacak işlem

“Sınırlı ICMP test aracı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Hedef ve paket sayısı açık bütçelidir. “İzole peer üç ping” kabulü ile “Sınırsız flood isteği” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Hedef ve paket sayısı açık bütçelidir

Kod hedefi — henüz öneri

userspace/src/network_tools.rs · os_network_tools_ping

Mevcut başlangıç referansı

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

Olumlu deney

İzole peer üç ping

Karşı-örnek / hata girdisi

Sınırsız flood isteği

Gerçek konuk kabulü

Ret veya bounded tanı

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

userspace/tests/network_tools.rs
os_network_tools_ping_positive
os_network_tools_ping_negative
scripts/os-acceptance/network_tools.mjs

Geçiş koşulu

Tür ve geçiş tablosu Hedef ve paket sayısı açık bütçelidir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Sınırsız flood isteğ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/K2365: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Hedef ve paket sayısı açık bütçelidir.

Uygulanacak işlem

userspace/src/network_tools.rs hedefinde os_network_tools_ping yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/net_icmp.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

Hedef ve paket sayısı açık bütçelidir

Kod hedefi — henüz öneri

userspace/src/network_tools.rs · os_network_tools_ping

Mevcut başlangıç referansı

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

Olumlu deney

İzole peer üç ping

Karşı-örnek / hata girdisi

Sınırsız flood isteği

Gerçek konuk kabulü

Ret veya bounded tanı

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

userspace/tests/network_tools.rs
os_network_tools_ping_positive
os_network_tools_ping_negative
scripts/os-acceptance/network_tools.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İzole peer üç ping ile Sınırsız flood isteği ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Sınırsız flood isteğ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/K2365: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Hedef ve paket sayısı açık bütçelidir.

Uygulanacak işlem

os_network_tools_ping_positive testini oluştur: “İzole peer üç ping”. 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

Hedef ve paket sayısı açık bütçelidir

Kod hedefi — henüz öneri

userspace/src/network_tools.rs · os_network_tools_ping

Mevcut başlangıç referansı

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

Olumlu deney

İzole peer üç ping

Karşı-örnek / hata girdisi

Sınırsız flood isteği

Gerçek konuk kabulü

Ret veya bounded tanı

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

userspace/tests/network_tools.rs
os_network_tools_ping_positive
os_network_tools_ping_negative
scripts/os-acceptance/network_tools.mjs

Geçiş koşulu

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

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

“Sınırsız flood isteğ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/K2365: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Hedef ve paket sayısı açık bütçelidir.

Uygulanacak işlem

os_network_tools_ping_negative testini oluştur: “Sınırsız flood isteğ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

Hedef ve paket sayısı açık bütçelidir

Kod hedefi — henüz öneri

userspace/src/network_tools.rs · os_network_tools_ping

Mevcut başlangıç referansı

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

Olumlu deney

İzole peer üç ping

Karşı-örnek / hata girdisi

Sınırsız flood isteği

Gerçek konuk kabulü

Ret veya bounded tanı

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

userspace/tests/network_tools.rs
os_network_tools_ping_positive
os_network_tools_ping_negative
scripts/os-acceptance/network_tools.mjs

Geçiş koşulu

Sınırsız flood isteğ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üş

“Sınırsız flood isteğ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/K2365: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Hedef ve paket sayısı açık bütçelidir.

Uygulanacak işlem

Tek ürün Image'ında “Ret veya bounded tanı” kabulünü koştur. scripts/os-acceptance/network_tools.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

Hedef ve paket sayısı açık bütçelidir

Kod hedefi — henüz öneri

userspace/src/network_tools.rs · os_network_tools_ping

Mevcut başlangıç referansı

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

Olumlu deney

İzole peer üç ping

Karşı-örnek / hata girdisi

Sınırsız flood isteği

Gerçek konuk kabulü

Ret veya bounded tanı

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

userspace/tests/network_tools.rs
os_network_tools_ping_positive
os_network_tools_ping_negative
scripts/os-acceptance/network_tools.mjs

Geçiş koşulu

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

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

“Sınırsız flood isteğ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/K2365: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Datagram boy ve tuple kaydedilir.

Uygulanacak işlem

“UDP gönder al aracı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Datagram boy ve tuple kaydedilir. “Peerle üç byte payload” kabulü ile “Yanlış port veya truncated reply” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Datagram boy ve tuple kaydedilir

Kod hedefi — henüz öneri

userspace/src/network_tools.rs · os_network_tools_udp_tool

Mevcut başlangıç referansı

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

Olumlu deney

Peerle üç byte payload

Karşı-örnek / hata girdisi

Yanlış port veya truncated reply

Gerçek konuk kabulü

Beklenen hash ve hata kodu

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

userspace/tests/network_tools.rs
os_network_tools_udp_tool_positive
os_network_tools_udp_tool_negative
scripts/os-acceptance/network_tools.mjs

Geçiş koşulu

Tür ve geçiş tablosu Datagram boy ve tuple kaydedilir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Yanlış port veya truncated reply” 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/K2370: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Datagram boy ve tuple kaydedilir.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Datagram boy ve tuple kaydedilir

Kod hedefi — henüz öneri

userspace/src/network_tools.rs · os_network_tools_udp_tool

Mevcut başlangıç referansı

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

Olumlu deney

Peerle üç byte payload

Karşı-örnek / hata girdisi

Yanlış port veya truncated reply

Gerçek konuk kabulü

Beklenen hash ve hata kodu

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

userspace/tests/network_tools.rs
os_network_tools_udp_tool_positive
os_network_tools_udp_tool_negative
scripts/os-acceptance/network_tools.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Peerle üç byte payload ile Yanlış port veya truncated reply ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Yanlış port veya truncated reply” 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/K2370: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Datagram boy ve tuple kaydedilir.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Datagram boy ve tuple kaydedilir

Kod hedefi — henüz öneri

userspace/src/network_tools.rs · os_network_tools_udp_tool

Mevcut başlangıç referansı

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

Olumlu deney

Peerle üç byte payload

Karşı-örnek / hata girdisi

Yanlış port veya truncated reply

Gerçek konuk kabulü

Beklenen hash ve hata kodu

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

userspace/tests/network_tools.rs
os_network_tools_udp_tool_positive
os_network_tools_udp_tool_negative
scripts/os-acceptance/network_tools.mjs

Geçiş koşulu

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

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

“Yanlış port veya truncated reply” 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/K2370: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Datagram boy ve tuple kaydedilir.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Datagram boy ve tuple kaydedilir

Kod hedefi — henüz öneri

userspace/src/network_tools.rs · os_network_tools_udp_tool

Mevcut başlangıç referansı

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

Olumlu deney

Peerle üç byte payload

Karşı-örnek / hata girdisi

Yanlış port veya truncated reply

Gerçek konuk kabulü

Beklenen hash ve hata kodu

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

userspace/tests/network_tools.rs
os_network_tools_udp_tool_positive
os_network_tools_udp_tool_negative
scripts/os-acceptance/network_tools.mjs

Geçiş koşulu

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

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

“Yanlış port veya truncated reply” 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/K2370: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Datagram boy ve tuple kaydedilir.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Datagram boy ve tuple kaydedilir

Kod hedefi — henüz öneri

userspace/src/network_tools.rs · os_network_tools_udp_tool

Mevcut başlangıç referansı

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

Olumlu deney

Peerle üç byte payload

Karşı-örnek / hata girdisi

Yanlış port veya truncated reply

Gerçek konuk kabulü

Beklenen hash ve hata kodu

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

userspace/tests/network_tools.rs
os_network_tools_udp_tool_positive
os_network_tools_udp_tool_negative
scripts/os-acceptance/network_tools.mjs

Geçiş koşulu

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

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

“Yanlış port veya truncated reply” 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/K2370: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: EOF kısa read write ayrı işlenir.

Uygulanacak işlem

“Küçük TCP akış aracı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: EOF kısa read write ayrı işlenir. “İki segment metin akışı” kabulü ile “Peer ortada reset” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

EOF kısa read write ayrı işlenir

Kod hedefi — henüz öneri

userspace/src/network_tools.rs · os_network_tools_tcp_tool

Mevcut başlangıç referansı

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

Olumlu deney

İki segment metin akışı

Karşı-örnek / hata girdisi

Peer ortada reset

Gerçek konuk kabulü

Açık ECONNRESET kabuğu bozmaz

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

userspace/tests/network_tools.rs
os_network_tools_tcp_tool_positive
os_network_tools_tcp_tool_negative
scripts/os-acceptance/network_tools.mjs

Geçiş koşulu

Tür ve geçiş tablosu EOF kısa read write ayrı işlenir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Peer ortada reset” 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/K2375: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: EOF kısa read write ayrı işlenir.

Uygulanacak işlem

userspace/src/network_tools.rs hedefinde os_network_tools_tcp_tool yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/net_icmp.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

EOF kısa read write ayrı işlenir

Kod hedefi — henüz öneri

userspace/src/network_tools.rs · os_network_tools_tcp_tool

Mevcut başlangıç referansı

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

Olumlu deney

İki segment metin akışı

Karşı-örnek / hata girdisi

Peer ortada reset

Gerçek konuk kabulü

Açık ECONNRESET kabuğu bozmaz

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

userspace/tests/network_tools.rs
os_network_tools_tcp_tool_positive
os_network_tools_tcp_tool_negative
scripts/os-acceptance/network_tools.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki segment metin akışı ile Peer ortada reset ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Peer ortada reset” 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/K2375: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: EOF kısa read write ayrı işlenir.

Uygulanacak işlem

os_network_tools_tcp_tool_positive testini oluştur: “İki segment metin akışı”. 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

EOF kısa read write ayrı işlenir

Kod hedefi — henüz öneri

userspace/src/network_tools.rs · os_network_tools_tcp_tool

Mevcut başlangıç referansı

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

Olumlu deney

İki segment metin akışı

Karşı-örnek / hata girdisi

Peer ortada reset

Gerçek konuk kabulü

Açık ECONNRESET kabuğu bozmaz

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

userspace/tests/network_tools.rs
os_network_tools_tcp_tool_positive
os_network_tools_tcp_tool_negative
scripts/os-acceptance/network_tools.mjs

Geçiş koşulu

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

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

“Peer ortada reset” 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/K2375: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: EOF kısa read write ayrı işlenir.

Uygulanacak işlem

os_network_tools_tcp_tool_negative testini oluştur: “Peer ortada reset”. 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

EOF kısa read write ayrı işlenir

Kod hedefi — henüz öneri

userspace/src/network_tools.rs · os_network_tools_tcp_tool

Mevcut başlangıç referansı

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

Olumlu deney

İki segment metin akışı

Karşı-örnek / hata girdisi

Peer ortada reset

Gerçek konuk kabulü

Açık ECONNRESET kabuğu bozmaz

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

userspace/tests/network_tools.rs
os_network_tools_tcp_tool_positive
os_network_tools_tcp_tool_negative
scripts/os-acceptance/network_tools.mjs

Geçiş koşulu

Peer ortada reset 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üş

“Peer ortada reset” 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/K2375: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: EOF kısa read write ayrı işlenir.

Uygulanacak işlem

Tek ürün Image'ında “Açık ECONNRESET kabuğu bozmaz” kabulünü koştur. scripts/os-acceptance/network_tools.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

EOF kısa read write ayrı işlenir

Kod hedefi — henüz öneri

userspace/src/network_tools.rs · os_network_tools_tcp_tool

Mevcut başlangıç referansı

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

Olumlu deney

İki segment metin akışı

Karşı-örnek / hata girdisi

Peer ortada reset

Gerçek konuk kabulü

Açık ECONNRESET kabuğu bozmaz

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

userspace/tests/network_tools.rs
os_network_tools_tcp_tool_positive
os_network_tools_tcp_tool_negative
scripts/os-acceptance/network_tools.mjs

Geçiş koşulu

Açık ECONNRESET kabuğu bozmaz; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

“Peer ortada reset” 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/K2375: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Yetkisiz session ayrıntısı açıklanmaz.

Uygulanacak işlem

“Route ARP socket 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: Yetkisiz session ayrıntısı açıklanmaz. “Kendi socket ve route listesi” kabulü ile “Başka principal sessionı” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Yetkisiz session ayrıntısı açıklanmaz

Kod hedefi — henüz öneri

userspace/src/network_tools.rs · os_network_tools_diagnostic

Mevcut başlangıç referansı

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

Olumlu deney

Kendi socket ve route listesi

Karşı-örnek / hata girdisi

Başka principal sessionı

Gerçek konuk kabulü

Yalnız izinli metadata gösterilir

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

userspace/tests/network_tools.rs
os_network_tools_diagnostic_positive
os_network_tools_diagnostic_negative
scripts/os-acceptance/network_tools.mjs

Geçiş koşulu

Tür ve geçiş tablosu Yetkisiz session ayrıntısı açıklanmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Başka principal sessionı” 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/K2380: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Yetkisiz session ayrıntısı açıklanmaz.

Uygulanacak işlem

userspace/src/network_tools.rs hedefinde os_network_tools_diagnostic yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/net_icmp.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

Yetkisiz session ayrıntısı açıklanmaz

Kod hedefi — henüz öneri

userspace/src/network_tools.rs · os_network_tools_diagnostic

Mevcut başlangıç referansı

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

Olumlu deney

Kendi socket ve route listesi

Karşı-örnek / hata girdisi

Başka principal sessionı

Gerçek konuk kabulü

Yalnız izinli metadata gösterilir

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

userspace/tests/network_tools.rs
os_network_tools_diagnostic_positive
os_network_tools_diagnostic_negative
scripts/os-acceptance/network_tools.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Kendi socket ve route listesi ile Başka principal sessionı ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Başka principal sessionı” 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/K2380: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Yetkisiz session ayrıntısı açıklanmaz.

Uygulanacak işlem

os_network_tools_diagnostic_positive testini oluştur: “Kendi socket ve route listesi”. 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

Yetkisiz session ayrıntısı açıklanmaz

Kod hedefi — henüz öneri

userspace/src/network_tools.rs · os_network_tools_diagnostic

Mevcut başlangıç referansı

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

Olumlu deney

Kendi socket ve route listesi

Karşı-örnek / hata girdisi

Başka principal sessionı

Gerçek konuk kabulü

Yalnız izinli metadata gösterilir

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

userspace/tests/network_tools.rs
os_network_tools_diagnostic_positive
os_network_tools_diagnostic_negative
scripts/os-acceptance/network_tools.mjs

Geçiş koşulu

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

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

“Başka principal sessionı” 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/K2380: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Yetkisiz session ayrıntısı açıklanmaz.

Uygulanacak işlem

os_network_tools_diagnostic_negative testini oluştur: “Başka principal sessionı”. 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

Yetkisiz session ayrıntısı açıklanmaz

Kod hedefi — henüz öneri

userspace/src/network_tools.rs · os_network_tools_diagnostic

Mevcut başlangıç referansı

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

Olumlu deney

Kendi socket ve route listesi

Karşı-örnek / hata girdisi

Başka principal sessionı

Gerçek konuk kabulü

Yalnız izinli metadata gösterilir

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

userspace/tests/network_tools.rs
os_network_tools_diagnostic_positive
os_network_tools_diagnostic_negative
scripts/os-acceptance/network_tools.mjs

Geçiş koşulu

Başka principal sessionı 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üş

“Başka principal sessionı” 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/K2380: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Yetkisiz session ayrıntısı açıklanmaz.

Uygulanacak işlem

Tek ürün Image'ında “Yalnız izinli metadata gösterilir” kabulünü koştur. scripts/os-acceptance/network_tools.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

Yetkisiz session ayrıntısı açıklanmaz

Kod hedefi — henüz öneri

userspace/src/network_tools.rs · os_network_tools_diagnostic

Mevcut başlangıç referansı

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

Olumlu deney

Kendi socket ve route listesi

Karşı-örnek / hata girdisi

Başka principal sessionı

Gerçek konuk kabulü

Yalnız izinli metadata gösterilir

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

userspace/tests/network_tools.rs
os_network_tools_diagnostic_positive
os_network_tools_diagnostic_negative
scripts/os-acceptance/network_tools.mjs

Geçiş koşulu

Yalnız izinli metadata gösterilir; 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üş

“Başka principal sessionı” 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/K2380: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Şema ve bilinmeyen zorunlu alan ayrılır.

Uygulanacak işlem

“Sürümlü servis yapılandırması” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Şema ve bilinmeyen zorunlu alan ayrılır. “Console ve shell config” kabulü ile “Döngü veya aşırı uzunluk” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Şema ve bilinmeyen zorunlu alan ayrılır

Kod hedefi — henüz öneri

userspace/src/configuration.rs · os_configuration_schema

Mevcut başlangıç referansı

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

Olumlu deney

Console ve shell config

Karşı-örnek / hata girdisi

Döngü veya aşırı uzunluk

Gerçek konuk kabulü

Eski güvenli config korunur

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

userspace/tests/configuration.rs
os_configuration_schema_positive
os_configuration_schema_negative
scripts/os-acceptance/configuration.mjs

Geçiş koşulu

Tür ve geçiş tablosu Şema ve bilinmeyen zorunlu alan ayrılı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üş

“Döngü veya aşırı uzunluk” 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/K2385: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Şema ve bilinmeyen zorunlu alan ayrılır.

Uygulanacak işlem

userspace/src/configuration.rs hedefinde os_configuration_schema yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/program_hash.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

Şema ve bilinmeyen zorunlu alan ayrılır

Kod hedefi — henüz öneri

userspace/src/configuration.rs · os_configuration_schema

Mevcut başlangıç referansı

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

Olumlu deney

Console ve shell config

Karşı-örnek / hata girdisi

Döngü veya aşırı uzunluk

Gerçek konuk kabulü

Eski güvenli config korunur

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

userspace/tests/configuration.rs
os_configuration_schema_positive
os_configuration_schema_negative
scripts/os-acceptance/configuration.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Console ve shell config ile Döngü veya aşırı uzunluk ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Döngü veya aşırı uzunluk” 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/K2385: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Şema ve bilinmeyen zorunlu alan ayrılır.

Uygulanacak işlem

os_configuration_schema_positive testini oluştur: “Console ve shell config”. 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

Şema ve bilinmeyen zorunlu alan ayrılır

Kod hedefi — henüz öneri

userspace/src/configuration.rs · os_configuration_schema

Mevcut başlangıç referansı

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

Olumlu deney

Console ve shell config

Karşı-örnek / hata girdisi

Döngü veya aşırı uzunluk

Gerçek konuk kabulü

Eski güvenli config korunur

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

userspace/tests/configuration.rs
os_configuration_schema_positive
os_configuration_schema_negative
scripts/os-acceptance/configuration.mjs

Geçiş koşulu

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

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

“Döngü veya aşırı uzunluk” 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/K2385: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Şema ve bilinmeyen zorunlu alan ayrılır.

Uygulanacak işlem

os_configuration_schema_negative testini oluştur: “Döngü veya aşırı uzunluk”. 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

Şema ve bilinmeyen zorunlu alan ayrılır

Kod hedefi — henüz öneri

userspace/src/configuration.rs · os_configuration_schema

Mevcut başlangıç referansı

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

Olumlu deney

Console ve shell config

Karşı-örnek / hata girdisi

Döngü veya aşırı uzunluk

Gerçek konuk kabulü

Eski güvenli config korunur

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

userspace/tests/configuration.rs
os_configuration_schema_positive
os_configuration_schema_negative
scripts/os-acceptance/configuration.mjs

Geçiş koşulu

Döngü veya aşırı uzunluk 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üş

“Döngü veya aşırı uzunluk” 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/K2385: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Şema ve bilinmeyen zorunlu alan ayrılır.

Uygulanacak işlem

Tek ürün Image'ında “Eski güvenli config korunur” kabulünü koştur. scripts/os-acceptance/configuration.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

Şema ve bilinmeyen zorunlu alan ayrılır

Kod hedefi — henüz öneri

userspace/src/configuration.rs · os_configuration_schema

Mevcut başlangıç referansı

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

Olumlu deney

Console ve shell config

Karşı-örnek / hata girdisi

Döngü veya aşırı uzunluk

Gerçek konuk kabulü

Eski güvenli config korunur

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

userspace/tests/configuration.rs
os_configuration_schema_positive
os_configuration_schema_negative
scripts/os-acceptance/configuration.mjs

Geçiş koşulu

Eski güvenli config korunur; 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üş

“Döngü veya aşırı uzunluk” 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/K2385: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Ayar ya eski ya yeni geçerli kayıt olur.

Uygulanacak işlem

“Config atomik kalıcılık” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Ayar ya eski ya yeni geçerli kayıt olur. “Geçici diskte write rename” kabulü ile “Commit sırasında süreç ölümü” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Ayar ya eski ya yeni geçerli kayıt olur

Kod hedefi — henüz öneri

userspace/src/configuration.rs · os_configuration_persistence

Mevcut başlangıç referansı

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

Olumlu deney

Geçici diskte write rename

Karşı-örnek / hata girdisi

Commit sırasında süreç ölümü

Gerçek konuk kabulü

Yeni boot geçerli bir sürüm seçer

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

userspace/tests/configuration.rs
os_configuration_persistence_positive
os_configuration_persistence_negative
scripts/os-acceptance/configuration.mjs

Geçiş koşulu

Tür ve geçiş tablosu Ayar ya eski ya yeni geçerli kayıt 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üş

“Commit sırasında süreç ölümü” 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/K2390: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Ayar ya eski ya yeni geçerli kayıt olur.

Uygulanacak işlem

userspace/src/configuration.rs hedefinde os_configuration_persistence yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/program_hash.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

Ayar ya eski ya yeni geçerli kayıt olur

Kod hedefi — henüz öneri

userspace/src/configuration.rs · os_configuration_persistence

Mevcut başlangıç referansı

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

Olumlu deney

Geçici diskte write rename

Karşı-örnek / hata girdisi

Commit sırasında süreç ölümü

Gerçek konuk kabulü

Yeni boot geçerli bir sürüm seçer

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

userspace/tests/configuration.rs
os_configuration_persistence_positive
os_configuration_persistence_negative
scripts/os-acceptance/configuration.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Geçici diskte write rename ile Commit sırasında süreç ölümü ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Commit sırasında süreç ölümü” 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/K2390: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Ayar ya eski ya yeni geçerli kayıt olur.

Uygulanacak işlem

os_configuration_persistence_positive testini oluştur: “Geçici diskte write rename”. 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

Ayar ya eski ya yeni geçerli kayıt olur

Kod hedefi — henüz öneri

userspace/src/configuration.rs · os_configuration_persistence

Mevcut başlangıç referansı

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

Olumlu deney

Geçici diskte write rename

Karşı-örnek / hata girdisi

Commit sırasında süreç ölümü

Gerçek konuk kabulü

Yeni boot geçerli bir sürüm seçer

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

userspace/tests/configuration.rs
os_configuration_persistence_positive
os_configuration_persistence_negative
scripts/os-acceptance/configuration.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Geçici diskte write rename girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Commit sırasında süreç ölümü” 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/K2390: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Ayar ya eski ya yeni geçerli kayıt olur.

Uygulanacak işlem

os_configuration_persistence_negative testini oluştur: “Commit sırasında süreç ölümü”. 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

Ayar ya eski ya yeni geçerli kayıt olur

Kod hedefi — henüz öneri

userspace/src/configuration.rs · os_configuration_persistence

Mevcut başlangıç referansı

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

Olumlu deney

Geçici diskte write rename

Karşı-örnek / hata girdisi

Commit sırasında süreç ölümü

Gerçek konuk kabulü

Yeni boot geçerli bir sürüm seçer

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

userspace/tests/configuration.rs
os_configuration_persistence_positive
os_configuration_persistence_negative
scripts/os-acceptance/configuration.mjs

Geçiş koşulu

Commit sırasında süreç ölümü 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üş

“Commit sırasında süreç ölümü” 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/K2390: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Ayar ya eski ya yeni geçerli kayıt olur.

Uygulanacak işlem

Tek ürün Image'ında “Yeni boot geçerli bir sürüm seçer” kabulünü koştur. scripts/os-acceptance/configuration.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

Ayar ya eski ya yeni geçerli kayıt olur

Kod hedefi — henüz öneri

userspace/src/configuration.rs · os_configuration_persistence

Mevcut başlangıç referansı

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

Olumlu deney

Geçici diskte write rename

Karşı-örnek / hata girdisi

Commit sırasında süreç ölümü

Gerçek konuk kabulü

Yeni boot geçerli bir sürüm seçer

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

userspace/tests/configuration.rs
os_configuration_persistence_positive
os_configuration_persistence_negative
scripts/os-acceptance/configuration.mjs

Geçiş koşulu

Yeni boot geçerli bir sürüm seç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üş

“Commit sırasında süreç ölümü” 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/K2390: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Paket imaj ABI hak ve hash taşır.

Uygulanacak işlem

“Native uygulama paket indeksi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Paket imaj ABI hak ve hash taşır. “İki Rust native araç” kabulü ile “Hash yanlış veya ABI desteksiz” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Paket imaj ABI hak ve hash taşır

Kod hedefi — henüz öneri

userspace/src/configuration.rs · os_configuration_package

Mevcut başlangıç referansı

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

Olumlu deney

İki Rust native araç

Karşı-örnek / hata girdisi

Hash yanlış veya ABI desteksiz

Gerçek konuk kabulü

Paket kurulum adayı reddedilir

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

userspace/tests/configuration.rs
os_configuration_package_positive
os_configuration_package_negative
scripts/os-acceptance/configuration.mjs

Geçiş koşulu

Tür ve geçiş tablosu Paket imaj ABI hak ve hash taşır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Hash yanlış veya ABI desteksiz” 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/K2395: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Paket imaj ABI hak ve hash taşır.

Uygulanacak işlem

userspace/src/configuration.rs hedefinde os_configuration_package yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/program_hash.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

Paket imaj ABI hak ve hash taşır

Kod hedefi — henüz öneri

userspace/src/configuration.rs · os_configuration_package

Mevcut başlangıç referansı

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

Olumlu deney

İki Rust native araç

Karşı-örnek / hata girdisi

Hash yanlış veya ABI desteksiz

Gerçek konuk kabulü

Paket kurulum adayı reddedilir

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

userspace/tests/configuration.rs
os_configuration_package_positive
os_configuration_package_negative
scripts/os-acceptance/configuration.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki Rust native araç ile Hash yanlış veya ABI desteksiz ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Hash yanlış veya ABI desteksiz” 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/K2395: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Paket imaj ABI hak ve hash taşır.

Uygulanacak işlem

os_configuration_package_positive testini oluştur: “İki Rust native araç”. 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

Paket imaj ABI hak ve hash taşır

Kod hedefi — henüz öneri

userspace/src/configuration.rs · os_configuration_package

Mevcut başlangıç referansı

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

Olumlu deney

İki Rust native araç

Karşı-örnek / hata girdisi

Hash yanlış veya ABI desteksiz

Gerçek konuk kabulü

Paket kurulum adayı reddedilir

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

userspace/tests/configuration.rs
os_configuration_package_positive
os_configuration_package_negative
scripts/os-acceptance/configuration.mjs

Geçiş koşulu

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

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

“Hash yanlış veya ABI desteksiz” 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/K2395: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Paket imaj ABI hak ve hash taşır.

Uygulanacak işlem

os_configuration_package_negative testini oluştur: “Hash yanlış veya ABI desteksiz”. 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

Paket imaj ABI hak ve hash taşır

Kod hedefi — henüz öneri

userspace/src/configuration.rs · os_configuration_package

Mevcut başlangıç referansı

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

Olumlu deney

İki Rust native araç

Karşı-örnek / hata girdisi

Hash yanlış veya ABI desteksiz

Gerçek konuk kabulü

Paket kurulum adayı reddedilir

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

userspace/tests/configuration.rs
os_configuration_package_positive
os_configuration_package_negative
scripts/os-acceptance/configuration.mjs

Geçiş koşulu

Hash yanlış veya ABI desteksiz 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üş

“Hash yanlış veya ABI desteksiz” 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/K2395: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Paket imaj ABI hak ve hash taşır.

Uygulanacak işlem

Tek ürün Image'ında “Paket kurulum adayı reddedilir” kabulünü koştur. scripts/os-acceptance/configuration.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

Paket imaj ABI hak ve hash taşır

Kod hedefi — henüz öneri

userspace/src/configuration.rs · os_configuration_package

Mevcut başlangıç referansı

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

Olumlu deney

İki Rust native araç

Karşı-örnek / hata girdisi

Hash yanlış veya ABI desteksiz

Gerçek konuk kabulü

Paket kurulum adayı reddedilir

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

userspace/tests/configuration.rs
os_configuration_package_positive
os_configuration_package_negative
scripts/os-acceptance/configuration.mjs

Geçiş koşulu

Paket kurulum adayı reddedilir; 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üş

“Hash yanlış veya ABI desteksiz” 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/K2395: PASS.

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Çalışan imaj backing korunur.

Uygulanacak işlem

“Uygulama kaldırma ömrü” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Çalışan imaj backing korunur. “Açık uygulamanın paketi kaldırılır” kabulü ile “Canlı executable hemen free” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Çalışan imaj backing korunur

Kod hedefi — henüz öneri

userspace/src/configuration.rs · os_configuration_uninstall

Mevcut başlangıç referansı

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

Olumlu deney

Açık uygulamanın paketi kaldırılır

Karşı-örnek / hata girdisi

Canlı executable hemen free

Gerçek konuk kabulü

Uygulama çıkar sonra tek kaynak iadesi

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

userspace/tests/configuration.rs
os_configuration_uninstall_positive
os_configuration_uninstall_negative
scripts/os-acceptance/configuration.mjs

Geçiş koşulu

Tür ve geçiş tablosu Çalışan imaj backing 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ı executable hemen free” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

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

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Çalışan imaj backing korunur.

Uygulanacak işlem

userspace/src/configuration.rs hedefinde os_configuration_uninstall yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/program_hash.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

Çalışan imaj backing korunur

Kod hedefi — henüz öneri

userspace/src/configuration.rs · os_configuration_uninstall

Mevcut başlangıç referansı

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

Olumlu deney

Açık uygulamanın paketi kaldırılır

Karşı-örnek / hata girdisi

Canlı executable hemen free

Gerçek konuk kabulü

Uygulama çıkar sonra tek kaynak iadesi

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

userspace/tests/configuration.rs
os_configuration_uninstall_positive
os_configuration_uninstall_negative
scripts/os-acceptance/configuration.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Açık uygulamanın paketi kaldırılır ile Canlı executable hemen free ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Çalışan imaj backing korunur.

Uygulanacak işlem

os_configuration_uninstall_positive testini oluştur: “Açık uygulamanın paketi kaldırılı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

Çalışan imaj backing korunur

Kod hedefi — henüz öneri

userspace/src/configuration.rs · os_configuration_uninstall

Mevcut başlangıç referansı

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

Olumlu deney

Açık uygulamanın paketi kaldırılır

Karşı-örnek / hata girdisi

Canlı executable hemen free

Gerçek konuk kabulü

Uygulama çıkar sonra tek kaynak iadesi

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

userspace/tests/configuration.rs
os_configuration_uninstall_positive
os_configuration_uninstall_negative
scripts/os-acceptance/configuration.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Açık uygulamanın paketi kaldırılır girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Çalışan imaj backing korunur.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Çalışan imaj backing korunur

Kod hedefi — henüz öneri

userspace/src/configuration.rs · os_configuration_uninstall

Mevcut başlangıç referansı

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

Olumlu deney

Açık uygulamanın paketi kaldırılır

Karşı-örnek / hata girdisi

Canlı executable hemen free

Gerçek konuk kabulü

Uygulama çıkar sonra tek kaynak iadesi

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

userspace/tests/configuration.rs
os_configuration_uninstall_positive
os_configuration_uninstall_negative
scripts/os-acceptance/configuration.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir. Bu hamlenin koruduğu değişmez: Çalışan imaj backing korunur.

Uygulanacak işlem

Tek ürün Image'ında “Uygulama çıkar sonra tek kaynak iadesi” kabulünü koştur. scripts/os-acceptance/configuration.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

Çalışan imaj backing korunur

Kod hedefi — henüz öneri

userspace/src/configuration.rs · os_configuration_uninstall

Mevcut başlangıç referansı

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

Olumlu deney

Açık uygulamanın paketi kaldırılır

Karşı-örnek / hata girdisi

Canlı executable hemen free

Gerçek konuk kabulü

Uygulama çıkar sonra tek kaynak iadesi

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

userspace/tests/configuration.rs
os_configuration_uninstall_positive
os_configuration_uninstall_negative
scripts/os-acceptance/configuration.mjs

Geçiş koşulu

Uygulama çıkar sonra tek 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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