Struct model analyzer

Make sure struct models are following the guidelines. Specifically,

- [ ] Less than 24 bytes

Start by locating any existing struct-model analyzer and its rule tests; the issue names no files or entry point. Use the checklist as the acceptance criterion: struct models must be under 24 bytes. Confirm how analyzer findings are tested before implementing or documenting this check.

Written by the indexing model from the issue text.