23-EFT.WP.Metrology.PathCorrection v1.0 | 附录C 清单模板与样例（path manifest）

目录／文档-技术白皮书／ 23-EFT.WP.Metrology.PathCorrection v1.0

附录C 清单模板与样例（path manifest）

一句话目标：定义并给出路径修正发布物 manifest.path 与运行时清单 manifest.path.rt 的最小键集、扩展键、校验与签名规范及多用例样例，确保两口径、单位/量纲与契约可审计。

I. 范围与对象

覆盖对象：几何 gamma(ell)、介质 n_eff(f,x)、两口径积分、分项合成、不确定度 u/U、契约 C80-*、运行时元数据。
输出：manifest.path（批/离线或阶段产出）与 manifest.path.rt（流式/在线产出）。
约束：所有进入方程的量必须声明 unit(field) 与 dim(field)，并通过 check_dim( y - f(x) )；两口径字段强制落盘。

II. 命名与版本

文件名建议：manifest.path.json；运行时：manifest.path.rt.json。
版本键：schema.ver = "PC-1.0"（PathCorrection v1.0 对应）；策略卡与模型版本以 policy.ver、model.*.ver 标注。
哈希：内容寻址字段统一后缀 .hash；时间字段使用 ISO-8601 UTC。

III. 最小键集（强制）

TraceID：追踪唯一号（字符串）。
gamma.hash：路径哈希，派生自 gamma: [0,L_gamma] → R^3 与边界条件。
RefCond：参考条件（见下文结构）。
T_parts：分项延迟字典（至少含 T_geom, T_med 或细目, T_inst, T_proc），unit="s", dim="[T]"。
T_form：两口径并行结果 { form1, form2, delta_form, tol_Tarr }（单位秒）。
u：不确定度载荷 { u_c, U, method, nu_eff? , u_num? | q? }。
contracts：契约执行结果（通过/失败/动作/阈值摘要）。
signature：数字签名块（覆盖字段、算法、时间、key_id）。

最小骨架示例：

{

"schema": {"ver":"PC-1.0"},

"TraceID":"<uuid-or-snowflake>",

"gamma":{"hash":"<sha256:gamma>"},

"RefCond":{"ver":"1.0","T0":293.15,"P0":101325,"RH0":0.50,"ts":"2025-09-02T10:00:00Z"},

"T_parts":{"T_geom":0.0,"T_med":0.0,"T_inst":0.0,"T_proc":0.0},

"T_form":{"form1":0.0,"form2":0.0,"delta_form":0.0,"tol_Tarr":1e-12},

"u":{"u_c":0.0,"U":0.0,"method":"GUM"},

"contracts":{"pass":true,"failed":[],"policy":{"ver":"v1","hash":"<sha256:policy>" }},

"signature":{"alg":"Ed25519","key_id":"pc-key-1","ts":"2025-09-02T10:00:00Z","cover":["TraceID","gamma.hash","RefCond","T_parts","T_form","u","contracts"],"value":"<base64sig>"}

}

IV. 结构与扩展键（可选但推荐）

RefCond 结构（示例字段）：
- 标量：T0(K), P0(Pa), RH0(0–1), TEC0(TECU)；
- 源版本：met:{ver,ts}, tec:{ver,ts}, cable_spec, ver。
几何/介质：L_gamma(m), frame("ECEF"|"ENU"), n_field:{model,params,hash}。
对流层/电离层细目：T_hydro, T_wet, T_iono, mapping.ver。
光纤细目：fiber:{L_gamma,n_g_model,temp_profile.hash,Delta_asym}。
多径细目：mpath:{specular_k,method,tags,residual_p95}。
数值与网格：num:{step,quad,err_bound,u_floor}。
运行时元：rt:{wm,lateness,cache:{layer,hit},fallback:{level,alpha_r},node_id,pipeline.ver}。
审计：audit:{inputs.hash,policy.hash,code.rev}。
标签：tags:[...]（自由文本，便于检索）。

V. 单位与量纲规范（强制校核）

unit(T_*)="s", dim(T_*)="[T]"；unit(L_gamma)="m", dim(L_gamma)="[L]"。
unit(f)="Hz", dim(f)="[T^-1]"；unit(TEC)="TECU" (1 TECU = 10^16 m^-2)。
check_dim( T_arr - ( ∫_{gamma} ( n_eff / c_ref ) d ell ) ) = "[T]"；
强制记录两口径差：delta_form = | ( 1 / c_ref ) * ( ∫ n_eff d ell ) - ( ∫ ( n_eff / c_ref ) d ell ) |，并断言 delta_form ≤ tol_Tarr。

VI. 轻量 JSON Schema（校验子集，草案 2020-12）

JSON json

{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://eft.example.org/schema/manifest.path/PC-1.0",
  "type": "object",
  "required": [ "schema", "TraceID", "gamma", "RefCond", "T_parts", "T_form", "u", "contracts", "signature" ],
  "properties": {
    "schema": { "type": "object", "required": [ "ver" ], "properties": { "ver": { "const": "PC-1.0" } } },
    "TraceID": { "type": "string", "minLength": 8 },
    "gamma": { "type": "object", "required": [ "hash" ], "properties": { "hash": { "type": "string" } } },
    "RefCond": {
      "type": "object",
      "required": [ "ver", "T0", "P0", "ts" ],
      "properties": {
        "T0": { "type": "number" },
        "P0": { "type": "number" },
        "RH0": { "type": "number", "minimum": 0, "maximum": 1 },
        "TEC0": { "type": "number" },
        "ts": { "type": "string", "format": "date-time" }
      }
    },
    "T_parts": {
      "type": "object",
      "required": [ "T_geom", "T_inst", "T_proc" ],
      "properties": {
        "T_geom": { "type": "number" },
        "T_med": { "type": "number" },
        "T_inst": { "type": "number" },
        "T_proc": { "type": "number" }
      }
    },
    "T_form": {
      "type": "object",
      "required": [ "form1", "form2", "delta_form", "tol_Tarr" ],
      "properties": {
        "form1": { "type": "number" },
        "form2": { "type": "number" },
        "delta_form": { "type": "number" },
        "tol_Tarr": { "type": "number" }
      }
    },
    "u": {
      "type": "object",
      "required": [ "u_c", "U", "method" ],
      "properties": {
        "u_c": { "type": "number" },
        "U": { "type": "number" },
        "method": { "enum": [ "GUM", "MC" ] },
        "nu_eff": { "type": "number" }
      }
    },
    "contracts": {
      "type": "object",
      "required": [ "pass", "policy" ],
      "properties": {
        "pass": { "type": "boolean" },
        "failed": { "type": "array", "items": { "type": "string" } },
        "policy": {
          "type": "object",
          "required": [ "ver", "hash" ],
          "properties": { "ver": { "type": "string" }, "hash": { "type": "string" } }
        }
      }
    },
    "signature": {
      "type": "object",
      "required": [ "alg", "key_id", "ts", "cover", "value" ],
      "properties": {
        "alg": { "enum": [ "Ed25519", "ECDSA-P256" ] },
        "key_id": { "type": "string" },
        "ts": { "type": "string", "format": "date-time" },
        "cover": { "type": "array", "items": { "type": "string" } },
        "value": { "type": "string" }
      }
    }
  }
}

VII. 样例集

最小可发布清单

{

"schema":{"ver":"PC-1.0"},

"TraceID":"pc-2025-09-02T10:00:00Z-0001",

"gamma":{"hash":"f3b1...e9"},

"RefCond":{"ver":"1.0","T0":293.15,"P0":101325,"RH0":0.45,"ts":"2025-09-02T10:00:00Z"},

"T_parts":{"T_geom":6.73e-05,"T_med":9.08e-06,"T_inst":3.0e-10,"T_proc":1.0e-10},

"T_form":{"form1":7.64e-05,"form2":7.64e-05,"delta_form":1.1e-12,"tol_Tarr":5.0e-12},

"u":{"u_c":8.5e-10,"U":1.7e-09,"method":"MC","nu_eff":56},

"contracts":{"pass":true,"failed":[],"policy":{"ver":"free-space-v3","hash":"a17...bc"}},

"signature":{"alg":"Ed25519","key_id":"pc-key-1","ts":"2025-09-02T10:00:01Z","cover":["TraceID","gamma.hash","RefCond","T_parts","T_form","u","contracts"],"value":"K9y...=="}

}

GNSS 风格自由空间（含对流层/电离层细目）

{

"schema":{"ver":"PC-1.0"},

"TraceID":"gnss-2025-09-02T10:03:12Z-017",

"gamma":{"hash":"2e9...71"},

"RefCond":{"ver":"1.1","T0":289.65,"P0":100800,"RH0":0.60,"ts":"2025-09-02T10:03:12Z",

"met":{"ver":"vmf3-2025.08","ts":"2025-09-02T09:45:00Z"},

"tec":{"ver":"igsg-2025.09","ts":"2025-09-02T09:40:00Z"}},

"T_parts":{"T_geom":6.73e-05,"T_hydro":6.12e-06,"T_wet":1.73e-06,"T_iono":1.25e-06,"T_inst":3.0e-10,"T_proc":1.0e-10},

"T_form":{"form1":7.64e-05,"form2":7.64e-05,"delta_form":1.0e-12,"tol_Tarr":5.0e-12},

"u":{"u_c":8.2e-10,"U":1.6e-09,"method":"GUM","u_num":{"u_q":2.0e-12,"u_form":7.0e-13}},

"contracts":{"pass":true,"failed":[],"policy":{"ver":"free-space-v3","hash":"a17...bc"}},

"tags":["gnss","VMF3","mapping=elev-dep"]

}

White Rabbit/光纤（含温漂/不对称）

{

"schema":{"ver":"PC-1.0"},

"TraceID":"wr-2025-09-02T10:05:00Z-042",

"gamma":{"hash":"9ac...5f"},

"RefCond":{"ver":"1.0","T0":293.15,"P0":101325,"ts":"2025-09-02T10:05:00Z","cable_spec":"G652D"},

"fiber":{"L_gamma":10000,"n_g_model":"Sellmeier+thermo","temp_profile.hash":"a71...22","Delta_asym":-2.5e-10},

"T_parts":{"T_one":5.03123e-05,"T_env":1.8e-10,"T_inst":3.2e-10,"T_proc":6.0e-11},

"T_form":{"form1":5.03123e-05,"form2":5.03122e-05,"delta_form":1.1e-13,"tol_Tarr":1.0e-12},

"u":{"u_c":2.2e-10,"U":4.4e-10,"method":"GUM","u_num":{"u_q":3.0e-13,"u_form":6.0e-14}},

"contracts":{"pass":true,"failed":[],"policy":{"ver":"fiber-v2","hash":"bb3...90"}},

"tags":["white-rabbit","fiber","symmetry-correction"]

}

城域 NLOS 微波（含多径抑制）

{

"schema":{"ver":"PC-1.0"},

"TraceID":"nlos-2025-09-02T10:12:30Z-207",

"gamma":{"hash":"c19...ff","frame":"ECEF"},

"RefCond":{"ver":"1.0","T0":297.15,"P0":100500,"RH0":0.55,"ts":"2025-09-02T10:12:30Z"},

"mpath":{"specular_k":2,"method":"specular-fit","tags":["roof","wall"],"residual_p95":1.6e-09},

"T_parts":{"T_geom":3.941e-06,"T_med":9.92e-07,"T_mpath":-2.8e-09,"T_inst":6.0e-10,"T_proc":1.0e-10},

"T_form":{"form1":4.9322e-06,"form2":4.9322e-06,"delta_form":3.0e-12,"tol_Tarr":1.0e-11},

"u":{"u_c":1.9e-09,"U":3.8e-09,"method":"MC","q":[-2.0e-09,4.1e-09]},

"contracts":{"pass":true,"failed":[],"policy":{"ver":"nlos-v1","hash":"7de...61"}},

"tags":["microwave","NLOS","multipath-suppression"]

}

运行时清单 manifest.path.rt（流式元数据聚焦）

{

"schema":{"ver":"PC-1.0"},

"TraceID":"pc-rt-2025-09-02T10:06:02.315Z-8842",

"rt":{"wm":"2025-09-02T10:06:02.000Z","lateness":0.315,"cache":{"layer":"L2","hit":true},

"fallback":{"level":"model","alpha_r":0.3},"node_id":"edge-ams-03","pipeline.ver":"g-1.7"},

"T_form":{"form1":7.6469e-05,"form2":7.6469e-05,"delta_form":1.6e-12,"tol_Tarr":5.0e-12},

"contracts":{"pass":true,"failed":[],"policy":{"ver":"free-space-v3","hash":"a17...bc"}},

"signature":{"alg":"Ed25519","key_id":"pc-key-rt","ts":"2025-09-02T10:06:02.316Z","cover":["TraceID","rt","T_form","contracts"],"value":"R1d...=="}

}

VIII. 生成与更新流程（发布口径）

就绪：固化 RefCond 与策略卡；生成 gamma.hash、n_field.hash、inputs.hash。
两口径：调用 integrate_path(n_eff, gamma, c_ref) 产出 T_form 并记录 delta_form。
合成：汇总 T_parts，执行 compose_path_correction(parts)。
不确定度：propagate_gum 或 propagate_mc，将 u_num、u_form 入账。
契约：assert_path_contracts、assert_uncertainty_contracts→填充 contracts.*。
签名：构造 signature.cover 字段清单，计算签名并附加。
发布：写入清单与运行时清单；面板采集关键指标（见第14章）。

IX. 校核与常见错误

E80-001 invalid_dim：未通过 check_dim(T_arr) 或单位未声明。
E80-002 contract_fail：delta_form > tol_Tarr 或 contracts.pass=false。
E80-003 not_fresh：age(src) > Δt 未触发回退或未放大 U。
E80-007 trace_missing：缺少 gamma.hash/inputs.hash/policy.hash。
处理：拒绝发布或降级标签 tags:["degraded",... ]，并将动作记录于 contracts.actions[]。

X. 交叉引用

两口径与积分：见第10章；
不确定度与 guardband：见第13章；
运行时字段与回退：见第14章；
接口绑定：见附录A I80-147/148；
契约阈值与动作：见附录B C80-*。

小结

manifest.path 与 manifest.path.rt 以最小键集+扩展键描述路径修正的结果、证据与责任：两口径一致性、单位/量纲校核、不确定度、契约与签名。
最小清单键（建议固化）：
TraceID, gamma.hash, RefCond, T_parts, T_form{form1,form2,delta_form,tol_Tarr}, u{u_c,U,method}, contracts.*, signature。
依本附录模板落地，可直接支撑审计回放与跨卷协同（TimeBase/Sync/Instrument/Cleaning）。

版权与许可（CC BY 4.0）

版权声明：除另有说明外，《能量丝理论》（含文本、图表、插图、符号与公式）的著作权由作者（“屠广林”先生）享有。
许可方式：本作品采用 Creative Commons 署名 4.0 国际许可协议（CC BY 4.0）进行许可；在注明作者与来源的前提下，允许为商业或非商业目的进行复制、转载、节选、改编与再分发。
署名格式（建议）：作者：“屠广林”；作品：《能量丝理论》；来源：energyfilament.org；许可证：CC BY 4.0。

首次发布： 2025-11-11｜当前版本：v5.1
协议链接：https://creativecommons.org/licenses/by/4.0/