# dissimilarity → Gram operator
D ∈ ℝn×n, B = −½·J·D∘D·J
# the obstruction lives in the spectrum
spec(B) = { λ₁ ≥ … ≥ λn }
defect = Σλ⁻ / Σ|λ|
residual = 1 − Σi≤dλi⁺ / Σλ⁺
stress = med |‖xᵢ−xⱼ‖ − Dᵢⱼ| / Dᵢⱼ
# certificate iff within budget, d ≤ 3
χ ⇔ defect≤τ₁ ∧ residual≤τ₂ ∧ stress≤τ₃
defect
residual
stress
01 · INGEST
02 · METRIC
03 · VALIDATE
04 · VERDICT
05 · SEAL
01
02
03
04
- ▸
- ▸
- ▸
- ▹
- ▹
- ▹