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