Rule-bound AI for providers and health plans: prior authorization, claims, and eligibility evaluated symbolically, with PHI redacted before inference.