Konuk grafik girdi ve erişilebilirlik

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: GPU absent yolu seri açılışı bozmaz.

Uygulanacak işlem

“GPU feature ve display info” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: GPU absent yolu seri açılışı bozmaz. “Bir virtio GPU aygıtı” kabulü ile “GPU yok veya feature eksik” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

GPU absent yolu seri açılışı bozmaz

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_gpu.rs · os_virtio_gpu_discovery

Mevcut başlangıç referansı

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

Olumlu deney

Bir virtio GPU aygıtı

Karşı-örnek / hata girdisi

GPU yok veya feature eksik

Gerçek konuk kabulü

Headless runtime çalışmaya devam

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

kernel/tests/os/virtio_gpu.rs
os_virtio_gpu_discovery_positive
os_virtio_gpu_discovery_negative
scripts/os-acceptance/virtio_gpu.mjs

Geçiş koşulu

Tür ve geçiş tablosu GPU absent yolu seri açılışı bozmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: GPU absent yolu seri açılışı bozmaz.

Uygulanacak işlem

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

GPU absent yolu seri açılışı bozmaz

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_gpu.rs · os_virtio_gpu_discovery

Mevcut başlangıç referansı

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

Olumlu deney

Bir virtio GPU aygıtı

Karşı-örnek / hata girdisi

GPU yok veya feature eksik

Gerçek konuk kabulü

Headless runtime çalışmaya devam

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

kernel/tests/os/virtio_gpu.rs
os_virtio_gpu_discovery_positive
os_virtio_gpu_discovery_negative
scripts/os-acceptance/virtio_gpu.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Bir virtio GPU aygıtı ile GPU yok veya feature eksik ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: GPU absent yolu seri açılışı bozmaz.

Uygulanacak işlem

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

Değişmez / korunan bağlam

GPU absent yolu seri açılışı bozmaz

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_gpu.rs · os_virtio_gpu_discovery

Mevcut başlangıç referansı

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

Olumlu deney

Bir virtio GPU aygıtı

Karşı-örnek / hata girdisi

GPU yok veya feature eksik

Gerçek konuk kabulü

Headless runtime çalışmaya devam

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

kernel/tests/os/virtio_gpu.rs
os_virtio_gpu_discovery_positive
os_virtio_gpu_discovery_negative
scripts/os-acceptance/virtio_gpu.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: GPU absent yolu seri açılışı bozmaz.

Uygulanacak işlem

os_virtio_gpu_discovery_negative testini oluştur: “GPU yok veya feature eksik”. 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

GPU absent yolu seri açılışı bozmaz

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_gpu.rs · os_virtio_gpu_discovery

Mevcut başlangıç referansı

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

Olumlu deney

Bir virtio GPU aygıtı

Karşı-örnek / hata girdisi

GPU yok veya feature eksik

Gerçek konuk kabulü

Headless runtime çalışmaya devam

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

kernel/tests/os/virtio_gpu.rs
os_virtio_gpu_discovery_positive
os_virtio_gpu_discovery_negative
scripts/os-acceptance/virtio_gpu.mjs

Geçiş koşulu

GPU yok veya feature eksik 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: GPU absent yolu seri açılışı bozmaz.

Uygulanacak işlem

Tek ürün Image'ında “Headless runtime çalışmaya devam” kabulünü koştur. scripts/os-acceptance/virtio_gpu.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

GPU absent yolu seri açılışı bozmaz

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_gpu.rs · os_virtio_gpu_discovery

Mevcut başlangıç referansı

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

Olumlu deney

Bir virtio GPU aygıtı

Karşı-örnek / hata girdisi

GPU yok veya feature eksik

Gerçek konuk kabulü

Headless runtime çalışmaya devam

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

kernel/tests/os/virtio_gpu.rs
os_virtio_gpu_discovery_positive
os_virtio_gpu_discovery_negative
scripts/os-acceptance/virtio_gpu.mjs

Geçiş koşulu

Headless runtime çalışmaya 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Kaynak RAM ve scanout boyu taşmasızdır.

Uygulanacak işlem

“GPU 2D kaynak ve backing” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Kaynak RAM ve scanout boyu taşmasızdır. “640x480 RGBA kaynak” kabulü ile “Width height stride overflow” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Kaynak RAM ve scanout boyu taşmasızdır

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_gpu.rs · os_virtio_gpu_resources

Mevcut başlangıç referansı

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

Olumlu deney

640x480 RGBA kaynak

Karşı-örnek / hata girdisi

Width height stride overflow

Gerçek konuk kabulü

Bozuk kaynak aygıta sunulmaz

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

kernel/tests/os/virtio_gpu.rs
os_virtio_gpu_resources_positive
os_virtio_gpu_resources_negative
scripts/os-acceptance/virtio_gpu.mjs

Geçiş koşulu

Tür ve geçiş tablosu Kaynak RAM ve scanout boyu taşmasızdı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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Kaynak RAM ve scanout boyu taşmasızdır.

Uygulanacak işlem

kernel/src/runtime/virtio_gpu.rs hedefinde os_virtio_gpu_resources yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/virtio_ring.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 RAM ve scanout boyu taşmasızdır

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_gpu.rs · os_virtio_gpu_resources

Mevcut başlangıç referansı

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

Olumlu deney

640x480 RGBA kaynak

Karşı-örnek / hata girdisi

Width height stride overflow

Gerçek konuk kabulü

Bozuk kaynak aygıta sunulmaz

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

kernel/tests/os/virtio_gpu.rs
os_virtio_gpu_resources_positive
os_virtio_gpu_resources_negative
scripts/os-acceptance/virtio_gpu.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. 640x480 RGBA kaynak ile Width height stride overflow ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Kaynak RAM ve scanout boyu taşmasızdır.

Uygulanacak işlem

os_virtio_gpu_resources_positive testini oluştur: “640x480 RGBA 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

Kaynak RAM ve scanout boyu taşmasızdır

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_gpu.rs · os_virtio_gpu_resources

Mevcut başlangıç referansı

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

Olumlu deney

640x480 RGBA kaynak

Karşı-örnek / hata girdisi

Width height stride overflow

Gerçek konuk kabulü

Bozuk kaynak aygıta sunulmaz

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

kernel/tests/os/virtio_gpu.rs
os_virtio_gpu_resources_positive
os_virtio_gpu_resources_negative
scripts/os-acceptance/virtio_gpu.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Kaynak RAM ve scanout boyu taşmasızdır.

Uygulanacak işlem

os_virtio_gpu_resources_negative testini oluştur: “Width height stride overflow”. 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 RAM ve scanout boyu taşmasızdır

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_gpu.rs · os_virtio_gpu_resources

Mevcut başlangıç referansı

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

Olumlu deney

640x480 RGBA kaynak

Karşı-örnek / hata girdisi

Width height stride overflow

Gerçek konuk kabulü

Bozuk kaynak aygıta sunulmaz

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

kernel/tests/os/virtio_gpu.rs
os_virtio_gpu_resources_positive
os_virtio_gpu_resources_negative
scripts/os-acceptance/virtio_gpu.mjs

Geçiş koşulu

Width height stride overflow 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Kaynak RAM ve scanout boyu taşmasızdır.

Uygulanacak işlem

Tek ürün Image'ında “Bozuk kaynak aygıta sunulmaz” kabulünü koştur. scripts/os-acceptance/virtio_gpu.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 RAM ve scanout boyu taşmasızdır

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_gpu.rs · os_virtio_gpu_resources

Mevcut başlangıç referansı

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

Olumlu deney

640x480 RGBA kaynak

Karşı-örnek / hata girdisi

Width height stride overflow

Gerçek konuk kabulü

Bozuk kaynak aygıta sunulmaz

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

kernel/tests/os/virtio_gpu.rs
os_virtio_gpu_resources_positive
os_virtio_gpu_resources_negative
scripts/os-acceptance/virtio_gpu.mjs

Geçiş koşulu

Bozuk kaynak aygıta sunulmaz; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Flush yalnız doğru resource neslini kullanır.

Uygulanacak işlem

“GPU transfer ve flush” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Flush yalnız doğru resource neslini kullanır. “İki farklı frame hash” kabulü ile “Eski resource id completion” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Flush yalnız doğru resource neslini kullanır

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_gpu.rs · os_virtio_gpu_transfer

Mevcut başlangıç referansı

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

Olumlu deney

İki farklı frame hash

Karşı-örnek / hata girdisi

Eski resource id completion

Gerçek konuk kabulü

Konuk frame bağımsız görüntüyle eşleşir

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

kernel/tests/os/virtio_gpu.rs
os_virtio_gpu_transfer_positive
os_virtio_gpu_transfer_negative
scripts/os-acceptance/virtio_gpu.mjs

Geçiş koşulu

Tür ve geçiş tablosu Flush yalnız doğru resource neslini 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Flush yalnız doğru resource neslini kullanır.

Uygulanacak işlem

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

Flush yalnız doğru resource neslini kullanır

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_gpu.rs · os_virtio_gpu_transfer

Mevcut başlangıç referansı

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

Olumlu deney

İki farklı frame hash

Karşı-örnek / hata girdisi

Eski resource id completion

Gerçek konuk kabulü

Konuk frame bağımsız görüntüyle eşleşir

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

kernel/tests/os/virtio_gpu.rs
os_virtio_gpu_transfer_positive
os_virtio_gpu_transfer_negative
scripts/os-acceptance/virtio_gpu.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki farklı frame hash ile Eski resource id completion ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Flush yalnız doğru resource neslini kullanır.

Uygulanacak işlem

os_virtio_gpu_transfer_positive testini oluştur: “İki farklı frame hash”. 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

Flush yalnız doğru resource neslini kullanır

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_gpu.rs · os_virtio_gpu_transfer

Mevcut başlangıç referansı

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

Olumlu deney

İki farklı frame hash

Karşı-örnek / hata girdisi

Eski resource id completion

Gerçek konuk kabulü

Konuk frame bağımsız görüntüyle eşleşir

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

kernel/tests/os/virtio_gpu.rs
os_virtio_gpu_transfer_positive
os_virtio_gpu_transfer_negative
scripts/os-acceptance/virtio_gpu.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; İki farklı frame hash girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Flush yalnız doğru resource neslini kullanır.

Uygulanacak işlem

os_virtio_gpu_transfer_negative testini oluştur: “Eski resource id completion”. 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

Flush yalnız doğru resource neslini kullanır

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_gpu.rs · os_virtio_gpu_transfer

Mevcut başlangıç referansı

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

Olumlu deney

İki farklı frame hash

Karşı-örnek / hata girdisi

Eski resource id completion

Gerçek konuk kabulü

Konuk frame bağımsız görüntüyle eşleşir

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

kernel/tests/os/virtio_gpu.rs
os_virtio_gpu_transfer_positive
os_virtio_gpu_transfer_negative
scripts/os-acceptance/virtio_gpu.mjs

Geçiş koşulu

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Flush yalnız doğru resource neslini kullanır.

Uygulanacak işlem

Tek ürün Image'ında “Konuk frame bağımsız görüntüyle eşleşir” kabulünü koştur. scripts/os-acceptance/virtio_gpu.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

Flush yalnız doğru resource neslini kullanır

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_gpu.rs · os_virtio_gpu_transfer

Mevcut başlangıç referansı

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

Olumlu deney

İki farklı frame hash

Karşı-örnek / hata girdisi

Eski resource id completion

Gerçek konuk kabulü

Konuk frame bağımsız görüntüyle eşleşir

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

kernel/tests/os/virtio_gpu.rs
os_virtio_gpu_transfer_positive
os_virtio_gpu_transfer_negative
scripts/os-acceptance/virtio_gpu.mjs

Geçiş koşulu

Konuk frame bağımsız görüntüyle eşleşir; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Aygıt bıraktıktan sonra backing iade edilir.

Uygulanacak işlem

“GPU reset kaynak ömrü” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Aygıt bıraktıktan sonra backing iade edilir. “Display kapat yeniden aç” kabulü ile “Canlı scanout erken free” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Aygıt bıraktıktan sonra backing iade edilir

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_gpu.rs · os_virtio_gpu_reset

Mevcut başlangıç referansı

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

Olumlu deney

Display kapat yeniden aç

Karşı-örnek / hata girdisi

Canlı scanout erken free

Gerçek konuk kabulü

Tek kaynak sahibi ve temiz yeniden çizim

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

kernel/tests/os/virtio_gpu.rs
os_virtio_gpu_reset_positive
os_virtio_gpu_reset_negative
scripts/os-acceptance/virtio_gpu.mjs

Geçiş koşulu

Tür ve geçiş tablosu Aygıt bıraktıktan sonra backing iade edilir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Aygıt bıraktıktan sonra backing iade edilir.

Uygulanacak işlem

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

Aygıt bıraktıktan sonra backing iade edilir

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_gpu.rs · os_virtio_gpu_reset

Mevcut başlangıç referansı

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

Olumlu deney

Display kapat yeniden aç

Karşı-örnek / hata girdisi

Canlı scanout erken free

Gerçek konuk kabulü

Tek kaynak sahibi ve temiz yeniden çizim

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

kernel/tests/os/virtio_gpu.rs
os_virtio_gpu_reset_positive
os_virtio_gpu_reset_negative
scripts/os-acceptance/virtio_gpu.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Display kapat yeniden aç ile Canlı scanout erken free ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Aygıt bıraktıktan sonra backing iade edilir.

Uygulanacak işlem

os_virtio_gpu_reset_positive testini oluştur: “Display kapat yeniden aç”. 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

Aygıt bıraktıktan sonra backing iade edilir

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_gpu.rs · os_virtio_gpu_reset

Mevcut başlangıç referansı

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

Olumlu deney

Display kapat yeniden aç

Karşı-örnek / hata girdisi

Canlı scanout erken free

Gerçek konuk kabulü

Tek kaynak sahibi ve temiz yeniden çizim

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

kernel/tests/os/virtio_gpu.rs
os_virtio_gpu_reset_positive
os_virtio_gpu_reset_negative
scripts/os-acceptance/virtio_gpu.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Display kapat yeniden aç girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Aygıt bıraktıktan sonra backing iade edilir.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Aygıt bıraktıktan sonra backing iade edilir

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_gpu.rs · os_virtio_gpu_reset

Mevcut başlangıç referansı

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

Olumlu deney

Display kapat yeniden aç

Karşı-örnek / hata girdisi

Canlı scanout erken free

Gerçek konuk kabulü

Tek kaynak sahibi ve temiz yeniden çizim

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

kernel/tests/os/virtio_gpu.rs
os_virtio_gpu_reset_positive
os_virtio_gpu_reset_negative
scripts/os-acceptance/virtio_gpu.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Aygıt bıraktıktan sonra backing iade edilir.

Uygulanacak işlem

Tek ürün Image'ında “Tek kaynak sahibi ve temiz yeniden çizim” kabulünü koştur. scripts/os-acceptance/virtio_gpu.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

Aygıt bıraktıktan sonra backing iade edilir

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_gpu.rs · os_virtio_gpu_reset

Mevcut başlangıç referansı

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

Olumlu deney

Display kapat yeniden aç

Karşı-örnek / hata girdisi

Canlı scanout erken free

Gerçek konuk kabulü

Tek kaynak sahibi ve temiz yeniden çizim

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

kernel/tests/os/virtio_gpu.rs
os_virtio_gpu_reset_positive
os_virtio_gpu_reset_negative
scripts/os-acceptance/virtio_gpu.mjs

Geçiş koşulu

Tek kaynak sahibi ve temiz yeniden çizim; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Çizim framebuffer byte aralığını aşmaz.

Uygulanacak işlem

“Pixel format ve stride” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Çizim framebuffer byte aralığını aşmaz. “RGBA ve padded stride” kabulü ile “Son satırda overflow” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Çizim framebuffer byte aralığını aşmaz

Kod hedefi — henüz öneri

userspace/src/raster.rs · os_raster_pixels

Mevcut başlangıç referansı

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

Olumlu deney

RGBA ve padded stride

Karşı-örnek / hata girdisi

Son satırda overflow

Gerçek konuk kabulü

Guard kanaryaları korunur

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

userspace/tests/raster.rs
os_raster_pixels_positive
os_raster_pixels_negative
scripts/os-acceptance/raster.mjs

Geçiş koşulu

Tür ve geçiş tablosu Çizim framebuffer byte aralığını aş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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Çizim framebuffer byte aralığını aşmaz.

Uygulanacak işlem

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

Çizim framebuffer byte aralığını aşmaz

Kod hedefi — henüz öneri

userspace/src/raster.rs · os_raster_pixels

Mevcut başlangıç referansı

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

Olumlu deney

RGBA ve padded stride

Karşı-örnek / hata girdisi

Son satırda overflow

Gerçek konuk kabulü

Guard kanaryaları korunur

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

userspace/tests/raster.rs
os_raster_pixels_positive
os_raster_pixels_negative
scripts/os-acceptance/raster.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. RGBA ve padded stride ile Son satırda overflow ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Çizim framebuffer byte aralığını aşmaz.

Uygulanacak işlem

os_raster_pixels_positive testini oluştur: “RGBA ve padded stride”. 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

Çizim framebuffer byte aralığını aşmaz

Kod hedefi — henüz öneri

userspace/src/raster.rs · os_raster_pixels

Mevcut başlangıç referansı

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

Olumlu deney

RGBA ve padded stride

Karşı-örnek / hata girdisi

Son satırda overflow

Gerçek konuk kabulü

Guard kanaryaları korunur

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

userspace/tests/raster.rs
os_raster_pixels_positive
os_raster_pixels_negative
scripts/os-acceptance/raster.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Çizim framebuffer byte aralığını aşmaz.

Uygulanacak işlem

os_raster_pixels_negative testini oluştur: “Son satırda overflow”. 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

Çizim framebuffer byte aralığını aşmaz

Kod hedefi — henüz öneri

userspace/src/raster.rs · os_raster_pixels

Mevcut başlangıç referansı

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

Olumlu deney

RGBA ve padded stride

Karşı-örnek / hata girdisi

Son satırda overflow

Gerçek konuk kabulü

Guard kanaryaları korunur

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

userspace/tests/raster.rs
os_raster_pixels_positive
os_raster_pixels_negative
scripts/os-acceptance/raster.mjs

Geçiş koşulu

Son satırda overflow 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Çizim framebuffer byte aralığını aşmaz.

Uygulanacak işlem

Tek ürün Image'ında “Guard kanaryaları korunur” kabulünü koştur. scripts/os-acceptance/raster.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

Çizim framebuffer byte aralığını aşmaz

Kod hedefi — henüz öneri

userspace/src/raster.rs · os_raster_pixels

Mevcut başlangıç referansı

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

Olumlu deney

RGBA ve padded stride

Karşı-örnek / hata girdisi

Son satırda overflow

Gerçek konuk kabulü

Guard kanaryaları korunur

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

userspace/tests/raster.rs
os_raster_pixels_positive
os_raster_pixels_negative
scripts/os-acceptance/raster.mjs

Geçiş koşulu

Guard kanaryaları 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Hasar dikdörtgeni görünür alanla kesişir.

Uygulanacak işlem

“Rect clipping ve damage” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Hasar dikdörtgeni görünür alanla kesişir. “Kısmen dışarıda iki rect” kabulü ile “Negatif koordinat unsigned sarar” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Hasar dikdörtgeni görünür alanla kesişir

Kod hedefi — henüz öneri

userspace/src/raster.rs · os_raster_rectangles

Mevcut başlangıç referansı

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

Olumlu deney

Kısmen dışarıda iki rect

Karşı-örnek / hata girdisi

Negatif koordinat unsigned sarar

Gerçek konuk kabulü

Yalnız kesişim pikselleri değişir

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

userspace/tests/raster.rs
os_raster_rectangles_positive
os_raster_rectangles_negative
scripts/os-acceptance/raster.mjs

Geçiş koşulu

Tür ve geçiş tablosu Hasar dikdörtgeni görünür alanla kesişir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Hasar dikdörtgeni görünür alanla kesişir.

Uygulanacak işlem

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

Hasar dikdörtgeni görünür alanla kesişir

Kod hedefi — henüz öneri

userspace/src/raster.rs · os_raster_rectangles

Mevcut başlangıç referansı

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

Olumlu deney

Kısmen dışarıda iki rect

Karşı-örnek / hata girdisi

Negatif koordinat unsigned sarar

Gerçek konuk kabulü

Yalnız kesişim pikselleri değişir

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

userspace/tests/raster.rs
os_raster_rectangles_positive
os_raster_rectangles_negative
scripts/os-acceptance/raster.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Kısmen dışarıda iki rect ile Negatif koordinat unsigned sarar ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Hasar dikdörtgeni görünür alanla kesişir.

Uygulanacak işlem

os_raster_rectangles_positive testini oluştur: “Kısmen dışarıda iki rect”. 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

Hasar dikdörtgeni görünür alanla kesişir

Kod hedefi — henüz öneri

userspace/src/raster.rs · os_raster_rectangles

Mevcut başlangıç referansı

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

Olumlu deney

Kısmen dışarıda iki rect

Karşı-örnek / hata girdisi

Negatif koordinat unsigned sarar

Gerçek konuk kabulü

Yalnız kesişim pikselleri değişir

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

userspace/tests/raster.rs
os_raster_rectangles_positive
os_raster_rectangles_negative
scripts/os-acceptance/raster.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Kısmen dışarıda iki rect girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Hasar dikdörtgeni görünür alanla kesişir.

Uygulanacak işlem

os_raster_rectangles_negative testini oluştur: “Negatif koordinat unsigned sarar”. 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

Hasar dikdörtgeni görünür alanla kesişir

Kod hedefi — henüz öneri

userspace/src/raster.rs · os_raster_rectangles

Mevcut başlangıç referansı

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

Olumlu deney

Kısmen dışarıda iki rect

Karşı-örnek / hata girdisi

Negatif koordinat unsigned sarar

Gerçek konuk kabulü

Yalnız kesişim pikselleri değişir

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

userspace/tests/raster.rs
os_raster_rectangles_positive
os_raster_rectangles_negative
scripts/os-acceptance/raster.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Hasar dikdörtgeni görünür alanla kesişir.

Uygulanacak işlem

Tek ürün Image'ında “Yalnız kesişim pikselleri değişir” kabulünü koştur. scripts/os-acceptance/raster.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

Hasar dikdörtgeni görünür alanla kesişir

Kod hedefi — henüz öneri

userspace/src/raster.rs · os_raster_rectangles

Mevcut başlangıç referansı

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

Olumlu deney

Kısmen dışarıda iki rect

Karşı-örnek / hata girdisi

Negatif koordinat unsigned sarar

Gerçek konuk kabulü

Yalnız kesişim pikselleri değişir

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

userspace/tests/raster.rs
os_raster_rectangles_positive
os_raster_rectangles_negative
scripts/os-acceptance/raster.mjs

Geçiş koşulu

Yalnız kesişim pikselleri değişir; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Glyph erişimi font tablosunda sınırlıdır.

Uygulanacak işlem

“Bitmap font ve UTF8 fallback” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Glyph erişimi font tablosunda sınırlıdır. “Türkçe karakter ve bilinmeyen glyph” kabulü ile “Bozuk font offset” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Glyph erişimi font tablosunda sınırlıdır

Kod hedefi — henüz öneri

userspace/src/raster.rs · os_raster_glyphs

Mevcut başlangıç referansı

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

Olumlu deney

Türkçe karakter ve bilinmeyen glyph

Karşı-örnek / hata girdisi

Bozuk font offset

Gerçek konuk kabulü

Fallback kutu çizilir panik yok

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

userspace/tests/raster.rs
os_raster_glyphs_positive
os_raster_glyphs_negative
scripts/os-acceptance/raster.mjs

Geçiş koşulu

Tür ve geçiş tablosu Glyph erişimi font tablosunda 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Glyph erişimi font tablosunda sınırlıdır.

Uygulanacak işlem

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

Glyph erişimi font tablosunda sınırlıdır

Kod hedefi — henüz öneri

userspace/src/raster.rs · os_raster_glyphs

Mevcut başlangıç referansı

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

Olumlu deney

Türkçe karakter ve bilinmeyen glyph

Karşı-örnek / hata girdisi

Bozuk font offset

Gerçek konuk kabulü

Fallback kutu çizilir panik yok

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

userspace/tests/raster.rs
os_raster_glyphs_positive
os_raster_glyphs_negative
scripts/os-acceptance/raster.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Türkçe karakter ve bilinmeyen glyph ile Bozuk font offset ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Glyph erişimi font tablosunda sınırlıdır.

Uygulanacak işlem

os_raster_glyphs_positive testini oluştur: “Türkçe karakter ve bilinmeyen glyph”. 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

Glyph erişimi font tablosunda sınırlıdır

Kod hedefi — henüz öneri

userspace/src/raster.rs · os_raster_glyphs

Mevcut başlangıç referansı

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

Olumlu deney

Türkçe karakter ve bilinmeyen glyph

Karşı-örnek / hata girdisi

Bozuk font offset

Gerçek konuk kabulü

Fallback kutu çizilir panik yok

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

userspace/tests/raster.rs
os_raster_glyphs_positive
os_raster_glyphs_negative
scripts/os-acceptance/raster.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Türkçe karakter ve bilinmeyen glyph girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Glyph erişimi font tablosunda sınırlıdır.

Uygulanacak işlem

os_raster_glyphs_negative testini oluştur: “Bozuk font offset”. 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

Glyph erişimi font tablosunda sınırlıdır

Kod hedefi — henüz öneri

userspace/src/raster.rs · os_raster_glyphs

Mevcut başlangıç referansı

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

Olumlu deney

Türkçe karakter ve bilinmeyen glyph

Karşı-örnek / hata girdisi

Bozuk font offset

Gerçek konuk kabulü

Fallback kutu çizilir panik yok

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

userspace/tests/raster.rs
os_raster_glyphs_positive
os_raster_glyphs_negative
scripts/os-acceptance/raster.mjs

Geçiş koşulu

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Glyph erişimi font tablosunda sınırlıdır.

Uygulanacak işlem

Tek ürün Image'ında “Fallback kutu çizilir panik yok” kabulünü koştur. scripts/os-acceptance/raster.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

Glyph erişimi font tablosunda sınırlıdır

Kod hedefi — henüz öneri

userspace/src/raster.rs · os_raster_glyphs

Mevcut başlangıç referansı

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

Olumlu deney

Türkçe karakter ve bilinmeyen glyph

Karşı-örnek / hata girdisi

Bozuk font offset

Gerçek konuk kabulü

Fallback kutu çizilir panik yok

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

userspace/tests/raster.rs
os_raster_glyphs_positive
os_raster_glyphs_negative
scripts/os-acceptance/raster.mjs

Geçiş koşulu

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Satır hücre ve scroll sınırı açıktır.

Uygulanacak işlem

“Terminal satır ve scroll” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Satır hücre ve scroll sınırı açıktır. “80x25 metin ve 26 satır” kabulü ile “Uzun kaçış veya aşırı hücre” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Satır hücre ve scroll sınırı açıktır

Kod hedefi — henüz öneri

userspace/src/raster.rs · os_raster_text_layout

Mevcut başlangıç referansı

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

Olumlu deney

80x25 metin ve 26 satır

Karşı-örnek / hata girdisi

Uzun kaçış veya aşırı hücre

Gerçek konuk kabulü

Beklenen satır hashleri ve guardlar

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

userspace/tests/raster.rs
os_raster_text_layout_positive
os_raster_text_layout_negative
scripts/os-acceptance/raster.mjs

Geçiş koşulu

Tür ve geçiş tablosu Satır hücre ve scroll sınırı açıktı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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Satır hücre ve scroll sınırı açıktır.

Uygulanacak işlem

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

Satır hücre ve scroll sınırı açıktır

Kod hedefi — henüz öneri

userspace/src/raster.rs · os_raster_text_layout

Mevcut başlangıç referansı

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

Olumlu deney

80x25 metin ve 26 satır

Karşı-örnek / hata girdisi

Uzun kaçış veya aşırı hücre

Gerçek konuk kabulü

Beklenen satır hashleri ve guardlar

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

userspace/tests/raster.rs
os_raster_text_layout_positive
os_raster_text_layout_negative
scripts/os-acceptance/raster.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. 80x25 metin ve 26 satır ile Uzun kaçış veya aşırı hücre ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Satır hücre ve scroll sınırı açıktır.

Uygulanacak işlem

os_raster_text_layout_positive testini oluştur: “80x25 metin ve 26 satır”. 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

Satır hücre ve scroll sınırı açıktır

Kod hedefi — henüz öneri

userspace/src/raster.rs · os_raster_text_layout

Mevcut başlangıç referansı

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

Olumlu deney

80x25 metin ve 26 satır

Karşı-örnek / hata girdisi

Uzun kaçış veya aşırı hücre

Gerçek konuk kabulü

Beklenen satır hashleri ve guardlar

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

userspace/tests/raster.rs
os_raster_text_layout_positive
os_raster_text_layout_negative
scripts/os-acceptance/raster.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; 80x25 metin ve 26 satır girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Satır hücre ve scroll sınırı açıktır.

Uygulanacak işlem

os_raster_text_layout_negative testini oluştur: “Uzun kaçış veya aşırı hücre”. 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

Satır hücre ve scroll sınırı açıktır

Kod hedefi — henüz öneri

userspace/src/raster.rs · os_raster_text_layout

Mevcut başlangıç referansı

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

Olumlu deney

80x25 metin ve 26 satır

Karşı-örnek / hata girdisi

Uzun kaçış veya aşırı hücre

Gerçek konuk kabulü

Beklenen satır hashleri ve guardlar

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

userspace/tests/raster.rs
os_raster_text_layout_positive
os_raster_text_layout_negative
scripts/os-acceptance/raster.mjs

Geçiş koşulu

Uzun kaçış veya aşırı hücre 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Satır hücre ve scroll sınırı açıktır.

Uygulanacak işlem

Tek ürün Image'ında “Beklenen satır hashleri ve guardlar” kabulünü koştur. scripts/os-acceptance/raster.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

Satır hücre ve scroll sınırı açıktır

Kod hedefi — henüz öneri

userspace/src/raster.rs · os_raster_text_layout

Mevcut başlangıç referansı

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

Olumlu deney

80x25 metin ve 26 satır

Karşı-örnek / hata girdisi

Uzun kaçış veya aşırı hücre

Gerçek konuk kabulü

Beklenen satır hashleri ve guardlar

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

userspace/tests/raster.rs
os_raster_text_layout_positive
os_raster_text_layout_negative
scripts/os-acceptance/raster.mjs

Geçiş koşulu

Beklenen satır hashleri ve guardlar; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Event tür kod boy whitelist ile sınırlıdır.

Uygulanacak işlem

“Virtio input olay parserı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Event tür kod boy whitelist ile sınırlıdır. “Key down up ve sync” kabulü ile “Bozuk event length” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Event tür kod boy whitelist ile sınırlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_input.rs · os_virtio_input_events

Mevcut başlangıç referansı

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

Olumlu deney

Key down up ve sync

Karşı-örnek / hata girdisi

Bozuk event length

Gerçek konuk kabulü

Yalnız geçerli olay üst katmana

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

kernel/tests/os/virtio_input.rs
os_virtio_input_events_positive
os_virtio_input_events_negative
scripts/os-acceptance/virtio_input.mjs

Geçiş koşulu

Tür ve geçiş tablosu Event tür kod boy whitelist ile 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Event tür kod boy whitelist ile sınırlıdır.

Uygulanacak işlem

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

Event tür kod boy whitelist ile sınırlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_input.rs · os_virtio_input_events

Mevcut başlangıç referansı

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

Olumlu deney

Key down up ve sync

Karşı-örnek / hata girdisi

Bozuk event length

Gerçek konuk kabulü

Yalnız geçerli olay üst katmana

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

kernel/tests/os/virtio_input.rs
os_virtio_input_events_positive
os_virtio_input_events_negative
scripts/os-acceptance/virtio_input.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Key down up ve sync ile Bozuk event length ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Event tür kod boy whitelist ile sınırlıdır.

Uygulanacak işlem

os_virtio_input_events_positive testini oluştur: “Key down up ve sync”. 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

Event tür kod boy whitelist ile sınırlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_input.rs · os_virtio_input_events

Mevcut başlangıç referansı

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

Olumlu deney

Key down up ve sync

Karşı-örnek / hata girdisi

Bozuk event length

Gerçek konuk kabulü

Yalnız geçerli olay üst katmana

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

kernel/tests/os/virtio_input.rs
os_virtio_input_events_positive
os_virtio_input_events_negative
scripts/os-acceptance/virtio_input.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Key down up ve sync girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Event tür kod boy whitelist ile sınırlıdır.

Uygulanacak işlem

os_virtio_input_events_negative testini oluştur: “Bozuk event length”. 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

Event tür kod boy whitelist ile sınırlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_input.rs · os_virtio_input_events

Mevcut başlangıç referansı

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

Olumlu deney

Key down up ve sync

Karşı-örnek / hata girdisi

Bozuk event length

Gerçek konuk kabulü

Yalnız geçerli olay üst katmana

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

kernel/tests/os/virtio_input.rs
os_virtio_input_events_positive
os_virtio_input_events_negative
scripts/os-acceptance/virtio_input.mjs

Geçiş koşulu

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Event tür kod boy whitelist ile sınırlıdır.

Uygulanacak işlem

Tek ürün Image'ında “Yalnız geçerli olay üst katmana” kabulünü koştur. scripts/os-acceptance/virtio_input.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

Event tür kod boy whitelist ile sınırlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_input.rs · os_virtio_input_events

Mevcut başlangıç referansı

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

Olumlu deney

Key down up ve sync

Karşı-örnek / hata girdisi

Bozuk event length

Gerçek konuk kabulü

Yalnız geçerli olay üst katmana

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

kernel/tests/os/virtio_input.rs
os_virtio_input_events_positive
os_virtio_input_events_negative
scripts/os-acceptance/virtio_input.mjs

Geçiş koşulu

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Basılı tuş state nesliyle temizlenir.

Uygulanacak işlem

“Keymap modifier ve repeat” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Basılı tuş state nesliyle temizlenir. “Shift Türkçe karakter repeat” kabulü ile “Release kaybı ve reset” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Basılı tuş state nesliyle temizlenir

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_input.rs · os_virtio_input_keyboard

Mevcut başlangıç referansı

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

Olumlu deney

Shift Türkçe karakter repeat

Karşı-örnek / hata girdisi

Release kaybı ve reset

Gerçek konuk kabulü

Resetten sonra modifier takılı kalmaz

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

kernel/tests/os/virtio_input.rs
os_virtio_input_keyboard_positive
os_virtio_input_keyboard_negative
scripts/os-acceptance/virtio_input.mjs

Geçiş koşulu

Tür ve geçiş tablosu Basılı tuş state nesliyle temizlenir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Basılı tuş state nesliyle temizlenir.

Uygulanacak işlem

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

Basılı tuş state nesliyle temizlenir

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_input.rs · os_virtio_input_keyboard

Mevcut başlangıç referansı

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

Olumlu deney

Shift Türkçe karakter repeat

Karşı-örnek / hata girdisi

Release kaybı ve reset

Gerçek konuk kabulü

Resetten sonra modifier takılı kalmaz

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

kernel/tests/os/virtio_input.rs
os_virtio_input_keyboard_positive
os_virtio_input_keyboard_negative
scripts/os-acceptance/virtio_input.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Shift Türkçe karakter repeat ile Release kaybı ve reset ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Basılı tuş state nesliyle temizlenir.

Uygulanacak işlem

os_virtio_input_keyboard_positive testini oluştur: “Shift Türkçe karakter repeat”. 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

Basılı tuş state nesliyle temizlenir

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_input.rs · os_virtio_input_keyboard

Mevcut başlangıç referansı

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

Olumlu deney

Shift Türkçe karakter repeat

Karşı-örnek / hata girdisi

Release kaybı ve reset

Gerçek konuk kabulü

Resetten sonra modifier takılı kalmaz

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

kernel/tests/os/virtio_input.rs
os_virtio_input_keyboard_positive
os_virtio_input_keyboard_negative
scripts/os-acceptance/virtio_input.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Shift Türkçe karakter repeat girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Basılı tuş state nesliyle temizlenir.

Uygulanacak işlem

os_virtio_input_keyboard_negative testini oluştur: “Release kaybı ve reset”. 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

Basılı tuş state nesliyle temizlenir

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_input.rs · os_virtio_input_keyboard

Mevcut başlangıç referansı

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

Olumlu deney

Shift Türkçe karakter repeat

Karşı-örnek / hata girdisi

Release kaybı ve reset

Gerçek konuk kabulü

Resetten sonra modifier takılı kalmaz

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

kernel/tests/os/virtio_input.rs
os_virtio_input_keyboard_positive
os_virtio_input_keyboard_negative
scripts/os-acceptance/virtio_input.mjs

Geçiş koşulu

Release kaybı ve reset 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Basılı tuş state nesliyle temizlenir.

Uygulanacak işlem

Tek ürün Image'ında “Resetten sonra modifier takılı kalmaz” kabulünü koştur. scripts/os-acceptance/virtio_input.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

Basılı tuş state nesliyle temizlenir

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_input.rs · os_virtio_input_keyboard

Mevcut başlangıç referansı

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

Olumlu deney

Shift Türkçe karakter repeat

Karşı-örnek / hata girdisi

Release kaybı ve reset

Gerçek konuk kabulü

Resetten sonra modifier takılı kalmaz

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

kernel/tests/os/virtio_input.rs
os_virtio_input_keyboard_positive
os_virtio_input_keyboard_negative
scripts/os-acceptance/virtio_input.mjs

Geçiş koşulu

Resetten sonra modifier takılı kalmaz; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Range dönüşümü ekran içinde kalır.

Uygulanacak işlem

“Absolute pointer koordinatı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Range dönüşümü ekran içinde kalır. “Köşe ve orta koordinat” kabulü ile “Min max ters veya taşan delta” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Range dönüşümü ekran içinde kalır

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_input.rs · os_virtio_input_pointer

Mevcut başlangıç referansı

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

Olumlu deney

Köşe ve orta koordinat

Karşı-örnek / hata girdisi

Min max ters veya taşan delta

Gerçek konuk kabulü

İmleç sınırda clipped durur

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

kernel/tests/os/virtio_input.rs
os_virtio_input_pointer_positive
os_virtio_input_pointer_negative
scripts/os-acceptance/virtio_input.mjs

Geçiş koşulu

Tür ve geçiş tablosu Range dönüşümü ekran içinde kalı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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Range dönüşümü ekran içinde kalır.

Uygulanacak işlem

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

Range dönüşümü ekran içinde kalır

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_input.rs · os_virtio_input_pointer

Mevcut başlangıç referansı

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

Olumlu deney

Köşe ve orta koordinat

Karşı-örnek / hata girdisi

Min max ters veya taşan delta

Gerçek konuk kabulü

İmleç sınırda clipped durur

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

kernel/tests/os/virtio_input.rs
os_virtio_input_pointer_positive
os_virtio_input_pointer_negative
scripts/os-acceptance/virtio_input.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Köşe ve orta koordinat ile Min max ters veya taşan delta ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Range dönüşümü ekran içinde kalır.

Uygulanacak işlem

os_virtio_input_pointer_positive testini oluştur: “Köşe ve orta koordinat”. 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

Range dönüşümü ekran içinde kalır

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_input.rs · os_virtio_input_pointer

Mevcut başlangıç referansı

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

Olumlu deney

Köşe ve orta koordinat

Karşı-örnek / hata girdisi

Min max ters veya taşan delta

Gerçek konuk kabulü

İmleç sınırda clipped durur

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

kernel/tests/os/virtio_input.rs
os_virtio_input_pointer_positive
os_virtio_input_pointer_negative
scripts/os-acceptance/virtio_input.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Köşe ve orta koordinat girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Range dönüşümü ekran içinde kalır.

Uygulanacak işlem

os_virtio_input_pointer_negative testini oluştur: “Min max ters veya taşan delta”. 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

Range dönüşümü ekran içinde kalır

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_input.rs · os_virtio_input_pointer

Mevcut başlangıç referansı

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

Olumlu deney

Köşe ve orta koordinat

Karşı-örnek / hata girdisi

Min max ters veya taşan delta

Gerçek konuk kabulü

İmleç sınırda clipped durur

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

kernel/tests/os/virtio_input.rs
os_virtio_input_pointer_positive
os_virtio_input_pointer_negative
scripts/os-acceptance/virtio_input.mjs

Geçiş koşulu

Min max ters veya taşan delta 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Range dönüşümü ekran içinde kalır.

Uygulanacak işlem

Tek ürün Image'ında “İmleç sınırda clipped durur” kabulünü koştur. scripts/os-acceptance/virtio_input.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

Range dönüşümü ekran içinde kalır

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_input.rs · os_virtio_input_pointer

Mevcut başlangıç referansı

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

Olumlu deney

Köşe ve orta koordinat

Karşı-örnek / hata girdisi

Min max ters veya taşan delta

Gerçek konuk kabulü

İmleç sınırda clipped durur

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

kernel/tests/os/virtio_input.rs
os_virtio_input_pointer_positive
os_virtio_input_pointer_negative
scripts/os-acceptance/virtio_input.mjs

Geçiş koşulu

İmleç sınırda clipped durur; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Bir session başka pencereye input çalamaz.

Uygulanacak işlem

“Input hedef yetkisi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Bir session başka pencereye input çalamaz. “İki odaklı sırayla uygulama” kabulü ile “Eski focus session replay” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Bir session başka pencereye input çalamaz

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_input.rs · os_virtio_input_focus

Mevcut başlangıç referansı

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

Olumlu deney

İki odaklı sırayla uygulama

Karşı-örnek / hata girdisi

Eski focus session replay

Gerçek konuk kabulü

Yalnız güncel hedef olayı alır

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

kernel/tests/os/virtio_input.rs
os_virtio_input_focus_positive
os_virtio_input_focus_negative
scripts/os-acceptance/virtio_input.mjs

Geçiş koşulu

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Bir session başka pencereye input çalamaz.

Uygulanacak işlem

kernel/src/runtime/virtio_input.rs hedefinde os_virtio_input_focus yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/virtio_mmio.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 session başka pencereye input çalamaz

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_input.rs · os_virtio_input_focus

Mevcut başlangıç referansı

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

Olumlu deney

İki odaklı sırayla uygulama

Karşı-örnek / hata girdisi

Eski focus session replay

Gerçek konuk kabulü

Yalnız güncel hedef olayı alır

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

kernel/tests/os/virtio_input.rs
os_virtio_input_focus_positive
os_virtio_input_focus_negative
scripts/os-acceptance/virtio_input.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki odaklı sırayla uygulama ile Eski focus session replay ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Bir session başka pencereye input çalamaz.

Uygulanacak işlem

os_virtio_input_focus_positive testini oluştur: “İki odaklı sırayla uygulama”. 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 session başka pencereye input çalamaz

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_input.rs · os_virtio_input_focus

Mevcut başlangıç referansı

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

Olumlu deney

İki odaklı sırayla uygulama

Karşı-örnek / hata girdisi

Eski focus session replay

Gerçek konuk kabulü

Yalnız güncel hedef olayı alır

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

kernel/tests/os/virtio_input.rs
os_virtio_input_focus_positive
os_virtio_input_focus_negative
scripts/os-acceptance/virtio_input.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; İki odaklı sırayla uygulama girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Bir session başka pencereye input çalamaz.

Uygulanacak işlem

os_virtio_input_focus_negative testini oluştur: “Eski focus session replay”. 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 session başka pencereye input çalamaz

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_input.rs · os_virtio_input_focus

Mevcut başlangıç referansı

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

Olumlu deney

İki odaklı sırayla uygulama

Karşı-örnek / hata girdisi

Eski focus session replay

Gerçek konuk kabulü

Yalnız güncel hedef olayı alır

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

kernel/tests/os/virtio_input.rs
os_virtio_input_focus_positive
os_virtio_input_focus_negative
scripts/os-acceptance/virtio_input.mjs

Geçiş koşulu

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Bir session başka pencereye input çalamaz.

Uygulanacak işlem

Tek ürün Image'ında “Yalnız güncel hedef olayı alır” kabulünü koştur. scripts/os-acceptance/virtio_input.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 session başka pencereye input çalamaz

Kod hedefi — henüz öneri

kernel/src/runtime/virtio_input.rs · os_virtio_input_focus

Mevcut başlangıç referansı

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

Olumlu deney

İki odaklı sırayla uygulama

Karşı-örnek / hata girdisi

Eski focus session replay

Gerçek konuk kabulü

Yalnız güncel hedef olayı alır

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

kernel/tests/os/virtio_input.rs
os_virtio_input_focus_positive
os_virtio_input_focus_negative
scripts/os-acceptance/virtio_input.mjs

Geçiş koşulu

Yalnız güncel hedef olayı alır; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Surface boy format quota doğrulanır.

Uygulanacak işlem

“Paylaşılan yüzey 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: Surface boy format quota doğrulanır. “İki farklı kullanıcı yüzeyi” kabulü ile “Aşırı boy veya yabancı buffer” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Surface boy format quota doğrulanır

Kod hedefi — henüz öneri

userspace/src/compositor.rs · os_compositor_surface

Mevcut başlangıç referansı

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

Olumlu deney

İki farklı kullanıcı yüzeyi

Karşı-örnek / hata girdisi

Aşırı boy veya yabancı buffer

Gerçek konuk kabulü

Yanlış yüzey map edilmez

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

userspace/tests/compositor.rs
os_compositor_surface_positive
os_compositor_surface_negative
scripts/os-acceptance/compositor.mjs

Geçiş koşulu

Tür ve geçiş tablosu Surface boy format quota 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Surface boy format quota doğrulanır.

Uygulanacak işlem

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

Surface boy format quota doğrulanır

Kod hedefi — henüz öneri

userspace/src/compositor.rs · os_compositor_surface

Mevcut başlangıç referansı

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

Olumlu deney

İki farklı kullanıcı yüzeyi

Karşı-örnek / hata girdisi

Aşırı boy veya yabancı buffer

Gerçek konuk kabulü

Yanlış yüzey map edilmez

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

userspace/tests/compositor.rs
os_compositor_surface_positive
os_compositor_surface_negative
scripts/os-acceptance/compositor.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki farklı kullanıcı yüzeyi ile Aşırı boy veya yabancı buffer ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Surface boy format quota doğrulanır.

Uygulanacak işlem

os_compositor_surface_positive testini oluştur: “İki farklı kullanıcı yüzeyi”. 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

Surface boy format quota doğrulanır

Kod hedefi — henüz öneri

userspace/src/compositor.rs · os_compositor_surface

Mevcut başlangıç referansı

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

Olumlu deney

İki farklı kullanıcı yüzeyi

Karşı-örnek / hata girdisi

Aşırı boy veya yabancı buffer

Gerçek konuk kabulü

Yanlış yüzey map edilmez

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

userspace/tests/compositor.rs
os_compositor_surface_positive
os_compositor_surface_negative
scripts/os-acceptance/compositor.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; İki farklı kullanıcı yüzeyi girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Surface boy format quota doğrulanır.

Uygulanacak işlem

os_compositor_surface_negative testini oluştur: “Aşırı boy veya yabancı buffer”. 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

Surface boy format quota doğrulanır

Kod hedefi — henüz öneri

userspace/src/compositor.rs · os_compositor_surface

Mevcut başlangıç referansı

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

Olumlu deney

İki farklı kullanıcı yüzeyi

Karşı-örnek / hata girdisi

Aşırı boy veya yabancı buffer

Gerçek konuk kabulü

Yanlış yüzey map edilmez

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

userspace/tests/compositor.rs
os_compositor_surface_positive
os_compositor_surface_negative
scripts/os-acceptance/compositor.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Surface boy format quota doğrulanır.

Uygulanacak işlem

Tek ürün Image'ında “Yanlış yüzey map edilmez” kabulünü koştur. scripts/os-acceptance/compositor.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

Surface boy format quota doğrulanır

Kod hedefi — henüz öneri

userspace/src/compositor.rs · os_compositor_surface

Mevcut başlangıç referansı

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

Olumlu deney

İki farklı kullanıcı yüzeyi

Karşı-örnek / hata girdisi

Aşırı boy veya yabancı buffer

Gerçek konuk kabulü

Yanlış yüzey map edilmez

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

userspace/tests/compositor.rs
os_compositor_surface_positive
os_compositor_surface_negative
scripts/os-acceptance/compositor.mjs

Geçiş koşulu

Yanlış yüzey map edilmez; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Client kernel GPU kaynağını değiştiremez.

Uygulanacak işlem

“Z sırası ve alfa birleşimi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Client kernel GPU kaynağını değiştiremez. “İki örtüşen yüzey” kabulü ile “Bozuk damage veya z index” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Client kernel GPU kaynağını değiştiremez

Kod hedefi — henüz öneri

userspace/src/compositor.rs · os_compositor_composition

Mevcut başlangıç referansı

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

Olumlu deney

İki örtüşen yüzey

Karşı-örnek / hata girdisi

Bozuk damage veya z index

Gerçek konuk kabulü

Beklenen kompozit frame hash

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

userspace/tests/compositor.rs
os_compositor_composition_positive
os_compositor_composition_negative
scripts/os-acceptance/compositor.mjs

Geçiş koşulu

Tür ve geçiş tablosu Client kernel GPU kaynağını değiştiremez 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 damage veya z index” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Client kernel GPU kaynağını değiştiremez.

Uygulanacak işlem

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

Client kernel GPU kaynağını değiştiremez

Kod hedefi — henüz öneri

userspace/src/compositor.rs · os_compositor_composition

Mevcut başlangıç referansı

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

Olumlu deney

İki örtüşen yüzey

Karşı-örnek / hata girdisi

Bozuk damage veya z index

Gerçek konuk kabulü

Beklenen kompozit frame hash

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

userspace/tests/compositor.rs
os_compositor_composition_positive
os_compositor_composition_negative
scripts/os-acceptance/compositor.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki örtüşen yüzey ile Bozuk damage veya z index ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Client kernel GPU kaynağını değiştiremez.

Uygulanacak işlem

os_compositor_composition_positive testini oluştur: “İki örtüşen yüzey”. 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

Client kernel GPU kaynağını değiştiremez

Kod hedefi — henüz öneri

userspace/src/compositor.rs · os_compositor_composition

Mevcut başlangıç referansı

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

Olumlu deney

İki örtüşen yüzey

Karşı-örnek / hata girdisi

Bozuk damage veya z index

Gerçek konuk kabulü

Beklenen kompozit frame hash

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

userspace/tests/compositor.rs
os_compositor_composition_positive
os_compositor_composition_negative
scripts/os-acceptance/compositor.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; İki örtüşen yüzey girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Client kernel GPU kaynağını değiştiremez.

Uygulanacak işlem

os_compositor_composition_negative testini oluştur: “Bozuk damage veya z index”. 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

Client kernel GPU kaynağını değiştiremez

Kod hedefi — henüz öneri

userspace/src/compositor.rs · os_compositor_composition

Mevcut başlangıç referansı

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

Olumlu deney

İki örtüşen yüzey

Karşı-örnek / hata girdisi

Bozuk damage veya z index

Gerçek konuk kabulü

Beklenen kompozit frame hash

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

userspace/tests/compositor.rs
os_compositor_composition_positive
os_compositor_composition_negative
scripts/os-acceptance/compositor.mjs

Geçiş koşulu

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Client kernel GPU kaynağını değiştiremez.

Uygulanacak işlem

Tek ürün Image'ında “Beklenen kompozit frame hash” kabulünü koştur. scripts/os-acceptance/compositor.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

Client kernel GPU kaynağını değiştiremez

Kod hedefi — henüz öneri

userspace/src/compositor.rs · os_compositor_composition

Mevcut başlangıç referansı

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

Olumlu deney

İki örtüşen yüzey

Karşı-örnek / hata girdisi

Bozuk damage veya z index

Gerçek konuk kabulü

Beklenen kompozit frame hash

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

userspace/tests/compositor.rs
os_compositor_composition_positive
os_compositor_composition_negative
scripts/os-acceptance/compositor.mjs

Geçiş koşulu

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Ölü pencerenin input yüzeyi reuse olmaz.

Uygulanacak işlem

“Pencere oturum ve nesil” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Ölü pencerenin input yüzeyi reuse olmaz. “Client kapanır yeni pencere” kabulü ile “Eski window id mesajı” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Ölü pencerenin input yüzeyi reuse olmaz

Kod hedefi — henüz öneri

userspace/src/compositor.rs · os_compositor_session

Mevcut başlangıç referansı

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

Olumlu deney

Client kapanır yeni pencere

Karşı-örnek / hata girdisi

Eski window id mesajı

Gerçek konuk kabulü

Yeni pencere eski mesajı reddeder

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

userspace/tests/compositor.rs
os_compositor_session_positive
os_compositor_session_negative
scripts/os-acceptance/compositor.mjs

Geçiş koşulu

Tür ve geçiş tablosu Ölü pencerenin input yüzeyi reuse olmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Ölü pencerenin input yüzeyi reuse olmaz.

Uygulanacak işlem

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

Ölü pencerenin input yüzeyi reuse olmaz

Kod hedefi — henüz öneri

userspace/src/compositor.rs · os_compositor_session

Mevcut başlangıç referansı

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

Olumlu deney

Client kapanır yeni pencere

Karşı-örnek / hata girdisi

Eski window id mesajı

Gerçek konuk kabulü

Yeni pencere eski mesajı reddeder

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

userspace/tests/compositor.rs
os_compositor_session_positive
os_compositor_session_negative
scripts/os-acceptance/compositor.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Client kapanır yeni pencere ile Eski window id mesajı ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Ölü pencerenin input yüzeyi reuse olmaz.

Uygulanacak işlem

os_compositor_session_positive testini oluştur: “Client kapanır yeni pencere”. 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

Ölü pencerenin input yüzeyi reuse olmaz

Kod hedefi — henüz öneri

userspace/src/compositor.rs · os_compositor_session

Mevcut başlangıç referansı

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

Olumlu deney

Client kapanır yeni pencere

Karşı-örnek / hata girdisi

Eski window id mesajı

Gerçek konuk kabulü

Yeni pencere eski mesajı reddeder

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

userspace/tests/compositor.rs
os_compositor_session_positive
os_compositor_session_negative
scripts/os-acceptance/compositor.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Client kapanır yeni pencere girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Ölü pencerenin input yüzeyi reuse olmaz.

Uygulanacak işlem

os_compositor_session_negative testini oluştur: “Eski window id mesajı”. 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

Ölü pencerenin input yüzeyi reuse olmaz

Kod hedefi — henüz öneri

userspace/src/compositor.rs · os_compositor_session

Mevcut başlangıç referansı

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

Olumlu deney

Client kapanır yeni pencere

Karşı-örnek / hata girdisi

Eski window id mesajı

Gerçek konuk kabulü

Yeni pencere eski mesajı reddeder

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

userspace/tests/compositor.rs
os_compositor_session_positive
os_compositor_session_negative
scripts/os-acceptance/compositor.mjs

Geçiş koşulu

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Ölü pencerenin input yüzeyi reuse olmaz.

Uygulanacak işlem

Tek ürün Image'ında “Yeni pencere eski mesajı reddeder” kabulünü koştur. scripts/os-acceptance/compositor.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

Ölü pencerenin input yüzeyi reuse olmaz

Kod hedefi — henüz öneri

userspace/src/compositor.rs · os_compositor_session

Mevcut başlangıç referansı

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

Olumlu deney

Client kapanır yeni pencere

Karşı-örnek / hata girdisi

Eski window id mesajı

Gerçek konuk kabulü

Yeni pencere eski mesajı reddeder

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

userspace/tests/compositor.rs
os_compositor_session_positive
os_compositor_session_negative
scripts/os-acceptance/compositor.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Sonsuz redraw diğer uygulamayı aç bırakmaz.

Uygulanacak işlem

“UI CPU ve yüzey sınırları” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Sonsuz redraw diğer uygulamayı aç bırakmaz. “Üç farklı redraw hızı” kabulü ile “Bir client frame fırtınası” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Sonsuz redraw diğer uygulamayı aç bırakmaz

Kod hedefi — henüz öneri

userspace/src/compositor.rs · os_compositor_limits

Mevcut başlangıç referansı

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

Olumlu deney

Üç farklı redraw hızı

Karşı-örnek / hata girdisi

Bir client frame fırtınası

Gerçek konuk kabulü

Throttle drop ve ilerleme raporu

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

userspace/tests/compositor.rs
os_compositor_limits_positive
os_compositor_limits_negative
scripts/os-acceptance/compositor.mjs

Geçiş koşulu

Tür ve geçiş tablosu Sonsuz redraw diğer uygulamayı aç bırakmaz 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 client frame fırtınası” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Sonsuz redraw diğer uygulamayı aç bırakmaz.

Uygulanacak işlem

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

Sonsuz redraw diğer uygulamayı aç bırakmaz

Kod hedefi — henüz öneri

userspace/src/compositor.rs · os_compositor_limits

Mevcut başlangıç referansı

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

Olumlu deney

Üç farklı redraw hızı

Karşı-örnek / hata girdisi

Bir client frame fırtınası

Gerçek konuk kabulü

Throttle drop ve ilerleme raporu

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

userspace/tests/compositor.rs
os_compositor_limits_positive
os_compositor_limits_negative
scripts/os-acceptance/compositor.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Üç farklı redraw hızı ile Bir client frame fırtınası ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Sonsuz redraw diğer uygulamayı aç bırakmaz.

Uygulanacak işlem

os_compositor_limits_positive testini oluştur: “Üç farklı redraw hızı”. 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

Sonsuz redraw diğer uygulamayı aç bırakmaz

Kod hedefi — henüz öneri

userspace/src/compositor.rs · os_compositor_limits

Mevcut başlangıç referansı

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

Olumlu deney

Üç farklı redraw hızı

Karşı-örnek / hata girdisi

Bir client frame fırtınası

Gerçek konuk kabulü

Throttle drop ve ilerleme raporu

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

userspace/tests/compositor.rs
os_compositor_limits_positive
os_compositor_limits_negative
scripts/os-acceptance/compositor.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Sonsuz redraw diğer uygulamayı aç bırakmaz.

Uygulanacak işlem

os_compositor_limits_negative testini oluştur: “Bir client frame fırtınası”. 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

Sonsuz redraw diğer uygulamayı aç bırakmaz

Kod hedefi — henüz öneri

userspace/src/compositor.rs · os_compositor_limits

Mevcut başlangıç referansı

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

Olumlu deney

Üç farklı redraw hızı

Karşı-örnek / hata girdisi

Bir client frame fırtınası

Gerçek konuk kabulü

Throttle drop ve ilerleme raporu

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

userspace/tests/compositor.rs
os_compositor_limits_positive
os_compositor_limits_negative
scripts/os-acceptance/compositor.mjs

Geçiş koşulu

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Sonsuz redraw diğer uygulamayı aç bırakmaz.

Uygulanacak işlem

Tek ürün Image'ında “Throttle drop ve ilerleme raporu” kabulünü koştur. scripts/os-acceptance/compositor.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

Sonsuz redraw diğer uygulamayı aç bırakmaz

Kod hedefi — henüz öneri

userspace/src/compositor.rs · os_compositor_limits

Mevcut başlangıç referansı

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

Olumlu deney

Üç farklı redraw hızı

Karşı-örnek / hata girdisi

Bir client frame fırtınası

Gerçek konuk kabulü

Throttle drop ve ilerleme raporu

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

userspace/tests/compositor.rs
os_compositor_limits_positive
os_compositor_limits_negative
scripts/os-acceptance/compositor.mjs

Geçiş koşulu

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: PTY taraf ömrü ve backpressure açıktır.

Uygulanacak işlem

“Pseudo terminal byte akışı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: PTY taraf ömrü ve backpressure açıktır. “Shell reader writer” kabulü ile “Reader kapanır writer dolu” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

PTY taraf ömrü ve backpressure açıktır

Kod hedefi — henüz öneri

userspace/src/guest_terminal.rs · os_guest_terminal_pty

Mevcut başlangıç referansı

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

Olumlu deney

Shell reader writer

Karşı-örnek / hata girdisi

Reader kapanır writer dolu

Gerçek konuk kabulü

EOF hata ve wake tek teslim

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

userspace/tests/guest_terminal.rs
os_guest_terminal_pty_positive
os_guest_terminal_pty_negative
scripts/os-acceptance/guest_terminal.mjs

Geçiş koşulu

Tür ve geçiş tablosu PTY taraf ömrü ve backpressure açıktı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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: PTY taraf ömrü ve backpressure açıktır.

Uygulanacak işlem

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

Değişmez / korunan bağlam

PTY taraf ömrü ve backpressure açıktır

Kod hedefi — henüz öneri

userspace/src/guest_terminal.rs · os_guest_terminal_pty

Mevcut başlangıç referansı

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

Olumlu deney

Shell reader writer

Karşı-örnek / hata girdisi

Reader kapanır writer dolu

Gerçek konuk kabulü

EOF hata ve wake tek teslim

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

userspace/tests/guest_terminal.rs
os_guest_terminal_pty_positive
os_guest_terminal_pty_negative
scripts/os-acceptance/guest_terminal.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Shell reader writer ile Reader kapanır writer dolu ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: PTY taraf ömrü ve backpressure açıktır.

Uygulanacak işlem

os_guest_terminal_pty_positive testini oluştur: “Shell reader writer”. 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

PTY taraf ömrü ve backpressure açıktır

Kod hedefi — henüz öneri

userspace/src/guest_terminal.rs · os_guest_terminal_pty

Mevcut başlangıç referansı

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

Olumlu deney

Shell reader writer

Karşı-örnek / hata girdisi

Reader kapanır writer dolu

Gerçek konuk kabulü

EOF hata ve wake tek teslim

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

userspace/tests/guest_terminal.rs
os_guest_terminal_pty_positive
os_guest_terminal_pty_negative
scripts/os-acceptance/guest_terminal.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: PTY taraf ömrü ve backpressure açıktır.

Uygulanacak işlem

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

Değişmez / korunan bağlam

PTY taraf ömrü ve backpressure açıktır

Kod hedefi — henüz öneri

userspace/src/guest_terminal.rs · os_guest_terminal_pty

Mevcut başlangıç referansı

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

Olumlu deney

Shell reader writer

Karşı-örnek / hata girdisi

Reader kapanır writer dolu

Gerçek konuk kabulü

EOF hata ve wake tek teslim

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

userspace/tests/guest_terminal.rs
os_guest_terminal_pty_positive
os_guest_terminal_pty_negative
scripts/os-acceptance/guest_terminal.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: PTY taraf ömrü ve backpressure açıktır.

Uygulanacak işlem

Tek ürün Image'ında “EOF hata ve wake tek teslim” kabulünü koştur. scripts/os-acceptance/guest_terminal.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

PTY taraf ömrü ve backpressure açıktır

Kod hedefi — henüz öneri

userspace/src/guest_terminal.rs · os_guest_terminal_pty

Mevcut başlangıç referansı

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

Olumlu deney

Shell reader writer

Karşı-örnek / hata girdisi

Reader kapanır writer dolu

Gerçek konuk kabulü

EOF hata ve wake tek teslim

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

userspace/tests/guest_terminal.rs
os_guest_terminal_pty_positive
os_guest_terminal_pty_negative
scripts/os-acceptance/guest_terminal.mjs

Geçiş koşulu

EOF hata ve wake tek teslim; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Desteklenmeyen escape bounded reddedilir.

Uygulanacak işlem

“Sınırlı ANSI terminal” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Desteklenmeyen escape bounded reddedilir. “Cursor renk ve clear” kabulü ile “Sonsuz escape parametresi” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Desteklenmeyen escape bounded reddedilir

Kod hedefi — henüz öneri

userspace/src/guest_terminal.rs · os_guest_terminal_terminal_protocol

Mevcut başlangıç referansı

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

Olumlu deney

Cursor renk ve clear

Karşı-örnek / hata girdisi

Sonsuz escape parametresi

Gerçek konuk kabulü

Terminal parser paniksiz devam

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

userspace/tests/guest_terminal.rs
os_guest_terminal_terminal_protocol_positive
os_guest_terminal_terminal_protocol_negative
scripts/os-acceptance/guest_terminal.mjs

Geçiş koşulu

Tür ve geçiş tablosu Desteklenmeyen escape bounded 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Desteklenmeyen escape bounded reddedilir.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Desteklenmeyen escape bounded reddedilir

Kod hedefi — henüz öneri

userspace/src/guest_terminal.rs · os_guest_terminal_terminal_protocol

Mevcut başlangıç referansı

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

Olumlu deney

Cursor renk ve clear

Karşı-örnek / hata girdisi

Sonsuz escape parametresi

Gerçek konuk kabulü

Terminal parser paniksiz devam

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

userspace/tests/guest_terminal.rs
os_guest_terminal_terminal_protocol_positive
os_guest_terminal_terminal_protocol_negative
scripts/os-acceptance/guest_terminal.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Cursor renk ve clear ile Sonsuz escape parametresi ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Desteklenmeyen escape bounded reddedilir.

Uygulanacak işlem

os_guest_terminal_terminal_protocol_positive testini oluştur: “Cursor renk ve clear”. 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

Desteklenmeyen escape bounded reddedilir

Kod hedefi — henüz öneri

userspace/src/guest_terminal.rs · os_guest_terminal_terminal_protocol

Mevcut başlangıç referansı

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

Olumlu deney

Cursor renk ve clear

Karşı-örnek / hata girdisi

Sonsuz escape parametresi

Gerçek konuk kabulü

Terminal parser paniksiz devam

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

userspace/tests/guest_terminal.rs
os_guest_terminal_terminal_protocol_positive
os_guest_terminal_terminal_protocol_negative
scripts/os-acceptance/guest_terminal.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Desteklenmeyen escape bounded reddedilir.

Uygulanacak işlem

os_guest_terminal_terminal_protocol_negative testini oluştur: “Sonsuz escape parametresi”. 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

Desteklenmeyen escape bounded reddedilir

Kod hedefi — henüz öneri

userspace/src/guest_terminal.rs · os_guest_terminal_terminal_protocol

Mevcut başlangıç referansı

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

Olumlu deney

Cursor renk ve clear

Karşı-örnek / hata girdisi

Sonsuz escape parametresi

Gerçek konuk kabulü

Terminal parser paniksiz devam

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

userspace/tests/guest_terminal.rs
os_guest_terminal_terminal_protocol_positive
os_guest_terminal_terminal_protocol_negative
scripts/os-acceptance/guest_terminal.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Desteklenmeyen escape bounded reddedilir.

Uygulanacak işlem

Tek ürün Image'ında “Terminal parser paniksiz devam” kabulünü koştur. scripts/os-acceptance/guest_terminal.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

Desteklenmeyen escape bounded reddedilir

Kod hedefi — henüz öneri

userspace/src/guest_terminal.rs · os_guest_terminal_terminal_protocol

Mevcut başlangıç referansı

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

Olumlu deney

Cursor renk ve clear

Karşı-örnek / hata girdisi

Sonsuz escape parametresi

Gerçek konuk kabulü

Terminal parser paniksiz devam

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

userspace/tests/guest_terminal.rs
os_guest_terminal_terminal_protocol_positive
os_guest_terminal_terminal_protocol_negative
scripts/os-acceptance/guest_terminal.mjs

Geçiş koşulu

Terminal parser paniksiz 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Piksel test insan erişim incelemesi değildir.

Uygulanacak işlem

“Metin odak erişim ağacı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Piksel test insan erişim incelemesi değildir. “Başlık metin cursor düğümleri” kabulü ile “Sadece screenshot PASS kaydı” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Piksel test insan erişim incelemesi değildir

Kod hedefi — henüz öneri

userspace/src/guest_terminal.rs · os_guest_terminal_semantics

Mevcut başlangıç referansı

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

Olumlu deney

Başlık metin cursor düğümleri

Karşı-örnek / hata girdisi

Sadece screenshot PASS kaydı

Gerçek konuk kabulü

Semantik ağaç ayrı tanı üretir

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

userspace/tests/guest_terminal.rs
os_guest_terminal_semantics_positive
os_guest_terminal_semantics_negative
scripts/os-acceptance/guest_terminal.mjs

Geçiş koşulu

Tür ve geçiş tablosu Piksel test insan erişim incelemesi değildir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Piksel test insan erişim incelemesi değildir.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Piksel test insan erişim incelemesi değildir

Kod hedefi — henüz öneri

userspace/src/guest_terminal.rs · os_guest_terminal_semantics

Mevcut başlangıç referansı

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

Olumlu deney

Başlık metin cursor düğümleri

Karşı-örnek / hata girdisi

Sadece screenshot PASS kaydı

Gerçek konuk kabulü

Semantik ağaç ayrı tanı üretir

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

userspace/tests/guest_terminal.rs
os_guest_terminal_semantics_positive
os_guest_terminal_semantics_negative
scripts/os-acceptance/guest_terminal.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Başlık metin cursor düğümleri ile Sadece screenshot PASS kaydı ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Piksel test insan erişim incelemesi değildir.

Uygulanacak işlem

os_guest_terminal_semantics_positive testini oluştur: “Başlık metin cursor düğümleri”. 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

Piksel test insan erişim incelemesi değildir

Kod hedefi — henüz öneri

userspace/src/guest_terminal.rs · os_guest_terminal_semantics

Mevcut başlangıç referansı

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

Olumlu deney

Başlık metin cursor düğümleri

Karşı-örnek / hata girdisi

Sadece screenshot PASS kaydı

Gerçek konuk kabulü

Semantik ağaç ayrı tanı üretir

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

userspace/tests/guest_terminal.rs
os_guest_terminal_semantics_positive
os_guest_terminal_semantics_negative
scripts/os-acceptance/guest_terminal.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Başlık metin cursor düğümleri girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Piksel test insan erişim incelemesi değildir.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Piksel test insan erişim incelemesi değildir

Kod hedefi — henüz öneri

userspace/src/guest_terminal.rs · os_guest_terminal_semantics

Mevcut başlangıç referansı

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

Olumlu deney

Başlık metin cursor düğümleri

Karşı-örnek / hata girdisi

Sadece screenshot PASS kaydı

Gerçek konuk kabulü

Semantik ağaç ayrı tanı üretir

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

userspace/tests/guest_terminal.rs
os_guest_terminal_semantics_positive
os_guest_terminal_semantics_negative
scripts/os-acceptance/guest_terminal.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: Piksel test insan erişim incelemesi değildir.

Uygulanacak işlem

Tek ürün Image'ında “Semantik ağaç ayrı tanı üretir” kabulünü koştur. scripts/os-acceptance/guest_terminal.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

Piksel test insan erişim incelemesi değildir

Kod hedefi — henüz öneri

userspace/src/guest_terminal.rs · os_guest_terminal_semantics

Mevcut başlangıç referansı

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

Olumlu deney

Başlık metin cursor düğümleri

Karşı-örnek / hata girdisi

Sadece screenshot PASS kaydı

Gerçek konuk kabulü

Semantik ağaç ayrı tanı üretir

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

userspace/tests/guest_terminal.rs
os_guest_terminal_semantics_positive
os_guest_terminal_semantics_negative
scripts/os-acceptance/guest_terminal.mjs

Geçiş koşulu

Semantik ağaç ayrı tanı ü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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: İnsan oturumu otomasyondan ayrılır.

Uygulanacak işlem

“Gerçek kullanıcı ve okuyucu oturumu” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: İnsan oturumu otomasyondan ayrılır. “Gerçek reviewer klavye metin okur” kabulü ile “AI üretilmiş reviewer beyanı” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

İnsan oturumu otomasyondan ayrılır

Kod hedefi — henüz öneri

userspace/src/guest_terminal.rs · os_guest_terminal_human_review

Mevcut başlangıç referansı

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

Olumlu deney

Gerçek reviewer klavye metin okur

Karşı-örnek / hata girdisi

AI üretilmiş reviewer beyanı

Gerçek konuk kabulü

K589 kapanışı gerçek kanıta bağlı kalır

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

userspace/tests/guest_terminal.rs
os_guest_terminal_human_review_positive
os_guest_terminal_human_review_negative
scripts/os-acceptance/guest_terminal.mjs

Geçiş koşulu

Tür ve geçiş tablosu İnsan oturumu otomasyondan ayrılır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: İnsan oturumu otomasyondan ayrılır.

Uygulanacak işlem

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

Değişmez / korunan bağlam

İnsan oturumu otomasyondan ayrılır

Kod hedefi — henüz öneri

userspace/src/guest_terminal.rs · os_guest_terminal_human_review

Mevcut başlangıç referansı

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

Olumlu deney

Gerçek reviewer klavye metin okur

Karşı-örnek / hata girdisi

AI üretilmiş reviewer beyanı

Gerçek konuk kabulü

K589 kapanışı gerçek kanıta bağlı kalır

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

userspace/tests/guest_terminal.rs
os_guest_terminal_human_review_positive
os_guest_terminal_human_review_negative
scripts/os-acceptance/guest_terminal.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Gerçek reviewer klavye metin okur ile AI üretilmiş reviewer beyanı ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: İnsan oturumu otomasyondan ayrılır.

Uygulanacak işlem

os_guest_terminal_human_review_positive testini oluştur: “Gerçek reviewer klavye metin okur”. 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

İnsan oturumu otomasyondan ayrılır

Kod hedefi — henüz öneri

userspace/src/guest_terminal.rs · os_guest_terminal_human_review

Mevcut başlangıç referansı

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

Olumlu deney

Gerçek reviewer klavye metin okur

Karşı-örnek / hata girdisi

AI üretilmiş reviewer beyanı

Gerçek konuk kabulü

K589 kapanışı gerçek kanıta bağlı kalır

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

userspace/tests/guest_terminal.rs
os_guest_terminal_human_review_positive
os_guest_terminal_human_review_negative
scripts/os-acceptance/guest_terminal.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Gerçek reviewer klavye metin okur girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: İnsan oturumu otomasyondan ayrılır.

Uygulanacak işlem

os_guest_terminal_human_review_negative testini oluştur: “AI üretilmiş reviewer beyanı”. 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

İnsan oturumu otomasyondan ayrılır

Kod hedefi — henüz öneri

userspace/src/guest_terminal.rs · os_guest_terminal_human_review

Mevcut başlangıç referansı

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

Olumlu deney

Gerçek reviewer klavye metin okur

Karşı-örnek / hata girdisi

AI üretilmiş reviewer beyanı

Gerçek konuk kabulü

K589 kapanışı gerçek kanıta bağlı kalır

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

userspace/tests/guest_terminal.rs
os_guest_terminal_human_review_positive
os_guest_terminal_human_review_negative
scripts/os-acceptance/guest_terminal.mjs

Geçiş koşulu

AI üretilmiş reviewer beyanı 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar. Bu hamlenin koruduğu değişmez: İnsan oturumu otomasyondan ayrılır.

Uygulanacak işlem

Tek ürün Image'ında “K589 kapanışı gerçek kanıta bağlı kalır” kabulünü koştur. scripts/os-acceptance/guest_terminal.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

İnsan oturumu otomasyondan ayrılır

Kod hedefi — henüz öneri

userspace/src/guest_terminal.rs · os_guest_terminal_human_review

Mevcut başlangıç referansı

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

Olumlu deney

Gerçek reviewer klavye metin okur

Karşı-örnek / hata girdisi

AI üretilmiş reviewer beyanı

Gerçek konuk kabulü

K589 kapanışı gerçek kanıta bağlı kalır

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

userspace/tests/guest_terminal.rs
os_guest_terminal_human_review_positive
os_guest_terminal_human_review_negative
scripts/os-acceptance/guest_terminal.mjs

Geçiş koşulu

K589 kapanışı gerçek kanıta bağlı kalır; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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