跳转到内容
Aira 3D

Aira 数据模型与中间表示规范（Specs）

本文档索引 Aira 核心数据模型规范，涵盖 AMIR（Aira Modeling Intermediate Representation）及其派生规范。 AMIR 是人与 AI 协作建模的单一真相中间表示，确保几何设计意图具备可识别、可编辑、可回退与可验证性。

AMIR 核心规范

Section titled “AMIR 核心规范”
  • AMIR 核心总纲 (AMIR-v0.1.md)：规范定位、核心术语与顶层设计目标（当前对应实现 0.4.0）。
  • 模型身份、类型与值 (AMIR-v0.1-model.md)：
    • Document、Revision 确定性哈希标识符与生命周期；
    • 静态类型系统、物理单位制（SI 毫米制）与 Value 数据结构；
    • 产品结构（Product）、组件实例（Instances）与跨零件装配关系。
  • 特征图、参数、约束与引用 (AMIR-v0.1-features.md)：
    • Node、Port 与有向无环特征图（Feature DAG）；
    • 参数化表达式、尺寸驱动与约束图；
    • 语义引用（SemanticRef）、基数（Cardinality）与拓扑指纹匹配；
    • 多表示转换、误差合同与几何内核提示（Kernel Hints）。
  • 事务、诊断、证据与确定性 (AMIR-v0.1-execution.md)：
    • 原子事务生命周期（Patch → Preview → Validate → Commit）；
    • 稳定诊断代码系统（Diagnostics）与违规拦截；
    • 实体工件图（ArtifactGraph）与参数/源码映射（Source Map）；
    • 几何证明证书（Geometry Certificate）与计算回溯（Provenance）。
  • 扩展、示例与符合性级别 (AMIR-v0.1-examples.md)：
    • 最小完整 Document 示例与典型事务失败样例；
    • 操作目录定义与 JSON Schema 拆分结构；
    • 核心实现符合性分级（Level 1~3）。

专属领域规范

Section titled “专属领域规范”