26-EFT.WP.STG.Lensing v1.0 | Chapter 15 — Release & Manifest (manifest)

Home ／ Docs-Technical WhitePaper ／ 26-EFT.WP.STG.Lensing v1.0

Chapter 15 — Release & Manifest (manifest)

One-sentence goal: Define a manifest-driven delivery pathway from verification to release for lens systems, specifying a reproducible manifest.lens structure with signing and contractual checks so that spectral/variational dual forms and uncertainty are jointly governed at go-live.

I. Scope & Objects

1. Inputs
   • Graph & measure: G = (V, E, w), L_* ∈ { L, L^vis, L_ani }, M, boundary B.
   • Lens stack: K_eff = compose({ K_i }), kernel families g_i(•; θ_i), per-layer order_i, λ_max estimation.
   • Verification artifacts: x_spec, x_var, delta_form, T_trans, ρ(K_eff), runtime metrics, and uncertainties u(•).
   • Runtime params: window, stride, cache.ttl, passthrough_on_fail, RefCond (version / device / resources).
2. Outputs
   • Manifest object: manifest.lens (versioning, dependencies, parameters, metrics, contract checks, uncertainty, signature).
   • Release artifacts: loadable spec/var configs & weights, dashboard cards, and audit records.
3. Applicability
   Valid for both offline and streaming. Passive by default (T_trans ≤ 1 + ε); active operation requires explicit flagging and an allow-list.

II. Terms & Variables

• Top-level keys: TraceID, ts, version_semver, signature.
• Domain groups: graph, kernel, compose, run, metrics, uncertainty, contracts, artifacts, audit.
• Key quantities & units
  unit(T_trans) = 1, dim(T_trans) = "[]"; unit(ρ) = 1; unit(delta_form) = unit(x); unit(λ_max) = 1; unit(lat) = "[T]".
• Uncertainty: u(z), u_c, U = k * u_c, nu_eff, method ∈ { GUM, MC }.

III. Postulates P715-*

• P715-1 (Completeness): Prior to release, all eight domains—graph / kernel / compose / run / metrics / uncertainty / contracts / audit—must be present. Otherwise do not release.
• P715-2 (Dual presence): Persist both spec and var implementations; log delta_form together with thresholds/guardbands.
• P715-3 (Dimensional consistency): check_dim must pass before signing.
• P715-4 (Reproducible & immutable): Signatures are computed over canonicalized content; any field change yields a new signature and version_semver.
• P715-5 (Minimum visibility): The manifest must not embed raw PII or confidential samples—store only hashes and data references.

IV. Minimal Equations S715-*

• S715-1 (Dual-form gap & threshold)
  delta_form = || x_spec − x_var ||_2; go-live condition:
  delta_form + k * u(delta_form) ≤ tol_form.
• S715-2 (Energy transmittance & spectral radius)
  T_trans = E( x_out ; M ) / E( x_in ; M ), E(x; M) = (1/2) x^T M x;
  ρ(K_eff) ≤ ∏_i sup_λ | g_i(λ) |.
• S715-3 (Uncertainty summary)
  u_c^2(z) = J V_ξ J^T + u^2(ε_approx) + u^2(ε_spec); publish coverage U = k * u_c and nu_eff.
• S715-4 (Signature & fingerprint)
  sig = H( canonicalize( manifest.lens.core ) ), where
  core = { graph, kernel, compose, run, contracts } and H is a collision-resistant hash.

V. Metrology Pipeline M71-15 (Assemble → Verify → Sign → Publish → Rollback)

• Assemble: Collect graph / L_* / M / B, kernels & parameters, K_eff composition, runtime config; import verification and uncertainty results.
• Verify: Execute the contract set C71-15x; run check_dim, validate units, and complete the final audit of spec/var deltas.
• Sign: Compute signature over canonicalized content; write version_semver and RefCond / method / seed.
• Publish: Push to registry://lens; generate dashboard cards and alert thresholds; include change logs and impact scope.
• Rollback plan: Bind rollback_to (last stable signature) and a fallback ladder (lower-order → damping → bypass) in the manifest.

VI. Contracts & Assertions C71-15x (Release gates)

• C71-1501: delta_form_p99 ≤ 1e−3 * || x_in ||_2 (relax to 3e−3 for non-smooth proximals).
• C71-1502: T_trans_p95 ≤ 1.01 (passive). If has_source = true, then E_balance_p95 ≤ 1e−6.
• C71-1503: ρ(K_eff) ≤ 1.02 and U_ρ ≤ 1.03.
• C71-1504: Runtime lat_p95 ≤ 0.5 * window; cpu_p95 ≤ 80%; mem_p95 ≤ cap − 10%.
• C71-1505: uncertainty.coverage ≥ 95% (k ≈ 2 or quantiles); report nu_eff.
• C71-1506: RefCond / method / seed completeness = 100%; signature verification passes.

VII. Implementation Bindings I71-15* (interfaces, I/O, invariants)

• build_manifest( K_eff, graph, run, results, u_report, contracts ) -> manifest.lens
• canonicalize_manifest( manifest ) -> bytes
• sign_manifest( bytes, keyref ) -> signature
• validate_manifest( manifest, rules ) -> { pass, violations }
• publish_manifest( manifest, registry ) -> uri
• plan_rollback( manifest, telemetry ) -> actions
  Invariants: non_null(core fields); V_ξ ⪰ 0; two_forms_present == true;
  signature == H( canonicalize(core) ).

VIII. Cross-References

• Kernels & spectral realization: Ch. 5; multi-layer & gating: Ch. 8; learning-based lenses: Ch. 9.
• Physical consistency: Ch. 10; runtime streaming: Ch. 11; contracts & metrics: Ch. 12; uncertainty: Ch. 13; use-case rollout: Ch. 14.
• Operational dashboards & rollback for dynamical systems: EFT.WP.STG.Dynamics v1.0, Ch. 14.

IX. Quality & Risk Control

• SLI/SLO: delta_form_p99, T_trans_p95, ρ_p95, lat_p95, error_rate, fallback_rate, drift_u_ratio.
• Audit trail: signature, approvals, canary/rollback records, threshold changes, hashes of outlier sample indices.
• Retention: keep manifest & panel snapshots ≥ 180 days; retain versioned binaries of weights & parameters.

Manifest Template (directly persistable JSON)

{

"manifest": "lens",

"TraceID": "uuid-v4",

"ts": "2025-09-02T12:00:00Z",

"version_semver": "1.0.0",

"RefCond": {

"env": "prod",

"device": "gpu-a100",

"os": "linux-5.15",

"method": "spec+var",

"seed": 123456

},

"graph": {

"V": 1024,

"E": 4096,

"L_type": "L_ani",

"lambda_max": { "value": 2.0, "u": 0.02 },

"M": "energy-metric",

"B": "dirichlet"

},

"kernel": [

{ "name": "K_focus", "family": "chebyshev", "order": 12, "theta": {...} },

{ "name": "K_ani", "family": "anisotropic", "order": 8, "theta": {...} },

{ "name": "K_deblur", "family": "rational", "order": 4, "theta": {...} }

],

"compose": {

"topology": "serial",

"expr": "K_deblur ∘ K_ani ∘ K_focus"

},

"run": {

"window": 256,

"stride": 64,

"cache": { "ttl": 512, "policy": "lru" },

"passthrough_on_fail": true

},

"metrics": {

"delta_form": { "value": 0.0007, "tol": 0.001, "k": 2.0 },

"T_trans_p95": 1.006,

"rho_bound": 1.012,

"lat_p95_ms": 18.4,

"cpu_p95": 0.63,

"mem_p95": 0.72

},

"uncertainty": {

"method": "MC",

"coverage": 0.95,

"k": 2.0,

"nu_eff": 120,

"U": {

"delta_form": 0.0002,

"T_trans": 0.004,

"rho": 0.008

}

},

"contracts": {

"C71-1501": "pass",

"C71-1502": "pass",

"C71-1503": "pass",

"C71-1504": "pass",

"C71-1505": "pass",

"C71-1506": "pass"

},

"artifacts": {

"spec_impl": "uri://lens/spec/v1",

"var_impl": "uri://lens/var/v1",

"panel": "uri://panel/lens/v1"

},

"units": {

"delta_form": "unit(x)",

"T_trans": "1",

"rho": "1",

"lat_p95_ms": "ms"

},

"audit": {

"parents": ["signature-prev"],

"rollback_to": "signature-stable",

"change_log": "lower order for K_deblur; tightened T_trans tol"

},

"signature": "H(canonical-core-bytes)"

}

Summary

• Defines the mandatory fields, signing, and contract gates of manifest.lens, jointly governing dual-form outputs and uncertainty.
• Via M71-15 and interfaces I71-15*, each release is reproducible, auditable, and rollback-ready.
• The provided template is production-ready for persistence and registry publication, enabling stable lens launches across scenarios.