23-EFT.WP.Metrology.PathCorrection v1.0 | Appendix C — Manifest Templates and Examples (path manifest)

Home ／ Docs-Technical WhitePaper ／ 23-EFT.WP.Metrology.PathCorrection v1.0

Appendix C — Manifest Templates and Examples (path manifest)

One-Sentence Goal
Define—and illustrate—the minimal key sets, extension keys, validation & signature rules, and multi–use-case examples for the publication artifacts manifest.path and the runtime companion manifest.path.rt, ensuring dual-form integrity, unit/dimension checks, and auditable contracts.

I. Scope and Objects

• Covered objects: geometry gamma(ell), medium n_eff(f,x), dual-form integration, component composition, uncertainty u/U, C80-* contracts, and runtime metadata.
• Outputs: manifest.path (batch/offline or staged outputs) and manifest.path.rt (streaming/online outputs).
• Constraints: every quantity entering equations must declare unit(field) and dim(field), and pass check_dim( y - f(x) ); dual-form fields are mandatory to persist.

II. Naming and Versioning

• Recommended filenames: manifest.path.json; runtime: manifest.path.rt.json.
• Schema version key: schema.ver = "PC-1.0" (PathCorrection v1.0). Policy and model versions appear as policy.ver, model.*.ver.
• Hashes: content-addressed fields use the suffix .hash; all timestamps are ISO-8601 UTC.

III. Minimal Key Set (mandatory)

• TraceID: unique trace identifier (string).
• gamma.hash: path hash, derived from gamma: [0, L_gamma] → R^3 and boundary conditions.
• RefCond: reference conditions (structure below).
• T_parts: component-delay dictionary (at least T_geom, T_med or its breakdown, T_inst, T_proc), unit="s", dim="[T]".
• T_form: dual-form results { form1, form2, delta_form, tol_Tarr } (seconds).
• u: uncertainty payload { u_c, U, method, nu_eff? , u_num? | q? }.
• contracts: contract execution results (pass/fail/actions/thresholds summary).
• signature: digital-signature block (covered fields, algorithm, time, key_id).

Minimal skeleton example:

{

"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. Structure and Extension Keys (optional but recommended)

• RefCond structure (example fields):
  Scalars: T0(K), P0(Pa), RH0(0–1), TEC0(TECU);
  Source versions: met:{ver,ts}, tec:{ver,ts}, cable_spec, ver.
• Geometry/medium: L_gamma(m), frame("ECEF"|"ENU"), n_field:{model,params,hash}.
• Troposphere/ionosphere details: T_hydro, T_wet, T_iono, mapping.ver.
• Fiber details: fiber:{L_gamma,n_g_model,temp_profile.hash,Delta_asym}.
• Multipath details: mpath:{specular_k,method,tags,residual_p95}.
• Numerics & grids: num:{step,quad,err_bound,u_floor}.
• Runtime meta: rt:{wm,lateness,cache:{layer,hit},fallback:{level,alpha_r},node_id,pipeline.ver}.
• Audit: audit:{inputs.hash,policy.hash,code.rev}.
• Tags: tags:[...] (free-form, searchable).

V. Units and Dimension Rules (mandatory checks)

• 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]".
• Mandatory dual-form record:
  delta_form = | ( 1 / c_ref ) * ( ∫ n_eff d ell ) - ( ∫ ( n_eff / c_ref ) d ell ) |, with assertion delta_form ≤ tol_Tarr.

VI. Lightweight JSON Schema (validation subset, Draft 2020-12)

{
  "$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. Example Set

• Minimal publishable manifest

{

"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-style free space (with troposphere/ionosphere details)

{

"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 / Fiber (with thermal/asymmetry details)

{

"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"]

}

• Metro NLOS microwave (with multipath suppression)

{

"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"]

}

• Runtime manifest manifest.path.rt (streaming-focused metadata)

{

"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. Generation & Update Workflow (publication route)

• Ready: finalize RefCond and the policy card; compute gamma.hash, n_field.hash, inputs.hash.
• Dual forms: call integrate_path(n_eff, gamma, c_ref) to produce T_form and record delta_form.
• Composition: aggregate T_parts, run compose_path_correction(parts).
• Uncertainty: propagate_gum or propagate_mc; include u_num, u_form.
• Contracts: assert_path_contracts, assert_uncertainty_contracts → populate contracts.*.
• Signature: set signature.cover, compute signature, and attach.
• Publish: write the manifest and runtime manifest; capture dashboard KPIs (see Chapter 14).

IX. Validation & Common Errors

• E80-001 invalid_dim: failed check_dim(T_arr) or units missing.
• E80-002 contract_fail: delta_form > tol_Tarr or contracts.pass=false.
• E80-003 not_fresh: age(src) > Δt without fallback or without U inflation.
• E80-007 trace_missing: missing gamma.hash / inputs.hash / policy.hash.
• Handling: refuse publication or apply degraded tags tags:["degraded", ...]; record actions in contracts.actions[].

X. Cross-References

• Dual forms & integration: Chapter 10.
• Uncertainty & guardband: Chapter 13.
• Runtime fields & fallback: Chapter 14.
• Interface bindings: Appendix A I80-147/148.
• Contract thresholds & actions: Appendix B C80-*.

Summary
manifest.path and manifest.path.rt encode the results, evidence, and accountability of path corrections via minimal keys + extensions: dual-form consistency, unit/dimension checks, uncertainty, contracts, and signatures.
Recommended minimal keys:
TraceID, gamma.hash, RefCond, T_parts, T_form{form1,form2,delta_form,tol_Tarr}, u{u_c,U,method}, contracts.*, signature.
Following this appendix enables audit replay and cross-volume collaboration (TimeBase / Sync / Instrument / Cleaning) out of the box.