Kat delikleri, sürükleme kapısı ve asma katın kendi çarpışması

[ovurrsl]

Üç iş, hepsi aynı sınıftan: hata vermeyen eksiklikler.

---

1. Palet asansörü ve spiral konveyör kat döşemelerini deliyor

İki kind de çok katlı makine ama kapalı döşemelerin içinden geçiyorlardı. Host kendi asansörü ve merdiveni için döşeme kesiyor; editördeki verticalOpening yeteneğinden beri bunu bildiren her kind için kesiyor.

	Delik	Aralık
Palet asansörü	Muhafaza zarfı + 0,08 m pay (dikdörtgen, sapmalı)	Çözülmüş servis durakları — fromLevelId/toLevelId gerçekten kelepçeliyor
Spiral konveyör	Kafes yarıçapı + 0,08 m pay (16 kenarlı daire)	Kendi yükselişi: entryHeight + travelHeight + pay

Sessiz yanlışların durduğu yer

Kotlar makinenin kendi katına göre. Host, düğümü kendi katının kotuna yerleştiriyor. Kat kotları MUTLAK okunursa 1. kattaki bir asansör altındaki döşemeleri delmeye başlar — 4 metre kayık, ama makul görünen deliklerle. palletlift/levels.ts aynı tuzağı zaten belgeliyor; vertical-opening.ts aynı yeniden tabanlamayı yapıyor.

Kapsayıcılık host asansörünü yansıtıyor: oturduğu döşeme HARİÇ, vardığı döşeme DAHİL (bottom < düzlem ≤ top). Alt uç kapsayıcı olsaydı her makine kendi ayağının altındaki zemini keserdi; üst uç dışlayıcı olsaydı en üst durakta kapalı bir tavana açılırdı.

Yedek duraklar delik açmaz. resolveLiftLevels iki kattan azı çözülünce sentetik bir yedek kuyu döndürüyor — o çizim içindir. Onu delik aralığı saymak, bina dışına konmuş ya da tek kata kelepçelenmiş bir asansörün altından geçmediği döşemeleri kesmesi demekti. liftOpeningSpan bu durumda null dönüyor.

Delik footprintM değil, enclosureXZ. footprintM kontrol panosunun taşmasını da sarıyor; pano kafesin dışında, tek katta duruyor ve kuyudan geçmiyor.

Sarmalın deliği yuvarlak. footprintM kareyi iki tanjant güdüğünü kapsayacak kadar büyütüyor, ama o güdükler giriş/çıkış kotunda — döşemeden geçen şey kafes silindiri.

"Hangi katlarda çıkışı olacak"

Sarmalda bu ayrı bir ALAN değil, travelHeight'ten çıkıyor: makine oturduğu döşemeden toplam boyu kadar yükselir, arasında kalan her döşeme delinir. Kat kimliğiyle seçilen bir "varış katı" alanı kotu sahneden okumayı gerektirirdi — ParametricDescriptor'ın derive kancası nodes görmüyor, yani ifade edilemiyor. travelHeight zaten ölçünün kendisi: pitchM, turnCount ve geometri anahtarı onun üstünde duruyor.

Palet asansöründe seçim zaten vardı (fromLevelId/toLevelId, host asansör deseni) — eksik olan tek şey deliğin açılmasıydı.

---

2. Sürükleme kapısı

Yerleştirme neyi denetliyorsa sürükleme de onu denetler.

Bu paketin araçları yerleştirmeyi clash.ts üzerinden üç boyutta denetliyordu. Yerleşen nesne sonradan sürüklenebiliyordu ve orada hiçbir denetim yoktu: host'un sürükleme kapısı floorPlaced.collides'a bakar, bu paketin her kind'ı onu kapalı tutmak zorunda — host'un testi plan dikdörtgenidir ve Y görmez, tünelli bir gözün altındaki yürüme yolunu dikmelerin içinden geçmekten ayıramaz. Kapalı tutmak sürükleme kapısını da kapatıyordu: doğru yerleştirilen bir konveyör, ertesi saniye rafın içine çekilebiliyordu.

clashGuardedMove() yerleştirme kapısının kullandığı isClearAt'in aynısıyla cevap veriyor, editördeki yeni movable.canMoveTo üzerinden (ovurrsl/editor#41). Yirmi kind bildiriyor; rota bildirmiyor — zemine çizilen boyadır, occupiedVolumes ona hacim vermez, hacmi olmayan şeyin çarpışması da yoktur.

Bekçi testi bunu manifest üzerinden yapıyor, elle tutulan bir listeden değil: eksiklik hata vermez (canMoveTo bildirmeyen bir kind derlenir, çalışır, yerleştirmesi denetlenir — yalnız sürüklemesi serbesttir), ve yirmi kind'a elle eklenen bir alan yirmi birincisinde unutulur.

---

3. Asma kat kendi kendini de engelliyor

occupiedVolumes asma katı yazıldığı günden beri betimliyordu — yani bir raf asma katın içine konamıyordu. Ama asma kat aracı yalnız host'un plan dikdörtgeni testini koşuyordu: bir güverte altı metrelik bir raf sırasının içinden geçirilerek çizilebiliyordu.

Artık ikisi birden koşuyor, çünkü iki ayrı soru:

• Host'un canPlaceOnFloor'u çizilen alanı sorar. Bir asma katın sınırlayıcı dikdörtgeni kapladığı alanın tamamıdır.
• 3B test kolonları ve güverteyi sorar — aradaki havayı değil, ki bir asma katın inşa edilme sebebi tam olarak o hava.

İkisi de gerekli: yalnız birincisi kalsa üstünde durduğu her şeyi reddederdi, yalnız ikincisi kalsa kolonlar bir rafın dikmesinin içinden geçebilirdi.

Test iki yarıyı da tutuyor. Kısa rafın üstünden geçen güverteyi reddeden bir kapı, korumak için eklendiği özelliği kırmıştır — ve o testte rafın konumu tahmin edilmiyor, gridColumnPositions'a soruluyor: bir kolon zemine kadar gerçekten katıdır, üstüne oturan raf gerçek bir çarpışmadır, yani tahmin edilmiş bir konum testi ya yanlış sebeple geçirir ya da adım değişince kırar.

---

Yayınlanmamış tipe karşı: neden yayılım (spread)

Hem verticalOpening hem canMoveTo editörün integration dalında; yayınlanmış @pascal-app/core ikisini de tanımıyor. Anahtarı doğrudan yazmak, CI'ın kurduğu peer'e karşı TS2353 verir — bu paket ItemCatalog yüzünden bir kez böyle kırılmış ve modül yüklenemediği için 925 test hiç koşmamıştı.

Yayılım fazla-özellik denetimini atlıyor, host da yetenekleri çalışma zamanında dinamik okuyor, yani eski host'ta hiçbir şey olmuyor, yenisinde çalışıyor. compat.ts sondası bunun bıraktığı boşluğu kapatıyor: eski bir host'ta makineler sessizce delmiyor ve açılmamış bir delik hiçbir iz bırakmıyor, o yüzden sonda bir kat aralığı olan asansör sayısını verticalOpening kaynaklı deliği olan döşeme sayısıyla karşılaştırıp konsola tek satır yazıyor.

Kapılar

bun run check-types   temiz
bunx biome check .    temiz (4 uyarı, 7 info — hepsi önceden var)
bun test              2782 pass / 0 fail

Yeni testlerin hepsi makul görünen yanlış cevabı hedefliyor: oturduğu döşemeyi delmek, vardığı döşemeyi kapalı bırakmak, kelepçelenmiş bir asansörün üstündeki katı delmesi, kat altında kalan bir sarmalın bir şey delmesi, 90° dönmüş bir deliğin dönmemiş uzanımlarını koruması, ve kısa rafın üstünden geçen güvertenin reddedilmesi.