系统支持动态势流推理、三态公理语义以及时间演化路径，提供 suggest 和 trace 接口。