Legal Reasoning and EU AI Act Compliance in LIMEN-AI: Auditability through Interpretable Fuzzy Inference Traces