Luau Type System When to Load Load for Luau annotations, inference, narrowing, strictness, exports, and solver features. Syntax: ; lifecycle/scheduling: . Quick Reference Strictness: for maintained code, while transitioning, only for legacy or generated code. Directives and project settings select the mode; never assume one global default. New solver gate: , , , s, and members need the new type solver. On by default for / projects; strict projects need (Scripting). Errors here usually mean wrong solver, not wrong syntax. Inference philosophy: Infer first; annotate boundaries (params, returns,…