TY - RPRT TI - Provably Auditable and Safe LLM Agents from Human-Authored Ontologies AU - Aaron Sterling PY - 2026 UR - https://arxiv.org/abs/2606.04903 ID - 2606.04903 ER -