Function check_derived_interval_conservation 

pub fn check_derived_interval_conservation(
    transaction: &Transaction,
    geometry: &CanonicalGeometryV1,
    relation: Id<Relation>,
) -> Result<Option<()>, Diagnostic>

Derive and independently check the canonical interval content of one retained Law. No authored source identity or provenance is invented for derived mathematics. Returns None when the expression exceeds the closed projection inventory.

Errors

Rejects an unsupported Law, support, type or interval transformation.