50-参数注册卡 Template v1.0 | 第4章 域、单位与默认（校验口径）

目录 ／ 文档-技术白皮书（V5.05） ／ 50-参数注册卡 Template v1.0

第4章 域、单位与默认（校验口径）

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）

1. 单位规范：采用 SI 与国际符号（如 m, s, rad, 1, Pa, N, J, Hz）。
2. 量纲闭合：所有派生/约束式必须通过 I70-dim_check，并在卡片附 check_dim_report.json；发布时 p_dim = 1.0。
3. 典型校核：
   • 到达时：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]。
4. 无量纲量：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、覆盖口径与发布表一致，单位与量纲在结果页/注册表中显式标注。