Konuk yaşam döngüsü ve güncelleme

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Çalışan PID hizmet hazır demek değildir.

Uygulanacak işlem

“Hizmet ready protokolü” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Çalışan PID hizmet hazır demek değildir. “Servis handshake tamamlar” kabulü ile “PID var ama endpoint yok” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Çalışan PID hizmet hazır demek değildir

Kod hedefi — henüz öneri

userspace/src/service_supervision.rs · os_service_supervision_readiness

Mevcut başlangıç referansı

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

Olumlu deney

Servis handshake tamamlar

Karşı-örnek / hata girdisi

PID var ama endpoint yok

Gerçek konuk kabulü

Timeout ve degraded durum görünür

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

userspace/tests/service_supervision.rs
os_service_supervision_readiness_positive
os_service_supervision_readiness_negative
scripts/os-acceptance/service_supervision.mjs

Geçiş koşulu

Tür ve geçiş tablosu Çalışan PID hizmet hazır demek değildir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Çalışan PID hizmet hazır demek değildir.

Uygulanacak işlem

userspace/src/service_supervision.rs hedefinde os_service_supervision_readiness 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

Çalışan PID hizmet hazır demek değildir

Kod hedefi — henüz öneri

userspace/src/service_supervision.rs · os_service_supervision_readiness

Mevcut başlangıç referansı

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

Olumlu deney

Servis handshake tamamlar

Karşı-örnek / hata girdisi

PID var ama endpoint yok

Gerçek konuk kabulü

Timeout ve degraded durum görünür

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

userspace/tests/service_supervision.rs
os_service_supervision_readiness_positive
os_service_supervision_readiness_negative
scripts/os-acceptance/service_supervision.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Servis handshake tamamlar ile PID var ama endpoint yok ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Çalışan PID hizmet hazır demek değildir.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Çalışan PID hizmet hazır demek değildir

Kod hedefi — henüz öneri

userspace/src/service_supervision.rs · os_service_supervision_readiness

Mevcut başlangıç referansı

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

Olumlu deney

Servis handshake tamamlar

Karşı-örnek / hata girdisi

PID var ama endpoint yok

Gerçek konuk kabulü

Timeout ve degraded durum görünür

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

userspace/tests/service_supervision.rs
os_service_supervision_readiness_positive
os_service_supervision_readiness_negative
scripts/os-acceptance/service_supervision.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Çalışan PID hizmet hazır demek değildir.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Çalışan PID hizmet hazır demek değildir

Kod hedefi — henüz öneri

userspace/src/service_supervision.rs · os_service_supervision_readiness

Mevcut başlangıç referansı

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

Olumlu deney

Servis handshake tamamlar

Karşı-örnek / hata girdisi

PID var ama endpoint yok

Gerçek konuk kabulü

Timeout ve degraded durum görünür

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

userspace/tests/service_supervision.rs
os_service_supervision_readiness_positive
os_service_supervision_readiness_negative
scripts/os-acceptance/service_supervision.mjs

Geçiş koşulu

PID var ama endpoint yok 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Çalışan PID hizmet hazır demek değildir.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Çalışan PID hizmet hazır demek değildir

Kod hedefi — henüz öneri

userspace/src/service_supervision.rs · os_service_supervision_readiness

Mevcut başlangıç referansı

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

Olumlu deney

Servis handshake tamamlar

Karşı-örnek / hata girdisi

PID var ama endpoint yok

Gerçek konuk kabulü

Timeout ve degraded durum görünür

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

userspace/tests/service_supervision.rs
os_service_supervision_readiness_positive
os_service_supervision_readiness_negative
scripts/os-acceptance/service_supervision.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Health polling servisi yeniden başlatma fırtınası yapmaz.

Uygulanacak işlem

“Sınırlı health kontrolü” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Health polling servisi yeniden başlatma fırtınası yapmaz. “Üç kontrollü health yanıtı” kabulü ile “Yanıtsız veya geciken reply” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Health polling servisi yeniden başlatma fırtınası yapmaz

Kod hedefi — henüz öneri

userspace/src/service_supervision.rs · os_service_supervision_health

Mevcut başlangıç referansı

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

Olumlu deney

Üç kontrollü health yanıtı

Karşı-örnek / hata girdisi

Yanıtsız veya geciken reply

Gerçek konuk kabulü

Budget ve restart nedeni kaydedilir

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

userspace/tests/service_supervision.rs
os_service_supervision_health_positive
os_service_supervision_health_negative
scripts/os-acceptance/service_supervision.mjs

Geçiş koşulu

Tür ve geçiş tablosu Health polling servisi yeniden başlatma fırtınası 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Health polling servisi yeniden başlatma fırtınası yapmaz.

Uygulanacak işlem

userspace/src/service_supervision.rs hedefinde os_service_supervision_health 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

Health polling servisi yeniden başlatma fırtınası yapmaz

Kod hedefi — henüz öneri

userspace/src/service_supervision.rs · os_service_supervision_health

Mevcut başlangıç referansı

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

Olumlu deney

Üç kontrollü health yanıtı

Karşı-örnek / hata girdisi

Yanıtsız veya geciken reply

Gerçek konuk kabulü

Budget ve restart nedeni kaydedilir

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

userspace/tests/service_supervision.rs
os_service_supervision_health_positive
os_service_supervision_health_negative
scripts/os-acceptance/service_supervision.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Üç kontrollü health yanıtı ile Yanıtsız veya geciken reply ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Health polling servisi yeniden başlatma fırtınası yapmaz.

Uygulanacak işlem

os_service_supervision_health_positive testini oluştur: “Üç kontrollü health yanıtı”. 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

Health polling servisi yeniden başlatma fırtınası yapmaz

Kod hedefi — henüz öneri

userspace/src/service_supervision.rs · os_service_supervision_health

Mevcut başlangıç referansı

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

Olumlu deney

Üç kontrollü health yanıtı

Karşı-örnek / hata girdisi

Yanıtsız veya geciken reply

Gerçek konuk kabulü

Budget ve restart nedeni kaydedilir

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

userspace/tests/service_supervision.rs
os_service_supervision_health_positive
os_service_supervision_health_negative
scripts/os-acceptance/service_supervision.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Üç kontrollü health yanıtı girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Health polling servisi yeniden başlatma fırtınası yapmaz.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Health polling servisi yeniden başlatma fırtınası yapmaz

Kod hedefi — henüz öneri

userspace/src/service_supervision.rs · os_service_supervision_health

Mevcut başlangıç referansı

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

Olumlu deney

Üç kontrollü health yanıtı

Karşı-örnek / hata girdisi

Yanıtsız veya geciken reply

Gerçek konuk kabulü

Budget ve restart nedeni kaydedilir

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

userspace/tests/service_supervision.rs
os_service_supervision_health_positive
os_service_supervision_health_negative
scripts/os-acceptance/service_supervision.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Health polling servisi yeniden başlatma fırtınası yapmaz.

Uygulanacak işlem

Tek ürün Image'ında “Budget ve restart nedeni kaydedilir” kabulünü koştur. scripts/os-acceptance/service_supervision.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

Health polling servisi yeniden başlatma fırtınası yapmaz

Kod hedefi — henüz öneri

userspace/src/service_supervision.rs · os_service_supervision_health

Mevcut başlangıç referansı

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

Olumlu deney

Üç kontrollü health yanıtı

Karşı-örnek / hata girdisi

Yanıtsız veya geciken reply

Gerçek konuk kabulü

Budget ve restart nedeni kaydedilir

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

userspace/tests/service_supervision.rs
os_service_supervision_health_positive
os_service_supervision_health_negative
scripts/os-acceptance/service_supervision.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Consumer durmadan provider sökülmez.

Uygulanacak işlem

“Bağımlılık tersine stop sırası” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Consumer durmadan provider sökülmez. “Shell file console sırası” kabulü ile “Provider önce kapatılır” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Consumer durmadan provider sökülmez

Kod hedefi — henüz öneri

userspace/src/service_supervision.rs · os_service_supervision_dependency_stop

Mevcut başlangıç referansı

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

Olumlu deney

Shell file console sırası

Karşı-örnek / hata girdisi

Provider önce kapatılır

Gerçek konuk kabulü

Bekleyen istemciler tanımlı cevap alır

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

userspace/tests/service_supervision.rs
os_service_supervision_dependency_stop_positive
os_service_supervision_dependency_stop_negative
scripts/os-acceptance/service_supervision.mjs

Geçiş koşulu

Tür ve geçiş tablosu Consumer durmadan provider sökülmez kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Consumer durmadan provider sökülmez.

Uygulanacak işlem

userspace/src/service_supervision.rs hedefinde os_service_supervision_dependency_stop 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

Consumer durmadan provider sökülmez

Kod hedefi — henüz öneri

userspace/src/service_supervision.rs · os_service_supervision_dependency_stop

Mevcut başlangıç referansı

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

Olumlu deney

Shell file console sırası

Karşı-örnek / hata girdisi

Provider önce kapatılır

Gerçek konuk kabulü

Bekleyen istemciler tanımlı cevap alır

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

userspace/tests/service_supervision.rs
os_service_supervision_dependency_stop_positive
os_service_supervision_dependency_stop_negative
scripts/os-acceptance/service_supervision.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Shell file console sırası ile Provider önce kapatılır ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Consumer durmadan provider sökülmez.

Uygulanacak işlem

os_service_supervision_dependency_stop_positive testini oluştur: “Shell file console sırası”. 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

Consumer durmadan provider sökülmez

Kod hedefi — henüz öneri

userspace/src/service_supervision.rs · os_service_supervision_dependency_stop

Mevcut başlangıç referansı

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

Olumlu deney

Shell file console sırası

Karşı-örnek / hata girdisi

Provider önce kapatılır

Gerçek konuk kabulü

Bekleyen istemciler tanımlı cevap alır

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

userspace/tests/service_supervision.rs
os_service_supervision_dependency_stop_positive
os_service_supervision_dependency_stop_negative
scripts/os-acceptance/service_supervision.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Shell file console sırası girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Consumer durmadan provider sökülmez.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Consumer durmadan provider sökülmez

Kod hedefi — henüz öneri

userspace/src/service_supervision.rs · os_service_supervision_dependency_stop

Mevcut başlangıç referansı

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

Olumlu deney

Shell file console sırası

Karşı-örnek / hata girdisi

Provider önce kapatılır

Gerçek konuk kabulü

Bekleyen istemciler tanımlı cevap alır

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

userspace/tests/service_supervision.rs
os_service_supervision_dependency_stop_positive
os_service_supervision_dependency_stop_negative
scripts/os-acceptance/service_supervision.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Consumer durmadan provider sökülmez.

Uygulanacak işlem

Tek ürün Image'ında “Bekleyen istemciler tanımlı cevap alır” kabulünü koştur. scripts/os-acceptance/service_supervision.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

Consumer durmadan provider sökülmez

Kod hedefi — henüz öneri

userspace/src/service_supervision.rs · os_service_supervision_dependency_stop

Mevcut başlangıç referansı

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

Olumlu deney

Shell file console sırası

Karşı-örnek / hata girdisi

Provider önce kapatılır

Gerçek konuk kabulü

Bekleyen istemciler tanımlı cevap alır

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

userspace/tests/service_supervision.rs
os_service_supervision_dependency_stop_positive
os_service_supervision_dependency_stop_negative
scripts/os-acceptance/service_supervision.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Restart sınırı kaynak tüketimini durdurur.

Uygulanacak işlem

“Hizmet crash loop karantinası” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Restart sınırı kaynak tüketimini durdurur. “Üç hızlı servis crash” kabulü ile “Eski PID health yanıtı” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Restart sınırı kaynak tüketimini durdurur

Kod hedefi — henüz öneri

userspace/src/service_supervision.rs · os_service_supervision_crash_loop

Mevcut başlangıç referansı

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

Olumlu deney

Üç hızlı servis crash

Karşı-örnek / hata girdisi

Eski PID health yanıtı

Gerçek konuk kabulü

Karantina ve recovery seçeneği açık

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

userspace/tests/service_supervision.rs
os_service_supervision_crash_loop_positive
os_service_supervision_crash_loop_negative
scripts/os-acceptance/service_supervision.mjs

Geçiş koşulu

Tür ve geçiş tablosu Restart sınırı kaynak tüketimini durdurur kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Restart sınırı kaynak tüketimini durdurur.

Uygulanacak işlem

userspace/src/service_supervision.rs hedefinde os_service_supervision_crash_loop 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

Restart sınırı kaynak tüketimini durdurur

Kod hedefi — henüz öneri

userspace/src/service_supervision.rs · os_service_supervision_crash_loop

Mevcut başlangıç referansı

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

Olumlu deney

Üç hızlı servis crash

Karşı-örnek / hata girdisi

Eski PID health yanıtı

Gerçek konuk kabulü

Karantina ve recovery seçeneği açık

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

userspace/tests/service_supervision.rs
os_service_supervision_crash_loop_positive
os_service_supervision_crash_loop_negative
scripts/os-acceptance/service_supervision.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Üç hızlı servis crash ile Eski PID health yanıtı ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Restart sınırı kaynak tüketimini durdurur.

Uygulanacak işlem

os_service_supervision_crash_loop_positive testini oluştur: “Üç hızlı servis crash”. 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

Restart sınırı kaynak tüketimini durdurur

Kod hedefi — henüz öneri

userspace/src/service_supervision.rs · os_service_supervision_crash_loop

Mevcut başlangıç referansı

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

Olumlu deney

Üç hızlı servis crash

Karşı-örnek / hata girdisi

Eski PID health yanıtı

Gerçek konuk kabulü

Karantina ve recovery seçeneği açık

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

userspace/tests/service_supervision.rs
os_service_supervision_crash_loop_positive
os_service_supervision_crash_loop_negative
scripts/os-acceptance/service_supervision.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Üç hızlı servis crash girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Restart sınırı kaynak tüketimini durdurur.

Uygulanacak işlem

os_service_supervision_crash_loop_negative testini oluştur: “Eski PID health yanıtı”. 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

Restart sınırı kaynak tüketimini durdurur

Kod hedefi — henüz öneri

userspace/src/service_supervision.rs · os_service_supervision_crash_loop

Mevcut başlangıç referansı

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

Olumlu deney

Üç hızlı servis crash

Karşı-örnek / hata girdisi

Eski PID health yanıtı

Gerçek konuk kabulü

Karantina ve recovery seçeneği açık

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

userspace/tests/service_supervision.rs
os_service_supervision_crash_loop_positive
os_service_supervision_crash_loop_negative
scripts/os-acceptance/service_supervision.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Restart sınırı kaynak tüketimini durdurur.

Uygulanacak işlem

Tek ürün Image'ında “Karantina ve recovery seçeneği açık” kabulünü koştur. scripts/os-acceptance/service_supervision.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

Restart sınırı kaynak tüketimini durdurur

Kod hedefi — henüz öneri

userspace/src/service_supervision.rs · os_service_supervision_crash_loop

Mevcut başlangıç referansı

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

Olumlu deney

Üç hızlı servis crash

Karşı-örnek / hata girdisi

Eski PID health yanıtı

Gerçek konuk kabulü

Karantina ve recovery seçeneği açık

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

userspace/tests/service_supervision.rs
os_service_supervision_crash_loop_positive
os_service_supervision_crash_loop_negative
scripts/os-acceptance/service_supervision.mjs

Geçiş koşulu

Karantina ve recovery seçeneği açık; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Kullanıcı program keyfi systemoff yapamaz.

Uygulanacak işlem

“Power yönetim yetkisi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Kullanıcı program keyfi systemoff yapamaz. “Yetkili PID1 isteği” kabulü ile “Yetkisiz shell aracı” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Kullanıcı program keyfi systemoff yapamaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/guest_power.rs · os_guest_power_capability

Mevcut başlangıç referansı

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

Olumlu deney

Yetkili PID1 isteği

Karşı-örnek / hata girdisi

Yetkisiz shell aracı

Gerçek konuk kabulü

Ret sonrası bütün süreçler çalışır

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

kernel/tests/os/guest_power.rs
os_guest_power_capability_positive
os_guest_power_capability_negative
scripts/os-acceptance/guest_power.mjs

Geçiş koşulu

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Kullanıcı program keyfi systemoff yapamaz.

Uygulanacak işlem

kernel/src/arch/aarch64/guest_power.rs hedefinde os_guest_power_capability yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/bootinfo.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ı program keyfi systemoff yapamaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/guest_power.rs · os_guest_power_capability

Mevcut başlangıç referansı

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

Olumlu deney

Yetkili PID1 isteği

Karşı-örnek / hata girdisi

Yetkisiz shell aracı

Gerçek konuk kabulü

Ret sonrası bütün süreçler çalışır

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

kernel/tests/os/guest_power.rs
os_guest_power_capability_positive
os_guest_power_capability_negative
scripts/os-acceptance/guest_power.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Yetkili PID1 isteği ile Yetkisiz shell aracı ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Kullanıcı program keyfi systemoff yapamaz.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Kullanıcı program keyfi systemoff yapamaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/guest_power.rs · os_guest_power_capability

Mevcut başlangıç referansı

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

Olumlu deney

Yetkili PID1 isteği

Karşı-örnek / hata girdisi

Yetkisiz shell aracı

Gerçek konuk kabulü

Ret sonrası bütün süreçler çalışır

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

kernel/tests/os/guest_power.rs
os_guest_power_capability_positive
os_guest_power_capability_negative
scripts/os-acceptance/guest_power.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Kullanıcı program keyfi systemoff yapamaz.

Uygulanacak işlem

os_guest_power_capability_negative testini oluştur: “Yetkisiz shell aracı”. 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ı program keyfi systemoff yapamaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/guest_power.rs · os_guest_power_capability

Mevcut başlangıç referansı

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

Olumlu deney

Yetkili PID1 isteği

Karşı-örnek / hata girdisi

Yetkisiz shell aracı

Gerçek konuk kabulü

Ret sonrası bütün süreçler çalışır

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

kernel/tests/os/guest_power.rs
os_guest_power_capability_positive
os_guest_power_capability_negative
scripts/os-acceptance/guest_power.mjs

Geçiş koşulu

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Kullanıcı program keyfi systemoff yapamaz.

Uygulanacak işlem

Tek ürün Image'ında “Ret sonrası bütün süreçler çalışır” kabulünü koştur. scripts/os-acceptance/guest_power.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ı program keyfi systemoff yapamaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/guest_power.rs · os_guest_power_capability

Mevcut başlangıç referansı

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

Olumlu deney

Yetkili PID1 isteği

Karşı-örnek / hata girdisi

Yetkisiz shell aracı

Gerçek konuk kabulü

Ret sonrası bütün süreçler çalışır

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

kernel/tests/os/guest_power.rs
os_guest_power_capability_positive
os_guest_power_capability_negative
scripts/os-acceptance/guest_power.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Destek ve conduit kontrol edilir.

Uygulanacak işlem

“PSCI SYSTEMOFF yolu” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Destek ve conduit kontrol edilir. “Destekli virt konuk” kabulü ile “PSCI yok veya unsupported” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Destek ve conduit kontrol edilir

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/guest_power.rs · os_guest_power_psci_off

Mevcut başlangıç referansı

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

Olumlu deney

Destekli virt konuk

Karşı-örnek / hata girdisi

PSCI yok veya unsupported

Gerçek konuk kabulü

Konuk tanısı host quit ile karışmaz

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

kernel/tests/os/guest_power.rs
os_guest_power_psci_off_positive
os_guest_power_psci_off_negative
scripts/os-acceptance/guest_power.mjs

Geçiş koşulu

Tür ve geçiş tablosu Destek ve conduit kontrol edilir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Destek ve conduit kontrol edilir.

Uygulanacak işlem

kernel/src/arch/aarch64/guest_power.rs hedefinde os_guest_power_psci_off yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/bootinfo.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

Destek ve conduit kontrol edilir

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/guest_power.rs · os_guest_power_psci_off

Mevcut başlangıç referansı

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

Olumlu deney

Destekli virt konuk

Karşı-örnek / hata girdisi

PSCI yok veya unsupported

Gerçek konuk kabulü

Konuk tanısı host quit ile karışmaz

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

kernel/tests/os/guest_power.rs
os_guest_power_psci_off_positive
os_guest_power_psci_off_negative
scripts/os-acceptance/guest_power.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Destekli virt konuk ile PSCI yok veya unsupported ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Destek ve conduit kontrol edilir.

Uygulanacak işlem

os_guest_power_psci_off_positive testini oluştur: “Destekli virt konuk”. 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

Destek ve conduit kontrol edilir

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/guest_power.rs · os_guest_power_psci_off

Mevcut başlangıç referansı

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

Olumlu deney

Destekli virt konuk

Karşı-örnek / hata girdisi

PSCI yok veya unsupported

Gerçek konuk kabulü

Konuk tanısı host quit ile karışmaz

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

kernel/tests/os/guest_power.rs
os_guest_power_psci_off_positive
os_guest_power_psci_off_negative
scripts/os-acceptance/guest_power.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Destek ve conduit kontrol edilir.

Uygulanacak işlem

os_guest_power_psci_off_negative testini oluştur: “PSCI yok veya unsupported”. 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

Destek ve conduit kontrol edilir

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/guest_power.rs · os_guest_power_psci_off

Mevcut başlangıç referansı

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

Olumlu deney

Destekli virt konuk

Karşı-örnek / hata girdisi

PSCI yok veya unsupported

Gerçek konuk kabulü

Konuk tanısı host quit ile karışmaz

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

kernel/tests/os/guest_power.rs
os_guest_power_psci_off_positive
os_guest_power_psci_off_negative
scripts/os-acceptance/guest_power.mjs

Geçiş koşulu

PSCI yok veya unsupported 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Destek ve conduit kontrol edilir.

Uygulanacak işlem

Tek ürün Image'ında “Konuk tanısı host quit ile karışmaz” kabulünü koştur. scripts/os-acceptance/guest_power.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

Destek ve conduit kontrol edilir

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/guest_power.rs · os_guest_power_psci_off

Mevcut başlangıç referansı

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

Olumlu deney

Destekli virt konuk

Karşı-örnek / hata girdisi

PSCI yok veya unsupported

Gerçek konuk kabulü

Konuk tanısı host quit ile karışmaz

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

kernel/tests/os/guest_power.rs
os_guest_power_psci_off_positive
os_guest_power_psci_off_negative
scripts/os-acceptance/guest_power.mjs

Geçiş koşulu

Konuk tanısı host quit ile karışmaz; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Reset yeni boot kimliği üretir.

Uygulanacak işlem

“PSCI SYSTEMRESET yolu” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Reset yeni boot kimliği üretir. “Kontrollü konuk reboot” kabulü ile “Eski boot log tekrar kullanılır” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Reset yeni boot kimliği üretir

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/guest_power.rs · os_guest_power_psci_reset

Mevcut başlangıç referansı

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

Olumlu deney

Kontrollü konuk reboot

Karşı-örnek / hata girdisi

Eski boot log tekrar kullanılır

Gerçek konuk kabulü

Yeni BOOT0 eski kayıttan ayrılır

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

kernel/tests/os/guest_power.rs
os_guest_power_psci_reset_positive
os_guest_power_psci_reset_negative
scripts/os-acceptance/guest_power.mjs

Geçiş koşulu

Tür ve geçiş tablosu Reset yeni boot kimliği ü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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Reset yeni boot kimliği üretir.

Uygulanacak işlem

kernel/src/arch/aarch64/guest_power.rs hedefinde os_guest_power_psci_reset yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/bootinfo.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

Reset yeni boot kimliği üretir

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/guest_power.rs · os_guest_power_psci_reset

Mevcut başlangıç referansı

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

Olumlu deney

Kontrollü konuk reboot

Karşı-örnek / hata girdisi

Eski boot log tekrar kullanılır

Gerçek konuk kabulü

Yeni BOOT0 eski kayıttan ayrılır

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

kernel/tests/os/guest_power.rs
os_guest_power_psci_reset_positive
os_guest_power_psci_reset_negative
scripts/os-acceptance/guest_power.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Kontrollü konuk reboot ile Eski boot log tekrar kullanılır ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Reset yeni boot kimliği üretir.

Uygulanacak işlem

os_guest_power_psci_reset_positive testini oluştur: “Kontrollü konuk reboot”. 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

Reset yeni boot kimliği üretir

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/guest_power.rs · os_guest_power_psci_reset

Mevcut başlangıç referansı

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

Olumlu deney

Kontrollü konuk reboot

Karşı-örnek / hata girdisi

Eski boot log tekrar kullanılır

Gerçek konuk kabulü

Yeni BOOT0 eski kayıttan ayrılır

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

kernel/tests/os/guest_power.rs
os_guest_power_psci_reset_positive
os_guest_power_psci_reset_negative
scripts/os-acceptance/guest_power.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Reset yeni boot kimliği üretir.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Reset yeni boot kimliği üretir

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/guest_power.rs · os_guest_power_psci_reset

Mevcut başlangıç referansı

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

Olumlu deney

Kontrollü konuk reboot

Karşı-örnek / hata girdisi

Eski boot log tekrar kullanılır

Gerçek konuk kabulü

Yeni BOOT0 eski kayıttan ayrılır

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

kernel/tests/os/guest_power.rs
os_guest_power_psci_reset_positive
os_guest_power_psci_reset_negative
scripts/os-acceptance/guest_power.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Reset yeni boot kimliği üretir.

Uygulanacak işlem

Tek ürün Image'ında “Yeni BOOT0 eski kayıttan ayrılır” kabulünü koştur. scripts/os-acceptance/guest_power.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

Reset yeni boot kimliği üretir

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/guest_power.rs · os_guest_power_psci_reset

Mevcut başlangıç referansı

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

Olumlu deney

Kontrollü konuk reboot

Karşı-örnek / hata girdisi

Eski boot log tekrar kullanılır

Gerçek konuk kabulü

Yeni BOOT0 eski kayıttan ayrılır

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

kernel/tests/os/guest_power.rs
os_guest_power_psci_reset_positive
os_guest_power_psci_reset_negative
scripts/os-acceptance/guest_power.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Başarısız reset başarı diye raporlanmaz.

Uygulanacak işlem

“Desteksiz power yolu” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Başarısız reset başarı diye raporlanmaz. “Systemoff desteklenmeyen profil” kabulü ile “Sonsuz retry döngüsü” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Başarısız reset başarı diye raporlanmaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/guest_power.rs · os_guest_power_fallback

Mevcut başlangıç referansı

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

Olumlu deney

Systemoff desteklenmeyen profil

Karşı-örnek / hata girdisi

Sonsuz retry döngüsü

Gerçek konuk kabulü

Park degraded tanısı ve host timeout ayrı

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

kernel/tests/os/guest_power.rs
os_guest_power_fallback_positive
os_guest_power_fallback_negative
scripts/os-acceptance/guest_power.mjs

Geçiş koşulu

Tür ve geçiş tablosu Başarısız reset başarı diye raporlanmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Sonsuz retry 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/K2140: PASS.

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Başarısız reset başarı diye raporlanmaz.

Uygulanacak işlem

kernel/src/arch/aarch64/guest_power.rs hedefinde os_guest_power_fallback yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/bootinfo.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şarısız reset başarı diye raporlanmaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/guest_power.rs · os_guest_power_fallback

Mevcut başlangıç referansı

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

Olumlu deney

Systemoff desteklenmeyen profil

Karşı-örnek / hata girdisi

Sonsuz retry döngüsü

Gerçek konuk kabulü

Park degraded tanısı ve host timeout ayrı

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

kernel/tests/os/guest_power.rs
os_guest_power_fallback_positive
os_guest_power_fallback_negative
scripts/os-acceptance/guest_power.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Systemoff desteklenmeyen profil ile Sonsuz retry döngüsü ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Sonsuz retry 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/K2140: PASS.

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Başarısız reset başarı diye raporlanmaz.

Uygulanacak işlem

os_guest_power_fallback_positive testini oluştur: “Systemoff desteklenmeyen profil”. 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şarısız reset başarı diye raporlanmaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/guest_power.rs · os_guest_power_fallback

Mevcut başlangıç referansı

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

Olumlu deney

Systemoff desteklenmeyen profil

Karşı-örnek / hata girdisi

Sonsuz retry döngüsü

Gerçek konuk kabulü

Park degraded tanısı ve host timeout ayrı

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

kernel/tests/os/guest_power.rs
os_guest_power_fallback_positive
os_guest_power_fallback_negative
scripts/os-acceptance/guest_power.mjs

Geçiş koşulu

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

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

“Sonsuz retry 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/K2140: PASS.

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Başarısız reset başarı diye raporlanmaz.

Uygulanacak işlem

os_guest_power_fallback_negative testini oluştur: “Sonsuz retry 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

Başarısız reset başarı diye raporlanmaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/guest_power.rs · os_guest_power_fallback

Mevcut başlangıç referansı

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

Olumlu deney

Systemoff desteklenmeyen profil

Karşı-örnek / hata girdisi

Sonsuz retry döngüsü

Gerçek konuk kabulü

Park degraded tanısı ve host timeout ayrı

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

kernel/tests/os/guest_power.rs
os_guest_power_fallback_positive
os_guest_power_fallback_negative
scripts/os-acceptance/guest_power.mjs

Geçiş koşulu

Sonsuz retry 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üş

“Sonsuz retry 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/K2140: PASS.

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Başarısız reset başarı diye raporlanmaz.

Uygulanacak işlem

Tek ürün Image'ında “Park degraded tanısı ve host timeout ayrı” kabulünü koştur. scripts/os-acceptance/guest_power.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şarısız reset başarı diye raporlanmaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/guest_power.rs · os_guest_power_fallback

Mevcut başlangıç referansı

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

Olumlu deney

Systemoff desteklenmeyen profil

Karşı-örnek / hata girdisi

Sonsuz retry döngüsü

Gerçek konuk kabulü

Park degraded tanısı ve host timeout ayrı

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

kernel/tests/os/guest_power.rs
os_guest_power_fallback_positive
os_guest_power_fallback_negative
scripts/os-acceptance/guest_power.mjs

Geçiş koşulu

Park degraded tanısı ve host timeout ayrı; 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üş

“Sonsuz retry 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/K2140: PASS.

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Shutdown sonrası yeni write alınmaz.

Uygulanacak işlem

“Yeni yazı kabulünü durdurma” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Shutdown sonrası yeni write alınmaz. “Mevcut iki write drain” kabulü ile “Yeni client write yarışı” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Shutdown sonrası yeni write alınmaz

Kod hedefi — henüz öneri

kernel/src/runtime/shutdown_io.rs · os_shutdown_io_quiesce

Mevcut başlangıç referansı

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

Olumlu deney

Mevcut iki write drain

Karşı-örnek / hata girdisi

Yeni client write yarışı

Gerçek konuk kabulü

ESHUTDOWN eski işlerin sonucunu korur

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

kernel/tests/os/shutdown_io.rs
os_shutdown_io_quiesce_positive
os_shutdown_io_quiesce_negative
scripts/os-acceptance/shutdown_io.mjs

Geçiş koşulu

Tür ve geçiş tablosu Shutdown sonrası yeni write alınmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Shutdown sonrası yeni write alınmaz.

Uygulanacak işlem

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

Shutdown sonrası yeni write alınmaz

Kod hedefi — henüz öneri

kernel/src/runtime/shutdown_io.rs · os_shutdown_io_quiesce

Mevcut başlangıç referansı

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

Olumlu deney

Mevcut iki write drain

Karşı-örnek / hata girdisi

Yeni client write yarışı

Gerçek konuk kabulü

ESHUTDOWN eski işlerin sonucunu korur

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

kernel/tests/os/shutdown_io.rs
os_shutdown_io_quiesce_positive
os_shutdown_io_quiesce_negative
scripts/os-acceptance/shutdown_io.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Mevcut iki write drain ile Yeni client write yarışı ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Shutdown sonrası yeni write alınmaz.

Uygulanacak işlem

os_shutdown_io_quiesce_positive testini oluştur: “Mevcut iki write drain”. 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

Shutdown sonrası yeni write alınmaz

Kod hedefi — henüz öneri

kernel/src/runtime/shutdown_io.rs · os_shutdown_io_quiesce

Mevcut başlangıç referansı

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

Olumlu deney

Mevcut iki write drain

Karşı-örnek / hata girdisi

Yeni client write yarışı

Gerçek konuk kabulü

ESHUTDOWN eski işlerin sonucunu korur

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

kernel/tests/os/shutdown_io.rs
os_shutdown_io_quiesce_positive
os_shutdown_io_quiesce_negative
scripts/os-acceptance/shutdown_io.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Shutdown sonrası yeni write alınmaz.

Uygulanacak işlem

os_shutdown_io_quiesce_negative testini oluştur: “Yeni client write yarışı”. 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

Shutdown sonrası yeni write alınmaz

Kod hedefi — henüz öneri

kernel/src/runtime/shutdown_io.rs · os_shutdown_io_quiesce

Mevcut başlangıç referansı

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

Olumlu deney

Mevcut iki write drain

Karşı-örnek / hata girdisi

Yeni client write yarışı

Gerçek konuk kabulü

ESHUTDOWN eski işlerin sonucunu korur

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

kernel/tests/os/shutdown_io.rs
os_shutdown_io_quiesce_positive
os_shutdown_io_quiesce_negative
scripts/os-acceptance/shutdown_io.mjs

Geçiş koşulu

Yeni client write yarışı 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Shutdown sonrası yeni write alınmaz.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Shutdown sonrası yeni write alınmaz

Kod hedefi — henüz öneri

kernel/src/runtime/shutdown_io.rs · os_shutdown_io_quiesce

Mevcut başlangıç referansı

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

Olumlu deney

Mevcut iki write drain

Karşı-örnek / hata girdisi

Yeni client write yarışı

Gerçek konuk kabulü

ESHUTDOWN eski işlerin sonucunu korur

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

kernel/tests/os/shutdown_io.rs
os_shutdown_io_quiesce_positive
os_shutdown_io_quiesce_negative
scripts/os-acceptance/shutdown_io.mjs

Geçiş koşulu

ESHUTDOWN eski işlerin sonucunu korur; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Tamamlanan flush ile süreç quit ayrıdır.

Uygulanacak işlem

“Kapanış flush kabulü” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Tamamlanan flush ile süreç quit ayrıdır. “Data metadata journal flush” kabulü ile “Flush EIO veya timeout” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Tamamlanan flush ile süreç quit ayrıdır

Kod hedefi — henüz öneri

kernel/src/runtime/shutdown_io.rs · os_shutdown_io_flush

Mevcut başlangıç referansı

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

Olumlu deney

Data metadata journal flush

Karşı-örnek / hata girdisi

Flush EIO veya timeout

Gerçek konuk kabulü

Clean shutdown etiketi verilmez

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

kernel/tests/os/shutdown_io.rs
os_shutdown_io_flush_positive
os_shutdown_io_flush_negative
scripts/os-acceptance/shutdown_io.mjs

Geçiş koşulu

Tür ve geçiş tablosu Tamamlanan flush ile süreç quit 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Tamamlanan flush ile süreç quit ayrıdır.

Uygulanacak işlem

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

Tamamlanan flush ile süreç quit ayrıdır

Kod hedefi — henüz öneri

kernel/src/runtime/shutdown_io.rs · os_shutdown_io_flush

Mevcut başlangıç referansı

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

Olumlu deney

Data metadata journal flush

Karşı-örnek / hata girdisi

Flush EIO veya timeout

Gerçek konuk kabulü

Clean shutdown etiketi verilmez

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

kernel/tests/os/shutdown_io.rs
os_shutdown_io_flush_positive
os_shutdown_io_flush_negative
scripts/os-acceptance/shutdown_io.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Data metadata journal flush ile Flush EIO veya timeout ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Tamamlanan flush ile süreç quit ayrıdır.

Uygulanacak işlem

os_shutdown_io_flush_positive testini oluştur: “Data metadata journal flush”. 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

Tamamlanan flush ile süreç quit ayrıdır

Kod hedefi — henüz öneri

kernel/src/runtime/shutdown_io.rs · os_shutdown_io_flush

Mevcut başlangıç referansı

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

Olumlu deney

Data metadata journal flush

Karşı-örnek / hata girdisi

Flush EIO veya timeout

Gerçek konuk kabulü

Clean shutdown etiketi verilmez

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

kernel/tests/os/shutdown_io.rs
os_shutdown_io_flush_positive
os_shutdown_io_flush_negative
scripts/os-acceptance/shutdown_io.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Data metadata journal flush girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Tamamlanan flush ile süreç quit ayrıdır.

Uygulanacak işlem

os_shutdown_io_flush_negative testini oluştur: “Flush EIO veya timeout”. 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

Tamamlanan flush ile süreç quit ayrıdır

Kod hedefi — henüz öneri

kernel/src/runtime/shutdown_io.rs · os_shutdown_io_flush

Mevcut başlangıç referansı

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

Olumlu deney

Data metadata journal flush

Karşı-örnek / hata girdisi

Flush EIO veya timeout

Gerçek konuk kabulü

Clean shutdown etiketi verilmez

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

kernel/tests/os/shutdown_io.rs
os_shutdown_io_flush_positive
os_shutdown_io_flush_negative
scripts/os-acceptance/shutdown_io.mjs

Geçiş koşulu

Flush EIO veya timeout 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Tamamlanan flush ile süreç quit ayrıdır.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Tamamlanan flush ile süreç quit ayrıdır

Kod hedefi — henüz öneri

kernel/src/runtime/shutdown_io.rs · os_shutdown_io_flush

Mevcut başlangıç referansı

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

Olumlu deney

Data metadata journal flush

Karşı-örnek / hata girdisi

Flush EIO veya timeout

Gerçek konuk kabulü

Clean shutdown etiketi verilmez

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

kernel/tests/os/shutdown_io.rs
os_shutdown_io_flush_positive
os_shutdown_io_flush_negative
scripts/os-acceptance/shutdown_io.mjs

Geçiş koşulu

Clean shutdown etiketi verilmez; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Her aygıt reset ve lease ömrü kapanır.

Uygulanacak işlem

“IRQ DMA thread drain” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Her aygıt reset ve lease ömrü kapanır. “Aktif network ve disk queues” kabulü ile “DMA canlıyken owner free” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Her aygıt reset ve lease ömrü kapanır

Kod hedefi — henüz öneri

kernel/src/runtime/shutdown_io.rs · os_shutdown_io_leases

Mevcut başlangıç referansı

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

Olumlu deney

Aktif network ve disk queues

Karşı-örnek / hata girdisi

DMA canlıyken owner free

Gerçek konuk kabulü

Kapanış muhasebesi sıfır veya açık held

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

kernel/tests/os/shutdown_io.rs
os_shutdown_io_leases_positive
os_shutdown_io_leases_negative
scripts/os-acceptance/shutdown_io.mjs

Geçiş koşulu

Tür ve geçiş tablosu Her aygıt reset ve lease ömrü kapanır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Her aygıt reset ve lease ömrü kapanır.

Uygulanacak işlem

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

Her aygıt reset ve lease ömrü kapanır

Kod hedefi — henüz öneri

kernel/src/runtime/shutdown_io.rs · os_shutdown_io_leases

Mevcut başlangıç referansı

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

Olumlu deney

Aktif network ve disk queues

Karşı-örnek / hata girdisi

DMA canlıyken owner free

Gerçek konuk kabulü

Kapanış muhasebesi sıfır veya açık held

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

kernel/tests/os/shutdown_io.rs
os_shutdown_io_leases_positive
os_shutdown_io_leases_negative
scripts/os-acceptance/shutdown_io.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Aktif network ve disk queues ile DMA canlıyken owner free ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Her aygıt reset ve lease ömrü kapanır.

Uygulanacak işlem

os_shutdown_io_leases_positive testini oluştur: “Aktif network ve disk queues”. 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

Her aygıt reset ve lease ömrü kapanır

Kod hedefi — henüz öneri

kernel/src/runtime/shutdown_io.rs · os_shutdown_io_leases

Mevcut başlangıç referansı

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

Olumlu deney

Aktif network ve disk queues

Karşı-örnek / hata girdisi

DMA canlıyken owner free

Gerçek konuk kabulü

Kapanış muhasebesi sıfır veya açık held

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

kernel/tests/os/shutdown_io.rs
os_shutdown_io_leases_positive
os_shutdown_io_leases_negative
scripts/os-acceptance/shutdown_io.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Aktif network ve disk queues girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Her aygıt reset ve lease ömrü kapanır.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Her aygıt reset ve lease ömrü kapanır

Kod hedefi — henüz öneri

kernel/src/runtime/shutdown_io.rs · os_shutdown_io_leases

Mevcut başlangıç referansı

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

Olumlu deney

Aktif network ve disk queues

Karşı-örnek / hata girdisi

DMA canlıyken owner free

Gerçek konuk kabulü

Kapanış muhasebesi sıfır veya açık held

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

kernel/tests/os/shutdown_io.rs
os_shutdown_io_leases_positive
os_shutdown_io_leases_negative
scripts/os-acceptance/shutdown_io.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Her aygıt reset ve lease ömrü kapanır.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Her aygıt reset ve lease ömrü kapanır

Kod hedefi — henüz öneri

kernel/src/runtime/shutdown_io.rs · os_shutdown_io_leases

Mevcut başlangıç referansı

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

Olumlu deney

Aktif network ve disk queues

Karşı-örnek / hata girdisi

DMA canlıyken owner free

Gerçek konuk kabulü

Kapanış muhasebesi sıfır veya açık held

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

kernel/tests/os/shutdown_io.rs
os_shutdown_io_leases_positive
os_shutdown_io_leases_negative
scripts/os-acceptance/shutdown_io.mjs

Geçiş koşulu

Kapanış muhasebesi sıfır veya açık held; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Yeni süreç cache olmadan diski okur.

Uygulanacak işlem

“Yeni boot dosya hash kabulü” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Yeni süreç cache olmadan diski okur. “Shutdown sonra ikinci konuk” kabulü ile “Aynı süreçten cache okuması” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Yeni süreç cache olmadan diski okur

Kod hedefi — henüz öneri

kernel/src/runtime/shutdown_io.rs · os_shutdown_io_reopen

Mevcut başlangıç referansı

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

Olumlu deney

Shutdown sonra ikinci konuk

Karşı-örnek / hata girdisi

Aynı süreçten cache okuması

Gerçek konuk kabulü

Kaynak ve mantıksal dosya hashleri eşleşir

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

kernel/tests/os/shutdown_io.rs
os_shutdown_io_reopen_positive
os_shutdown_io_reopen_negative
scripts/os-acceptance/shutdown_io.mjs

Geçiş koşulu

Tür ve geçiş tablosu Yeni süreç cache olmadan diski okur kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Yeni süreç cache olmadan diski okur.

Uygulanacak işlem

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

Yeni süreç cache olmadan diski okur

Kod hedefi — henüz öneri

kernel/src/runtime/shutdown_io.rs · os_shutdown_io_reopen

Mevcut başlangıç referansı

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

Olumlu deney

Shutdown sonra ikinci konuk

Karşı-örnek / hata girdisi

Aynı süreçten cache okuması

Gerçek konuk kabulü

Kaynak ve mantıksal dosya hashleri eşleşir

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

kernel/tests/os/shutdown_io.rs
os_shutdown_io_reopen_positive
os_shutdown_io_reopen_negative
scripts/os-acceptance/shutdown_io.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Shutdown sonra ikinci konuk ile Aynı süreçten cache okuması ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Yeni süreç cache olmadan diski okur.

Uygulanacak işlem

os_shutdown_io_reopen_positive testini oluştur: “Shutdown sonra ikinci konuk”. 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

Yeni süreç cache olmadan diski okur

Kod hedefi — henüz öneri

kernel/src/runtime/shutdown_io.rs · os_shutdown_io_reopen

Mevcut başlangıç referansı

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

Olumlu deney

Shutdown sonra ikinci konuk

Karşı-örnek / hata girdisi

Aynı süreçten cache okuması

Gerçek konuk kabulü

Kaynak ve mantıksal dosya hashleri eşleşir

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

kernel/tests/os/shutdown_io.rs
os_shutdown_io_reopen_positive
os_shutdown_io_reopen_negative
scripts/os-acceptance/shutdown_io.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Yeni süreç cache olmadan diski okur.

Uygulanacak işlem

os_shutdown_io_reopen_negative testini oluştur: “Aynı süreçten cache okuması”. 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

Yeni süreç cache olmadan diski okur

Kod hedefi — henüz öneri

kernel/src/runtime/shutdown_io.rs · os_shutdown_io_reopen

Mevcut başlangıç referansı

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

Olumlu deney

Shutdown sonra ikinci konuk

Karşı-örnek / hata girdisi

Aynı süreçten cache okuması

Gerçek konuk kabulü

Kaynak ve mantıksal dosya hashleri eşleşir

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

kernel/tests/os/shutdown_io.rs
os_shutdown_io_reopen_positive
os_shutdown_io_reopen_negative
scripts/os-acceptance/shutdown_io.mjs

Geçiş koşulu

Aynı süreçten cache okuması 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Yeni süreç cache olmadan diski okur.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Yeni süreç cache olmadan diski okur

Kod hedefi — henüz öneri

kernel/src/runtime/shutdown_io.rs · os_shutdown_io_reopen

Mevcut başlangıç referansı

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

Olumlu deney

Shutdown sonra ikinci konuk

Karşı-örnek / hata girdisi

Aynı süreçten cache okuması

Gerçek konuk kabulü

Kaynak ve mantıksal dosya hashleri eşleşir

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

kernel/tests/os/shutdown_io.rs
os_shutdown_io_reopen_positive
os_shutdown_io_reopen_negative
scripts/os-acceptance/shutdown_io.mjs

Geçiş koşulu

Kaynak ve mantıksal dosya hashleri eşleşir; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Etkin yuva güncellemede yazılmaz.

Uygulanacak işlem

“A B salt-okunur sürüm yuvası” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Etkin yuva güncellemede yazılmaz. “Geçici diskte B yeni imaj” kabulü ile “A üzerine incomplete update” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Etkin yuva güncellemede yazılmaz

Kod hedefi — henüz öneri

userspace/src/update_slots.rs · os_update_slots_slots

Mevcut başlangıç referansı

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

Olumlu deney

Geçici diskte B yeni imaj

Karşı-örnek / hata girdisi

A üzerine incomplete update

Gerçek konuk kabulü

Eski A imaj hash sabit

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

userspace/tests/update_slots.rs
os_update_slots_slots_positive
os_update_slots_slots_negative
scripts/os-acceptance/update_slots.mjs

Geçiş koşulu

Tür ve geçiş tablosu Etkin yuva güncellemede yazılmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Etkin yuva güncellemede yazılmaz.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Etkin yuva güncellemede yazılmaz

Kod hedefi — henüz öneri

userspace/src/update_slots.rs · os_update_slots_slots

Mevcut başlangıç referansı

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

Olumlu deney

Geçici diskte B yeni imaj

Karşı-örnek / hata girdisi

A üzerine incomplete update

Gerçek konuk kabulü

Eski A imaj hash sabit

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

userspace/tests/update_slots.rs
os_update_slots_slots_positive
os_update_slots_slots_negative
scripts/os-acceptance/update_slots.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Geçici diskte B yeni imaj ile A üzerine incomplete update ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Etkin yuva güncellemede yazılmaz.

Uygulanacak işlem

os_update_slots_slots_positive testini oluştur: “Geçici diskte B yeni imaj”. 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

Etkin yuva güncellemede yazılmaz

Kod hedefi — henüz öneri

userspace/src/update_slots.rs · os_update_slots_slots

Mevcut başlangıç referansı

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

Olumlu deney

Geçici diskte B yeni imaj

Karşı-örnek / hata girdisi

A üzerine incomplete update

Gerçek konuk kabulü

Eski A imaj hash sabit

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

userspace/tests/update_slots.rs
os_update_slots_slots_positive
os_update_slots_slots_negative
scripts/os-acceptance/update_slots.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Etkin yuva güncellemede yazılmaz.

Uygulanacak işlem

os_update_slots_slots_negative testini oluştur: “A üzerine incomplete update”. 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

Etkin yuva güncellemede yazılmaz

Kod hedefi — henüz öneri

userspace/src/update_slots.rs · os_update_slots_slots

Mevcut başlangıç referansı

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

Olumlu deney

Geçici diskte B yeni imaj

Karşı-örnek / hata girdisi

A üzerine incomplete update

Gerçek konuk kabulü

Eski A imaj hash sabit

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

userspace/tests/update_slots.rs
os_update_slots_slots_positive
os_update_slots_slots_negative
scripts/os-acceptance/update_slots.mjs

Geçiş koşulu

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Etkin yuva güncellemede yazılmaz.

Uygulanacak işlem

Tek ürün Image'ında “Eski A imaj hash sabit” kabulünü koştur. scripts/os-acceptance/update_slots.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

Etkin yuva güncellemede yazılmaz

Kod hedefi — henüz öneri

userspace/src/update_slots.rs · os_update_slots_slots

Mevcut başlangıç referansı

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

Olumlu deney

Geçici diskte B yeni imaj

Karşı-örnek / hata girdisi

A üzerine incomplete update

Gerçek konuk kabulü

Eski A imaj hash sabit

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

userspace/tests/update_slots.rs
os_update_slots_slots_positive
os_update_slots_slots_negative
scripts/os-acceptance/update_slots.mjs

Geçiş koşulu

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Manifest hash imza boy birlikte geçer.

Uygulanacak işlem

“Yeni yuva imaj doğrulama” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Manifest hash imza boy birlikte geçer. “Geçerli B payload” kabulü ile “Yarım download veya bozuk signature” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Manifest hash imza boy birlikte geçer

Kod hedefi — henüz öneri

userspace/src/update_slots.rs · os_update_slots_verify

Mevcut başlangıç referansı

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

Olumlu deney

Geçerli B payload

Karşı-örnek / hata girdisi

Yarım download veya bozuk signature

Gerçek konuk kabulü

B boot adayı yayımlanmaz

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

userspace/tests/update_slots.rs
os_update_slots_verify_positive
os_update_slots_verify_negative
scripts/os-acceptance/update_slots.mjs

Geçiş koşulu

Tür ve geçiş tablosu Manifest hash imza boy birlikte geçer kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Manifest hash imza boy birlikte geçer.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Manifest hash imza boy birlikte geçer

Kod hedefi — henüz öneri

userspace/src/update_slots.rs · os_update_slots_verify

Mevcut başlangıç referansı

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

Olumlu deney

Geçerli B payload

Karşı-örnek / hata girdisi

Yarım download veya bozuk signature

Gerçek konuk kabulü

B boot adayı yayımlanmaz

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

userspace/tests/update_slots.rs
os_update_slots_verify_positive
os_update_slots_verify_negative
scripts/os-acceptance/update_slots.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Geçerli B payload ile Yarım download veya bozuk signature ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Manifest hash imza boy birlikte geçer.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Manifest hash imza boy birlikte geçer

Kod hedefi — henüz öneri

userspace/src/update_slots.rs · os_update_slots_verify

Mevcut başlangıç referansı

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

Olumlu deney

Geçerli B payload

Karşı-örnek / hata girdisi

Yarım download veya bozuk signature

Gerçek konuk kabulü

B boot adayı yayımlanmaz

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

userspace/tests/update_slots.rs
os_update_slots_verify_positive
os_update_slots_verify_negative
scripts/os-acceptance/update_slots.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Manifest hash imza boy birlikte geçer.

Uygulanacak işlem

os_update_slots_verify_negative testini oluştur: “Yarım download veya bozuk signature”. 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

Manifest hash imza boy birlikte geçer

Kod hedefi — henüz öneri

userspace/src/update_slots.rs · os_update_slots_verify

Mevcut başlangıç referansı

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

Olumlu deney

Geçerli B payload

Karşı-örnek / hata girdisi

Yarım download veya bozuk signature

Gerçek konuk kabulü

B boot adayı yayımlanmaz

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

userspace/tests/update_slots.rs
os_update_slots_verify_positive
os_update_slots_verify_negative
scripts/os-acceptance/update_slots.mjs

Geçiş koşulu

Yarım download veya bozuk signature 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Manifest hash imza boy birlikte geçer.

Uygulanacak işlem

Tek ürün Image'ında “B boot adayı yayımlanmaz” kabulünü koştur. scripts/os-acceptance/update_slots.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

Manifest hash imza boy birlikte geçer

Kod hedefi — henüz öneri

userspace/src/update_slots.rs · os_update_slots_verify

Mevcut başlangıç referansı

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

Olumlu deney

Geçerli B payload

Karşı-örnek / hata girdisi

Yarım download veya bozuk signature

Gerçek konuk kabulü

B boot adayı yayımlanmaz

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

userspace/tests/update_slots.rs
os_update_slots_verify_positive
os_update_slots_verify_negative
scripts/os-acceptance/update_slots.mjs

Geçiş koşulu

B boot adayı yayımlanmaz; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Seçim byteı tek başına güven kökü değildir.

Uygulanacak işlem

“Sınırlı boot seçim kaydı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Seçim byteı tek başına güven kökü değildir. “A fallback B candidate” kabulü ile “Seçim kaydı bozuk” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Seçim byteı tek başına güven kökü değildir

Kod hedefi — henüz öneri

userspace/src/update_slots.rs · os_update_slots_boot_choice

Mevcut başlangıç referansı

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

Olumlu deney

A fallback B candidate

Karşı-örnek / hata girdisi

Seçim kaydı bozuk

Gerçek konuk kabulü

Recovery RO karar ve sınırı yazar

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

userspace/tests/update_slots.rs
os_update_slots_boot_choice_positive
os_update_slots_boot_choice_negative
scripts/os-acceptance/update_slots.mjs

Geçiş koşulu

Tür ve geçiş tablosu Seçim byteı tek başına güven kökü değildir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Seçim byteı tek başına güven kökü değildir.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Seçim byteı tek başına güven kökü değildir

Kod hedefi — henüz öneri

userspace/src/update_slots.rs · os_update_slots_boot_choice

Mevcut başlangıç referansı

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

Olumlu deney

A fallback B candidate

Karşı-örnek / hata girdisi

Seçim kaydı bozuk

Gerçek konuk kabulü

Recovery RO karar ve sınırı yazar

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

userspace/tests/update_slots.rs
os_update_slots_boot_choice_positive
os_update_slots_boot_choice_negative
scripts/os-acceptance/update_slots.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. A fallback B candidate ile Seçim kaydı bozuk ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Seçim byteı tek başına güven kökü değildir.

Uygulanacak işlem

os_update_slots_boot_choice_positive testini oluştur: “A fallback B candidate”. 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

Seçim byteı tek başına güven kökü değildir

Kod hedefi — henüz öneri

userspace/src/update_slots.rs · os_update_slots_boot_choice

Mevcut başlangıç referansı

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

Olumlu deney

A fallback B candidate

Karşı-örnek / hata girdisi

Seçim kaydı bozuk

Gerçek konuk kabulü

Recovery RO karar ve sınırı yazar

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

userspace/tests/update_slots.rs
os_update_slots_boot_choice_positive
os_update_slots_boot_choice_negative
scripts/os-acceptance/update_slots.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; A fallback B candidate girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Seçim byteı tek başına güven kökü değildir.

Uygulanacak işlem

os_update_slots_boot_choice_negative testini oluştur: “Seçim kaydı bozuk”. 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

Seçim byteı tek başına güven kökü değildir

Kod hedefi — henüz öneri

userspace/src/update_slots.rs · os_update_slots_boot_choice

Mevcut başlangıç referansı

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

Olumlu deney

A fallback B candidate

Karşı-örnek / hata girdisi

Seçim kaydı bozuk

Gerçek konuk kabulü

Recovery RO karar ve sınırı yazar

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

userspace/tests/update_slots.rs
os_update_slots_boot_choice_positive
os_update_slots_boot_choice_negative
scripts/os-acceptance/update_slots.mjs

Geçiş koşulu

Seçim kaydı bozuk 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Seçim byteı tek başına güven kökü değildir.

Uygulanacak işlem

Tek ürün Image'ında “Recovery RO karar ve sınırı yazar” kabulünü koştur. scripts/os-acceptance/update_slots.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

Seçim byteı tek başına güven kökü değildir

Kod hedefi — henüz öneri

userspace/src/update_slots.rs · os_update_slots_boot_choice

Mevcut başlangıç referansı

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

Olumlu deney

A fallback B candidate

Karşı-örnek / hata girdisi

Seçim kaydı bozuk

Gerçek konuk kabulü

Recovery RO karar ve sınırı yazar

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

userspace/tests/update_slots.rs
os_update_slots_boot_choice_positive
os_update_slots_boot_choice_negative
scripts/os-acceptance/update_slots.mjs

Geçiş koşulu

Recovery RO karar ve sınırı yazar; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Rollback ile antirollback çelişkisi açık ele alınır.

Uygulanacak işlem

“Başarısız sürüm geri dönüşü” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Rollback ile antirollback çelişkisi açık ele alınır. “B health veremez” kabulü ile “Eski vulnerable A otomatik seçilir” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Rollback ile antirollback çelişkisi açık ele alınır

Kod hedefi — henüz öneri

userspace/src/update_slots.rs · os_update_slots_rollback

Mevcut başlangıç referansı

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

Olumlu deney

B health veremez

Karşı-örnek / hata girdisi

Eski vulnerable A otomatik seçilir

Gerçek konuk kabulü

Politika güvenli fallback veya açık ret

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

userspace/tests/update_slots.rs
os_update_slots_rollback_positive
os_update_slots_rollback_negative
scripts/os-acceptance/update_slots.mjs

Geçiş koşulu

Tür ve geçiş tablosu Rollback ile antirollback çelişkisi açık ele alını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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Rollback ile antirollback çelişkisi açık ele alınır.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Rollback ile antirollback çelişkisi açık ele alınır

Kod hedefi — henüz öneri

userspace/src/update_slots.rs · os_update_slots_rollback

Mevcut başlangıç referansı

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

Olumlu deney

B health veremez

Karşı-örnek / hata girdisi

Eski vulnerable A otomatik seçilir

Gerçek konuk kabulü

Politika güvenli fallback veya açık ret

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

userspace/tests/update_slots.rs
os_update_slots_rollback_positive
os_update_slots_rollback_negative
scripts/os-acceptance/update_slots.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. B health veremez ile Eski vulnerable A otomatik seçilir ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Rollback ile antirollback çelişkisi açık ele alınır.

Uygulanacak işlem

os_update_slots_rollback_positive testini oluştur: “B health veremez”. 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

Rollback ile antirollback çelişkisi açık ele alınır

Kod hedefi — henüz öneri

userspace/src/update_slots.rs · os_update_slots_rollback

Mevcut başlangıç referansı

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

Olumlu deney

B health veremez

Karşı-örnek / hata girdisi

Eski vulnerable A otomatik seçilir

Gerçek konuk kabulü

Politika güvenli fallback veya açık ret

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

userspace/tests/update_slots.rs
os_update_slots_rollback_positive
os_update_slots_rollback_negative
scripts/os-acceptance/update_slots.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Rollback ile antirollback çelişkisi açık ele alınır.

Uygulanacak işlem

os_update_slots_rollback_negative testini oluştur: “Eski vulnerable A otomatik seçilir”. 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

Rollback ile antirollback çelişkisi açık ele alınır

Kod hedefi — henüz öneri

userspace/src/update_slots.rs · os_update_slots_rollback

Mevcut başlangıç referansı

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

Olumlu deney

B health veremez

Karşı-örnek / hata girdisi

Eski vulnerable A otomatik seçilir

Gerçek konuk kabulü

Politika güvenli fallback veya açık ret

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

userspace/tests/update_slots.rs
os_update_slots_rollback_positive
os_update_slots_rollback_negative
scripts/os-acceptance/update_slots.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Rollback ile antirollback çelişkisi açık ele alınır.

Uygulanacak işlem

Tek ürün Image'ında “Politika güvenli fallback veya açık ret” kabulünü koştur. scripts/os-acceptance/update_slots.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

Rollback ile antirollback çelişkisi açık ele alınır

Kod hedefi — henüz öneri

userspace/src/update_slots.rs · os_update_slots_rollback

Mevcut başlangıç referansı

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

Olumlu deney

B health veremez

Karşı-örnek / hata girdisi

Eski vulnerable A otomatik seçilir

Gerçek konuk kabulü

Politika güvenli fallback veya açık ret

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

userspace/tests/update_slots.rs
os_update_slots_rollback_positive
os_update_slots_rollback_negative
scripts/os-acceptance/update_slots.mjs

Geçiş koşulu

Politika güvenli fallback veya açık ret; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Kurtarma otomatik yetki yükseltmez.

Uygulanacak işlem

“Kurtarma moduna yetkili giriş” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Kurtarma otomatik yetki yükseltmez. “Açık operatör seçimi” kabulü ile “Normal kullanıcı recovery ister” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Kurtarma otomatik yetki yükseltmez

Kod hedefi — henüz öneri

userspace/src/recovery_mode.rs · os_recovery_mode_entry

Mevcut başlangıç referansı

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

Olumlu deney

Açık operatör seçimi

Karşı-örnek / hata girdisi

Normal kullanıcı recovery ister

Gerçek konuk kabulü

Yetkisiz istek kernel debug açmaz

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

userspace/tests/recovery_mode.rs
os_recovery_mode_entry_positive
os_recovery_mode_entry_negative
scripts/os-acceptance/recovery_mode.mjs

Geçiş koşulu

Tür ve geçiş tablosu Kurtarma otomatik yetki yükseltmez kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Normal kullanıcı recovery 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/K2185: PASS.

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Kurtarma otomatik yetki yükseltmez.

Uygulanacak işlem

userspace/src/recovery_mode.rs hedefinde os_recovery_mode_entry 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

Kurtarma otomatik yetki yükseltmez

Kod hedefi — henüz öneri

userspace/src/recovery_mode.rs · os_recovery_mode_entry

Mevcut başlangıç referansı

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

Olumlu deney

Açık operatör seçimi

Karşı-örnek / hata girdisi

Normal kullanıcı recovery ister

Gerçek konuk kabulü

Yetkisiz istek kernel debug açmaz

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

userspace/tests/recovery_mode.rs
os_recovery_mode_entry_positive
os_recovery_mode_entry_negative
scripts/os-acceptance/recovery_mode.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Açık operatör seçimi ile Normal kullanıcı recovery ister ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Normal kullanıcı recovery 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/K2185: PASS.

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Kurtarma otomatik yetki yükseltmez.

Uygulanacak işlem

os_recovery_mode_entry_positive testini oluştur: “Açık operatör seçimi”. 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

Kurtarma otomatik yetki yükseltmez

Kod hedefi — henüz öneri

userspace/src/recovery_mode.rs · os_recovery_mode_entry

Mevcut başlangıç referansı

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

Olumlu deney

Açık operatör seçimi

Karşı-örnek / hata girdisi

Normal kullanıcı recovery ister

Gerçek konuk kabulü

Yetkisiz istek kernel debug açmaz

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

userspace/tests/recovery_mode.rs
os_recovery_mode_entry_positive
os_recovery_mode_entry_negative
scripts/os-acceptance/recovery_mode.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Açık operatör seçimi girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Normal kullanıcı recovery 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/K2185: PASS.

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Kurtarma otomatik yetki yükseltmez.

Uygulanacak işlem

os_recovery_mode_entry_negative testini oluştur: “Normal kullanıcı recovery 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

Kurtarma otomatik yetki yükseltmez

Kod hedefi — henüz öneri

userspace/src/recovery_mode.rs · os_recovery_mode_entry

Mevcut başlangıç referansı

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

Olumlu deney

Açık operatör seçimi

Karşı-örnek / hata girdisi

Normal kullanıcı recovery ister

Gerçek konuk kabulü

Yetkisiz istek kernel debug açmaz

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

userspace/tests/recovery_mode.rs
os_recovery_mode_entry_positive
os_recovery_mode_entry_negative
scripts/os-acceptance/recovery_mode.mjs

Geçiş koşulu

Normal kullanıcı recovery 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üş

“Normal kullanıcı recovery 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/K2185: PASS.

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Kurtarma otomatik yetki yükseltmez.

Uygulanacak işlem

Tek ürün Image'ında “Yetkisiz istek kernel debug açmaz” kabulünü koştur. scripts/os-acceptance/recovery_mode.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

Kurtarma otomatik yetki yükseltmez

Kod hedefi — henüz öneri

userspace/src/recovery_mode.rs · os_recovery_mode_entry

Mevcut başlangıç referansı

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

Olumlu deney

Açık operatör seçimi

Karşı-örnek / hata girdisi

Normal kullanıcı recovery ister

Gerçek konuk kabulü

Yetkisiz istek kernel debug açmaz

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

userspace/tests/recovery_mode.rs
os_recovery_mode_entry_positive
os_recovery_mode_entry_negative
scripts/os-acceptance/recovery_mode.mjs

Geçiş koşulu

Yetkisiz istek kernel debug açmaz; 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üş

“Normal kullanıcı recovery 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/K2185: PASS.

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Tanı diski onarmadan önce okumakla sınırlıdır.

Uygulanacak işlem

“Recovery salt-okunur mount” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Tanı diski onarmadan önce okumakla sınırlıdır. “Bozuk journal RO inspect” kabulü ile “Gizli otomatik replay write” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Tanı diski onarmadan önce okumakla sınırlıdır

Kod hedefi — henüz öneri

userspace/src/recovery_mode.rs · os_recovery_mode_readonly

Mevcut başlangıç referansı

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

Olumlu deney

Bozuk journal RO inspect

Karşı-örnek / hata girdisi

Gizli otomatik replay write

Gerçek konuk kabulü

Disk hash tanıda değişmez

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

userspace/tests/recovery_mode.rs
os_recovery_mode_readonly_positive
os_recovery_mode_readonly_negative
scripts/os-acceptance/recovery_mode.mjs

Geçiş koşulu

Tür ve geçiş tablosu Tanı diski onarmadan önce okumakla 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Tanı diski onarmadan önce okumakla sınırlıdır.

Uygulanacak işlem

userspace/src/recovery_mode.rs hedefinde os_recovery_mode_readonly 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

Tanı diski onarmadan önce okumakla sınırlıdır

Kod hedefi — henüz öneri

userspace/src/recovery_mode.rs · os_recovery_mode_readonly

Mevcut başlangıç referansı

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

Olumlu deney

Bozuk journal RO inspect

Karşı-örnek / hata girdisi

Gizli otomatik replay write

Gerçek konuk kabulü

Disk hash tanıda değişmez

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

userspace/tests/recovery_mode.rs
os_recovery_mode_readonly_positive
os_recovery_mode_readonly_negative
scripts/os-acceptance/recovery_mode.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Bozuk journal RO inspect ile Gizli otomatik replay write ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Tanı diski onarmadan önce okumakla sınırlıdır.

Uygulanacak işlem

os_recovery_mode_readonly_positive testini oluştur: “Bozuk journal RO inspect”. 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

Tanı diski onarmadan önce okumakla sınırlıdır

Kod hedefi — henüz öneri

userspace/src/recovery_mode.rs · os_recovery_mode_readonly

Mevcut başlangıç referansı

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

Olumlu deney

Bozuk journal RO inspect

Karşı-örnek / hata girdisi

Gizli otomatik replay write

Gerçek konuk kabulü

Disk hash tanıda değişmez

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

userspace/tests/recovery_mode.rs
os_recovery_mode_readonly_positive
os_recovery_mode_readonly_negative
scripts/os-acceptance/recovery_mode.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Tanı diski onarmadan önce okumakla sınırlıdır.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Tanı diski onarmadan önce okumakla sınırlıdır

Kod hedefi — henüz öneri

userspace/src/recovery_mode.rs · os_recovery_mode_readonly

Mevcut başlangıç referansı

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

Olumlu deney

Bozuk journal RO inspect

Karşı-örnek / hata girdisi

Gizli otomatik replay write

Gerçek konuk kabulü

Disk hash tanıda değişmez

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

userspace/tests/recovery_mode.rs
os_recovery_mode_readonly_positive
os_recovery_mode_readonly_negative
scripts/os-acceptance/recovery_mode.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Tanı diski onarmadan önce okumakla sınırlıdır.

Uygulanacak işlem

Tek ürün Image'ında “Disk hash tanıda değişmez” kabulünü koştur. scripts/os-acceptance/recovery_mode.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

Tanı diski onarmadan önce okumakla sınırlıdır

Kod hedefi — henüz öneri

userspace/src/recovery_mode.rs · os_recovery_mode_readonly

Mevcut başlangıç referansı

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

Olumlu deney

Bozuk journal RO inspect

Karşı-örnek / hata girdisi

Gizli otomatik replay write

Gerçek konuk kabulü

Disk hash tanıda değişmez

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

userspace/tests/recovery_mode.rs
os_recovery_mode_readonly_positive
os_recovery_mode_readonly_negative
scripts/os-acceptance/recovery_mode.mjs

Geçiş koşulu

Disk hash tanıda 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Paket boot araç hash ve sınırları taşır.

Uygulanacak işlem

“Hashli tanı paketi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Paket boot araç hash ve sınırları taşır. “Bir başarı bir fail log” kabulü ile “Kişisel sır veya yanlış image hash” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Paket boot araç hash ve sınırları taşır

Kod hedefi — henüz öneri

userspace/src/recovery_mode.rs · os_recovery_mode_export

Mevcut başlangıç referansı

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

Olumlu deney

Bir başarı bir fail log

Karşı-örnek / hata girdisi

Kişisel sır veya yanlış image hash

Gerçek konuk kabulü

Redaction ve referans bağı sınanır

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

userspace/tests/recovery_mode.rs
os_recovery_mode_export_positive
os_recovery_mode_export_negative
scripts/os-acceptance/recovery_mode.mjs

Geçiş koşulu

Tür ve geçiş tablosu Paket boot araç hash ve sınırları taşır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Paket boot araç hash ve sınırları taşır.

Uygulanacak işlem

userspace/src/recovery_mode.rs hedefinde os_recovery_mode_export 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

Paket boot araç hash ve sınırları taşır

Kod hedefi — henüz öneri

userspace/src/recovery_mode.rs · os_recovery_mode_export

Mevcut başlangıç referansı

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

Olumlu deney

Bir başarı bir fail log

Karşı-örnek / hata girdisi

Kişisel sır veya yanlış image hash

Gerçek konuk kabulü

Redaction ve referans bağı sınanır

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

userspace/tests/recovery_mode.rs
os_recovery_mode_export_positive
os_recovery_mode_export_negative
scripts/os-acceptance/recovery_mode.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Bir başarı bir fail log ile Kişisel sır veya yanlış image hash ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Paket boot araç hash ve sınırları taşır.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Paket boot araç hash ve sınırları taşır

Kod hedefi — henüz öneri

userspace/src/recovery_mode.rs · os_recovery_mode_export

Mevcut başlangıç referansı

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

Olumlu deney

Bir başarı bir fail log

Karşı-örnek / hata girdisi

Kişisel sır veya yanlış image hash

Gerçek konuk kabulü

Redaction ve referans bağı sınanır

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

userspace/tests/recovery_mode.rs
os_recovery_mode_export_positive
os_recovery_mode_export_negative
scripts/os-acceptance/recovery_mode.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Bir başarı bir fail log girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Paket boot araç hash ve sınırları taşır.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Paket boot araç hash ve sınırları taşır

Kod hedefi — henüz öneri

userspace/src/recovery_mode.rs · os_recovery_mode_export

Mevcut başlangıç referansı

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

Olumlu deney

Bir başarı bir fail log

Karşı-örnek / hata girdisi

Kişisel sır veya yanlış image hash

Gerçek konuk kabulü

Redaction ve referans bağı sınanır

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

userspace/tests/recovery_mode.rs
os_recovery_mode_export_positive
os_recovery_mode_export_negative
scripts/os-acceptance/recovery_mode.mjs

Geçiş koşulu

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Paket boot araç hash ve sınırları taşır.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Paket boot araç hash ve sınırları taşır

Kod hedefi — henüz öneri

userspace/src/recovery_mode.rs · os_recovery_mode_export

Mevcut başlangıç referansı

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

Olumlu deney

Bir başarı bir fail log

Karşı-örnek / hata girdisi

Kişisel sır veya yanlış image hash

Gerçek konuk kabulü

Redaction ve referans bağı sınanır

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

userspace/tests/recovery_mode.rs
os_recovery_mode_export_positive
os_recovery_mode_export_negative
scripts/os-acceptance/recovery_mode.mjs

Geçiş koşulu

Redaction ve referans bağı sınanır; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Normal mod yeni runtime nesliyle kurulur.

Uygulanacak işlem

“Kurtarmadan normal boot” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Normal mod yeni runtime nesliyle kurulur. “Recovery sonra temiz reset” kabulü ile “Eski servis handle mirası” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Normal mod yeni runtime nesliyle kurulur

Kod hedefi — henüz öneri

userspace/src/recovery_mode.rs · os_recovery_mode_exit

Mevcut başlangıç referansı

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

Olumlu deney

Recovery sonra temiz reset

Karşı-örnek / hata girdisi

Eski servis handle mirası

Gerçek konuk kabulü

Yeni mod eski yetkileri reddeder

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

userspace/tests/recovery_mode.rs
os_recovery_mode_exit_positive
os_recovery_mode_exit_negative
scripts/os-acceptance/recovery_mode.mjs

Geçiş koşulu

Tür ve geçiş tablosu Normal mod yeni runtime nesliyle kurulur kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Normal mod yeni runtime nesliyle kurulur.

Uygulanacak işlem

userspace/src/recovery_mode.rs hedefinde os_recovery_mode_exit 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

Normal mod yeni runtime nesliyle kurulur

Kod hedefi — henüz öneri

userspace/src/recovery_mode.rs · os_recovery_mode_exit

Mevcut başlangıç referansı

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

Olumlu deney

Recovery sonra temiz reset

Karşı-örnek / hata girdisi

Eski servis handle mirası

Gerçek konuk kabulü

Yeni mod eski yetkileri reddeder

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

userspace/tests/recovery_mode.rs
os_recovery_mode_exit_positive
os_recovery_mode_exit_negative
scripts/os-acceptance/recovery_mode.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Recovery sonra temiz reset ile Eski servis handle mirası ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Normal mod yeni runtime nesliyle kurulur.

Uygulanacak işlem

os_recovery_mode_exit_positive testini oluştur: “Recovery sonra temiz reset”. 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

Normal mod yeni runtime nesliyle kurulur

Kod hedefi — henüz öneri

userspace/src/recovery_mode.rs · os_recovery_mode_exit

Mevcut başlangıç referansı

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

Olumlu deney

Recovery sonra temiz reset

Karşı-örnek / hata girdisi

Eski servis handle mirası

Gerçek konuk kabulü

Yeni mod eski yetkileri reddeder

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

userspace/tests/recovery_mode.rs
os_recovery_mode_exit_positive
os_recovery_mode_exit_negative
scripts/os-acceptance/recovery_mode.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Normal mod yeni runtime nesliyle kurulur.

Uygulanacak işlem

os_recovery_mode_exit_negative testini oluştur: “Eski servis handle mirası”. 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

Normal mod yeni runtime nesliyle kurulur

Kod hedefi — henüz öneri

userspace/src/recovery_mode.rs · os_recovery_mode_exit

Mevcut başlangıç referansı

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

Olumlu deney

Recovery sonra temiz reset

Karşı-örnek / hata girdisi

Eski servis handle mirası

Gerçek konuk kabulü

Yeni mod eski yetkileri reddeder

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

userspace/tests/recovery_mode.rs
os_recovery_mode_exit_positive
os_recovery_mode_exit_negative
scripts/os-acceptance/recovery_mode.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır. Bu hamlenin koruduğu değişmez: Normal mod yeni runtime nesliyle kurulur.

Uygulanacak işlem

Tek ürün Image'ında “Yeni mod eski yetkileri reddeder” kabulünü koştur. scripts/os-acceptance/recovery_mode.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

Normal mod yeni runtime nesliyle kurulur

Kod hedefi — henüz öneri

userspace/src/recovery_mode.rs · os_recovery_mode_exit

Mevcut başlangıç referansı

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

Olumlu deney

Recovery sonra temiz reset

Karşı-örnek / hata girdisi

Eski servis handle mirası

Gerçek konuk kabulü

Yeni mod eski yetkileri reddeder

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

userspace/tests/recovery_mode.rs
os_recovery_mode_exit_positive
os_recovery_mode_exit_negative
scripts/os-acceptance/recovery_mode.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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