tpt-concord

Pure-Rust framework turning specifications, claims, evidence, and conformance into first-class machine-readable objects, connecting formal proofs, model checking, property/fuzz/differential testing into one assurance graph. Dual-licensed MIT/Apache-2.0.