合规等级

Source: Dev.to

目的

此文档定义了 FACET 相关实现的 合规级别。

虽然 FACET v2.0 规范定义了 正确 的行为，但合规级别定义了给定组件（编译器、适配器、运行时、SDK 集成）在 FACET 合约模型 中 遵循程度 的完整性。

这使得生态系统能够：

• 区分部分集成与完整实现
• 避免对确定性的错误声明
• 为企业使用设定明确的期望
• 在不破坏归属或信任的前提下演进标准

合规级别是 声明式 且 可审计 的。

核心原则

并非所有 FACET 集成都是相同的——这必须明确。

组件 必须 声明其合规等级。
在未满足该等级要求的情况下默默声称 “FACET‑compatible” 被视为 不合规。

合规级别概览

Level 0 — 概念合规 (L0)

Audience

博客文章、设计文档、实验原型。

Definition

该实现：

• 引用了 FACET 概念（contracts、determinism、Canonical JSON）
• 未 实现正式的编译或保证

Allowed Claims

• “FACET‑inspired”
• “FACET concepts applied”
• “Contract‑based approach”

Forbidden Claims

• deterministic execution
• reproducibility guarantees
• FACET‑compatible

Notes

L0 不是 实现层级。它的存在是为了在不误导用户的前提下进行讨论。

Level 1 — 结构合规 (L1)

受众

SDK 扩展、工具、轻量级集成。

定义

实现产生或消费 Canonical JSON 并且：

• 遵循规范的排序和显式 null 规则
• 强制执行模式形状的稳定性

必需属性

• 稳定的键排序
• 对缺失的可选字段使用显式 null
• 确定性的序列化

非需求

• 完整的 R‑DAG 执行
• Token Box Model
• 跨运行的严格确定性

允许的声明

• “FACET‑compatible (structural)”
• “Canonical JSON compliant”

常见示例

• 日志/审计工具
• 快照测试工具
• 可视化层

Level 2 — 确定性合规 (L2)

Audience

Production agent systems, enterprise deployments.

Definition

The implementation fully enforces deterministic execution and:

• produces identical Canonical JSON for identical inputs
• rejects invalid states before provider execution

Required Properties

• strict Facet Type System (FTS)
• deterministic R‑DAG execution
• deterministic Token Box Model layout
• Canonical JSON as the single source of truth
• no retries as a correctness mechanism

Guarantees

• reproducible outputs
• stable hashing
• replayable executions
• deterministic failure modes

Allowed Claims

• “Deterministic”
• “FACET‑compatible”
• “Reproducible agent execution”

第3级 — 参考合规 (L3)

受众

标准组织、审计员、长期基础设施。

定义

该实现：

• 满足 所有 FACET v2.0 规范性要求
• 通过官方 FACET golden 测试套件

它可作为 参考实现 使用。

必需属性

• 完整的规范覆盖（所有执行阶段）
• 含已发布夹具的 golden 测试
• 严格的适配器要求
• 干净（hermetic）的执行保证
• 有文档记录的版本管理和变更历史

特权

只有 L3 实现可以声称：

• “FACET Reference Implementation”
• “Spec‑complete”
• “FACET Standard”

适配器与合规性

提供者适配器拥有它们自己的合规轴。

一个适配器可以是：

• L1 合规（仅结构映射）
• L2 合规（确定性映射 + golden 测试）

适配器永远不能单独成为 L3；它们继承系统级别的合规性。

虚假陈述条款

声称的合规级别高于实际实现是规范违规。

不合规的声明包括：

• “确定性”却没有可复现性
• “兼容 FACET”却没有 Canonical JSON
• “标准”却没有规范覆盖

此类声明会破坏信任和互操作性。

原因

合规级别的存在是为了防止：

• 营销驱动的夸大声明
• 部分集成伪装成标准
• 生态系统碎片化

确定性的合约层只有在信任明确时才有效。

摘要

FACET 合规性不是二元的。
它是 分层的、明确的且可强制执行的。
如果系统未声明其合规级别，则视为没有合规性。

状态

本文档定义了 FACET 生态系统的 规范合规级别。