Ana Sayfa · Ürünler · Berk Digital Twin

Berk Digital Twin — kanıtlanabilir simülasyon altyapısı

Yerleşik çapraz-platform fizik motoruna sahip deterministik karar / dijital ikiz çekirdeği. Aynı kurulum + aynı zaman-adımı = her platformda bit-aynı state_hash — lockstep, replay ve denetlenebilir otonominin temeli.

✓ ~1050 test %100 yeşil✓ TLA+ doğrulandıBit-aynı state_hashUnity · Unreal · WASMGA / 1.2
~1050
birim + entegrasyon testi
5,1M+
TLA+/TLC ile incelenen durum, 0 ihlal
≤2
tahsis / 1000 adım (sıcak yol)
~368 µs
3B 500 cisim adım süresi (ölçülen)
Ayırt Edici Güç

Anı çatalla. Geleceği kanıtla.

Çoğu motor her makinede küçük farklarla çalışır. Berk Digital Twin deterministiktir: sabit-nokta matematik + mantıksal saat + tohumlu RNG → Windows ≡ Linux ≡ macOS ≡ tarayıcı, bit düzeyinde aynı state_hash.

Replay & kayıt

Tohum + sıralı girdi + periyodik durum hash'i bir koşuyu birebir yeniden üretir. Kaza analizi, hata ayıklama, eğitim — ıraksama ilk karede tespit edilir.

What-If motoru

Canlı durumdan N dal çatalla, her dalı ileri simüle et, skorla ve hash-adresle. Üretilen seçenekler savunulabilir ve yeniden-üretilebilirdir (Danışman katmanı).

Gölge İkiz

Deterministik ikiz gerçek sistemle yan yana, aynı girdilerle koşar; tahmin-ölçüm artığını izler. Sıfır simülasyon gürültüsü → en küçük arıza/enjeksiyon bile net kırılma üretir.

Rollback netcode

Snapshot'lar üzerinde GGPO-tarzı girdi tahmini + geri-sarma: kötü ağ koşullarında bile akıcı, düşük gecikmeli lockstep çok-oyunculu — Photon Quantum paritesi, gömülü çekirdekte.

Açıklanabilir karar

Her karar; epistemik durum, zaman katmanı (refleks → stratejik), yetki ve köken hash'i taşır. "Neden bu karar verildi?" sorusunun cevabı kayıt altında ve yeniden-üretilebilirdir.

Motora hazır

C-ABI + Unreal eklentisi + Unity (UPM) paketi + WebAssembly. Görseli oyun motoru sağlar; deterministik fizik, replay ve açıklanabilir kararlar bu çekirdekten gelir.

Fizik Kapsamı

Oyun-motoru sınıfı, üretime hazır fizik

Sabit-nokta (Fx64 Q32.32) 2B + 3B rijit-cisim dinamiği, TGS-Soft çözücü — sıcak yolda tahsis-içermez olduğu kanıtlanmış.

Eklemler + motor & limitRaycast araç (2B+3B) Kinematik karakterYumuşak cisim / kumaş (XPBD) PBF akışkanCCDBVH broadphase Üçgen-mesh & heightfield3B sorgular: ray/shape-cast Islands & uykuDeterministik çok-çekirdek Robot-kol kinematiği (DH/FK/IK)
Durum: üretim sınıfı (GA / 1.2). ~1050 test yeşil, 77 gereksinim 0-eksik iki-yönlü izlenebilirlik, CI-kilitli C-ABI sembol kümesi. Formal doğrulama bir sertifika değildir; zamanlama rakamları advisory niteliktedir.

Canlı demolarla kendiniz kanıtlayın

Kör inanç yok: 12 demoluk galeri, hash mutabakatı, determinizm müfettişi ve CPU ≡ GPU ≡ tarayıcı gösterimi tarayıcınızda çalışır.

Canlı demoları aç İletişime geçin