Evaluations Evaluation reports covering IFC benchmarks, adversarial safety, embedding retrieval, and formal verification coverage. Eval CLI Reference → IFC Adversarial Corpus Benchmark → ASSERT Evaluation for navra C3 → ADR-Bench Attack Taxonomy → navra Defense Layer Mapping →
navra