AI快讯 / AI 开源项目

Roshera-CAD

Agent-native geometry kernel: a Rust B-Rep engine where every operation returns a validity certificate — nine structural invariants, computed under the write lock, failing closed. Outside its verified envelope it refuses with a typed error rather than approximating. The kernel cannot lie.

原文来源AI 开源 Releases
查看官方原文

Agent-native geometry kernel: a Rust B-Rep engine where every operation returns a validity certificate — nine structural invariants, computed under the write lock, failing closed. Outside its verified envelope it refuses with a typed error rather than approximating. The kernel cannot lie.