IR、求值器与端口。此模块不得有任何三方依赖——纯度由 module-info 强制。

Artifacts using Facet Core (9)
Sort by:Popular▼

属性式前端。策略编译成 Guarded,属性等级在此确定。
Last Release on Oct 8, 2026
角色式前端。角色继承编译成 Ref,而不是在前端展开成元组。
Last Release on Oct 8, 2026
关系式 schema 前端。只做编译,不做判定。
Last Release on Oct 8, 2026
用结构化并发实现扇出。整个工程唯一带 --enable-preview 的模块。
Last Release on Oct 8, 2026
Schema 的 JSON 编解码。独立模块,内核因此不必为了序列化而带上 JSON 依赖。
Last Release on Oct 8, 2026
driving 适配器:把 check / lookupResources / 关系写入暴露成 HTTP。
Last Release on Oct 8, 2026
内存元组存储。带正反双向索引,是端口语义的参考实现与一致性基准。
Last Release on Oct 8, 2026
把 Plan 下推成一条 SQL(递归层级走 WITH RECURSIVE),并用时效表兑现一致性坐标。
Last Release on Oct 8, 2026
判定矩阵 golden file:策略变更时 diff 出判定差异。
Last Release on Oct 8, 2026
  • Prev
  • 1
  • Next