Ürün çekirdeği ve açılış sözleşmesi

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Kaynak türü payload yorumunu belirler.

Uygulanacak işlem

“Doğrudan ve UEFI kaynak türü” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Kaynak türü payload yorumunu belirler. “İki giriş aynı RAM boyunu bildirir” kabulü ile “Doğrudan DTB BootInfo diye okunur” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Kaynak türü payload yorumunu belirler

Kod hedefi — henüz öneri

kernel/src/runtime/boot_contract.rs · os_boot_contract_origin

Mevcut başlangıç referansı

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

Olumlu deney

İki giriş aynı RAM boyunu bildirir

Karşı-örnek / hata girdisi

Doğrudan DTB BootInfo diye okunur

Gerçek konuk kabulü

İki yolda farklı kaynak etiketi

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

kernel/tests/os/boot_contract.rs
os_boot_contract_origin_positive
os_boot_contract_origin_negative
scripts/os-acceptance/boot_contract.mjs

Geçiş koşulu

Tür ve geçiş tablosu Kaynak türü payload yorumunu belirler kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Kaynak türü payload yorumunu belirler.

Uygulanacak işlem

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

Kaynak türü payload yorumunu belirler

Kod hedefi — henüz öneri

kernel/src/runtime/boot_contract.rs · os_boot_contract_origin

Mevcut başlangıç referansı

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

Olumlu deney

İki giriş aynı RAM boyunu bildirir

Karşı-örnek / hata girdisi

Doğrudan DTB BootInfo diye okunur

Gerçek konuk kabulü

İki yolda farklı kaynak etiketi

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

kernel/tests/os/boot_contract.rs
os_boot_contract_origin_positive
os_boot_contract_origin_negative
scripts/os-acceptance/boot_contract.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki giriş aynı RAM boyunu bildirir ile Doğrudan DTB BootInfo diye okunur ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K601.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Kaynak türü payload yorumunu belirler.

Uygulanacak işlem

os_boot_contract_origin_positive testini oluştur: “İki giriş aynı RAM boyunu bildirir”. 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

Kaynak türü payload yorumunu belirler

Kod hedefi — henüz öneri

kernel/src/runtime/boot_contract.rs · os_boot_contract_origin

Mevcut başlangıç referansı

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

Olumlu deney

İki giriş aynı RAM boyunu bildirir

Karşı-örnek / hata girdisi

Doğrudan DTB BootInfo diye okunur

Gerçek konuk kabulü

İki yolda farklı kaynak etiketi

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

kernel/tests/os/boot_contract.rs
os_boot_contract_origin_positive
os_boot_contract_origin_negative
scripts/os-acceptance/boot_contract.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; İki giriş aynı RAM boyunu bildirir girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K602.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Kaynak türü payload yorumunu belirler.

Uygulanacak işlem

os_boot_contract_origin_negative testini oluştur: “Doğrudan DTB BootInfo diye okunur”. 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

Kaynak türü payload yorumunu belirler

Kod hedefi — henüz öneri

kernel/src/runtime/boot_contract.rs · os_boot_contract_origin

Mevcut başlangıç referansı

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

Olumlu deney

İki giriş aynı RAM boyunu bildirir

Karşı-örnek / hata girdisi

Doğrudan DTB BootInfo diye okunur

Gerçek konuk kabulü

İki yolda farklı kaynak etiketi

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

kernel/tests/os/boot_contract.rs
os_boot_contract_origin_positive
os_boot_contract_origin_negative
scripts/os-acceptance/boot_contract.mjs

Geçiş koşulu

Doğrudan DTB BootInfo diye okunur 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K603.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Kaynak türü payload yorumunu belirler.

Uygulanacak işlem

Tek ürün Image'ında “İki yolda farklı kaynak etiketi” kabulünü koştur. scripts/os-acceptance/boot_contract.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

Kaynak türü payload yorumunu belirler

Kod hedefi — henüz öneri

kernel/src/runtime/boot_contract.rs · os_boot_contract_origin

Mevcut başlangıç referansı

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

Olumlu deney

İki giriş aynı RAM boyunu bildirir

Karşı-örnek / hata girdisi

Doğrudan DTB BootInfo diye okunur

Gerçek konuk kabulü

İki yolda farklı kaynak etiketi

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

kernel/tests/os/boot_contract.rs
os_boot_contract_origin_positive
os_boot_contract_origin_negative
scripts/os-acceptance/boot_contract.mjs

Geçiş koşulu

İki yolda farklı kaynak etiketi; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K604.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Sürüm ve uzunluk okumadan sınırlandırılır.

Uygulanacak işlem

“Sahipli başlık çözümleme” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Sürüm ve uzunluk okumadan sınırlandırılır. “V1 ve tam başlık” kabulü ile “Kesik başlık veya sürüm 255” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Sürüm ve uzunluk okumadan sınırlandırılır

Kod hedefi — henüz öneri

kernel/src/runtime/boot_contract.rs · os_boot_contract_header

Mevcut başlangıç referansı

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

Olumlu deney

V1 ve tam başlık

Karşı-örnek / hata girdisi

Kesik başlık veya sürüm 255

Gerçek konuk kabulü

Bozuk başlık tahsisten önce reddedilir

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

kernel/tests/os/boot_contract.rs
os_boot_contract_header_positive
os_boot_contract_header_negative
scripts/os-acceptance/boot_contract.mjs

Geçiş koşulu

Tür ve geçiş tablosu Sürüm ve uzunluk okumadan sınırlandırı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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K605.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Sürüm ve uzunluk okumadan sınırlandırılır.

Uygulanacak işlem

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

Sürüm ve uzunluk okumadan sınırlandırılır

Kod hedefi — henüz öneri

kernel/src/runtime/boot_contract.rs · os_boot_contract_header

Mevcut başlangıç referansı

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

Olumlu deney

V1 ve tam başlık

Karşı-örnek / hata girdisi

Kesik başlık veya sürüm 255

Gerçek konuk kabulü

Bozuk başlık tahsisten önce reddedilir

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

kernel/tests/os/boot_contract.rs
os_boot_contract_header_positive
os_boot_contract_header_negative
scripts/os-acceptance/boot_contract.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. V1 ve tam başlık ile Kesik başlık veya sürüm 255 ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K606.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Sürüm ve uzunluk okumadan sınırlandırılır.

Uygulanacak işlem

os_boot_contract_header_positive testini oluştur: “V1 ve tam başlı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

Sürüm ve uzunluk okumadan sınırlandırılır

Kod hedefi — henüz öneri

kernel/src/runtime/boot_contract.rs · os_boot_contract_header

Mevcut başlangıç referansı

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

Olumlu deney

V1 ve tam başlık

Karşı-örnek / hata girdisi

Kesik başlık veya sürüm 255

Gerçek konuk kabulü

Bozuk başlık tahsisten önce reddedilir

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

kernel/tests/os/boot_contract.rs
os_boot_contract_header_positive
os_boot_contract_header_negative
scripts/os-acceptance/boot_contract.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K607.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Sürüm ve uzunluk okumadan sınırlandırılır.

Uygulanacak işlem

os_boot_contract_header_negative testini oluştur: “Kesik başlık veya sürüm 255”. 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

Sürüm ve uzunluk okumadan sınırlandırılır

Kod hedefi — henüz öneri

kernel/src/runtime/boot_contract.rs · os_boot_contract_header

Mevcut başlangıç referansı

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

Olumlu deney

V1 ve tam başlık

Karşı-örnek / hata girdisi

Kesik başlık veya sürüm 255

Gerçek konuk kabulü

Bozuk başlık tahsisten önce reddedilir

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

kernel/tests/os/boot_contract.rs
os_boot_contract_header_positive
os_boot_contract_header_negative
scripts/os-acceptance/boot_contract.mjs

Geçiş koşulu

Kesik başlık veya sürüm 255 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K608.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Sürüm ve uzunluk okumadan sınırlandırılır.

Uygulanacak işlem

Tek ürün Image'ında “Bozuk başlık tahsisten önce reddedilir” kabulünü koştur. scripts/os-acceptance/boot_contract.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

Sürüm ve uzunluk okumadan sınırlandırılır

Kod hedefi — henüz öneri

kernel/src/runtime/boot_contract.rs · os_boot_contract_header

Mevcut başlangıç referansı

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

Olumlu deney

V1 ve tam başlık

Karşı-örnek / hata girdisi

Kesik başlık veya sürüm 255

Gerçek konuk kabulü

Bozuk başlık tahsisten önce reddedilir

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

kernel/tests/os/boot_contract.rs
os_boot_contract_header_positive
os_boot_contract_header_negative
scripts/os-acceptance/boot_contract.mjs

Geçiş koşulu

Bozuk başlık tahsisten önce reddedilir; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K609.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Image DTB map ve loader sayfaları ayrıdır.

Uygulanacak işlem

“Başlangıç rezervasyon listesi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Image DTB map ve loader sayfaları ayrıdır. “Komşu ama ayrık aralıklar” kabulü ile “Payload Image ortasını keser” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Image DTB map ve loader sayfaları ayrıdır

Kod hedefi — henüz öneri

kernel/src/runtime/boot_contract.rs · os_boot_contract_regions

Mevcut başlangıç referansı

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

Olumlu deney

Komşu ama ayrık aralıklar

Karşı-örnek / hata girdisi

Payload Image ortasını keser

Gerçek konuk kabulü

Ayrıcı rezervasyondan sayfa vermez

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

kernel/tests/os/boot_contract.rs
os_boot_contract_regions_positive
os_boot_contract_regions_negative
scripts/os-acceptance/boot_contract.mjs

Geçiş koşulu

Tür ve geçiş tablosu Image DTB map ve loader sayfaları 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K610.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Image DTB map ve loader sayfaları ayrıdır.

Uygulanacak işlem

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

Image DTB map ve loader sayfaları ayrıdır

Kod hedefi — henüz öneri

kernel/src/runtime/boot_contract.rs · os_boot_contract_regions

Mevcut başlangıç referansı

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

Olumlu deney

Komşu ama ayrık aralıklar

Karşı-örnek / hata girdisi

Payload Image ortasını keser

Gerçek konuk kabulü

Ayrıcı rezervasyondan sayfa vermez

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

kernel/tests/os/boot_contract.rs
os_boot_contract_regions_positive
os_boot_contract_regions_negative
scripts/os-acceptance/boot_contract.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Komşu ama ayrık aralıklar ile Payload Image ortasını keser ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K611.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Image DTB map ve loader sayfaları ayrıdır.

Uygulanacak işlem

os_boot_contract_regions_positive testini oluştur: “Komşu ama ayrık aralıklar”. 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

Image DTB map ve loader sayfaları ayrıdır

Kod hedefi — henüz öneri

kernel/src/runtime/boot_contract.rs · os_boot_contract_regions

Mevcut başlangıç referansı

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

Olumlu deney

Komşu ama ayrık aralıklar

Karşı-örnek / hata girdisi

Payload Image ortasını keser

Gerçek konuk kabulü

Ayrıcı rezervasyondan sayfa vermez

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

kernel/tests/os/boot_contract.rs
os_boot_contract_regions_positive
os_boot_contract_regions_negative
scripts/os-acceptance/boot_contract.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Komşu ama ayrık aralıklar girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K612.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Image DTB map ve loader sayfaları ayrıdır.

Uygulanacak işlem

os_boot_contract_regions_negative testini oluştur: “Payload Image ortasını keser”. 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

Image DTB map ve loader sayfaları ayrıdır

Kod hedefi — henüz öneri

kernel/src/runtime/boot_contract.rs · os_boot_contract_regions

Mevcut başlangıç referansı

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

Olumlu deney

Komşu ama ayrık aralıklar

Karşı-örnek / hata girdisi

Payload Image ortasını keser

Gerçek konuk kabulü

Ayrıcı rezervasyondan sayfa vermez

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

kernel/tests/os/boot_contract.rs
os_boot_contract_regions_positive
os_boot_contract_regions_negative
scripts/os-acceptance/boot_contract.mjs

Geçiş koşulu

Payload Image ortasını keser 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K613.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Image DTB map ve loader sayfaları ayrıdır.

Uygulanacak işlem

Tek ürün Image'ında “Ayrıcı rezervasyondan sayfa vermez” kabulünü koştur. scripts/os-acceptance/boot_contract.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

Image DTB map ve loader sayfaları ayrıdır

Kod hedefi — henüz öneri

kernel/src/runtime/boot_contract.rs · os_boot_contract_regions

Mevcut başlangıç referansı

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

Olumlu deney

Komşu ama ayrık aralıklar

Karşı-örnek / hata girdisi

Payload Image ortasını keser

Gerçek konuk kabulü

Ayrıcı rezervasyondan sayfa vermez

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

kernel/tests/os/boot_contract.rs
os_boot_contract_regions_positive
os_boot_contract_regions_negative
scripts/os-acceptance/boot_contract.mjs

Geçiş koşulu

Ayrıcı rezervasyondan sayfa vermez; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K614.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Runtime yalnız kendi kopyasını okur.

Uygulanacak işlem

“Firmware sonrası sahiplik devri” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Runtime yalnız kendi kopyasını okur. “Kaynak map sonradan değişir” kabulü ile “Exit sonrası hizmet çağrısı” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Runtime yalnız kendi kopyasını okur

Kod hedefi — henüz öneri

kernel/src/runtime/boot_contract.rs · os_boot_contract_finalize

Mevcut başlangıç referansı

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

Olumlu deney

Kaynak map sonradan değişir

Karşı-örnek / hata girdisi

Exit sonrası hizmet çağrısı

Gerçek konuk kabulü

UEFI ve doğrudan devralma izleri

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

kernel/tests/os/boot_contract.rs
os_boot_contract_finalize_positive
os_boot_contract_finalize_negative
scripts/os-acceptance/boot_contract.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K615.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Runtime yalnız kendi kopyasını okur.

Uygulanacak işlem

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

Runtime yalnız kendi kopyasını okur

Kod hedefi — henüz öneri

kernel/src/runtime/boot_contract.rs · os_boot_contract_finalize

Mevcut başlangıç referansı

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

Olumlu deney

Kaynak map sonradan değişir

Karşı-örnek / hata girdisi

Exit sonrası hizmet çağrısı

Gerçek konuk kabulü

UEFI ve doğrudan devralma izleri

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

kernel/tests/os/boot_contract.rs
os_boot_contract_finalize_positive
os_boot_contract_finalize_negative
scripts/os-acceptance/boot_contract.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Kaynak map sonradan değişir ile Exit sonrası hizmet çağrısı ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K616.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Runtime yalnız kendi kopyasını okur.

Uygulanacak işlem

os_boot_contract_finalize_positive testini oluştur: “Kaynak map sonradan değişir”. 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

Runtime yalnız kendi kopyasını okur

Kod hedefi — henüz öneri

kernel/src/runtime/boot_contract.rs · os_boot_contract_finalize

Mevcut başlangıç referansı

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

Olumlu deney

Kaynak map sonradan değişir

Karşı-örnek / hata girdisi

Exit sonrası hizmet çağrısı

Gerçek konuk kabulü

UEFI ve doğrudan devralma izleri

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

kernel/tests/os/boot_contract.rs
os_boot_contract_finalize_positive
os_boot_contract_finalize_negative
scripts/os-acceptance/boot_contract.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Kaynak map sonradan değişir girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K617.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Runtime yalnız kendi kopyasını okur.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Runtime yalnız kendi kopyasını okur

Kod hedefi — henüz öneri

kernel/src/runtime/boot_contract.rs · os_boot_contract_finalize

Mevcut başlangıç referansı

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

Olumlu deney

Kaynak map sonradan değişir

Karşı-örnek / hata girdisi

Exit sonrası hizmet çağrısı

Gerçek konuk kabulü

UEFI ve doğrudan devralma izleri

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

kernel/tests/os/boot_contract.rs
os_boot_contract_finalize_positive
os_boot_contract_finalize_negative
scripts/os-acceptance/boot_contract.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K618.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Runtime yalnız kendi kopyasını okur.

Uygulanacak işlem

Tek ürün Image'ında “UEFI ve doğrudan devralma izleri” kabulünü koştur. scripts/os-acceptance/boot_contract.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

Runtime yalnız kendi kopyasını okur

Kod hedefi — henüz öneri

kernel/src/runtime/boot_contract.rs · os_boot_contract_finalize

Mevcut başlangıç referansı

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

Olumlu deney

Kaynak map sonradan değişir

Karşı-örnek / hata girdisi

Exit sonrası hizmet çağrısı

Gerçek konuk kabulü

UEFI ve doğrudan devralma izleri

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

kernel/tests/os/boot_contract.rs
os_boot_contract_finalize_positive
os_boot_contract_finalize_negative
scripts/os-acceptance/boot_contract.mjs

Geçiş koşulu

UEFI ve doğrudan devralma izleri; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K619.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Desteklenen EL ve DAIF açık kaydedilir.

Uygulanacak işlem

“EL1 giriş normalizasyonu” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Desteklenen EL ve DAIF açık kaydedilir. “EL1 ve uygun stack” kabulü ile “Desteklenmeyen exception level” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Desteklenen EL ve DAIF açık kaydedilir

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/entry.rs · os_entry_level

Mevcut başlangıç referansı

kernel/src/boot.SBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

EL1 ve uygun stack

Karşı-örnek / hata girdisi

Desteklenmeyen exception level

Gerçek konuk kabulü

Runtime girişte EL1 etiketi

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

kernel/tests/os/entry.rs
os_entry_level_positive
os_entry_level_negative
scripts/os-acceptance/entry.mjs

Geçiş koşulu

Tür ve geçiş tablosu Desteklenen EL ve DAIF açık kaydedilir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K620.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Desteklenen EL ve DAIF açık kaydedilir.

Uygulanacak işlem

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

Desteklenen EL ve DAIF açık kaydedilir

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/entry.rs · os_entry_level

Mevcut başlangıç referansı

kernel/src/boot.SBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

EL1 ve uygun stack

Karşı-örnek / hata girdisi

Desteklenmeyen exception level

Gerçek konuk kabulü

Runtime girişte EL1 etiketi

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

kernel/tests/os/entry.rs
os_entry_level_positive
os_entry_level_negative
scripts/os-acceptance/entry.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. EL1 ve uygun stack ile Desteklenmeyen exception level ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K621.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Desteklenen EL ve DAIF açık kaydedilir.

Uygulanacak işlem

os_entry_level_positive testini oluştur: “EL1 ve uygun stack”. 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

Desteklenen EL ve DAIF açık kaydedilir

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/entry.rs · os_entry_level

Mevcut başlangıç referansı

kernel/src/boot.SBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

EL1 ve uygun stack

Karşı-örnek / hata girdisi

Desteklenmeyen exception level

Gerçek konuk kabulü

Runtime girişte EL1 etiketi

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

kernel/tests/os/entry.rs
os_entry_level_positive
os_entry_level_negative
scripts/os-acceptance/entry.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K622.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Desteklenen EL ve DAIF açık kaydedilir.

Uygulanacak işlem

os_entry_level_negative testini oluştur: “Desteklenmeyen exception level”. 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

Desteklenen EL ve DAIF açık kaydedilir

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/entry.rs · os_entry_level

Mevcut başlangıç referansı

kernel/src/boot.SBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

EL1 ve uygun stack

Karşı-örnek / hata girdisi

Desteklenmeyen exception level

Gerçek konuk kabulü

Runtime girişte EL1 etiketi

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

kernel/tests/os/entry.rs
os_entry_level_positive
os_entry_level_negative
scripts/os-acceptance/entry.mjs

Geçiş koşulu

Desteklenmeyen exception level 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K623.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Desteklenen EL ve DAIF açık kaydedilir.

Uygulanacak işlem

Tek ürün Image'ında “Runtime girişte EL1 etiketi” kabulünü koştur. scripts/os-acceptance/entry.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

Desteklenen EL ve DAIF açık kaydedilir

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/entry.rs · os_entry_level

Mevcut başlangıç referansı

kernel/src/boot.SBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

EL1 ve uygun stack

Karşı-örnek / hata girdisi

Desteklenmeyen exception level

Gerçek konuk kabulü

Runtime girişte EL1 etiketi

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

kernel/tests/os/entry.rs
os_entry_level_positive
os_entry_level_negative
scripts/os-acceptance/entry.mjs

Geçiş koşulu

Runtime girişte EL1 etiketi; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K624.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Bölüm sınırları taşmasız ve ayrık.

Uygulanacak işlem

“Kod veri BSS sınırları” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Bölüm sınırları taşmasız ve ayrık. “Hizalı text rodata data BSS” kabulü ile “Data text üstüne biner” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Bölüm sınırları taşmasız ve ayrık

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/entry.rs · os_entry_sections

Mevcut başlangıç referansı

kernel/src/boot.SBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Hizalı text rodata data BSS

Karşı-örnek / hata girdisi

Data text üstüne biner

Gerçek konuk kabulü

BSS sıfır ve rodata korunur

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

kernel/tests/os/entry.rs
os_entry_sections_positive
os_entry_sections_negative
scripts/os-acceptance/entry.mjs

Geçiş koşulu

Tür ve geçiş tablosu Bölüm sınırları taşmasız ve ayrık kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K625.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Bölüm sınırları taşmasız ve ayrık.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Bölüm sınırları taşmasız ve ayrık

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/entry.rs · os_entry_sections

Mevcut başlangıç referansı

kernel/src/boot.SBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Hizalı text rodata data BSS

Karşı-örnek / hata girdisi

Data text üstüne biner

Gerçek konuk kabulü

BSS sıfır ve rodata korunur

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

kernel/tests/os/entry.rs
os_entry_sections_positive
os_entry_sections_negative
scripts/os-acceptance/entry.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Hizalı text rodata data BSS ile Data text üstüne biner ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K626.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Bölüm sınırları taşmasız ve ayrık.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Bölüm sınırları taşmasız ve ayrık

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/entry.rs · os_entry_sections

Mevcut başlangıç referansı

kernel/src/boot.SBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Hizalı text rodata data BSS

Karşı-örnek / hata girdisi

Data text üstüne biner

Gerçek konuk kabulü

BSS sıfır ve rodata korunur

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

kernel/tests/os/entry.rs
os_entry_sections_positive
os_entry_sections_negative
scripts/os-acceptance/entry.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Hizalı text rodata data BSS girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K627.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Bölüm sınırları taşmasız ve ayrık.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Bölüm sınırları taşmasız ve ayrık

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/entry.rs · os_entry_sections

Mevcut başlangıç referansı

kernel/src/boot.SBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Hizalı text rodata data BSS

Karşı-örnek / hata girdisi

Data text üstüne biner

Gerçek konuk kabulü

BSS sıfır ve rodata korunur

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

kernel/tests/os/entry.rs
os_entry_sections_positive
os_entry_sections_negative
scripts/os-acceptance/entry.mjs

Geçiş koşulu

Data text üstüne biner 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K628.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Bölüm sınırları taşmasız ve ayrık.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Bölüm sınırları taşmasız ve ayrık

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/entry.rs · os_entry_sections

Mevcut başlangıç referansı

kernel/src/boot.SBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

Hizalı text rodata data BSS

Karşı-örnek / hata girdisi

Data text üstüne biner

Gerçek konuk kabulü

BSS sıfır ve rodata korunur

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

kernel/tests/os/entry.rs
os_entry_sections_positive
os_entry_sections_negative
scripts/os-acceptance/entry.mjs

Geçiş koşulu

BSS sıfır ve rodata 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K629.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: SP hizalı ve guard sınırının üstündedir.

Uygulanacak işlem

“İlk kernel yığını” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: SP hizalı ve guard sınırının üstündedir. “16 bayt SP hizası” kabulü ile “Guard altına kasıtlı erişim” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

SP hizalı ve guard sınırının üstündedir

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/entry.rs · os_entry_stack

Mevcut başlangıç referansı

kernel/src/boot.SBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

16 bayt SP hizası

Karşı-örnek / hata girdisi

Guard altına kasıtlı erişim

Gerçek konuk kabulü

Yığın kanaryası açılıştan sağ çıkar

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

kernel/tests/os/entry.rs
os_entry_stack_positive
os_entry_stack_negative
scripts/os-acceptance/entry.mjs

Geçiş koşulu

Tür ve geçiş tablosu SP hizalı ve guard sınırının üstündedir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K630.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: SP hizalı ve guard sınırının üstündedir.

Uygulanacak işlem

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

SP hizalı ve guard sınırının üstündedir

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/entry.rs · os_entry_stack

Mevcut başlangıç referansı

kernel/src/boot.SBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

16 bayt SP hizası

Karşı-örnek / hata girdisi

Guard altına kasıtlı erişim

Gerçek konuk kabulü

Yığın kanaryası açılıştan sağ çıkar

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

kernel/tests/os/entry.rs
os_entry_stack_positive
os_entry_stack_negative
scripts/os-acceptance/entry.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. 16 bayt SP hizası ile Guard altına kasıtlı erişim ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K631.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: SP hizalı ve guard sınırının üstündedir.

Uygulanacak işlem

os_entry_stack_positive testini oluştur: “16 bayt SP hizası”. 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

SP hizalı ve guard sınırının üstündedir

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/entry.rs · os_entry_stack

Mevcut başlangıç referansı

kernel/src/boot.SBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

16 bayt SP hizası

Karşı-örnek / hata girdisi

Guard altına kasıtlı erişim

Gerçek konuk kabulü

Yığın kanaryası açılıştan sağ çıkar

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

kernel/tests/os/entry.rs
os_entry_stack_positive
os_entry_stack_negative
scripts/os-acceptance/entry.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K632.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: SP hizalı ve guard sınırının üstündedir.

Uygulanacak işlem

os_entry_stack_negative testini oluştur: “Guard altına kasıtlı erişim”. 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

SP hizalı ve guard sınırının üstündedir

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/entry.rs · os_entry_stack

Mevcut başlangıç referansı

kernel/src/boot.SBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

16 bayt SP hizası

Karşı-örnek / hata girdisi

Guard altına kasıtlı erişim

Gerçek konuk kabulü

Yığın kanaryası açılıştan sağ çıkar

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

kernel/tests/os/entry.rs
os_entry_stack_positive
os_entry_stack_negative
scripts/os-acceptance/entry.mjs

Geçiş koşulu

Guard altına kasıtlı erişim 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K633.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: SP hizalı ve guard sınırının üstündedir.

Uygulanacak işlem

Tek ürün Image'ında “Yığın kanaryası açılıştan sağ çıkar” kabulünü koştur. scripts/os-acceptance/entry.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

SP hizalı ve guard sınırının üstündedir

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/entry.rs · os_entry_stack

Mevcut başlangıç referansı

kernel/src/boot.SBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

16 bayt SP hizası

Karşı-örnek / hata girdisi

Guard altına kasıtlı erişim

Gerçek konuk kabulü

Yığın kanaryası açılıştan sağ çıkar

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

kernel/tests/os/entry.rs
os_entry_stack_positive
os_entry_stack_negative
scripts/os-acceptance/entry.mjs

Geçiş koşulu

Yığın kanaryası açılıştan sağ çıkar; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K634.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: x0 x1 Rust devrine kadar değişmez.

Uygulanacak işlem

“Giriş kayıtlarının korunması” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: x0 x1 Rust devrine kadar değişmez. “DTB ve payload tanıkları” kabulü ile “Assembly x1 değerini ezer” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

x0 x1 Rust devrine kadar değişmez

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/entry.rs · os_entry_arguments

Mevcut başlangıç referansı

kernel/src/boot.SBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

DTB ve payload tanıkları

Karşı-örnek / hata girdisi

Assembly x1 değerini ezer

Gerçek konuk kabulü

Rust gözlemi loader tanığına eşit

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

kernel/tests/os/entry.rs
os_entry_arguments_positive
os_entry_arguments_negative
scripts/os-acceptance/entry.mjs

Geçiş koşulu

Tür ve geçiş tablosu x0 x1 Rust devrine kadar değiş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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K635.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: x0 x1 Rust devrine kadar değişmez.

Uygulanacak işlem

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

x0 x1 Rust devrine kadar değişmez

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/entry.rs · os_entry_arguments

Mevcut başlangıç referansı

kernel/src/boot.SBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

DTB ve payload tanıkları

Karşı-örnek / hata girdisi

Assembly x1 değerini ezer

Gerçek konuk kabulü

Rust gözlemi loader tanığına eşit

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

kernel/tests/os/entry.rs
os_entry_arguments_positive
os_entry_arguments_negative
scripts/os-acceptance/entry.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. DTB ve payload tanıkları ile Assembly x1 değerini ezer ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K636.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: x0 x1 Rust devrine kadar değişmez.

Uygulanacak işlem

os_entry_arguments_positive testini oluştur: “DTB ve payload tanıkları”. 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

x0 x1 Rust devrine kadar değişmez

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/entry.rs · os_entry_arguments

Mevcut başlangıç referansı

kernel/src/boot.SBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

DTB ve payload tanıkları

Karşı-örnek / hata girdisi

Assembly x1 değerini ezer

Gerçek konuk kabulü

Rust gözlemi loader tanığına eşit

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

kernel/tests/os/entry.rs
os_entry_arguments_positive
os_entry_arguments_negative
scripts/os-acceptance/entry.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K637.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: x0 x1 Rust devrine kadar değişmez.

Uygulanacak işlem

os_entry_arguments_negative testini oluştur: “Assembly x1 değerini ezer”. 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

x0 x1 Rust devrine kadar değişmez

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/entry.rs · os_entry_arguments

Mevcut başlangıç referansı

kernel/src/boot.SBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

DTB ve payload tanıkları

Karşı-örnek / hata girdisi

Assembly x1 değerini ezer

Gerçek konuk kabulü

Rust gözlemi loader tanığına eşit

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

kernel/tests/os/entry.rs
os_entry_arguments_positive
os_entry_arguments_negative
scripts/os-acceptance/entry.mjs

Geçiş koşulu

Assembly x1 değerini ezer 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K638.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: x0 x1 Rust devrine kadar değişmez.

Uygulanacak işlem

Tek ürün Image'ında “Rust gözlemi loader tanığına eşit” kabulünü koştur. scripts/os-acceptance/entry.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

x0 x1 Rust devrine kadar değişmez

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/entry.rs · os_entry_arguments

Mevcut başlangıç referansı

kernel/src/boot.SBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.

Olumlu deney

DTB ve payload tanıkları

Karşı-örnek / hata girdisi

Assembly x1 değerini ezer

Gerçek konuk kabulü

Rust gözlemi loader tanığına eşit

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

kernel/tests/os/entry.rs
os_entry_arguments_positive
os_entry_arguments_negative
scripts/os-acceptance/entry.mjs

Geçiş koşulu

Rust gözlemi loader tanığına eşit; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K639.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Hizmet yalnız önkoşulu bitince başlar.

Uygulanacak işlem

“Runtime durum makinesi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Hizmet yalnız önkoşulu bitince başlar. “Boot Memory IRQ Tasks sırası” kabulü ile “Scheduler bellekten önce başlar” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Hizmet yalnız önkoşulu bitince başlar

Kod hedefi — henüz öneri

kernel/src/runtime/runtime.rs · os_runtime_stages

Mevcut başlangıç referansı

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

Olumlu deney

Boot Memory IRQ Tasks sırası

Karşı-örnek / hata girdisi

Scheduler bellekten önce başlar

Gerçek konuk kabulü

Sıralı ürün başlatma günlüğü

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

kernel/tests/os/runtime.rs
os_runtime_stages_positive
os_runtime_stages_negative
scripts/os-acceptance/runtime.mjs

Geçiş koşulu

Tür ve geçiş tablosu Hizmet yalnız önkoşulu bitince başlar kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K640.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Hizmet yalnız önkoşulu bitince başlar.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Hizmet yalnız önkoşulu bitince başlar

Kod hedefi — henüz öneri

kernel/src/runtime/runtime.rs · os_runtime_stages

Mevcut başlangıç referansı

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

Olumlu deney

Boot Memory IRQ Tasks sırası

Karşı-örnek / hata girdisi

Scheduler bellekten önce başlar

Gerçek konuk kabulü

Sıralı ürün başlatma günlüğü

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

kernel/tests/os/runtime.rs
os_runtime_stages_positive
os_runtime_stages_negative
scripts/os-acceptance/runtime.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Boot Memory IRQ Tasks sırası ile Scheduler bellekten önce başlar ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K641.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Hizmet yalnız önkoşulu bitince başlar.

Uygulanacak işlem

os_runtime_stages_positive testini oluştur: “Boot Memory IRQ Tasks 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

Hizmet yalnız önkoşulu bitince başlar

Kod hedefi — henüz öneri

kernel/src/runtime/runtime.rs · os_runtime_stages

Mevcut başlangıç referansı

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

Olumlu deney

Boot Memory IRQ Tasks sırası

Karşı-örnek / hata girdisi

Scheduler bellekten önce başlar

Gerçek konuk kabulü

Sıralı ürün başlatma günlüğü

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

kernel/tests/os/runtime.rs
os_runtime_stages_positive
os_runtime_stages_negative
scripts/os-acceptance/runtime.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Boot Memory IRQ Tasks sırası girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K642.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Hizmet yalnız önkoşulu bitince başlar.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Hizmet yalnız önkoşulu bitince başlar

Kod hedefi — henüz öneri

kernel/src/runtime/runtime.rs · os_runtime_stages

Mevcut başlangıç referansı

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

Olumlu deney

Boot Memory IRQ Tasks sırası

Karşı-örnek / hata girdisi

Scheduler bellekten önce başlar

Gerçek konuk kabulü

Sıralı ürün başlatma günlüğü

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

kernel/tests/os/runtime.rs
os_runtime_stages_positive
os_runtime_stages_negative
scripts/os-acceptance/runtime.mjs

Geçiş koşulu

Scheduler bellekten önce başlar 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K643.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Hizmet yalnız önkoşulu bitince başlar.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Hizmet yalnız önkoşulu bitince başlar

Kod hedefi — henüz öneri

kernel/src/runtime/runtime.rs · os_runtime_stages

Mevcut başlangıç referansı

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

Olumlu deney

Boot Memory IRQ Tasks sırası

Karşı-örnek / hata girdisi

Scheduler bellekten önce başlar

Gerçek konuk kabulü

Sıralı ürün başlatma günlüğü

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

kernel/tests/os/runtime.rs
os_runtime_stages_positive
os_runtime_stages_negative
scripts/os-acceptance/runtime.mjs

Geçiş koşulu

Sıralı ürün başlatma günlüğü; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K644.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Aynı hizmet ikinci kez kurulmaz.

Uygulanacak işlem

“Hizmet kayıt sahipliği” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Aynı hizmet ikinci kez kurulmaz. “Bir UART ve bir allocator” kabulü ile “İki allocator kaydı” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Aynı hizmet ikinci kez kurulmaz

Kod hedefi — henüz öneri

kernel/src/runtime/runtime.rs · os_runtime_services

Mevcut başlangıç referansı

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

Olumlu deney

Bir UART ve bir allocator

Karşı-örnek / hata girdisi

İki allocator kaydı

Gerçek konuk kabulü

Çift başlatma açık hata verir

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

kernel/tests/os/runtime.rs
os_runtime_services_positive
os_runtime_services_negative
scripts/os-acceptance/runtime.mjs

Geçiş koşulu

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K645.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Aynı hizmet ikinci kez kurulmaz.

Uygulanacak işlem

kernel/src/runtime/runtime.rs hedefinde os_runtime_services yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/main.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ı hizmet ikinci kez kurulmaz

Kod hedefi — henüz öneri

kernel/src/runtime/runtime.rs · os_runtime_services

Mevcut başlangıç referansı

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

Olumlu deney

Bir UART ve bir allocator

Karşı-örnek / hata girdisi

İki allocator kaydı

Gerçek konuk kabulü

Çift başlatma açık hata verir

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

kernel/tests/os/runtime.rs
os_runtime_services_positive
os_runtime_services_negative
scripts/os-acceptance/runtime.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Bir UART ve bir allocator ile İki allocator kaydı ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K646.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Aynı hizmet ikinci kez kurulmaz.

Uygulanacak işlem

os_runtime_services_positive testini oluştur: “Bir UART ve bir allocator”. 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ı hizmet ikinci kez kurulmaz

Kod hedefi — henüz öneri

kernel/src/runtime/runtime.rs · os_runtime_services

Mevcut başlangıç referansı

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

Olumlu deney

Bir UART ve bir allocator

Karşı-örnek / hata girdisi

İki allocator kaydı

Gerçek konuk kabulü

Çift başlatma açık hata verir

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

kernel/tests/os/runtime.rs
os_runtime_services_positive
os_runtime_services_negative
scripts/os-acceptance/runtime.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K647.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Aynı hizmet ikinci kez kurulmaz.

Uygulanacak işlem

os_runtime_services_negative testini oluştur: “İki allocator kaydı”. 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ı hizmet ikinci kez kurulmaz

Kod hedefi — henüz öneri

kernel/src/runtime/runtime.rs · os_runtime_services

Mevcut başlangıç referansı

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

Olumlu deney

Bir UART ve bir allocator

Karşı-örnek / hata girdisi

İki allocator kaydı

Gerçek konuk kabulü

Çift başlatma açık hata verir

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

kernel/tests/os/runtime.rs
os_runtime_services_positive
os_runtime_services_negative
scripts/os-acceptance/runtime.mjs

Geçiş koşulu

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K648.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Aynı hizmet ikinci kez kurulmaz.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Aynı hizmet ikinci kez kurulmaz

Kod hedefi — henüz öneri

kernel/src/runtime/runtime.rs · os_runtime_services

Mevcut başlangıç referansı

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

Olumlu deney

Bir UART ve bir allocator

Karşı-örnek / hata girdisi

İki allocator kaydı

Gerçek konuk kabulü

Çift başlatma açık hata verir

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

kernel/tests/os/runtime.rs
os_runtime_services_positive
os_runtime_services_negative
scripts/os-acceptance/runtime.mjs

Geçiş koşulu

Çift başlatma açık hata 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K649.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Probe bayrağı ürün yoluna sızmaz.

Uygulanacak işlem

“Deney ürün profil ayrımı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Probe bayrağı ürün yoluna sızmaz. “Ayrı kabul ve ürün Image” kabulü ile “Negatif probe ürünle birleştirilir” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Probe bayrağı ürün yoluna sızmaz

Kod hedefi — henüz öneri

kernel/src/runtime/runtime.rs · os_runtime_profiles

Mevcut başlangıç referansı

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

Olumlu deney

Ayrı kabul ve ürün Image

Karşı-örnek / hata girdisi

Negatif probe ürünle birleştirilir

Gerçek konuk kabulü

Ürün kendi manifestiyle açılır

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

kernel/tests/os/runtime.rs
os_runtime_profiles_positive
os_runtime_profiles_negative
scripts/os-acceptance/runtime.mjs

Geçiş koşulu

Tür ve geçiş tablosu Probe bayrağı ürün yoluna sızmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Negatif probe ürünle birleş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/K655: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K650.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Probe bayrağı ürün yoluna sızmaz.

Uygulanacak işlem

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

Probe bayrağı ürün yoluna sızmaz

Kod hedefi — henüz öneri

kernel/src/runtime/runtime.rs · os_runtime_profiles

Mevcut başlangıç referansı

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

Olumlu deney

Ayrı kabul ve ürün Image

Karşı-örnek / hata girdisi

Negatif probe ürünle birleştirilir

Gerçek konuk kabulü

Ürün kendi manifestiyle açılır

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

kernel/tests/os/runtime.rs
os_runtime_profiles_positive
os_runtime_profiles_negative
scripts/os-acceptance/runtime.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Ayrı kabul ve ürün Image ile Negatif probe ürünle birleştirilir ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Negatif probe ürünle birleş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/K655: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K651.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Probe bayrağı ürün yoluna sızmaz.

Uygulanacak işlem

os_runtime_profiles_positive testini oluştur: “Ayrı kabul ve ürün Image”. 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

Probe bayrağı ürün yoluna sızmaz

Kod hedefi — henüz öneri

kernel/src/runtime/runtime.rs · os_runtime_profiles

Mevcut başlangıç referansı

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

Olumlu deney

Ayrı kabul ve ürün Image

Karşı-örnek / hata girdisi

Negatif probe ürünle birleştirilir

Gerçek konuk kabulü

Ürün kendi manifestiyle açılır

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

kernel/tests/os/runtime.rs
os_runtime_profiles_positive
os_runtime_profiles_negative
scripts/os-acceptance/runtime.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Ayrı kabul ve ürün Image girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Negatif probe ürünle birleş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/K655: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K652.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Probe bayrağı ürün yoluna sızmaz.

Uygulanacak işlem

os_runtime_profiles_negative testini oluştur: “Negatif probe ürünle birleş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

Probe bayrağı ürün yoluna sızmaz

Kod hedefi — henüz öneri

kernel/src/runtime/runtime.rs · os_runtime_profiles

Mevcut başlangıç referansı

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

Olumlu deney

Ayrı kabul ve ürün Image

Karşı-örnek / hata girdisi

Negatif probe ürünle birleştirilir

Gerçek konuk kabulü

Ürün kendi manifestiyle açılır

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

kernel/tests/os/runtime.rs
os_runtime_profiles_positive
os_runtime_profiles_negative
scripts/os-acceptance/runtime.mjs

Geçiş koşulu

Negatif probe ürünle birleş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üş

“Negatif probe ürünle birleş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/K655: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K653.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Probe bayrağı ürün yoluna sızmaz.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Probe bayrağı ürün yoluna sızmaz

Kod hedefi — henüz öneri

kernel/src/runtime/runtime.rs · os_runtime_profiles

Mevcut başlangıç referansı

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

Olumlu deney

Ayrı kabul ve ürün Image

Karşı-örnek / hata girdisi

Negatif probe ürünle birleştirilir

Gerçek konuk kabulü

Ürün kendi manifestiyle açılır

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

kernel/tests/os/runtime.rs
os_runtime_profiles_positive
os_runtime_profiles_negative
scripts/os-acceptance/runtime.mjs

Geçiş koşulu

Ürün kendi manifestiyle açı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üş

“Negatif probe ürünle birleş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/K655: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K654.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Başarısız hizmet yalnız edinilen kaynağı bırakır.

Uygulanacak işlem

“Başlatma geri alma sırası” 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 hizmet yalnız edinilen kaynağı bırakır. “IRQ kurulumu sonrası hata” kabulü ile “Canlı DMA erken iade edilir” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Başarısız hizmet yalnız edinilen kaynağı bırakır

Kod hedefi — henüz öneri

kernel/src/runtime/runtime.rs · os_runtime_rollback

Mevcut başlangıç referansı

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

Olumlu deney

IRQ kurulumu sonrası hata

Karşı-örnek / hata girdisi

Canlı DMA erken iade edilir

Gerçek konuk kabulü

Hata tanısı ve kaynak sayısı sabit

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

kernel/tests/os/runtime.rs
os_runtime_rollback_positive
os_runtime_rollback_negative
scripts/os-acceptance/runtime.mjs

Geçiş koşulu

Tür ve geçiş tablosu Başarısız hizmet yalnız edinilen kaynağı bırakı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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K655.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Başarısız hizmet yalnız edinilen kaynağı bırakır.

Uygulanacak işlem

kernel/src/runtime/runtime.rs hedefinde os_runtime_rollback yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/main.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 hizmet yalnız edinilen kaynağı bırakır

Kod hedefi — henüz öneri

kernel/src/runtime/runtime.rs · os_runtime_rollback

Mevcut başlangıç referansı

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

Olumlu deney

IRQ kurulumu sonrası hata

Karşı-örnek / hata girdisi

Canlı DMA erken iade edilir

Gerçek konuk kabulü

Hata tanısı ve kaynak sayısı sabit

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

kernel/tests/os/runtime.rs
os_runtime_rollback_positive
os_runtime_rollback_negative
scripts/os-acceptance/runtime.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. IRQ kurulumu sonrası hata ile Canlı DMA erken iade edilir ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K656.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Başarısız hizmet yalnız edinilen kaynağı bırakır.

Uygulanacak işlem

os_runtime_rollback_positive testini oluştur: “IRQ kurulumu sonrası hata”. 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 hizmet yalnız edinilen kaynağı bırakır

Kod hedefi — henüz öneri

kernel/src/runtime/runtime.rs · os_runtime_rollback

Mevcut başlangıç referansı

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

Olumlu deney

IRQ kurulumu sonrası hata

Karşı-örnek / hata girdisi

Canlı DMA erken iade edilir

Gerçek konuk kabulü

Hata tanısı ve kaynak sayısı sabit

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

kernel/tests/os/runtime.rs
os_runtime_rollback_positive
os_runtime_rollback_negative
scripts/os-acceptance/runtime.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; IRQ kurulumu sonrası hata girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K657.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Başarısız hizmet yalnız edinilen kaynağı bırakır.

Uygulanacak işlem

os_runtime_rollback_negative testini oluştur: “Canlı DMA erken iade edilir”. 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 hizmet yalnız edinilen kaynağı bırakır

Kod hedefi — henüz öneri

kernel/src/runtime/runtime.rs · os_runtime_rollback

Mevcut başlangıç referansı

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

Olumlu deney

IRQ kurulumu sonrası hata

Karşı-örnek / hata girdisi

Canlı DMA erken iade edilir

Gerçek konuk kabulü

Hata tanısı ve kaynak sayısı sabit

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

kernel/tests/os/runtime.rs
os_runtime_rollback_positive
os_runtime_rollback_negative
scripts/os-acceptance/runtime.mjs

Geçiş koşulu

Canlı DMA erken iade edilir karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K658.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Başarısız hizmet yalnız edinilen kaynağı bırakır.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Başarısız hizmet yalnız edinilen kaynağı bırakır

Kod hedefi — henüz öneri

kernel/src/runtime/runtime.rs · os_runtime_rollback

Mevcut başlangıç referansı

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

Olumlu deney

IRQ kurulumu sonrası hata

Karşı-örnek / hata girdisi

Canlı DMA erken iade edilir

Gerçek konuk kabulü

Hata tanısı ve kaynak sayısı sabit

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

kernel/tests/os/runtime.rs
os_runtime_rollback_positive
os_runtime_rollback_negative
scripts/os-acceptance/runtime.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K659.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Kayda boot kimliği ve hizmet adı eklenir.

Uygulanacak işlem

“Sıralı tanı kaydı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Kayda boot kimliği ve hizmet adı eklenir. “İki boot ayrı sıra üretir” kabulü ile “Eski log yeni boot sayılır” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Kayda boot kimliği ve hizmet adı eklenir

Kod hedefi — henüz öneri

kernel/src/runtime/diagnostics.rs · os_diagnostics_events

Mevcut başlangıç referansı

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

Olumlu deney

İki boot ayrı sıra üretir

Karşı-örnek / hata girdisi

Eski log yeni boot sayılır

Gerçek konuk kabulü

Bir boot kimliğine bağlı kayıtlar

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

kernel/tests/os/diagnostics.rs
os_diagnostics_events_positive
os_diagnostics_events_negative
scripts/os-acceptance/diagnostics.mjs

Geçiş koşulu

Tür ve geçiş tablosu Kayda boot kimliği ve hizmet adı eklenir 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 log yeni boot 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/K665: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K660.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Kayda boot kimliği ve hizmet adı eklenir.

Uygulanacak işlem

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

Kayda boot kimliği ve hizmet adı eklenir

Kod hedefi — henüz öneri

kernel/src/runtime/diagnostics.rs · os_diagnostics_events

Mevcut başlangıç referansı

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

Olumlu deney

İki boot ayrı sıra üretir

Karşı-örnek / hata girdisi

Eski log yeni boot sayılır

Gerçek konuk kabulü

Bir boot kimliğine bağlı kayıtlar

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

kernel/tests/os/diagnostics.rs
os_diagnostics_events_positive
os_diagnostics_events_negative
scripts/os-acceptance/diagnostics.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki boot ayrı sıra üretir ile Eski log yeni boot sayılır ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Eski log yeni boot 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/K665: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K661.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Kayda boot kimliği ve hizmet adı eklenir.

Uygulanacak işlem

os_diagnostics_events_positive testini oluştur: “İki boot ayrı sıra üretir”. 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

Kayda boot kimliği ve hizmet adı eklenir

Kod hedefi — henüz öneri

kernel/src/runtime/diagnostics.rs · os_diagnostics_events

Mevcut başlangıç referansı

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

Olumlu deney

İki boot ayrı sıra üretir

Karşı-örnek / hata girdisi

Eski log yeni boot sayılır

Gerçek konuk kabulü

Bir boot kimliğine bağlı kayıtlar

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

kernel/tests/os/diagnostics.rs
os_diagnostics_events_positive
os_diagnostics_events_negative
scripts/os-acceptance/diagnostics.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; İki boot ayrı sıra üretir girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Eski log yeni boot 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/K665: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K662.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Kayda boot kimliği ve hizmet adı eklenir.

Uygulanacak işlem

os_diagnostics_events_negative testini oluştur: “Eski log yeni boot 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

Kayda boot kimliği ve hizmet adı eklenir

Kod hedefi — henüz öneri

kernel/src/runtime/diagnostics.rs · os_diagnostics_events

Mevcut başlangıç referansı

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

Olumlu deney

İki boot ayrı sıra üretir

Karşı-örnek / hata girdisi

Eski log yeni boot sayılır

Gerçek konuk kabulü

Bir boot kimliğine bağlı kayıtlar

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

kernel/tests/os/diagnostics.rs
os_diagnostics_events_positive
os_diagnostics_events_negative
scripts/os-acceptance/diagnostics.mjs

Geçiş koşulu

Eski log yeni boot 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üş

“Eski log yeni boot 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/K665: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K663.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Kayda boot kimliği ve hizmet adı eklenir.

Uygulanacak işlem

Tek ürün Image'ında “Bir boot kimliğine bağlı kayıtlar” kabulünü koştur. scripts/os-acceptance/diagnostics.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

Kayda boot kimliği ve hizmet adı eklenir

Kod hedefi — henüz öneri

kernel/src/runtime/diagnostics.rs · os_diagnostics_events

Mevcut başlangıç referansı

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

Olumlu deney

İki boot ayrı sıra üretir

Karşı-örnek / hata girdisi

Eski log yeni boot sayılır

Gerçek konuk kabulü

Bir boot kimliğine bağlı kayıtlar

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

kernel/tests/os/diagnostics.rs
os_diagnostics_events_positive
os_diagnostics_events_negative
scripts/os-acceptance/diagnostics.mjs

Geçiş koşulu

Bir boot kimliğine bağlı kayıtlar; 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 log yeni boot 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/K665: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K664.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Panik kilit veya heap beklemez.

Uygulanacak işlem

“Tahsis gerektirmeyen panik” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Panik kilit veya heap beklemez. “Heap doluyken panik” kabulü ile “Panik UART kilidinde takılır” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Panik kilit veya heap beklemez

Kod hedefi — henüz öneri

kernel/src/runtime/diagnostics.rs · os_diagnostics_panic

Mevcut başlangıç referansı

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

Olumlu deney

Heap doluyken panik

Karşı-örnek / hata girdisi

Panik UART kilidinde takılır

Gerçek konuk kabulü

Sınırlı tek fatal kayıt

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

kernel/tests/os/diagnostics.rs
os_diagnostics_panic_positive
os_diagnostics_panic_negative
scripts/os-acceptance/diagnostics.mjs

Geçiş koşulu

Tür ve geçiş tablosu Panik kilit veya heap beklemez kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Panik UART kilidinde takı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/K670: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K665.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Panik kilit veya heap beklemez.

Uygulanacak işlem

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

Panik kilit veya heap beklemez

Kod hedefi — henüz öneri

kernel/src/runtime/diagnostics.rs · os_diagnostics_panic

Mevcut başlangıç referansı

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

Olumlu deney

Heap doluyken panik

Karşı-örnek / hata girdisi

Panik UART kilidinde takılır

Gerçek konuk kabulü

Sınırlı tek fatal kayıt

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

kernel/tests/os/diagnostics.rs
os_diagnostics_panic_positive
os_diagnostics_panic_negative
scripts/os-acceptance/diagnostics.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Heap doluyken panik ile Panik UART kilidinde takılır ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Panik UART kilidinde takı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/K670: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K666.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Panik kilit veya heap beklemez.

Uygulanacak işlem

os_diagnostics_panic_positive testini oluştur: “Heap doluyken panik”. 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

Panik kilit veya heap beklemez

Kod hedefi — henüz öneri

kernel/src/runtime/diagnostics.rs · os_diagnostics_panic

Mevcut başlangıç referansı

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

Olumlu deney

Heap doluyken panik

Karşı-örnek / hata girdisi

Panik UART kilidinde takılır

Gerçek konuk kabulü

Sınırlı tek fatal kayıt

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

kernel/tests/os/diagnostics.rs
os_diagnostics_panic_positive
os_diagnostics_panic_negative
scripts/os-acceptance/diagnostics.mjs

Geçiş koşulu

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

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

“Panik UART kilidinde takı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/K670: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K667.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Panik kilit veya heap beklemez.

Uygulanacak işlem

os_diagnostics_panic_negative testini oluştur: “Panik UART kilidinde takı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

Panik kilit veya heap beklemez

Kod hedefi — henüz öneri

kernel/src/runtime/diagnostics.rs · os_diagnostics_panic

Mevcut başlangıç referansı

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

Olumlu deney

Heap doluyken panik

Karşı-örnek / hata girdisi

Panik UART kilidinde takılır

Gerçek konuk kabulü

Sınırlı tek fatal kayıt

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

kernel/tests/os/diagnostics.rs
os_diagnostics_panic_positive
os_diagnostics_panic_negative
scripts/os-acceptance/diagnostics.mjs

Geçiş koşulu

Panik UART kilidinde takı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üş

“Panik UART kilidinde takı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/K670: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K668.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Panik kilit veya heap beklemez.

Uygulanacak işlem

Tek ürün Image'ında “Sınırlı tek fatal kayıt” kabulünü koştur. scripts/os-acceptance/diagnostics.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

Panik kilit veya heap beklemez

Kod hedefi — henüz öneri

kernel/src/runtime/diagnostics.rs · os_diagnostics_panic

Mevcut başlangıç referansı

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

Olumlu deney

Heap doluyken panik

Karşı-örnek / hata girdisi

Panik UART kilidinde takılır

Gerçek konuk kabulü

Sınırlı tek fatal kayıt

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

kernel/tests/os/diagnostics.rs
os_diagnostics_panic_positive
os_diagnostics_panic_negative
scripts/os-acceptance/diagnostics.mjs

Geçiş koşulu

Sınırlı tek fatal 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üş

“Panik UART kilidinde takı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/K670: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K669.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: FAR yalnız geçerli fault türünde yazılır.

Uygulanacak işlem

“ESR FAR bağlam raporu” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: FAR yalnız geçerli fault türünde yazılır. “EL0 translation fault” kabulü ile “Geçersiz FAR sır diye basılır” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

FAR yalnız geçerli fault türünde yazılır

Kod hedefi — henüz öneri

kernel/src/runtime/diagnostics.rs · os_diagnostics_fault

Mevcut başlangıç referansı

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

Olumlu deney

EL0 translation fault

Karşı-örnek / hata girdisi

Geçersiz FAR sır diye basılır

Gerçek konuk kabulü

Hatalı süreç ile kernel fatal ayrılır

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

kernel/tests/os/diagnostics.rs
os_diagnostics_fault_positive
os_diagnostics_fault_negative
scripts/os-acceptance/diagnostics.mjs

Geçiş koşulu

Tür ve geçiş tablosu FAR yalnız geçerli fault türünde yazı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üş

“Geçersiz FAR sır diye bası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/K675: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K670.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: FAR yalnız geçerli fault türünde yazılır.

Uygulanacak işlem

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

FAR yalnız geçerli fault türünde yazılır

Kod hedefi — henüz öneri

kernel/src/runtime/diagnostics.rs · os_diagnostics_fault

Mevcut başlangıç referansı

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

Olumlu deney

EL0 translation fault

Karşı-örnek / hata girdisi

Geçersiz FAR sır diye basılır

Gerçek konuk kabulü

Hatalı süreç ile kernel fatal ayrılır

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

kernel/tests/os/diagnostics.rs
os_diagnostics_fault_positive
os_diagnostics_fault_negative
scripts/os-acceptance/diagnostics.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. EL0 translation fault ile Geçersiz FAR sır diye basılır ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Geçersiz FAR sır diye bası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/K675: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K671.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: FAR yalnız geçerli fault türünde yazılır.

Uygulanacak işlem

os_diagnostics_fault_positive testini oluştur: “EL0 translation fault”. 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

FAR yalnız geçerli fault türünde yazılır

Kod hedefi — henüz öneri

kernel/src/runtime/diagnostics.rs · os_diagnostics_fault

Mevcut başlangıç referansı

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

Olumlu deney

EL0 translation fault

Karşı-örnek / hata girdisi

Geçersiz FAR sır diye basılır

Gerçek konuk kabulü

Hatalı süreç ile kernel fatal ayrılır

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

kernel/tests/os/diagnostics.rs
os_diagnostics_fault_positive
os_diagnostics_fault_negative
scripts/os-acceptance/diagnostics.mjs

Geçiş koşulu

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

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

“Geçersiz FAR sır diye bası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/K675: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K672.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: FAR yalnız geçerli fault türünde yazılır.

Uygulanacak işlem

os_diagnostics_fault_negative testini oluştur: “Geçersiz FAR sır diye bası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

FAR yalnız geçerli fault türünde yazılır

Kod hedefi — henüz öneri

kernel/src/runtime/diagnostics.rs · os_diagnostics_fault

Mevcut başlangıç referansı

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

Olumlu deney

EL0 translation fault

Karşı-örnek / hata girdisi

Geçersiz FAR sır diye basılır

Gerçek konuk kabulü

Hatalı süreç ile kernel fatal ayrılır

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

kernel/tests/os/diagnostics.rs
os_diagnostics_fault_positive
os_diagnostics_fault_negative
scripts/os-acceptance/diagnostics.mjs

Geçiş koşulu

Geçersiz FAR sır diye bası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üş

“Geçersiz FAR sır diye bası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/K675: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K673.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: FAR yalnız geçerli fault türünde yazılır.

Uygulanacak işlem

Tek ürün Image'ında “Hatalı süreç ile kernel fatal ayrılır” kabulünü koştur. scripts/os-acceptance/diagnostics.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

FAR yalnız geçerli fault türünde yazılır

Kod hedefi — henüz öneri

kernel/src/runtime/diagnostics.rs · os_diagnostics_fault

Mevcut başlangıç referansı

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

Olumlu deney

EL0 translation fault

Karşı-örnek / hata girdisi

Geçersiz FAR sır diye basılır

Gerçek konuk kabulü

Hatalı süreç ile kernel fatal ayrılır

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

kernel/tests/os/diagnostics.rs
os_diagnostics_fault_positive
os_diagnostics_fault_negative
scripts/os-acceptance/diagnostics.mjs

Geçiş koşulu

Hatalı süreç ile kernel fatal ayrılır; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

“Geçersiz FAR sır diye bası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/K675: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K674.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Kullanıcı sırları ve host yolları basılmaz.

Uygulanacak işlem

“Günlük bilgi sınırı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Kullanıcı sırları ve host yolları basılmaz. “Adres türü sınırlı kayıt” kabulü ile “Anahtar tamponu loga eklenir” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Kullanıcı sırları ve host yolları basılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/diagnostics.rs · os_diagnostics_redaction

Mevcut başlangıç referansı

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

Olumlu deney

Adres türü sınırlı kayıt

Karşı-örnek / hata girdisi

Anahtar tamponu loga eklenir

Gerçek konuk kabulü

Sır kanaryası seri çıktıda bulunmaz

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

kernel/tests/os/diagnostics.rs
os_diagnostics_redaction_positive
os_diagnostics_redaction_negative
scripts/os-acceptance/diagnostics.mjs

Geçiş koşulu

Tür ve geçiş tablosu Kullanıcı sırları ve host yolları bası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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K675.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Kullanıcı sırları ve host yolları basılmaz.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Kullanıcı sırları ve host yolları basılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/diagnostics.rs · os_diagnostics_redaction

Mevcut başlangıç referansı

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

Olumlu deney

Adres türü sınırlı kayıt

Karşı-örnek / hata girdisi

Anahtar tamponu loga eklenir

Gerçek konuk kabulü

Sır kanaryası seri çıktıda bulunmaz

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

kernel/tests/os/diagnostics.rs
os_diagnostics_redaction_positive
os_diagnostics_redaction_negative
scripts/os-acceptance/diagnostics.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Adres türü sınırlı kayıt ile Anahtar tamponu loga eklenir ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K676.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Kullanıcı sırları ve host yolları basılmaz.

Uygulanacak işlem

os_diagnostics_redaction_positive testini oluştur: “Adres türü sınırlı 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

Kullanıcı sırları ve host yolları basılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/diagnostics.rs · os_diagnostics_redaction

Mevcut başlangıç referansı

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

Olumlu deney

Adres türü sınırlı kayıt

Karşı-örnek / hata girdisi

Anahtar tamponu loga eklenir

Gerçek konuk kabulü

Sır kanaryası seri çıktıda bulunmaz

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

kernel/tests/os/diagnostics.rs
os_diagnostics_redaction_positive
os_diagnostics_redaction_negative
scripts/os-acceptance/diagnostics.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Adres türü sınırlı kayıt girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K677.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Kullanıcı sırları ve host yolları basılmaz.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Kullanıcı sırları ve host yolları basılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/diagnostics.rs · os_diagnostics_redaction

Mevcut başlangıç referansı

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

Olumlu deney

Adres türü sınırlı kayıt

Karşı-örnek / hata girdisi

Anahtar tamponu loga eklenir

Gerçek konuk kabulü

Sır kanaryası seri çıktıda bulunmaz

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

kernel/tests/os/diagnostics.rs
os_diagnostics_redaction_positive
os_diagnostics_redaction_negative
scripts/os-acceptance/diagnostics.mjs

Geçiş koşulu

Anahtar tamponu loga eklenir 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K678.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Kullanıcı sırları ve host yolları basılmaz.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Kullanıcı sırları ve host yolları basılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/diagnostics.rs · os_diagnostics_redaction

Mevcut başlangıç referansı

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

Olumlu deney

Adres türü sınırlı kayıt

Karşı-örnek / hata girdisi

Anahtar tamponu loga eklenir

Gerçek konuk kabulü

Sır kanaryası seri çıktıda bulunmaz

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

kernel/tests/os/diagnostics.rs
os_diagnostics_redaction_positive
os_diagnostics_redaction_negative
scripts/os-acceptance/diagnostics.mjs

Geçiş koşulu

Sır kanaryası seri çıktıda bulunmaz; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K679.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Düğüm sayısı derinlik ve blob boyu sınırlıdır.

Uygulanacak işlem

“Sınırlı DTB yürütme” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Düğüm sayısı derinlik ve blob boyu sınırlıdır. “Bilinen virt cihaz ağacı” kabulü ile “Döngülü veya taşan phandle” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Düğüm sayısı derinlik ve blob boyu sınırlıdır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/platform.rs · os_platform_tree

Mevcut başlangıç referansı

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

Olumlu deney

Bilinen virt cihaz ağacı

Karşı-örnek / hata girdisi

Döngülü veya taşan phandle

Gerçek konuk kabulü

Keşif tamamlanır veya açık ret

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

kernel/tests/os/platform.rs
os_platform_tree_positive
os_platform_tree_negative
scripts/os-acceptance/platform.mjs

Geçiş koşulu

Tür ve geçiş tablosu Düğüm sayısı derinlik ve blob boyu sınırlıdır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K680.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Düğüm sayısı derinlik ve blob boyu sınırlıdır.

Uygulanacak işlem

kernel/src/arch/aarch64/platform.rs hedefinde os_platform_tree 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

Düğüm sayısı derinlik ve blob boyu sınırlıdır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/platform.rs · os_platform_tree

Mevcut başlangıç referansı

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

Olumlu deney

Bilinen virt cihaz ağacı

Karşı-örnek / hata girdisi

Döngülü veya taşan phandle

Gerçek konuk kabulü

Keşif tamamlanır veya açık ret

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

kernel/tests/os/platform.rs
os_platform_tree_positive
os_platform_tree_negative
scripts/os-acceptance/platform.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Bilinen virt cihaz ağacı ile Döngülü veya taşan phandle ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K681.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Düğüm sayısı derinlik ve blob boyu sınırlıdır.

Uygulanacak işlem

os_platform_tree_positive testini oluştur: “Bilinen virt cihaz ağacı”. 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

Düğüm sayısı derinlik ve blob boyu sınırlıdır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/platform.rs · os_platform_tree

Mevcut başlangıç referansı

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

Olumlu deney

Bilinen virt cihaz ağacı

Karşı-örnek / hata girdisi

Döngülü veya taşan phandle

Gerçek konuk kabulü

Keşif tamamlanır veya açık ret

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

kernel/tests/os/platform.rs
os_platform_tree_positive
os_platform_tree_negative
scripts/os-acceptance/platform.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K682.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Düğüm sayısı derinlik ve blob boyu sınırlıdır.

Uygulanacak işlem

os_platform_tree_negative testini oluştur: “Döngülü veya taşan phandle”. 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

Düğüm sayısı derinlik ve blob boyu sınırlıdır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/platform.rs · os_platform_tree

Mevcut başlangıç referansı

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

Olumlu deney

Bilinen virt cihaz ağacı

Karşı-örnek / hata girdisi

Döngülü veya taşan phandle

Gerçek konuk kabulü

Keşif tamamlanır veya açık ret

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

kernel/tests/os/platform.rs
os_platform_tree_positive
os_platform_tree_negative
scripts/os-acceptance/platform.mjs

Geçiş koşulu

Döngülü veya taşan phandle karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K683.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Düğüm sayısı derinlik ve blob boyu sınırlıdır.

Uygulanacak işlem

Tek ürün Image'ında “Keşif tamamlanır veya açık ret” kabulünü koştur. scripts/os-acceptance/platform.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

Düğüm sayısı derinlik ve blob boyu sınırlıdır

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/platform.rs · os_platform_tree

Mevcut başlangıç referansı

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

Olumlu deney

Bilinen virt cihaz ağacı

Karşı-örnek / hata girdisi

Döngülü veya taşan phandle

Gerçek konuk kabulü

Keşif tamamlanır veya açık ret

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

kernel/tests/os/platform.rs
os_platform_tree_positive
os_platform_tree_negative
scripts/os-acceptance/platform.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K684.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Eksik aygıt sabit adrese varsayılmaz.

Uygulanacak işlem

“UART GIC timer tanımları” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Eksik aygıt sabit adrese varsayılmaz. “PL011 GICv3 timer tuple” kabulü ile “GICv2 veya eksik UART” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Eksik aygıt sabit adrese varsayılmaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/platform.rs · os_platform_devices

Mevcut başlangıç referansı

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

Olumlu deney

PL011 GICv3 timer tuple

Karşı-örnek / hata girdisi

GICv2 veya eksik UART

Gerçek konuk kabulü

Her aygıt adresi DTB kaydına bağlı

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

kernel/tests/os/platform.rs
os_platform_devices_positive
os_platform_devices_negative
scripts/os-acceptance/platform.mjs

Geçiş koşulu

Tür ve geçiş tablosu Eksik aygıt sabit adrese varsayı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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K685.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Eksik aygıt sabit adrese varsayılmaz.

Uygulanacak işlem

kernel/src/arch/aarch64/platform.rs hedefinde os_platform_devices 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

Eksik aygıt sabit adrese varsayılmaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/platform.rs · os_platform_devices

Mevcut başlangıç referansı

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

Olumlu deney

PL011 GICv3 timer tuple

Karşı-örnek / hata girdisi

GICv2 veya eksik UART

Gerçek konuk kabulü

Her aygıt adresi DTB kaydına bağlı

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

kernel/tests/os/platform.rs
os_platform_devices_positive
os_platform_devices_negative
scripts/os-acceptance/platform.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. PL011 GICv3 timer tuple ile GICv2 veya eksik UART ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K686.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Eksik aygıt sabit adrese varsayılmaz.

Uygulanacak işlem

os_platform_devices_positive testini oluştur: “PL011 GICv3 timer tuple”. 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 aygıt sabit adrese varsayılmaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/platform.rs · os_platform_devices

Mevcut başlangıç referansı

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

Olumlu deney

PL011 GICv3 timer tuple

Karşı-örnek / hata girdisi

GICv2 veya eksik UART

Gerçek konuk kabulü

Her aygıt adresi DTB kaydına bağlı

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

kernel/tests/os/platform.rs
os_platform_devices_positive
os_platform_devices_negative
scripts/os-acceptance/platform.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; PL011 GICv3 timer tuple girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K687.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Eksik aygıt sabit adrese varsayılmaz.

Uygulanacak işlem

os_platform_devices_negative testini oluştur: “GICv2 veya eksik UART”. 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 aygıt sabit adrese varsayılmaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/platform.rs · os_platform_devices

Mevcut başlangıç referansı

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

Olumlu deney

PL011 GICv3 timer tuple

Karşı-örnek / hata girdisi

GICv2 veya eksik UART

Gerçek konuk kabulü

Her aygıt adresi DTB kaydına bağlı

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

kernel/tests/os/platform.rs
os_platform_devices_positive
os_platform_devices_negative
scripts/os-acceptance/platform.mjs

Geçiş koşulu

GICv2 veya eksik UART 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K688.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Eksik aygıt sabit adrese varsayılmaz.

Uygulanacak işlem

Tek ürün Image'ında “Her aygıt adresi DTB kaydına bağlı” kabulünü koştur. scripts/os-acceptance/platform.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 aygıt sabit adrese varsayılmaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/platform.rs · os_platform_devices

Mevcut başlangıç referansı

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

Olumlu deney

PL011 GICv3 timer tuple

Karşı-örnek / hata girdisi

GICv2 veya eksik UART

Gerçek konuk kabulü

Her aygıt adresi DTB kaydına bağlı

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

kernel/tests/os/platform.rs
os_platform_devices_positive
os_platform_devices_negative
scripts/os-acceptance/platform.mjs

Geçiş koşulu

Her aygıt adresi DTB kaydına 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K689.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Bankalar rezervasyonları aşamaz.

Uygulanacak işlem

“Çoklu RAM bankası modeli” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Bankalar rezervasyonları aşamaz. “İki ayrık RAM bankası” kabulü ile “Bankalar örtüşür” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Bankalar rezervasyonları aşamaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/platform.rs · os_platform_ram

Mevcut başlangıç referansı

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

Olumlu deney

İki ayrık RAM bankası

Karşı-örnek / hata girdisi

Bankalar örtüşür

Gerçek konuk kabulü

Tahsis yalnız yetkili bankalardan

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

kernel/tests/os/platform.rs
os_platform_ram_positive
os_platform_ram_negative
scripts/os-acceptance/platform.mjs

Geçiş koşulu

Tür ve geçiş tablosu Bankalar rezervasyonları aşamaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Bankalar örtüşü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/K695: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K690.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Bankalar rezervasyonları aşamaz.

Uygulanacak işlem

kernel/src/arch/aarch64/platform.rs hedefinde os_platform_ram 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

Bankalar rezervasyonları aşamaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/platform.rs · os_platform_ram

Mevcut başlangıç referansı

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

Olumlu deney

İki ayrık RAM bankası

Karşı-örnek / hata girdisi

Bankalar örtüşür

Gerçek konuk kabulü

Tahsis yalnız yetkili bankalardan

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

kernel/tests/os/platform.rs
os_platform_ram_positive
os_platform_ram_negative
scripts/os-acceptance/platform.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki ayrık RAM bankası ile Bankalar örtüşür ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Bankalar örtüşü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/K695: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K691.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Bankalar rezervasyonları aşamaz.

Uygulanacak işlem

os_platform_ram_positive testini oluştur: “İki ayrık RAM bankası”. 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

Bankalar rezervasyonları aşamaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/platform.rs · os_platform_ram

Mevcut başlangıç referansı

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

Olumlu deney

İki ayrık RAM bankası

Karşı-örnek / hata girdisi

Bankalar örtüşür

Gerçek konuk kabulü

Tahsis yalnız yetkili bankalardan

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

kernel/tests/os/platform.rs
os_platform_ram_positive
os_platform_ram_negative
scripts/os-acceptance/platform.mjs

Geçiş koşulu

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

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

“Bankalar örtüşü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/K695: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K692.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Bankalar rezervasyonları aşamaz.

Uygulanacak işlem

os_platform_ram_negative testini oluştur: “Bankalar örtüşü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

Bankalar rezervasyonları aşamaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/platform.rs · os_platform_ram

Mevcut başlangıç referansı

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

Olumlu deney

İki ayrık RAM bankası

Karşı-örnek / hata girdisi

Bankalar örtüşür

Gerçek konuk kabulü

Tahsis yalnız yetkili bankalardan

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

kernel/tests/os/platform.rs
os_platform_ram_positive
os_platform_ram_negative
scripts/os-acceptance/platform.mjs

Geçiş koşulu

Bankalar örtüşü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üş

“Bankalar örtüşü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/K695: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K693.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Bankalar rezervasyonları aşamaz.

Uygulanacak işlem

Tek ürün Image'ında “Tahsis yalnız yetkili bankalardan” kabulünü koştur. scripts/os-acceptance/platform.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

Bankalar rezervasyonları aşamaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/platform.rs · os_platform_ram

Mevcut başlangıç referansı

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

Olumlu deney

İki ayrık RAM bankası

Karşı-örnek / hata girdisi

Bankalar örtüşür

Gerçek konuk kabulü

Tahsis yalnız yetkili bankalardan

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

kernel/tests/os/platform.rs
os_platform_ram_positive
os_platform_ram_negative
scripts/os-acceptance/platform.mjs

Geçiş koşulu

Tahsis yalnız yetkili bankalardan; 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üş

“Bankalar örtüşü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/K695: PASS.

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K694.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Kod gerektirmediği CPU özelliğini varsaymaz.

Uygulanacak işlem

“CPU yetenek matrisi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Kod gerektirmediği CPU özelliğini varsaymaz. “M1 ve M5 konuk profilleri” kabulü ile “Desteksiz özellik biti” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Kod gerektirmediği CPU özelliğini varsaymaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/platform.rs · os_platform_features

Mevcut başlangıç referansı

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

Olumlu deney

M1 ve M5 konuk profilleri

Karşı-örnek / hata girdisi

Desteksiz özellik biti

Gerçek konuk kabulü

Eksik özellik güvenli ret verir

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

kernel/tests/os/platform.rs
os_platform_features_positive
os_platform_features_negative
scripts/os-acceptance/platform.mjs

Geçiş koşulu

Tür ve geçiş tablosu Kod gerektirmediği CPU özelliğini varsaymaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K695.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Kod gerektirmediği CPU özelliğini varsaymaz.

Uygulanacak işlem

kernel/src/arch/aarch64/platform.rs hedefinde os_platform_features 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

Kod gerektirmediği CPU özelliğini varsaymaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/platform.rs · os_platform_features

Mevcut başlangıç referansı

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

Olumlu deney

M1 ve M5 konuk profilleri

Karşı-örnek / hata girdisi

Desteksiz özellik biti

Gerçek konuk kabulü

Eksik özellik güvenli ret verir

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

kernel/tests/os/platform.rs
os_platform_features_positive
os_platform_features_negative
scripts/os-acceptance/platform.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. M1 ve M5 konuk profilleri ile Desteksiz özellik biti ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K696.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Kod gerektirmediği CPU özelliğini varsaymaz.

Uygulanacak işlem

os_platform_features_positive testini oluştur: “M1 ve M5 konuk 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

Kod gerektirmediği CPU özelliğini varsaymaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/platform.rs · os_platform_features

Mevcut başlangıç referansı

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

Olumlu deney

M1 ve M5 konuk profilleri

Karşı-örnek / hata girdisi

Desteksiz özellik biti

Gerçek konuk kabulü

Eksik özellik güvenli ret verir

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

kernel/tests/os/platform.rs
os_platform_features_positive
os_platform_features_negative
scripts/os-acceptance/platform.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K697.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Kod gerektirmediği CPU özelliğini varsaymaz.

Uygulanacak işlem

os_platform_features_negative testini oluştur: “Desteksiz özellik biti”. 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

Kod gerektirmediği CPU özelliğini varsaymaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/platform.rs · os_platform_features

Mevcut başlangıç referansı

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

Olumlu deney

M1 ve M5 konuk profilleri

Karşı-örnek / hata girdisi

Desteksiz özellik biti

Gerçek konuk kabulü

Eksik özellik güvenli ret verir

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

kernel/tests/os/platform.rs
os_platform_features_positive
os_platform_features_negative
scripts/os-acceptance/platform.mjs

Geçiş koşulu

Desteksiz özellik biti 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K698.

Sınır

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

Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır. Bu hamlenin koruduğu değişmez: Kod gerektirmediği CPU özelliğini varsaymaz.

Uygulanacak işlem

Tek ürün Image'ında “Eksik özellik güvenli ret verir” kabulünü koştur. scripts/os-acceptance/platform.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

Kod gerektirmediği CPU özelliğini varsaymaz

Kod hedefi — henüz öneri

kernel/src/arch/aarch64/platform.rs · os_platform_features

Mevcut başlangıç referansı

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

Olumlu deney

M1 ve M5 konuk profilleri

Karşı-örnek / hata girdisi

Desteksiz özellik biti

Gerçek konuk kabulü

Eksik özellik güvenli ret verir

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

kernel/tests/os/platform.rs
os_platform_features_positive
os_platform_features_negative
scripts/os-acceptance/platform.mjs

Geçiş koşulu

Eksik özellik güvenli ret 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K699.

Sınır

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