Rust kullanıcı alanı INIT ve kabuk

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: CRT argc argv ve SP ABIye uyar.

Uygulanacak işlem

“Rust kullanıcı giriş noktası” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: CRT argc argv ve SP ABIye uyar. “İki argümanlı static program” kabulü ile “Hizasız başlangıç SP” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

CRT argc argv ve SP ABIye uyar

Kod hedefi — henüz öneri

userspace/src/user_runtime.rs · os_user_runtime_start

Mevcut başlangıç referansı

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

Olumlu deney

İki argümanlı static program

Karşı-örnek / hata girdisi

Hizasız başlangıç SP

Gerçek konuk kabulü

Rust main argv değerlerini doğrular

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

userspace/tests/user_runtime.rs
os_user_runtime_start_positive
os_user_runtime_start_negative
scripts/os-acceptance/user_runtime.mjs

Geçiş koşulu

Tür ve geçiş tablosu CRT argc argv ve SP ABIye uyar kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: CRT argc argv ve SP ABIye uyar.

Uygulanacak işlem

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

CRT argc argv ve SP ABIye uyar

Kod hedefi — henüz öneri

userspace/src/user_runtime.rs · os_user_runtime_start

Mevcut başlangıç referansı

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

Olumlu deney

İki argümanlı static program

Karşı-örnek / hata girdisi

Hizasız başlangıç SP

Gerçek konuk kabulü

Rust main argv değerlerini doğrular

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

userspace/tests/user_runtime.rs
os_user_runtime_start_positive
os_user_runtime_start_negative
scripts/os-acceptance/user_runtime.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki argümanlı static program ile Hizasız başlangıç SP ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: CRT argc argv ve SP ABIye uyar.

Uygulanacak işlem

os_user_runtime_start_positive testini oluştur: “İki argümanlı static program”. 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

CRT argc argv ve SP ABIye uyar

Kod hedefi — henüz öneri

userspace/src/user_runtime.rs · os_user_runtime_start

Mevcut başlangıç referansı

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

Olumlu deney

İki argümanlı static program

Karşı-örnek / hata girdisi

Hizasız başlangıç SP

Gerçek konuk kabulü

Rust main argv değerlerini doğrular

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

userspace/tests/user_runtime.rs
os_user_runtime_start_positive
os_user_runtime_start_negative
scripts/os-acceptance/user_runtime.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; İki argümanlı static program girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: CRT argc argv ve SP ABIye uyar.

Uygulanacak işlem

os_user_runtime_start_negative testini oluştur: “Hizasız başlangıç SP”. 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

CRT argc argv ve SP ABIye uyar

Kod hedefi — henüz öneri

userspace/src/user_runtime.rs · os_user_runtime_start

Mevcut başlangıç referansı

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

Olumlu deney

İki argümanlı static program

Karşı-örnek / hata girdisi

Hizasız başlangıç SP

Gerçek konuk kabulü

Rust main argv değerlerini doğrular

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

userspace/tests/user_runtime.rs
os_user_runtime_start_positive
os_user_runtime_start_negative
scripts/os-acceptance/user_runtime.mjs

Geçiş koşulu

Hizasız başlangıç SP 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: CRT argc argv ve SP ABIye uyar.

Uygulanacak işlem

Tek ürün Image'ında “Rust main argv değerlerini doğrular” kabulünü koştur. scripts/os-acceptance/user_runtime.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

CRT argc argv ve SP ABIye uyar

Kod hedefi — henüz öneri

userspace/src/user_runtime.rs · os_user_runtime_start

Mevcut başlangıç referansı

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

Olumlu deney

İki argümanlı static program

Karşı-örnek / hata girdisi

Hizasız başlangıç SP

Gerçek konuk kabulü

Rust main argv değerlerini doğrular

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

userspace/tests/user_runtime.rs
os_user_runtime_start_positive
os_user_runtime_start_negative
scripts/os-acceptance/user_runtime.mjs

Geçiş koşulu

Rust main argv değerlerini doğrular; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Kullanıcı panik kerneli park etmez.

Uygulanacak işlem

“EL0 panik sonlanması” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Kullanıcı panik kerneli park etmez. “Bir program kasıtlı panic” kabulü ile “Panik sonsuz syscall döngüsü” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Kullanıcı panik kerneli park etmez

Kod hedefi — henüz öneri

userspace/src/user_runtime.rs · os_user_runtime_panic

Mevcut başlangıç referansı

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

Olumlu deney

Bir program kasıtlı panic

Karşı-örnek / hata girdisi

Panik sonsuz syscall döngüsü

Gerçek konuk kabulü

Hatalı program çıkar kabuk yaşar

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

userspace/tests/user_runtime.rs
os_user_runtime_panic_positive
os_user_runtime_panic_negative
scripts/os-acceptance/user_runtime.mjs

Geçiş koşulu

Tür ve geçiş tablosu Kullanıcı panik kerneli park etmez kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Kullanıcı panik kerneli park etmez.

Uygulanacak işlem

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

Kullanıcı panik kerneli park etmez

Kod hedefi — henüz öneri

userspace/src/user_runtime.rs · os_user_runtime_panic

Mevcut başlangıç referansı

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

Olumlu deney

Bir program kasıtlı panic

Karşı-örnek / hata girdisi

Panik sonsuz syscall döngüsü

Gerçek konuk kabulü

Hatalı program çıkar kabuk yaşar

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

userspace/tests/user_runtime.rs
os_user_runtime_panic_positive
os_user_runtime_panic_negative
scripts/os-acceptance/user_runtime.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Bir program kasıtlı panic ile Panik sonsuz syscall döngüsü ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Kullanıcı panik kerneli park etmez.

Uygulanacak işlem

os_user_runtime_panic_positive testini oluştur: “Bir program kasıtlı panic”. 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

Kullanıcı panik kerneli park etmez

Kod hedefi — henüz öneri

userspace/src/user_runtime.rs · os_user_runtime_panic

Mevcut başlangıç referansı

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

Olumlu deney

Bir program kasıtlı panic

Karşı-örnek / hata girdisi

Panik sonsuz syscall döngüsü

Gerçek konuk kabulü

Hatalı program çıkar kabuk yaşar

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

userspace/tests/user_runtime.rs
os_user_runtime_panic_positive
os_user_runtime_panic_negative
scripts/os-acceptance/user_runtime.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Bir program kasıtlı panic girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Kullanıcı panik kerneli park etmez.

Uygulanacak işlem

os_user_runtime_panic_negative testini oluştur: “Panik sonsuz syscall döngüsü”. 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

Kullanıcı panik kerneli park etmez

Kod hedefi — henüz öneri

userspace/src/user_runtime.rs · os_user_runtime_panic

Mevcut başlangıç referansı

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

Olumlu deney

Bir program kasıtlı panic

Karşı-örnek / hata girdisi

Panik sonsuz syscall döngüsü

Gerçek konuk kabulü

Hatalı program çıkar kabuk yaşar

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

userspace/tests/user_runtime.rs
os_user_runtime_panic_positive
os_user_runtime_panic_negative
scripts/os-acceptance/user_runtime.mjs

Geçiş koşulu

Panik sonsuz syscall döngüsü 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Kullanıcı panik kerneli park etmez.

Uygulanacak işlem

Tek ürün Image'ında “Hatalı program çıkar kabuk yaşar” kabulünü koştur. scripts/os-acceptance/user_runtime.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

Kullanıcı panik kerneli park etmez

Kod hedefi — henüz öneri

userspace/src/user_runtime.rs · os_user_runtime_panic

Mevcut başlangıç referansı

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

Olumlu deney

Bir program kasıtlı panic

Karşı-örnek / hata girdisi

Panik sonsuz syscall döngüsü

Gerçek konuk kabulü

Hatalı program çıkar kabuk yaşar

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

userspace/tests/user_runtime.rs
os_user_runtime_panic_positive
os_user_runtime_panic_negative
scripts/os-acceptance/user_runtime.mjs

Geçiş koşulu

Hatalı program çıkar kabuk yaşar; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Allocator yalnız kendi heapini kullanır.

Uygulanacak işlem

“Kullanıcı allocator köprüsü” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Allocator yalnız kendi heapini kullanır. “Vec benzeri üç tampon” kabulü ile “Süreç quota dolu” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Allocator yalnız kendi heapini kullanır

Kod hedefi — henüz öneri

userspace/src/user_runtime.rs · os_user_runtime_alloc

Mevcut başlangıç referansı

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

Olumlu deney

Vec benzeri üç tampon

Karşı-örnek / hata girdisi

Süreç quota dolu

Gerçek konuk kabulü

ENOMEM diğer programı bozmaz

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

userspace/tests/user_runtime.rs
os_user_runtime_alloc_positive
os_user_runtime_alloc_negative
scripts/os-acceptance/user_runtime.mjs

Geçiş koşulu

Tür ve geçiş tablosu Allocator yalnız kendi heapini kullanır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Allocator yalnız kendi heapini kullanır.

Uygulanacak işlem

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

Allocator yalnız kendi heapini kullanır

Kod hedefi — henüz öneri

userspace/src/user_runtime.rs · os_user_runtime_alloc

Mevcut başlangıç referansı

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

Olumlu deney

Vec benzeri üç tampon

Karşı-örnek / hata girdisi

Süreç quota dolu

Gerçek konuk kabulü

ENOMEM diğer programı bozmaz

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

userspace/tests/user_runtime.rs
os_user_runtime_alloc_positive
os_user_runtime_alloc_negative
scripts/os-acceptance/user_runtime.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Vec benzeri üç tampon ile Süreç quota dolu ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Allocator yalnız kendi heapini kullanır.

Uygulanacak işlem

os_user_runtime_alloc_positive testini oluştur: “Vec benzeri üç tampon”. 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

Allocator yalnız kendi heapini kullanır

Kod hedefi — henüz öneri

userspace/src/user_runtime.rs · os_user_runtime_alloc

Mevcut başlangıç referansı

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

Olumlu deney

Vec benzeri üç tampon

Karşı-örnek / hata girdisi

Süreç quota dolu

Gerçek konuk kabulü

ENOMEM diğer programı bozmaz

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

userspace/tests/user_runtime.rs
os_user_runtime_alloc_positive
os_user_runtime_alloc_negative
scripts/os-acceptance/user_runtime.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Allocator yalnız kendi heapini kullanır.

Uygulanacak işlem

os_user_runtime_alloc_negative testini oluştur: “Süreç quota dolu”. 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

Allocator yalnız kendi heapini kullanır

Kod hedefi — henüz öneri

userspace/src/user_runtime.rs · os_user_runtime_alloc

Mevcut başlangıç referansı

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

Olumlu deney

Vec benzeri üç tampon

Karşı-örnek / hata girdisi

Süreç quota dolu

Gerçek konuk kabulü

ENOMEM diğer programı bozmaz

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

userspace/tests/user_runtime.rs
os_user_runtime_alloc_positive
os_user_runtime_alloc_negative
scripts/os-acceptance/user_runtime.mjs

Geçiş koşulu

Süreç quota dolu 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üreç quota dolu” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Allocator yalnız kendi heapini kullanır.

Uygulanacak işlem

Tek ürün Image'ında “ENOMEM diğer programı bozmaz” kabulünü koştur. scripts/os-acceptance/user_runtime.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

Allocator yalnız kendi heapini kullanır

Kod hedefi — henüz öneri

userspace/src/user_runtime.rs · os_user_runtime_alloc

Mevcut başlangıç referansı

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

Olumlu deney

Vec benzeri üç tampon

Karşı-örnek / hata girdisi

Süreç quota dolu

Gerçek konuk kabulü

ENOMEM diğer programı bozmaz

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

userspace/tests/user_runtime.rs
os_user_runtime_alloc_positive
os_user_runtime_alloc_negative
scripts/os-acceptance/user_runtime.mjs

Geçiş koşulu

ENOMEM diğer programı 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Native static ELF hedefi açık tutulur.

Uygulanacak işlem

“Rust program derleme profili” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Native static ELF hedefi açık tutulur. “AArch64 no_std program” kabulü ile “macOS MachO program” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Native static ELF hedefi açık tutulur

Kod hedefi — henüz öneri

userspace/src/user_runtime.rs · os_user_runtime_build

Mevcut başlangıç referansı

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

Olumlu deney

AArch64 no_std program

Karşı-örnek / hata girdisi

macOS MachO program

Gerçek konuk kabulü

Yanlış format exec öncesi reddedilir

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

userspace/tests/user_runtime.rs
os_user_runtime_build_positive
os_user_runtime_build_negative
scripts/os-acceptance/user_runtime.mjs

Geçiş koşulu

Tür ve geçiş tablosu Native static ELF hedefi açık tutulur kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Native static ELF hedefi açık tutulur.

Uygulanacak işlem

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

Native static ELF hedefi açık tutulur

Kod hedefi — henüz öneri

userspace/src/user_runtime.rs · os_user_runtime_build

Mevcut başlangıç referansı

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

Olumlu deney

AArch64 no_std program

Karşı-örnek / hata girdisi

macOS MachO program

Gerçek konuk kabulü

Yanlış format exec öncesi reddedilir

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

userspace/tests/user_runtime.rs
os_user_runtime_build_positive
os_user_runtime_build_negative
scripts/os-acceptance/user_runtime.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. AArch64 no_std program ile macOS MachO program ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Native static ELF hedefi açık tutulur.

Uygulanacak işlem

os_user_runtime_build_positive testini oluştur: “AArch64 no_std program”. 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

Native static ELF hedefi açık tutulur

Kod hedefi — henüz öneri

userspace/src/user_runtime.rs · os_user_runtime_build

Mevcut başlangıç referansı

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

Olumlu deney

AArch64 no_std program

Karşı-örnek / hata girdisi

macOS MachO program

Gerçek konuk kabulü

Yanlış format exec öncesi reddedilir

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

userspace/tests/user_runtime.rs
os_user_runtime_build_positive
os_user_runtime_build_negative
scripts/os-acceptance/user_runtime.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Native static ELF hedefi açık tutulur.

Uygulanacak işlem

os_user_runtime_build_negative testini oluştur: “macOS MachO program”. 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

Native static ELF hedefi açık tutulur

Kod hedefi — henüz öneri

userspace/src/user_runtime.rs · os_user_runtime_build

Mevcut başlangıç referansı

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

Olumlu deney

AArch64 no_std program

Karşı-örnek / hata girdisi

macOS MachO program

Gerçek konuk kabulü

Yanlış format exec öncesi reddedilir

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

userspace/tests/user_runtime.rs
os_user_runtime_build_positive
os_user_runtime_build_negative
scripts/os-acceptance/user_runtime.mjs

Geçiş koşulu

macOS MachO program 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Native static ELF hedefi açık tutulur.

Uygulanacak işlem

Tek ürün Image'ında “Yanlış format exec öncesi reddedilir” kabulünü koştur. scripts/os-acceptance/user_runtime.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

Native static ELF hedefi açık tutulur

Kod hedefi — henüz öneri

userspace/src/user_runtime.rs · os_user_runtime_build

Mevcut başlangıç referansı

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

Olumlu deney

AArch64 no_std program

Karşı-örnek / hata girdisi

macOS MachO program

Gerçek konuk kabulü

Yanlış format exec öncesi reddedilir

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

userspace/tests/user_runtime.rs
os_user_runtime_build_positive
os_user_runtime_build_negative
scripts/os-acceptance/user_runtime.mjs

Geçiş koşulu

Yanlış format exec öncesi 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Kayıt ABI ve clobber listesi doğru olur.

Uygulanacak işlem

“Tipli syscall wrapperları” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Kayıt ABI ve clobber listesi doğru olur. “Write clock exit wrapper” kabulü ile “SIMD veya SP clobber yanlış” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Kayıt ABI ve clobber listesi doğru olur

Kod hedefi — henüz öneri

userspace/src/user_api.rs · os_user_api_wrappers

Mevcut başlangıç referansı

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

Olumlu deney

Write clock exit wrapper

Karşı-örnek / hata girdisi

SIMD veya SP clobber yanlış

Gerçek konuk kabulü

Çağrı öncesi sonrası tanık eşit

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

userspace/tests/user_api.rs
os_user_api_wrappers_positive
os_user_api_wrappers_negative
scripts/os-acceptance/user_api.mjs

Geçiş koşulu

Tür ve geçiş tablosu Kayıt ABI ve clobber listesi doğru 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Kayıt ABI ve clobber listesi doğru olur.

Uygulanacak işlem

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

Kayıt ABI ve clobber listesi doğru olur

Kod hedefi — henüz öneri

userspace/src/user_api.rs · os_user_api_wrappers

Mevcut başlangıç referansı

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

Olumlu deney

Write clock exit wrapper

Karşı-örnek / hata girdisi

SIMD veya SP clobber yanlış

Gerçek konuk kabulü

Çağrı öncesi sonrası tanık eşit

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

userspace/tests/user_api.rs
os_user_api_wrappers_positive
os_user_api_wrappers_negative
scripts/os-acceptance/user_api.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Write clock exit wrapper ile SIMD veya SP clobber yanlış ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Kayıt ABI ve clobber listesi doğru olur.

Uygulanacak işlem

os_user_api_wrappers_positive testini oluştur: “Write clock exit wrapper”. 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

Kayıt ABI ve clobber listesi doğru olur

Kod hedefi — henüz öneri

userspace/src/user_api.rs · os_user_api_wrappers

Mevcut başlangıç referansı

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

Olumlu deney

Write clock exit wrapper

Karşı-örnek / hata girdisi

SIMD veya SP clobber yanlış

Gerçek konuk kabulü

Çağrı öncesi sonrası tanık eşit

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

userspace/tests/user_api.rs
os_user_api_wrappers_positive
os_user_api_wrappers_negative
scripts/os-acceptance/user_api.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Write clock exit wrapper girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Kayıt ABI ve clobber listesi doğru olur.

Uygulanacak işlem

os_user_api_wrappers_negative testini oluştur: “SIMD veya SP clobber yanlış”. 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

Kayıt ABI ve clobber listesi doğru olur

Kod hedefi — henüz öneri

userspace/src/user_api.rs · os_user_api_wrappers

Mevcut başlangıç referansı

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

Olumlu deney

Write clock exit wrapper

Karşı-örnek / hata girdisi

SIMD veya SP clobber yanlış

Gerçek konuk kabulü

Çağrı öncesi sonrası tanık eşit

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

userspace/tests/user_api.rs
os_user_api_wrappers_positive
os_user_api_wrappers_negative
scripts/os-acceptance/user_api.mjs

Geçiş koşulu

SIMD veya SP clobber yanlış 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Kayıt ABI ve clobber listesi doğru olur.

Uygulanacak işlem

Tek ürün Image'ında “Çağrı öncesi sonrası tanık eşit” kabulünü koştur. scripts/os-acceptance/user_api.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

Kayıt ABI ve clobber listesi doğru olur

Kod hedefi — henüz öneri

userspace/src/user_api.rs · os_user_api_wrappers

Mevcut başlangıç referansı

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

Olumlu deney

Write clock exit wrapper

Karşı-örnek / hata girdisi

SIMD veya SP clobber yanlış

Gerçek konuk kabulü

Çağrı öncesi sonrası tanık eşit

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

userspace/tests/user_api.rs
os_user_api_wrappers_positive
os_user_api_wrappers_negative
scripts/os-acceptance/user_api.mjs

Geçiş koşulu

Çağrı öncesi sonrası tanık 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Kısa I/O ve EINTR ayrı işlenir.

Uygulanacak işlem

“Sınırlı read write döngüsü” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Kısa I/O ve EINTR ayrı işlenir. “Üç parçalı seri yazı” kabulü ile “Sıfır ilerleyen tekrar” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Kısa I/O ve EINTR ayrı işlenir

Kod hedefi — henüz öneri

userspace/src/user_api.rs · os_user_api_io

Mevcut başlangıç referansı

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

Olumlu deney

Üç parçalı seri yazı

Karşı-örnek / hata girdisi

Sıfır ilerleyen tekrar

Gerçek konuk kabulü

Bütçe aşımında açık hata

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

userspace/tests/user_api.rs
os_user_api_io_positive
os_user_api_io_negative
scripts/os-acceptance/user_api.mjs

Geçiş koşulu

Tür ve geçiş tablosu Kısa I/O ve EINTR 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Kısa I/O ve EINTR ayrı işlenir.

Uygulanacak işlem

userspace/src/user_api.rs hedefinde os_user_api_io yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/user_syscall.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ısa I/O ve EINTR ayrı işlenir

Kod hedefi — henüz öneri

userspace/src/user_api.rs · os_user_api_io

Mevcut başlangıç referansı

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

Olumlu deney

Üç parçalı seri yazı

Karşı-örnek / hata girdisi

Sıfır ilerleyen tekrar

Gerçek konuk kabulü

Bütçe aşımında açık hata

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

userspace/tests/user_api.rs
os_user_api_io_positive
os_user_api_io_negative
scripts/os-acceptance/user_api.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Üç parçalı seri yazı ile Sıfır ilerleyen tekrar ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Kısa I/O ve EINTR ayrı işlenir.

Uygulanacak işlem

os_user_api_io_positive testini oluştur: “Üç parçalı seri 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

Kısa I/O ve EINTR ayrı işlenir

Kod hedefi — henüz öneri

userspace/src/user_api.rs · os_user_api_io

Mevcut başlangıç referansı

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

Olumlu deney

Üç parçalı seri yazı

Karşı-örnek / hata girdisi

Sıfır ilerleyen tekrar

Gerçek konuk kabulü

Bütçe aşımında açık hata

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

userspace/tests/user_api.rs
os_user_api_io_positive
os_user_api_io_negative
scripts/os-acceptance/user_api.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Kısa I/O ve EINTR ayrı işlenir.

Uygulanacak işlem

os_user_api_io_negative testini oluştur: “Sıfır ilerleyen tekrar”. 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ısa I/O ve EINTR ayrı işlenir

Kod hedefi — henüz öneri

userspace/src/user_api.rs · os_user_api_io

Mevcut başlangıç referansı

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

Olumlu deney

Üç parçalı seri yazı

Karşı-örnek / hata girdisi

Sıfır ilerleyen tekrar

Gerçek konuk kabulü

Bütçe aşımında açık hata

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

userspace/tests/user_api.rs
os_user_api_io_positive
os_user_api_io_negative
scripts/os-acceptance/user_api.mjs

Geçiş koşulu

Sıfır ilerleyen tekrar 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ıfır ilerleyen tekrar” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Kısa I/O ve EINTR ayrı işlenir.

Uygulanacak işlem

Tek ürün Image'ında “Bütçe aşımında açık hata” kabulünü koştur. scripts/os-acceptance/user_api.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ısa I/O ve EINTR ayrı işlenir

Kod hedefi — henüz öneri

userspace/src/user_api.rs · os_user_api_io

Mevcut başlangıç referansı

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

Olumlu deney

Üç parçalı seri yazı

Karşı-örnek / hata girdisi

Sıfır ilerleyen tekrar

Gerçek konuk kabulü

Bütçe aşımında açık hata

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

userspace/tests/user_api.rs
os_user_api_io_positive
os_user_api_io_negative
scripts/os-acceptance/user_api.mjs

Geçiş koşulu

Bütçe aşımında açık hata; 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ıfır ilerleyen tekrar” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Drop tek close üretir.

Uygulanacak işlem

“RAII kullanıcı handle” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Drop tek close üretir. “Taşıma sonrası tek sahip” kabulü ile “Kopyalanmış iki sahip” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Drop tek close üretir

Kod hedefi — henüz öneri

userspace/src/user_api.rs · os_user_api_ownership

Mevcut başlangıç referansı

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

Olumlu deney

Taşıma sonrası tek sahip

Karşı-örnek / hata girdisi

Kopyalanmış iki sahip

Gerçek konuk kabulü

İkinci close stale olarak reddedilir

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

userspace/tests/user_api.rs
os_user_api_ownership_positive
os_user_api_ownership_negative
scripts/os-acceptance/user_api.mjs

Geçiş koşulu

Tür ve geçiş tablosu Drop tek close üretir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Drop tek close üretir.

Uygulanacak işlem

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

Drop tek close üretir

Kod hedefi — henüz öneri

userspace/src/user_api.rs · os_user_api_ownership

Mevcut başlangıç referansı

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

Olumlu deney

Taşıma sonrası tek sahip

Karşı-örnek / hata girdisi

Kopyalanmış iki sahip

Gerçek konuk kabulü

İkinci close stale olarak reddedilir

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

userspace/tests/user_api.rs
os_user_api_ownership_positive
os_user_api_ownership_negative
scripts/os-acceptance/user_api.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Taşıma sonrası tek sahip ile Kopyalanmış iki sahip ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Drop tek close üretir.

Uygulanacak işlem

os_user_api_ownership_positive testini oluştur: “Taşıma sonrası tek sahip”. 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

Drop tek close üretir

Kod hedefi — henüz öneri

userspace/src/user_api.rs · os_user_api_ownership

Mevcut başlangıç referansı

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

Olumlu deney

Taşıma sonrası tek sahip

Karşı-örnek / hata girdisi

Kopyalanmış iki sahip

Gerçek konuk kabulü

İkinci close stale olarak reddedilir

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

userspace/tests/user_api.rs
os_user_api_ownership_positive
os_user_api_ownership_negative
scripts/os-acceptance/user_api.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Taşıma sonrası tek sahip girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Drop tek close üretir.

Uygulanacak işlem

os_user_api_ownership_negative testini oluştur: “Kopyalanmış iki sahip”. 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

Drop tek close üretir

Kod hedefi — henüz öneri

userspace/src/user_api.rs · os_user_api_ownership

Mevcut başlangıç referansı

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

Olumlu deney

Taşıma sonrası tek sahip

Karşı-örnek / hata girdisi

Kopyalanmış iki sahip

Gerçek konuk kabulü

İkinci close stale olarak reddedilir

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

userspace/tests/user_api.rs
os_user_api_ownership_positive
os_user_api_ownership_negative
scripts/os-acceptance/user_api.mjs

Geçiş koşulu

Kopyalanmış iki sahip 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Drop tek close üretir.

Uygulanacak işlem

Tek ürün Image'ında “İkinci close stale olarak reddedilir” kabulünü koştur. scripts/os-acceptance/user_api.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

Drop tek close üretir

Kod hedefi — henüz öneri

userspace/src/user_api.rs · os_user_api_ownership

Mevcut başlangıç referansı

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

Olumlu deney

Taşıma sonrası tek sahip

Karşı-örnek / hata girdisi

Kopyalanmış iki sahip

Gerçek konuk kabulü

İkinci close stale olarak reddedilir

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

userspace/tests/user_api.rs
os_user_api_ownership_positive
os_user_api_ownership_negative
scripts/os-acceptance/user_api.mjs

Geçiş koşulu

İkinci close stale olarak 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: İstemci desteklenmeyen ABIyi kullanmaz.

Uygulanacak işlem

“ABI uyumluluk sorgusu” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: İstemci desteklenmeyen ABIyi kullanmaz. “V1 kullanıcı V1 kernel” kabulü ile “V2 gerektiren imaj” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

İstemci desteklenmeyen ABIyi kullanmaz

Kod hedefi — henüz öneri

userspace/src/user_api.rs · os_user_api_compatibility

Mevcut başlangıç referansı

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

Olumlu deney

V1 kullanıcı V1 kernel

Karşı-örnek / hata girdisi

V2 gerektiren imaj

Gerçek konuk kabulü

Başlatma uyumsuzluk tanısı verir

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

userspace/tests/user_api.rs
os_user_api_compatibility_positive
os_user_api_compatibility_negative
scripts/os-acceptance/user_api.mjs

Geçiş koşulu

Tür ve geçiş tablosu İstemci desteklenmeyen ABIyi kullanmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: İstemci desteklenmeyen ABIyi kullanmaz.

Uygulanacak işlem

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

İstemci desteklenmeyen ABIyi kullanmaz

Kod hedefi — henüz öneri

userspace/src/user_api.rs · os_user_api_compatibility

Mevcut başlangıç referansı

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

Olumlu deney

V1 kullanıcı V1 kernel

Karşı-örnek / hata girdisi

V2 gerektiren imaj

Gerçek konuk kabulü

Başlatma uyumsuzluk tanısı verir

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

userspace/tests/user_api.rs
os_user_api_compatibility_positive
os_user_api_compatibility_negative
scripts/os-acceptance/user_api.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. V1 kullanıcı V1 kernel ile V2 gerektiren imaj ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: İstemci desteklenmeyen ABIyi kullanmaz.

Uygulanacak işlem

os_user_api_compatibility_positive testini oluştur: “V1 kullanıcı V1 kernel”. 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

İstemci desteklenmeyen ABIyi kullanmaz

Kod hedefi — henüz öneri

userspace/src/user_api.rs · os_user_api_compatibility

Mevcut başlangıç referansı

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

Olumlu deney

V1 kullanıcı V1 kernel

Karşı-örnek / hata girdisi

V2 gerektiren imaj

Gerçek konuk kabulü

Başlatma uyumsuzluk tanısı verir

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

userspace/tests/user_api.rs
os_user_api_compatibility_positive
os_user_api_compatibility_negative
scripts/os-acceptance/user_api.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; V1 kullanıcı V1 kernel girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: İstemci desteklenmeyen ABIyi kullanmaz.

Uygulanacak işlem

os_user_api_compatibility_negative testini oluştur: “V2 gerektiren imaj”. 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

İstemci desteklenmeyen ABIyi kullanmaz

Kod hedefi — henüz öneri

userspace/src/user_api.rs · os_user_api_compatibility

Mevcut başlangıç referansı

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

Olumlu deney

V1 kullanıcı V1 kernel

Karşı-örnek / hata girdisi

V2 gerektiren imaj

Gerçek konuk kabulü

Başlatma uyumsuzluk tanısı verir

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

userspace/tests/user_api.rs
os_user_api_compatibility_positive
os_user_api_compatibility_negative
scripts/os-acceptance/user_api.mjs

Geçiş koşulu

V2 gerektiren imaj 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: İstemci desteklenmeyen ABIyi kullanmaz.

Uygulanacak işlem

Tek ürün Image'ında “Başlatma uyumsuzluk tanısı verir” kabulünü koştur. scripts/os-acceptance/user_api.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

İstemci desteklenmeyen ABIyi kullanmaz

Kod hedefi — henüz öneri

userspace/src/user_api.rs · os_user_api_compatibility

Mevcut başlangıç referansı

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

Olumlu deney

V1 kullanıcı V1 kernel

Karşı-örnek / hata girdisi

V2 gerektiren imaj

Gerçek konuk kabulü

Başlatma uyumsuzluk tanısı verir

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

userspace/tests/user_api.rs
os_user_api_compatibility_positive
os_user_api_compatibility_negative
scripts/os-acceptance/user_api.mjs

Geçiş koşulu

Başlatma uyumsuzluk tanısı verir; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Bağımlılık döngüsü açılışı kilitlemez.

Uygulanacak işlem

“INIT hizmet manifesti” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Bağımlılık döngüsü açılışı kilitlemez. “Console sonra shell” kabulü ile “İki hizmet birbirini ister” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Bağımlılık döngüsü açılışı kilitlemez

Kod hedefi — henüz öneri

userspace/src/init_service.rs · os_init_service_manifest

Mevcut başlangıç referansı

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

Olumlu deney

Console sonra shell

Karşı-örnek / hata girdisi

İki hizmet birbirini ister

Gerçek konuk kabulü

Manifest açık döngü hatası

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

userspace/tests/init_service.rs
os_init_service_manifest_positive
os_init_service_manifest_negative
scripts/os-acceptance/init_service.mjs

Geçiş koşulu

Tür ve geçiş tablosu Bağımlılık döngüsü açılışı kilitlemez kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Bağımlılık döngüsü açılışı kilitlemez.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Bağımlılık döngüsü açılışı kilitlemez

Kod hedefi — henüz öneri

userspace/src/init_service.rs · os_init_service_manifest

Mevcut başlangıç referansı

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

Olumlu deney

Console sonra shell

Karşı-örnek / hata girdisi

İki hizmet birbirini ister

Gerçek konuk kabulü

Manifest açık döngü hatası

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

userspace/tests/init_service.rs
os_init_service_manifest_positive
os_init_service_manifest_negative
scripts/os-acceptance/init_service.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Console sonra shell ile İki hizmet birbirini ister ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Bağımlılık döngüsü açılışı kilitlemez.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Bağımlılık döngüsü açılışı kilitlemez

Kod hedefi — henüz öneri

userspace/src/init_service.rs · os_init_service_manifest

Mevcut başlangıç referansı

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

Olumlu deney

Console sonra shell

Karşı-örnek / hata girdisi

İki hizmet birbirini ister

Gerçek konuk kabulü

Manifest açık döngü hatası

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

userspace/tests/init_service.rs
os_init_service_manifest_positive
os_init_service_manifest_negative
scripts/os-acceptance/init_service.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Bağımlılık döngüsü açılışı kilitlemez.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Bağımlılık döngüsü açılışı kilitlemez

Kod hedefi — henüz öneri

userspace/src/init_service.rs · os_init_service_manifest

Mevcut başlangıç referansı

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

Olumlu deney

Console sonra shell

Karşı-örnek / hata girdisi

İki hizmet birbirini ister

Gerçek konuk kabulü

Manifest açık döngü hatası

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

userspace/tests/init_service.rs
os_init_service_manifest_positive
os_init_service_manifest_negative
scripts/os-acceptance/init_service.mjs

Geçiş koşulu

İki hizmet birbirini ister karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Bağımlılık döngüsü açılışı kilitlemez.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Bağımlılık döngüsü açılışı kilitlemez

Kod hedefi — henüz öneri

userspace/src/init_service.rs · os_init_service_manifest

Mevcut başlangıç referansı

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

Olumlu deney

Console sonra shell

Karşı-örnek / hata girdisi

İki hizmet birbirini ister

Gerçek konuk kabulü

Manifest açık döngü hatası

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

userspace/tests/init_service.rs
os_init_service_manifest_positive
os_init_service_manifest_negative
scripts/os-acceptance/init_service.mjs

Geçiş koşulu

Manifest açık döngü hatası; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Hizmet hazır sinyali beklenir.

Uygulanacak işlem

“INIT başlangıç sırası” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Hizmet hazır sinyali beklenir. “Console ready sonra shell” kabulü ile “Erken shell spawn” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Hizmet hazır sinyali beklenir

Kod hedefi — henüz öneri

userspace/src/init_service.rs · os_init_service_start_order

Mevcut başlangıç referansı

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

Olumlu deney

Console ready sonra shell

Karşı-örnek / hata girdisi

Erken shell spawn

Gerçek konuk kabulü

İlk istem console hazırdan sonra

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

userspace/tests/init_service.rs
os_init_service_start_order_positive
os_init_service_start_order_negative
scripts/os-acceptance/init_service.mjs

Geçiş koşulu

Tür ve geçiş tablosu Hizmet hazır sinyali beklenir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Hizmet hazır sinyali beklenir.

Uygulanacak işlem

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

Hizmet hazır sinyali beklenir

Kod hedefi — henüz öneri

userspace/src/init_service.rs · os_init_service_start_order

Mevcut başlangıç referansı

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

Olumlu deney

Console ready sonra shell

Karşı-örnek / hata girdisi

Erken shell spawn

Gerçek konuk kabulü

İlk istem console hazırdan sonra

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

userspace/tests/init_service.rs
os_init_service_start_order_positive
os_init_service_start_order_negative
scripts/os-acceptance/init_service.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Console ready sonra shell ile Erken shell spawn ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Hizmet hazır sinyali beklenir.

Uygulanacak işlem

os_init_service_start_order_positive testini oluştur: “Console ready sonra shell”. 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

Hizmet hazır sinyali beklenir

Kod hedefi — henüz öneri

userspace/src/init_service.rs · os_init_service_start_order

Mevcut başlangıç referansı

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

Olumlu deney

Console ready sonra shell

Karşı-örnek / hata girdisi

Erken shell spawn

Gerçek konuk kabulü

İlk istem console hazırdan sonra

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

userspace/tests/init_service.rs
os_init_service_start_order_positive
os_init_service_start_order_negative
scripts/os-acceptance/init_service.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Hizmet hazır sinyali beklenir.

Uygulanacak işlem

os_init_service_start_order_negative testini oluştur: “Erken shell spawn”. 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

Hizmet hazır sinyali beklenir

Kod hedefi — henüz öneri

userspace/src/init_service.rs · os_init_service_start_order

Mevcut başlangıç referansı

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

Olumlu deney

Console ready sonra shell

Karşı-örnek / hata girdisi

Erken shell spawn

Gerçek konuk kabulü

İlk istem console hazırdan sonra

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

userspace/tests/init_service.rs
os_init_service_start_order_positive
os_init_service_start_order_negative
scripts/os-acceptance/init_service.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Hizmet hazır sinyali beklenir.

Uygulanacak işlem

Tek ürün Image'ında “İlk istem console hazırdan sonra” kabulünü koştur. scripts/os-acceptance/init_service.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

Hizmet hazır sinyali beklenir

Kod hedefi — henüz öneri

userspace/src/init_service.rs · os_init_service_start_order

Mevcut başlangıç referansı

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

Olumlu deney

Console ready sonra shell

Karşı-örnek / hata girdisi

Erken shell spawn

Gerçek konuk kabulü

İlk istem console hazırdan sonra

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

userspace/tests/init_service.rs
os_init_service_start_order_positive
os_init_service_start_order_negative
scripts/os-acceptance/init_service.mjs

Geçiş koşulu

İlk istem console hazırdan sonra; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Crash döngüsü sonsuz spawn yapmaz.

Uygulanacak işlem

“Sınırlı hizmet yeniden başlatma” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Crash döngüsü sonsuz spawn yapmaz. “Bir kez çöken kabuk” kabulü ile “On hızlı crash” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Crash döngüsü sonsuz spawn yapmaz

Kod hedefi — henüz öneri

userspace/src/init_service.rs · os_init_service_restart

Mevcut başlangıç referansı

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

Olumlu deney

Bir kez çöken kabuk

Karşı-örnek / hata girdisi

On hızlı crash

Gerçek konuk kabulü

Backoff ve görünür degraded durum

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

userspace/tests/init_service.rs
os_init_service_restart_positive
os_init_service_restart_negative
scripts/os-acceptance/init_service.mjs

Geçiş koşulu

Tür ve geçiş tablosu Crash döngüsü sonsuz spawn yapmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“On hızlı 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/K1255: PASS.

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Crash döngüsü sonsuz spawn yapmaz.

Uygulanacak işlem

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

Crash döngüsü sonsuz spawn yapmaz

Kod hedefi — henüz öneri

userspace/src/init_service.rs · os_init_service_restart

Mevcut başlangıç referansı

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

Olumlu deney

Bir kez çöken kabuk

Karşı-örnek / hata girdisi

On hızlı crash

Gerçek konuk kabulü

Backoff ve görünür degraded durum

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

userspace/tests/init_service.rs
os_init_service_restart_positive
os_init_service_restart_negative
scripts/os-acceptance/init_service.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Bir kez çöken kabuk ile On hızlı crash ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“On hızlı 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/K1255: PASS.

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Crash döngüsü sonsuz spawn yapmaz.

Uygulanacak işlem

os_init_service_restart_positive testini oluştur: “Bir kez çöken kabuk”. 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

Crash döngüsü sonsuz spawn yapmaz

Kod hedefi — henüz öneri

userspace/src/init_service.rs · os_init_service_restart

Mevcut başlangıç referansı

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

Olumlu deney

Bir kez çöken kabuk

Karşı-örnek / hata girdisi

On hızlı crash

Gerçek konuk kabulü

Backoff ve görünür degraded durum

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

userspace/tests/init_service.rs
os_init_service_restart_positive
os_init_service_restart_negative
scripts/os-acceptance/init_service.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Bir kez çöken kabuk girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“On hızlı 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/K1255: PASS.

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Crash döngüsü sonsuz spawn yapmaz.

Uygulanacak işlem

os_init_service_restart_negative testini oluştur: “On hızlı 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

Crash döngüsü sonsuz spawn yapmaz

Kod hedefi — henüz öneri

userspace/src/init_service.rs · os_init_service_restart

Mevcut başlangıç referansı

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

Olumlu deney

Bir kez çöken kabuk

Karşı-örnek / hata girdisi

On hızlı crash

Gerçek konuk kabulü

Backoff ve görünür degraded durum

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

userspace/tests/init_service.rs
os_init_service_restart_positive
os_init_service_restart_negative
scripts/os-acceptance/init_service.mjs

Geçiş koşulu

On hızlı 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üş

“On hızlı 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/K1255: PASS.

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Crash döngüsü sonsuz spawn yapmaz.

Uygulanacak işlem

Tek ürün Image'ında “Backoff ve görünür degraded durum” kabulünü koştur. scripts/os-acceptance/init_service.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

Crash döngüsü sonsuz spawn yapmaz

Kod hedefi — henüz öneri

userspace/src/init_service.rs · os_init_service_restart

Mevcut başlangıç referansı

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

Olumlu deney

Bir kez çöken kabuk

Karşı-örnek / hata girdisi

On hızlı crash

Gerçek konuk kabulü

Backoff ve görünür degraded durum

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

userspace/tests/init_service.rs
os_init_service_restart_positive
os_init_service_restart_negative
scripts/os-acceptance/init_service.mjs

Geçiş koşulu

Backoff ve görünür degraded 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üş

“On hızlı 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/K1255: PASS.

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Zombie kayıtları bounded tutulur.

Uygulanacak işlem

“INIT çocuk toplama” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Zombie kayıtları bounded tutulur. “Yüz kısa ömürlü araç” kabulü ile “Çıkış kodu tüketilmez” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Zombie kayıtları bounded tutulur

Kod hedefi — henüz öneri

userspace/src/init_service.rs · os_init_service_reaping

Mevcut başlangıç referansı

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

Olumlu deney

Yüz kısa ömürlü araç

Karşı-örnek / hata girdisi

Çıkış kodu tüketilmez

Gerçek konuk kabulü

Süreç tablosu başlangıca döner

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

userspace/tests/init_service.rs
os_init_service_reaping_positive
os_init_service_reaping_negative
scripts/os-acceptance/init_service.mjs

Geçiş koşulu

Tür ve geçiş tablosu Zombie kayıtları bounded tutulur 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ış kodu tüketilmez” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Zombie kayıtları bounded tutulur.

Uygulanacak işlem

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

Zombie kayıtları bounded tutulur

Kod hedefi — henüz öneri

userspace/src/init_service.rs · os_init_service_reaping

Mevcut başlangıç referansı

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

Olumlu deney

Yüz kısa ömürlü araç

Karşı-örnek / hata girdisi

Çıkış kodu tüketilmez

Gerçek konuk kabulü

Süreç tablosu başlangıca döner

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

userspace/tests/init_service.rs
os_init_service_reaping_positive
os_init_service_reaping_negative
scripts/os-acceptance/init_service.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Yüz kısa ömürlü araç ile Çıkış kodu tüketilmez ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Zombie kayıtları bounded tutulur.

Uygulanacak işlem

os_init_service_reaping_positive testini oluştur: “Yüz kısa ömürlü 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

Zombie kayıtları bounded tutulur

Kod hedefi — henüz öneri

userspace/src/init_service.rs · os_init_service_reaping

Mevcut başlangıç referansı

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

Olumlu deney

Yüz kısa ömürlü araç

Karşı-örnek / hata girdisi

Çıkış kodu tüketilmez

Gerçek konuk kabulü

Süreç tablosu başlangıca döner

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

userspace/tests/init_service.rs
os_init_service_reaping_positive
os_init_service_reaping_negative
scripts/os-acceptance/init_service.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Yüz kısa ömürlü araç girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Zombie kayıtları bounded tutulur.

Uygulanacak işlem

os_init_service_reaping_negative testini oluştur: “Çıkış kodu tüketilmez”. 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

Zombie kayıtları bounded tutulur

Kod hedefi — henüz öneri

userspace/src/init_service.rs · os_init_service_reaping

Mevcut başlangıç referansı

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

Olumlu deney

Yüz kısa ömürlü araç

Karşı-örnek / hata girdisi

Çıkış kodu tüketilmez

Gerçek konuk kabulü

Süreç tablosu başlangıca döner

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

userspace/tests/init_service.rs
os_init_service_reaping_positive
os_init_service_reaping_negative
scripts/os-acceptance/init_service.mjs

Geçiş koşulu

Çıkış kodu tüketilmez 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ış kodu tüketilmez” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Zombie kayıtları bounded tutulur.

Uygulanacak işlem

Tek ürün Image'ında “Süreç tablosu başlangıca döner” kabulünü koştur. scripts/os-acceptance/init_service.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

Zombie kayıtları bounded tutulur

Kod hedefi — henüz öneri

userspace/src/init_service.rs · os_init_service_reaping

Mevcut başlangıç referansı

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

Olumlu deney

Yüz kısa ömürlü araç

Karşı-örnek / hata girdisi

Çıkış kodu tüketilmez

Gerçek konuk kabulü

Süreç tablosu başlangıca döner

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

userspace/tests/init_service.rs
os_init_service_reaping_positive
os_init_service_reaping_negative
scripts/os-acceptance/init_service.mjs

Geçiş koşulu

Süreç tablosu başlangıca döner; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Girdi uzunluğu ve UTF8 sınırlıdır.

Uygulanacak işlem

“Kabuk sözcük ve tırnak çözümü” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Girdi uzunluğu ve UTF8 sınırlıdır. “Boşluk tırnak ve kaçış” kabulü ile “Açık tırnak veya bozuk UTF8” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Girdi uzunluğu ve UTF8 sınırlıdır

Kod hedefi — henüz öneri

userspace/src/shell.rs · os_shell_lexer

Mevcut başlangıç referansı

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

Olumlu deney

Boşluk tırnak ve kaçış

Karşı-örnek / hata girdisi

Açık tırnak veya bozuk UTF8

Gerçek konuk kabulü

Hata sonrası temiz yeni istem

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

userspace/tests/shell.rs
os_shell_lexer_positive
os_shell_lexer_negative
scripts/os-acceptance/shell.mjs

Geçiş koşulu

Tür ve geçiş tablosu Girdi uzunluğu ve UTF8 sınırlıdır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Girdi uzunluğu ve UTF8 sınırlıdır.

Uygulanacak işlem

userspace/src/shell.rs hedefinde os_shell_lexer 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

Girdi uzunluğu ve UTF8 sınırlıdır

Kod hedefi — henüz öneri

userspace/src/shell.rs · os_shell_lexer

Mevcut başlangıç referansı

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

Olumlu deney

Boşluk tırnak ve kaçış

Karşı-örnek / hata girdisi

Açık tırnak veya bozuk UTF8

Gerçek konuk kabulü

Hata sonrası temiz yeni istem

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

userspace/tests/shell.rs
os_shell_lexer_positive
os_shell_lexer_negative
scripts/os-acceptance/shell.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Boşluk tırnak ve kaçış ile Açık tırnak veya bozuk UTF8 ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Girdi uzunluğu ve UTF8 sınırlıdır.

Uygulanacak işlem

os_shell_lexer_positive testini oluştur: “Boşluk tırnak ve kaçış”. 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

Girdi uzunluğu ve UTF8 sınırlıdır

Kod hedefi — henüz öneri

userspace/src/shell.rs · os_shell_lexer

Mevcut başlangıç referansı

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

Olumlu deney

Boşluk tırnak ve kaçış

Karşı-örnek / hata girdisi

Açık tırnak veya bozuk UTF8

Gerçek konuk kabulü

Hata sonrası temiz yeni istem

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

userspace/tests/shell.rs
os_shell_lexer_positive
os_shell_lexer_negative
scripts/os-acceptance/shell.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Boşluk tırnak ve kaçış girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Girdi uzunluğu ve UTF8 sınırlıdır.

Uygulanacak işlem

os_shell_lexer_negative testini oluştur: “Açık tırnak veya bozuk UTF8”. 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

Girdi uzunluğu ve UTF8 sınırlıdır

Kod hedefi — henüz öneri

userspace/src/shell.rs · os_shell_lexer

Mevcut başlangıç referansı

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

Olumlu deney

Boşluk tırnak ve kaçış

Karşı-örnek / hata girdisi

Açık tırnak veya bozuk UTF8

Gerçek konuk kabulü

Hata sonrası temiz yeni istem

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

userspace/tests/shell.rs
os_shell_lexer_positive
os_shell_lexer_negative
scripts/os-acceptance/shell.mjs

Geçiş koşulu

Açık tırnak veya bozuk UTF8 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Girdi uzunluğu ve UTF8 sınırlıdır.

Uygulanacak işlem

Tek ürün Image'ında “Hata sonrası temiz yeni istem” kabulünü koştur. scripts/os-acceptance/shell.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

Girdi uzunluğu ve UTF8 sınırlıdır

Kod hedefi — henüz öneri

userspace/src/shell.rs · os_shell_lexer

Mevcut başlangıç referansı

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

Olumlu deney

Boşluk tırnak ve kaçış

Karşı-örnek / hata girdisi

Açık tırnak veya bozuk UTF8

Gerçek konuk kabulü

Hata sonrası temiz yeni istem

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

userspace/tests/shell.rs
os_shell_lexer_positive
os_shell_lexer_negative
scripts/os-acceptance/shell.mjs

Geçiş koşulu

Hata sonrası temiz yeni istem; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Builtin exec imajıyla karışmaz.

Uygulanacak işlem

“Builtin ve external komut ayrımı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Builtin exec imajıyla karışmaz. “Help exit ve bilinen araç” kabulü ile “Bilinmeyen komut” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Builtin exec imajıyla karışmaz

Kod hedefi — henüz öneri

userspace/src/shell.rs · os_shell_commands

Mevcut başlangıç referansı

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

Olumlu deney

Help exit ve bilinen araç

Karşı-örnek / hata girdisi

Bilinmeyen komut

Gerçek konuk kabulü

ENOENT ardından kabuk devam

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

userspace/tests/shell.rs
os_shell_commands_positive
os_shell_commands_negative
scripts/os-acceptance/shell.mjs

Geçiş koşulu

Tür ve geçiş tablosu Builtin exec imajıyla karışmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Builtin exec imajıyla karışmaz.

Uygulanacak işlem

userspace/src/shell.rs hedefinde os_shell_commands 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

Builtin exec imajıyla karışmaz

Kod hedefi — henüz öneri

userspace/src/shell.rs · os_shell_commands

Mevcut başlangıç referansı

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

Olumlu deney

Help exit ve bilinen araç

Karşı-örnek / hata girdisi

Bilinmeyen komut

Gerçek konuk kabulü

ENOENT ardından kabuk devam

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

userspace/tests/shell.rs
os_shell_commands_positive
os_shell_commands_negative
scripts/os-acceptance/shell.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Help exit ve bilinen araç ile Bilinmeyen komut ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Builtin exec imajıyla karışmaz.

Uygulanacak işlem

os_shell_commands_positive testini oluştur: “Help exit ve bilinen 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

Builtin exec imajıyla karışmaz

Kod hedefi — henüz öneri

userspace/src/shell.rs · os_shell_commands

Mevcut başlangıç referansı

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

Olumlu deney

Help exit ve bilinen araç

Karşı-örnek / hata girdisi

Bilinmeyen komut

Gerçek konuk kabulü

ENOENT ardından kabuk devam

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

userspace/tests/shell.rs
os_shell_commands_positive
os_shell_commands_negative
scripts/os-acceptance/shell.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Help exit ve bilinen araç girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Builtin exec imajıyla karışmaz.

Uygulanacak işlem

os_shell_commands_negative testini oluştur: “Bilinmeyen komut”. 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

Builtin exec imajıyla karışmaz

Kod hedefi — henüz öneri

userspace/src/shell.rs · os_shell_commands

Mevcut başlangıç referansı

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

Olumlu deney

Help exit ve bilinen araç

Karşı-örnek / hata girdisi

Bilinmeyen komut

Gerçek konuk kabulü

ENOENT ardından kabuk devam

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

userspace/tests/shell.rs
os_shell_commands_positive
os_shell_commands_negative
scripts/os-acceptance/shell.mjs

Geçiş koşulu

Bilinmeyen komut 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Builtin exec imajıyla karışmaz.

Uygulanacak işlem

Tek ürün Image'ında “ENOENT ardından kabuk devam” kabulünü koştur. scripts/os-acceptance/shell.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

Builtin exec imajıyla karışmaz

Kod hedefi — henüz öneri

userspace/src/shell.rs · os_shell_commands

Mevcut başlangıç referansı

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

Olumlu deney

Help exit ve bilinen araç

Karşı-örnek / hata girdisi

Bilinmeyen komut

Gerçek konuk kabulü

ENOENT ardından kabuk devam

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

userspace/tests/shell.rs
os_shell_commands_positive
os_shell_commands_negative
scripts/os-acceptance/shell.mjs

Geçiş koşulu

ENOENT ardından kabuk devam; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Kabuk yalnız kendi çocuğunu bekler.

Uygulanacak işlem

“Ön plan komut çalıştırma” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Kabuk yalnız kendi çocuğunu bekler. “Araç EXIT 42” kabulü ile “Yabancı PID bekleme” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Kabuk yalnız kendi çocuğunu bekler

Kod hedefi — henüz öneri

userspace/src/shell.rs · os_shell_launch

Mevcut başlangıç referansı

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

Olumlu deney

Araç EXIT 42

Karşı-örnek / hata girdisi

Yabancı PID bekleme

Gerçek konuk kabulü

Sonuç kodu tek kez gösterilir

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

userspace/tests/shell.rs
os_shell_launch_positive
os_shell_launch_negative
scripts/os-acceptance/shell.mjs

Geçiş koşulu

Tür ve geçiş tablosu Kabuk yalnız kendi çocuğunu bekler kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Kabuk yalnız kendi çocuğunu bekler.

Uygulanacak işlem

userspace/src/shell.rs hedefinde os_shell_launch 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

Kabuk yalnız kendi çocuğunu bekler

Kod hedefi — henüz öneri

userspace/src/shell.rs · os_shell_launch

Mevcut başlangıç referansı

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

Olumlu deney

Araç EXIT 42

Karşı-örnek / hata girdisi

Yabancı PID bekleme

Gerçek konuk kabulü

Sonuç kodu tek kez gösterilir

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

userspace/tests/shell.rs
os_shell_launch_positive
os_shell_launch_negative
scripts/os-acceptance/shell.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Araç EXIT 42 ile Yabancı PID bekleme ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Kabuk yalnız kendi çocuğunu bekler.

Uygulanacak işlem

os_shell_launch_positive testini oluştur: “Araç EXIT 42”. 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

Kabuk yalnız kendi çocuğunu bekler

Kod hedefi — henüz öneri

userspace/src/shell.rs · os_shell_launch

Mevcut başlangıç referansı

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

Olumlu deney

Araç EXIT 42

Karşı-örnek / hata girdisi

Yabancı PID bekleme

Gerçek konuk kabulü

Sonuç kodu tek kez gösterilir

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

userspace/tests/shell.rs
os_shell_launch_positive
os_shell_launch_negative
scripts/os-acceptance/shell.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Kabuk yalnız kendi çocuğunu bekler.

Uygulanacak işlem

os_shell_launch_negative testini oluştur: “Yabancı PID bekleme”. 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

Kabuk yalnız kendi çocuğunu bekler

Kod hedefi — henüz öneri

userspace/src/shell.rs · os_shell_launch

Mevcut başlangıç referansı

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

Olumlu deney

Araç EXIT 42

Karşı-örnek / hata girdisi

Yabancı PID bekleme

Gerçek konuk kabulü

Sonuç kodu tek kez gösterilir

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

userspace/tests/shell.rs
os_shell_launch_positive
os_shell_launch_negative
scripts/os-acceptance/shell.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Kabuk yalnız kendi çocuğunu bekler.

Uygulanacak işlem

Tek ürün Image'ında “Sonuç kodu tek kez gösterilir” kabulünü koştur. scripts/os-acceptance/shell.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

Kabuk yalnız kendi çocuğunu bekler

Kod hedefi — henüz öneri

userspace/src/shell.rs · os_shell_launch

Mevcut başlangıç referansı

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

Olumlu deney

Araç EXIT 42

Karşı-örnek / hata girdisi

Yabancı PID bekleme

Gerçek konuk kabulü

Sonuç kodu tek kez gösterilir

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

userspace/tests/shell.rs
os_shell_launch_positive
os_shell_launch_negative
scripts/os-acceptance/shell.mjs

Geçiş koşulu

Sonuç kodu tek kez 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: CtrlC yarım satırı temizler.

Uygulanacak işlem

“Kabuk girdi iptali” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: CtrlC yarım satırı temizler. “Uzun yarım komut” kabulü ile “İptal eski satırı çalıştırır” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

CtrlC yarım satırı temizler

Kod hedefi — henüz öneri

userspace/src/shell.rs · os_shell_interrupt

Mevcut başlangıç referansı

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

Olumlu deney

Uzun yarım komut

Karşı-örnek / hata girdisi

İptal eski satırı çalıştırır

Gerçek konuk kabulü

İptalden sonra yeni komut geçer

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

userspace/tests/shell.rs
os_shell_interrupt_positive
os_shell_interrupt_negative
scripts/os-acceptance/shell.mjs

Geçiş koşulu

Tür ve geçiş tablosu CtrlC yarım satırı temizler kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“İptal eski satırı çalıştırı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/K1280: PASS.

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: CtrlC yarım satırı temizler.

Uygulanacak işlem

userspace/src/shell.rs hedefinde os_shell_interrupt 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

CtrlC yarım satırı temizler

Kod hedefi — henüz öneri

userspace/src/shell.rs · os_shell_interrupt

Mevcut başlangıç referansı

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

Olumlu deney

Uzun yarım komut

Karşı-örnek / hata girdisi

İptal eski satırı çalıştırır

Gerçek konuk kabulü

İptalden sonra yeni komut geçer

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

userspace/tests/shell.rs
os_shell_interrupt_positive
os_shell_interrupt_negative
scripts/os-acceptance/shell.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Uzun yarım komut ile İptal eski satırı çalıştırır ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“İptal eski satırı çalıştırı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/K1280: PASS.

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: CtrlC yarım satırı temizler.

Uygulanacak işlem

os_shell_interrupt_positive testini oluştur: “Uzun yarım komut”. 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

CtrlC yarım satırı temizler

Kod hedefi — henüz öneri

userspace/src/shell.rs · os_shell_interrupt

Mevcut başlangıç referansı

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

Olumlu deney

Uzun yarım komut

Karşı-örnek / hata girdisi

İptal eski satırı çalıştırır

Gerçek konuk kabulü

İptalden sonra yeni komut geçer

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

userspace/tests/shell.rs
os_shell_interrupt_positive
os_shell_interrupt_negative
scripts/os-acceptance/shell.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Uzun yarım komut girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“İptal eski satırı çalıştırı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/K1280: PASS.

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: CtrlC yarım satırı temizler.

Uygulanacak işlem

os_shell_interrupt_negative testini oluştur: “İptal eski satırı çalıştırı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

CtrlC yarım satırı temizler

Kod hedefi — henüz öneri

userspace/src/shell.rs · os_shell_interrupt

Mevcut başlangıç referansı

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

Olumlu deney

Uzun yarım komut

Karşı-örnek / hata girdisi

İptal eski satırı çalıştırır

Gerçek konuk kabulü

İptalden sonra yeni komut geçer

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

userspace/tests/shell.rs
os_shell_interrupt_positive
os_shell_interrupt_negative
scripts/os-acceptance/shell.mjs

Geçiş koşulu

İptal eski satırı çalıştırı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üş

“İptal eski satırı çalıştırı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/K1280: PASS.

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: CtrlC yarım satırı temizler.

Uygulanacak işlem

Tek ürün Image'ında “İptalden sonra yeni komut geçer” kabulünü koştur. scripts/os-acceptance/shell.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

CtrlC yarım satırı temizler

Kod hedefi — henüz öneri

userspace/src/shell.rs · os_shell_interrupt

Mevcut başlangıç referansı

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

Olumlu deney

Uzun yarım komut

Karşı-örnek / hata girdisi

İptal eski satırı çalıştırır

Gerçek konuk kabulü

İptalden sonra yeni komut geçer

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

userspace/tests/shell.rs
os_shell_interrupt_positive
os_shell_interrupt_negative
scripts/os-acceptance/shell.mjs

Geçiş koşulu

İptalden sonra yeni komut geçer; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

“İptal eski satırı çalıştırı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/K1280: PASS.

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Bayt uzunluğu ve encoding korunur.

Uygulanacak işlem

“Echo ve çıktı aracı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Bayt uzunluğu ve encoding korunur. “Türkçe çok baytlı argüman” kabulü ile “NUL içeren argüman” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Bayt uzunluğu ve encoding korunur

Kod hedefi — henüz öneri

userspace/src/core_tools.rs · os_core_tools_echo

Mevcut başlangıç referansı

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

Olumlu deney

Türkçe çok baytlı argüman

Karşı-örnek / hata girdisi

NUL içeren argüman

Gerçek konuk kabulü

Çıktı beklenen byte hashine eşit

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

userspace/tests/core_tools.rs
os_core_tools_echo_positive
os_core_tools_echo_negative
scripts/os-acceptance/core_tools.mjs

Geçiş koşulu

Tür ve geçiş tablosu Bayt uzunluğu ve encoding 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Bayt uzunluğu ve encoding korunur.

Uygulanacak işlem

userspace/src/core_tools.rs hedefinde os_core_tools_echo 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

Bayt uzunluğu ve encoding korunur

Kod hedefi — henüz öneri

userspace/src/core_tools.rs · os_core_tools_echo

Mevcut başlangıç referansı

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

Olumlu deney

Türkçe çok baytlı argüman

Karşı-örnek / hata girdisi

NUL içeren argüman

Gerçek konuk kabulü

Çıktı beklenen byte hashine eşit

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

userspace/tests/core_tools.rs
os_core_tools_echo_positive
os_core_tools_echo_negative
scripts/os-acceptance/core_tools.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Türkçe çok baytlı argüman ile NUL içeren argüman ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Bayt uzunluğu ve encoding korunur.

Uygulanacak işlem

os_core_tools_echo_positive testini oluştur: “Türkçe çok baytlı argüman”. 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

Bayt uzunluğu ve encoding korunur

Kod hedefi — henüz öneri

userspace/src/core_tools.rs · os_core_tools_echo

Mevcut başlangıç referansı

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

Olumlu deney

Türkçe çok baytlı argüman

Karşı-örnek / hata girdisi

NUL içeren argüman

Gerçek konuk kabulü

Çıktı beklenen byte hashine eşit

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

userspace/tests/core_tools.rs
os_core_tools_echo_positive
os_core_tools_echo_negative
scripts/os-acceptance/core_tools.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Bayt uzunluğu ve encoding korunur.

Uygulanacak işlem

os_core_tools_echo_negative testini oluştur: “NUL içeren argüman”. 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

Bayt uzunluğu ve encoding korunur

Kod hedefi — henüz öneri

userspace/src/core_tools.rs · os_core_tools_echo

Mevcut başlangıç referansı

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

Olumlu deney

Türkçe çok baytlı argüman

Karşı-örnek / hata girdisi

NUL içeren argüman

Gerçek konuk kabulü

Çıktı beklenen byte hashine eşit

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

userspace/tests/core_tools.rs
os_core_tools_echo_positive
os_core_tools_echo_negative
scripts/os-acceptance/core_tools.mjs

Geçiş koşulu

NUL içeren argüman 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Bayt uzunluğu ve encoding korunur.

Uygulanacak işlem

Tek ürün Image'ında “Çıktı beklenen byte hashine eşit” kabulünü koştur. scripts/os-acceptance/core_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

Bayt uzunluğu ve encoding korunur

Kod hedefi — henüz öneri

userspace/src/core_tools.rs · os_core_tools_echo

Mevcut başlangıç referansı

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

Olumlu deney

Türkçe çok baytlı argüman

Karşı-örnek / hata girdisi

NUL içeren argüman

Gerçek konuk kabulü

Çıktı beklenen byte hashine eşit

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

userspace/tests/core_tools.rs
os_core_tools_echo_positive
os_core_tools_echo_negative
scripts/os-acceptance/core_tools.mjs

Geçiş koşulu

Çıktı beklenen byte hashine 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: EOF kısa okuma hatadan ayrıdır.

Uygulanacak işlem

“Cat benzeri RO araç” 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 okuma hatadan ayrıdır. “0 1 513 bayt dosya” kabulü ile “Bozuk handle veya eksik yol” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

EOF kısa okuma hatadan ayrıdır

Kod hedefi — henüz öneri

userspace/src/core_tools.rs · os_core_tools_read_file

Mevcut başlangıç referansı

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

Olumlu deney

0 1 513 bayt dosya

Karşı-örnek / hata girdisi

Bozuk handle veya eksik yol

Gerçek konuk kabulü

Dosya hash ve kaynak disk değişmez

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

userspace/tests/core_tools.rs
os_core_tools_read_file_positive
os_core_tools_read_file_negative
scripts/os-acceptance/core_tools.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: EOF kısa okuma hatadan ayrıdır.

Uygulanacak işlem

userspace/src/core_tools.rs hedefinde os_core_tools_read_file 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

EOF kısa okuma hatadan ayrıdır

Kod hedefi — henüz öneri

userspace/src/core_tools.rs · os_core_tools_read_file

Mevcut başlangıç referansı

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

Olumlu deney

0 1 513 bayt dosya

Karşı-örnek / hata girdisi

Bozuk handle veya eksik yol

Gerçek konuk kabulü

Dosya hash ve kaynak disk değişmez

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

userspace/tests/core_tools.rs
os_core_tools_read_file_positive
os_core_tools_read_file_negative
scripts/os-acceptance/core_tools.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. 0 1 513 bayt dosya ile Bozuk handle veya eksik yol ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: EOF kısa okuma hatadan ayrıdır.

Uygulanacak işlem

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

Değişmez / korunan bağlam

EOF kısa okuma hatadan ayrıdır

Kod hedefi — henüz öneri

userspace/src/core_tools.rs · os_core_tools_read_file

Mevcut başlangıç referansı

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

Olumlu deney

0 1 513 bayt dosya

Karşı-örnek / hata girdisi

Bozuk handle veya eksik yol

Gerçek konuk kabulü

Dosya hash ve kaynak disk değişmez

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

userspace/tests/core_tools.rs
os_core_tools_read_file_positive
os_core_tools_read_file_negative
scripts/os-acceptance/core_tools.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: EOF kısa okuma hatadan ayrıdır.

Uygulanacak işlem

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

Değişmez / korunan bağlam

EOF kısa okuma hatadan ayrıdır

Kod hedefi — henüz öneri

userspace/src/core_tools.rs · os_core_tools_read_file

Mevcut başlangıç referansı

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

Olumlu deney

0 1 513 bayt dosya

Karşı-örnek / hata girdisi

Bozuk handle veya eksik yol

Gerçek konuk kabulü

Dosya hash ve kaynak disk değişmez

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

userspace/tests/core_tools.rs
os_core_tools_read_file_positive
os_core_tools_read_file_negative
scripts/os-acceptance/core_tools.mjs

Geçiş koşulu

Bozuk handle veya eksik yol karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: EOF kısa okuma hatadan ayrıdır.

Uygulanacak işlem

Tek ürün Image'ında “Dosya hash ve kaynak disk değişmez” kabulünü koştur. scripts/os-acceptance/core_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 okuma hatadan ayrıdır

Kod hedefi — henüz öneri

userspace/src/core_tools.rs · os_core_tools_read_file

Mevcut başlangıç referansı

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

Olumlu deney

0 1 513 bayt dosya

Karşı-örnek / hata girdisi

Bozuk handle veya eksik yol

Gerçek konuk kabulü

Dosya hash ve kaynak disk değişmez

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

userspace/tests/core_tools.rs
os_core_tools_read_file_positive
os_core_tools_read_file_negative
scripts/os-acceptance/core_tools.mjs

Geçiş koşulu

Dosya hash ve kaynak disk değişmez; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Yalnız erişilebilir kayıtlar listelenir.

Uygulanacak işlem

“Ls benzeri dizin aracı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Yalnız erişilebilir kayıtlar listelenir. “İki farklı dizin” kabulü ile “Yetkisiz dizin” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Yalnız erişilebilir kayıtlar listelenir

Kod hedefi — henüz öneri

userspace/src/core_tools.rs · os_core_tools_directory

Mevcut başlangıç referansı

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

Olumlu deney

İki farklı dizin

Karşı-örnek / hata girdisi

Yetkisiz dizin

Gerçek konuk kabulü

Ret tanısı ve kabuk devamı

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

userspace/tests/core_tools.rs
os_core_tools_directory_positive
os_core_tools_directory_negative
scripts/os-acceptance/core_tools.mjs

Geçiş koşulu

Tür ve geçiş tablosu Yalnız erişilebilir kayıtlar listelenir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Yalnız erişilebilir kayıtlar listelenir.

Uygulanacak işlem

userspace/src/core_tools.rs hedefinde os_core_tools_directory 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

Yalnız erişilebilir kayıtlar listelenir

Kod hedefi — henüz öneri

userspace/src/core_tools.rs · os_core_tools_directory

Mevcut başlangıç referansı

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

Olumlu deney

İki farklı dizin

Karşı-örnek / hata girdisi

Yetkisiz dizin

Gerçek konuk kabulü

Ret tanısı ve kabuk devamı

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

userspace/tests/core_tools.rs
os_core_tools_directory_positive
os_core_tools_directory_negative
scripts/os-acceptance/core_tools.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Yalnız erişilebilir kayıtlar listelenir.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Yalnız erişilebilir kayıtlar listelenir

Kod hedefi — henüz öneri

userspace/src/core_tools.rs · os_core_tools_directory

Mevcut başlangıç referansı

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

Olumlu deney

İki farklı dizin

Karşı-örnek / hata girdisi

Yetkisiz dizin

Gerçek konuk kabulü

Ret tanısı ve kabuk devamı

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

userspace/tests/core_tools.rs
os_core_tools_directory_positive
os_core_tools_directory_negative
scripts/os-acceptance/core_tools.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Yalnız erişilebilir kayıtlar listelenir.

Uygulanacak işlem

os_core_tools_directory_negative testini oluştur: “Yetkisiz dizin”. 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

Yalnız erişilebilir kayıtlar listelenir

Kod hedefi — henüz öneri

userspace/src/core_tools.rs · os_core_tools_directory

Mevcut başlangıç referansı

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

Olumlu deney

İki farklı dizin

Karşı-örnek / hata girdisi

Yetkisiz dizin

Gerçek konuk kabulü

Ret tanısı ve kabuk devamı

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

userspace/tests/core_tools.rs
os_core_tools_directory_positive
os_core_tools_directory_negative
scripts/os-acceptance/core_tools.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Yalnız erişilebilir kayıtlar listelenir.

Uygulanacak işlem

Tek ürün Image'ında “Ret tanısı ve kabuk devamı” kabulünü koştur. scripts/os-acceptance/core_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

Yalnız erişilebilir kayıtlar listelenir

Kod hedefi — henüz öneri

userspace/src/core_tools.rs · os_core_tools_directory

Mevcut başlangıç referansı

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

Olumlu deney

İki farklı dizin

Karşı-örnek / hata girdisi

Yetkisiz dizin

Gerçek konuk kabulü

Ret tanısı ve kabuk devamı

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

userspace/tests/core_tools.rs
os_core_tools_directory_positive
os_core_tools_directory_negative
scripts/os-acceptance/core_tools.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Kernel sırları yerine izinli metadata.

Uygulanacak işlem

“Ps ve uptime aracı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Kernel sırları yerine izinli metadata. “Üç süreç ve monoton uptime” kabulü ile “Yabancı adres isteği” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Kernel sırları yerine izinli metadata

Kod hedefi — henüz öneri

userspace/src/core_tools.rs · os_core_tools_process_view

Mevcut başlangıç referansı

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

Olumlu deney

Üç süreç ve monoton uptime

Karşı-örnek / hata girdisi

Yabancı adres isteği

Gerçek konuk kabulü

PID nesil ve süre doğru gösterilir

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

userspace/tests/core_tools.rs
os_core_tools_process_view_positive
os_core_tools_process_view_negative
scripts/os-acceptance/core_tools.mjs

Geçiş koşulu

Tür ve geçiş tablosu Kernel sırları yerine izinli metadata kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Yabancı adres 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/K1300: PASS.

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Kernel sırları yerine izinli metadata.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Kernel sırları yerine izinli metadata

Kod hedefi — henüz öneri

userspace/src/core_tools.rs · os_core_tools_process_view

Mevcut başlangıç referansı

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

Olumlu deney

Üç süreç ve monoton uptime

Karşı-örnek / hata girdisi

Yabancı adres isteği

Gerçek konuk kabulü

PID nesil ve süre doğru gösterilir

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

userspace/tests/core_tools.rs
os_core_tools_process_view_positive
os_core_tools_process_view_negative
scripts/os-acceptance/core_tools.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Üç süreç ve monoton uptime ile Yabancı adres isteği ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Yabancı adres 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/K1300: PASS.

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Kernel sırları yerine izinli metadata.

Uygulanacak işlem

os_core_tools_process_view_positive testini oluştur: “Üç süreç ve monoton uptime”. 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

Kernel sırları yerine izinli metadata

Kod hedefi — henüz öneri

userspace/src/core_tools.rs · os_core_tools_process_view

Mevcut başlangıç referansı

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

Olumlu deney

Üç süreç ve monoton uptime

Karşı-örnek / hata girdisi

Yabancı adres isteği

Gerçek konuk kabulü

PID nesil ve süre doğru gösterilir

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

userspace/tests/core_tools.rs
os_core_tools_process_view_positive
os_core_tools_process_view_negative
scripts/os-acceptance/core_tools.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Üç süreç ve monoton uptime girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Yabancı adres 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/K1300: PASS.

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Kernel sırları yerine izinli metadata.

Uygulanacak işlem

os_core_tools_process_view_negative testini oluştur: “Yabancı adres 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

Kernel sırları yerine izinli metadata

Kod hedefi — henüz öneri

userspace/src/core_tools.rs · os_core_tools_process_view

Mevcut başlangıç referansı

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

Olumlu deney

Üç süreç ve monoton uptime

Karşı-örnek / hata girdisi

Yabancı adres isteği

Gerçek konuk kabulü

PID nesil ve süre doğru gösterilir

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

userspace/tests/core_tools.rs
os_core_tools_process_view_positive
os_core_tools_process_view_negative
scripts/os-acceptance/core_tools.mjs

Geçiş koşulu

Yabancı adres 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üş

“Yabancı adres 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/K1300: PASS.

Profil ve bağlar

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

Sınır

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

Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez. Bu hamlenin koruduğu değişmez: Kernel sırları yerine izinli metadata.

Uygulanacak işlem

Tek ürün Image'ında “PID nesil ve süre doğru gösterilir” kabulünü koştur. scripts/os-acceptance/core_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

Kernel sırları yerine izinli metadata

Kod hedefi — henüz öneri

userspace/src/core_tools.rs · os_core_tools_process_view

Mevcut başlangıç referansı

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

Olumlu deney

Üç süreç ve monoton uptime

Karşı-örnek / hata girdisi

Yabancı adres isteği

Gerçek konuk kabulü

PID nesil ve süre doğru gösterilir

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

userspace/tests/core_tools.rs
os_core_tools_process_view_positive
os_core_tools_process_view_negative
scripts/os-acceptance/core_tools.mjs

Geçiş koşulu

PID nesil ve süre doğru 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üş

“Yabancı adres 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/K1300: PASS.

Profil ve bağlar

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

Sınır

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