一门用于显式、分作用域、可审计 LLM 上下文的小语言。
用有作用域的 use 声明，精确选择每次模型调用能看到什么。
追踪模型调用、工具输出、memory 访问和 prompt 上下文边界。
用类型化输入、契约、工具、memory 和 agent 组织多步骤工作流。
