Static ChecksBounds and IndexingLearn how Syl checks array and field access against known shapes.Diagnostic IndexLookup table for diagnostic codes, rule areas, and short fix directions.