module module

`IndisputableMonolith.Verification.Measurement.DataProvenance`

show as: view Lean formalization →

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

generate prose now

declarations in this module (13)

inductive DataSource L34
structure DataProvenance L44
structure MeasurementResult L99
inductive HypothesisStatus L121
structure DataHypothesis L130
def classifyThreshold_raw L160
def stabilityThreshold_raw L171
def C_net_raw L182
def C_proj_raw L192
def C_eng_raw L201
def classifyThreshold_hypothesis L213
def stabilityThreshold_hypothesis L221
def calibrationSummary L255