@neralabs/rerail-pack-python 0.1.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (147) hide show
  1. package/LICENSE +202 -0
  2. package/NOTICE +7 -0
  3. package/README.md +36 -0
  4. package/licenses/bandit/LICENSE +175 -0
  5. package/licenses/bandit/UPSTREAM.md +100 -0
  6. package/licenses/ruff/LICENSE +430 -0
  7. package/licenses/ruff/UPSTREAM.md +338 -0
  8. package/pack.json +912 -0
  9. package/package.json +30 -0
  10. package/rules/bandit-b101-assert-used.json +38 -0
  11. package/rules/bandit-b102-exec-used.json +125 -0
  12. package/rules/bandit-b110-try-except-pass.json +109 -0
  13. package/rules/bandit-b112-try-except-continue.json +109 -0
  14. package/rules/bandit-b113-request-without-timeout.json +138 -0
  15. package/rules/bandit-b301-pickle.json +58 -0
  16. package/rules/bandit-b302-marshal.json +48 -0
  17. package/rules/bandit-b303-md5.json +79 -0
  18. package/rules/bandit-b305-cipher-modes.json +47 -0
  19. package/rules/bandit-b306-mktemp-q.json +54 -0
  20. package/rules/bandit-b307-eval.json +125 -0
  21. package/rules/bandit-b308-mark-safe.json +47 -0
  22. package/rules/bandit-b310-urllib-urlopen.json +54 -0
  23. package/rules/bandit-b311-random.json +57 -0
  24. package/rules/bandit-b312-telnetlib.json +47 -0
  25. package/rules/bandit-b313-xml-bad-celementtree.json +50 -0
  26. package/rules/bandit-b314-xml-bad-elementtree.json +50 -0
  27. package/rules/bandit-b315-xml-bad-expatreader.json +47 -0
  28. package/rules/bandit-b316-xml-bad-expatbuilder.json +48 -0
  29. package/rules/bandit-b317-xml-bad-sax.json +58 -0
  30. package/rules/bandit-b318-xml-bad-minidom.json +48 -0
  31. package/rules/bandit-b319-xml-bad-pulldom.json +48 -0
  32. package/rules/bandit-b321-ftplib.json +47 -0
  33. package/rules/bandit-b323-unverified-context.json +47 -0
  34. package/rules/bandit-b401-import-telnetlib.json +48 -0
  35. package/rules/bandit-b402-import-ftplib.json +48 -0
  36. package/rules/bandit-b405-import-xml-etree.json +69 -0
  37. package/rules/bandit-b406-import-xml-sax.json +73 -0
  38. package/rules/bandit-b407-import-xml-expat.json +54 -0
  39. package/rules/bandit-b408-import-xml-minidom.json +54 -0
  40. package/rules/bandit-b409-import-xml-pulldom.json +54 -0
  41. package/rules/bandit-b411-import-xmlrpclib.json +48 -0
  42. package/rules/bandit-b413-import-pycrypto.json +159 -0
  43. package/rules/bandit-b415-import-pyghmi.json +48 -0
  44. package/rules/bandit-b502-ssl-with-bad-version.json +90 -0
  45. package/rules/bandit-b505-weak-cryptographic-key.json +166 -0
  46. package/rules/bandit-b507-ssh-no-host-key-verification.json +210 -0
  47. package/rules/bandit-b606-start-process-with-no-shell.json +63 -0
  48. package/rules/bandit-b610-django-extra-used.json +268 -0
  49. package/rules/bandit-b615-huggingface-unsafe-download.json +1152 -0
  50. package/rules/ruff-async100-cancel-scope-no-checkpoint.json +357 -0
  51. package/rules/ruff-async105-trio-sync-call.json +199 -0
  52. package/rules/ruff-async115-async-zero-sleep.json +264 -0
  53. package/rules/ruff-async116-long-sleep-not-forever.json +267 -0
  54. package/rules/ruff-async210-blocking-http-call-in-async-function.json +161 -0
  55. package/rules/ruff-async221-run-process-in-async-function.json +342 -0
  56. package/rules/ruff-async222-wait-for-process-in-async-function.json +144 -0
  57. package/rules/ruff-async230-blocking-open-call-in-async-function.json +339 -0
  58. package/rules/ruff-async250-blocking-input-in-async-function.json +143 -0
  59. package/rules/ruff-async251-blocking-sleep-in-async-function.json +140 -0
  60. package/rules/ruff-b002-unary-prefix-increment-decrement.json +54 -0
  61. package/rules/ruff-b003-assignment-to-os-environ.json +54 -0
  62. package/rules/ruff-b004-unreliable-callable-check.json +171 -0
  63. package/rules/ruff-b005-strip-with-multi-characters.json +131 -0
  64. package/rules/ruff-b007-unused-loop-control-variable.json +368 -0
  65. package/rules/ruff-b009-get-attr-with-constant.json +190 -0
  66. package/rules/ruff-b010-set-attr-with-constant.json +219 -0
  67. package/rules/ruff-b011-assert-false.json +62 -0
  68. package/rules/ruff-b013-redundant-tuple-in-exception-handler.json +94 -0
  69. package/rules/ruff-b014-duplicate-handler-exception.json +126 -0
  70. package/rules/ruff-b016-raise-literal.json +47 -0
  71. package/rules/ruff-b020-loop-variable-overrides-iterator.json +341 -0
  72. package/rules/ruff-b021-f-string-docstring.json +48 -0
  73. package/rules/ruff-b022-useless-contextlib-suppress.json +95 -0
  74. package/rules/ruff-b023-function-uses-loop-variable.json +560 -0
  75. package/rules/ruff-b025-duplicate-try-block-exception.json +182 -0
  76. package/rules/ruff-b026-star-arg-unpacking-after-keyword-arg.json +57 -0
  77. package/rules/ruff-b028-no-explicit-stacklevel.json +177 -0
  78. package/rules/ruff-b029-except-with-empty-tuple.json +102 -0
  79. package/rules/ruff-b032-unintentional-type-annotation.json +157 -0
  80. package/rules/ruff-b033-duplicate-value.json +129 -0
  81. package/rules/ruff-b034-re-sub-positional-args.json +159 -0
  82. package/rules/ruff-b039-mutable-contextvar-default.json +281 -0
  83. package/rules/ruff-b904-raise-without-from-inside-except.json +194 -0
  84. package/rules/ruff-b905-zip-without-explicit-strict.json +429 -0
  85. package/rules/ruff-e711-none-comparison.json +199 -0
  86. package/rules/ruff-e721-type-comparison.json +293 -0
  87. package/rules/ruff-e722-bare-except.json +57 -0
  88. package/rules/ruff-e742-ambiguous-class-name.json +47 -0
  89. package/rules/ruff-e743-ambiguous-function-name.json +47 -0
  90. package/rules/ruff-f403-undefined-local-with-import-star.json +73 -0
  91. package/rules/ruff-f405-undefined-local-with-import-star-usage.json +87 -0
  92. package/rules/ruff-f406-undefined-local-with-nested-import-star-usage.json +39 -0
  93. package/rules/ruff-f407-future-feature-not-defined.json +56 -0
  94. package/rules/ruff-f501-percent-format-invalid-format.json +88 -0
  95. package/rules/ruff-f502-percent-format-expected-mapping.json +127 -0
  96. package/rules/ruff-f503-percent-format-expected-sequence.json +127 -0
  97. package/rules/ruff-f504-percent-format-extra-named-arguments.json +46 -0
  98. package/rules/ruff-f505-percent-format-missing-argument.json +49 -0
  99. package/rules/ruff-f506-percent-format-mixed-positional-and-named.json +114 -0
  100. package/rules/ruff-f507-percent-format-positional-count-mismatch.json +78 -0
  101. package/rules/ruff-f508-percent-format-star-requires-sequence.json +112 -0
  102. package/rules/ruff-f509-percent-format-unsupported-format-character.json +86 -0
  103. package/rules/ruff-f521-string-dot-format-invalid-format.json +83 -0
  104. package/rules/ruff-f522-string-dot-format-extra-named-arguments.json +46 -0
  105. package/rules/ruff-f523-string-dot-format-extra-positional-arguments.json +48 -0
  106. package/rules/ruff-f524-string-dot-format-missing-arguments.json +46 -0
  107. package/rules/ruff-f525-string-dot-format-mixing-automatic.json +99 -0
  108. package/rules/ruff-f541-f-string-missing-placeholders.json +52 -0
  109. package/rules/ruff-f601-multi-value-repeated-key-literal.json +215 -0
  110. package/rules/ruff-f602-multi-value-repeated-key-variable.json +123 -0
  111. package/rules/ruff-f622-multiple-starred-expressions.json +57 -0
  112. package/rules/ruff-f632-is-literal.json +232 -0
  113. package/rules/ruff-f633-invalid-print-syntax.json +299 -0
  114. package/rules/ruff-f701-break-outside-loop.json +64 -0
  115. package/rules/ruff-f702-continue-outside-loop.json +64 -0
  116. package/rules/ruff-f706-return-outside-function.json +61 -0
  117. package/rules/ruff-f707-default-except-not-last.json +50 -0
  118. package/rules/ruff-f722-forward-annotation-syntax-error.json +654 -0
  119. package/rules/ruff-f822-undefined-export.json +55 -0
  120. package/rules/ruff-f823-undefined-local.json +42 -0
  121. package/rules/ruff-f842-unused-annotation.json +51 -0
  122. package/rules/ruff-f901-raise-not-implemented.json +97 -0
  123. package/rules/ruff-pie794-duplicate-class-field-definition.json +157 -0
  124. package/rules/ruff-pie796-non-unique-enums.json +460 -0
  125. package/rules/ruff-pie800-unnecessary-spread.json +62 -0
  126. package/rules/ruff-pie804-unnecessary-dict-kwargs.json +179 -0
  127. package/rules/ruff-pie807-reimplemented-container-builtin.json +100 -0
  128. package/rules/ruff-pie810-multiple-starts-ends-with.json +585 -0
  129. package/rules/ruff-ret501-unnecessary-return-none.json +256 -0
  130. package/rules/ruff-ret502-implicit-return-value.json +163 -0
  131. package/rules/ruff-ret505-superfluous-else-return.json +211 -0
  132. package/rules/ruff-ret506-superfluous-else-raise.json +211 -0
  133. package/rules/ruff-ret507-superfluous-else-continue.json +211 -0
  134. package/rules/ruff-ret508-superfluous-else-break.json +211 -0
  135. package/rules/ruff-sim101-duplicate-isinstance-call.json +384 -0
  136. package/rules/ruff-sim107-return-in-try-except-finally.json +82 -0
  137. package/rules/ruff-sim109-compare-with-tuple.json +205 -0
  138. package/rules/ruff-sim112-uncapitalized-environment-variables.json +168 -0
  139. package/rules/ruff-sim113-enumerate-for-loop.json +562 -0
  140. package/rules/ruff-sim208-double-negation.json +58 -0
  141. package/rules/ruff-sim210-if-expr-with-true-false.json +90 -0
  142. package/rules/ruff-sim211-if-expr-with-false-true.json +90 -0
  143. package/rules/ruff-sim212-if-expr-with-twisted-arms.json +95 -0
  144. package/rules/ruff-sim300-yoda-conditions.json +487 -0
  145. package/rules/ruff-sim905-split-static-string.json +579 -0
  146. package/rules/ruff-sim910-dict-get-with-none-default.json +518 -0
  147. package/rules/ruff-t100-debugger.json +197 -0
package/rules/ruff-b023-function-uses-loop-variable.json ADDED
@@ -0,0 +1,560 @@
1
+ {
2
+ "format": "rerail.policy/v1",
3
+ "id": "ruff-b023-function-uses-loop-variable",
4
+ "revision": 1,
5
+ "mode": "steer",
6
+ "description": "Port of Ruff's B023 (function-uses-loop-variable): a name loaded in the body of a function or lambda defined inside a loop (for, while, or comprehension), when the function neither takes it as a parameter nor stores it anywhere in its body, and the loop assigns it (assignment, augmented or annotated assignment, for or comprehension target; not inside nested functions or lambdas). The function is the first def or unsafe lambda on the way down from the loop; a lambda is safe when it is returned directly, called immediately, a positional argument of `filter`/`reduce`/`map`/`functools.reduce`, or the value of a `key=` keyword. Reported on the name.",
7
+ "scope": {
8
+ "include": [
9
+ "**/*"
10
+ ],
11
+ "exclude": []
12
+ },
13
+ "clauses": [
14
+ {
15
+ "id": "function-uses-loop-variable",
16
+ "forbid": {
17
+ "ast": {
18
+ "language": "python",
19
+ "utils": {
20
+ "loop": {
21
+ "any": [
22
+ {
23
+ "kind": "for_statement"
24
+ },
25
+ {
26
+ "kind": "while_statement"
27
+ },
28
+ {
29
+ "kind": "list_comprehension"
30
+ },
31
+ {
32
+ "kind": "set_comprehension"
33
+ },
34
+ {
35
+ "kind": "dictionary_comprehension"
36
+ },
37
+ {
38
+ "kind": "generator_expression"
39
+ }
40
+ ]
41
+ },
42
+ "safe-slot": {
43
+ "any": [
44
+ {
45
+ "inside": {
46
+ "stopBy": "neighbor",
47
+ "kind": "return_statement"
48
+ }
49
+ },
50
+ {
51
+ "precedes": {
52
+ "stopBy": "neighbor",
53
+ "any": [
54
+ {
55
+ "kind": "argument_list"
56
+ },
57
+ {
58
+ "kind": "generator_expression"
59
+ }
60
+ ]
61
+ },
62
+ "inside": {
63
+ "stopBy": "neighbor",
64
+ "kind": "call"
65
+ }
66
+ },
67
+ {
68
+ "inside": {
69
+ "stopBy": "neighbor",
70
+ "kind": "argument_list",
71
+ "follows": {
72
+ "stopBy": "neighbor",
73
+ "any": [
74
+ {
75
+ "kind": "identifier",
76
+ "regex": "^(filter|reduce|map)$"
77
+ },
78
+ {
79
+ "kind": "attribute",
80
+ "pattern": "functools.reduce"
81
+ }
82
+ ]
83
+ }
84
+ }
85
+ },
86
+ {
87
+ "follows": {
88
+ "stopBy": "neighbor",
89
+ "regex": "^=$"
90
+ },
91
+ "inside": {
92
+ "stopBy": "neighbor",
93
+ "kind": "keyword_argument",
94
+ "has": {
95
+ "stopBy": "neighbor",
96
+ "kind": "identifier",
97
+ "regex": "^key$",
98
+ "precedes": {
99
+ "stopBy": "neighbor",
100
+ "regex": "^=$"
101
+ }
102
+ }
103
+ }
104
+ },
105
+ {
106
+ "inside": {
107
+ "stopBy": "neighbor",
108
+ "kind": "parenthesized_expression",
109
+ "matches": "safe-slot"
110
+ }
111
+ }
112
+ ]
113
+ },
114
+ "function": {
115
+ "any": [
116
+ {
117
+ "kind": "function_definition"
118
+ },
119
+ {
120
+ "kind": "lambda",
121
+ "not": {
122
+ "matches": "safe-slot"
123
+ }
124
+ }
125
+ ]
126
+ },
127
+ "target-slot": {
128
+ "any": [
129
+ {
130
+ "not": {
131
+ "follows": {
132
+ "stopBy": "neighbor",
133
+ "regex": "(?s)."
134
+ }
135
+ },
136
+ "inside": {
137
+ "stopBy": "neighbor",
138
+ "any": [
139
+ {
140
+ "kind": "assignment"
141
+ },
142
+ {
143
+ "kind": "augmented_assignment"
144
+ }
145
+ ]
146
+ }
147
+ },
148
+ {
149
+ "follows": {
150
+ "stopBy": "neighbor",
151
+ "regex": "^for$"
152
+ },
153
+ "inside": {
154
+ "stopBy": "neighbor",
155
+ "any": [
156
+ {
157
+ "kind": "for_statement"
158
+ },
159
+ {
160
+ "kind": "for_in_clause"
161
+ }
162
+ ]
163
+ }
164
+ },
165
+ {
166
+ "inside": {
167
+ "stopBy": "neighbor",
168
+ "any": [
169
+ {
170
+ "kind": "pattern_list"
171
+ },
172
+ {
173
+ "kind": "tuple_pattern"
174
+ },
175
+ {
176
+ "kind": "list_pattern"
177
+ },
178
+ {
179
+ "kind": "list_splat_pattern"
180
+ },
181
+ {
182
+ "kind": "tuple"
183
+ },
184
+ {
185
+ "kind": "list"
186
+ },
187
+ {
188
+ "kind": "parenthesized_expression"
189
+ }
190
+ ],
191
+ "matches": "target-slot"
192
+ }
193
+ }
194
+ ]
195
+ },
196
+ "store-slot": {
197
+ "any": [
198
+ {
199
+ "matches": "target-slot"
200
+ },
201
+ {
202
+ "not": {
203
+ "follows": {
204
+ "stopBy": "neighbor",
205
+ "regex": "(?s)."
206
+ }
207
+ },
208
+ "inside": {
209
+ "stopBy": "neighbor",
210
+ "kind": "named_expression"
211
+ }
212
+ },
213
+ {
214
+ "kind": "as_pattern_target",
215
+ "inside": {
216
+ "stopBy": "neighbor",
217
+ "kind": "as_pattern",
218
+ "inside": {
219
+ "stopBy": "neighbor",
220
+ "kind": "with_item"
221
+ }
222
+ }
223
+ },
224
+ {
225
+ "inside": {
226
+ "stopBy": "neighbor",
227
+ "any": [
228
+ {
229
+ "kind": "as_pattern_target"
230
+ },
231
+ {
232
+ "kind": "tuple"
233
+ },
234
+ {
235
+ "kind": "list"
236
+ },
237
+ {
238
+ "kind": "parenthesized_expression"
239
+ },
240
+ {
241
+ "kind": "list_splat_pattern"
242
+ }
243
+ ],
244
+ "matches": "store-slot"
245
+ }
246
+ }
247
+ ]
248
+ },
249
+ "non-name": {
250
+ "any": [
251
+ {
252
+ "follows": {
253
+ "stopBy": "neighbor",
254
+ "regex": "^\\.$"
255
+ },
256
+ "inside": {
257
+ "stopBy": "neighbor",
258
+ "kind": "attribute"
259
+ }
260
+ },
261
+ {
262
+ "precedes": {
263
+ "stopBy": "neighbor",
264
+ "regex": "^=$"
265
+ },
266
+ "inside": {
267
+ "stopBy": "neighbor",
268
+ "kind": "keyword_argument"
269
+ }
270
+ },
271
+ {
272
+ "inside": {
273
+ "stopBy": "neighbor",
274
+ "any": [
275
+ {
276
+ "kind": "function_definition"
277
+ },
278
+ {
279
+ "kind": "class_definition"
280
+ },
281
+ {
282
+ "kind": "parameters"
283
+ },
284
+ {
285
+ "kind": "lambda_parameters"
286
+ },
287
+ {
288
+ "kind": "list_splat_pattern",
289
+ "inside": {
290
+ "stopBy": "neighbor",
291
+ "any": [
292
+ {
293
+ "kind": "parameters"
294
+ },
295
+ {
296
+ "kind": "lambda_parameters"
297
+ },
298
+ {
299
+ "kind": "typed_parameter"
300
+ }
301
+ ]
302
+ }
303
+ },
304
+ {
305
+ "kind": "dictionary_splat_pattern"
306
+ },
307
+ {
308
+ "kind": "dotted_name"
309
+ },
310
+ {
311
+ "kind": "aliased_import"
312
+ },
313
+ {
314
+ "kind": "global_statement"
315
+ },
316
+ {
317
+ "kind": "nonlocal_statement"
318
+ },
319
+ {
320
+ "kind": "keyword_pattern"
321
+ },
322
+ {
323
+ "kind": "splat_pattern"
324
+ },
325
+ {
326
+ "kind": "type_parameter"
327
+ },
328
+ {
329
+ "kind": "as_pattern_target",
330
+ "inside": {
331
+ "stopBy": "neighbor",
332
+ "kind": "as_pattern",
333
+ "inside": {
334
+ "stopBy": "neighbor",
335
+ "kind": "except_clause"
336
+ }
337
+ }
338
+ },
339
+ {
340
+ "kind": "as_pattern",
341
+ "inside": {
342
+ "stopBy": "neighbor",
343
+ "kind": "case_pattern"
344
+ }
345
+ }
346
+ ]
347
+ }
348
+ },
349
+ {
350
+ "not": {
351
+ "follows": {
352
+ "stopBy": "neighbor",
353
+ "regex": "(?s)."
354
+ }
355
+ },
356
+ "inside": {
357
+ "stopBy": "neighbor",
358
+ "any": [
359
+ {
360
+ "kind": "default_parameter"
361
+ },
362
+ {
363
+ "kind": "typed_parameter"
364
+ },
365
+ {
366
+ "kind": "typed_default_parameter"
367
+ }
368
+ ]
369
+ }
370
+ }
371
+ ]
372
+ },
373
+ "load-name": {
374
+ "kind": "identifier",
375
+ "not": {
376
+ "any": [
377
+ {
378
+ "matches": "non-name"
379
+ },
380
+ {
381
+ "matches": "store-slot"
382
+ },
383
+ {
384
+ "inside": {
385
+ "stopBy": "neighbor",
386
+ "kind": "delete_statement"
387
+ }
388
+ }
389
+ ]
390
+ }
391
+ },
392
+ "param-n": {
393
+ "any": [
394
+ {
395
+ "kind": "identifier",
396
+ "pattern": "$N"
397
+ },
398
+ {
399
+ "any": [
400
+ {
401
+ "kind": "list_splat_pattern"
402
+ },
403
+ {
404
+ "kind": "dictionary_splat_pattern"
405
+ }
406
+ ],
407
+ "has": {
408
+ "stopBy": "neighbor",
409
+ "kind": "identifier",
410
+ "pattern": "$N"
411
+ }
412
+ },
413
+ {
414
+ "any": [
415
+ {
416
+ "kind": "default_parameter"
417
+ },
418
+ {
419
+ "kind": "typed_parameter"
420
+ },
421
+ {
422
+ "kind": "typed_default_parameter"
423
+ }
424
+ ],
425
+ "has": {
426
+ "stopBy": "neighbor",
427
+ "not": {
428
+ "follows": {
429
+ "stopBy": "neighbor",
430
+ "regex": "(?s)."
431
+ }
432
+ },
433
+ "matches": "param-n"
434
+ }
435
+ }
436
+ ]
437
+ },
438
+ "loop-assigns-n": {
439
+ "matches": "loop",
440
+ "has": {
441
+ "stopBy": {
442
+ "any": [
443
+ {
444
+ "kind": "function_definition"
445
+ },
446
+ {
447
+ "kind": "lambda"
448
+ }
449
+ ]
450
+ },
451
+ "kind": "identifier",
452
+ "pattern": "$N",
453
+ "matches": "target-slot"
454
+ }
455
+ },
456
+ "unbound-in-function": {
457
+ "matches": "function",
458
+ "not": {
459
+ "any": [
460
+ {
461
+ "has": {
462
+ "stopBy": "neighbor",
463
+ "any": [
464
+ {
465
+ "kind": "parameters"
466
+ },
467
+ {
468
+ "kind": "lambda_parameters"
469
+ }
470
+ ],
471
+ "has": {
472
+ "stopBy": "neighbor",
473
+ "matches": "param-n"
474
+ }
475
+ }
476
+ },
477
+ {
478
+ "has": {
479
+ "stopBy": "end",
480
+ "kind": "identifier",
481
+ "pattern": "$N",
482
+ "matches": "store-slot"
483
+ }
484
+ }
485
+ ]
486
+ },
487
+ "inside": {
488
+ "stopBy": {
489
+ "any": [
490
+ {
491
+ "kind": "function_definition"
492
+ },
493
+ {
494
+ "kind": "lambda",
495
+ "not": {
496
+ "matches": "safe-slot"
497
+ }
498
+ }
499
+ ]
500
+ },
501
+ "matches": "loop-assigns-n"
502
+ }
503
+ },
504
+ "function-body": {
505
+ "any": [
506
+ {
507
+ "kind": "block",
508
+ "inside": {
509
+ "stopBy": "neighbor",
510
+ "kind": "function_definition",
511
+ "matches": "unbound-in-function"
512
+ }
513
+ },
514
+ {
515
+ "follows": {
516
+ "stopBy": "neighbor",
517
+ "regex": "^:$"
518
+ },
519
+ "inside": {
520
+ "stopBy": "neighbor",
521
+ "kind": "lambda",
522
+ "matches": "unbound-in-function"
523
+ }
524
+ }
525
+ ]
526
+ }
527
+ },
528
+ "rule": {
529
+ "kind": "identifier",
530
+ "pattern": "$N",
531
+ "matches": "load-name",
532
+ "any": [
533
+ {
534
+ "matches": "function-body"
535
+ },
536
+ {
537
+ "inside": {
538
+ "stopBy": "end",
539
+ "matches": "function-body"
540
+ }
541
+ }
542
+ ]
543
+ }
544
+ }
545
+ },
546
+ "violation": {
547
+ "anchor": "witness.span",
548
+ "code": "B023",
549
+ "message": "Function definition does not bind loop variable `$N`",
550
+ "suppress": {
551
+ "noqa": {
552
+ "codes": [
553
+ "B023"
554
+ ]
555
+ }
556
+ }
557
+ }
558
+ }
559
+ ]
560
+ }