You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Deterministic SKU-resolution engine for an industrial parts catalog: a 312-pattern grammar decodes/reconstructs part numbers with no LLM in the resolution path, returns an honest pending/unresolvable instead of guessing, and re-proves the never-invent guarantee over the whole catalog every commit. The LLM only proposes.