← 1900 hamlenin bütünüFAZ 04 / K901–K1000

Kesme saat ve kernel senkronizasyonu

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır.

100planlı hamle

5modül

20yetenek

0gerçek kabul

Bu fazın 100 hamlesinde ara

100 / 100 hamle gösteriliyor

AArch64 / Rust + küçük assembly sınırı · K901–K920

Ürün exception yolları

Dört yetenek: Bütün exception slotları · GP SIMD exception çerçevesi · İç içe exception politikası · EL0 dönüş kontrolü. Her yetenek için kod ve iki testin ardından aynı ürün Image'ında konuk kabulü gerekir.

K901Bütün exception slotları · Sözleşme ve durum modeliPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Her slot doğru EL ve stack kullanır.

Uygulanacak işlem: “Bütün exception slotları” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Her slot doğru EL ve stack kullanır. “EL1 IRQ EL0 SVC fault” kabulü ile “Yanlış alt EL slotu” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Her slot doğru EL ve stack kullanır
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/exceptions.rs · os_exceptions_vectors
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: EL1 IRQ EL0 SVC fault
Karşı-örnek / hata girdisi: Yanlış alt EL slotu
Gerçek konuk kabulü: Vektör kimlikleri doğru seri olay üretir
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/exceptions.rs
os_exceptions_vectors_positive
os_exceptions_vectors_negative
scripts/os-acceptance/exceptions.mjs
Geçiş koşulu: Tür ve geçiş tablosu Her slot doğru EL ve stack kullanır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Yanlış alt EL slotu” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K905: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. İlk hamle; mevcut K501–K600 sözleşmesi başlangıç bağlamıdır. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K902Bütün exception slotları · Rust uygulaması ve sahiplikPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Her slot doğru EL ve stack kullanır.

Uygulanacak işlem: kernel/src/arch/aarch64/exceptions.rs hedefinde os_exceptions_vectors 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: Her slot doğru EL ve stack kullanır
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/exceptions.rs · os_exceptions_vectors
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: EL1 IRQ EL0 SVC fault
Karşı-örnek / hata girdisi: Yanlış alt EL slotu
Gerçek konuk kabulü: Vektör kimlikleri doğru seri olay üretir
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/exceptions.rs
os_exceptions_vectors_positive
os_exceptions_vectors_negative
scripts/os-acceptance/exceptions.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. EL1 IRQ EL0 SVC fault ile Yanlış alt EL slotu ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Yanlış alt EL slotu” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K905: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K901. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K903Bütün exception slotları · Olumlu ve sınır birim testiPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Her slot doğru EL ve stack kullanır.

Uygulanacak işlem: os_exceptions_vectors_positive testini oluştur: “EL1 IRQ EL0 SVC 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: Her slot doğru EL ve stack kullanır
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/exceptions.rs · os_exceptions_vectors
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: EL1 IRQ EL0 SVC fault
Karşı-örnek / hata girdisi: Yanlış alt EL slotu
Gerçek konuk kabulü: Vektör kimlikleri doğru seri olay üretir
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/exceptions.rs
os_exceptions_vectors_positive
os_exceptions_vectors_negative
scripts/os-acceptance/exceptions.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; EL1 IRQ EL0 SVC fault girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Yanlış alt EL slotu” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K905: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K902. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K904Bütün exception slotları · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Her slot doğru EL ve stack kullanır.

Uygulanacak işlem: os_exceptions_vectors_negative testini oluştur: “Yanlış alt EL slotu”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.
Değişmez / korunan bağlam: Her slot doğru EL ve stack kullanır
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/exceptions.rs · os_exceptions_vectors
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: EL1 IRQ EL0 SVC fault
Karşı-örnek / hata girdisi: Yanlış alt EL slotu
Gerçek konuk kabulü: Vektör kimlikleri doğru seri olay üretir
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/exceptions.rs
os_exceptions_vectors_positive
os_exceptions_vectors_negative
scripts/os-acceptance/exceptions.mjs
Geçiş koşulu: Yanlış alt EL slotu karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.
Başarısızlık ve geri dönüş: “Yanlış alt EL slotu” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K905: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K903. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K905Bütün exception slotları · Gerçek konukta ürün kabulüPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Her slot doğru EL ve stack kullanır.

Uygulanacak işlem: Tek ürün Image'ında “Vektör kimlikleri doğru seri olay üretir” kabulünü koştur. scripts/os-acceptance/exceptions.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.
Değişmez / korunan bağlam: Her slot doğru EL ve stack kullanır
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/exceptions.rs · os_exceptions_vectors
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: EL1 IRQ EL0 SVC fault
Karşı-örnek / hata girdisi: Yanlış alt EL slotu
Gerçek konuk kabulü: Vektör kimlikleri doğru seri olay üretir
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/exceptions.rs
os_exceptions_vectors_positive
os_exceptions_vectors_negative
scripts/os-acceptance/exceptions.mjs
Geçiş koşulu: Vektör kimlikleri doğru seri olay üretir; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.
Başarısızlık ve geri dönüş: “Yanlış alt EL slotu” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K905: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K904. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K906GP SIMD exception çerçevesi · Sözleşme ve durum modeliPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Giriş ve çıkış aynı ABI ofsetini kullanır.

Uygulanacak işlem: “GP SIMD exception çerçevesi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Giriş ve çıkış aynı ABI ofsetini kullanır. “x0 x30 v0 v31 tanıkları” kabulü ile “Bozuk SP veya çerçeve kanaryası” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Giriş ve çıkış aynı ABI ofsetini kullanır
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/exceptions.rs · os_exceptions_frames
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: x0 x30 v0 v31 tanıkları
Karşı-örnek / hata girdisi: Bozuk SP veya çerçeve kanaryası
Gerçek konuk kabulü: ERET sonrası tanıklar eşit
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/exceptions.rs
os_exceptions_frames_positive
os_exceptions_frames_negative
scripts/os-acceptance/exceptions.mjs
Geçiş koşulu: Tür ve geçiş tablosu Giriş ve çıkış aynı ABI ofsetini kullanır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Bozuk SP veya çerçeve kanaryası” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K910: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K905. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K907GP SIMD exception çerçevesi · Rust uygulaması ve sahiplikPLAN / SINANMADI

Uygulanacak işlem: kernel/src/arch/aarch64/exceptions.rs hedefinde os_exceptions_frames 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: Giriş ve çıkış aynı ABI ofsetini kullanır
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/exceptions.rs · os_exceptions_frames
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: x0 x30 v0 v31 tanıkları
Karşı-örnek / hata girdisi: Bozuk SP veya çerçeve kanaryası
Gerçek konuk kabulü: ERET sonrası tanıklar eşit
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/exceptions.rs
os_exceptions_frames_positive
os_exceptions_frames_negative
scripts/os-acceptance/exceptions.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. x0 x30 v0 v31 tanıkları ile Bozuk SP veya çerçeve kanaryası ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Bozuk SP veya çerçeve kanaryası” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K910: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K906. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K908GP SIMD exception çerçevesi · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_exceptions_frames_positive testini oluştur: “x0 x30 v0 v31 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: Giriş ve çıkış aynı ABI ofsetini kullanır
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/exceptions.rs · os_exceptions_frames
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: x0 x30 v0 v31 tanıkları
Karşı-örnek / hata girdisi: Bozuk SP veya çerçeve kanaryası
Gerçek konuk kabulü: ERET sonrası tanıklar eşit
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/exceptions.rs
os_exceptions_frames_positive
os_exceptions_frames_negative
scripts/os-acceptance/exceptions.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; x0 x30 v0 v31 tanıkları girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Bozuk SP veya çerçeve kanaryası” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K910: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K907. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K909GP SIMD exception çerçevesi · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_exceptions_frames_negative testini oluştur: “Bozuk SP veya çerçeve kanaryası”. 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: Giriş ve çıkış aynı ABI ofsetini kullanır
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/exceptions.rs · os_exceptions_frames
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: x0 x30 v0 v31 tanıkları
Karşı-örnek / hata girdisi: Bozuk SP veya çerçeve kanaryası
Gerçek konuk kabulü: ERET sonrası tanıklar eşit
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/exceptions.rs
os_exceptions_frames_positive
os_exceptions_frames_negative
scripts/os-acceptance/exceptions.mjs
Geçiş koşulu: Bozuk SP veya çerçeve kanaryası karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.
Başarısızlık ve geri dönüş: “Bozuk SP veya çerçeve kanaryası” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K910: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K908. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K910GP SIMD exception çerçevesi · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “ERET sonrası tanıklar eşit” kabulünü koştur. scripts/os-acceptance/exceptions.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: Giriş ve çıkış aynı ABI ofsetini kullanır
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/exceptions.rs · os_exceptions_frames
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: x0 x30 v0 v31 tanıkları
Karşı-örnek / hata girdisi: Bozuk SP veya çerçeve kanaryası
Gerçek konuk kabulü: ERET sonrası tanıklar eşit
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/exceptions.rs
os_exceptions_frames_positive
os_exceptions_frames_negative
scripts/os-acceptance/exceptions.mjs
Geçiş koşulu: ERET sonrası tanıklar 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üş: “Bozuk SP veya çerçeve kanaryası” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K910: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K909. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K911İç içe exception politikası · Sözleşme ve durum modeliPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: İzin verilen nesting derinliği sınırlıdır.

Uygulanacak işlem: “İç içe exception politikası” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: İzin verilen nesting derinliği sınırlıdır. “Syscall sırasında timer” kabulü ile “IRQ içinde ikinci fatal” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: İzin verilen nesting derinliği sınırlıdır
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/exceptions.rs · os_exceptions_nested
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Syscall sırasında timer
Karşı-örnek / hata girdisi: IRQ içinde ikinci fatal
Gerçek konuk kabulü: Kernel deterministik panik yoluna gider
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/exceptions.rs
os_exceptions_nested_positive
os_exceptions_nested_negative
scripts/os-acceptance/exceptions.mjs
Geçiş koşulu: Tür ve geçiş tablosu İzin verilen nesting derinliği 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üş: “IRQ içinde ikinci fatal” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K915: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K910. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K912İç içe exception politikası · Rust uygulaması ve sahiplikPLAN / SINANMADI

Uygulanacak işlem: kernel/src/arch/aarch64/exceptions.rs hedefinde os_exceptions_nested 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: İzin verilen nesting derinliği sınırlıdır
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/exceptions.rs · os_exceptions_nested
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Syscall sırasında timer
Karşı-örnek / hata girdisi: IRQ içinde ikinci fatal
Gerçek konuk kabulü: Kernel deterministik panik yoluna gider
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/exceptions.rs
os_exceptions_nested_positive
os_exceptions_nested_negative
scripts/os-acceptance/exceptions.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Syscall sırasında timer ile IRQ içinde ikinci fatal ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “IRQ içinde ikinci fatal” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K915: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K911. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K913İç içe exception politikası · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_exceptions_nested_positive testini oluştur: “Syscall sırasında timer”. 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: İzin verilen nesting derinliği sınırlıdır
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/exceptions.rs · os_exceptions_nested
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Syscall sırasında timer
Karşı-örnek / hata girdisi: IRQ içinde ikinci fatal
Gerçek konuk kabulü: Kernel deterministik panik yoluna gider
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/exceptions.rs
os_exceptions_nested_positive
os_exceptions_nested_negative
scripts/os-acceptance/exceptions.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Syscall sırasında timer girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “IRQ içinde ikinci fatal” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K915: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K912. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K914İç içe exception politikası · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_exceptions_nested_negative testini oluştur: “IRQ içinde ikinci fatal”. 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: İzin verilen nesting derinliği sınırlıdır
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/exceptions.rs · os_exceptions_nested
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Syscall sırasında timer
Karşı-örnek / hata girdisi: IRQ içinde ikinci fatal
Gerçek konuk kabulü: Kernel deterministik panik yoluna gider
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/exceptions.rs
os_exceptions_nested_positive
os_exceptions_nested_negative
scripts/os-acceptance/exceptions.mjs
Geçiş koşulu: IRQ içinde ikinci fatal 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üş: “IRQ içinde ikinci fatal” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K915: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K913. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K915İç içe exception politikası · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “Kernel deterministik panik yoluna gider” kabulünü koştur. scripts/os-acceptance/exceptions.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: İzin verilen nesting derinliği sınırlıdır
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/exceptions.rs · os_exceptions_nested
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Syscall sırasında timer
Karşı-örnek / hata girdisi: IRQ içinde ikinci fatal
Gerçek konuk kabulü: Kernel deterministik panik yoluna gider
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/exceptions.rs
os_exceptions_nested_positive
os_exceptions_nested_negative
scripts/os-acceptance/exceptions.mjs
Geçiş koşulu: Kernel deterministik panik yoluna gider; 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üş: “IRQ içinde ikinci fatal” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K915: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K914. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K916EL0 dönüş kontrolü · Sözleşme ve durum modeliPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: ELR SP SPSR süreç yetkisiyle doğrulanır.

Uygulanacak işlem: “EL0 dönüş kontrolü” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: ELR SP SPSR süreç yetkisiyle doğrulanır. “RX entry ve hizalı SP” kabulü ile “EL1 dönüş isteyen kullanıcı frame” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: ELR SP SPSR süreç yetkisiyle doğrulanır
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/exceptions.rs · os_exceptions_return
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: RX entry ve hizalı SP
Karşı-örnek / hata girdisi: EL1 dönüş isteyen kullanıcı frame
Gerçek konuk kabulü: Bozuk dönüş öncesi süreç reddedilir
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/exceptions.rs
os_exceptions_return_positive
os_exceptions_return_negative
scripts/os-acceptance/exceptions.mjs
Geçiş koşulu: Tür ve geçiş tablosu ELR SP SPSR süreç yetkisiyle doğrulanı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üş: “EL1 dönüş isteyen kullanıcı frame” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K920: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K915. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K917EL0 dönüş kontrolü · Rust uygulaması ve sahiplikPLAN / SINANMADI

Uygulanacak işlem: kernel/src/arch/aarch64/exceptions.rs hedefinde os_exceptions_return 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: ELR SP SPSR süreç yetkisiyle doğrulanır
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/exceptions.rs · os_exceptions_return
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: RX entry ve hizalı SP
Karşı-örnek / hata girdisi: EL1 dönüş isteyen kullanıcı frame
Gerçek konuk kabulü: Bozuk dönüş öncesi süreç reddedilir
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/exceptions.rs
os_exceptions_return_positive
os_exceptions_return_negative
scripts/os-acceptance/exceptions.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. RX entry ve hizalı SP ile EL1 dönüş isteyen kullanıcı frame ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “EL1 dönüş isteyen kullanıcı frame” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K920: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K916. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K918EL0 dönüş kontrolü · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_exceptions_return_positive testini oluştur: “RX entry ve hizalı SP”. 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: ELR SP SPSR süreç yetkisiyle doğrulanır
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/exceptions.rs · os_exceptions_return
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: RX entry ve hizalı SP
Karşı-örnek / hata girdisi: EL1 dönüş isteyen kullanıcı frame
Gerçek konuk kabulü: Bozuk dönüş öncesi süreç reddedilir
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/exceptions.rs
os_exceptions_return_positive
os_exceptions_return_negative
scripts/os-acceptance/exceptions.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; RX entry ve hizalı SP girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “EL1 dönüş isteyen kullanıcı frame” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K920: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K917. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K919EL0 dönüş kontrolü · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_exceptions_return_negative testini oluştur: “EL1 dönüş isteyen kullanıcı frame”. 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: ELR SP SPSR süreç yetkisiyle doğrulanır
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/exceptions.rs · os_exceptions_return
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: RX entry ve hizalı SP
Karşı-örnek / hata girdisi: EL1 dönüş isteyen kullanıcı frame
Gerçek konuk kabulü: Bozuk dönüş öncesi süreç reddedilir
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/exceptions.rs
os_exceptions_return_positive
os_exceptions_return_negative
scripts/os-acceptance/exceptions.mjs
Geçiş koşulu: EL1 dönüş isteyen kullanıcı frame 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üş: “EL1 dönüş isteyen kullanıcı frame” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K920: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K918. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K920EL0 dönüş kontrolü · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “Bozuk dönüş öncesi süreç reddedilir” kabulünü koştur. scripts/os-acceptance/exceptions.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: ELR SP SPSR süreç yetkisiyle doğrulanır
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/exceptions.rs · os_exceptions_return
Mevcut başlangıç referansı: kernel/src/exception.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: RX entry ve hizalı SP
Karşı-örnek / hata girdisi: EL1 dönüş isteyen kullanıcı frame
Gerçek konuk kabulü: Bozuk dönüş öncesi süreç reddedilir
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/exceptions.rs
os_exceptions_return_positive
os_exceptions_return_negative
scripts/os-acceptance/exceptions.mjs
Geçiş koşulu: Bozuk dönüş öncesi süreç 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üş: “EL1 dönüş isteyen kullanıcı frame” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K920: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K919. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

AArch64 / Rust + küçük assembly sınırı · K921–K940

GICv3 hizmet yaşamı

Dört yetenek: INTID sahip ve hedef kaydı · Acknowledge ve EOI sırası · IRQ fırtına bütçesi · IRQ kaydını güvenli sökme. Her yetenek için kod ve iki testin ardından aynı ürün Image'ında konuk kabulü gerekir.

K921INTID sahip ve hedef kaydı · Sözleşme ve durum modeliPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Kaynak tek hizmete ve CPUya bağlanır.

Uygulanacak işlem: “INTID sahip ve hedef kaydı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Kaynak tek hizmete ve CPUya bağlanır. “Timer PPI ve aygıt SPI” kabulü ile “İki hizmet aynı INTID ister” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Kaynak tek hizmete ve CPUya bağlanır
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/gic.rs · os_gic_routing
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Timer PPI ve aygıt SPI
Karşı-örnek / hata girdisi: İki hizmet aynı INTID ister
Gerçek konuk kabulü: Hedef hizmet bir kez çağrılır
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/gic.rs
os_gic_routing_positive
os_gic_routing_negative
scripts/os-acceptance/gic.mjs
Geçiş koşulu: Tür ve geçiş tablosu Kaynak tek hizmete ve CPUya bağlanır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “İki hizmet aynı INTID ister” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K925: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K920. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K922INTID sahip ve hedef kaydı · Rust uygulaması ve sahiplikPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Kaynak tek hizmete ve CPUya bağlanır.

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

K923INTID sahip ve hedef kaydı · Olumlu ve sınır birim testiPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Kaynak tek hizmete ve CPUya bağlanır.

Uygulanacak işlem: os_gic_routing_positive testini oluştur: “Timer PPI ve aygıt SPI”. 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 tek hizmete ve CPUya bağlanır
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/gic.rs · os_gic_routing
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Timer PPI ve aygıt SPI
Karşı-örnek / hata girdisi: İki hizmet aynı INTID ister
Gerçek konuk kabulü: Hedef hizmet bir kez çağrılır
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/gic.rs
os_gic_routing_positive
os_gic_routing_negative
scripts/os-acceptance/gic.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Timer PPI ve aygıt SPI girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “İki hizmet aynı INTID ister” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K925: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K922. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K924INTID sahip ve hedef kaydı · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Kaynak tek hizmete ve CPUya bağlanır.

Uygulanacak işlem: os_gic_routing_negative testini oluştur: “İki hizmet aynı INTID ister”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.
Değişmez / korunan bağlam: Kaynak tek hizmete ve CPUya bağlanır
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/gic.rs · os_gic_routing
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Timer PPI ve aygıt SPI
Karşı-örnek / hata girdisi: İki hizmet aynı INTID ister
Gerçek konuk kabulü: Hedef hizmet bir kez çağrılır
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/gic.rs
os_gic_routing_positive
os_gic_routing_negative
scripts/os-acceptance/gic.mjs
Geçiş koşulu: İki hizmet aynı INTID ister karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.
Başarısızlık ve geri dönüş: “İki hizmet aynı INTID ister” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K925: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K923. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K925INTID sahip ve hedef kaydı · Gerçek konukta ürün kabulüPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Kaynak tek hizmete ve CPUya bağlanır.

Uygulanacak işlem: Tek ürün Image'ında “Hedef hizmet bir kez çağrılır” kabulünü koştur. scripts/os-acceptance/gic.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 tek hizmete ve CPUya bağlanır
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/gic.rs · os_gic_routing
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Timer PPI ve aygıt SPI
Karşı-örnek / hata girdisi: İki hizmet aynı INTID ister
Gerçek konuk kabulü: Hedef hizmet bir kez çağrılır
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/gic.rs
os_gic_routing_positive
os_gic_routing_negative
scripts/os-acceptance/gic.mjs
Geçiş koşulu: Hedef hizmet bir kez çağrı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üş: “İki hizmet aynı INTID ister” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K925: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K924. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K926Acknowledge ve EOI sırası · Sözleşme ve durum modeliPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Spurious değere EOI yapılmaz.

Uygulanacak işlem: “Acknowledge ve EOI sırası” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Spurious değere EOI yapılmaz. “SGI ardından 1023” kabulü ile “Bilinmeyen INTID maskesiz döner” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Spurious değere EOI yapılmaz
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/gic.rs · os_gic_ack
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: SGI ardından 1023
Karşı-örnek / hata girdisi: Bilinmeyen INTID maskesiz döner
Gerçek konuk kabulü: Mask readback EOI ERET sırası
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/gic.rs
os_gic_ack_positive
os_gic_ack_negative
scripts/os-acceptance/gic.mjs
Geçiş koşulu: Tür ve geçiş tablosu Spurious değere EOI yapılmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Bilinmeyen INTID maskesiz döner” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K930: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K925. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K927Acknowledge ve EOI sırası · Rust uygulaması ve sahiplikPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Spurious değere EOI yapılmaz.

Uygulanacak işlem: kernel/src/arch/aarch64/gic.rs hedefinde os_gic_ack yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/irq.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: Spurious değere EOI yapılmaz
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/gic.rs · os_gic_ack
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: SGI ardından 1023
Karşı-örnek / hata girdisi: Bilinmeyen INTID maskesiz döner
Gerçek konuk kabulü: Mask readback EOI ERET sırası
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/gic.rs
os_gic_ack_positive
os_gic_ack_negative
scripts/os-acceptance/gic.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. SGI ardından 1023 ile Bilinmeyen INTID maskesiz döner ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Bilinmeyen INTID maskesiz döner” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K930: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K926. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K928Acknowledge ve EOI sırası · Olumlu ve sınır birim testiPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Spurious değere EOI yapılmaz.

Uygulanacak işlem: os_gic_ack_positive testini oluştur: “SGI ardından 1023”. 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: Spurious değere EOI yapılmaz
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/gic.rs · os_gic_ack
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: SGI ardından 1023
Karşı-örnek / hata girdisi: Bilinmeyen INTID maskesiz döner
Gerçek konuk kabulü: Mask readback EOI ERET sırası
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/gic.rs
os_gic_ack_positive
os_gic_ack_negative
scripts/os-acceptance/gic.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; SGI ardından 1023 girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Bilinmeyen INTID maskesiz döner” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K930: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K927. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K929Acknowledge ve EOI sırası · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Spurious değere EOI yapılmaz.

Uygulanacak işlem: os_gic_ack_negative testini oluştur: “Bilinmeyen INTID maskesiz döner”. 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: Spurious değere EOI yapılmaz
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/gic.rs · os_gic_ack
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: SGI ardından 1023
Karşı-örnek / hata girdisi: Bilinmeyen INTID maskesiz döner
Gerçek konuk kabulü: Mask readback EOI ERET sırası
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/gic.rs
os_gic_ack_positive
os_gic_ack_negative
scripts/os-acceptance/gic.mjs
Geçiş koşulu: Bilinmeyen INTID maskesiz döner karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.
Başarısızlık ve geri dönüş: “Bilinmeyen INTID maskesiz döner” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K930: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K928. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K930Acknowledge ve EOI sırası · Gerçek konukta ürün kabulüPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Spurious değere EOI yapılmaz.

Uygulanacak işlem: Tek ürün Image'ında “Mask readback EOI ERET sırası” kabulünü koştur. scripts/os-acceptance/gic.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: Spurious değere EOI yapılmaz
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/gic.rs · os_gic_ack
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: SGI ardından 1023
Karşı-örnek / hata girdisi: Bilinmeyen INTID maskesiz döner
Gerçek konuk kabulü: Mask readback EOI ERET sırası
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/gic.rs
os_gic_ack_positive
os_gic_ack_negative
scripts/os-acceptance/gic.mjs
Geçiş koşulu: Mask readback EOI ERET sırası; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.
Başarısızlık ve geri dönüş: “Bilinmeyen INTID maskesiz döner” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K930: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K929. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K931IRQ fırtına bütçesi · Sözleşme ve durum modeliPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Bir giriş sınırsız kuyruk tüketmez.

Uygulanacak işlem: “IRQ fırtına bütçesi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Bir giriş sınırsız kuyruk tüketmez. “32 yoğun completion” kabulü ile “Sürekli interrupt kaynağı” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Bir giriş sınırsız kuyruk tüketmez
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/gic.rs · os_gic_budget
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: 32 yoğun completion
Karşı-örnek / hata girdisi: Sürekli interrupt kaynağı
Gerçek konuk kabulü: Ana döngü ve diğer görev ilerler
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/gic.rs
os_gic_budget_positive
os_gic_budget_negative
scripts/os-acceptance/gic.mjs
Geçiş koşulu: Tür ve geçiş tablosu Bir giriş sınırsız kuyruk tüketmez kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Sürekli interrupt kaynağı” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K935: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K930. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K932IRQ fırtına bütçesi · Rust uygulaması ve sahiplikPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Bir giriş sınırsız kuyruk tüketmez.

Uygulanacak işlem: kernel/src/arch/aarch64/gic.rs hedefinde os_gic_budget yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/irq.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: Bir giriş sınırsız kuyruk tüketmez
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/gic.rs · os_gic_budget
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: 32 yoğun completion
Karşı-örnek / hata girdisi: Sürekli interrupt kaynağı
Gerçek konuk kabulü: Ana döngü ve diğer görev ilerler
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/gic.rs
os_gic_budget_positive
os_gic_budget_negative
scripts/os-acceptance/gic.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. 32 yoğun completion ile Sürekli interrupt kaynağı ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Sürekli interrupt kaynağı” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K935: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K931. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K933IRQ fırtına bütçesi · Olumlu ve sınır birim testiPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Bir giriş sınırsız kuyruk tüketmez.

Uygulanacak işlem: os_gic_budget_positive testini oluştur: “32 yoğun completion”. 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: Bir giriş sınırsız kuyruk tüketmez
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/gic.rs · os_gic_budget
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: 32 yoğun completion
Karşı-örnek / hata girdisi: Sürekli interrupt kaynağı
Gerçek konuk kabulü: Ana döngü ve diğer görev ilerler
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/gic.rs
os_gic_budget_positive
os_gic_budget_negative
scripts/os-acceptance/gic.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; 32 yoğun completion girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Sürekli interrupt kaynağı” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K935: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K932. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K934IRQ fırtına bütçesi · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Bir giriş sınırsız kuyruk tüketmez.

Uygulanacak işlem: os_gic_budget_negative testini oluştur: “Sürekli interrupt kaynağı”. 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: Bir giriş sınırsız kuyruk tüketmez
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/gic.rs · os_gic_budget
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: 32 yoğun completion
Karşı-örnek / hata girdisi: Sürekli interrupt kaynağı
Gerçek konuk kabulü: Ana döngü ve diğer görev ilerler
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/gic.rs
os_gic_budget_positive
os_gic_budget_negative
scripts/os-acceptance/gic.mjs
Geçiş koşulu: Sürekli interrupt kaynağı karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.
Başarısızlık ve geri dönüş: “Sürekli interrupt kaynağı” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K935: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K933. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K935IRQ fırtına bütçesi · Gerçek konukta ürün kabulüPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Bir giriş sınırsız kuyruk tüketmez.

Uygulanacak işlem: Tek ürün Image'ında “Ana döngü ve diğer görev ilerler” kabulünü koştur. scripts/os-acceptance/gic.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: Bir giriş sınırsız kuyruk tüketmez
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/gic.rs · os_gic_budget
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: 32 yoğun completion
Karşı-örnek / hata girdisi: Sürekli interrupt kaynağı
Gerçek konuk kabulü: Ana döngü ve diğer görev ilerler
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/gic.rs
os_gic_budget_positive
os_gic_budget_negative
scripts/os-acceptance/gic.mjs
Geçiş koşulu: Ana döngü ve diğer görev ilerler; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.
Başarısızlık ve geri dönüş: “Sürekli interrupt kaynağı” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K935: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K934. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K936IRQ kaydını güvenli sökme · Sözleşme ve durum modeliPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Aktif handler bitmeden kaynak free olmaz.

Uygulanacak işlem: “IRQ kaydını güvenli sökme” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Aktif handler bitmeden kaynak free olmaz. “Aygıt kapatılırken IRQ” kabulü ile “Ölü callback yeniden çağrılır” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Aktif handler bitmeden kaynak free olmaz
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/gic.rs · os_gic_teardown
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Aygıt kapatılırken IRQ
Karşı-örnek / hata girdisi: Ölü callback yeniden çağrılır
Gerçek konuk kabulü: Son handler sonrası tek serbest bırakma
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/gic.rs
os_gic_teardown_positive
os_gic_teardown_negative
scripts/os-acceptance/gic.mjs
Geçiş koşulu: Tür ve geçiş tablosu Aktif handler bitmeden kaynak free olmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Ölü callback yeniden çağrı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/K940: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K935. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K937IRQ kaydını güvenli sökme · Rust uygulaması ve sahiplikPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Aktif handler bitmeden kaynak free olmaz.

Uygulanacak işlem: kernel/src/arch/aarch64/gic.rs hedefinde os_gic_teardown yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/irq.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: Aktif handler bitmeden kaynak free olmaz
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/gic.rs · os_gic_teardown
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Aygıt kapatılırken IRQ
Karşı-örnek / hata girdisi: Ölü callback yeniden çağrılır
Gerçek konuk kabulü: Son handler sonrası tek serbest bırakma
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/gic.rs
os_gic_teardown_positive
os_gic_teardown_negative
scripts/os-acceptance/gic.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Aygıt kapatılırken IRQ ile Ölü callback yeniden çağrılır ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Ölü callback yeniden çağrı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/K940: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K936. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K938IRQ kaydını güvenli sökme · Olumlu ve sınır birim testiPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Aktif handler bitmeden kaynak free olmaz.

Uygulanacak işlem: os_gic_teardown_positive testini oluştur: “Aygıt kapatılırken IRQ”. 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: Aktif handler bitmeden kaynak free olmaz
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/gic.rs · os_gic_teardown
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Aygıt kapatılırken IRQ
Karşı-örnek / hata girdisi: Ölü callback yeniden çağrılır
Gerçek konuk kabulü: Son handler sonrası tek serbest bırakma
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/gic.rs
os_gic_teardown_positive
os_gic_teardown_negative
scripts/os-acceptance/gic.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Aygıt kapatılırken IRQ girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Ölü callback yeniden çağrı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/K940: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K937. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K939IRQ kaydını güvenli sökme · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Aktif handler bitmeden kaynak free olmaz.

Uygulanacak işlem: os_gic_teardown_negative testini oluştur: “Ölü callback yeniden çağrı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: Aktif handler bitmeden kaynak free olmaz
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/gic.rs · os_gic_teardown
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Aygıt kapatılırken IRQ
Karşı-örnek / hata girdisi: Ölü callback yeniden çağrılır
Gerçek konuk kabulü: Son handler sonrası tek serbest bırakma
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/gic.rs
os_gic_teardown_positive
os_gic_teardown_negative
scripts/os-acceptance/gic.mjs
Geçiş koşulu: Ölü callback yeniden çağrı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üş: “Ölü callback yeniden çağrı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/K940: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K938. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K940IRQ kaydını güvenli sökme · Gerçek konukta ürün kabulüPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Aktif handler bitmeden kaynak free olmaz.

Uygulanacak işlem: Tek ürün Image'ında “Son handler sonrası tek serbest bırakma” kabulünü koştur. scripts/os-acceptance/gic.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: Aktif handler bitmeden kaynak free olmaz
Kod hedefi — henüz öneri: kernel/src/arch/aarch64/gic.rs · os_gic_teardown
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Aygıt kapatılırken IRQ
Karşı-örnek / hata girdisi: Ölü callback yeniden çağrılır
Gerçek konuk kabulü: Son handler sonrası tek serbest bırakma
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/gic.rs
os_gic_teardown_positive
os_gic_teardown_negative
scripts/os-acceptance/gic.mjs
Geçiş koşulu: Son handler sonrası tek serbest bırakma; 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üş: “Ölü callback yeniden çağrı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/K940: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K939. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

Kernel Rust · K941–K960

Monoton zaman ve timer

Dört yetenek: Sayaç frekansı sözleşmesi · Mutlak deadline modeli · Atlanan tick muhasebesi · Timer iptal ve nesil. Her yetenek için kod ve iki testin ardından aynı ürün Image'ında konuk kabulü gerekir.

K941Sayaç frekansı sözleşmesi · Sözleşme ve durum modeliPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Sıfır frekans ve çarpım taşması reddedilir.

Uygulanacak işlem: “Sayaç frekansı sözleşmesi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Sıfır frekans ve çarpım taşması reddedilir. “Bilinen CNTFRQ ve tick” kabulü ile “u64 maksimum süre” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Sıfır frekans ve çarpım taşması reddedilir
Kod hedefi — henüz öneri: kernel/src/runtime/clock.rs · os_clock_frequency
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bilinen CNTFRQ ve tick
Karşı-örnek / hata girdisi: u64 maksimum süre
Gerçek konuk kabulü: Dönüşüm taşmasız ve monoton
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/clock.rs
os_clock_frequency_positive
os_clock_frequency_negative
scripts/os-acceptance/clock.mjs
Geçiş koşulu: Tür ve geçiş tablosu Sıfır frekans ve çarpım taşması reddedilir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “u64 maksimum süre” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K945: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K940. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K942Sayaç frekansı sözleşmesi · Rust uygulaması ve sahiplikPLAN / SINANMADI

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

K943Sayaç frekansı sözleşmesi · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_clock_frequency_positive testini oluştur: “Bilinen CNTFRQ ve tick”. 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ıfır frekans ve çarpım taşması reddedilir
Kod hedefi — henüz öneri: kernel/src/runtime/clock.rs · os_clock_frequency
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bilinen CNTFRQ ve tick
Karşı-örnek / hata girdisi: u64 maksimum süre
Gerçek konuk kabulü: Dönüşüm taşmasız ve monoton
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/clock.rs
os_clock_frequency_positive
os_clock_frequency_negative
scripts/os-acceptance/clock.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Bilinen CNTFRQ ve tick girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “u64 maksimum süre” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K945: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K942. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K944Sayaç frekansı sözleşmesi · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_clock_frequency_negative testini oluştur: “u64 maksimum süre”. 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ıfır frekans ve çarpım taşması reddedilir
Kod hedefi — henüz öneri: kernel/src/runtime/clock.rs · os_clock_frequency
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bilinen CNTFRQ ve tick
Karşı-örnek / hata girdisi: u64 maksimum süre
Gerçek konuk kabulü: Dönüşüm taşmasız ve monoton
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/clock.rs
os_clock_frequency_positive
os_clock_frequency_negative
scripts/os-acceptance/clock.mjs
Geçiş koşulu: u64 maksimum süre 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üş: “u64 maksimum süre” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K945: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K943. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K945Sayaç frekansı sözleşmesi · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “Dönüşüm taşmasız ve monoton” kabulünü koştur. scripts/os-acceptance/clock.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ıfır frekans ve çarpım taşması reddedilir
Kod hedefi — henüz öneri: kernel/src/runtime/clock.rs · os_clock_frequency
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bilinen CNTFRQ ve tick
Karşı-örnek / hata girdisi: u64 maksimum süre
Gerçek konuk kabulü: Dönüşüm taşmasız ve monoton
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/clock.rs
os_clock_frequency_positive
os_clock_frequency_negative
scripts/os-acceptance/clock.mjs
Geçiş koşulu: Dönüşüm taşmasız ve monoton; 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üş: “u64 maksimum süre” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K945: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K944. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K946Mutlak deadline modeli · Sözleşme ve durum modeliPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Geçmiş deadline sarmalanıp geleceğe kaçmaz.

Uygulanacak işlem: “Mutlak deadline modeli” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Geçmiş deadline sarmalanıp geleceğe kaçmaz. “Şimdi ve gelecekte iki timer” kabulü ile “Sayaç rollover sınırı” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Geçmiş deadline sarmalanıp geleceğe kaçmaz
Kod hedefi — henüz öneri: kernel/src/runtime/clock.rs · os_clock_deadlines
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Şimdi ve gelecekte iki timer
Karşı-örnek / hata girdisi: Sayaç rollover sınırı
Gerçek konuk kabulü: Bekleyen görev doğru sırada uyanır
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/clock.rs
os_clock_deadlines_positive
os_clock_deadlines_negative
scripts/os-acceptance/clock.mjs
Geçiş koşulu: Tür ve geçiş tablosu Geçmiş deadline sarmalanıp geleceğe kaçmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Sayaç rollover sını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/K950: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K945. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K947Mutlak deadline modeli · Rust uygulaması ve sahiplikPLAN / SINANMADI

Uygulanacak işlem: kernel/src/runtime/clock.rs hedefinde os_clock_deadlines yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/irq.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.
Değişmez / korunan bağlam: Geçmiş deadline sarmalanıp geleceğe kaçmaz
Kod hedefi — henüz öneri: kernel/src/runtime/clock.rs · os_clock_deadlines
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Şimdi ve gelecekte iki timer
Karşı-örnek / hata girdisi: Sayaç rollover sınırı
Gerçek konuk kabulü: Bekleyen görev doğru sırada uyanır
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/clock.rs
os_clock_deadlines_positive
os_clock_deadlines_negative
scripts/os-acceptance/clock.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Şimdi ve gelecekte iki timer ile Sayaç rollover sınırı ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Sayaç rollover sını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/K950: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K946. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K948Mutlak deadline modeli · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_clock_deadlines_positive testini oluştur: “Şimdi ve gelecekte iki timer”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.
Değişmez / korunan bağlam: Geçmiş deadline sarmalanıp geleceğe kaçmaz
Kod hedefi — henüz öneri: kernel/src/runtime/clock.rs · os_clock_deadlines
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Şimdi ve gelecekte iki timer
Karşı-örnek / hata girdisi: Sayaç rollover sınırı
Gerçek konuk kabulü: Bekleyen görev doğru sırada uyanır
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/clock.rs
os_clock_deadlines_positive
os_clock_deadlines_negative
scripts/os-acceptance/clock.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Şimdi ve gelecekte iki timer girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Sayaç rollover sını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/K950: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K947. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K949Mutlak deadline modeli · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_clock_deadlines_negative testini oluştur: “Sayaç rollover sını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: Geçmiş deadline sarmalanıp geleceğe kaçmaz
Kod hedefi — henüz öneri: kernel/src/runtime/clock.rs · os_clock_deadlines
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Şimdi ve gelecekte iki timer
Karşı-örnek / hata girdisi: Sayaç rollover sınırı
Gerçek konuk kabulü: Bekleyen görev doğru sırada uyanır
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/clock.rs
os_clock_deadlines_positive
os_clock_deadlines_negative
scripts/os-acceptance/clock.mjs
Geçiş koşulu: Sayaç rollover sını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üş: “Sayaç rollover sını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/K950: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K948. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K950Mutlak deadline modeli · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “Bekleyen görev doğru sırada uyanır” kabulünü koştur. scripts/os-acceptance/clock.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.
Değişmez / korunan bağlam: Geçmiş deadline sarmalanıp geleceğe kaçmaz
Kod hedefi — henüz öneri: kernel/src/runtime/clock.rs · os_clock_deadlines
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Şimdi ve gelecekte iki timer
Karşı-örnek / hata girdisi: Sayaç rollover sınırı
Gerçek konuk kabulü: Bekleyen görev doğru sırada uyanır
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/clock.rs
os_clock_deadlines_positive
os_clock_deadlines_negative
scripts/os-acceptance/clock.mjs
Geçiş koşulu: Bekleyen görev doğru sırada uyanı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üş: “Sayaç rollover sını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/K950: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K949. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K951Atlanan tick muhasebesi · Sözleşme ve durum modeliPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Atlanan periyot başarı diye silinmez.

Uygulanacak işlem: “Atlanan tick muhasebesi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Atlanan periyot başarı diye silinmez. “Gecikmiş IRQ teslimi” kabulü ile “Bir teslim iki tick sayılır” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Atlanan periyot başarı diye silinmez
Kod hedefi — henüz öneri: kernel/src/runtime/clock.rs · os_clock_missed
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Gecikmiş IRQ teslimi
Karşı-örnek / hata girdisi: Bir teslim iki tick sayılır
Gerçek konuk kabulü: Elapsed tick ve kayıp ayrı rapor
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/clock.rs
os_clock_missed_positive
os_clock_missed_negative
scripts/os-acceptance/clock.mjs
Geçiş koşulu: Tür ve geçiş tablosu Atlanan periyot başarı diye silinmez kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Bir teslim iki tick 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/K955: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K950. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K952Atlanan tick muhasebesi · Rust uygulaması ve sahiplikPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Atlanan periyot başarı diye silinmez.

Uygulanacak işlem: kernel/src/runtime/clock.rs hedefinde os_clock_missed yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/irq.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: Atlanan periyot başarı diye silinmez
Kod hedefi — henüz öneri: kernel/src/runtime/clock.rs · os_clock_missed
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Gecikmiş IRQ teslimi
Karşı-örnek / hata girdisi: Bir teslim iki tick sayılır
Gerçek konuk kabulü: Elapsed tick ve kayıp ayrı rapor
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/clock.rs
os_clock_missed_positive
os_clock_missed_negative
scripts/os-acceptance/clock.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Gecikmiş IRQ teslimi ile Bir teslim iki tick sayılır ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Bir teslim iki tick 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/K955: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K951. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K953Atlanan tick muhasebesi · Olumlu ve sınır birim testiPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Atlanan periyot başarı diye silinmez.

Uygulanacak işlem: os_clock_missed_positive testini oluştur: “Gecikmiş IRQ teslimi”. 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: Atlanan periyot başarı diye silinmez
Kod hedefi — henüz öneri: kernel/src/runtime/clock.rs · os_clock_missed
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Gecikmiş IRQ teslimi
Karşı-örnek / hata girdisi: Bir teslim iki tick sayılır
Gerçek konuk kabulü: Elapsed tick ve kayıp ayrı rapor
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/clock.rs
os_clock_missed_positive
os_clock_missed_negative
scripts/os-acceptance/clock.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Gecikmiş IRQ teslimi girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Bir teslim iki tick 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/K955: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K952. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K954Atlanan tick muhasebesi · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Atlanan periyot başarı diye silinmez.

Uygulanacak işlem: os_clock_missed_negative testini oluştur: “Bir teslim iki tick 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: Atlanan periyot başarı diye silinmez
Kod hedefi — henüz öneri: kernel/src/runtime/clock.rs · os_clock_missed
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Gecikmiş IRQ teslimi
Karşı-örnek / hata girdisi: Bir teslim iki tick sayılır
Gerçek konuk kabulü: Elapsed tick ve kayıp ayrı rapor
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/clock.rs
os_clock_missed_positive
os_clock_missed_negative
scripts/os-acceptance/clock.mjs
Geçiş koşulu: Bir teslim iki tick 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üş: “Bir teslim iki tick 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/K955: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K953. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K955Atlanan tick muhasebesi · Gerçek konukta ürün kabulüPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Atlanan periyot başarı diye silinmez.

Uygulanacak işlem: Tek ürün Image'ında “Elapsed tick ve kayıp ayrı rapor” kabulünü koştur. scripts/os-acceptance/clock.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: Atlanan periyot başarı diye silinmez
Kod hedefi — henüz öneri: kernel/src/runtime/clock.rs · os_clock_missed
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Gecikmiş IRQ teslimi
Karşı-örnek / hata girdisi: Bir teslim iki tick sayılır
Gerçek konuk kabulü: Elapsed tick ve kayıp ayrı rapor
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/clock.rs
os_clock_missed_positive
os_clock_missed_negative
scripts/os-acceptance/clock.mjs
Geçiş koşulu: Elapsed tick ve kayıp ayrı rapor; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.
Başarısızlık ve geri dönüş: “Bir teslim iki tick 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/K955: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K954. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K956Timer iptal ve nesil · Sözleşme ve durum modeliPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: İptal edilmiş nesil callback alamaz.

Uygulanacak işlem: “Timer iptal ve nesil” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: İptal edilmiş nesil callback alamaz. “İptal sonra aynı slot yeniden kurulur” kabulü ile “Eski expiry yeni timerı tetikler” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: İptal edilmiş nesil callback alamaz
Kod hedefi — henüz öneri: kernel/src/runtime/clock.rs · os_clock_cancel
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İptal sonra aynı slot yeniden kurulur
Karşı-örnek / hata girdisi: Eski expiry yeni timerı tetikler
Gerçek konuk kabulü: Yeni timer yalnız kendi deadlineında
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/clock.rs
os_clock_cancel_positive
os_clock_cancel_negative
scripts/os-acceptance/clock.mjs
Geçiş koşulu: Tür ve geçiş tablosu İptal edilmiş nesil callback alamaz 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 expiry yeni timerı tetikler” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K960: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K955. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K957Timer iptal ve nesil · Rust uygulaması ve sahiplikPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: İptal edilmiş nesil callback alamaz.

Uygulanacak işlem: kernel/src/runtime/clock.rs hedefinde os_clock_cancel yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/irq.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: İptal edilmiş nesil callback alamaz
Kod hedefi — henüz öneri: kernel/src/runtime/clock.rs · os_clock_cancel
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İptal sonra aynı slot yeniden kurulur
Karşı-örnek / hata girdisi: Eski expiry yeni timerı tetikler
Gerçek konuk kabulü: Yeni timer yalnız kendi deadlineında
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/clock.rs
os_clock_cancel_positive
os_clock_cancel_negative
scripts/os-acceptance/clock.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İptal sonra aynı slot yeniden kurulur ile Eski expiry yeni timerı tetikler ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Eski expiry yeni timerı tetikler” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K960: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K956. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K958Timer iptal ve nesil · Olumlu ve sınır birim testiPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: İptal edilmiş nesil callback alamaz.

Uygulanacak işlem: os_clock_cancel_positive testini oluştur: “İptal sonra aynı slot yeniden kurulur”. 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: İptal edilmiş nesil callback alamaz
Kod hedefi — henüz öneri: kernel/src/runtime/clock.rs · os_clock_cancel
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İptal sonra aynı slot yeniden kurulur
Karşı-örnek / hata girdisi: Eski expiry yeni timerı tetikler
Gerçek konuk kabulü: Yeni timer yalnız kendi deadlineında
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/clock.rs
os_clock_cancel_positive
os_clock_cancel_negative
scripts/os-acceptance/clock.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; İptal sonra aynı slot yeniden kurulur girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Eski expiry yeni timerı tetikler” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K960: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K957. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K959Timer iptal ve nesil · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: İptal edilmiş nesil callback alamaz.

Uygulanacak işlem: os_clock_cancel_negative testini oluştur: “Eski expiry yeni timerı tetikler”. 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: İptal edilmiş nesil callback alamaz
Kod hedefi — henüz öneri: kernel/src/runtime/clock.rs · os_clock_cancel
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İptal sonra aynı slot yeniden kurulur
Karşı-örnek / hata girdisi: Eski expiry yeni timerı tetikler
Gerçek konuk kabulü: Yeni timer yalnız kendi deadlineında
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/clock.rs
os_clock_cancel_positive
os_clock_cancel_negative
scripts/os-acceptance/clock.mjs
Geçiş koşulu: Eski expiry yeni timerı tetikler 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 expiry yeni timerı tetikler” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K960: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K958. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K960Timer iptal ve nesil · Gerçek konukta ürün kabulüPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: İptal edilmiş nesil callback alamaz.

Uygulanacak işlem: Tek ürün Image'ında “Yeni timer yalnız kendi deadlineında” kabulünü koştur. scripts/os-acceptance/clock.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: İptal edilmiş nesil callback alamaz
Kod hedefi — henüz öneri: kernel/src/runtime/clock.rs · os_clock_cancel
Mevcut başlangıç referansı: kernel/src/irq.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İptal sonra aynı slot yeniden kurulur
Karşı-örnek / hata girdisi: Eski expiry yeni timerı tetikler
Gerçek konuk kabulü: Yeni timer yalnız kendi deadlineında
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/clock.rs
os_clock_cancel_positive
os_clock_cancel_negative
scripts/os-acceptance/clock.mjs
Geçiş koşulu: Yeni timer yalnız kendi deadlineında; 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 expiry yeni timerı tetikler” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K960: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K959. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

Kernel Rust · K961–K980

Kernel kilit bağlamları

Dört yetenek: IRQ save restore guard · Sahipli spin kilidi · Uyuyabilen kernel mutex · Kilit sırası grafiği. Her yetenek için kod ve iki testin ardından aynı ürün Image'ında konuk kabulü gerekir.

K961IRQ save restore guard · Sözleşme ve durum modeliPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Çıkış önceki DAIF değerini geri getirir.

Uygulanacak işlem: “IRQ save restore guard” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Çıkış önceki DAIF değerini geri getirir. “İç içe iki guard” kabulü ile “İkinci guard IRQyu erken açar” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Çıkış önceki DAIF değerini geri getirir
Kod hedefi — henüz öneri: kernel/src/runtime/locking.rs · os_locking_irq_guard
Mevcut başlangıç referansı: kernel/src/memory.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İç içe iki guard
Karşı-örnek / hata girdisi: İkinci guard IRQyu erken açar
Gerçek konuk kabulü: Dış guard bitene kadar IRQ maskeli
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/locking.rs
os_locking_irq_guard_positive
os_locking_irq_guard_negative
scripts/os-acceptance/locking.mjs
Geçiş koşulu: Tür ve geçiş tablosu Çıkış önceki DAIF değerini geri getirir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “İkinci guard IRQyu erken açar” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K965: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K960. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K962IRQ save restore guard · Rust uygulaması ve sahiplikPLAN / SINANMADI

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

K963IRQ save restore guard · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_locking_irq_guard_positive testini oluştur: “İç içe iki guard”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.
Değişmez / korunan bağlam: Çıkış önceki DAIF değerini geri getirir
Kod hedefi — henüz öneri: kernel/src/runtime/locking.rs · os_locking_irq_guard
Mevcut başlangıç referansı: kernel/src/memory.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İç içe iki guard
Karşı-örnek / hata girdisi: İkinci guard IRQyu erken açar
Gerçek konuk kabulü: Dış guard bitene kadar IRQ maskeli
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/locking.rs
os_locking_irq_guard_positive
os_locking_irq_guard_negative
scripts/os-acceptance/locking.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; İç içe iki guard girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “İkinci guard IRQyu erken açar” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K965: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K962. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K964IRQ save restore guard · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_locking_irq_guard_negative testini oluştur: “İkinci guard IRQyu erken açar”. Düzeltme olmadan bu karşı-örneğin sözleşmeyi bozduğunu göster; yamadan sonra açık ret ve değişmeyen sahiplik kanıtını arşivle. Başarısızlıkta kısmi edinimleri geri al.
Değişmez / korunan bağlam: Çıkış önceki DAIF değerini geri getirir
Kod hedefi — henüz öneri: kernel/src/runtime/locking.rs · os_locking_irq_guard
Mevcut başlangıç referansı: kernel/src/memory.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İç içe iki guard
Karşı-örnek / hata girdisi: İkinci guard IRQyu erken açar
Gerçek konuk kabulü: Dış guard bitene kadar IRQ maskeli
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/locking.rs
os_locking_irq_guard_positive
os_locking_irq_guard_negative
scripts/os-acceptance/locking.mjs
Geçiş koşulu: İkinci guard IRQyu erken açar 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üş: “İkinci guard IRQyu erken açar” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K965: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K963. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K965IRQ save restore guard · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “Dış guard bitene kadar IRQ maskeli” kabulünü koştur. scripts/os-acceptance/locking.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.
Değişmez / korunan bağlam: Çıkış önceki DAIF değerini geri getirir
Kod hedefi — henüz öneri: kernel/src/runtime/locking.rs · os_locking_irq_guard
Mevcut başlangıç referansı: kernel/src/memory.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İç içe iki guard
Karşı-örnek / hata girdisi: İkinci guard IRQyu erken açar
Gerçek konuk kabulü: Dış guard bitene kadar IRQ maskeli
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/locking.rs
os_locking_irq_guard_positive
os_locking_irq_guard_negative
scripts/os-acceptance/locking.mjs
Geçiş koşulu: Dış guard bitene kadar IRQ maskeli; 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üş: “İkinci guard IRQyu erken açar” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K965: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K964. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K966Sahipli spin kilidi · Sözleşme ve durum modeliPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Kilit sahibinde uyuma ve recursion yasaktır.

Uygulanacak işlem: “Sahipli spin kilidi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Kilit sahibinde uyuma ve recursion yasaktır. “İki gerçek CPU talebi” kabulü ile “Aynı CPU yeniden lock ister” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Kilit sahibinde uyuma ve recursion yasaktır
Kod hedefi — henüz öneri: kernel/src/runtime/locking.rs · os_locking_spin
Mevcut başlangıç referansı: kernel/src/memory.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İki gerçek CPU talebi
Karşı-örnek / hata girdisi: Aynı CPU yeniden lock ister
Gerçek konuk kabulü: Deadlock yerine açık tanı
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/locking.rs
os_locking_spin_positive
os_locking_spin_negative
scripts/os-acceptance/locking.mjs
Geçiş koşulu: Tür ve geçiş tablosu Kilit sahibinde uyuma ve recursion yasaktır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Aynı CPU yeniden lock ister” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K970: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K965. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K967Sahipli spin kilidi · Rust uygulaması ve sahiplikPLAN / SINANMADI

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

K968Sahipli spin kilidi · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_locking_spin_positive testini oluştur: “İki gerçek CPU talebi”. 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: Kilit sahibinde uyuma ve recursion yasaktır
Kod hedefi — henüz öneri: kernel/src/runtime/locking.rs · os_locking_spin
Mevcut başlangıç referansı: kernel/src/memory.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İki gerçek CPU talebi
Karşı-örnek / hata girdisi: Aynı CPU yeniden lock ister
Gerçek konuk kabulü: Deadlock yerine açık tanı
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/locking.rs
os_locking_spin_positive
os_locking_spin_negative
scripts/os-acceptance/locking.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; İki gerçek CPU talebi girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Aynı CPU yeniden lock ister” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K970: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K967. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K969Sahipli spin kilidi · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

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

K970Sahipli spin kilidi · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “Deadlock yerine açık tanı” kabulünü koştur. scripts/os-acceptance/locking.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: Kilit sahibinde uyuma ve recursion yasaktır
Kod hedefi — henüz öneri: kernel/src/runtime/locking.rs · os_locking_spin
Mevcut başlangıç referansı: kernel/src/memory.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İki gerçek CPU talebi
Karşı-örnek / hata girdisi: Aynı CPU yeniden lock ister
Gerçek konuk kabulü: Deadlock yerine açık tanı
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/locking.rs
os_locking_spin_positive
os_locking_spin_negative
scripts/os-acceptance/locking.mjs
Geçiş koşulu: Deadlock yerine açık tanı; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.
Başarısızlık ve geri dönüş: “Aynı CPU yeniden lock ister” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K970: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K969. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K971Uyuyabilen kernel mutex · Sözleşme ve durum modeliPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Mutex yalnız task bağlamında bekler.

Uygulanacak işlem: “Uyuyabilen kernel mutex” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Mutex yalnız task bağlamında bekler. “İki görev tek kaynak” kabulü ile “IRQ handler mutex bekler” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Mutex yalnız task bağlamında bekler
Kod hedefi — henüz öneri: kernel/src/runtime/locking.rs · os_locking_mutex
Mevcut başlangıç referansı: kernel/src/memory.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İki görev tek kaynak
Karşı-örnek / hata girdisi: IRQ handler mutex bekler
Gerçek konuk kabulü: IRQ açık hata task adil devam
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/locking.rs
os_locking_mutex_positive
os_locking_mutex_negative
scripts/os-acceptance/locking.mjs
Geçiş koşulu: Tür ve geçiş tablosu Mutex yalnız task bağlamında bekler kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “IRQ handler mutex bekler” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K975: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K970. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K972Uyuyabilen kernel mutex · Rust uygulaması ve sahiplikPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Mutex yalnız task bağlamında bekler.

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

K973Uyuyabilen kernel mutex · Olumlu ve sınır birim testiPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Mutex yalnız task bağlamında bekler.

Uygulanacak işlem: os_locking_mutex_positive testini oluştur: “İki görev tek kaynak”. 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: Mutex yalnız task bağlamında bekler
Kod hedefi — henüz öneri: kernel/src/runtime/locking.rs · os_locking_mutex
Mevcut başlangıç referansı: kernel/src/memory.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İki görev tek kaynak
Karşı-örnek / hata girdisi: IRQ handler mutex bekler
Gerçek konuk kabulü: IRQ açık hata task adil devam
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/locking.rs
os_locking_mutex_positive
os_locking_mutex_negative
scripts/os-acceptance/locking.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; İki görev tek kaynak girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “IRQ handler mutex bekler” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K975: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K972. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K974Uyuyabilen kernel mutex · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Mutex yalnız task bağlamında bekler.

Uygulanacak işlem: os_locking_mutex_negative testini oluştur: “IRQ handler mutex bekler”. 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: Mutex yalnız task bağlamında bekler
Kod hedefi — henüz öneri: kernel/src/runtime/locking.rs · os_locking_mutex
Mevcut başlangıç referansı: kernel/src/memory.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İki görev tek kaynak
Karşı-örnek / hata girdisi: IRQ handler mutex bekler
Gerçek konuk kabulü: IRQ açık hata task adil devam
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/locking.rs
os_locking_mutex_positive
os_locking_mutex_negative
scripts/os-acceptance/locking.mjs
Geçiş koşulu: IRQ handler mutex bekler 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üş: “IRQ handler mutex bekler” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K975: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K973. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K975Uyuyabilen kernel mutex · Gerçek konukta ürün kabulüPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Mutex yalnız task bağlamında bekler.

Uygulanacak işlem: Tek ürün Image'ında “IRQ açık hata task adil devam” kabulünü koştur. scripts/os-acceptance/locking.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: Mutex yalnız task bağlamında bekler
Kod hedefi — henüz öneri: kernel/src/runtime/locking.rs · os_locking_mutex
Mevcut başlangıç referansı: kernel/src/memory.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: İki görev tek kaynak
Karşı-örnek / hata girdisi: IRQ handler mutex bekler
Gerçek konuk kabulü: IRQ açık hata task adil devam
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/locking.rs
os_locking_mutex_positive
os_locking_mutex_negative
scripts/os-acceptance/locking.mjs
Geçiş koşulu: IRQ açık hata task adil devam; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.
Başarısızlık ve geri dönüş: “IRQ handler mutex bekler” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K975: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K974. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K976Kilit sırası grafiği · Sözleşme ve durum modeliPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Döngüsel edinim debug kapıda reddedilir.

Uygulanacak işlem: “Kilit sırası grafiği” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Döngüsel edinim debug kapıda reddedilir. “Memory sonra process” kabulü ile “Process sonra memory inversion” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Döngüsel edinim debug kapıda reddedilir
Kod hedefi — henüz öneri: kernel/src/runtime/locking.rs · os_locking_ordering
Mevcut başlangıç referansı: kernel/src/memory.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Memory sonra process
Karşı-örnek / hata girdisi: Process sonra memory inversion
Gerçek konuk kabulü: Tanı kilit kimliklerini kaydeder
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/locking.rs
os_locking_ordering_positive
os_locking_ordering_negative
scripts/os-acceptance/locking.mjs
Geçiş koşulu: Tür ve geçiş tablosu Döngüsel edinim debug kapıda reddedilir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Process sonra memory inversion” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K980: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K975. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K977Kilit sırası grafiği · Rust uygulaması ve sahiplikPLAN / SINANMADI

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

K978Kilit sırası grafiği · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_locking_ordering_positive testini oluştur: “Memory sonra process”. 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öngüsel edinim debug kapıda reddedilir
Kod hedefi — henüz öneri: kernel/src/runtime/locking.rs · os_locking_ordering
Mevcut başlangıç referansı: kernel/src/memory.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Memory sonra process
Karşı-örnek / hata girdisi: Process sonra memory inversion
Gerçek konuk kabulü: Tanı kilit kimliklerini kaydeder
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/locking.rs
os_locking_ordering_positive
os_locking_ordering_negative
scripts/os-acceptance/locking.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Memory sonra process girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Process sonra memory inversion” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K980: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K977. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K979Kilit sırası grafiği · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_locking_ordering_negative testini oluştur: “Process sonra memory inversion”. 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öngüsel edinim debug kapıda reddedilir
Kod hedefi — henüz öneri: kernel/src/runtime/locking.rs · os_locking_ordering
Mevcut başlangıç referansı: kernel/src/memory.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Memory sonra process
Karşı-örnek / hata girdisi: Process sonra memory inversion
Gerçek konuk kabulü: Tanı kilit kimliklerini kaydeder
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/locking.rs
os_locking_ordering_positive
os_locking_ordering_negative
scripts/os-acceptance/locking.mjs
Geçiş koşulu: Process sonra memory inversion 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üş: “Process sonra memory inversion” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K980: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K978. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K980Kilit sırası grafiği · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “Tanı kilit kimliklerini kaydeder” kabulünü koştur. scripts/os-acceptance/locking.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öngüsel edinim debug kapıda reddedilir
Kod hedefi — henüz öneri: kernel/src/runtime/locking.rs · os_locking_ordering
Mevcut başlangıç referansı: kernel/src/memory.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Memory sonra process
Karşı-örnek / hata girdisi: Process sonra memory inversion
Gerçek konuk kabulü: Tanı kilit kimliklerini kaydeder
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/locking.rs
os_locking_ordering_positive
os_locking_ordering_negative
scripts/os-acceptance/locking.mjs
Geçiş koşulu: Tanı kilit kimliklerini kaydeder; 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üş: “Process sonra memory inversion” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K980: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K979. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

Kernel Rust · K981–K1000

IRQ sonrası iş hizmeti

Dört yetenek: Sabit deferred iş kuyruğu · Üst yarı alt yarı ayrımı · Tekrarlanan iş birleştirme · Hizmet kapatma ve drain. Her yetenek için kod ve iki testin ardından aynı ürün Image'ında konuk kabulü gerekir.

K981Sabit deferred iş kuyruğu · Sözleşme ve durum modeliPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Kuyruk doluluğu açık muhasebedir.

Uygulanacak işlem: “Sabit deferred iş kuyruğu” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Kuyruk doluluğu açık muhasebedir. “Sekiz iş ve tüketim” kabulü ile “Dokuzuncu iş” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Kuyruk doluluğu açık muhasebedir
Kod hedefi — henüz öneri: kernel/src/runtime/deferred_work.rs · os_deferred_work_queue
Mevcut başlangıç referansı: kernel/src/task.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Sekiz iş ve tüketim
Karşı-örnek / hata girdisi: Dokuzuncu iş
Gerçek konuk kabulü: Kaybı sayılır diğer işler korunur
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/deferred_work.rs
os_deferred_work_queue_positive
os_deferred_work_queue_negative
scripts/os-acceptance/deferred_work.mjs
Geçiş koşulu: Tür ve geçiş tablosu Kuyruk doluluğu açık muhasebedir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Dokuzuncu iş” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K985: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K980. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K982Sabit deferred iş kuyruğu · Rust uygulaması ve sahiplikPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Kuyruk doluluğu açık muhasebedir.

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

K983Sabit deferred iş kuyruğu · Olumlu ve sınır birim testiPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Kuyruk doluluğu açık muhasebedir.

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

K984Sabit deferred iş kuyruğu · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Kuyruk doluluğu açık muhasebedir.

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

K985Sabit deferred iş kuyruğu · Gerçek konukta ürün kabulüPLAN / SINANMADI

Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır. Bu hamlenin koruduğu değişmez: Kuyruk doluluğu açık muhasebedir.

Uygulanacak işlem: Tek ürün Image'ında “Kaybı sayılır diğer işler korunur” kabulünü koştur. scripts/os-acceptance/deferred_work.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: Kuyruk doluluğu açık muhasebedir
Kod hedefi — henüz öneri: kernel/src/runtime/deferred_work.rs · os_deferred_work_queue
Mevcut başlangıç referansı: kernel/src/task.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Sekiz iş ve tüketim
Karşı-örnek / hata girdisi: Dokuzuncu iş
Gerçek konuk kabulü: Kaybı sayılır diğer işler korunur
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/deferred_work.rs
os_deferred_work_queue_positive
os_deferred_work_queue_negative
scripts/os-acceptance/deferred_work.mjs
Geçiş koşulu: Kaybı sayılır diğer işler 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üş: “Dokuzuncu iş” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K985: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K984. Ayrıca faz 3 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K986Üst yarı alt yarı ayrımı · Sözleşme ve durum modeliPLAN / SINANMADI