← 1900 hamlenin bütünüFAZ 11 / K1601–K1700

TurkFS dosya yaşamı ve toparlanma

İki sabit inode journal deneyi genel yazılabilir dosya sistemi değildir. Yeni işler yalnız geçici disklerde yapılır; K559 ve güç kaybı sınırı korunur.

100planlı hamle

5modül

20yetenek

0gerçek kabul

Bu fazın 100 hamlesinde ara

100 / 100 hamle gösteriliyor

Kernel Rust · K1601–K1620

Genel TurkFS RO mount

Dört yetenek: Sürümlü süperblok sözleşmesi · Inode tablo bütünlüğü · Çok extent dosya okuma · Genel dizin dolaşımı. Her yetenek için kod ve iki testin ardından aynı ürün Image'ında konuk kabulü gerekir.

K1601Sürümlü süperblok sözleşmesi · Sözleşme ve durum modeliPLAN / SINANMADI

İki sabit inode journal deneyi genel yazılabilir dosya sistemi değildir. Yeni işler yalnız geçici disklerde yapılır; K559 ve güç kaybı sınırı korunur. Bu hamlenin koruduğu değişmez: Format sürümü özellik ve boy sınırları açık olur.

Uygulanacak işlem: “Sürümlü süperblok sözleşmesi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Format sürümü özellik ve boy sınırları açık olur. “Bilinen v1 ve önerilen v2” kabulü ile “Bilinmeyen zorunlu feature” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Format sürümü özellik ve boy sınırları açık olur
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_reader.rs · os_turkfs_reader_superblock
Mevcut başlangıç referansı: kernel/src/turkfs.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bilinen v1 ve önerilen v2
Karşı-örnek / hata girdisi: Bilinmeyen zorunlu feature
Gerçek konuk kabulü: Unsupported format salt-okunur ret
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_reader.rs
os_turkfs_reader_superblock_positive
os_turkfs_reader_superblock_negative
scripts/os-acceptance/turkfs_reader.mjs
Geçiş koşulu: Tür ve geçiş tablosu Format sürümü özellik ve boy sınırları açık 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üş: “Bilinmeyen zorunlu feature” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1605: 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 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1602Sürümlü süperblok sözleşmesi · Rust uygulaması ve sahiplikPLAN / SINANMADI

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

K1603Sürümlü süperblok sözleşmesi · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_turkfs_reader_superblock_positive testini oluştur: “Bilinen v1 ve önerilen v2”. 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: Format sürümü özellik ve boy sınırları açık olur
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_reader.rs · os_turkfs_reader_superblock
Mevcut başlangıç referansı: kernel/src/turkfs.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bilinen v1 ve önerilen v2
Karşı-örnek / hata girdisi: Bilinmeyen zorunlu feature
Gerçek konuk kabulü: Unsupported format salt-okunur ret
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_reader.rs
os_turkfs_reader_superblock_positive
os_turkfs_reader_superblock_negative
scripts/os-acceptance/turkfs_reader.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Bilinen v1 ve önerilen v2 girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Bilinmeyen zorunlu feature” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1605: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1602. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1604Sürümlü süperblok sözleşmesi · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_turkfs_reader_superblock_negative testini oluştur: “Bilinmeyen zorunlu feature”. 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: Format sürümü özellik ve boy sınırları açık olur
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_reader.rs · os_turkfs_reader_superblock
Mevcut başlangıç referansı: kernel/src/turkfs.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bilinen v1 ve önerilen v2
Karşı-örnek / hata girdisi: Bilinmeyen zorunlu feature
Gerçek konuk kabulü: Unsupported format salt-okunur ret
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_reader.rs
os_turkfs_reader_superblock_positive
os_turkfs_reader_superblock_negative
scripts/os-acceptance/turkfs_reader.mjs
Geçiş koşulu: Bilinmeyen zorunlu feature karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.
Başarısızlık ve geri dönüş: “Bilinmeyen zorunlu feature” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1605: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1603. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1605Sürümlü süperblok sözleşmesi · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “Unsupported format salt-okunur ret” kabulünü koştur. scripts/os-acceptance/turkfs_reader.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: Format sürümü özellik ve boy sınırları açık olur
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_reader.rs · os_turkfs_reader_superblock
Mevcut başlangıç referansı: kernel/src/turkfs.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Bilinen v1 ve önerilen v2
Karşı-örnek / hata girdisi: Bilinmeyen zorunlu feature
Gerçek konuk kabulü: Unsupported format salt-okunur ret
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_reader.rs
os_turkfs_reader_superblock_positive
os_turkfs_reader_superblock_negative
scripts/os-acceptance/turkfs_reader.mjs
Geçiş koşulu: Unsupported format salt-okunur 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üş: “Bilinmeyen zorunlu feature” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1605: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1604. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1606Inode tablo bütünlüğü · Sözleşme ve durum modeliPLAN / SINANMADI

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

K1607Inode tablo bütünlüğü · Rust uygulaması ve sahiplikPLAN / SINANMADI

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

K1608Inode tablo bütünlüğü · Olumlu ve sınır birim testiPLAN / SINANMADI

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

K1609Inode tablo bütünlüğü · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_turkfs_reader_inodes_negative testini oluştur: “Inode index kapasite dışı”. 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: Inode sayısı tablo kapasitesine sığar
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_reader.rs · os_turkfs_reader_inodes
Mevcut başlangıç referansı: kernel/src/turkfs.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Boş ve çok bloklu inode
Karşı-örnek / hata girdisi: Inode index kapasite dışı
Gerçek konuk kabulü: Bozuk inode yeni I/O üretmez
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_reader.rs
os_turkfs_reader_inodes_positive
os_turkfs_reader_inodes_negative
scripts/os-acceptance/turkfs_reader.mjs
Geçiş koşulu: Inode index kapasite dışı 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üş: “Inode index kapasite dışı” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1610: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1608. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1610Inode tablo bütünlüğü · Gerçek konukta ürün kabulüPLAN / SINANMADI

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

K1611Çok extent dosya okuma · Sözleşme ve durum modeliPLAN / SINANMADI

Uygulanacak işlem: “Çok extent dosya okuma” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Extentler sıralı ayrık ve kapasite içinde. “Üç ayrık extent dosyası” kabulü ile “İki extent aynı bloğu sahiplenir” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Extentler sıralı ayrık ve kapasite içinde
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_reader.rs · os_turkfs_reader_extents
Mevcut başlangıç referansı: kernel/src/turkfs.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Üç ayrık extent dosyası
Karşı-örnek / hata girdisi: İki extent aynı bloğu sahiplenir
Gerçek konuk kabulü: Dosya hash bağımsız oracle ile eşit
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_reader.rs
os_turkfs_reader_extents_positive
os_turkfs_reader_extents_negative
scripts/os-acceptance/turkfs_reader.mjs
Geçiş koşulu: Tür ve geçiş tablosu Extentler sıralı ayrık ve kapasite içinde 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 extent aynı bloğu sahiplenir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1615: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1610. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1612Çok extent dosya okuma · Rust uygulaması ve sahiplikPLAN / SINANMADI

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

K1613Çok extent dosya okuma · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_turkfs_reader_extents_positive testini oluştur: “Üç ayrık extent dosyası”. 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: Extentler sıralı ayrık ve kapasite içinde
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_reader.rs · os_turkfs_reader_extents
Mevcut başlangıç referansı: kernel/src/turkfs.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Üç ayrık extent dosyası
Karşı-örnek / hata girdisi: İki extent aynı bloğu sahiplenir
Gerçek konuk kabulü: Dosya hash bağımsız oracle ile eşit
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_reader.rs
os_turkfs_reader_extents_positive
os_turkfs_reader_extents_negative
scripts/os-acceptance/turkfs_reader.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Üç ayrık extent dosyası girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “İki extent aynı bloğu sahiplenir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1615: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1612. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1614Çok extent dosya okuma · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_turkfs_reader_extents_negative testini oluştur: “İki extent aynı bloğu sahiplenir”. 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: Extentler sıralı ayrık ve kapasite içinde
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_reader.rs · os_turkfs_reader_extents
Mevcut başlangıç referansı: kernel/src/turkfs.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Üç ayrık extent dosyası
Karşı-örnek / hata girdisi: İki extent aynı bloğu sahiplenir
Gerçek konuk kabulü: Dosya hash bağımsız oracle ile eşit
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_reader.rs
os_turkfs_reader_extents_positive
os_turkfs_reader_extents_negative
scripts/os-acceptance/turkfs_reader.mjs
Geçiş koşulu: İki extent aynı bloğu sahiplenir 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 extent aynı bloğu sahiplenir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1615: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1613. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1615Çok extent dosya okuma · Gerçek konukta ürün kabulüPLAN / SINANMADI

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

K1616Genel dizin dolaşımı · Sözleşme ve durum modeliPLAN / SINANMADI

Uygulanacak işlem: “Genel dizin dolaşımı” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Dizin adı inode türü ve döngü sınırlıdır. “Üç seviyeli dizin ağacı” kabulü ile “Öz döngülü inode” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Dizin adı inode türü ve döngü sınırlıdır
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_reader.rs · os_turkfs_reader_directories
Mevcut başlangıç referansı: kernel/src/turkfs.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Üç seviyeli dizin ağacı
Karşı-örnek / hata girdisi: Öz döngülü inode
Gerçek konuk kabulü: ELOOP veya format hatası bounded
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_reader.rs
os_turkfs_reader_directories_positive
os_turkfs_reader_directories_negative
scripts/os-acceptance/turkfs_reader.mjs
Geçiş koşulu: Tür ve geçiş tablosu Dizin adı inode türü ve döngü 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üş: “Öz döngülü inode” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1620: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1615. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1617Genel dizin dolaşımı · Rust uygulaması ve sahiplikPLAN / SINANMADI

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

K1618Genel dizin dolaşımı · Olumlu ve sınır birim testiPLAN / SINANMADI

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

K1619Genel dizin dolaşımı · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

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

K1620Genel dizin dolaşımı · Gerçek konukta ürün kabulüPLAN / SINANMADI

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

Kernel Rust · K1621–K1640

Blok ve inode tahsisi

Dört yetenek: Bitmap sahiplik ve rezervasyon · Dosya extent büyütme · Inode yuvası tahsisi · Truncate ve blok emekliliği. Her yetenek için kod ve iki testin ardından aynı ürün Image'ında konuk kabulü gerekir.

K1621Bitmap sahiplik ve rezervasyon · Sözleşme ve durum modeliPLAN / SINANMADI

Uygulanacak işlem: “Bitmap sahiplik ve rezervasyon” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Metadata blokları kullanıcı verisi olmaz. “Son boş blok edinimi” kabulü ile “Reserved bit boş gösterilir” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Metadata blokları kullanıcı verisi olmaz
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_allocation.rs · os_turkfs_allocation_bitmap
Mevcut başlangıç referansı: kernel/src/journal_disk.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Son boş blok edinimi
Karşı-örnek / hata girdisi: Reserved bit boş gösterilir
Gerçek konuk kabulü: Kaynak sahiplik hesabı eşit
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_allocation.rs
os_turkfs_allocation_bitmap_positive
os_turkfs_allocation_bitmap_negative
scripts/os-acceptance/turkfs_allocation.mjs
Geçiş koşulu: Tür ve geçiş tablosu Metadata blokları kullanıcı verisi olmaz kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Reserved bit boş gösterilir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1625: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1620. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1622Bitmap sahiplik ve rezervasyon · Rust uygulaması ve sahiplikPLAN / SINANMADI

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

K1623Bitmap sahiplik ve rezervasyon · Olumlu ve sınır birim testiPLAN / SINANMADI

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

K1624Bitmap sahiplik ve rezervasyon · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_turkfs_allocation_bitmap_negative testini oluştur: “Reserved bit boş gösterilir”. 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: Metadata blokları kullanıcı verisi olmaz
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_allocation.rs · os_turkfs_allocation_bitmap
Mevcut başlangıç referansı: kernel/src/journal_disk.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Son boş blok edinimi
Karşı-örnek / hata girdisi: Reserved bit boş gösterilir
Gerçek konuk kabulü: Kaynak sahiplik hesabı eşit
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_allocation.rs
os_turkfs_allocation_bitmap_positive
os_turkfs_allocation_bitmap_negative
scripts/os-acceptance/turkfs_allocation.mjs
Geçiş koşulu: Reserved bit boş gösterilir 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üş: “Reserved bit boş gösterilir” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1625: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1623. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1625Bitmap sahiplik ve rezervasyon · Gerçek konukta ürün kabulüPLAN / SINANMADI

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

K1626Dosya extent büyütme · Sözleşme ve durum modeliPLAN / SINANMADI

Uygulanacak işlem: “Dosya extent büyütme” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Plan atomik ve eski veri korunur. “Birden üç extente büyüme” kabulü ile “İkinci extentte ENOSPC” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Plan atomik ve eski veri korunur
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_allocation.rs · os_turkfs_allocation_extent_growth
Mevcut başlangıç referansı: kernel/src/journal_disk.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Birden üç extente büyüme
Karşı-örnek / hata girdisi: İkinci extentte ENOSPC
Gerçek konuk kabulü: İlk inode ve bitmap aynı kalır
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_allocation.rs
os_turkfs_allocation_extent_growth_positive
os_turkfs_allocation_extent_growth_negative
scripts/os-acceptance/turkfs_allocation.mjs
Geçiş koşulu: Tür ve geçiş tablosu Plan atomik ve eski veri korunur kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “İkinci extentte 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/K1630: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1625. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1627Dosya extent büyütme · Rust uygulaması ve sahiplikPLAN / SINANMADI

Uygulanacak işlem: kernel/src/runtime/turkfs_allocation.rs hedefinde os_turkfs_allocation_extent_growth yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/journal_disk.rs bir başlangıç referansıdır; mevcut deneyin ürün runtime'ına bağlı olduğunu varsayma. unsafe sınırını ve edinim/yayımlama/iade sırasını kod incelemesinde gerekçelendir.
Değişmez / korunan bağlam: Plan atomik ve eski veri korunur
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_allocation.rs · os_turkfs_allocation_extent_growth
Mevcut başlangıç referansı: kernel/src/journal_disk.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Birden üç extente büyüme
Karşı-örnek / hata girdisi: İkinci extentte ENOSPC
Gerçek konuk kabulü: İlk inode ve bitmap aynı kalır
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_allocation.rs
os_turkfs_allocation_extent_growth_positive
os_turkfs_allocation_extent_growth_negative
scripts/os-acceptance/turkfs_allocation.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Birden üç extente büyüme ile İkinci extentte ENOSPC ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “İkinci extentte 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/K1630: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1626. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1628Dosya extent büyütme · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_turkfs_allocation_extent_growth_positive testini oluştur: “Birden üç extente büyüme”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.
Değişmez / korunan bağlam: Plan atomik ve eski veri korunur
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_allocation.rs · os_turkfs_allocation_extent_growth
Mevcut başlangıç referansı: kernel/src/journal_disk.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Birden üç extente büyüme
Karşı-örnek / hata girdisi: İkinci extentte ENOSPC
Gerçek konuk kabulü: İlk inode ve bitmap aynı kalır
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_allocation.rs
os_turkfs_allocation_extent_growth_positive
os_turkfs_allocation_extent_growth_negative
scripts/os-acceptance/turkfs_allocation.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Birden üç extente büyüme girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “İkinci extentte 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/K1630: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1627. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1629Dosya extent büyütme · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_turkfs_allocation_extent_growth_negative testini oluştur: “İkinci extentte 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: Plan atomik ve eski veri korunur
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_allocation.rs · os_turkfs_allocation_extent_growth
Mevcut başlangıç referansı: kernel/src/journal_disk.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Birden üç extente büyüme
Karşı-örnek / hata girdisi: İkinci extentte ENOSPC
Gerçek konuk kabulü: İlk inode ve bitmap aynı kalır
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_allocation.rs
os_turkfs_allocation_extent_growth_positive
os_turkfs_allocation_extent_growth_negative
scripts/os-acceptance/turkfs_allocation.mjs
Geçiş koşulu: İkinci extentte 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üş: “İkinci extentte 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/K1630: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1628. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1630Dosya extent büyütme · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “İlk inode ve bitmap aynı kalır” kabulünü koştur. scripts/os-acceptance/turkfs_allocation.mjs gelecekte yazılacak koşucudur. Kaynak, Image, fixture, seri/QMP kayıtları ve sonuç aynı hash zincirinde olsun; yalnız host modeli ya da ayrı probe Image ürüne entegrasyon sayılmaz.
Değişmez / korunan bağlam: Plan atomik ve eski veri korunur
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_allocation.rs · os_turkfs_allocation_extent_growth
Mevcut başlangıç referansı: kernel/src/journal_disk.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Birden üç extente büyüme
Karşı-örnek / hata girdisi: İkinci extentte ENOSPC
Gerçek konuk kabulü: İlk inode ve bitmap aynı kalır
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_allocation.rs
os_turkfs_allocation_extent_growth_positive
os_turkfs_allocation_extent_growth_negative
scripts/os-acceptance/turkfs_allocation.mjs
Geçiş koşulu: İlk inode ve bitmap aynı kalır; iki açılış yolu ve belirtilen RAM/CPU profillerinde ölçülsün. Negatif yolu da geçen aynı ürün imajının kanıtı olmadan kabul kapısını kapatma.
Başarısızlık ve geri dönüş: “İkinci extentte 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/K1630: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1629. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1631Inode yuvası tahsisi · Sözleşme ve durum modeliPLAN / SINANMADI

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

K1632Inode yuvası tahsisi · Rust uygulaması ve sahiplikPLAN / SINANMADI

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

K1633Inode yuvası tahsisi · Olumlu ve sınır birim testiPLAN / SINANMADI

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

K1634Inode yuvası tahsisi · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_turkfs_allocation_inode_alloc_negative testini oluştur: “Eski inode referansı”. 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 inode tek nesil sahibiyle kurulur
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_allocation.rs · os_turkfs_allocation_inode_alloc
Mevcut başlangıç referansı: kernel/src/journal_disk.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Silinen slot yeniden kullanılır
Karşı-örnek / hata girdisi: Eski inode referansı
Gerçek konuk kabulü: Stale handle yeni dosyaya erişmez
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_allocation.rs
os_turkfs_allocation_inode_alloc_positive
os_turkfs_allocation_inode_alloc_negative
scripts/os-acceptance/turkfs_allocation.mjs
Geçiş koşulu: Eski inode referansı karşı-örneği açık ret üretsin; sağlıklı durum/kanaryalar korunsun; ret sonrası kaynak sızıntısı olmasın.
Başarısızlık ve geri dönüş: “Eski inode referansı” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1635: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1633. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1635Inode yuvası tahsisi · Gerçek konukta ürün kabulüPLAN / SINANMADI

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

K1636Truncate ve blok emekliliği · Sözleşme ve durum modeliPLAN / SINANMADI

Uygulanacak işlem: “Truncate ve blok emekliliği” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Canlı okuma backingini erken free etmez. “1025 bayttan 100 bayta” kabulü ile “Açık reader sırasında free” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Canlı okuma backingini erken free etmez
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_allocation.rs · os_turkfs_allocation_truncate
Mevcut başlangıç referansı: kernel/src/journal_disk.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: 1025 bayttan 100 bayta
Karşı-örnek / hata girdisi: Açık reader sırasında free
Gerçek konuk kabulü: Yeni boy ve kuyruk byte sınırı doğru
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_allocation.rs
os_turkfs_allocation_truncate_positive
os_turkfs_allocation_truncate_negative
scripts/os-acceptance/turkfs_allocation.mjs
Geçiş koşulu: Tür ve geçiş tablosu Canlı okuma backingini erken free etmez kuralını kapsasın; olumlu, ret ve geri alma sonuçları önceden tanımlansın.
Başarısızlık ve geri dönüş: “Açık reader sırasında 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/K1640: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1635. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1637Truncate ve blok emekliliği · Rust uygulaması ve sahiplikPLAN / SINANMADI

Uygulanacak işlem: kernel/src/runtime/turkfs_allocation.rs hedefinde os_turkfs_allocation_truncate yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/journal_disk.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: Canlı okuma backingini erken free etmez
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_allocation.rs · os_turkfs_allocation_truncate
Mevcut başlangıç referansı: kernel/src/journal_disk.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: 1025 bayttan 100 bayta
Karşı-örnek / hata girdisi: Açık reader sırasında free
Gerçek konuk kabulü: Yeni boy ve kuyruk byte sınırı doğru
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_allocation.rs
os_turkfs_allocation_truncate_positive
os_turkfs_allocation_truncate_negative
scripts/os-acceptance/turkfs_allocation.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. 1025 bayttan 100 bayta ile Açık reader sırasında free ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Açık reader sırasında 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/K1640: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1636. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1638Truncate ve blok emekliliği · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_turkfs_allocation_truncate_positive testini oluştur: “1025 bayttan 100 bayta”. 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: Canlı okuma backingini erken free etmez
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_allocation.rs · os_turkfs_allocation_truncate
Mevcut başlangıç referansı: kernel/src/journal_disk.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: 1025 bayttan 100 bayta
Karşı-örnek / hata girdisi: Açık reader sırasında free
Gerçek konuk kabulü: Yeni boy ve kuyruk byte sınırı doğru
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_allocation.rs
os_turkfs_allocation_truncate_positive
os_turkfs_allocation_truncate_negative
scripts/os-acceptance/turkfs_allocation.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; 1025 bayttan 100 bayta girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Açık reader sırasında 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/K1640: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1637. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1639Truncate ve blok emekliliği · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_turkfs_allocation_truncate_negative testini oluştur: “Açık reader sırasında 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: Canlı okuma backingini erken free etmez
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_allocation.rs · os_turkfs_allocation_truncate
Mevcut başlangıç referansı: kernel/src/journal_disk.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: 1025 bayttan 100 bayta
Karşı-örnek / hata girdisi: Açık reader sırasında free
Gerçek konuk kabulü: Yeni boy ve kuyruk byte sınırı doğru
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_allocation.rs
os_turkfs_allocation_truncate_positive
os_turkfs_allocation_truncate_negative
scripts/os-acceptance/turkfs_allocation.mjs
Geçiş koşulu: Açık reader sırasında 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üş: “Açık reader sırasında 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/K1640: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1638. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1640Truncate ve blok emekliliği · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “Yeni boy ve kuyruk byte sınırı doğru” kabulünü koştur. scripts/os-acceptance/turkfs_allocation.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: Canlı okuma backingini erken free etmez
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_allocation.rs · os_turkfs_allocation_truncate
Mevcut başlangıç referansı: kernel/src/journal_disk.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: 1025 bayttan 100 bayta
Karşı-örnek / hata girdisi: Açık reader sırasında free
Gerçek konuk kabulü: Yeni boy ve kuyruk byte sınırı doğru
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_allocation.rs
os_turkfs_allocation_truncate_positive
os_turkfs_allocation_truncate_negative
scripts/os-acceptance/turkfs_allocation.mjs
Geçiş koşulu: Yeni boy ve kuyruk byte sınırı 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üş: “Açık reader sırasında 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/K1640: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1639. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

Kernel Rust · K1641–K1660

Geçici diskte ad işlemleri

Dört yetenek: Create ve mkdir işlemi · Atomik aynı mount rename · Unlink açık dosya ömrü · Link sayısı ve dizin politikası. Her yetenek için kod ve iki testin ardından aynı ürün Image'ında konuk kabulü gerekir.

K1641Create ve mkdir işlemi · Sözleşme ve durum modeliPLAN / SINANMADI

Uygulanacak işlem: “Create ve mkdir işlemi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Ad inode bitmap tek transactiondır. “Yeni dosya ve alt dizin” kabulü ile “Ad mevcut veya quota dolu” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Ad inode bitmap tek transactiondır
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_namespace.rs · os_turkfs_namespace_create
Mevcut başlangıç referansı: kernel/src/turkfs.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Yeni dosya ve alt dizin
Karşı-örnek / hata girdisi: Ad mevcut veya quota dolu
Gerçek konuk kabulü: Kısmi ad kaydı görünmez
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_namespace.rs
os_turkfs_namespace_create_positive
os_turkfs_namespace_create_negative
scripts/os-acceptance/turkfs_namespace.mjs
Geçiş koşulu: Tür ve geçiş tablosu Ad inode bitmap tek transactiondı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üş: “Ad mevcut veya quota 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/K1645: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1640. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1642Create ve mkdir işlemi · Rust uygulaması ve sahiplikPLAN / SINANMADI

Uygulanacak işlem: kernel/src/runtime/turkfs_namespace.rs hedefinde os_turkfs_namespace_create yolunu uygula veya mevcut Rust modülünü bu sözleşmeye taşı. kernel/src/turkfs.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: Ad inode bitmap tek transactiondır
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_namespace.rs · os_turkfs_namespace_create
Mevcut başlangıç referansı: kernel/src/turkfs.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Yeni dosya ve alt dizin
Karşı-örnek / hata girdisi: Ad mevcut veya quota dolu
Gerçek konuk kabulü: Kısmi ad kaydı görünmez
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_namespace.rs
os_turkfs_namespace_create_positive
os_turkfs_namespace_create_negative
scripts/os-acceptance/turkfs_namespace.mjs
Geçiş koşulu: Kod sözleşmeyle eşleşsin; derleme ve sahiplik incelemesi geçsin. Yeni dosya ve alt dizin ile Ad mevcut veya quota dolu ayrımı uygulanmış olsun; henüz konuk PASS iddiası yok.
Başarısızlık ve geri dönüş: “Ad mevcut veya quota 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/K1645: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1641. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1643Create ve mkdir işlemi · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_turkfs_namespace_create_positive testini oluştur: “Yeni dosya ve alt dizin”. 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: Ad inode bitmap tek transactiondır
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_namespace.rs · os_turkfs_namespace_create
Mevcut başlangıç referansı: kernel/src/turkfs.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Yeni dosya ve alt dizin
Karşı-örnek / hata girdisi: Ad mevcut veya quota dolu
Gerçek konuk kabulü: Kısmi ad kaydı görünmez
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_namespace.rs
os_turkfs_namespace_create_positive
os_turkfs_namespace_create_negative
scripts/os-acceptance/turkfs_namespace.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Yeni dosya ve alt dizin girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Ad mevcut veya quota 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/K1645: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1642. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1644Create ve mkdir işlemi · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_turkfs_namespace_create_negative testini oluştur: “Ad mevcut veya quota 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: Ad inode bitmap tek transactiondır
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_namespace.rs · os_turkfs_namespace_create
Mevcut başlangıç referansı: kernel/src/turkfs.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Yeni dosya ve alt dizin
Karşı-örnek / hata girdisi: Ad mevcut veya quota dolu
Gerçek konuk kabulü: Kısmi ad kaydı görünmez
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_namespace.rs
os_turkfs_namespace_create_positive
os_turkfs_namespace_create_negative
scripts/os-acceptance/turkfs_namespace.mjs
Geçiş koşulu: Ad mevcut veya quota 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üş: “Ad mevcut veya quota 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/K1645: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1643. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1645Create ve mkdir işlemi · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “Kısmi ad kaydı görünmez” kabulünü koştur. scripts/os-acceptance/turkfs_namespace.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: Ad inode bitmap tek transactiondır
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_namespace.rs · os_turkfs_namespace_create
Mevcut başlangıç referansı: kernel/src/turkfs.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Yeni dosya ve alt dizin
Karşı-örnek / hata girdisi: Ad mevcut veya quota dolu
Gerçek konuk kabulü: Kısmi ad kaydı görünmez
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_namespace.rs
os_turkfs_namespace_create_positive
os_turkfs_namespace_create_negative
scripts/os-acceptance/turkfs_namespace.mjs
Geçiş koşulu: Kısmi ad kaydı görünmez; 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üş: “Ad mevcut veya quota 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/K1645: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1644. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1646Atomik aynı mount rename · Sözleşme ve durum modeliPLAN / SINANMADI

Uygulanacak işlem: “Atomik aynı mount rename” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Kaynak hedef ad değişimi tanımlıdır. “Dosya adı değiştirilir” kabulü ile “Parent döngüsü yaratan rename” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Kaynak hedef ad değişimi tanımlıdır
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_namespace.rs · os_turkfs_namespace_rename
Mevcut başlangıç referansı: kernel/src/turkfs.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Dosya adı değiştirilir
Karşı-örnek / hata girdisi: Parent döngüsü yaratan rename
Gerçek konuk kabulü: Ya eski ya yeni ad kalır
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_namespace.rs
os_turkfs_namespace_rename_positive
os_turkfs_namespace_rename_negative
scripts/os-acceptance/turkfs_namespace.mjs
Geçiş koşulu: Tür ve geçiş tablosu Kaynak hedef ad değişimi tanımlı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üş: “Parent döngüsü yaratan rename” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1650: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1645. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1647Atomik aynı mount rename · Rust uygulaması ve sahiplikPLAN / SINANMADI

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

K1648Atomik aynı mount rename · Olumlu ve sınır birim testiPLAN / SINANMADI

Uygulanacak işlem: os_turkfs_namespace_rename_positive testini oluştur: “Dosya adı değiştirilir”. Girdi sınırlarını, beklenen durumun tamamını ve kaynak sayısını denetle; yalnız fonksiyonun hata vermemesi yeterli değildir. Test filtresinin en az bir gerçek test çalıştırdığını doğrula.
Değişmez / korunan bağlam: Kaynak hedef ad değişimi tanımlıdır
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_namespace.rs · os_turkfs_namespace_rename
Mevcut başlangıç referansı: kernel/src/turkfs.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Dosya adı değiştirilir
Karşı-örnek / hata girdisi: Parent döngüsü yaratan rename
Gerçek konuk kabulü: Ya eski ya yeni ad kalır
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_namespace.rs
os_turkfs_namespace_rename_positive
os_turkfs_namespace_rename_negative
scripts/os-acceptance/turkfs_namespace.mjs
Geçiş koşulu: En az bir gerçek test çalışsın; Dosya adı değiştirilir girdisinde tam beklenen durum ve kaynak hesabı doğrulansın.
Başarısızlık ve geri dönüş: “Parent döngüsü yaratan rename” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1650: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1647. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1649Atomik aynı mount rename · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

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

K1650Atomik aynı mount rename · Gerçek konukta ürün kabulüPLAN / SINANMADI

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

K1651Unlink açık dosya ömrü · Sözleşme ve durum modeliPLAN / SINANMADI

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

K1652Unlink açık dosya ömrü · Rust uygulaması ve sahiplikPLAN / SINANMADI

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

K1653Unlink açık dosya ömrü · Olumlu ve sınır birim testiPLAN / SINANMADI

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

K1654Unlink açık dosya ömrü · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_turkfs_namespace_unlink_negative testini oluştur: “Unlink canlı backing free eder”. 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 açık referans bitmeden bloklar kalır
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_namespace.rs · os_turkfs_namespace_unlink
Mevcut başlangıç referansı: kernel/src/turkfs.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Open sonra unlink sonra read
Karşı-örnek / hata girdisi: Unlink canlı backing free eder
Gerçek konuk kabulü: Reader aynı dosya hashini alır
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_namespace.rs
os_turkfs_namespace_unlink_positive
os_turkfs_namespace_unlink_negative
scripts/os-acceptance/turkfs_namespace.mjs
Geçiş koşulu: Unlink canlı backing free eder 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üş: “Unlink canlı backing free eder” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1655: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1653. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1655Unlink açık dosya ömrü · Gerçek konukta ürün kabulüPLAN / SINANMADI

Uygulanacak işlem: Tek ürün Image'ında “Reader aynı dosya hashini alır” kabulünü koştur. scripts/os-acceptance/turkfs_namespace.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 açık referans bitmeden bloklar kalır
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_namespace.rs · os_turkfs_namespace_unlink
Mevcut başlangıç referansı: kernel/src/turkfs.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Open sonra unlink sonra read
Karşı-örnek / hata girdisi: Unlink canlı backing free eder
Gerçek konuk kabulü: Reader aynı dosya hashini alır
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_namespace.rs
os_turkfs_namespace_unlink_positive
os_turkfs_namespace_unlink_negative
scripts/os-acceptance/turkfs_namespace.mjs
Geçiş koşulu: Reader aynı dosya hashini 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üş: “Unlink canlı backing free eder” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1655: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1654. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1656Link sayısı ve dizin politikası · Sözleşme ve durum modeliPLAN / SINANMADI

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

K1657Link sayısı ve dizin politikası · Rust uygulaması ve sahiplikPLAN / SINANMADI

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

K1658Link sayısı ve dizin politikası · Olumlu ve sınır birim testiPLAN / SINANMADI

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

K1659Link sayısı ve dizin politikası · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

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

K1660Link sayısı ve dizin politikası · Gerçek konukta ürün kabulüPLAN / SINANMADI

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

Kernel Rust · K1661–K1680

Genel transaction journal

Dört yetenek: Transaction başlık ve kayıt biçimi · Veri journal commit sırası · Journal alan rezervasyonu · Checkpoint ve journal geri dönüşümü. Her yetenek için kod ve iki testin ardından aynı ürün Image'ında konuk kabulü gerekir.

K1661Transaction başlık ve kayıt biçimi · Sözleşme ve durum modeliPLAN / SINANMADI

Uygulanacak işlem: “Transaction başlık ve kayıt biçimi” için girdi/çıktı türlerini, izinli durum geçişlerini, kaynak sahibini ve hata kodlarını tanımla. Değişmez: Kayıt boy sıra ve checksum birlikte geçer. “Üç metadata kaydı” kabulü ile “Kesik uzunluk veya eski sürüm” reddini aynı sözleşmeye bağla.
Değişmez / korunan bağlam: Kayıt boy sıra ve checksum birlikte geçer
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_journal.rs · os_turkfs_journal_format
Mevcut başlangıç referansı: kernel/src/journal_disk.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Üç metadata kaydı
Karşı-örnek / hata girdisi: Kesik uzunluk veya eski sürüm
Gerçek konuk kabulü: Bozuk journal mountta açık hata
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_journal.rs
os_turkfs_journal_format_positive
os_turkfs_journal_format_negative
scripts/os-acceptance/turkfs_journal.mjs
Geçiş koşulu: Tür ve geçiş tablosu Kayıt boy sıra ve checksum birlikte geçer 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 uzunluk veya eski sürüm” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1665: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1660. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1662Transaction başlık ve kayıt biçimi · Rust uygulaması ve sahiplikPLAN / SINANMADI

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

K1663Transaction başlık ve kayıt biçimi · Olumlu ve sınır birim testiPLAN / SINANMADI

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

K1664Transaction başlık ve kayıt biçimi · Hata enjeksiyonu ve geri alma testiPLAN / SINANMADI

Uygulanacak işlem: os_turkfs_journal_format_negative testini oluştur: “Kesik uzunluk veya eski sürüm”. 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: Kayıt boy sıra ve checksum birlikte geçer
Kod hedefi — henüz öneri: kernel/src/runtime/turkfs_journal.rs · os_turkfs_journal_format
Mevcut başlangıç referansı: kernel/src/journal_disk.rsBu dosyanın varlığı yeni hamlenin tamamlandığını göstermez.
Olumlu deney: Üç metadata kaydı
Karşı-örnek / hata girdisi: Kesik uzunluk veya eski sürüm
Gerçek konuk kabulü: Bozuk journal mountta açık hata
Test hedefleri — oluşturulmadı / çalıştırılmadı: kernel/tests/os/turkfs_journal.rs
os_turkfs_journal_format_positive
os_turkfs_journal_format_negative
scripts/os-acceptance/turkfs_journal.mjs
Geçiş koşulu: Kesik uzunluk veya eski sürüm 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 uzunluk veya eski sürüm” girdisini açık hata olarak reddet; kısmi durum yayımlama. Önce/sonra sahiplik, kaynak sayısı ve sağlıklı hizmet ilerlemesini karşılaştır. Sessiz düzeltme ya da kanıt olmadan başarı etiketi verme.
Kanıt gereksinimi: Kaynak / Image / fixture hash'i; gerçek test sayısı; olumlu ve negatif sonuç; konuk seri/QMP kaydı; önce/sonra sahiplik hesabı. Beklenen, henüz gözlenmeyen işaret: TURKOS/OS/K1665: PASS.
Profil ve bağlar: 256/512/1024 MiB · 1 vCPU · doğrudan Image + UEFI BootInfo. Hamle önkoşulu: K1663. Ayrıca faz 10 tamamen kabul edilmiş olmalı.
Sınır: Yalnız plan; kod, test koşusu veya konuk PASS kanıtı değildir. Mevcut deneysel sürüm ve production-write derleme engeli değişmez.

K1665Transaction başlık ve kayıt biçimi · Gerçek konukta ürün kabulüPLAN / SINANMADI

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

K1666Veri journal commit sırası · Sözleşme ve durum modeliPLAN / SINANMADI