Function compose 

pub fn compose(
    a: &LambdaData,
    b: &LambdaData,
    result_name: &str,
    result_ontology: &str,
) -> Result<LambdaData, LdError>

Compose two ΛD state vectors under Theorem 5.1 (Epistemic Degradation).

The composed ψ inherits: c_out = min(c₁, c₂) — certainty cannot increase δ_out = max(δ₁, δ₂) — derivation can only increase (raw < derived < inferred < aggregated < transformed) τ_out = intersection(τ₁, τ₂) — temporal frame narrows ρ_out = “ρ₁ ∘ ρ₂” — provenance chain concatenation