54-Reproducibility Checklist Template v1.0 | Chapter 6 — Weights, Parameters & Freshness (Versioning / Signatures)

Home ／ Docs-Technical WhitePaper ／ 54-Reproducibility Checklist Template v1.0

Chapter 6 — Weights, Parameters & Freshness (Versioning / Signatures)

I. Purpose & Scope

• Freeze and verify model weights, runtime/calibration parameters, and freshness/validity policy, emitting auditable versioned & signed manifests so any environment can reproduce equivalently with full traceability and rollback.
• For path quantities (arrival/phase), explicitly show gamma(ell) and d ell in text; record delta_form ∈ {general, factored} on the data side; parenthesize all expressions; publication requires p_dim = 1.0 with check_dim_report.json.

II. Inputs & Dependencies

• Align with: Dataset Card Ch. 3/4/6/7; Model Card Ch. 5/6/7/10; Error Budget Card Ch. 8/9; Pipeline Card Ch. 12; Parameter Card Ch. 4/6/8/9.
• Citations use “volume + version + anchor (P/S/M/I)”, anchor coverage ≥ 90%; public v1.* only.

III. Weights & Provenance

• Identification: filename, semver, git commit, training window and split references (point to split_manifest.json).
• Signatures & checksums: generate sha256 and SIGNATURE.asc for each weight file; record signer identity and timestamp.
• Weight lineage: in lineage_graph.json annotate the path from train_job to best.ckpt/last.ckpt with transform (distillation/pruning/quantization disclosed).

IV. Parameters & Conventions

• Source of truth: Parameter Card param_id/symbol/unit/dim, cov_group, freshness.policy; all params used in train/infer must be traceable in manifests.
• Units/dimensions: match parameters to control equations; ensure dimensional closure (run I70-dim_check, require p_dim = 1.0).
• Coverage & covariance: when parameters carry uncertainty, record uncertainty{type,estimate,distribution,coverage} and Σ or kernel params per Error Budget Card.

V. Freshness / Validity

• Fields: freshness{ valid_from, valid_to, policy{ tau_calib_s_max, clock_state } }.
• Decision: fresh if |ts_start − calib.timestamp| ≤ tau_calib_s_max and clock_state="locked"; otherwise isolate or tag [Restricted].
• Rollback & locks: pin previous stable version with *-lock tag; signatures & checksums must match; rollback must not change I/O contracts or coverage mode.

VI. Normative Path Forms

• Arrival (two equivalent):
  T_arr = ( 1 / c_ref ) * ( ∫ n_eff d ell ); T_arr = ( ∫ ( n_eff / c_ref ) d ell ).
• Phase:
  Phi = ( 2π / λ_ref ) * ( ∫ n_eff d ell ).

Before verification align time → path → phase; arrays len(gamma_ell)=len(d_ell)=len(n_eff)≥2; record delta_form.

VII. Machine-Readable Artifacts
A. weights_manifest.yaml

version: "1.0.0"

weights:

- file: "weights/best.ckpt"

semver: "1.2.0"

git: "3f1c9ab"

train_window: "2025-08-01..2025-08-15Z"

split_ref: "DS_EXPORT/splits/split_manifest.json"

checksum: "sha256:..."

signature: "SIGNATURE.asc"

- file: "weights/last.ckpt"

semver: "1.2.0"

git: "3f1c9ab"

checksum: "sha256:..."

lock_tag: "v1.2.0-lock"

see:

- "Model Card v1.0:Ch.6"

- "Dataset Card v1.0:Ch.6"

B. param_lock.yaml

version: "1.0.0"

params:

- param_id: "CAL-01-τ_sys"

symbol: "τ_sys"

unit: "s"

dim: "T"

value: 1.0e-6

cov_group: "timing"

freshness:

valid_from: "2025-08-01T00:00:00Z"

valid_to: "2025-11-01T00:00:00Z"

policy: { tau_calib_s_max: 86400, clock_state: "locked" }

checksum: "sha256:..."

see:

- "Parameter Card v1.0:Ch.4"

- "Error Budget Card v1.0:Ch.8"

C. sign_index.json (excerpt)

{
  "artifacts": [
    {
      "path": "weights/best.ckpt",
      "sha256": "…",
      "sig": "SIGNATURE.asc",
      "ts": "2025-08-16T08:00:00Z"
    },
    {
      "path": "model/model_manifest.yaml",
      "sha256": "…",
      "sig": "SIGNATURE.asc",
      "ts": "2025-08-16T08:00:01Z"
    }
  ]
}

VIII. Pre-Release Validation

• Schema (G1): fields complete in weights_manifest/param_lock.
• Citations (G2): anchor coverage ≥ 90%.
• Path (G3): path-related params/control equations include gamma/measure/delta_form.
• Dimensions (G4): check_dim_report.json passed, p_dim = 1.0.
• Freshness (G5): clock_state="locked", τ_calib valid.
• Coverage (G6): coverage.mode ∈ {k, alpha, quantile} unified across volumes.
• Covariance (G7): Σ PD.
• Uniqueness (G8): file checksums unique; lock tags and lineage acyclic.

IX. Anti-Patterns & Fixes

• Anti: weights without signature or sha256 → Fix: generate and record in weights_manifest.yaml and report_manifest.yaml.
• Anti: using T_arr = ∫ n_eff / c_ref d ell (no parentheses) → Fix: parenthesized unified form.
• Anti: clock_state!="locked" while using calibration params → Fix: isolate or recalibrate; tag [Restricted] if needed.
• Anti: parameter units/dimensions missing or inconsistent with control equations → Fix: complete unit/dim and pass I70-dim_check.
• Anti: cross-volume coverage mode mismatch → Fix: unify a single coverage.mode and declare in manifests & captions.

X. Cross-References

• Model Card: Ch. 5 (Training Data & Lineage), Ch. 6 (Training Protocol), Ch. 10 (Deployment Interfaces).
• Dataset Card: Ch. 6 (Splits/Versioning), Ch. 7 (QC), Ch. 11 (Bench/Score).
• Error Budget Card: Ch. 8 (UQ & Cov), Ch. 9 (Threshold Mapping).
• Pipeline Card: Ch. 12 (Outputs & Release).
• Parameter Card: Ch. 4/6/8/9 (Units/Freshness/Cov groups/Interfaces).

XI. Checklist

• weights_manifest.yaml / param_lock.yaml / sign_index.json complete, archived, and registered in report_manifest.yaml.
• sha256 + SIGNATURE.asc verified; lock tag *-lock valid; rollback version available.
• Path block explicit gamma/measure/delta_form; I70-dim_check passed, p_dim = 1.0.
• coverage.mode unified across volumes; Σ PD; clock_state="locked", τ_calib valid.
• /validate passed G1–G8; non-compliances tagged [Restricted] and handled; anchor coverage ≥ 90%.