# audit/vetting/policy.yml — hille-yosida assurance settings (CI reads this).
# See math-commons/formalization-assurance/VETTING.md for the strictness ladder.
# L0 none | L1 warn | L2 gate(coverage) | L3 gate(coverage + statement-hash freshness)
vetting_strictness: L1

# Kernel-authoritative axiom set + counts (generated; never hand-authored).
axiom_report: audit/axiom-report.txt
vetting_dir: audit/vetting

# This library is axiom-free (0 project axioms), so there are no per-axiom vetting
# records to carry; coverage is trivially satisfied.