checks/semantic/width_budget library

Classes

WidthBudgetInfo
The budget resolved for a source key, for callers outside the rule (e.g. dialect translate inlining the constraint into its plan).
WidthBudgetRule
Warn when a string is too long for the UI slot it renders in.

Functions

widthBudgetFor(ArbEntry src, DialectProject project) WidthBudgetInfo?
Resolve the width budget for src under project, or null if the key declares none. Shared so dialect translate can show the agent the exact budget the check enforces, with no duplicated resolution logic.