Formal consequence
Mathematical proof
Proves consequences of the declared definition and its assumptions.
Science & engineering
From definition to observation.
From mathematical definition and formal verification through physical observables, sensing, and repeatable experiments. Fieldflux connects these levels in the development of health-measurement technology.
An interacting measurement science
From mathematical definition to observable evidence—and back into inquiry.
Formal structure, physical interpretation, instrument design, and experimental observation are continuously compared. Each has its own standards of evidence; each informs the questions taken up by the others.
- 01 / MATHEMATICS
Define the object
Specify present realization, viable continuation, requirements, scenarios, and horizons.
- 02 / FORMAL METHODS
Establish the consequences
Use machine-checkable structures to clarify which distinctions the health question requires.
- 03 / PHYSICS
Identify observables
Translate requirements into testable hypotheses about boundaries, response, timing, and exchange.
- 04 / ENGINEERING
Build the instrument
Develop source witness, sensors, calibration, signal acquisition, and traceable computation.
- 05 / OBSERVATION
Acquire the response
Preserve measured signals, uncertainty, coverage, and provenance across the system.
- 06 / EVALUATION
Test the interpretation
Compare physical evidence with declared claims; refine models and measurement design where needed.
Two distinct tests: formal verification establishes consequences of the declared mathematics; physical and clinical claims require calibration and empirical validation. Their interaction is the substance of the measurement program.
Evidence and authority
What each level establishes.
Physical measurement
Calibrated observation
Relates recorded responses to instruments, conditions, witness, and uncertainty.
Empirical validation
Scientific interpretation
Tests whether measurements support the intended physiological and clinical claims.