Static ChecksCapability ViolationsLearn what a capability violation means, how views control access, and how to place stream source and sink sides.Bounds and IndexingLearn how Syl checks array and field access against known shapes.