Deterministic · Auditable · Forkable simulation — bit-identical on every machine.
Berk DT bir fizik motoru değil, bir karar-doğrulama altyapısı: canlı bir durumu çatallayıp olası gelecekleri değerlendirir, her adımın parmak izini alır ve aynı girdinin her makinede bit-aynısonucu verdiğini kanıtlar.
Karar için kullanılan bir simülasyonun tek sorusu vardır: ona güvenebilir misin?Kayan-nokta (float) tabanlı motorlarda cevap kırılgandır.
Aynı senaryo farklı işlemci/derleyicide farklı sonuç verir. Tahmin kendi kendine kayar; bir sapmanın model hatası mı, arıza mı, siber-müdahale miolduğunu ayıramazsın — eşiği gevşetir, körleşirsin. "Simülasyon çalıştı" dersin ama kanıtlayamazsın.
Tüm matematik tamsayı sabit-noktadır → simülasyon tarafının gürültüsü sıfır bit. Aynı girdi her makinede aynı state_hash. Sonucu tek satırla karşılaştırır, tek komutla yeniden üretir, kurcalamayı anında yakalarsın.
Bu iddia her kod değişikliğinde üç platformda CI ile otomatik doğrulanır; canlı görmek için Hash Mutabakatıve CPU ≡ GPU ≡ tarayıcıdemolarına bak.
Klasik dijital ikiz izler ve tekrar oynatır (ne oldu?). Berk DT bir adım öteye geçer: canlı durumdan gelecekleri çatallar (başka ne olabilirdi?).
Her dal ayrı bir plan altında koşulur, sonuç durumu skorlanır ve hash'lenir. Aynı taban + aynı plan → aynı sonuç. Yani ürettiğin seçenekler (COA) savunulabilir ve tekrar-üretilebilir; taban durum asla bozulmaz.
Gerçek sistemin yanında aynı girdilerle koşan deterministik ikiz, tahmin ile ölçüm arasındaki artığı izler; sapmayı ilk karede yakalar. Simülasyon gürültüsü sıfır olduğu için eşik dar tutulabilir — küçük bir yıpranma/arıza/enjeksiyon bile net kırar.
Danışman ve Gölge İkiz Sentinel sürümününoperasyonel katmanıdır; rollback netcode ve kanıt zinciriyle aynı çekirdeği paylaşır.
Karar güvenliği, operasyon optimizasyonu ve sim-to-real doğrulama — hepsi tek deterministik çekirdekle.
Determinizm artık birçok motorun hedefi; fark nasılsağlandığında ve ne ile birlikte geldiğinde. Berk DT, rakiplerin ayrı ayrı tuttuğu üç şeyi tek çekirdekte birleştirir.
Güçlü fizik, ama çapraz-platform determinizm float + derleyici bayraklarına bağlı (kırılgan) ve karar/twin katmanı yok.
Sabit-nokta ve deterministik, ama yalnız Unity + kendi bulutu; oyun-netcode odaklı, digital-twin değil.
Berk DTkesişimi doldurur: inşa-gereği fixed-point determinizm + gömülü karar/twin + formal doğrulama + operasyonel katman (Gölge İkiz · Danışman) — tek hafif, gömülebilir çekirdek.
"İnan bana" demiyoruz. Determinizm sayesinde her iddia tek komutla yeniden üretilebilir.
# Determinizm: golden hash her platformda birebir cargo test --release --test determinism_dynamics # Adli Müfettiş: koşumu üret, sonra FİZİKLE yeniden doğrula cargo run --bin berk-audit -- run cargo run --bin berk-audit -- verify report.json # → 600 karenin tamamı yeniden üretildi ✓ # 10.000 gövde: SAP ve BVH broadphase bit-AYNI hash cargo test --release --test scale_10k -- --ignored --nocapture