SSE-Lang A constraint-based semantic system for reasoning about solid-state electrolytes Status: UKCS registered and confirmed · Versioned as v0.1, defined as complete by design.