Function validate 

pub fn validate(source: &str) -> ValidationResult

Validate an AISP document

Arguments

• source - AISP document source code

Returns

ValidationResult containing validity, tier, density metrics, and ambiguity

Example

use aisp::validate;

let doc = r#"𝔸1.0.test@2026-01-16
γ≔example
⟦Ω:Meta⟧{ ∀D:Ambig(D)<0.02 }
⟦Σ:Types⟧{ T≜ℕ }
⟦Γ:Rules⟧{ ∀x:T:x≥0 }
⟦Λ:Funcs⟧{ f≜λx.x }
⟦Ε⟧⟨δ≜0.75;φ≜100;τ≜◊⁺⁺⟩"#;

let result = validate(doc);
assert!(result.valid);