036 · 跨抽象层更快，是选对表示还是扩大了搜索？TileCas 让 kernel Agent 在高层 DSL 与低层原生代码之间切换，并保留可回访的候选分支。它用随机路由和同检查点干预说明：收益不只来自多一种表示，还来自何时切换、从哪个历史候选继续。