← 1900 hamlenin bütünüFAZ 19 / K2401–K2500

Sistem sınamaları ve deneysel sürüm

1900 plan kartı ürün kanıtı değildir. Her özelliğin host modeli gerçek konuk kabulü negatif korpusu ve dış sınırı ayrı tutulur.

100planlı hamle

5modül

20yetenek

0gerçek kabul

Bu fazın 100 hamlesinde ara

100 / 100 hamle gösteriliyor

Kabul koşucusu · K2401–K2420

OS kabul test altyapısı

Dört yetenek: Tekil OS test kimliği · Sıfır test başarı reddi · Konuk oracle ve sıra · Başarısız koşu arşivi. Her yetenek için kod ve iki testin ardından aynı ürün Image'ında konuk kabulü gerekir.

K2401Tekil OS test kimliği · Sözleşme ve durum modeliPLAN / SINANMADI

1900 plan kartı ürün kanıtı değildir. Her özelliğin host modeli gerçek konuk kabulü negatif korpusu ve dış sınırı ayrı tutulur. Bu hamlenin koruduğu değişmez: Her case kaynak ve imaj hashine bağlıdır.

Uygulanacak işlem: “Tekil OS test kimliği” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Her case kaynak ve imaj hashine bağlıdır. “K601 ve K2500 ayrı kayıt” kabulü ile “İki case aynı eski logu kullanır” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Her case kaynak ve imaj hashine bağlıdır
Kod hedefi — henüz öneri: scripts/os-acceptance/acceptance_harness.mjs · os_acceptance_harness_cases
Mevcut başlangıç referansı: kernel/src/continuation_tests.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: K601 ve K2500 ayrı kayıt
Karşı-örnek / hata girdisi: İki case aynı eski logu kullanır
Gerçek konuk kabulü: Duplicate evidence kabul edilmez
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/acceptance_harness.mjs
os_acceptance_harness_cases_positive
os_acceptance_harness_cases_negative
scripts/os-acceptance/acceptance_harness.mjs
Geçiş koşulu: Tür ve geçiş tablosu Her case kaynak ve imaj hashine bağlıdır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “İki case aynı eski logu kullanı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/K2405: 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 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2402Tekil OS test kimliği · Rust uygulaması ve sahiplikPLAN / SINANMADI

Uygulanacak işlem: scripts/os-acceptance/acceptance_harness.mjs hedefinde os_acceptance_harness_cases yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/continuation_tests.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 case kaynak ve imaj hashine bağlıdır
Kod hedefi — henüz öneri: scripts/os-acceptance/acceptance_harness.mjs · os_acceptance_harness_cases
Mevcut başlangıç referansı: kernel/src/continuation_tests.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: K601 ve K2500 ayrı kayıt
Karşı-örnek / hata girdisi: İki case aynı eski logu kullanır
Gerçek konuk kabulü: Duplicate evidence kabul edilmez
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/acceptance_harness.mjs
os_acceptance_harness_cases_positive
os_acceptance_harness_cases_negative
scripts/os-acceptance/acceptance_harness.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. K601 ve K2500 ayrı kayıt ile İki case aynı eski logu kullanır ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “İki case aynı eski logu kullanı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/K2405: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2401. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2403Tekil OS test kimliği · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_acceptance_harness_cases_positive testini oluştur: “K601 ve K2500 ayrı kayı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: Her case kaynak ve imaj hashine bağlıdır
Kod hedefi — henüz öneri: scripts/os-acceptance/acceptance_harness.mjs · os_acceptance_harness_cases
Mevcut başlangıç referansı: kernel/src/continuation_tests.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: K601 ve K2500 ayrı kayıt
Karşı-örnek / hata girdisi: İki case aynı eski logu kullanır
Gerçek konuk kabulü: Duplicate evidence kabul edilmez
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/acceptance_harness.mjs
os_acceptance_harness_cases_positive
os_acceptance_harness_cases_negative
scripts/os-acceptance/acceptance_harness.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; K601 ve K2500 ayrı kayıt girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “İki case aynı eski logu kullanı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/K2405: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2402. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2404Tekil OS test kimliği · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_acceptance_harness_cases_negative testini oluştur: “İki case aynı eski logu kullanı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: Her case kaynak ve imaj hashine bağlıdır
Kod hedefi — henüz öneri: scripts/os-acceptance/acceptance_harness.mjs · os_acceptance_harness_cases
Mevcut başlangıç referansı: kernel/src/continuation_tests.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: K601 ve K2500 ayrı kayıt
Karşı-örnek / hata girdisi: İki case aynı eski logu kullanır
Gerçek konuk kabulü: Duplicate evidence kabul edilmez
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/acceptance_harness.mjs
os_acceptance_harness_cases_positive
os_acceptance_harness_cases_negative
scripts/os-acceptance/acceptance_harness.mjs
Geçiş koşulu: İki case aynı eski logu kullanı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üş: “İki case aynı eski logu kullanı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/K2405: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2403. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2405Tekil OS test kimliği · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “Duplicate evidence kabul edilmez” kabulünü koştur. scripts/os-acceptance/acceptance_harness.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 case kaynak ve imaj hashine bağlıdır
Kod hedefi — henüz öneri: scripts/os-acceptance/acceptance_harness.mjs · os_acceptance_harness_cases
Mevcut başlangıç referansı: kernel/src/continuation_tests.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: K601 ve K2500 ayrı kayıt
Karşı-örnek / hata girdisi: İki case aynı eski logu kullanır
Gerçek konuk kabulü: Duplicate evidence kabul edilmez
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/acceptance_harness.mjs
os_acceptance_harness_cases_positive
os_acceptance_harness_cases_negative
scripts/os-acceptance/acceptance_harness.mjs
Geçiş koşulu: Duplicate evidence kabul edilmez; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.
Başarısızlık ve geri dönüş: “İki case aynı eski logu kullanı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/K2405: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2404. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2406Sıfır test başarı reddi · Sözleşme ve durum modeliPLAN / SINANMADI

1900 plan kartı ürün kanıtı değildir. Her özelliğin host modeli gerçek konuk kabulü negatif korpusu ve dış sınırı ayrı tutulur. Bu hamlenin koruduğu değişmez: Filtre sıfır test döndürürse kapı geçmez.

Uygulanacak işlem: “Sıfır test başarı reddi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Filtre sıfır test döndürürse kapı geçmez. “Bir adlandırılmış Rust test” kabulü ile “Yanlış filtreyle zero passed” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Filtre sıfır test döndürürse kapı geçmez
Kod hedefi — henüz öneri: scripts/os-acceptance/acceptance_harness.mjs · os_acceptance_harness_zero_tests
Mevcut başlangıç referansı: kernel/src/continuation_tests.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bir adlandırılmış Rust test
Karşı-örnek / hata girdisi: Yanlış filtreyle zero passed
Gerçek konuk kabulü: Harness açık eksik test hatası verir
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/acceptance_harness.mjs
os_acceptance_harness_zero_tests_positive
os_acceptance_harness_zero_tests_negative
scripts/os-acceptance/acceptance_harness.mjs
Geçiş koşulu: Tür ve geçiş tablosu Filtre sıfır test döndürürse kapı geçmez kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Yanlış filtreyle zero passed” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2410: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2405. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2407Sıfır test başarı reddi · Rust uygulaması ve sahiplikPLAN / SINANMADI

Uygulanacak işlem: scripts/os-acceptance/acceptance_harness.mjs hedefinde os_acceptance_harness_zero_tests yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/continuation_tests.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: Filtre sıfır test döndürürse kapı geçmez
Kod hedefi — henüz öneri: scripts/os-acceptance/acceptance_harness.mjs · os_acceptance_harness_zero_tests
Mevcut başlangıç referansı: kernel/src/continuation_tests.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bir adlandırılmış Rust test
Karşı-örnek / hata girdisi: Yanlış filtreyle zero passed
Gerçek konuk kabulü: Harness açık eksik test hatası verir
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/acceptance_harness.mjs
os_acceptance_harness_zero_tests_positive
os_acceptance_harness_zero_tests_negative
scripts/os-acceptance/acceptance_harness.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Bir adlandırılmış Rust test ile Yanlış filtreyle zero passed ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Yanlış filtreyle zero passed” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2410: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2406. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2408Sıfır test başarı reddi · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_acceptance_harness_zero_tests_positive testini oluştur: “Bir adlandırılmış Rust test”. 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: Filtre sıfır test döndürürse kapı geçmez
Kod hedefi — henüz öneri: scripts/os-acceptance/acceptance_harness.mjs · os_acceptance_harness_zero_tests
Mevcut başlangıç referansı: kernel/src/continuation_tests.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bir adlandırılmış Rust test
Karşı-örnek / hata girdisi: Yanlış filtreyle zero passed
Gerçek konuk kabulü: Harness açık eksik test hatası verir
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/acceptance_harness.mjs
os_acceptance_harness_zero_tests_positive
os_acceptance_harness_zero_tests_negative
scripts/os-acceptance/acceptance_harness.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Bir adlandırılmış Rust test girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Yanlış filtreyle zero passed” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2410: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2407. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2409Sıfır test başarı reddi · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_acceptance_harness_zero_tests_negative testini oluştur: “Yanlış filtreyle zero passed”. 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: Filtre sıfır test döndürürse kapı geçmez
Kod hedefi — henüz öneri: scripts/os-acceptance/acceptance_harness.mjs · os_acceptance_harness_zero_tests
Mevcut başlangıç referansı: kernel/src/continuation_tests.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bir adlandırılmış Rust test
Karşı-örnek / hata girdisi: Yanlış filtreyle zero passed
Gerçek konuk kabulü: Harness açık eksik test hatası verir
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/acceptance_harness.mjs
os_acceptance_harness_zero_tests_positive
os_acceptance_harness_zero_tests_negative
scripts/os-acceptance/acceptance_harness.mjs
Geçiş koşulu: Yanlış filtreyle zero passed karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.
Başarısızlık ve geri dönüş: “Yanlış filtreyle zero passed” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2410: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2408. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2410Sıfır test başarı reddi · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “Harness açık eksik test hatası verir” kabulünü koştur. scripts/os-acceptance/acceptance_harness.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: Filtre sıfır test döndürürse kapı geçmez
Kod hedefi — henüz öneri: scripts/os-acceptance/acceptance_harness.mjs · os_acceptance_harness_zero_tests
Mevcut başlangıç referansı: kernel/src/continuation_tests.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bir adlandırılmış Rust test
Karşı-örnek / hata girdisi: Yanlış filtreyle zero passed
Gerçek konuk kabulü: Harness açık eksik test hatası verir
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/acceptance_harness.mjs
os_acceptance_harness_zero_tests_positive
os_acceptance_harness_zero_tests_negative
scripts/os-acceptance/acceptance_harness.mjs
Geçiş koşulu: Harness açık eksik test hatası verir; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.
Başarısızlık ve geri dönüş: “Yanlış filtreyle zero passed” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2410: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2409. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2411Konuk oracle ve sıra · Sözleşme ve durum modeliPLAN / SINANMADI

1900 plan kartı ürün kanıtı değildir. Her özelliğin host modeli gerçek konuk kabulü negatif korpusu ve dış sınırı ayrı tutulur. Bu hamlenin koruduğu değişmez: Başarı markerı tek başına yeterli olmaz.

Uygulanacak işlem: “Konuk oracle ve sıra” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Başarı markerı tek başına yeterli olmaz. “BOOT runtime workload sonuç sırası” kabulü ile “Elle eklenmiş PASS satırı” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Başarı markerı tek başına yeterli olmaz
Kod hedefi — henüz öneri: scripts/os-acceptance/acceptance_harness.mjs · os_acceptance_harness_guest_oracle
Mevcut başlangıç referansı: kernel/src/continuation_tests.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: BOOT runtime workload sonuç sırası
Karşı-örnek / hata girdisi: Elle eklenmiş PASS satırı
Gerçek konuk kabulü: Hash durum muhasebe birlikte denetlenir
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/acceptance_harness.mjs
os_acceptance_harness_guest_oracle_positive
os_acceptance_harness_guest_oracle_negative
scripts/os-acceptance/acceptance_harness.mjs
Geçiş koşulu: Tür ve geçiş tablosu Başarı markerı tek başına yeterli olmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Elle eklenmiş PASS satı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/K2415: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2410. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2412Konuk oracle ve sıra · Rust uygulaması ve sahiplikPLAN / SINANMADI

Uygulanacak işlem: scripts/os-acceptance/acceptance_harness.mjs hedefinde os_acceptance_harness_guest_oracle yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/continuation_tests.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ı markerı tek başına yeterli olmaz
Kod hedefi — henüz öneri: scripts/os-acceptance/acceptance_harness.mjs · os_acceptance_harness_guest_oracle
Mevcut başlangıç referansı: kernel/src/continuation_tests.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: BOOT runtime workload sonuç sırası
Karşı-örnek / hata girdisi: Elle eklenmiş PASS satırı
Gerçek konuk kabulü: Hash durum muhasebe birlikte denetlenir
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/acceptance_harness.mjs
os_acceptance_harness_guest_oracle_positive
os_acceptance_harness_guest_oracle_negative
scripts/os-acceptance/acceptance_harness.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. BOOT runtime workload sonuç sırası ile Elle eklenmiş PASS satırı ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Elle eklenmiş PASS satı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/K2415: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2411. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2413Konuk oracle ve sıra · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_acceptance_harness_guest_oracle_positive testini oluştur: “BOOT runtime workload sonuç 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: Başarı markerı tek başına yeterli olmaz
Kod hedefi — henüz öneri: scripts/os-acceptance/acceptance_harness.mjs · os_acceptance_harness_guest_oracle
Mevcut başlangıç referansı: kernel/src/continuation_tests.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: BOOT runtime workload sonuç sırası
Karşı-örnek / hata girdisi: Elle eklenmiş PASS satırı
Gerçek konuk kabulü: Hash durum muhasebe birlikte denetlenir
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/acceptance_harness.mjs
os_acceptance_harness_guest_oracle_positive
os_acceptance_harness_guest_oracle_negative
scripts/os-acceptance/acceptance_harness.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; BOOT runtime workload sonuç sırası girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Elle eklenmiş PASS satı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/K2415: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2412. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2414Konuk oracle ve sıra · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_acceptance_harness_guest_oracle_negative testini oluştur: “Elle eklenmiş PASS satı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: Başarı markerı tek başına yeterli olmaz
Kod hedefi — henüz öneri: scripts/os-acceptance/acceptance_harness.mjs · os_acceptance_harness_guest_oracle
Mevcut başlangıç referansı: kernel/src/continuation_tests.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: BOOT runtime workload sonuç sırası
Karşı-örnek / hata girdisi: Elle eklenmiş PASS satırı
Gerçek konuk kabulü: Hash durum muhasebe birlikte denetlenir
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/acceptance_harness.mjs
os_acceptance_harness_guest_oracle_positive
os_acceptance_harness_guest_oracle_negative
scripts/os-acceptance/acceptance_harness.mjs
Geçiş koşulu: Elle eklenmiş PASS satı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üş: “Elle eklenmiş PASS satı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/K2415: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2413. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2415Konuk oracle ve sıra · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “Hash durum muhasebe birlikte denetlenir” kabulünü koştur. scripts/os-acceptance/acceptance_harness.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ı markerı tek başına yeterli olmaz
Kod hedefi — henüz öneri: scripts/os-acceptance/acceptance_harness.mjs · os_acceptance_harness_guest_oracle
Mevcut başlangıç referansı: kernel/src/continuation_tests.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: BOOT runtime workload sonuç sırası
Karşı-örnek / hata girdisi: Elle eklenmiş PASS satırı
Gerçek konuk kabulü: Hash durum muhasebe birlikte denetlenir
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/acceptance_harness.mjs
os_acceptance_harness_guest_oracle_positive
os_acceptance_harness_guest_oracle_negative
scripts/os-acceptance/acceptance_harness.mjs
Geçiş koşulu: Hash durum muhasebe birlikte denetlenir; 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üş: “Elle eklenmiş PASS satı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/K2415: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2414. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2416Başarısız koşu arşivi · Sözleşme ve durum modeliPLAN / SINANMADI

1900 plan kartı ürün kanıtı değildir. Her özelliğin host modeli gerçek konuk kabulü negatif korpusu ve dış sınırı ayrı tutulur. Bu hamlenin koruduğu değişmez: Başarısız rapor sonradan PASS yapılmaz.

Uygulanacak işlem: “Başarısız koşu arşivi” 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 rapor sonradan PASS yapılmaz. “Bir fail bir yeni pass” kabulü ile “Eski failure dosyası değiştirilir” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Başarısız rapor sonradan PASS yapılmaz
Kod hedefi — henüz öneri: scripts/os-acceptance/acceptance_harness.mjs · os_acceptance_harness_failures
Mevcut başlangıç referansı: kernel/src/continuation_tests.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bir fail bir yeni pass
Karşı-örnek / hata girdisi: Eski failure dosyası değiştirilir
Gerçek konuk kabulü: İki koşu ayrı kimlik ve hash taşır
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/acceptance_harness.mjs
os_acceptance_harness_failures_positive
os_acceptance_harness_failures_negative
scripts/os-acceptance/acceptance_harness.mjs
Geçiş koşulu: Tür ve geçiş tablosu Başarısız rapor sonradan PASS yapılmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Eski failure dosyası değiştirilir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2420: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2415. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2417Başarısız koşu arşivi · Rust uygulaması ve sahiplikPLAN / SINANMADI

Uygulanacak işlem: scripts/os-acceptance/acceptance_harness.mjs hedefinde os_acceptance_harness_failures yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/continuation_tests.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 rapor sonradan PASS yapılmaz
Kod hedefi — henüz öneri: scripts/os-acceptance/acceptance_harness.mjs · os_acceptance_harness_failures
Mevcut başlangıç referansı: kernel/src/continuation_tests.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bir fail bir yeni pass
Karşı-örnek / hata girdisi: Eski failure dosyası değiştirilir
Gerçek konuk kabulü: İki koşu ayrı kimlik ve hash taşır
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/acceptance_harness.mjs
os_acceptance_harness_failures_positive
os_acceptance_harness_failures_negative
scripts/os-acceptance/acceptance_harness.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Bir fail bir yeni pass ile Eski failure dosyası değiştirilir ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Eski failure dosyası değiştirilir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2420: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2416. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2418Başarısız koşu arşivi · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_acceptance_harness_failures_positive testini oluştur: “Bir fail bir yeni pass”. 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 rapor sonradan PASS yapılmaz
Kod hedefi — henüz öneri: scripts/os-acceptance/acceptance_harness.mjs · os_acceptance_harness_failures
Mevcut başlangıç referansı: kernel/src/continuation_tests.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bir fail bir yeni pass
Karşı-örnek / hata girdisi: Eski failure dosyası değiştirilir
Gerçek konuk kabulü: İki koşu ayrı kimlik ve hash taşır
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/acceptance_harness.mjs
os_acceptance_harness_failures_positive
os_acceptance_harness_failures_negative
scripts/os-acceptance/acceptance_harness.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Bir fail bir yeni pass girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Eski failure dosyası değiştirilir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2420: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2417. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2419Başarısız koşu arşivi · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_acceptance_harness_failures_negative testini oluştur: “Eski failure dosyası değiştirilir”. 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 rapor sonradan PASS yapılmaz
Kod hedefi — henüz öneri: scripts/os-acceptance/acceptance_harness.mjs · os_acceptance_harness_failures
Mevcut başlangıç referansı: kernel/src/continuation_tests.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bir fail bir yeni pass
Karşı-örnek / hata girdisi: Eski failure dosyası değiştirilir
Gerçek konuk kabulü: İki koşu ayrı kimlik ve hash taşır
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/acceptance_harness.mjs
os_acceptance_harness_failures_positive
os_acceptance_harness_failures_negative
scripts/os-acceptance/acceptance_harness.mjs
Geçiş koşulu: Eski failure dosyası değiştirilir 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 failure dosyası değiştirilir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2420: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2418. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2420Başarısız koşu arşivi · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “İki koşu ayrı kimlik ve hash taşır” kabulünü koştur. scripts/os-acceptance/acceptance_harness.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 rapor sonradan PASS yapılmaz
Kod hedefi — henüz öneri: scripts/os-acceptance/acceptance_harness.mjs · os_acceptance_harness_failures
Mevcut başlangıç referansı: kernel/src/continuation_tests.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bir fail bir yeni pass
Karşı-örnek / hata girdisi: Eski failure dosyası değiştirilir
Gerçek konuk kabulü: İki koşu ayrı kimlik ve hash taşır
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/acceptance_harness.mjs
os_acceptance_harness_failures_positive
os_acceptance_harness_failures_negative
scripts/os-acceptance/acceptance_harness.mjs
Geçiş koşulu: İki koşu ayrı kimlik ve hash taşı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 failure dosyası değiştirilir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2420: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2419. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

Kabul koşucusu · K2421–K2440

Parser ve protokol fuzz korpusu

Dört yetenek: Sınır parser korpusları · Sürümlü fuzz kampanyası · Bulguyu küçültme ve regresyon · Kalıcı corpus tekrar kapısı. Her yetenek için kod ve iki testin ardından aynı ürün Image'ında konuk kabulü gerekir.

K2421Sınır parser korpusları · Sözleşme ve durum modeliPLAN / SINANMADI

1900 plan kartı ürün kanıtı değildir. Her özelliğin host modeli gerçek konuk kabulü negatif korpusu ve dış sınırı ayrı tutulur. Bu hamlenin koruduğu değişmez: DTB ELF FS IPC network hedefleri ayrıdır.

Uygulanacak işlem: “Sınır parser korpusları” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: DTB ELF FS IPC network hedefleri ayrıdır. “Her parser küçük bounded girdiler” kabulü ile “Tek korpus bütün parser diye sayılır” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: DTB ELF FS IPC network hedefleri ayrıdır
Kod hedefi — henüz öneri: scripts/os-acceptance/system_fuzz.mjs · os_system_fuzz_inputs
Mevcut başlangıç referansı: kernel/src/dtb.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Her parser küçük bounded girdiler
Karşı-örnek / hata girdisi: Tek korpus bütün parser diye sayılır
Gerçek konuk kabulü: Target ve input hashleri ayrı
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/system_fuzz.mjs
os_system_fuzz_inputs_positive
os_system_fuzz_inputs_negative
scripts/os-acceptance/system_fuzz.mjs
Geçiş koşulu: Tür ve geçiş tablosu DTB ELF FS IPC network hedefleri 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üş: “Tek korpus bütün parser diye sayılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2425: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2420. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2422Sınır parser korpusları · Rust uygulaması ve sahiplikPLAN / SINANMADI

Uygulanacak işlem: scripts/os-acceptance/system_fuzz.mjs hedefinde os_system_fuzz_inputs yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/dtb.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: DTB ELF FS IPC network hedefleri ayrıdır
Kod hedefi — henüz öneri: scripts/os-acceptance/system_fuzz.mjs · os_system_fuzz_inputs
Mevcut başlangıç referansı: kernel/src/dtb.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Her parser küçük bounded girdiler
Karşı-örnek / hata girdisi: Tek korpus bütün parser diye sayılır
Gerçek konuk kabulü: Target ve input hashleri ayrı
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/system_fuzz.mjs
os_system_fuzz_inputs_positive
os_system_fuzz_inputs_negative
scripts/os-acceptance/system_fuzz.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Her parser küçük bounded girdiler ile Tek korpus bütün parser diye sayılır ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Tek korpus bütün parser diye sayılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2425: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2421. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2423Sınır parser korpusları · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_system_fuzz_inputs_positive testini oluştur: “Her parser küçük bounded girdiler”. 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: DTB ELF FS IPC network hedefleri ayrıdır
Kod hedefi — henüz öneri: scripts/os-acceptance/system_fuzz.mjs · os_system_fuzz_inputs
Mevcut başlangıç referansı: kernel/src/dtb.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Her parser küçük bounded girdiler
Karşı-örnek / hata girdisi: Tek korpus bütün parser diye sayılır
Gerçek konuk kabulü: Target ve input hashleri ayrı
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/system_fuzz.mjs
os_system_fuzz_inputs_positive
os_system_fuzz_inputs_negative
scripts/os-acceptance/system_fuzz.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Her parser küçük bounded girdiler girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Tek korpus bütün parser diye sayılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2425: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2422. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2424Sınır parser korpusları · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_system_fuzz_inputs_negative testini oluştur: “Tek korpus bütün parser diye sayılır”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.
Değişmez / korunan bağlam: DTB ELF FS IPC network hedefleri ayrıdır
Kod hedefi — henüz öneri: scripts/os-acceptance/system_fuzz.mjs · os_system_fuzz_inputs
Mevcut başlangıç referansı: kernel/src/dtb.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Her parser küçük bounded girdiler
Karşı-örnek / hata girdisi: Tek korpus bütün parser diye sayılır
Gerçek konuk kabulü: Target ve input hashleri ayrı
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/system_fuzz.mjs
os_system_fuzz_inputs_positive
os_system_fuzz_inputs_negative
scripts/os-acceptance/system_fuzz.mjs
Geçiş koşulu: Tek korpus bütün parser diye sayılır karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.
Başarısızlık ve geri dönüş: “Tek korpus bütün parser diye sayılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2425: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2423. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2425Sınır parser korpusları · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “Target ve input hashleri ayrı” kabulünü koştur. scripts/os-acceptance/system_fuzz.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: DTB ELF FS IPC network hedefleri ayrıdır
Kod hedefi — henüz öneri: scripts/os-acceptance/system_fuzz.mjs · os_system_fuzz_inputs
Mevcut başlangıç referansı: kernel/src/dtb.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Her parser küçük bounded girdiler
Karşı-örnek / hata girdisi: Tek korpus bütün parser diye sayılır
Gerçek konuk kabulü: Target ve input hashleri ayrı
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/system_fuzz.mjs
os_system_fuzz_inputs_positive
os_system_fuzz_inputs_negative
scripts/os-acceptance/system_fuzz.mjs
Geçiş koşulu: Target ve input hashleri 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üş: “Tek korpus bütün parser diye sayılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2425: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2424. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2426Sürümlü fuzz kampanyası · Sözleşme ve durum modeliPLAN / SINANMADI

1900 plan kartı ürün kanıtı değildir. Her özelliğin host modeli gerçek konuk kabulü negatif korpusu ve dış sınırı ayrı tutulur. Bu hamlenin koruduğu değişmez: Seed engine süre kaynak ölçümü kayıtlıdır.

Uygulanacak işlem: “Sürümlü fuzz kampanyası” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Seed engine süre kaynak ölçümü kayıtlıdır. “Sınırlı reproducible kampanya” kabulü ile “Süre veya corpus sürümü yok” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Seed engine süre kaynak ölçümü kayıtlıdır
Kod hedefi — henüz öneri: scripts/os-acceptance/system_fuzz.mjs · os_system_fuzz_campaign
Mevcut başlangıç referansı: kernel/src/dtb.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Sınırlı reproducible kampanya
Karşı-örnek / hata girdisi: Süre veya corpus sürümü yok
Gerçek konuk kabulü: Kampanya raporu incomplete kalır
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/system_fuzz.mjs
os_system_fuzz_campaign_positive
os_system_fuzz_campaign_negative
scripts/os-acceptance/system_fuzz.mjs
Geçiş koşulu: Tür ve geçiş tablosu Seed engine süre kaynak ölçümü kayıtlı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üş: “Süre veya corpus sürümü 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/K2430: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2425. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2427Sürümlü fuzz kampanyası · Rust uygulaması ve sahiplikPLAN / SINANMADI

Uygulanacak işlem: scripts/os-acceptance/system_fuzz.mjs hedefinde os_system_fuzz_campaign yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/dtb.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: Seed engine süre kaynak ölçümü kayıtlıdır
Kod hedefi — henüz öneri: scripts/os-acceptance/system_fuzz.mjs · os_system_fuzz_campaign
Mevcut başlangıç referansı: kernel/src/dtb.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Sınırlı reproducible kampanya
Karşı-örnek / hata girdisi: Süre veya corpus sürümü yok
Gerçek konuk kabulü: Kampanya raporu incomplete kalır
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/system_fuzz.mjs
os_system_fuzz_campaign_positive
os_system_fuzz_campaign_negative
scripts/os-acceptance/system_fuzz.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Sınırlı reproducible kampanya ile Süre veya corpus sürümü yok ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Süre veya corpus sürümü 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/K2430: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2426. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2428Sürümlü fuzz kampanyası · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_system_fuzz_campaign_positive testini oluştur: “Sınırlı reproducible kampanya”. 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: Seed engine süre kaynak ölçümü kayıtlıdır
Kod hedefi — henüz öneri: scripts/os-acceptance/system_fuzz.mjs · os_system_fuzz_campaign
Mevcut başlangıç referansı: kernel/src/dtb.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Sınırlı reproducible kampanya
Karşı-örnek / hata girdisi: Süre veya corpus sürümü yok
Gerçek konuk kabulü: Kampanya raporu incomplete kalır
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/system_fuzz.mjs
os_system_fuzz_campaign_positive
os_system_fuzz_campaign_negative
scripts/os-acceptance/system_fuzz.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Sınırlı reproducible kampanya girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Süre veya corpus sürümü 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/K2430: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2427. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2429Sürümlü fuzz kampanyası · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_system_fuzz_campaign_negative testini oluştur: “Süre veya corpus sürümü 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: Seed engine süre kaynak ölçümü kayıtlıdır
Kod hedefi — henüz öneri: scripts/os-acceptance/system_fuzz.mjs · os_system_fuzz_campaign
Mevcut başlangıç referansı: kernel/src/dtb.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Sınırlı reproducible kampanya
Karşı-örnek / hata girdisi: Süre veya corpus sürümü yok
Gerçek konuk kabulü: Kampanya raporu incomplete kalır
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/system_fuzz.mjs
os_system_fuzz_campaign_positive
os_system_fuzz_campaign_negative
scripts/os-acceptance/system_fuzz.mjs
Geçiş koşulu: Süre veya corpus sürümü 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üş: “Süre veya corpus sürümü 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/K2430: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2428. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2430Sürümlü fuzz kampanyası · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “Kampanya raporu incomplete kalır” kabulünü koştur. scripts/os-acceptance/system_fuzz.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: Seed engine süre kaynak ölçümü kayıtlıdır
Kod hedefi — henüz öneri: scripts/os-acceptance/system_fuzz.mjs · os_system_fuzz_campaign
Mevcut başlangıç referansı: kernel/src/dtb.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Sınırlı reproducible kampanya
Karşı-örnek / hata girdisi: Süre veya corpus sürümü yok
Gerçek konuk kabulü: Kampanya raporu incomplete kalır
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/system_fuzz.mjs
os_system_fuzz_campaign_positive
os_system_fuzz_campaign_negative
scripts/os-acceptance/system_fuzz.mjs
Geçiş koşulu: Kampanya raporu incomplete kalır; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.
Başarısızlık ve geri dönüş: “Süre veya corpus sürümü 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/K2430: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2429. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2431Bulguyu küçültme ve regresyon · Sözleşme ve durum modeliPLAN / SINANMADI

1900 plan kartı ürün kanıtı değildir. Her özelliğin host modeli gerçek konuk kabulü negatif korpusu ve dış sınırı ayrı tutulur. Bu hamlenin koruduğu değişmez: Fixture gerçek bulguya hash ile bağlıdır.

Uygulanacak işlem: “Bulguyu küçültme ve regresyon” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Fixture gerçek bulguya hash ile bağlıdır. “Crashden küçük aynı oracle input” kabulü ile “Uydurma fixture fuzz bulgusu” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Fixture gerçek bulguya hash ile bağlıdır
Kod hedefi — henüz öneri: scripts/os-acceptance/system_fuzz.mjs · os_system_fuzz_minimize
Mevcut başlangıç referansı: kernel/src/dtb.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Crashden küçük aynı oracle input
Karşı-örnek / hata girdisi: Uydurma fixture fuzz bulgusu
Gerçek konuk kabulü: Önce fail sonra fix pass ayrı kayıt
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/system_fuzz.mjs
os_system_fuzz_minimize_positive
os_system_fuzz_minimize_negative
scripts/os-acceptance/system_fuzz.mjs
Geçiş koşulu: Tür ve geçiş tablosu Fixture gerçek bulguya hash ile bağlıdır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Uydurma fixture fuzz bulgusu” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2435: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2430. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2432Bulguyu küçültme ve regresyon · Rust uygulaması ve sahiplikPLAN / SINANMADI

Uygulanacak işlem: scripts/os-acceptance/system_fuzz.mjs hedefinde os_system_fuzz_minimize yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/dtb.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: Fixture gerçek bulguya hash ile bağlıdır
Kod hedefi — henüz öneri: scripts/os-acceptance/system_fuzz.mjs · os_system_fuzz_minimize
Mevcut başlangıç referansı: kernel/src/dtb.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Crashden küçük aynı oracle input
Karşı-örnek / hata girdisi: Uydurma fixture fuzz bulgusu
Gerçek konuk kabulü: Önce fail sonra fix pass ayrı kayıt
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/system_fuzz.mjs
os_system_fuzz_minimize_positive
os_system_fuzz_minimize_negative
scripts/os-acceptance/system_fuzz.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Crashden küçük aynı oracle input ile Uydurma fixture fuzz bulgusu ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Uydurma fixture fuzz bulgusu” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2435: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2431. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2433Bulguyu küçültme ve regresyon · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_system_fuzz_minimize_positive testini oluştur: “Crashden küçük aynı oracle input”. 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: Fixture gerçek bulguya hash ile bağlıdır
Kod hedefi — henüz öneri: scripts/os-acceptance/system_fuzz.mjs · os_system_fuzz_minimize
Mevcut başlangıç referansı: kernel/src/dtb.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Crashden küçük aynı oracle input
Karşı-örnek / hata girdisi: Uydurma fixture fuzz bulgusu
Gerçek konuk kabulü: Önce fail sonra fix pass ayrı kayıt
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/system_fuzz.mjs
os_system_fuzz_minimize_positive
os_system_fuzz_minimize_negative
scripts/os-acceptance/system_fuzz.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Crashden küçük aynı oracle input girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Uydurma fixture fuzz bulgusu” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2435: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2432. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2434Bulguyu küçültme ve regresyon · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_system_fuzz_minimize_negative testini oluştur: “Uydurma fixture fuzz bulgusu”. 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: Fixture gerçek bulguya hash ile bağlıdır
Kod hedefi — henüz öneri: scripts/os-acceptance/system_fuzz.mjs · os_system_fuzz_minimize
Mevcut başlangıç referansı: kernel/src/dtb.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Crashden küçük aynı oracle input
Karşı-örnek / hata girdisi: Uydurma fixture fuzz bulgusu
Gerçek konuk kabulü: Önce fail sonra fix pass ayrı kayıt
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/system_fuzz.mjs
os_system_fuzz_minimize_positive
os_system_fuzz_minimize_negative
scripts/os-acceptance/system_fuzz.mjs
Geçiş koşulu: Uydurma fixture fuzz bulgusu 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üş: “Uydurma fixture fuzz bulgusu” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2435: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2433. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2435Bulguyu küçültme ve regresyon · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “Önce fail sonra fix pass ayrı kayıt” kabulünü koştur. scripts/os-acceptance/system_fuzz.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: Fixture gerçek bulguya hash ile bağlıdır
Kod hedefi — henüz öneri: scripts/os-acceptance/system_fuzz.mjs · os_system_fuzz_minimize
Mevcut başlangıç referansı: kernel/src/dtb.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Crashden küçük aynı oracle input
Karşı-örnek / hata girdisi: Uydurma fixture fuzz bulgusu
Gerçek konuk kabulü: Önce fail sonra fix pass ayrı kayıt
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/system_fuzz.mjs
os_system_fuzz_minimize_positive
os_system_fuzz_minimize_negative
scripts/os-acceptance/system_fuzz.mjs
Geçiş koşulu: Önce fail sonra fix pass ayrı kayıt; 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üş: “Uydurma fixture fuzz bulgusu” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2435: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2434. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2436Kalıcı corpus tekrar kapısı · Sözleşme ve durum modeliPLAN / SINANMADI

1900 plan kartı ürün kanıtı değildir. Her özelliğin host modeli gerçek konuk kabulü negatif korpusu ve dış sınırı ayrı tutulur. Bu hamlenin koruduğu değişmez: Her input beklenen ret veya sonucu taşır.

Uygulanacak işlem: “Kalıcı corpus tekrar kapısı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Her input beklenen ret veya sonucu taşır. “Bütün korpus temiz source koşusu” kabulü ile “Input atlanır veya oracle gevşetilir” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Her input beklenen ret veya sonucu taşır
Kod hedefi — henüz öneri: scripts/os-acceptance/system_fuzz.mjs · os_system_fuzz_replay
Mevcut başlangıç referansı: kernel/src/dtb.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bütün korpus temiz source koşusu
Karşı-örnek / hata girdisi: Input atlanır veya oracle gevşetilir
Gerçek konuk kabulü: Eksik vaka gate başarısız olur
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/system_fuzz.mjs
os_system_fuzz_replay_positive
os_system_fuzz_replay_negative
scripts/os-acceptance/system_fuzz.mjs
Geçiş koşulu: Tür ve geçiş tablosu Her input beklenen ret veya sonucu 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üş: “Input atlanır veya oracle gevşetilir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2440: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2435. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2437Kalıcı corpus tekrar kapısı · Rust uygulaması ve sahiplikPLAN / SINANMADI

Uygulanacak işlem: scripts/os-acceptance/system_fuzz.mjs hedefinde os_system_fuzz_replay yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/dtb.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 input beklenen ret veya sonucu taşır
Kod hedefi — henüz öneri: scripts/os-acceptance/system_fuzz.mjs · os_system_fuzz_replay
Mevcut başlangıç referansı: kernel/src/dtb.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bütün korpus temiz source koşusu
Karşı-örnek / hata girdisi: Input atlanır veya oracle gevşetilir
Gerçek konuk kabulü: Eksik vaka gate başarısız olur
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/system_fuzz.mjs
os_system_fuzz_replay_positive
os_system_fuzz_replay_negative
scripts/os-acceptance/system_fuzz.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Bütün korpus temiz source koşusu ile Input atlanır veya oracle gevşetilir ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Input atlanır veya oracle gevşetilir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2440: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2436. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2438Kalıcı corpus tekrar kapısı · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_system_fuzz_replay_positive testini oluştur: “Bütün korpus temiz source koşusu”. 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 input beklenen ret veya sonucu taşır
Kod hedefi — henüz öneri: scripts/os-acceptance/system_fuzz.mjs · os_system_fuzz_replay
Mevcut başlangıç referansı: kernel/src/dtb.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bütün korpus temiz source koşusu
Karşı-örnek / hata girdisi: Input atlanır veya oracle gevşetilir
Gerçek konuk kabulü: Eksik vaka gate başarısız olur
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/system_fuzz.mjs
os_system_fuzz_replay_positive
os_system_fuzz_replay_negative
scripts/os-acceptance/system_fuzz.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Bütün korpus temiz source koşusu girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Input atlanır veya oracle gevşetilir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2440: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2437. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2439Kalıcı corpus tekrar kapısı · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_system_fuzz_replay_negative testini oluştur: “Input atlanır veya oracle gevşetilir”. 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 input beklenen ret veya sonucu taşır
Kod hedefi — henüz öneri: scripts/os-acceptance/system_fuzz.mjs · os_system_fuzz_replay
Mevcut başlangıç referansı: kernel/src/dtb.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bütün korpus temiz source koşusu
Karşı-örnek / hata girdisi: Input atlanır veya oracle gevşetilir
Gerçek konuk kabulü: Eksik vaka gate başarısız olur
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/system_fuzz.mjs
os_system_fuzz_replay_positive
os_system_fuzz_replay_negative
scripts/os-acceptance/system_fuzz.mjs
Geçiş koşulu: Input atlanır veya oracle gevşetilir 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üş: “Input atlanır veya oracle gevşetilir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2440: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2438. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2440Kalıcı corpus tekrar kapısı · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “Eksik vaka gate başarısız olur” kabulünü koştur. scripts/os-acceptance/system_fuzz.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 input beklenen ret veya sonucu taşır
Kod hedefi — henüz öneri: scripts/os-acceptance/system_fuzz.mjs · os_system_fuzz_replay
Mevcut başlangıç referansı: kernel/src/dtb.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bütün korpus temiz source koşusu
Karşı-örnek / hata girdisi: Input atlanır veya oracle gevşetilir
Gerçek konuk kabulü: Eksik vaka gate başarısız olur
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/system_fuzz.mjs
os_system_fuzz_replay_positive
os_system_fuzz_replay_negative
scripts/os-acceptance/system_fuzz.mjs
Geçiş koşulu: Eksik vaka gate başarısız olur; 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üş: “Input atlanır veya oracle gevşetilir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2440: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2439. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

Kabul koşucusu · K2441–K2460

Birleşik hata ve uzun koşu

Dört yetenek: ENOSPC ve quota matrisi · Disk ağ aygıt kopma matrisi · Uzun ürün workload koşusu · Süreç kesme güç kaybı ayrımı. Her yetenek için kod ve iki testin ardından aynı ürün Image'ında konuk kabulü gerekir.

K2441ENOSPC ve quota matrisi · Sözleşme ve durum modeliPLAN / SINANMADI

1900 plan kartı ürün kanıtı değildir. Her özelliğin host modeli gerçek konuk kabulü negatif korpusu ve dış sınırı ayrı tutulur. Bu hamlenin koruduğu değişmez: Her tahsis durağı hata kabulüne bağlıdır.

Uygulanacak işlem: “ENOSPC ve quota matrisi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Her tahsis durağı hata kabulüne bağlıdır. “Frame handle queue inode tükenir” kabulü ile “Hata sonrası kaynağın yarısı kalır” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Her tahsis durağı hata kabulüne bağlıdır
Kod hedefi — henüz öneri: scripts/os-acceptance/fault_matrix.mjs · os_fault_matrix_resources
Mevcut başlangıç referansı: kernel/src/journal_probe.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Frame handle queue inode tükenir
Karşı-örnek / hata girdisi: Hata sonrası kaynağın yarısı kalır
Gerçek konuk kabulü: Başlangıç son sahiplik aynı
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/fault_matrix.mjs
os_fault_matrix_resources_positive
os_fault_matrix_resources_negative
scripts/os-acceptance/fault_matrix.mjs
Geçiş koşulu: Tür ve geçiş tablosu Her tahsis durağı hata kabulüne bağlıdır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Hata sonrası kaynağın yarısı kalı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/K2445: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2440. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2442ENOSPC ve quota matrisi · Rust uygulaması ve sahiplikPLAN / SINANMADI

Uygulanacak işlem: scripts/os-acceptance/fault_matrix.mjs hedefinde os_fault_matrix_resources yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/journal_probe.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 tahsis durağı hata kabulüne bağlıdır
Kod hedefi — henüz öneri: scripts/os-acceptance/fault_matrix.mjs · os_fault_matrix_resources
Mevcut başlangıç referansı: kernel/src/journal_probe.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Frame handle queue inode tükenir
Karşı-örnek / hata girdisi: Hata sonrası kaynağın yarısı kalır
Gerçek konuk kabulü: Başlangıç son sahiplik aynı
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/fault_matrix.mjs
os_fault_matrix_resources_positive
os_fault_matrix_resources_negative
scripts/os-acceptance/fault_matrix.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Frame handle queue inode tükenir ile Hata sonrası kaynağın yarısı kalır ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Hata sonrası kaynağın yarısı kalı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/K2445: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2441. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2443ENOSPC ve quota matrisi · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_fault_matrix_resources_positive testini oluştur: “Frame handle queue inode tükenir”. 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 tahsis durağı hata kabulüne bağlıdır
Kod hedefi — henüz öneri: scripts/os-acceptance/fault_matrix.mjs · os_fault_matrix_resources
Mevcut başlangıç referansı: kernel/src/journal_probe.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Frame handle queue inode tükenir
Karşı-örnek / hata girdisi: Hata sonrası kaynağın yarısı kalır
Gerçek konuk kabulü: Başlangıç son sahiplik aynı
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/fault_matrix.mjs
os_fault_matrix_resources_positive
os_fault_matrix_resources_negative
scripts/os-acceptance/fault_matrix.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Frame handle queue inode tükenir girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Hata sonrası kaynağın yarısı kalı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/K2445: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2442. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2444ENOSPC ve quota matrisi · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_fault_matrix_resources_negative testini oluştur: “Hata sonrası kaynağın yarısı kalı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: Her tahsis durağı hata kabulüne bağlıdır
Kod hedefi — henüz öneri: scripts/os-acceptance/fault_matrix.mjs · os_fault_matrix_resources
Mevcut başlangıç referansı: kernel/src/journal_probe.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Frame handle queue inode tükenir
Karşı-örnek / hata girdisi: Hata sonrası kaynağın yarısı kalır
Gerçek konuk kabulü: Başlangıç son sahiplik aynı
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/fault_matrix.mjs
os_fault_matrix_resources_positive
os_fault_matrix_resources_negative
scripts/os-acceptance/fault_matrix.mjs
Geçiş koşulu: Hata sonrası kaynağın yarısı kalı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üş: “Hata sonrası kaynağın yarısı kalı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/K2445: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2443. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2445ENOSPC ve quota matrisi · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “Başlangıç son sahiplik aynı” kabulünü koştur. scripts/os-acceptance/fault_matrix.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 tahsis durağı hata kabulüne bağlıdır
Kod hedefi — henüz öneri: scripts/os-acceptance/fault_matrix.mjs · os_fault_matrix_resources
Mevcut başlangıç referansı: kernel/src/journal_probe.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Frame handle queue inode tükenir
Karşı-örnek / hata girdisi: Hata sonrası kaynağın yarısı kalır
Gerçek konuk kabulü: Başlangıç son sahiplik aynı
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/fault_matrix.mjs
os_fault_matrix_resources_positive
os_fault_matrix_resources_negative
scripts/os-acceptance/fault_matrix.mjs
Geçiş koşulu: Başlangıç son sahiplik aynı; 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üş: “Hata sonrası kaynağın yarısı kalı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/K2445: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2444. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2446Disk ağ aygıt kopma matrisi · Sözleşme ve durum modeliPLAN / SINANMADI

1900 plan kartı ürün kanıtı değildir. Her özelliğin host modeli gerçek konuk kabulü negatif korpusu ve dış sınırı ayrı tutulur. Bu hamlenin koruduğu değişmez: Timeout EIO reset ve kapatma ayrıdır.

Uygulanacak işlem: “Disk ağ aygıt kopma matrisi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Timeout EIO reset ve kapatma ayrıdır. “Disk EIO ve ağ link kaybı” kabulü ile “Reset olmadan DMA free” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Timeout EIO reset ve kapatma ayrıdır
Kod hedefi — henüz öneri: scripts/os-acceptance/fault_matrix.mjs · os_fault_matrix_io_faults
Mevcut başlangıç referansı: kernel/src/journal_probe.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Disk EIO ve ağ link kaybı
Karşı-örnek / hata girdisi: Reset olmadan DMA free
Gerçek konuk kabulü: Hizmetler tanımlı degraded sonuç verir
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/fault_matrix.mjs
os_fault_matrix_io_faults_positive
os_fault_matrix_io_faults_negative
scripts/os-acceptance/fault_matrix.mjs
Geçiş koşulu: Tür ve geçiş tablosu Timeout EIO reset ve kapatma 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üş: “Reset olmadan DMA 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/K2450: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2445. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2447Disk ağ aygıt kopma matrisi · Rust uygulaması ve sahiplikPLAN / SINANMADI

Uygulanacak işlem: scripts/os-acceptance/fault_matrix.mjs hedefinde os_fault_matrix_io_faults yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/journal_probe.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.
Değişmez / korunan bağlam: Timeout EIO reset ve kapatma ayrıdır
Kod hedefi — henüz öneri: scripts/os-acceptance/fault_matrix.mjs · os_fault_matrix_io_faults
Mevcut başlangıç referansı: kernel/src/journal_probe.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Disk EIO ve ağ link kaybı
Karşı-örnek / hata girdisi: Reset olmadan DMA free
Gerçek konuk kabulü: Hizmetler tanımlı degraded sonuç verir
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/fault_matrix.mjs
os_fault_matrix_io_faults_positive
os_fault_matrix_io_faults_negative
scripts/os-acceptance/fault_matrix.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Disk EIO ve ağ link kaybı ile Reset olmadan DMA free ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Reset olmadan DMA 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/K2450: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2446. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2448Disk ağ aygıt kopma matrisi · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_fault_matrix_io_faults_positive testini oluştur: “Disk EIO ve ağ link kaybı”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.
Değişmez / korunan bağlam: Timeout EIO reset ve kapatma ayrıdır
Kod hedefi — henüz öneri: scripts/os-acceptance/fault_matrix.mjs · os_fault_matrix_io_faults
Mevcut başlangıç referansı: kernel/src/journal_probe.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Disk EIO ve ağ link kaybı
Karşı-örnek / hata girdisi: Reset olmadan DMA free
Gerçek konuk kabulü: Hizmetler tanımlı degraded sonuç verir
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/fault_matrix.mjs
os_fault_matrix_io_faults_positive
os_fault_matrix_io_faults_negative
scripts/os-acceptance/fault_matrix.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Disk EIO ve ağ link kaybı girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Reset olmadan DMA 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/K2450: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2447. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2449Disk ağ aygıt kopma matrisi · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_fault_matrix_io_faults_negative testini oluştur: “Reset olmadan DMA 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: Timeout EIO reset ve kapatma ayrıdır
Kod hedefi — henüz öneri: scripts/os-acceptance/fault_matrix.mjs · os_fault_matrix_io_faults
Mevcut başlangıç referansı: kernel/src/journal_probe.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Disk EIO ve ağ link kaybı
Karşı-örnek / hata girdisi: Reset olmadan DMA free
Gerçek konuk kabulü: Hizmetler tanımlı degraded sonuç verir
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/fault_matrix.mjs
os_fault_matrix_io_faults_positive
os_fault_matrix_io_faults_negative
scripts/os-acceptance/fault_matrix.mjs
Geçiş koşulu: Reset olmadan DMA 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üş: “Reset olmadan DMA 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/K2450: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2448. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2450Disk ağ aygıt kopma matrisi · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “Hizmetler tanımlı degraded sonuç verir” kabulünü koştur. scripts/os-acceptance/fault_matrix.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.
Değişmez / korunan bağlam: Timeout EIO reset ve kapatma ayrıdır
Kod hedefi — henüz öneri: scripts/os-acceptance/fault_matrix.mjs · os_fault_matrix_io_faults
Mevcut başlangıç referansı: kernel/src/journal_probe.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Disk EIO ve ağ link kaybı
Karşı-örnek / hata girdisi: Reset olmadan DMA free
Gerçek konuk kabulü: Hizmetler tanımlı degraded sonuç verir
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/fault_matrix.mjs
os_fault_matrix_io_faults_positive
os_fault_matrix_io_faults_negative
scripts/os-acceptance/fault_matrix.mjs
Geçiş koşulu: Hizmetler tanımlı degraded sonuç verir; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.
Başarısızlık ve geri dönüş: “Reset olmadan DMA 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/K2450: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2449. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2451Uzun ürün workload koşusu · Sözleşme ve durum modeliPLAN / SINANMADI

1900 plan kartı ürün kanıtı değildir. Her özelliğin host modeli gerçek konuk kabulü negatif korpusu ve dış sınırı ayrı tutulur. Bu hamlenin koruduğu değişmez: Saatler harcanmış süre olarak ölçülür.

Uygulanacak işlem: “Uzun ürün workload koşusu” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Saatler harcanmış süre olarak ölçülür. “Shell IPC disk network SMP yükü” kabulü ile “Tick kaybı veya büyüyen leak” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Saatler harcanmış süre olarak ölçülür
Kod hedefi — henüz öneri: scripts/os-acceptance/fault_matrix.mjs · os_fault_matrix_soak
Mevcut başlangıç referansı: kernel/src/journal_probe.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Shell IPC disk network SMP yükü
Karşı-örnek / hata girdisi: Tick kaybı veya büyüyen leak
Gerçek konuk kabulü: Dağılım kanarya ve kaynak örnekleri raporlanır
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/fault_matrix.mjs
os_fault_matrix_soak_positive
os_fault_matrix_soak_negative
scripts/os-acceptance/fault_matrix.mjs
Geçiş koşulu: Tür ve geçiş tablosu Saatler harcanmış süre olarak ölçülür kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Tick kaybı veya büyüyen leak” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2455: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2450. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2452Uzun ürün workload koşusu · Rust uygulaması ve sahiplikPLAN / SINANMADI

Uygulanacak işlem: scripts/os-acceptance/fault_matrix.mjs hedefinde os_fault_matrix_soak yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/journal_probe.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: Saatler harcanmış süre olarak ölçülür
Kod hedefi — henüz öneri: scripts/os-acceptance/fault_matrix.mjs · os_fault_matrix_soak
Mevcut başlangıç referansı: kernel/src/journal_probe.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Shell IPC disk network SMP yükü
Karşı-örnek / hata girdisi: Tick kaybı veya büyüyen leak
Gerçek konuk kabulü: Dağılım kanarya ve kaynak örnekleri raporlanır
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/fault_matrix.mjs
os_fault_matrix_soak_positive
os_fault_matrix_soak_negative
scripts/os-acceptance/fault_matrix.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Shell IPC disk network SMP yükü ile Tick kaybı veya büyüyen leak ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Tick kaybı veya büyüyen leak” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2455: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2451. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2453Uzun ürün workload koşusu · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_fault_matrix_soak_positive testini oluştur: “Shell IPC disk network SMP yükü”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.
Değişmez / korunan bağlam: Saatler harcanmış süre olarak ölçülür
Kod hedefi — henüz öneri: scripts/os-acceptance/fault_matrix.mjs · os_fault_matrix_soak
Mevcut başlangıç referansı: kernel/src/journal_probe.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Shell IPC disk network SMP yükü
Karşı-örnek / hata girdisi: Tick kaybı veya büyüyen leak
Gerçek konuk kabulü: Dağılım kanarya ve kaynak örnekleri raporlanır
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/fault_matrix.mjs
os_fault_matrix_soak_positive
os_fault_matrix_soak_negative
scripts/os-acceptance/fault_matrix.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Shell IPC disk network SMP yükü girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Tick kaybı veya büyüyen leak” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2455: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2452. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2454Uzun ürün workload koşusu · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_fault_matrix_soak_negative testini oluştur: “Tick kaybı veya büyüyen leak”. 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: Saatler harcanmış süre olarak ölçülür
Kod hedefi — henüz öneri: scripts/os-acceptance/fault_matrix.mjs · os_fault_matrix_soak
Mevcut başlangıç referansı: kernel/src/journal_probe.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Shell IPC disk network SMP yükü
Karşı-örnek / hata girdisi: Tick kaybı veya büyüyen leak
Gerçek konuk kabulü: Dağılım kanarya ve kaynak örnekleri raporlanır
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/fault_matrix.mjs
os_fault_matrix_soak_positive
os_fault_matrix_soak_negative
scripts/os-acceptance/fault_matrix.mjs
Geçiş koşulu: Tick kaybı veya büyüyen leak 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üş: “Tick kaybı veya büyüyen leak” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2455: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2453. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2455Uzun ürün workload koşusu · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “Dağılım kanarya ve kaynak örnekleri raporlanır” kabulünü koştur. scripts/os-acceptance/fault_matrix.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: Saatler harcanmış süre olarak ölçülür
Kod hedefi — henüz öneri: scripts/os-acceptance/fault_matrix.mjs · os_fault_matrix_soak
Mevcut başlangıç referansı: kernel/src/journal_probe.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Shell IPC disk network SMP yükü
Karşı-örnek / hata girdisi: Tick kaybı veya büyüyen leak
Gerçek konuk kabulü: Dağılım kanarya ve kaynak örnekleri raporlanır
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/fault_matrix.mjs
os_fault_matrix_soak_positive
os_fault_matrix_soak_negative
scripts/os-acceptance/fault_matrix.mjs
Geçiş koşulu: Dağılım kanarya ve kaynak örnekleri raporlanır; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.
Başarısızlık ve geri dönüş: “Tick kaybı veya büyüyen leak” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2455: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2454. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2456Süreç kesme güç kaybı ayrımı · Sözleşme ve durum modeliPLAN / SINANMADI

1900 plan kartı ürün kanıtı değildir. Her özelliğin host modeli gerçek konuk kabulü negatif korpusu ve dış sınırı ayrı tutulur. Bu hamlenin koruduğu değişmez: SIGKILL fiziksel güç testi değildir.

Uygulanacak işlem: “Süreç kesme güç kaybı ayrımı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: SIGKILL fiziksel güç testi değildir. “Geçici VM kesinti korpusu” kabulü ile “Host öldürme fiziksel PASS sayılır” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: SIGKILL fiziksel güç testi değildir
Kod hedefi — henüz öneri: scripts/os-acceptance/fault_matrix.mjs · os_fault_matrix_physical_boundary
Mevcut başlangıç referansı: kernel/src/journal_probe.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Geçici VM kesinti korpusu
Karşı-örnek / hata girdisi: Host öldürme fiziksel PASS sayılır
Gerçek konuk kabulü: Kanıt sınırı ve dış deney gereği görünür
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/fault_matrix.mjs
os_fault_matrix_physical_boundary_positive
os_fault_matrix_physical_boundary_negative
scripts/os-acceptance/fault_matrix.mjs
Geçiş koşulu: Tür ve geçiş tablosu SIGKILL fiziksel güç testi 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üş: “Host öldürme fiziksel PASS sayılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2460: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2455. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2457Süreç kesme güç kaybı ayrımı · Rust uygulaması ve sahiplikPLAN / SINANMADI

Uygulanacak işlem: scripts/os-acceptance/fault_matrix.mjs hedefinde os_fault_matrix_physical_boundary yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/journal_probe.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: SIGKILL fiziksel güç testi değildir
Kod hedefi — henüz öneri: scripts/os-acceptance/fault_matrix.mjs · os_fault_matrix_physical_boundary
Mevcut başlangıç referansı: kernel/src/journal_probe.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Geçici VM kesinti korpusu
Karşı-örnek / hata girdisi: Host öldürme fiziksel PASS sayılır
Gerçek konuk kabulü: Kanıt sınırı ve dış deney gereği görünür
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/fault_matrix.mjs
os_fault_matrix_physical_boundary_positive
os_fault_matrix_physical_boundary_negative
scripts/os-acceptance/fault_matrix.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Geçici VM kesinti korpusu ile Host öldürme fiziksel PASS sayılır ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Host öldürme fiziksel PASS sayılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2460: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2456. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2458Süreç kesme güç kaybı ayrımı · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_fault_matrix_physical_boundary_positive testini oluştur: “Geçici VM kesinti korpusu”. 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: SIGKILL fiziksel güç testi değildir
Kod hedefi — henüz öneri: scripts/os-acceptance/fault_matrix.mjs · os_fault_matrix_physical_boundary
Mevcut başlangıç referansı: kernel/src/journal_probe.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Geçici VM kesinti korpusu
Karşı-örnek / hata girdisi: Host öldürme fiziksel PASS sayılır
Gerçek konuk kabulü: Kanıt sınırı ve dış deney gereği görünür
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/fault_matrix.mjs
os_fault_matrix_physical_boundary_positive
os_fault_matrix_physical_boundary_negative
scripts/os-acceptance/fault_matrix.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Geçici VM kesinti korpusu girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Host öldürme fiziksel PASS sayılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2460: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2457. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2459Süreç kesme güç kaybı ayrımı · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_fault_matrix_physical_boundary_negative testini oluştur: “Host öldürme fiziksel PASS sayılır”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.
Değişmez / korunan bağlam: SIGKILL fiziksel güç testi değildir
Kod hedefi — henüz öneri: scripts/os-acceptance/fault_matrix.mjs · os_fault_matrix_physical_boundary
Mevcut başlangıç referansı: kernel/src/journal_probe.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Geçici VM kesinti korpusu
Karşı-örnek / hata girdisi: Host öldürme fiziksel PASS sayılır
Gerçek konuk kabulü: Kanıt sınırı ve dış deney gereği görünür
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/fault_matrix.mjs
os_fault_matrix_physical_boundary_positive
os_fault_matrix_physical_boundary_negative
scripts/os-acceptance/fault_matrix.mjs
Geçiş koşulu: Host öldürme fiziksel PASS sayılır karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.
Başarısızlık ve geri dönüş: “Host öldürme fiziksel PASS sayılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2460: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2458. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2460Süreç kesme güç kaybı ayrımı · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “Kanıt sınırı ve dış deney gereği görünür” kabulünü koştur. scripts/os-acceptance/fault_matrix.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: SIGKILL fiziksel güç testi değildir
Kod hedefi — henüz öneri: scripts/os-acceptance/fault_matrix.mjs · os_fault_matrix_physical_boundary
Mevcut başlangıç referansı: kernel/src/journal_probe.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Geçici VM kesinti korpusu
Karşı-örnek / hata girdisi: Host öldürme fiziksel PASS sayılır
Gerçek konuk kabulü: Kanıt sınırı ve dış deney gereği görünür
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/fault_matrix.mjs
os_fault_matrix_physical_boundary_positive
os_fault_matrix_physical_boundary_negative
scripts/os-acceptance/fault_matrix.mjs
Geçiş koşulu: Kanıt sınırı ve dış deney gereği 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üş: “Host öldürme fiziksel PASS sayılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2460: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2459. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

Kabul koşucusu · K2461–K2480

Konuk ve araç sürüm matrisi

Dört yetenek: M1 ve M5 yeni imaj matrisi · QEMU EDK2 sürüm farkı · Gerçek Linux KVM profili · Desteklenen aygıt karar tablosu. Her yetenek için kod ve iki testin ardından aynı ürün Image'ında konuk kabulü gerekir.

K2461M1 ve M5 yeni imaj matrisi · Sözleşme ve durum modeliPLAN / SINANMADI

1900 plan kartı ürün kanıtı değildir. Her özelliğin host modeli gerçek konuk kabulü negatif korpusu ve dış sınırı ayrı tutulur. Bu hamlenin koruduğu değişmez: Eski K592 hash yeni kerneli doğrulamaz.

Uygulanacak işlem: “M1 ve M5 yeni imaj matrisi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Eski K592 hash yeni kerneli doğrulamaz. “Aynı yeni Image iki Macte” kabulü ile “Eski M1 raporu yeni Imagea bağlanır” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Eski K592 hash yeni kerneli doğrulamaz
Kod hedefi — henüz öneri: scripts/os-acceptance/portability.mjs · os_portability_mac_hosts
Mevcut başlangıç referansı: kernel/src/bootinfo.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Aynı yeni Image iki Macte
Karşı-örnek / hata girdisi: Eski M1 raporu yeni Imagea bağlanır
Gerçek konuk kabulü: Yeni hashli altı boot iki hostta
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/portability.mjs
os_portability_mac_hosts_positive
os_portability_mac_hosts_negative
scripts/os-acceptance/portability.mjs
Geçiş koşulu: Tür ve geçiş tablosu Eski K592 hash yeni kerneli doğrulamaz 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 M1 raporu yeni Imagea bağlanı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/K2465: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2460. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2462M1 ve M5 yeni imaj matrisi · Rust uygulaması ve sahiplikPLAN / SINANMADI

Uygulanacak işlem: scripts/os-acceptance/portability.mjs hedefinde os_portability_mac_hosts 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: Eski K592 hash yeni kerneli doğrulamaz
Kod hedefi — henüz öneri: scripts/os-acceptance/portability.mjs · os_portability_mac_hosts
Mevcut başlangıç referansı: kernel/src/bootinfo.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Aynı yeni Image iki Macte
Karşı-örnek / hata girdisi: Eski M1 raporu yeni Imagea bağlanır
Gerçek konuk kabulü: Yeni hashli altı boot iki hostta
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/portability.mjs
os_portability_mac_hosts_positive
os_portability_mac_hosts_negative
scripts/os-acceptance/portability.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Aynı yeni Image iki Macte ile Eski M1 raporu yeni Imagea bağlanır ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Eski M1 raporu yeni Imagea bağlanı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/K2465: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2461. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2463M1 ve M5 yeni imaj matrisi · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_portability_mac_hosts_positive testini oluştur: “Aynı yeni Image iki Macte”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.
Değişmez / korunan bağlam: Eski K592 hash yeni kerneli doğrulamaz
Kod hedefi — henüz öneri: scripts/os-acceptance/portability.mjs · os_portability_mac_hosts
Mevcut başlangıç referansı: kernel/src/bootinfo.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Aynı yeni Image iki Macte
Karşı-örnek / hata girdisi: Eski M1 raporu yeni Imagea bağlanır
Gerçek konuk kabulü: Yeni hashli altı boot iki hostta
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/portability.mjs
os_portability_mac_hosts_positive
os_portability_mac_hosts_negative
scripts/os-acceptance/portability.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Aynı yeni Image iki Macte girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Eski M1 raporu yeni Imagea bağlanı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/K2465: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2462. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2464M1 ve M5 yeni imaj matrisi · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_portability_mac_hosts_negative testini oluştur: “Eski M1 raporu yeni Imagea bağlanı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: Eski K592 hash yeni kerneli doğrulamaz
Kod hedefi — henüz öneri: scripts/os-acceptance/portability.mjs · os_portability_mac_hosts
Mevcut başlangıç referansı: kernel/src/bootinfo.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Aynı yeni Image iki Macte
Karşı-örnek / hata girdisi: Eski M1 raporu yeni Imagea bağlanır
Gerçek konuk kabulü: Yeni hashli altı boot iki hostta
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/portability.mjs
os_portability_mac_hosts_positive
os_portability_mac_hosts_negative
scripts/os-acceptance/portability.mjs
Geçiş koşulu: Eski M1 raporu yeni Imagea bağlanı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 M1 raporu yeni Imagea bağlanı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/K2465: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2463. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2465M1 ve M5 yeni imaj matrisi · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “Yeni hashli altı boot iki hostta” kabulünü koştur. scripts/os-acceptance/portability.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.
Değişmez / korunan bağlam: Eski K592 hash yeni kerneli doğrulamaz
Kod hedefi — henüz öneri: scripts/os-acceptance/portability.mjs · os_portability_mac_hosts
Mevcut başlangıç referansı: kernel/src/bootinfo.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Aynı yeni Image iki Macte
Karşı-örnek / hata girdisi: Eski M1 raporu yeni Imagea bağlanır
Gerçek konuk kabulü: Yeni hashli altı boot iki hostta
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/portability.mjs
os_portability_mac_hosts_positive
os_portability_mac_hosts_negative
scripts/os-acceptance/portability.mjs
Geçiş koşulu: Yeni hashli altı boot iki hostta; 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 M1 raporu yeni Imagea bağlanı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/K2465: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2464. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2466QEMU EDK2 sürüm farkı · Sözleşme ve durum modeliPLAN / SINANMADI

1900 plan kartı ürün kanıtı değildir. Her özelliğin host modeli gerçek konuk kabulü negatif korpusu ve dış sınırı ayrı tutulur. Bu hamlenin koruduğu değişmez: Aynı imaj farklı araçlarda ölçülür.

Uygulanacak işlem: “QEMU EDK2 sürüm farkı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Aynı imaj farklı araçlarda ölçülür. “İki QEMU iki firmware” kabulü ile “Aynı firmware ikinci diye sayılır” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Aynı imaj farklı araçlarda ölçülür
Kod hedefi — henüz öneri: scripts/os-acceptance/portability.mjs · os_portability_tool_versions
Mevcut başlangıç referansı: kernel/src/bootinfo.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İki QEMU iki firmware
Karşı-örnek / hata girdisi: Aynı firmware ikinci diye sayılır
Gerçek konuk kabulü: Araç hashleri ve başarısızlıklar ayrı
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/portability.mjs
os_portability_tool_versions_positive
os_portability_tool_versions_negative
scripts/os-acceptance/portability.mjs
Geçiş koşulu: Tür ve geçiş tablosu Aynı imaj farklı araçlarda ölçülür kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Aynı firmware ikinci diye sayılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2470: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2465. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2467QEMU EDK2 sürüm farkı · Rust uygulaması ve sahiplikPLAN / SINANMADI

Uygulanacak işlem: scripts/os-acceptance/portability.mjs hedefinde os_portability_tool_versions 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: Aynı imaj farklı araçlarda ölçülür
Kod hedefi — henüz öneri: scripts/os-acceptance/portability.mjs · os_portability_tool_versions
Mevcut başlangıç referansı: kernel/src/bootinfo.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İki QEMU iki firmware
Karşı-örnek / hata girdisi: Aynı firmware ikinci diye sayılır
Gerçek konuk kabulü: Araç hashleri ve başarısızlıklar ayrı
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/portability.mjs
os_portability_tool_versions_positive
os_portability_tool_versions_negative
scripts/os-acceptance/portability.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki QEMU iki firmware ile Aynı firmware ikinci diye sayılır ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Aynı firmware ikinci diye sayılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2470: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2466. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2468QEMU EDK2 sürüm farkı · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_portability_tool_versions_positive testini oluştur: “İki QEMU iki firmware”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.
Değişmez / korunan bağlam: Aynı imaj farklı araçlarda ölçülür
Kod hedefi — henüz öneri: scripts/os-acceptance/portability.mjs · os_portability_tool_versions
Mevcut başlangıç referansı: kernel/src/bootinfo.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İki QEMU iki firmware
Karşı-örnek / hata girdisi: Aynı firmware ikinci diye sayılır
Gerçek konuk kabulü: Araç hashleri ve başarısızlıklar ayrı
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/portability.mjs
os_portability_tool_versions_positive
os_portability_tool_versions_negative
scripts/os-acceptance/portability.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; İki QEMU iki firmware girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Aynı firmware ikinci diye sayılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2470: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2467. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2469QEMU EDK2 sürüm farkı · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_portability_tool_versions_negative testini oluştur: “Aynı firmware ikinci diye sayılır”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.
Değişmez / korunan bağlam: Aynı imaj farklı araçlarda ölçülür
Kod hedefi — henüz öneri: scripts/os-acceptance/portability.mjs · os_portability_tool_versions
Mevcut başlangıç referansı: kernel/src/bootinfo.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İki QEMU iki firmware
Karşı-örnek / hata girdisi: Aynı firmware ikinci diye sayılır
Gerçek konuk kabulü: Araç hashleri ve başarısızlıklar ayrı
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/portability.mjs
os_portability_tool_versions_positive
os_portability_tool_versions_negative
scripts/os-acceptance/portability.mjs
Geçiş koşulu: Aynı firmware ikinci diye sayılır karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.
Başarısızlık ve geri dönüş: “Aynı firmware ikinci diye sayılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2470: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2468. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2470QEMU EDK2 sürüm farkı · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “Araç hashleri ve başarısızlıklar ayrı” kabulünü koştur. scripts/os-acceptance/portability.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.
Değişmez / korunan bağlam: Aynı imaj farklı araçlarda ölçülür
Kod hedefi — henüz öneri: scripts/os-acceptance/portability.mjs · os_portability_tool_versions
Mevcut başlangıç referansı: kernel/src/bootinfo.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İki QEMU iki firmware
Karşı-örnek / hata girdisi: Aynı firmware ikinci diye sayılır
Gerçek konuk kabulü: Araç hashleri ve başarısızlıklar ayrı
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/portability.mjs
os_portability_tool_versions_positive
os_portability_tool_versions_negative
scripts/os-acceptance/portability.mjs
Geçiş koşulu: Araç hashleri ve başarısızlıklar 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üş: “Aynı firmware ikinci diye sayılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2470: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2469. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2471Gerçek Linux KVM profili · Sözleşme ve durum modeliPLAN / SINANMADI

1900 plan kartı ürün kanıtı değildir. Her özelliğin host modeli gerçek konuk kabulü negatif korpusu ve dış sınırı ayrı tutulur. Bu hamlenin koruduğu değişmez: TCG veya Macte nested Linux KVM sayılmaz.

Uygulanacak işlem: “Gerçek Linux KVM profili” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: TCG veya Macte nested Linux KVM sayılmaz. “Fiziksel ARM Linux gerçek KVM” kabulü ile “Mac TCG sonucu K593 diye sunulur” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: TCG veya Macte nested Linux KVM sayılmaz
Kod hedefi — henüz öneri: scripts/os-acceptance/portability.mjs · os_portability_linux_kvm
Mevcut başlangıç referansı: kernel/src/bootinfo.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Fiziksel ARM Linux gerçek KVM
Karşı-örnek / hata girdisi: Mac TCG sonucu K593 diye sunulur
Gerçek konuk kabulü: Gerçek dış rapor yoksa external kalır
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/portability.mjs
os_portability_linux_kvm_positive
os_portability_linux_kvm_negative
scripts/os-acceptance/portability.mjs
Geçiş koşulu: Tür ve geçiş tablosu TCG veya Macte nested Linux KVM sayılmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Mac TCG sonucu K593 diye sunulur” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2475: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2470. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2472Gerçek Linux KVM profili · Rust uygulaması ve sahiplikPLAN / SINANMADI

Uygulanacak işlem: scripts/os-acceptance/portability.mjs hedefinde os_portability_linux_kvm 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: TCG veya Macte nested Linux KVM sayılmaz
Kod hedefi — henüz öneri: scripts/os-acceptance/portability.mjs · os_portability_linux_kvm
Mevcut başlangıç referansı: kernel/src/bootinfo.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Fiziksel ARM Linux gerçek KVM
Karşı-örnek / hata girdisi: Mac TCG sonucu K593 diye sunulur
Gerçek konuk kabulü: Gerçek dış rapor yoksa external kalır
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/portability.mjs
os_portability_linux_kvm_positive
os_portability_linux_kvm_negative
scripts/os-acceptance/portability.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Fiziksel ARM Linux gerçek KVM ile Mac TCG sonucu K593 diye sunulur ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Mac TCG sonucu K593 diye sunulur” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2475: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2471. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2473Gerçek Linux KVM profili · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_portability_linux_kvm_positive testini oluştur: “Fiziksel ARM Linux gerçek KVM”. 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: TCG veya Macte nested Linux KVM sayılmaz
Kod hedefi — henüz öneri: scripts/os-acceptance/portability.mjs · os_portability_linux_kvm
Mevcut başlangıç referansı: kernel/src/bootinfo.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Fiziksel ARM Linux gerçek KVM
Karşı-örnek / hata girdisi: Mac TCG sonucu K593 diye sunulur
Gerçek konuk kabulü: Gerçek dış rapor yoksa external kalır
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/portability.mjs
os_portability_linux_kvm_positive
os_portability_linux_kvm_negative
scripts/os-acceptance/portability.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Fiziksel ARM Linux gerçek KVM girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Mac TCG sonucu K593 diye sunulur” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2475: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2472. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2474Gerçek Linux KVM profili · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_portability_linux_kvm_negative testini oluştur: “Mac TCG sonucu K593 diye sunulur”. 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: TCG veya Macte nested Linux KVM sayılmaz
Kod hedefi — henüz öneri: scripts/os-acceptance/portability.mjs · os_portability_linux_kvm
Mevcut başlangıç referansı: kernel/src/bootinfo.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Fiziksel ARM Linux gerçek KVM
Karşı-örnek / hata girdisi: Mac TCG sonucu K593 diye sunulur
Gerçek konuk kabulü: Gerçek dış rapor yoksa external kalır
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/portability.mjs
os_portability_linux_kvm_positive
os_portability_linux_kvm_negative
scripts/os-acceptance/portability.mjs
Geçiş koşulu: Mac TCG sonucu K593 diye sunulur 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üş: “Mac TCG sonucu K593 diye sunulur” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2475: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2473. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2475Gerçek Linux KVM profili · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “Gerçek dış rapor yoksa external kalır” kabulünü koştur. scripts/os-acceptance/portability.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: TCG veya Macte nested Linux KVM sayılmaz
Kod hedefi — henüz öneri: scripts/os-acceptance/portability.mjs · os_portability_linux_kvm
Mevcut başlangıç referansı: kernel/src/bootinfo.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Fiziksel ARM Linux gerçek KVM
Karşı-örnek / hata girdisi: Mac TCG sonucu K593 diye sunulur
Gerçek konuk kabulü: Gerçek dış rapor yoksa external kalır
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/portability.mjs
os_portability_linux_kvm_positive
os_portability_linux_kvm_negative
scripts/os-acceptance/portability.mjs
Geçiş koşulu: Gerçek dış rapor yoksa external kalır; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.
Başarısızlık ve geri dönüş: “Mac TCG sonucu K593 diye sunulur” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2475: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2474. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2476Desteklenen aygıt karar tablosu · Sözleşme ve durum modeliPLAN / SINANMADI

1900 plan kartı ürün kanıtı değildir. Her özelliğin host modeli gerçek konuk kabulü negatif korpusu ve dış sınırı ayrı tutulur. Bu hamlenin koruduğu değişmez: Absent unsupported untested ayrı durumlardır.

Uygulanacak işlem: “Desteklenen aygıt karar tablosu” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Absent unsupported untested ayrı durumlardır. “MMIO PCI GPU input profilleri” kabulü ile “Test yokken supported etiketi” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Absent unsupported untested ayrı durumlardır
Kod hedefi — henüz öneri: scripts/os-acceptance/portability.mjs · os_portability_devices
Mevcut başlangıç referansı: kernel/src/bootinfo.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: MMIO PCI GPU input profilleri
Karşı-örnek / hata girdisi: Test yokken supported etiketi
Gerçek konuk kabulü: Her destek hücresi gerçek casee bağlı
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/portability.mjs
os_portability_devices_positive
os_portability_devices_negative
scripts/os-acceptance/portability.mjs
Geçiş koşulu: Tür ve geçiş tablosu Absent unsupported untested ayrı durumlardı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üş: “Test yokken supported etiketi” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2480: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2475. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2477Desteklenen aygıt karar tablosu · Rust uygulaması ve sahiplikPLAN / SINANMADI

Uygulanacak işlem: scripts/os-acceptance/portability.mjs hedefinde os_portability_devices 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: Absent unsupported untested ayrı durumlardır
Kod hedefi — henüz öneri: scripts/os-acceptance/portability.mjs · os_portability_devices
Mevcut başlangıç referansı: kernel/src/bootinfo.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: MMIO PCI GPU input profilleri
Karşı-örnek / hata girdisi: Test yokken supported etiketi
Gerçek konuk kabulü: Her destek hücresi gerçek casee bağlı
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/portability.mjs
os_portability_devices_positive
os_portability_devices_negative
scripts/os-acceptance/portability.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. MMIO PCI GPU input profilleri ile Test yokken supported etiketi ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Test yokken supported etiketi” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2480: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2476. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2478Desteklenen aygıt karar tablosu · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_portability_devices_positive testini oluştur: “MMIO PCI GPU input profilleri”. 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: Absent unsupported untested ayrı durumlardır
Kod hedefi — henüz öneri: scripts/os-acceptance/portability.mjs · os_portability_devices
Mevcut başlangıç referansı: kernel/src/bootinfo.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: MMIO PCI GPU input profilleri
Karşı-örnek / hata girdisi: Test yokken supported etiketi
Gerçek konuk kabulü: Her destek hücresi gerçek casee bağlı
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/portability.mjs
os_portability_devices_positive
os_portability_devices_negative
scripts/os-acceptance/portability.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; MMIO PCI GPU input profilleri girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Test yokken supported etiketi” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2480: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2477. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2479Desteklenen aygıt karar tablosu · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_portability_devices_negative testini oluştur: “Test yokken supported etiketi”. 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: Absent unsupported untested ayrı durumlardır
Kod hedefi — henüz öneri: scripts/os-acceptance/portability.mjs · os_portability_devices
Mevcut başlangıç referansı: kernel/src/bootinfo.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: MMIO PCI GPU input profilleri
Karşı-örnek / hata girdisi: Test yokken supported etiketi
Gerçek konuk kabulü: Her destek hücresi gerçek casee bağlı
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/portability.mjs
os_portability_devices_positive
os_portability_devices_negative
scripts/os-acceptance/portability.mjs
Geçiş koşulu: Test yokken supported etiketi 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üş: “Test yokken supported etiketi” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2480: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2478. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2480Desteklenen aygıt karar tablosu · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “Her destek hücresi gerçek casee bağlı” kabulünü koştur. scripts/os-acceptance/portability.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: Absent unsupported untested ayrı durumlardır
Kod hedefi — henüz öneri: scripts/os-acceptance/portability.mjs · os_portability_devices
Mevcut başlangıç referansı: kernel/src/bootinfo.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: MMIO PCI GPU input profilleri
Karşı-örnek / hata girdisi: Test yokken supported etiketi
Gerçek konuk kabulü: Her destek hücresi gerçek casee bağlı
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/portability.mjs
os_portability_devices_positive
os_portability_devices_negative
scripts/os-acceptance/portability.mjs
Geçiş koşulu: Her destek hücresi gerçek casee bağlı; 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üş: “Test yokken supported etiketi” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2480: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2479. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

Kabul koşucusu · K2481–K2500

K2500 deneysel sürüm kapısı

Dört yetenek: Temiz kaynak yeniden üretim · Site ve imaj iddia eşliği · İnsan ve bağımsız dış onay · K2500 açık kapı değerlendirmesi. Her yetenek için kod ve iki testin ardından aynı ürün Image'ında konuk kabulü gerekir.

K2481Temiz kaynak yeniden üretim · Sözleşme ve durum modeliPLAN / SINANMADI

1900 plan kartı ürün kanıtı değildir. Her özelliğin host modeli gerçek konuk kabulü negatif korpusu ve dış sınırı ayrı tutulur. Bu hamlenin koruduğu değişmez: Target cache ve eski rapor yeni kanıt olmaz.

Uygulanacak işlem: “Temiz kaynak yeniden üretim” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Target cache ve eski rapor yeni kanıt olmaz. “İzole source toolchain imaj site” kabulü ile “Eski target kopyalanır” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Target cache ve eski rapor yeni kanıt olmaz
Kod hedefi — henüz öneri: scripts/os-acceptance/release_acceptance.mjs · os_release_acceptance_reproduction
Mevcut başlangıç referansı: kernel/src/write_release.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İzole source toolchain imaj site
Karşı-örnek / hata girdisi: Eski target kopyalanır
Gerçek konuk kabulü: Kaynak ve çıktı hash zinciri ölçülür
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/release_acceptance.mjs
os_release_acceptance_reproduction_positive
os_release_acceptance_reproduction_negative
scripts/os-acceptance/release_acceptance.mjs
Geçiş koşulu: Tür ve geçiş tablosu Target cache ve eski rapor yeni kanıt olmaz 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 target kopyalanı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/K2485: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2480. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2482Temiz kaynak yeniden üretim · Rust uygulaması ve sahiplikPLAN / SINANMADI

Uygulanacak işlem: scripts/os-acceptance/release_acceptance.mjs hedefinde os_release_acceptance_reproduction yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/write_release.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: Target cache ve eski rapor yeni kanıt olmaz
Kod hedefi — henüz öneri: scripts/os-acceptance/release_acceptance.mjs · os_release_acceptance_reproduction
Mevcut başlangıç referansı: kernel/src/write_release.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İzole source toolchain imaj site
Karşı-örnek / hata girdisi: Eski target kopyalanır
Gerçek konuk kabulü: Kaynak ve çıktı hash zinciri ölçülür
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/release_acceptance.mjs
os_release_acceptance_reproduction_positive
os_release_acceptance_reproduction_negative
scripts/os-acceptance/release_acceptance.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İzole source toolchain imaj site ile Eski target kopyalanır ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Eski target kopyalanı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/K2485: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2481. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2483Temiz kaynak yeniden üretim · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_release_acceptance_reproduction_positive testini oluştur: “İzole source toolchain imaj site”. 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: Target cache ve eski rapor yeni kanıt olmaz
Kod hedefi — henüz öneri: scripts/os-acceptance/release_acceptance.mjs · os_release_acceptance_reproduction
Mevcut başlangıç referansı: kernel/src/write_release.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İzole source toolchain imaj site
Karşı-örnek / hata girdisi: Eski target kopyalanır
Gerçek konuk kabulü: Kaynak ve çıktı hash zinciri ölçülür
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/release_acceptance.mjs
os_release_acceptance_reproduction_positive
os_release_acceptance_reproduction_negative
scripts/os-acceptance/release_acceptance.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; İzole source toolchain imaj site girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Eski target kopyalanı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/K2485: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2482. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2484Temiz kaynak yeniden üretim · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_release_acceptance_reproduction_negative testini oluştur: “Eski target kopyalanı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: Target cache ve eski rapor yeni kanıt olmaz
Kod hedefi — henüz öneri: scripts/os-acceptance/release_acceptance.mjs · os_release_acceptance_reproduction
Mevcut başlangıç referansı: kernel/src/write_release.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İzole source toolchain imaj site
Karşı-örnek / hata girdisi: Eski target kopyalanır
Gerçek konuk kabulü: Kaynak ve çıktı hash zinciri ölçülür
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/release_acceptance.mjs
os_release_acceptance_reproduction_positive
os_release_acceptance_reproduction_negative
scripts/os-acceptance/release_acceptance.mjs
Geçiş koşulu: Eski target kopyalanı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 target kopyalanı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/K2485: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2483. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2485Temiz kaynak yeniden üretim · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “Kaynak ve çıktı hash zinciri ölçülür” kabulünü koştur. scripts/os-acceptance/release_acceptance.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: Target cache ve eski rapor yeni kanıt olmaz
Kod hedefi — henüz öneri: scripts/os-acceptance/release_acceptance.mjs · os_release_acceptance_reproduction
Mevcut başlangıç referansı: kernel/src/write_release.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İzole source toolchain imaj site
Karşı-örnek / hata girdisi: Eski target kopyalanır
Gerçek konuk kabulü: Kaynak ve çıktı hash zinciri ölçülür
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/release_acceptance.mjs
os_release_acceptance_reproduction_positive
os_release_acceptance_reproduction_negative
scripts/os-acceptance/release_acceptance.mjs
Geçiş koşulu: Kaynak ve çıktı hash zinciri ölçü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 target kopyalanı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/K2485: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2484. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2486Site ve imaj iddia eşliği · Sözleşme ve durum modeliPLAN / SINANMADI

1900 plan kartı ürün kanıtı değildir. Her özelliğin host modeli gerçek konuk kabulü negatif korpusu ve dış sınırı ayrı tutulur. Bu hamlenin koruduğu değişmez: Plan implementation test PASS ayrı tutulur.

Uygulanacak işlem: “Site ve imaj iddia eşliği” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Plan implementation test PASS ayrı tutulur. “1900 kayıt ile release index” kabulü ile “Rapor olmadan planned PASS yapılır” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Plan implementation test PASS ayrı tutulur
Kod hedefi — henüz öneri: scripts/os-acceptance/release_acceptance.mjs · os_release_acceptance_claim_audit
Mevcut başlangıç referansı: kernel/src/write_release.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: 1900 kayıt ile release index
Karşı-örnek / hata girdisi: Rapor olmadan planned PASS yapılır
Gerçek konuk kabulü: İddia denetimi sahte sayıyı reddeder
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/release_acceptance.mjs
os_release_acceptance_claim_audit_positive
os_release_acceptance_claim_audit_negative
scripts/os-acceptance/release_acceptance.mjs
Geçiş koşulu: Tür ve geçiş tablosu Plan implementation test PASS ayrı tutulur kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Rapor olmadan planned PASS yapı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/K2490: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2485. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2487Site ve imaj iddia eşliği · Rust uygulaması ve sahiplikPLAN / SINANMADI

Uygulanacak işlem: scripts/os-acceptance/release_acceptance.mjs hedefinde os_release_acceptance_claim_audit yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/write_release.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: Plan implementation test PASS ayrı tutulur
Kod hedefi — henüz öneri: scripts/os-acceptance/release_acceptance.mjs · os_release_acceptance_claim_audit
Mevcut başlangıç referansı: kernel/src/write_release.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: 1900 kayıt ile release index
Karşı-örnek / hata girdisi: Rapor olmadan planned PASS yapılır
Gerçek konuk kabulü: İddia denetimi sahte sayıyı reddeder
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/release_acceptance.mjs
os_release_acceptance_claim_audit_positive
os_release_acceptance_claim_audit_negative
scripts/os-acceptance/release_acceptance.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. 1900 kayıt ile release index ile Rapor olmadan planned PASS yapılır ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Rapor olmadan planned PASS yapı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/K2490: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2486. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2488Site ve imaj iddia eşliği · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_release_acceptance_claim_audit_positive testini oluştur: “1900 kayıt ile release index”. 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: Plan implementation test PASS ayrı tutulur
Kod hedefi — henüz öneri: scripts/os-acceptance/release_acceptance.mjs · os_release_acceptance_claim_audit
Mevcut başlangıç referansı: kernel/src/write_release.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: 1900 kayıt ile release index
Karşı-örnek / hata girdisi: Rapor olmadan planned PASS yapılır
Gerçek konuk kabulü: İddia denetimi sahte sayıyı reddeder
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/release_acceptance.mjs
os_release_acceptance_claim_audit_positive
os_release_acceptance_claim_audit_negative
scripts/os-acceptance/release_acceptance.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; 1900 kayıt ile release index girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Rapor olmadan planned PASS yapı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/K2490: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2487. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2489Site ve imaj iddia eşliği · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_release_acceptance_claim_audit_negative testini oluştur: “Rapor olmadan planned PASS yapı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: Plan implementation test PASS ayrı tutulur
Kod hedefi — henüz öneri: scripts/os-acceptance/release_acceptance.mjs · os_release_acceptance_claim_audit
Mevcut başlangıç referansı: kernel/src/write_release.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: 1900 kayıt ile release index
Karşı-örnek / hata girdisi: Rapor olmadan planned PASS yapılır
Gerçek konuk kabulü: İddia denetimi sahte sayıyı reddeder
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/release_acceptance.mjs
os_release_acceptance_claim_audit_positive
os_release_acceptance_claim_audit_negative
scripts/os-acceptance/release_acceptance.mjs
Geçiş koşulu: Rapor olmadan planned PASS yapı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üş: “Rapor olmadan planned PASS yapı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/K2490: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2488. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2490Site ve imaj iddia eşliği · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “İddia denetimi sahte sayıyı reddeder” kabulünü koştur. scripts/os-acceptance/release_acceptance.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: Plan implementation test PASS ayrı tutulur
Kod hedefi — henüz öneri: scripts/os-acceptance/release_acceptance.mjs · os_release_acceptance_claim_audit
Mevcut başlangıç referansı: kernel/src/write_release.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: 1900 kayıt ile release index
Karşı-örnek / hata girdisi: Rapor olmadan planned PASS yapılır
Gerçek konuk kabulü: İddia denetimi sahte sayıyı reddeder
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/release_acceptance.mjs
os_release_acceptance_claim_audit_positive
os_release_acceptance_claim_audit_negative
scripts/os-acceptance/release_acceptance.mjs
Geçiş koşulu: İddia denetimi sahte sayıyı 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üş: “Rapor olmadan planned PASS yapı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/K2490: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2489. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2491İnsan ve bağımsız dış onay · Sözleşme ve durum modeliPLAN / SINANMADI

1900 plan kartı ürün kanıtı değildir. Her özelliğin host modeli gerçek konuk kabulü negatif korpusu ve dış sınırı ayrı tutulur. Bu hamlenin koruduğu değişmez: AI veya sahip beyanı review yerine geçmez.

Uygulanacak işlem: “İnsan ve bağımsız dış onay” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: AI veya sahip beyanı review yerine geçmez. “Gerçek güvenlik ve erişim incelemesi” kabulü ile “Self review dış onay diye sayılır” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: AI veya sahip beyanı review yerine geçmez
Kod hedefi — henüz öneri: scripts/os-acceptance/release_acceptance.mjs · os_release_acceptance_external_signoff
Mevcut başlangıç referansı: kernel/src/write_release.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Gerçek güvenlik ve erişim incelemesi
Karşı-örnek / hata girdisi: Self review dış onay diye sayılır
Gerçek konuk kabulü: Açık dış kapılar sürümde listelenir
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/release_acceptance.mjs
os_release_acceptance_external_signoff_positive
os_release_acceptance_external_signoff_negative
scripts/os-acceptance/release_acceptance.mjs
Geçiş koşulu: Tür ve geçiş tablosu AI veya sahip beyanı review yerine geçmez kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Self review dış onay diye sayılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2495: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2490. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2492İnsan ve bağımsız dış onay · Rust uygulaması ve sahiplikPLAN / SINANMADI

Uygulanacak işlem: scripts/os-acceptance/release_acceptance.mjs hedefinde os_release_acceptance_external_signoff yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/write_release.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: AI veya sahip beyanı review yerine geçmez
Kod hedefi — henüz öneri: scripts/os-acceptance/release_acceptance.mjs · os_release_acceptance_external_signoff
Mevcut başlangıç referansı: kernel/src/write_release.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Gerçek güvenlik ve erişim incelemesi
Karşı-örnek / hata girdisi: Self review dış onay diye sayılır
Gerçek konuk kabulü: Açık dış kapılar sürümde listelenir
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/release_acceptance.mjs
os_release_acceptance_external_signoff_positive
os_release_acceptance_external_signoff_negative
scripts/os-acceptance/release_acceptance.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Gerçek güvenlik ve erişim incelemesi ile Self review dış onay diye sayılır ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Self review dış onay diye sayılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2495: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2491. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2493İnsan ve bağımsız dış onay · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_release_acceptance_external_signoff_positive testini oluştur: “Gerçek güvenlik ve erişim incelemesi”. 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: AI veya sahip beyanı review yerine geçmez
Kod hedefi — henüz öneri: scripts/os-acceptance/release_acceptance.mjs · os_release_acceptance_external_signoff
Mevcut başlangıç referansı: kernel/src/write_release.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Gerçek güvenlik ve erişim incelemesi
Karşı-örnek / hata girdisi: Self review dış onay diye sayılır
Gerçek konuk kabulü: Açık dış kapılar sürümde listelenir
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/release_acceptance.mjs
os_release_acceptance_external_signoff_positive
os_release_acceptance_external_signoff_negative
scripts/os-acceptance/release_acceptance.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Gerçek güvenlik ve erişim incelemesi girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Self review dış onay diye sayılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2495: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2492. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2494İnsan ve bağımsız dış onay · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_release_acceptance_external_signoff_negative testini oluştur: “Self review dış onay diye sayılır”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.
Değişmez / korunan bağlam: AI veya sahip beyanı review yerine geçmez
Kod hedefi — henüz öneri: scripts/os-acceptance/release_acceptance.mjs · os_release_acceptance_external_signoff
Mevcut başlangıç referansı: kernel/src/write_release.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Gerçek güvenlik ve erişim incelemesi
Karşı-örnek / hata girdisi: Self review dış onay diye sayılır
Gerçek konuk kabulü: Açık dış kapılar sürümde listelenir
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/release_acceptance.mjs
os_release_acceptance_external_signoff_positive
os_release_acceptance_external_signoff_negative
scripts/os-acceptance/release_acceptance.mjs
Geçiş koşulu: Self review dış onay diye sayılır karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.
Başarısızlık ve geri dönüş: “Self review dış onay diye sayılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2495: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2493. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2495İnsan ve bağımsız dış onay · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “Açık dış kapılar sürümde listelenir” kabulünü koştur. scripts/os-acceptance/release_acceptance.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: AI veya sahip beyanı review yerine geçmez
Kod hedefi — henüz öneri: scripts/os-acceptance/release_acceptance.mjs · os_release_acceptance_external_signoff
Mevcut başlangıç referansı: kernel/src/write_release.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Gerçek güvenlik ve erişim incelemesi
Karşı-örnek / hata girdisi: Self review dış onay diye sayılır
Gerçek konuk kabulü: Açık dış kapılar sürümde listelenir
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/release_acceptance.mjs
os_release_acceptance_external_signoff_positive
os_release_acceptance_external_signoff_negative
scripts/os-acceptance/release_acceptance.mjs
Geçiş koşulu: Açık dış kapılar sürümde listelenir; 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üş: “Self review dış onay diye sayılır” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2495: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2494. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2496K2500 açık kapı değerlendirmesi · Sözleşme ve durum modeliPLAN / SINANMADI

1900 plan kartı ürün kanıtı değildir. Her özelliğin host modeli gerçek konuk kabulü negatif korpusu ve dış sınırı ayrı tutulur. Bu hamlenin koruduğu değişmez: Eksik kabul varken stable release olmaz.

Uygulanacak işlem: “K2500 açık kapı değerlendirmesi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Eksik kabul varken stable release olmaz. “Bütün sonuçların scoped özeti” kabulü ile “1900 plan tamam diye sürüm etiketi” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Eksik kabul varken stable release olmaz
Kod hedefi — henüz öneri: scripts/os-acceptance/release_acceptance.mjs · os_release_acceptance_final_gate
Mevcut başlangıç referansı: kernel/src/write_release.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bütün sonuçların scoped özeti
Karşı-örnek / hata girdisi: 1900 plan tamam diye sürüm etiketi
Gerçek konuk kabulü: Experimental ve write engeli gerektiğinde korunur
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/release_acceptance.mjs
os_release_acceptance_final_gate_positive
os_release_acceptance_final_gate_negative
scripts/os-acceptance/release_acceptance.mjs
Geçiş koşulu: Tür ve geçiş tablosu Eksik kabul varken stable release olmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “1900 plan tamam diye sürüm etiketi” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2500: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2495. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2497K2500 açık kapı değerlendirmesi · Rust uygulaması ve sahiplikPLAN / SINANMADI

Uygulanacak işlem: scripts/os-acceptance/release_acceptance.mjs hedefinde os_release_acceptance_final_gate yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/write_release.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.
Değişmez / korunan bağlam: Eksik kabul varken stable release olmaz
Kod hedefi — henüz öneri: scripts/os-acceptance/release_acceptance.mjs · os_release_acceptance_final_gate
Mevcut başlangıç referansı: kernel/src/write_release.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bütün sonuçların scoped özeti
Karşı-örnek / hata girdisi: 1900 plan tamam diye sürüm etiketi
Gerçek konuk kabulü: Experimental ve write engeli gerektiğinde korunur
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/release_acceptance.mjs
os_release_acceptance_final_gate_positive
os_release_acceptance_final_gate_negative
scripts/os-acceptance/release_acceptance.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Bütün sonuçların scoped özeti ile 1900 plan tamam diye sürüm etiketi ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “1900 plan tamam diye sürüm etiketi” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2500: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2496. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2498K2500 açık kapı değerlendirmesi · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_release_acceptance_final_gate_positive testini oluştur: “Bütün sonuçların scoped özeti”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.
Değişmez / korunan bağlam: Eksik kabul varken stable release olmaz
Kod hedefi — henüz öneri: scripts/os-acceptance/release_acceptance.mjs · os_release_acceptance_final_gate
Mevcut başlangıç referansı: kernel/src/write_release.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bütün sonuçların scoped özeti
Karşı-örnek / hata girdisi: 1900 plan tamam diye sürüm etiketi
Gerçek konuk kabulü: Experimental ve write engeli gerektiğinde korunur
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/release_acceptance.mjs
os_release_acceptance_final_gate_positive
os_release_acceptance_final_gate_negative
scripts/os-acceptance/release_acceptance.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Bütün sonuçların scoped özeti girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “1900 plan tamam diye sürüm etiketi” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2500: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2497. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2499K2500 açık kapı değerlendirmesi · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_release_acceptance_final_gate_negative testini oluştur: “1900 plan tamam diye sürüm etiketi”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.
Değişmez / korunan bağlam: Eksik kabul varken stable release olmaz
Kod hedefi — henüz öneri: scripts/os-acceptance/release_acceptance.mjs · os_release_acceptance_final_gate
Mevcut başlangıç referansı: kernel/src/write_release.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bütün sonuçların scoped özeti
Karşı-örnek / hata girdisi: 1900 plan tamam diye sürüm etiketi
Gerçek konuk kabulü: Experimental ve write engeli gerektiğinde korunur
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/release_acceptance.mjs
os_release_acceptance_final_gate_positive
os_release_acceptance_final_gate_negative
scripts/os-acceptance/release_acceptance.mjs
Geçiş koşulu: 1900 plan tamam diye sürüm etiketi 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üş: “1900 plan tamam diye sürüm etiketi” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2500: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2498. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K2500K2500 açık kapı değerlendirmesi · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “Experimental ve write engeli gerektiğinde korunur” kabulünü koştur. scripts/os-acceptance/release_acceptance.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.
Değişmez / korunan bağlam: Eksik kabul varken stable release olmaz
Kod hedefi — henüz öneri: scripts/os-acceptance/release_acceptance.mjs · os_release_acceptance_final_gate
Mevcut başlangıç referansı: kernel/src/write_release.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bütün sonuçların scoped özeti
Karşı-örnek / hata girdisi: 1900 plan tamam diye sürüm etiketi
Gerçek konuk kabulü: Experimental ve write engeli gerektiğinde korunur
Test hedefleri — oluşturulmadı / çalıştırılmadı: scripts/os-acceptance/tests/release_acceptance.mjs
os_release_acceptance_final_gate_positive
os_release_acceptance_final_gate_negative
scripts/os-acceptance/release_acceptance.mjs
Geçiş koşulu: Experimental ve write engeli gerektiğinde korunur; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.
Başarısızlık ve geri dönüş: “1900 plan tamam diye sürüm etiketi” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K2500: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1/2/4 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K2499. Ayrıca faz 18 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.