I. 目的与范围（Purpose & Scope）
- 规定参数取值域（domain）、单位与量纲（units & dimensions）、**默认值/范围（default/range）与精度（precision）**的编制与校验口径，确保跨链路一致性与可追溯。
- 涉及路径量（到达时/相位）时，正文显式 gamma(ell) 与测度 d ell，并在卡片数据侧记录 delta_form ∈ {general, factored}；发布要求 p_dim = 1.0。
II. 前置条件与输入（Prerequisites & Inputs）
- 控制式与上下文：参数所参与的控制式与目标量 y=f(x) 已在卡中引用对应锚点（卷名+版本+锚点）。
- 量纲工具：可用 I70-dim_check(expr, units) 完成量纲闭合校核并导出 check_dim_report.json。
- 路径一致性（若适用）：len(gamma_ell) = len(d_ell) = len(n_eff) ≥ 2，Δell 满足采样约束。
III. 域的类型与声明（Domain Types & Declarations）
- real：实数域（连续），需给出 unit / range[min,max] / default / precision。
- integer：整数域（离散），需给出步长/位宽（如 bits）。
- enum：枚举域，列出 values[] 与语义；默认值必须属于枚举。
- array：数组域，声明 shape、单元 unit、precision 与边界；若为路径函数，附 path{gamma, measure, delta_form}。
- tensor：张量域，声明 rank/shape 与度规（若有）。
- boolean：布尔域，仅在安全/开关类参数使用；明确默认值与作用域。
域声明最小字段：
domain{ type, unit, range[min,max] | values[], default, precision, shape? }
IV. 单位与量纲（Units & Dimensions）
- 单位规范：采用 SI 与国际符号（如 m, s, rad, 1, Pa, N, J, Hz）。
- 量纲闭合：所有派生/约束式必须通过 I70-dim_check，并在卡片附 check_dim_report.json；发布时 p_dim = 1.0。
- 典型校核：
- 到达时：T_arr = ( ∫ ( n_eff / c_ref ) d ell ) ⇒ [1]/[m·s^-1]·[m] = [s]。
- 相位：Phi = ( 2π / λ_ref ) ( ∫ n_eff d ell ) ⇒ [1/m]·[m] = [rad]。
- 无量纲量：1 统一表示无量纲；避免使用 % 作为单位，可在注释中说明“百分比”。
V. 默认值、范围与精度（Defaults, Ranges & Precision）
- 默认值：default 必须位于 range[min,max] 或 values[] 内；对 array/tensor 提供构造规则或示例。
- 范围：工程上下限与物理上下限可分别给出（eng_range、phys_range）；发布表使用工程范围。
- 精度：以 precision 指定数值类型（如 float64/int32）或有效位；与量化位宽/ADC 步进保持一致。
- 缺失策略：禁止以文本 NaN/Inf 表示缺失；使用空值并在 constraints 说明处理逻辑。
VI. 校验口径与规则（Validation Rules）
- 单位合法性：domain.unit 必须是标准符号或经别名映射到 SI；自定义单位须给出换算。
- 量纲闭合：constraints.derived 中的表达式一律加括号并通过 I70-dim_check。
- 依赖一致性：depends_on[] 的上游参数需已注册且单位/域兼容；跨卡引用通过 see[] 锚点定位。
- 路径口径：路径相关参数必须带 path{gamma, measure, delta_form}；缺失任一项即判失败。
- 覆盖口径：若参数用于不确定度传播，需在 uncertainty{type, estimate, distribution, coverage} 中给出覆盖信息（k 或置信/分位）。
- 枚举互斥：当 enum 存在互斥值，使用 constraints 显式声明互斥或依赖条件。
VII. 规范示例（Normative Examples）
# A) 实数域：参考传播上限
domain:
type: "real"
unit: "m/s"
range: [2.9e8, 3.1e8]
default: 2.99792458e8
precision: "float64"
# B) 数组域（路径函数）：有效折射率剖面
domain:
type: "array"
unit: "1"
shape: ["N"]
range: [0.8, 2.5]
precision: "float64"
path:
gamma: "gamma(ell)"
measure: "d ell"
delta_form: "general" # or "factored"
# C) 枚举域：时钟状态
domain:
type: "enum"
unit: "1"
values: ["locked","holdover","free"]
default: "locked"
VIII. 模式与校验（Schema & Validation Snippet）
{
"type": "object",
"required": ["domain"],
"properties": {
"domain": {
"type": "object",
"required": ["type","unit"],
"properties": {
"type": {"enum": ["real","integer","enum","array","tensor","boolean"]},
"unit": {"type": "string"},
"range": {"type": "array","items":{"type":"number"},"minItems":2,"maxItems":2},
"values": {"type":"array","items":{"type":["string","number","boolean"]}},
"default": {},
"precision": {"type":"string"},
"shape": {"type":"array","items":{"type":["integer","string"]}}
},
"oneOf": [
{"properties":{"type":{"const":"enum"}}, "required":["values","default"]},
{"properties":{"type":{"enum":["real","integer","array","tensor"]}}, "required":["range","precision"]}
]
}
}
}
IX. 交叉引用（Cross-References）
- 量纲与计量：见《EFT.WP.Core.Metrology v1.0》check_dim。
- 控制式与路径：见《EFT.WP.Core.Equations v1.1》Ch.2 S20-1/S21-2。
- 数据契约：见《EFT.WP.Core.DataSpec v1.0》TARR。
- 误差传播与区间：见《误差预算卡 Template v1.0》Ch.6/Ch.8。
X. 执行勾选清单（Checklist）
- domain{type, unit, range/default, precision} 完整且合法；default ∈ range|values。
- 若为路径量：正文显式 gamma(ell)、d ell，并记录 delta_form；len(path) ≥ 2、Δell 合规。
- constraints.derived 已括号化并通过 I70-dim_check；check_dim_report.json 已生成，p_dim = 1.0。
- 依赖参数已注册且单位/域兼容；see[]/references[] 合规且锚点直指率 ≥ 90%。
- 枚举/布尔/张量型已给出 values/shape 与冲突/互斥约束；缺失策略明确。
- 与误差预算卡的 cov_group、覆盖口径与发布表一致，单位与量纲在结果页/注册表中显式标注。