Genel ELF exec ve kullanıcı belleği

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Offset count stride dosya boyuyla sınırlıdır.

Uygulanacak işlem

“ELF program header aralığı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Offset count stride dosya boyuyla sınırlıdır. “Üç geçerli PT_LOAD” kabulü ile “Header tablosu overflow” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Offset count stride dosya boyuyla sınırlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/elf_loader.rs · os_elf_loader_headers

Mevcut başlangıç referansı

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

Olumlu deney

Üç geçerli PT_LOAD

Karşı-örnek / hata girdisi

Header tablosu overflow

Gerçek konuk kabulü

Bozuk dosya map yayımlamaz

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

kernel/tests/os/elf_loader.rs
os_elf_loader_headers_positive
os_elf_loader_headers_negative
scripts/os-acceptance/elf_loader.mjs

Geçiş koşulu

Tür ve geçiş tablosu Offset count stride dosya boyuyla 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üş

“Header tablosu 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/K1705: PASS.

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Offset count stride dosya boyuyla sınırlıdır.

Uygulanacak işlem

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

Offset count stride dosya boyuyla sınırlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/elf_loader.rs · os_elf_loader_headers

Mevcut başlangıç referansı

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

Olumlu deney

Üç geçerli PT_LOAD

Karşı-örnek / hata girdisi

Header tablosu overflow

Gerçek konuk kabulü

Bozuk dosya map yayımlamaz

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

kernel/tests/os/elf_loader.rs
os_elf_loader_headers_positive
os_elf_loader_headers_negative
scripts/os-acceptance/elf_loader.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Üç geçerli PT_LOAD ile Header tablosu overflow ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Header tablosu 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/K1705: PASS.

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Offset count stride dosya boyuyla sınırlıdır.

Uygulanacak işlem

os_elf_loader_headers_positive testini oluştur: “Üç geçerli PT_LOAD”. 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

Offset count stride dosya boyuyla sınırlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/elf_loader.rs · os_elf_loader_headers

Mevcut başlangıç referansı

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

Olumlu deney

Üç geçerli PT_LOAD

Karşı-örnek / hata girdisi

Header tablosu overflow

Gerçek konuk kabulü

Bozuk dosya map yayımlamaz

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

kernel/tests/os/elf_loader.rs
os_elf_loader_headers_positive
os_elf_loader_headers_negative
scripts/os-acceptance/elf_loader.mjs

Geçiş koşulu

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

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

“Header tablosu 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/K1705: PASS.

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Offset count stride dosya boyuyla sınırlıdır.

Uygulanacak işlem

os_elf_loader_headers_negative testini oluştur: “Header tablosu 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

Offset count stride dosya boyuyla sınırlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/elf_loader.rs · os_elf_loader_headers

Mevcut başlangıç referansı

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

Olumlu deney

Üç geçerli PT_LOAD

Karşı-örnek / hata girdisi

Header tablosu overflow

Gerçek konuk kabulü

Bozuk dosya map yayımlamaz

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

kernel/tests/os/elf_loader.rs
os_elf_loader_headers_positive
os_elf_loader_headers_negative
scripts/os-acceptance/elf_loader.mjs

Geçiş koşulu

Header tablosu 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üş

“Header tablosu 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/K1705: PASS.

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Offset count stride dosya boyuyla sınırlıdır.

Uygulanacak işlem

Tek ürün Image'ında “Bozuk dosya map yayımlamaz” kabulünü koştur. scripts/os-acceptance/elf_loader.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

Offset count stride dosya boyuyla sınırlıdır

Kod hedefi — henüz öneri

kernel/src/runtime/elf_loader.rs · os_elf_loader_headers

Mevcut başlangıç referansı

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

Olumlu deney

Üç geçerli PT_LOAD

Karşı-örnek / hata girdisi

Header tablosu overflow

Gerçek konuk kabulü

Bozuk dosya map yayımlamaz

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

kernel/tests/os/elf_loader.rs
os_elf_loader_headers_positive
os_elf_loader_headers_negative
scripts/os-acceptance/elf_loader.mjs

Geçiş koşulu

Bozuk dosya map yayımlamaz; 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üş

“Header tablosu 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/K1705: PASS.

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Her segment W xor X ve ayrık VAdadır.

Uygulanacak işlem

“ELF RX RO RW segmentleri” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Her segment W xor X ve ayrık VAdadır. “Kod rodata veri BSS” kabulü ile “RWX segment veya örtüşme” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Her segment W xor X ve ayrık VAdadır

Kod hedefi — henüz öneri

kernel/src/runtime/elf_loader.rs · os_elf_loader_segments

Mevcut başlangıç referansı

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

Olumlu deney

Kod rodata veri BSS

Karşı-örnek / hata girdisi

RWX segment veya örtüşme

Gerçek konuk kabulü

Gerçek program doğru izinlerle çalışır

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

kernel/tests/os/elf_loader.rs
os_elf_loader_segments_positive
os_elf_loader_segments_negative
scripts/os-acceptance/elf_loader.mjs

Geçiş koşulu

Tür ve geçiş tablosu Her segment W xor X ve ayrık VAdadı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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Her segment W xor X ve ayrık VAdadır.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Her segment W xor X ve ayrık VAdadır

Kod hedefi — henüz öneri

kernel/src/runtime/elf_loader.rs · os_elf_loader_segments

Mevcut başlangıç referansı

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

Olumlu deney

Kod rodata veri BSS

Karşı-örnek / hata girdisi

RWX segment veya örtüşme

Gerçek konuk kabulü

Gerçek program doğru izinlerle çalışır

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

kernel/tests/os/elf_loader.rs
os_elf_loader_segments_positive
os_elf_loader_segments_negative
scripts/os-acceptance/elf_loader.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Kod rodata veri BSS ile RWX segment veya örtüşme ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Her segment W xor X ve ayrık VAdadır.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Her segment W xor X ve ayrık VAdadır

Kod hedefi — henüz öneri

kernel/src/runtime/elf_loader.rs · os_elf_loader_segments

Mevcut başlangıç referansı

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

Olumlu deney

Kod rodata veri BSS

Karşı-örnek / hata girdisi

RWX segment veya örtüşme

Gerçek konuk kabulü

Gerçek program doğru izinlerle çalışır

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

kernel/tests/os/elf_loader.rs
os_elf_loader_segments_positive
os_elf_loader_segments_negative
scripts/os-acceptance/elf_loader.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Her segment W xor X ve ayrık VAdadır.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Her segment W xor X ve ayrık VAdadır

Kod hedefi — henüz öneri

kernel/src/runtime/elf_loader.rs · os_elf_loader_segments

Mevcut başlangıç referansı

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

Olumlu deney

Kod rodata veri BSS

Karşı-örnek / hata girdisi

RWX segment veya örtüşme

Gerçek konuk kabulü

Gerçek program doğru izinlerle çalışır

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

kernel/tests/os/elf_loader.rs
os_elf_loader_segments_positive
os_elf_loader_segments_negative
scripts/os-acceptance/elf_loader.mjs

Geçiş koşulu

RWX segment veya örtüşme 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Her segment W xor X ve ayrık VAdadır.

Uygulanacak işlem

Tek ürün Image'ında “Gerçek program doğru izinlerle çalışır” kabulünü koştur. scripts/os-acceptance/elf_loader.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.

Değişmez / korunan bağlam

Her segment W xor X ve ayrık VAdadır

Kod hedefi — henüz öneri

kernel/src/runtime/elf_loader.rs · os_elf_loader_segments

Mevcut başlangıç referansı

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

Olumlu deney

Kod rodata veri BSS

Karşı-örnek / hata girdisi

RWX segment veya örtüşme

Gerçek konuk kabulü

Gerçek program doğru izinlerle çalışır

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

kernel/tests/os/elf_loader.rs
os_elf_loader_segments_positive
os_elf_loader_segments_negative
scripts/os-acceptance/elf_loader.mjs

Geçiş koşulu

Gerçek program doğru izinlerle ç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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: File dışı byte yeni kullanıcıya sıfırdır.

Uygulanacak işlem

“BSS ve kısmi sayfa sıfırlama” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: File dışı byte yeni kullanıcıya sıfırdır. “Son sayfada 17 file byte” kabulü ile “BSS önceki dosya sırrını taşır” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

File dışı byte yeni kullanıcıya sıfırdır

Kod hedefi — henüz öneri

kernel/src/runtime/elf_loader.rs · os_elf_loader_bss

Mevcut başlangıç referansı

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

Olumlu deney

Son sayfada 17 file byte

Karşı-örnek / hata girdisi

BSS önceki dosya sırrını taşır

Gerçek konuk kabulü

Kullanıcı bütün BSSyi sıfır okur

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

kernel/tests/os/elf_loader.rs
os_elf_loader_bss_positive
os_elf_loader_bss_negative
scripts/os-acceptance/elf_loader.mjs

Geçiş koşulu

Tür ve geçiş tablosu File dışı byte yeni kullanıcıya sıfırdı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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: File dışı byte yeni kullanıcıya sıfırdır.

Uygulanacak işlem

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

File dışı byte yeni kullanıcıya sıfırdır

Kod hedefi — henüz öneri

kernel/src/runtime/elf_loader.rs · os_elf_loader_bss

Mevcut başlangıç referansı

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

Olumlu deney

Son sayfada 17 file byte

Karşı-örnek / hata girdisi

BSS önceki dosya sırrını taşır

Gerçek konuk kabulü

Kullanıcı bütün BSSyi sıfır okur

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

kernel/tests/os/elf_loader.rs
os_elf_loader_bss_positive
os_elf_loader_bss_negative
scripts/os-acceptance/elf_loader.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Son sayfada 17 file byte ile BSS önceki dosya sırrını taşır ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: File dışı byte yeni kullanıcıya sıfırdır.

Uygulanacak işlem

os_elf_loader_bss_positive testini oluştur: “Son sayfada 17 file byte”. 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

File dışı byte yeni kullanıcıya sıfırdır

Kod hedefi — henüz öneri

kernel/src/runtime/elf_loader.rs · os_elf_loader_bss

Mevcut başlangıç referansı

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

Olumlu deney

Son sayfada 17 file byte

Karşı-örnek / hata girdisi

BSS önceki dosya sırrını taşır

Gerçek konuk kabulü

Kullanıcı bütün BSSyi sıfır okur

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

kernel/tests/os/elf_loader.rs
os_elf_loader_bss_positive
os_elf_loader_bss_negative
scripts/os-acceptance/elf_loader.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Son sayfada 17 file byte girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: File dışı byte yeni kullanıcıya sıfırdır.

Uygulanacak işlem

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

Değişmez / korunan bağlam

File dışı byte yeni kullanıcıya sıfırdır

Kod hedefi — henüz öneri

kernel/src/runtime/elf_loader.rs · os_elf_loader_bss

Mevcut başlangıç referansı

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

Olumlu deney

Son sayfada 17 file byte

Karşı-örnek / hata girdisi

BSS önceki dosya sırrını taşır

Gerçek konuk kabulü

Kullanıcı bütün BSSyi sıfır okur

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

kernel/tests/os/elf_loader.rs
os_elf_loader_bss_positive
os_elf_loader_bss_negative
scripts/os-acceptance/elf_loader.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: File dışı byte yeni kullanıcıya sıfırdır.

Uygulanacak işlem

Tek ürün Image'ında “Kullanıcı bütün BSSyi sıfır okur” kabulünü koştur. scripts/os-acceptance/elf_loader.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

File dışı byte yeni kullanıcıya sıfırdır

Kod hedefi — henüz öneri

kernel/src/runtime/elf_loader.rs · os_elf_loader_bss

Mevcut başlangıç referansı

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

Olumlu deney

Son sayfada 17 file byte

Karşı-örnek / hata girdisi

BSS önceki dosya sırrını taşır

Gerçek konuk kabulü

Kullanıcı bütün BSSyi sıfır okur

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

kernel/tests/os/elf_loader.rs
os_elf_loader_bss_positive
os_elf_loader_bss_negative
scripts/os-acceptance/elf_loader.mjs

Geçiş koşulu

Kullanıcı bütün BSSyi sıfır okur; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Entry gerçek RX file aralığı içindedir.

Uygulanacak işlem

“ELF entry doğrulama” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Entry gerçek RX file aralığı içindedir. “Kod içinde hizalı entry” kabulü ile “BSSye veya kernel VAdan entry” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Entry gerçek RX file aralığı içindedir

Kod hedefi — henüz öneri

kernel/src/runtime/elf_loader.rs · os_elf_loader_entry

Mevcut başlangıç referansı

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

Olumlu deney

Kod içinde hizalı entry

Karşı-örnek / hata girdisi

BSSye veya kernel VAdan entry

Gerçek konuk kabulü

Exec ERETten önce ret verir

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

kernel/tests/os/elf_loader.rs
os_elf_loader_entry_positive
os_elf_loader_entry_negative
scripts/os-acceptance/elf_loader.mjs

Geçiş koşulu

Tür ve geçiş tablosu Entry gerçek RX file aralığı içindedir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Entry gerçek RX file aralığı içindedir.

Uygulanacak işlem

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

Entry gerçek RX file aralığı içindedir

Kod hedefi — henüz öneri

kernel/src/runtime/elf_loader.rs · os_elf_loader_entry

Mevcut başlangıç referansı

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

Olumlu deney

Kod içinde hizalı entry

Karşı-örnek / hata girdisi

BSSye veya kernel VAdan entry

Gerçek konuk kabulü

Exec ERETten önce ret verir

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

kernel/tests/os/elf_loader.rs
os_elf_loader_entry_positive
os_elf_loader_entry_negative
scripts/os-acceptance/elf_loader.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Kod içinde hizalı entry ile BSSye veya kernel VAdan entry ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Entry gerçek RX file aralığı içindedir.

Uygulanacak işlem

os_elf_loader_entry_positive testini oluştur: “Kod içinde hizalı entry”. 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

Entry gerçek RX file aralığı içindedir

Kod hedefi — henüz öneri

kernel/src/runtime/elf_loader.rs · os_elf_loader_entry

Mevcut başlangıç referansı

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

Olumlu deney

Kod içinde hizalı entry

Karşı-örnek / hata girdisi

BSSye veya kernel VAdan entry

Gerçek konuk kabulü

Exec ERETten önce ret verir

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

kernel/tests/os/elf_loader.rs
os_elf_loader_entry_positive
os_elf_loader_entry_negative
scripts/os-acceptance/elf_loader.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Kod içinde hizalı entry girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Entry gerçek RX file aralığı içindedir.

Uygulanacak işlem

os_elf_loader_entry_negative testini oluştur: “BSSye veya kernel VAdan entry”. 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

Entry gerçek RX file aralığı içindedir

Kod hedefi — henüz öneri

kernel/src/runtime/elf_loader.rs · os_elf_loader_entry

Mevcut başlangıç referansı

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

Olumlu deney

Kod içinde hizalı entry

Karşı-örnek / hata girdisi

BSSye veya kernel VAdan entry

Gerçek konuk kabulü

Exec ERETten önce ret verir

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

kernel/tests/os/elf_loader.rs
os_elf_loader_entry_positive
os_elf_loader_entry_negative
scripts/os-acceptance/elf_loader.mjs

Geçiş koşulu

BSSye veya kernel VAdan entry 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Entry gerçek RX file aralığı içindedir.

Uygulanacak işlem

Tek ürün Image'ında “Exec ERETten önce ret verir” kabulünü koştur. scripts/os-acceptance/elf_loader.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

Entry gerçek RX file aralığı içindedir

Kod hedefi — henüz öneri

kernel/src/runtime/elf_loader.rs · os_elf_loader_entry

Mevcut başlangıç referansı

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

Olumlu deney

Kod içinde hizalı entry

Karşı-örnek / hata girdisi

BSSye veya kernel VAdan entry

Gerçek konuk kabulü

Exec ERETten önce ret verir

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

kernel/tests/os/elf_loader.rs
os_elf_loader_entry_positive
os_elf_loader_entry_negative
scripts/os-acceptance/elf_loader.mjs

Geçiş koşulu

Exec ERETten önce ret verir; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Büyüme stack guard ve maplere çarpmaz.

Uygulanacak işlem

“Süreç heap bölgesi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Büyüme stack guard ve maplere çarpmaz. “Bir sonra sekiz sayfa” kabulü ile “Heap stack içine büyür” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Büyüme stack guard ve maplere çarpmaz

Kod hedefi — henüz öneri

kernel/src/runtime/user_heap.rs · os_user_heap_heap_region

Mevcut başlangıç referansı

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

Olumlu deney

Bir sonra sekiz sayfa

Karşı-örnek / hata girdisi

Heap stack içine büyür

Gerçek konuk kabulü

ENOMEM eski heap boyunu korur

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

kernel/tests/os/user_heap.rs
os_user_heap_heap_region_positive
os_user_heap_heap_region_negative
scripts/os-acceptance/user_heap.mjs

Geçiş koşulu

Tür ve geçiş tablosu Büyüme stack guard ve maplere çarpmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Büyüme stack guard ve maplere çarpmaz.

Uygulanacak işlem

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

Büyüme stack guard ve maplere çarpmaz

Kod hedefi — henüz öneri

kernel/src/runtime/user_heap.rs · os_user_heap_heap_region

Mevcut başlangıç referansı

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

Olumlu deney

Bir sonra sekiz sayfa

Karşı-örnek / hata girdisi

Heap stack içine büyür

Gerçek konuk kabulü

ENOMEM eski heap boyunu korur

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

kernel/tests/os/user_heap.rs
os_user_heap_heap_region_positive
os_user_heap_heap_region_negative
scripts/os-acceptance/user_heap.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Bir sonra sekiz sayfa ile Heap stack içine büyür ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Büyüme stack guard ve maplere çarpmaz.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Büyüme stack guard ve maplere çarpmaz

Kod hedefi — henüz öneri

kernel/src/runtime/user_heap.rs · os_user_heap_heap_region

Mevcut başlangıç referansı

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

Olumlu deney

Bir sonra sekiz sayfa

Karşı-örnek / hata girdisi

Heap stack içine büyür

Gerçek konuk kabulü

ENOMEM eski heap boyunu korur

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

kernel/tests/os/user_heap.rs
os_user_heap_heap_region_positive
os_user_heap_heap_region_negative
scripts/os-acceptance/user_heap.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Büyüme stack guard ve maplere çarpmaz.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Büyüme stack guard ve maplere çarpmaz

Kod hedefi — henüz öneri

kernel/src/runtime/user_heap.rs · os_user_heap_heap_region

Mevcut başlangıç referansı

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

Olumlu deney

Bir sonra sekiz sayfa

Karşı-örnek / hata girdisi

Heap stack içine büyür

Gerçek konuk kabulü

ENOMEM eski heap boyunu korur

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

kernel/tests/os/user_heap.rs
os_user_heap_heap_region_positive
os_user_heap_heap_region_negative
scripts/os-acceptance/user_heap.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Büyüme stack guard ve maplere çarpmaz.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Büyüme stack guard ve maplere çarpmaz

Kod hedefi — henüz öneri

kernel/src/runtime/user_heap.rs · os_user_heap_heap_region

Mevcut başlangıç referansı

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

Olumlu deney

Bir sonra sekiz sayfa

Karşı-örnek / hata girdisi

Heap stack içine büyür

Gerçek konuk kabulü

ENOMEM eski heap boyunu korur

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

kernel/tests/os/user_heap.rs
os_user_heap_heap_region_positive
os_user_heap_heap_region_negative
scripts/os-acceptance/user_heap.mjs

Geçiş koşulu

ENOMEM eski heap boyunu korur; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Süreç kendi allocator metadata sahibidir.

Uygulanacak işlem

“Kullanıcı nesne API” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Süreç kendi allocator metadata sahibidir. “Farklı boy üç nesne” kabulü ile “Başka süreç pointer free” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Süreç kendi allocator metadata sahibidir

Kod hedefi — henüz öneri

kernel/src/runtime/user_heap.rs · os_user_heap_allocation

Mevcut başlangıç referansı

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

Olumlu deney

Farklı boy üç nesne

Karşı-örnek / hata girdisi

Başka süreç pointer free

Gerçek konuk kabulü

EFAULT veya allocator ret

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

kernel/tests/os/user_heap.rs
os_user_heap_allocation_positive
os_user_heap_allocation_negative
scripts/os-acceptance/user_heap.mjs

Geçiş koşulu

Tür ve geçiş tablosu Süreç kendi allocator metadata sahibidir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Başka süreç pointer 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/K1730: PASS.

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Süreç kendi allocator metadata sahibidir.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Süreç kendi allocator metadata sahibidir

Kod hedefi — henüz öneri

kernel/src/runtime/user_heap.rs · os_user_heap_allocation

Mevcut başlangıç referansı

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

Olumlu deney

Farklı boy üç nesne

Karşı-örnek / hata girdisi

Başka süreç pointer free

Gerçek konuk kabulü

EFAULT veya allocator ret

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

kernel/tests/os/user_heap.rs
os_user_heap_allocation_positive
os_user_heap_allocation_negative
scripts/os-acceptance/user_heap.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Farklı boy üç nesne ile Başka süreç pointer free ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Başka süreç pointer 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/K1730: PASS.

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Süreç kendi allocator metadata sahibidir.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Süreç kendi allocator metadata sahibidir

Kod hedefi — henüz öneri

kernel/src/runtime/user_heap.rs · os_user_heap_allocation

Mevcut başlangıç referansı

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

Olumlu deney

Farklı boy üç nesne

Karşı-örnek / hata girdisi

Başka süreç pointer free

Gerçek konuk kabulü

EFAULT veya allocator ret

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

kernel/tests/os/user_heap.rs
os_user_heap_allocation_positive
os_user_heap_allocation_negative
scripts/os-acceptance/user_heap.mjs

Geçiş koşulu

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

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

“Başka süreç pointer 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/K1730: PASS.

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Süreç kendi allocator metadata sahibidir.

Uygulanacak işlem

os_user_heap_allocation_negative testini oluştur: “Başka süreç pointer 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

Süreç kendi allocator metadata sahibidir

Kod hedefi — henüz öneri

kernel/src/runtime/user_heap.rs · os_user_heap_allocation

Mevcut başlangıç referansı

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

Olumlu deney

Farklı boy üç nesne

Karşı-örnek / hata girdisi

Başka süreç pointer free

Gerçek konuk kabulü

EFAULT veya allocator ret

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

kernel/tests/os/user_heap.rs
os_user_heap_allocation_positive
os_user_heap_allocation_negative
scripts/os-acceptance/user_heap.mjs

Geçiş koşulu

Başka süreç pointer 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üş

“Başka süreç pointer 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/K1730: PASS.

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Süreç kendi allocator metadata sahibidir.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Süreç kendi allocator metadata sahibidir

Kod hedefi — henüz öneri

kernel/src/runtime/user_heap.rs · os_user_heap_allocation

Mevcut başlangıç referansı

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

Olumlu deney

Farklı boy üç nesne

Karşı-örnek / hata girdisi

Başka süreç pointer free

Gerçek konuk kabulü

EFAULT veya allocator ret

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

kernel/tests/os/user_heap.rs
os_user_heap_allocation_positive
os_user_heap_allocation_negative
scripts/os-acceptance/user_heap.mjs

Geçiş koşulu

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

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

“Başka süreç pointer 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/K1730: PASS.

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Stackler guard ve quota ile ayrıdır.

Uygulanacak işlem

“Thread başına kullanıcı stack” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Stackler guard ve quota ile ayrıdır. “Aynı süreçte iki thread” kabulü ile “İki stack backing örtüşür” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Stackler guard ve quota ile ayrıdır

Kod hedefi — henüz öneri

kernel/src/runtime/user_heap.rs · os_user_heap_stack_limits

Mevcut başlangıç referansı

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

Olumlu deney

Aynı süreçte iki thread

Karşı-örnek / hata girdisi

İki stack backing örtüşür

Gerçek konuk kabulü

Thread yığınları birbirini değiştirmez

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

kernel/tests/os/user_heap.rs
os_user_heap_stack_limits_positive
os_user_heap_stack_limits_negative
scripts/os-acceptance/user_heap.mjs

Geçiş koşulu

Tür ve geçiş tablosu Stackler guard ve quota ile ayrıdır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Stackler guard ve quota ile ayrıdır.

Uygulanacak işlem

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

Stackler guard ve quota ile ayrıdır

Kod hedefi — henüz öneri

kernel/src/runtime/user_heap.rs · os_user_heap_stack_limits

Mevcut başlangıç referansı

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

Olumlu deney

Aynı süreçte iki thread

Karşı-örnek / hata girdisi

İki stack backing örtüşür

Gerçek konuk kabulü

Thread yığınları birbirini değiştirmez

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

kernel/tests/os/user_heap.rs
os_user_heap_stack_limits_positive
os_user_heap_stack_limits_negative
scripts/os-acceptance/user_heap.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Aynı süreçte iki thread ile İki stack backing örtüşür ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Stackler guard ve quota ile ayrıdır.

Uygulanacak işlem

os_user_heap_stack_limits_positive testini oluştur: “Aynı süreçte iki thread”. 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

Stackler guard ve quota ile ayrıdır

Kod hedefi — henüz öneri

kernel/src/runtime/user_heap.rs · os_user_heap_stack_limits

Mevcut başlangıç referansı

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

Olumlu deney

Aynı süreçte iki thread

Karşı-örnek / hata girdisi

İki stack backing örtüşür

Gerçek konuk kabulü

Thread yığınları birbirini değiştirmez

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

kernel/tests/os/user_heap.rs
os_user_heap_stack_limits_positive
os_user_heap_stack_limits_negative
scripts/os-acceptance/user_heap.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Aynı süreçte iki thread girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Stackler guard ve quota ile ayrıdır.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Stackler guard ve quota ile ayrıdır

Kod hedefi — henüz öneri

kernel/src/runtime/user_heap.rs · os_user_heap_stack_limits

Mevcut başlangıç referansı

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

Olumlu deney

Aynı süreçte iki thread

Karşı-örnek / hata girdisi

İki stack backing örtüşür

Gerçek konuk kabulü

Thread yığınları birbirini değiştirmez

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

kernel/tests/os/user_heap.rs
os_user_heap_stack_limits_positive
os_user_heap_stack_limits_negative
scripts/os-acceptance/user_heap.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Stackler guard ve quota ile ayrıdır.

Uygulanacak işlem

Tek ürün Image'ında “Thread yığınları birbirini değiştirmez” kabulünü koştur. scripts/os-acceptance/user_heap.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

Stackler guard ve quota ile ayrıdır

Kod hedefi — henüz öneri

kernel/src/runtime/user_heap.rs · os_user_heap_stack_limits

Mevcut başlangıç referansı

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

Olumlu deney

Aynı süreçte iki thread

Karşı-örnek / hata girdisi

İki stack backing örtüşür

Gerçek konuk kabulü

Thread yığınları birbirini değiştirmez

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

kernel/tests/os/user_heap.rs
os_user_heap_stack_limits_positive
os_user_heap_stack_limits_negative
scripts/os-acceptance/user_heap.mjs

Geçiş koşulu

Thread yığınları birbirini değiştirmez; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Aktif map pinleri bitmeden frame bırakılmaz.

Uygulanacak işlem

“Kullanıcı heap geri kazanımı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Aktif map pinleri bitmeden frame bırakılmaz. “Serbest nesnelerle boş sayfa” kabulü ile “Pinli buffer sayfasını shrink” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Aktif map pinleri bitmeden frame bırakılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/user_heap.rs · os_user_heap_reclaim

Mevcut başlangıç referansı

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

Olumlu deney

Serbest nesnelerle boş sayfa

Karşı-örnek / hata girdisi

Pinli buffer sayfasını shrink

Gerçek konuk kabulü

Kopya tamamlanınca tek iade

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

kernel/tests/os/user_heap.rs
os_user_heap_reclaim_positive
os_user_heap_reclaim_negative
scripts/os-acceptance/user_heap.mjs

Geçiş koşulu

Tür ve geçiş tablosu Aktif map pinleri bitmeden frame bırakılmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Aktif map pinleri bitmeden frame bırakılmaz.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Aktif map pinleri bitmeden frame bırakılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/user_heap.rs · os_user_heap_reclaim

Mevcut başlangıç referansı

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

Olumlu deney

Serbest nesnelerle boş sayfa

Karşı-örnek / hata girdisi

Pinli buffer sayfasını shrink

Gerçek konuk kabulü

Kopya tamamlanınca tek iade

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

kernel/tests/os/user_heap.rs
os_user_heap_reclaim_positive
os_user_heap_reclaim_negative
scripts/os-acceptance/user_heap.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Serbest nesnelerle boş sayfa ile Pinli buffer sayfasını shrink ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Aktif map pinleri bitmeden frame bırakılmaz.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Aktif map pinleri bitmeden frame bırakılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/user_heap.rs · os_user_heap_reclaim

Mevcut başlangıç referansı

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

Olumlu deney

Serbest nesnelerle boş sayfa

Karşı-örnek / hata girdisi

Pinli buffer sayfasını shrink

Gerçek konuk kabulü

Kopya tamamlanınca tek iade

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

kernel/tests/os/user_heap.rs
os_user_heap_reclaim_positive
os_user_heap_reclaim_negative
scripts/os-acceptance/user_heap.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Serbest nesnelerle boş sayfa girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Aktif map pinleri bitmeden frame bırakılmaz.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Aktif map pinleri bitmeden frame bırakılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/user_heap.rs · os_user_heap_reclaim

Mevcut başlangıç referansı

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

Olumlu deney

Serbest nesnelerle boş sayfa

Karşı-örnek / hata girdisi

Pinli buffer sayfasını shrink

Gerçek konuk kabulü

Kopya tamamlanınca tek iade

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

kernel/tests/os/user_heap.rs
os_user_heap_reclaim_positive
os_user_heap_reclaim_negative
scripts/os-acceptance/user_heap.mjs

Geçiş koşulu

Pinli buffer sayfasını shrink 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Aktif map pinleri bitmeden frame bırakılmaz.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Aktif map pinleri bitmeden frame bırakılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/user_heap.rs · os_user_heap_reclaim

Mevcut başlangıç referansı

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

Olumlu deney

Serbest nesnelerle boş sayfa

Karşı-örnek / hata girdisi

Pinli buffer sayfasını shrink

Gerçek konuk kabulü

Kopya tamamlanınca tek iade

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

kernel/tests/os/user_heap.rs
os_user_heap_reclaim_positive
os_user_heap_reclaim_negative
scripts/os-acceptance/user_heap.mjs

Geçiş koşulu

Kopya tamamlanınca tek iade; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: VA arama sınırlı ve çakışmasızdır.

Uygulanacak işlem

“Anonim map yer seçimi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: VA arama sınırlı ve çakışmasızdır. “Boşluklu üç bölge” kabulü ile “Tüm VA penceresi dolu” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

VA arama sınırlı ve çakışmasızdır

Kod hedefi — henüz öneri

kernel/src/runtime/user_mappings.rs · os_user_mappings_anonymous

Mevcut başlangıç referansı

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

Olumlu deney

Boşluklu üç bölge

Karşı-örnek / hata girdisi

Tüm VA penceresi dolu

Gerçek konuk kabulü

MAP başarısızlığında tablo sabit

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

kernel/tests/os/user_mappings.rs
os_user_mappings_anonymous_positive
os_user_mappings_anonymous_negative
scripts/os-acceptance/user_mappings.mjs

Geçiş koşulu

Tür ve geçiş tablosu VA arama sınırlı ve çakış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üş

“Tüm VA penceresi 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/K1745: PASS.

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: VA arama sınırlı ve çakışmasızdır.

Uygulanacak işlem

kernel/src/runtime/user_mappings.rs hedefinde os_user_mappings_anonymous 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

VA arama sınırlı ve çakışmasızdır

Kod hedefi — henüz öneri

kernel/src/runtime/user_mappings.rs · os_user_mappings_anonymous

Mevcut başlangıç referansı

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

Olumlu deney

Boşluklu üç bölge

Karşı-örnek / hata girdisi

Tüm VA penceresi dolu

Gerçek konuk kabulü

MAP başarısızlığında tablo sabit

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

kernel/tests/os/user_mappings.rs
os_user_mappings_anonymous_positive
os_user_mappings_anonymous_negative
scripts/os-acceptance/user_mappings.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Boşluklu üç bölge ile Tüm VA penceresi dolu ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Tüm VA penceresi 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/K1745: PASS.

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: VA arama sınırlı ve çakışmasızdır.

Uygulanacak işlem

os_user_mappings_anonymous_positive testini oluştur: “Boşluklu üç bölge”. 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

VA arama sınırlı ve çakışmasızdır

Kod hedefi — henüz öneri

kernel/src/runtime/user_mappings.rs · os_user_mappings_anonymous

Mevcut başlangıç referansı

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

Olumlu deney

Boşluklu üç bölge

Karşı-örnek / hata girdisi

Tüm VA penceresi dolu

Gerçek konuk kabulü

MAP başarısızlığında tablo sabit

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

kernel/tests/os/user_mappings.rs
os_user_mappings_anonymous_positive
os_user_mappings_anonymous_negative
scripts/os-acceptance/user_mappings.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Boşluklu üç bölge girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

“Tüm VA penceresi 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/K1745: PASS.

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: VA arama sınırlı ve çakışmasızdır.

Uygulanacak işlem

os_user_mappings_anonymous_negative testini oluştur: “Tüm VA penceresi 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

VA arama sınırlı ve çakışmasızdır

Kod hedefi — henüz öneri

kernel/src/runtime/user_mappings.rs · os_user_mappings_anonymous

Mevcut başlangıç referansı

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

Olumlu deney

Boşluklu üç bölge

Karşı-örnek / hata girdisi

Tüm VA penceresi dolu

Gerçek konuk kabulü

MAP başarısızlığında tablo sabit

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

kernel/tests/os/user_mappings.rs
os_user_mappings_anonymous_positive
os_user_mappings_anonymous_negative
scripts/os-acceptance/user_mappings.mjs

Geçiş koşulu

Tüm VA penceresi 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üş

“Tüm VA penceresi 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/K1745: PASS.

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: VA arama sınırlı ve çakışmasızdır.

Uygulanacak işlem

Tek ürün Image'ında “MAP başarısızlığında tablo sabit” kabulünü koştur. scripts/os-acceptance/user_mappings.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

VA arama sınırlı ve çakışmasızdır

Kod hedefi — henüz öneri

kernel/src/runtime/user_mappings.rs · os_user_mappings_anonymous

Mevcut başlangıç referansı

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

Olumlu deney

Boşluklu üç bölge

Karşı-örnek / hata girdisi

Tüm VA penceresi dolu

Gerçek konuk kabulü

MAP başarısızlığında tablo sabit

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

kernel/tests/os/user_mappings.rs
os_user_mappings_anonymous_positive
os_user_mappings_anonymous_negative
scripts/os-acceptance/user_mappings.mjs

Geçiş koşulu

MAP başarısızlığında tablo sabit; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

“Tüm VA penceresi 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/K1745: PASS.

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Son sayfa EOF ötesi sıfır olur.

Uygulanacak işlem

“Salt-okunur file mapping” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Son sayfa EOF ötesi sıfır olur. “513 bayt RO dosya” kabulü ile “Dosya boyundan büyük offset” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Son sayfa EOF ötesi sıfır olur

Kod hedefi — henüz öneri

kernel/src/runtime/user_mappings.rs · os_user_mappings_file_ro

Mevcut başlangıç referansı

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

Olumlu deney

513 bayt RO dosya

Karşı-örnek / hata girdisi

Dosya boyundan büyük offset

Gerçek konuk kabulü

Başka inode verisi sızmaz

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

kernel/tests/os/user_mappings.rs
os_user_mappings_file_ro_positive
os_user_mappings_file_ro_negative
scripts/os-acceptance/user_mappings.mjs

Geçiş koşulu

Tür ve geçiş tablosu Son sayfa EOF ötesi sıfır olur kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

“Dosya boyundan büyük 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/K1750: PASS.

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Son sayfa EOF ötesi sıfır olur.

Uygulanacak işlem

kernel/src/runtime/user_mappings.rs hedefinde os_user_mappings_file_ro 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

Son sayfa EOF ötesi sıfır olur

Kod hedefi — henüz öneri

kernel/src/runtime/user_mappings.rs · os_user_mappings_file_ro

Mevcut başlangıç referansı

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

Olumlu deney

513 bayt RO dosya

Karşı-örnek / hata girdisi

Dosya boyundan büyük offset

Gerçek konuk kabulü

Başka inode verisi sızmaz

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

kernel/tests/os/user_mappings.rs
os_user_mappings_file_ro_positive
os_user_mappings_file_ro_negative
scripts/os-acceptance/user_mappings.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. 513 bayt RO dosya ile Dosya boyundan büyük offset ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

“Dosya boyundan büyük 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/K1750: PASS.

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Son sayfa EOF ötesi sıfır olur.

Uygulanacak işlem

os_user_mappings_file_ro_positive testini oluştur: “513 bayt RO dosya”. 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

Son sayfa EOF ötesi sıfır olur

Kod hedefi — henüz öneri

kernel/src/runtime/user_mappings.rs · os_user_mappings_file_ro

Mevcut başlangıç referansı

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

Olumlu deney

513 bayt RO dosya

Karşı-örnek / hata girdisi

Dosya boyundan büyük offset

Gerçek konuk kabulü

Başka inode verisi sızmaz

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

kernel/tests/os/user_mappings.rs
os_user_mappings_file_ro_positive
os_user_mappings_file_ro_negative
scripts/os-acceptance/user_mappings.mjs

Geçiş koşulu

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

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

“Dosya boyundan büyük 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/K1750: PASS.

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Son sayfa EOF ötesi sıfır olur.

Uygulanacak işlem

os_user_mappings_file_ro_negative testini oluştur: “Dosya boyundan büyük 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

Son sayfa EOF ötesi sıfır olur

Kod hedefi — henüz öneri

kernel/src/runtime/user_mappings.rs · os_user_mappings_file_ro

Mevcut başlangıç referansı

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

Olumlu deney

513 bayt RO dosya

Karşı-örnek / hata girdisi

Dosya boyundan büyük offset

Gerçek konuk kabulü

Başka inode verisi sızmaz

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

kernel/tests/os/user_mappings.rs
os_user_mappings_file_ro_positive
os_user_mappings_file_ro_negative
scripts/os-acceptance/user_mappings.mjs

Geçiş koşulu

Dosya boyundan büyük 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üş

“Dosya boyundan büyük 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/K1750: PASS.

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Son sayfa EOF ötesi sıfır olur.

Uygulanacak işlem

Tek ürün Image'ında “Başka inode verisi sızmaz” kabulünü koştur. scripts/os-acceptance/user_mappings.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

Son sayfa EOF ötesi sıfır olur

Kod hedefi — henüz öneri

kernel/src/runtime/user_mappings.rs · os_user_mappings_file_ro

Mevcut başlangıç referansı

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

Olumlu deney

513 bayt RO dosya

Karşı-örnek / hata girdisi

Dosya boyundan büyük offset

Gerçek konuk kabulü

Başka inode verisi sızmaz

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

kernel/tests/os/user_mappings.rs
os_user_mappings_file_ro_positive
os_user_mappings_file_ro_negative
scripts/os-acceptance/user_mappings.mjs

Geçiş koşulu

Başka inode verisi sızmaz; 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üş

“Dosya boyundan büyük 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/K1750: PASS.

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Yazı kaynak dosyayı değiştirmez.

Uygulanacak işlem

“Özel dosya map COW” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Yazı kaynak dosyayı değiştirmez. “İki süreç aynı RO file” kabulü ile “COW kopya tahsisinde hata” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Yazı kaynak dosyayı değiştirmez

Kod hedefi — henüz öneri

kernel/src/runtime/user_mappings.rs · os_user_mappings_private

Mevcut başlangıç referansı

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

Olumlu deney

İki süreç aynı RO file

Karşı-örnek / hata girdisi

COW kopya tahsisinde hata

Gerçek konuk kabulü

A özel değişir kaynak hash sabit

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

kernel/tests/os/user_mappings.rs
os_user_mappings_private_positive
os_user_mappings_private_negative
scripts/os-acceptance/user_mappings.mjs

Geçiş koşulu

Tür ve geçiş tablosu Yazı kaynak dosyayı değiştirmez kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Yazı kaynak dosyayı değiştirmez.

Uygulanacak işlem

kernel/src/runtime/user_mappings.rs hedefinde os_user_mappings_private 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

Yazı kaynak dosyayı değiştirmez

Kod hedefi — henüz öneri

kernel/src/runtime/user_mappings.rs · os_user_mappings_private

Mevcut başlangıç referansı

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

Olumlu deney

İki süreç aynı RO file

Karşı-örnek / hata girdisi

COW kopya tahsisinde hata

Gerçek konuk kabulü

A özel değişir kaynak hash sabit

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

kernel/tests/os/user_mappings.rs
os_user_mappings_private_positive
os_user_mappings_private_negative
scripts/os-acceptance/user_mappings.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki süreç aynı RO file ile COW kopya tahsisinde hata ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Yazı kaynak dosyayı değiştirmez.

Uygulanacak işlem

os_user_mappings_private_positive testini oluştur: “İki süreç aynı RO file”. 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

Yazı kaynak dosyayı değiştirmez

Kod hedefi — henüz öneri

kernel/src/runtime/user_mappings.rs · os_user_mappings_private

Mevcut başlangıç referansı

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

Olumlu deney

İki süreç aynı RO file

Karşı-örnek / hata girdisi

COW kopya tahsisinde hata

Gerçek konuk kabulü

A özel değişir kaynak hash sabit

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

kernel/tests/os/user_mappings.rs
os_user_mappings_private_positive
os_user_mappings_private_negative
scripts/os-acceptance/user_mappings.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; İki süreç aynı RO file girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Yazı kaynak dosyayı değiştirmez.

Uygulanacak işlem

os_user_mappings_private_negative testini oluştur: “COW kopya tahsisinde hata”. 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

Yazı kaynak dosyayı değiştirmez

Kod hedefi — henüz öneri

kernel/src/runtime/user_mappings.rs · os_user_mappings_private

Mevcut başlangıç referansı

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

Olumlu deney

İki süreç aynı RO file

Karşı-örnek / hata girdisi

COW kopya tahsisinde hata

Gerçek konuk kabulü

A özel değişir kaynak hash sabit

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

kernel/tests/os/user_mappings.rs
os_user_mappings_private_positive
os_user_mappings_private_negative
scripts/os-acceptance/user_mappings.mjs

Geçiş koşulu

COW kopya tahsisinde hata 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Yazı kaynak dosyayı değiştirmez.

Uygulanacak işlem

Tek ürün Image'ında “A özel değişir kaynak hash sabit” kabulünü koştur. scripts/os-acceptance/user_mappings.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

Yazı kaynak dosyayı değiştirmez

Kod hedefi — henüz öneri

kernel/src/runtime/user_mappings.rs · os_user_mappings_private

Mevcut başlangıç referansı

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

Olumlu deney

İki süreç aynı RO file

Karşı-örnek / hata girdisi

COW kopya tahsisinde hata

Gerçek konuk kabulü

A özel değişir kaynak hash sabit

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

kernel/tests/os/user_mappings.rs
os_user_mappings_private_positive
os_user_mappings_private_negative
scripts/os-acceptance/user_mappings.mjs

Geçiş koşulu

A özel değişir kaynak hash sabit; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Ortadan kaldırma iki ayrı bölge üretir.

Uygulanacak işlem

“Parçalı unmap ve mapping bölme” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Ortadan kaldırma iki ayrı bölge üretir. “Üç sayfanın ortası unmap” kabulü ile “Boşluk üstünden ikinci unmap” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Ortadan kaldırma iki ayrı bölge üretir

Kod hedefi — henüz öneri

kernel/src/runtime/user_mappings.rs · os_user_mappings_unmap_split

Mevcut başlangıç referansı

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

Olumlu deney

Üç sayfanın ortası unmap

Karşı-örnek / hata girdisi

Boşluk üstünden ikinci unmap

Gerçek konuk kabulü

Kalan mapler erişilir sayaç doğru

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

kernel/tests/os/user_mappings.rs
os_user_mappings_unmap_split_positive
os_user_mappings_unmap_split_negative
scripts/os-acceptance/user_mappings.mjs

Geçiş koşulu

Tür ve geçiş tablosu Ortadan kaldırma iki ayrı bölge üretir kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Ortadan kaldırma iki ayrı bölge üretir.

Uygulanacak işlem

kernel/src/runtime/user_mappings.rs hedefinde os_user_mappings_unmap_split 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

Ortadan kaldırma iki ayrı bölge üretir

Kod hedefi — henüz öneri

kernel/src/runtime/user_mappings.rs · os_user_mappings_unmap_split

Mevcut başlangıç referansı

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

Olumlu deney

Üç sayfanın ortası unmap

Karşı-örnek / hata girdisi

Boşluk üstünden ikinci unmap

Gerçek konuk kabulü

Kalan mapler erişilir sayaç doğru

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

kernel/tests/os/user_mappings.rs
os_user_mappings_unmap_split_positive
os_user_mappings_unmap_split_negative
scripts/os-acceptance/user_mappings.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Üç sayfanın ortası unmap ile Boşluk üstünden ikinci unmap ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Ortadan kaldırma iki ayrı bölge üretir.

Uygulanacak işlem

os_user_mappings_unmap_split_positive testini oluştur: “Üç sayfanın ortası unmap”. 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

Ortadan kaldırma iki ayrı bölge üretir

Kod hedefi — henüz öneri

kernel/src/runtime/user_mappings.rs · os_user_mappings_unmap_split

Mevcut başlangıç referansı

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

Olumlu deney

Üç sayfanın ortası unmap

Karşı-örnek / hata girdisi

Boşluk üstünden ikinci unmap

Gerçek konuk kabulü

Kalan mapler erişilir sayaç doğru

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

kernel/tests/os/user_mappings.rs
os_user_mappings_unmap_split_positive
os_user_mappings_unmap_split_negative
scripts/os-acceptance/user_mappings.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Üç sayfanın ortası unmap girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Ortadan kaldırma iki ayrı bölge üretir.

Uygulanacak işlem

os_user_mappings_unmap_split_negative testini oluştur: “Boşluk üstünden ikinci unmap”. 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

Ortadan kaldırma iki ayrı bölge üretir

Kod hedefi — henüz öneri

kernel/src/runtime/user_mappings.rs · os_user_mappings_unmap_split

Mevcut başlangıç referansı

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

Olumlu deney

Üç sayfanın ortası unmap

Karşı-örnek / hata girdisi

Boşluk üstünden ikinci unmap

Gerçek konuk kabulü

Kalan mapler erişilir sayaç doğru

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

kernel/tests/os/user_mappings.rs
os_user_mappings_unmap_split_positive
os_user_mappings_unmap_split_negative
scripts/os-acceptance/user_mappings.mjs

Geçiş koşulu

Boşluk üstünden ikinci unmap 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Ortadan kaldırma iki ayrı bölge üretir.

Uygulanacak işlem

Tek ürün Image'ında “Kalan mapler erişilir sayaç doğru” kabulünü koştur. scripts/os-acceptance/user_mappings.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

Ortadan kaldırma iki ayrı bölge üretir

Kod hedefi — henüz öneri

kernel/src/runtime/user_mappings.rs · os_user_mappings_unmap_split

Mevcut başlangıç referansı

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

Olumlu deney

Üç sayfanın ortası unmap

Karşı-örnek / hata girdisi

Boşluk üstünden ikinci unmap

Gerçek konuk kabulü

Kalan mapler erişilir sayaç doğru

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

kernel/tests/os/user_mappings.rs
os_user_mappings_unmap_split_positive
os_user_mappings_unmap_split_negative
scripts/os-acceptance/user_mappings.mjs

Geçiş koşulu

Kalan mapler erişilir sayaç doğru; 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Exec salt-okunur dosya kimliğini sabitler.

Uygulanacak işlem

“VFSden imaj açma” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Exec salt-okunur dosya kimliğini sabitler. “Bilinen executable inode” kabulü ile “Dosya açıldıktan sonra ad değişir” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Exec salt-okunur dosya kimliğini sabitler

Kod hedefi — henüz öneri

kernel/src/runtime/exec.rs · os_exec_path_exec

Mevcut başlangıç referansı

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

Olumlu deney

Bilinen executable inode

Karşı-örnek / hata girdisi

Dosya açıldıktan sonra ad değişir

Gerçek konuk kabulü

Exec aynı açık inode byteını kullanır

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

kernel/tests/os/exec.rs
os_exec_path_exec_positive
os_exec_path_exec_negative
scripts/os-acceptance/exec.mjs

Geçiş koşulu

Tür ve geçiş tablosu Exec salt-okunur dosya kimliğini sabitler kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Exec salt-okunur dosya kimliğini sabitler.

Uygulanacak işlem

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

Exec salt-okunur dosya kimliğini sabitler

Kod hedefi — henüz öneri

kernel/src/runtime/exec.rs · os_exec_path_exec

Mevcut başlangıç referansı

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

Olumlu deney

Bilinen executable inode

Karşı-örnek / hata girdisi

Dosya açıldıktan sonra ad değişir

Gerçek konuk kabulü

Exec aynı açık inode byteını kullanır

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

kernel/tests/os/exec.rs
os_exec_path_exec_positive
os_exec_path_exec_negative
scripts/os-acceptance/exec.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Bilinen executable inode ile Dosya açıldıktan sonra ad değişir ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Exec salt-okunur dosya kimliğini sabitler.

Uygulanacak işlem

os_exec_path_exec_positive testini oluştur: “Bilinen executable inode”. 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

Exec salt-okunur dosya kimliğini sabitler

Kod hedefi — henüz öneri

kernel/src/runtime/exec.rs · os_exec_path_exec

Mevcut başlangıç referansı

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

Olumlu deney

Bilinen executable inode

Karşı-örnek / hata girdisi

Dosya açıldıktan sonra ad değişir

Gerçek konuk kabulü

Exec aynı açık inode byteını kullanır

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

kernel/tests/os/exec.rs
os_exec_path_exec_positive
os_exec_path_exec_negative
scripts/os-acceptance/exec.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Exec salt-okunur dosya kimliğini sabitler.

Uygulanacak işlem

os_exec_path_exec_negative testini oluştur: “Dosya açıldıktan sonra ad değişir”. 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

Exec salt-okunur dosya kimliğini sabitler

Kod hedefi — henüz öneri

kernel/src/runtime/exec.rs · os_exec_path_exec

Mevcut başlangıç referansı

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

Olumlu deney

Bilinen executable inode

Karşı-örnek / hata girdisi

Dosya açıldıktan sonra ad değişir

Gerçek konuk kabulü

Exec aynı açık inode byteını kullanır

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

kernel/tests/os/exec.rs
os_exec_path_exec_positive
os_exec_path_exec_negative
scripts/os-acceptance/exec.mjs

Geçiş koşulu

Dosya açıldıktan sonra ad değişir 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Exec salt-okunur dosya kimliğini sabitler.

Uygulanacak işlem

Tek ürün Image'ında “Exec aynı açık inode byteını kullanır” kabulünü koştur. scripts/os-acceptance/exec.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

Exec salt-okunur dosya kimliğini sabitler

Kod hedefi — henüz öneri

kernel/src/runtime/exec.rs · os_exec_path_exec

Mevcut başlangıç referansı

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

Olumlu deney

Bilinen executable inode

Karşı-örnek / hata girdisi

Dosya açıldıktan sonra ad değişir

Gerçek konuk kabulü

Exec aynı açık inode byteını kullanır

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

kernel/tests/os/exec.rs
os_exec_path_exec_positive
os_exec_path_exec_negative
scripts/os-acceptance/exec.mjs

Geçiş koşulu

Exec aynı açık inode byteını kullanı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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Yeni imaj hazır olmadan eski kök atılmaz.

Uygulanacak işlem

“Exec atomik adres alanı değişimi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Yeni imaj hazır olmadan eski kök atılmaz. “Eski süreç yeni program çalıştırır” kabulü ile “Yeni stackte ENOSPC” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Yeni imaj hazır olmadan eski kök atılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/exec.rs · os_exec_replace

Mevcut başlangıç referansı

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

Olumlu deney

Eski süreç yeni program çalıştırır

Karşı-örnek / hata girdisi

Yeni stackte ENOSPC

Gerçek konuk kabulü

Eski program tanımlı hata ile sürer

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

kernel/tests/os/exec.rs
os_exec_replace_positive
os_exec_replace_negative
scripts/os-acceptance/exec.mjs

Geçiş koşulu

Tür ve geçiş tablosu Yeni imaj hazır olmadan eski kök atılmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Yeni imaj hazır olmadan eski kök atılmaz.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Yeni imaj hazır olmadan eski kök atılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/exec.rs · os_exec_replace

Mevcut başlangıç referansı

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

Olumlu deney

Eski süreç yeni program çalıştırır

Karşı-örnek / hata girdisi

Yeni stackte ENOSPC

Gerçek konuk kabulü

Eski program tanımlı hata ile sürer

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

kernel/tests/os/exec.rs
os_exec_replace_positive
os_exec_replace_negative
scripts/os-acceptance/exec.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Eski süreç yeni program çalıştırır ile Yeni stackte ENOSPC ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Yeni imaj hazır olmadan eski kök atılmaz.

Uygulanacak işlem

os_exec_replace_positive testini oluştur: “Eski süreç yeni program çalıştırı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

Yeni imaj hazır olmadan eski kök atılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/exec.rs · os_exec_replace

Mevcut başlangıç referansı

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

Olumlu deney

Eski süreç yeni program çalıştırır

Karşı-örnek / hata girdisi

Yeni stackte ENOSPC

Gerçek konuk kabulü

Eski program tanımlı hata ile sürer

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

kernel/tests/os/exec.rs
os_exec_replace_positive
os_exec_replace_negative
scripts/os-acceptance/exec.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; Eski süreç yeni program çalıştırır girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Yeni imaj hazır olmadan eski kök atılmaz.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Yeni imaj hazır olmadan eski kök atılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/exec.rs · os_exec_replace

Mevcut başlangıç referansı

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

Olumlu deney

Eski süreç yeni program çalıştırır

Karşı-örnek / hata girdisi

Yeni stackte ENOSPC

Gerçek konuk kabulü

Eski program tanımlı hata ile sürer

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

kernel/tests/os/exec.rs
os_exec_replace_positive
os_exec_replace_negative
scripts/os-acceptance/exec.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Yeni imaj hazır olmadan eski kök atılmaz.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Yeni imaj hazır olmadan eski kök atılmaz

Kod hedefi — henüz öneri

kernel/src/runtime/exec.rs · os_exec_replace

Mevcut başlangıç referansı

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

Olumlu deney

Eski süreç yeni program çalıştırır

Karşı-örnek / hata girdisi

Yeni stackte ENOSPC

Gerçek konuk kabulü

Eski program tanımlı hata ile sürer

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

kernel/tests/os/exec.rs
os_exec_replace_positive
os_exec_replace_negative
scripts/os-acceptance/exec.mjs

Geçiş koşulu

Eski program tanımlı hata ile sürer; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Sayı uzunluk ve NULlar önce doğrulanır.

Uygulanacak işlem

“Argv env toplam sınırı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Sayı uzunluk ve NULlar önce doğrulanır. “Türkçe argv ve env” kabulü ile “Toplam boy limit artı bir” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Sayı uzunluk ve NULlar önce doğrulanır

Kod hedefi — henüz öneri

kernel/src/runtime/exec.rs · os_exec_environment

Mevcut başlangıç referansı

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

Olumlu deney

Türkçe argv ve env

Karşı-örnek / hata girdisi

Toplam boy limit artı bir

Gerçek konuk kabulü

Hiçbir argüman kısmen yayımlanmaz

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

kernel/tests/os/exec.rs
os_exec_environment_positive
os_exec_environment_negative
scripts/os-acceptance/exec.mjs

Geçiş koşulu

Tür ve geçiş tablosu Sayı uzunluk ve NULlar önce 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Sayı uzunluk ve NULlar önce doğrulanır.

Uygulanacak işlem

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

Sayı uzunluk ve NULlar önce doğrulanır

Kod hedefi — henüz öneri

kernel/src/runtime/exec.rs · os_exec_environment

Mevcut başlangıç referansı

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

Olumlu deney

Türkçe argv ve env

Karşı-örnek / hata girdisi

Toplam boy limit artı bir

Gerçek konuk kabulü

Hiçbir argüman kısmen yayımlanmaz

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

kernel/tests/os/exec.rs
os_exec_environment_positive
os_exec_environment_negative
scripts/os-acceptance/exec.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Türkçe argv ve env ile Toplam boy limit artı bir ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Sayı uzunluk ve NULlar önce doğrulanır.

Uygulanacak işlem

os_exec_environment_positive testini oluştur: “Türkçe argv ve env”. 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

Sayı uzunluk ve NULlar önce doğrulanır

Kod hedefi — henüz öneri

kernel/src/runtime/exec.rs · os_exec_environment

Mevcut başlangıç referansı

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

Olumlu deney

Türkçe argv ve env

Karşı-örnek / hata girdisi

Toplam boy limit artı bir

Gerçek konuk kabulü

Hiçbir argüman kısmen yayımlanmaz

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

kernel/tests/os/exec.rs
os_exec_environment_positive
os_exec_environment_negative
scripts/os-acceptance/exec.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Sayı uzunluk ve NULlar önce doğrulanır.

Uygulanacak işlem

os_exec_environment_negative testini oluştur: “Toplam boy limit artı bir”. 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

Sayı uzunluk ve NULlar önce doğrulanır

Kod hedefi — henüz öneri

kernel/src/runtime/exec.rs · os_exec_environment

Mevcut başlangıç referansı

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

Olumlu deney

Türkçe argv ve env

Karşı-örnek / hata girdisi

Toplam boy limit artı bir

Gerçek konuk kabulü

Hiçbir argüman kısmen yayımlanmaz

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

kernel/tests/os/exec.rs
os_exec_environment_positive
os_exec_environment_negative
scripts/os-acceptance/exec.mjs

Geçiş koşulu

Toplam boy limit artı bir 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Sayı uzunluk ve NULlar önce doğrulanır.

Uygulanacak işlem

Tek ürün Image'ında “Hiçbir argüman kısmen yayımlanmaz” kabulünü koştur. scripts/os-acceptance/exec.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

Sayı uzunluk ve NULlar önce doğrulanır

Kod hedefi — henüz öneri

kernel/src/runtime/exec.rs · os_exec_environment

Mevcut başlangıç referansı

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

Olumlu deney

Türkçe argv ve env

Karşı-örnek / hata girdisi

Toplam boy limit artı bir

Gerçek konuk kabulü

Hiçbir argüman kısmen yayımlanmaz

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

kernel/tests/os/exec.rs
os_exec_environment_positive
os_exec_environment_negative
scripts/os-acceptance/exec.mjs

Geçiş koşulu

Hiçbir argüman kısmen yayımlanmaz; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: CloseOnExec hakkı yeni programda yoktur.

Uygulanacak işlem

“Exec handle miras politikası” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: CloseOnExec hakkı yeni programda yoktur. “Bir miras bir kapalı handle” kabulü ile “Kernel handle mirasla sızar” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

CloseOnExec hakkı yeni programda yoktur

Kod hedefi — henüz öneri

kernel/src/runtime/exec.rs · os_exec_close_exec

Mevcut başlangıç referansı

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

Olumlu deney

Bir miras bir kapalı handle

Karşı-örnek / hata girdisi

Kernel handle mirasla sızar

Gerçek konuk kabulü

Yeni program yalnız izinli handleları görür

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

kernel/tests/os/exec.rs
os_exec_close_exec_positive
os_exec_close_exec_negative
scripts/os-acceptance/exec.mjs

Geçiş koşulu

Tür ve geçiş tablosu CloseOnExec hakkı yeni programda yoktur kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: CloseOnExec hakkı yeni programda yoktur.

Uygulanacak işlem

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

CloseOnExec hakkı yeni programda yoktur

Kod hedefi — henüz öneri

kernel/src/runtime/exec.rs · os_exec_close_exec

Mevcut başlangıç referansı

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

Olumlu deney

Bir miras bir kapalı handle

Karşı-örnek / hata girdisi

Kernel handle mirasla sızar

Gerçek konuk kabulü

Yeni program yalnız izinli handleları görür

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

kernel/tests/os/exec.rs
os_exec_close_exec_positive
os_exec_close_exec_negative
scripts/os-acceptance/exec.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Bir miras bir kapalı handle ile Kernel handle mirasla sızar ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: CloseOnExec hakkı yeni programda yoktur.

Uygulanacak işlem

os_exec_close_exec_positive testini oluştur: “Bir miras bir kapalı handle”. 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

CloseOnExec hakkı yeni programda yoktur

Kod hedefi — henüz öneri

kernel/src/runtime/exec.rs · os_exec_close_exec

Mevcut başlangıç referansı

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

Olumlu deney

Bir miras bir kapalı handle

Karşı-örnek / hata girdisi

Kernel handle mirasla sızar

Gerçek konuk kabulü

Yeni program yalnız izinli handleları görür

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

kernel/tests/os/exec.rs
os_exec_close_exec_positive
os_exec_close_exec_negative
scripts/os-acceptance/exec.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: CloseOnExec hakkı yeni programda yoktur.

Uygulanacak işlem

os_exec_close_exec_negative testini oluştur: “Kernel handle mirasla sızar”. 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

CloseOnExec hakkı yeni programda yoktur

Kod hedefi — henüz öneri

kernel/src/runtime/exec.rs · os_exec_close_exec

Mevcut başlangıç referansı

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

Olumlu deney

Bir miras bir kapalı handle

Karşı-örnek / hata girdisi

Kernel handle mirasla sızar

Gerçek konuk kabulü

Yeni program yalnız izinli handleları görür

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

kernel/tests/os/exec.rs
os_exec_close_exec_positive
os_exec_close_exec_negative
scripts/os-acceptance/exec.mjs

Geçiş koşulu

Kernel handle mirasla sızar 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: CloseOnExec hakkı yeni programda yoktur.

Uygulanacak işlem

Tek ürün Image'ında “Yeni program yalnız izinli handleları görür” kabulünü koştur. scripts/os-acceptance/exec.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

CloseOnExec hakkı yeni programda yoktur

Kod hedefi — henüz öneri

kernel/src/runtime/exec.rs · os_exec_close_exec

Mevcut başlangıç referansı

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

Olumlu deney

Bir miras bir kapalı handle

Karşı-örnek / hata girdisi

Kernel handle mirasla sızar

Gerçek konuk kabulü

Yeni program yalnız izinli handleları görür

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

kernel/tests/os/exec.rs
os_exec_close_exec_positive
os_exec_close_exec_negative
scripts/os-acceptance/exec.mjs

Geçiş koşulu

Yeni program yalnız izinli handleları görü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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Binary native syscall runtimeına bağlıdır.

Uygulanacak işlem

“Native Rust static link” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Binary native syscall runtimeına bağlıdır. “İki no_std Rust araç” kabulü ile “Linux dynamic interpreter isteyen ELF” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Binary native syscall runtimeına bağlıdır

Kod hedefi — henüz öneri

userspace/src/program_format.rs · os_program_format_static_link

Mevcut başlangıç referansı

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

Olumlu deney

İki no_std Rust araç

Karşı-örnek / hata girdisi

Linux dynamic interpreter isteyen ELF

Gerçek konuk kabulü

Unsupported biçim açık tanı

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

userspace/tests/program_format.rs
os_program_format_static_link_positive
os_program_format_static_link_negative
scripts/os-acceptance/program_format.mjs

Geçiş koşulu

Tür ve geçiş tablosu Binary native syscall runtimeına bağlıdır kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Binary native syscall runtimeına bağlıdır.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Binary native syscall runtimeına bağlıdır

Kod hedefi — henüz öneri

userspace/src/program_format.rs · os_program_format_static_link

Mevcut başlangıç referansı

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

Olumlu deney

İki no_std Rust araç

Karşı-örnek / hata girdisi

Linux dynamic interpreter isteyen ELF

Gerçek konuk kabulü

Unsupported biçim açık tanı

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

userspace/tests/program_format.rs
os_program_format_static_link_positive
os_program_format_static_link_negative
scripts/os-acceptance/program_format.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. İki no_std Rust araç ile Linux dynamic interpreter isteyen ELF ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Binary native syscall runtimeına bağlıdır.

Uygulanacak işlem

os_program_format_static_link_positive testini oluştur: “İki no_std Rust araç”. 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

Binary native syscall runtimeına bağlıdır

Kod hedefi — henüz öneri

userspace/src/program_format.rs · os_program_format_static_link

Mevcut başlangıç referansı

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

Olumlu deney

İki no_std Rust araç

Karşı-örnek / hata girdisi

Linux dynamic interpreter isteyen ELF

Gerçek konuk kabulü

Unsupported biçim açık tanı

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

userspace/tests/program_format.rs
os_program_format_static_link_positive
os_program_format_static_link_negative
scripts/os-acceptance/program_format.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Binary native syscall runtimeına bağlıdır.

Uygulanacak işlem

os_program_format_static_link_negative testini oluştur: “Linux dynamic interpreter isteyen ELF”. 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

Binary native syscall runtimeına bağlıdır

Kod hedefi — henüz öneri

userspace/src/program_format.rs · os_program_format_static_link

Mevcut başlangıç referansı

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

Olumlu deney

İki no_std Rust araç

Karşı-örnek / hata girdisi

Linux dynamic interpreter isteyen ELF

Gerçek konuk kabulü

Unsupported biçim açık tanı

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

userspace/tests/program_format.rs
os_program_format_static_link_positive
os_program_format_static_link_negative
scripts/os-acceptance/program_format.mjs

Geçiş koşulu

Linux dynamic interpreter isteyen ELF 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Binary native syscall runtimeına bağlıdır.

Uygulanacak işlem

Tek ürün Image'ında “Unsupported biçim açık tanı” kabulünü koştur. scripts/os-acceptance/program_format.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

Binary native syscall runtimeına bağlıdır

Kod hedefi — henüz öneri

userspace/src/program_format.rs · os_program_format_static_link

Mevcut başlangıç referansı

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

Olumlu deney

İki no_std Rust araç

Karşı-örnek / hata girdisi

Linux dynamic interpreter isteyen ELF

Gerçek konuk kabulü

Unsupported biçim açık tanı

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

userspace/tests/program_format.rs
os_program_format_static_link_positive
os_program_format_static_link_negative
scripts/os-acceptance/program_format.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Yalnız seçilmiş relocation türleri kabul edilir.

Uygulanacak işlem

“Sınırlı static PIE reloc” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Yalnız seçilmiş relocation türleri kabul edilir. “AArch64 relative relocation” kabulü ile “Desteksiz relocation türü” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Yalnız seçilmiş relocation türleri kabul edilir

Kod hedefi — henüz öneri

userspace/src/program_format.rs · os_program_format_relocations

Mevcut başlangıç referansı

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

Olumlu deney

AArch64 relative relocation

Karşı-örnek / hata girdisi

Desteksiz relocation türü

Gerçek konuk kabulü

Ret bütün yeni mappingleri geri alır

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

userspace/tests/program_format.rs
os_program_format_relocations_positive
os_program_format_relocations_negative
scripts/os-acceptance/program_format.mjs

Geçiş koşulu

Tür ve geçiş tablosu Yalnız seçilmiş relocation türleri kabul 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Yalnız seçilmiş relocation türleri kabul edilir.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Yalnız seçilmiş relocation türleri kabul edilir

Kod hedefi — henüz öneri

userspace/src/program_format.rs · os_program_format_relocations

Mevcut başlangıç referansı

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

Olumlu deney

AArch64 relative relocation

Karşı-örnek / hata girdisi

Desteksiz relocation türü

Gerçek konuk kabulü

Ret bütün yeni mappingleri geri alır

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

userspace/tests/program_format.rs
os_program_format_relocations_positive
os_program_format_relocations_negative
scripts/os-acceptance/program_format.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. AArch64 relative relocation ile Desteksiz relocation türü ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Yalnız seçilmiş relocation türleri kabul edilir.

Uygulanacak işlem

os_program_format_relocations_positive testini oluştur: “AArch64 relative relocation”. 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

Yalnız seçilmiş relocation türleri kabul edilir

Kod hedefi — henüz öneri

userspace/src/program_format.rs · os_program_format_relocations

Mevcut başlangıç referansı

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

Olumlu deney

AArch64 relative relocation

Karşı-örnek / hata girdisi

Desteksiz relocation türü

Gerçek konuk kabulü

Ret bütün yeni mappingleri geri alır

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

userspace/tests/program_format.rs
os_program_format_relocations_positive
os_program_format_relocations_negative
scripts/os-acceptance/program_format.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Yalnız seçilmiş relocation türleri kabul edilir.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Yalnız seçilmiş relocation türleri kabul edilir

Kod hedefi — henüz öneri

userspace/src/program_format.rs · os_program_format_relocations

Mevcut başlangıç referansı

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

Olumlu deney

AArch64 relative relocation

Karşı-örnek / hata girdisi

Desteksiz relocation türü

Gerçek konuk kabulü

Ret bütün yeni mappingleri geri alır

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

userspace/tests/program_format.rs
os_program_format_relocations_positive
os_program_format_relocations_negative
scripts/os-acceptance/program_format.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Yalnız seçilmiş relocation türleri kabul edilir.

Uygulanacak işlem

Tek ürün Image'ında “Ret bütün yeni mappingleri geri alır” kabulünü koştur. scripts/os-acceptance/program_format.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

Yalnız seçilmiş relocation türleri kabul edilir

Kod hedefi — henüz öneri

userspace/src/program_format.rs · os_program_format_relocations

Mevcut başlangıç referansı

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

Olumlu deney

AArch64 relative relocation

Karşı-örnek / hata girdisi

Desteksiz relocation türü

Gerçek konuk kabulü

Ret bütün yeni mappingleri geri alır

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

userspace/tests/program_format.rs
os_program_format_relocations_positive
os_program_format_relocations_negative
scripts/os-acceptance/program_format.mjs

Geçiş koşulu

Ret bütün yeni mappingleri geri 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: İmaj hash ABI ve hak talebi ayrı alanlardır.

Uygulanacak işlem

“Program ABI hak manifesti” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: İmaj hash ABI ve hak talebi ayrı alanlardır. “ABI V1 RO file hakları” kabulü ile “Manifest hash imajla farklı” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

İmaj hash ABI ve hak talebi ayrı alanlardır

Kod hedefi — henüz öneri

userspace/src/program_format.rs · os_program_format_manifest

Mevcut başlangıç referansı

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

Olumlu deney

ABI V1 RO file hakları

Karşı-örnek / hata girdisi

Manifest hash imajla farklı

Gerçek konuk kabulü

Doğrulama exec öncesi durur

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

userspace/tests/program_format.rs
os_program_format_manifest_positive
os_program_format_manifest_negative
scripts/os-acceptance/program_format.mjs

Geçiş koşulu

Tür ve geçiş tablosu İmaj hash ABI ve hak talebi ayrı alanlardı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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: İmaj hash ABI ve hak talebi ayrı alanlardır.

Uygulanacak işlem

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

Değişmez / korunan bağlam

İmaj hash ABI ve hak talebi ayrı alanlardır

Kod hedefi — henüz öneri

userspace/src/program_format.rs · os_program_format_manifest

Mevcut başlangıç referansı

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

Olumlu deney

ABI V1 RO file hakları

Karşı-örnek / hata girdisi

Manifest hash imajla farklı

Gerçek konuk kabulü

Doğrulama exec öncesi durur

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

userspace/tests/program_format.rs
os_program_format_manifest_positive
os_program_format_manifest_negative
scripts/os-acceptance/program_format.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. ABI V1 RO file hakları ile Manifest hash imajla farklı ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: İmaj hash ABI ve hak talebi ayrı alanlardır.

Uygulanacak işlem

os_program_format_manifest_positive testini oluştur: “ABI V1 RO file hakları”. 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

İmaj hash ABI ve hak talebi ayrı alanlardır

Kod hedefi — henüz öneri

userspace/src/program_format.rs · os_program_format_manifest

Mevcut başlangıç referansı

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

Olumlu deney

ABI V1 RO file hakları

Karşı-örnek / hata girdisi

Manifest hash imajla farklı

Gerçek konuk kabulü

Doğrulama exec öncesi durur

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

userspace/tests/program_format.rs
os_program_format_manifest_positive
os_program_format_manifest_negative
scripts/os-acceptance/program_format.mjs

Geçiş koşulu

En az bir gerçek test çalışsın; ABI V1 RO file hakları girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: İmaj hash ABI ve hak talebi ayrı alanlardır.

Uygulanacak işlem

os_program_format_manifest_negative testini oluştur: “Manifest hash imajla farklı”. 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

İmaj hash ABI ve hak talebi ayrı alanlardır

Kod hedefi — henüz öneri

userspace/src/program_format.rs · os_program_format_manifest

Mevcut başlangıç referansı

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

Olumlu deney

ABI V1 RO file hakları

Karşı-örnek / hata girdisi

Manifest hash imajla farklı

Gerçek konuk kabulü

Doğrulama exec öncesi durur

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

userspace/tests/program_format.rs
os_program_format_manifest_positive
os_program_format_manifest_negative
scripts/os-acceptance/program_format.mjs

Geçiş koşulu

Manifest hash imajla farklı 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: İmaj hash ABI ve hak talebi ayrı alanlardır.

Uygulanacak işlem

Tek ürün Image'ında “Doğrulama exec öncesi durur” kabulünü koştur. scripts/os-acceptance/program_format.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

İmaj hash ABI ve hak talebi ayrı alanlardır

Kod hedefi — henüz öneri

userspace/src/program_format.rs · os_program_format_manifest

Mevcut başlangıç referansı

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

Olumlu deney

ABI V1 RO file hakları

Karşı-örnek / hata girdisi

Manifest hash imajla farklı

Gerçek konuk kabulü

Doğrulama exec öncesi durur

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

userspace/tests/program_format.rs
os_program_format_manifest_positive
os_program_format_manifest_negative
scripts/os-acceptance/program_format.mjs

Geçiş koşulu

Doğrulama exec öncesi 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Başarılı test imajı loader saldırısı değildir.

Uygulanacak işlem

“Native program kabul korpusu” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Başarılı test imajı loader saldırısı değildir. “Üç gerçek Rust program” kabulü ile “Kesik RWX taşan ELF korpusu” reddini aynı sözleşmeye bağla.

Değişmez / korunan bağlam

Başarılı test imajı loader saldırısı değildir

Kod hedefi — henüz öneri

userspace/src/program_format.rs · os_program_format_program_suite

Mevcut başlangıç referansı

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

Olumlu deney

Üç gerçek Rust program

Karşı-örnek / hata girdisi

Kesik RWX taşan ELF korpusu

Gerçek konuk kabulü

Başarı ve ret günlükleri ayrı tutulur

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

userspace/tests/program_format.rs
os_program_format_program_suite_positive
os_program_format_program_suite_negative
scripts/os-acceptance/program_format.mjs

Geçiş koşulu

Tür ve geçiş tablosu Başarılı test imajı loader saldırısı 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üş

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Başarılı test imajı loader saldırısı değildir.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Başarılı test imajı loader saldırısı değildir

Kod hedefi — henüz öneri

userspace/src/program_format.rs · os_program_format_program_suite

Mevcut başlangıç referansı

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

Olumlu deney

Üç gerçek Rust program

Karşı-örnek / hata girdisi

Kesik RWX taşan ELF korpusu

Gerçek konuk kabulü

Başarı ve ret günlükleri ayrı tutulur

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

userspace/tests/program_format.rs
os_program_format_program_suite_positive
os_program_format_program_suite_negative
scripts/os-acceptance/program_format.mjs

Geçiş koşulu

Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Üç gerçek Rust program ile Kesik RWX taşan ELF korpusu ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Başarılı test imajı loader saldırısı değildir.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Başarılı test imajı loader saldırısı değildir

Kod hedefi — henüz öneri

userspace/src/program_format.rs · os_program_format_program_suite

Mevcut başlangıç referansı

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

Olumlu deney

Üç gerçek Rust program

Karşı-örnek / hata girdisi

Kesik RWX taşan ELF korpusu

Gerçek konuk kabulü

Başarı ve ret günlükleri ayrı tutulur

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

userspace/tests/program_format.rs
os_program_format_program_suite_positive
os_program_format_program_suite_negative
scripts/os-acceptance/program_format.mjs

Geçiş koşulu

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

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Başarılı test imajı loader saldırısı değildir.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Başarılı test imajı loader saldırısı değildir

Kod hedefi — henüz öneri

userspace/src/program_format.rs · os_program_format_program_suite

Mevcut başlangıç referansı

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

Olumlu deney

Üç gerçek Rust program

Karşı-örnek / hata girdisi

Kesik RWX taşan ELF korpusu

Gerçek konuk kabulü

Başarı ve ret günlükleri ayrı tutulur

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

userspace/tests/program_format.rs
os_program_format_program_suite_positive
os_program_format_program_suite_negative
scripts/os-acceptance/program_format.mjs

Geçiş koşulu

Kesik RWX taşan ELF korpusu karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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

İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır. Bu hamlenin koruduğu değişmez: Başarılı test imajı loader saldırısı değildir.

Uygulanacak işlem

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

Değişmez / korunan bağlam

Başarılı test imajı loader saldırısı değildir

Kod hedefi — henüz öneri

userspace/src/program_format.rs · os_program_format_program_suite

Mevcut başlangıç referansı

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

Olumlu deney

Üç gerçek Rust program

Karşı-örnek / hata girdisi

Kesik RWX taşan ELF korpusu

Gerçek konuk kabulü

Başarı ve ret günlükleri ayrı tutulur

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

userspace/tests/program_format.rs
os_program_format_program_suite_positive
os_program_format_program_suite_negative
scripts/os-acceptance/program_format.mjs

Geçiş koşulu

Başarı ve ret günlükleri ayrı tutulur; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.

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

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

Kanıt gereksinimi

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

Profil ve bağlar

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

Sınır

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