A fast type checker and language server for Python
This report presents the forensic synthetic code analysis of facebook/pyrefly, a Rust project with 6,911 GitHub stars. SynthScan v2.0 examined 635,730 lines of code across 1816 source files, recording 2917 pattern matches distributed across 24 syntactic categories. The overall adjusted score of 7.5 places this repository in the Low AI signal band.
The scanner applied 160+ deterministic lexical heuristics, multi-line block detectors, abstract syntax tree depth profilers, and a cross-file Jaccard similarity matrix to construct a statistically normalised synthetic code estimate. All matches are individually weighted by severity coefficient and contextual multiplier before summation, and the resulting headline score is temporally discounted to account for the repository's development history relative to the commercial emergence of large language model coding tooling (November 2022 onward).
This chart maps the temporal evolution of the adjusted synthetic code score across successive scan runs. An upward trajectory indicates ongoing incorporation of AI-generated code or expanding LLM-assisted scaffolding; a stable or declining trajectory may reflect active human refactoring, code removal, or the adoption of stricter authorship policies. The dashed secondary line (right axis) independently tracks total raw pattern hit count, which can diverge from the normalised score when codebase size changes significantly between scans.
Classifies detected patterns by their diagnostic confidence and structural impact. CRITICAL patterns (coefficient 10) represent definitive synthetic signatures — hallucinated imports, explicit LLM attribution metadata — virtually never produced by human authors. HIGH (5) indicates strong structural tells such as cross-file repetition or cross-linguistic idioms. MEDIUM (2) covers recognisable conversational padding and AI-specific vocabulary. LOW (1) captures subtle indicators like tautological comments and generic boilerplate that require density to carry independent signal.
This horizontal bar chart decomposes the repository's raw synthetic code score by top-level directory, allowing you to pinpoint precisely which modules or components carry the highest AI authorship density. Directories with disproportionately high scores relative to their size warrant targeted manual review: concentrated AI signatures often trace back to mass-generated configuration layers, auto-ported test suites, LLM-scaffolded boilerplate classes, or entire subsystems authored under heavy copilot assistance. Use this view to prioritise your human code-review effort.
The scanner identified 2917 distinct pattern matches across 24 syntactic categories. Each entry below represents a discrete location in the source code where the engine recorded a statistically significant AI authorship indicator. Expand any category row to inspect the individual file paths, line numbers, code snippets, and the lexical context (CODE, COMMENT, or STRING) in which each match was detected.
Reading the findings table: The Severity column indicates the diagnostic confidence level (CRITICAL / HIGH / MEDIUM / LOW). The Context column identifies whether the match occurred inside executable code, an inline comment, or a string literal — comment-context matches receive a ×1.5 weight because LLMs systematically over-annotate. The ⚡ bolt icon marks clustered matches: three or more patterns within a 10-line window, each receiving an additional ×1.5 density multiplier as dense clusters constitute far stronger evidence of synthetic authorship than isolated hits.
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| MEDIUM | pyrefly/lib/test/shape_dsl.rs | 6763 | // ── Recursion-safety tests ──────────────────────────────────────────────────── | COMMENT |
| MEDIUM | …apes/pyrefly-torch-stubs/test/test_nn_module_proper.py | 21 | # ============================================================================ | COMMENT |
| MEDIUM | …apes/pyrefly-torch-stubs/test/test_nn_module_proper.py | 23 | # ============================================================================ | COMMENT |
| MEDIUM | …apes/pyrefly-torch-stubs/test/test_nn_module_proper.py | 64 | # ============================================================================ | COMMENT |
| MEDIUM | …apes/pyrefly-torch-stubs/test/test_nn_module_proper.py | 66 | # ============================================================================ | COMMENT |
| MEDIUM | …apes/pyrefly-torch-stubs/test/test_nn_module_proper.py | 113 | # ============================================================================ | COMMENT |
| MEDIUM | …apes/pyrefly-torch-stubs/test/test_nn_module_proper.py | 115 | # ============================================================================ | COMMENT |
| MEDIUM | …apes/pyrefly-torch-stubs/test/test_nn_module_proper.py | 145 | # ============================================================================ | COMMENT |
| MEDIUM | …apes/pyrefly-torch-stubs/test/test_nn_module_proper.py | 147 | # ============================================================================ | COMMENT |
| MEDIUM | …apes/pyrefly-torch-stubs/test/test_nn_module_proper.py | 183 | # ============================================================================ | COMMENT |
| MEDIUM | …apes/pyrefly-torch-stubs/test/test_nn_module_proper.py | 185 | # ============================================================================ | COMMENT |
| MEDIUM⚡ | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 170 | # ============================================================================ | COMMENT |
| MEDIUM⚡ | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 172 | # ============================================================================ | COMMENT |
| MEDIUM⚡ | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 203 | # ============================================================================ | COMMENT |
| MEDIUM⚡ | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 205 | # ============================================================================ | COMMENT |
| MEDIUM | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 30 | # ============================================================================ | COMMENT |
| MEDIUM | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 32 | # ============================================================================ | COMMENT |
| MEDIUM | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 65 | # ============================================================================ | COMMENT |
| MEDIUM | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 67 | # ============================================================================ | COMMENT |
| MEDIUM | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 102 | # ============================================================================ | COMMENT |
| MEDIUM | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 104 | # ============================================================================ | COMMENT |
| MEDIUM | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 137 | # ============================================================================ | COMMENT |
| MEDIUM | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 139 | # ============================================================================ | COMMENT |
| MEDIUM | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 238 | # ============================================================================ | COMMENT |
| MEDIUM | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 240 | # ============================================================================ | COMMENT |
| MEDIUM | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 270 | # ============================================================================ | COMMENT |
| MEDIUM | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 272 | # ============================================================================ | COMMENT |
| MEDIUM | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 300 | # ============================================================================ | COMMENT |
| MEDIUM | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 302 | # ============================================================================ | COMMENT |
| MEDIUM | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 331 | # ============================================================================ | COMMENT |
| MEDIUM | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 333 | # ============================================================================ | COMMENT |
| MEDIUM | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 363 | # ============================================================================ | COMMENT |
| MEDIUM | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 365 | # ============================================================================ | COMMENT |
| MEDIUM | …es/pyrefly-torch-stubs/test/test_overload_narrowing.py | 21 | # ============================================================================ | COMMENT |
| MEDIUM | …es/pyrefly-torch-stubs/test/test_overload_narrowing.py | 23 | # ============================================================================ | COMMENT |
| MEDIUM | …es/pyrefly-torch-stubs/test/test_overload_narrowing.py | 47 | # ============================================================================ | COMMENT |
| MEDIUM | …es/pyrefly-torch-stubs/test/test_overload_narrowing.py | 49 | # ============================================================================ | COMMENT |
| MEDIUM | …es/pyrefly-torch-stubs/test/test_parameters_buffers.py | 21 | # ============================================================================ | COMMENT |
| MEDIUM | …es/pyrefly-torch-stubs/test/test_parameters_buffers.py | 23 | # ============================================================================ | COMMENT |
| MEDIUM | …es/pyrefly-torch-stubs/test/test_parameters_buffers.py | 56 | # ============================================================================ | COMMENT |
| MEDIUM | …es/pyrefly-torch-stubs/test/test_parameters_buffers.py | 58 | # ============================================================================ | COMMENT |
| MEDIUM⚡ | …es/pyrefly-torch-stubs/test/test_parameters_buffers.py | 87 | # ============================================================================ | COMMENT |
| MEDIUM⚡ | …es/pyrefly-torch-stubs/test/test_parameters_buffers.py | 89 | # ============================================================================ | COMMENT |
| MEDIUM | …es/pyrefly-torch-stubs/test/test_parameters_buffers.py | 132 | # ============================================================================ | COMMENT |
| MEDIUM | …es/pyrefly-torch-stubs/test/test_parameters_buffers.py | 134 | # ============================================================================ | COMMENT |
| MEDIUM | …es/pyrefly-torch-stubs/test/test_parameters_buffers.py | 179 | # ============================================================================ | COMMENT |
| MEDIUM | …es/pyrefly-torch-stubs/test/test_parameters_buffers.py | 181 | # ============================================================================ | COMMENT |
| MEDIUM⚡ | …es/pyrefly-torch-stubs/test/test_parameters_buffers.py | 236 | # ============================================================================ | COMMENT |
| MEDIUM⚡ | …es/pyrefly-torch-stubs/test/test_parameters_buffers.py | 238 | # ============================================================================ | COMMENT |
| MEDIUM | …es/pyrefly-torch-stubs/test/test_parameters_buffers.py | 274 | # ============================================================================ | COMMENT |
| MEDIUM | …es/pyrefly-torch-stubs/test/test_parameters_buffers.py | 276 | # ============================================================================ | COMMENT |
| MEDIUM | …es/pyrefly-torch-stubs/test/test_parameters_buffers.py | 310 | # ============================================================================ | COMMENT |
| MEDIUM | …es/pyrefly-torch-stubs/test/test_parameters_buffers.py | 312 | # ============================================================================ | COMMENT |
| MEDIUM | …pyrefly-torch-stubs/test/test_sequential_modulelist.py | 23 | # ============================================================================ | COMMENT |
| MEDIUM | …pyrefly-torch-stubs/test/test_sequential_modulelist.py | 25 | # ============================================================================ | COMMENT |
| MEDIUM⚡ | …pyrefly-torch-stubs/test/test_sequential_modulelist.py | 50 | # ============================================================================ | COMMENT |
| MEDIUM⚡ | …pyrefly-torch-stubs/test/test_sequential_modulelist.py | 52 | # ============================================================================ | COMMENT |
| MEDIUM | …pyrefly-torch-stubs/test/test_sequential_modulelist.py | 71 | # ============================================================================ | COMMENT |
| MEDIUM | …pyrefly-torch-stubs/test/test_sequential_modulelist.py | 73 | # ============================================================================ | COMMENT |
| MEDIUM⚡ | …pyrefly-torch-stubs/test/test_sequential_modulelist.py | 150 | # ============================================================================ | COMMENT |
| 617 more matches not shown… | ||||
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | pyrefly/lib/test/typing_self.rs | 270 | def person_create_with_name_trampoline(cls, *args, **kwargs): | CODE |
| LOW | pyrefly/lib/test/typing_self.rs | 277 | def person_create_with_name_orig(cls, name: str) -> Self: # E: `Self` must appear within a class | CODE |
| LOW | pyrefly/lib/test/yields.rs | 205 | async def async_coroutine_of_async_generator() -> AsyncGenerator[int, None]: | CODE |
| LOW | pyrefly/lib/test/yields.rs | 571 | def generator_with_only_yield_from() -> Iterator[int]: | CODE |
| LOW | pyrefly/lib/test/returns.rs | 789 | def uninitialized_local_logic(value: int | str | float) -> str: | CODE |
| LOW⚡ | pyrefly/lib/test/shape_dsl.rs | 2322 | def defaulted_helper_mismatch(n: Int, k: int) -> Int: | CODE |
| LOW⚡ | pyrefly/lib/test/shape_dsl.rs | 2331 | def inconsistent_helper_branches(n: Int, k: int, first: bool) -> Int: | CODE |
| LOW⚡ | pyrefly/lib/test/shape_dsl.rs | 2338 | def conflicting_branch_return_dimension_first( | CODE |
| LOW⚡ | pyrefly/lib/test/shape_dsl.rs | 2923 | def subtract_overflow_reversed() -> Tensor[[flag_subtract(9223372036854775807, -1)]]: ... | CODE |
| LOW⚡ | pyrefly/lib/test/shape_dsl.rs | 2925 | def multiply_overflow_reversed() -> Tensor[[flag_multiply(2, 9223372036854775807)]]: ... | CODE |
| LOW⚡ | pyrefly/lib/test/shape_dsl.rs | 2927 | def modulo_min_by_negative_one() -> Tensor[[flag_modulo(-9223372036854775808, -1)]]: ... | CODE |
| LOW⚡ | pyrefly/lib/test/shape_dsl.rs | 7732 | def check_overflow_floor_divide(x: Tensor[[2, 3]]) -> Tensor[overflow_floor_divide(IntTuple[2, 3])]: ... | CODE |
| LOW⚡ | pyrefly/lib/test/shape_dsl.rs | 7733 | def check_overflow_negative_literal(x: Tensor[[2, 3]]) -> Tensor[overflow_negative_literal(IntTuple[2, 3])]: ... | CODE |
| LOW⚡ | pyrefly/lib/test/shape_dsl.rs | 7736 | def check_invalid_right_operand(x: Tensor[[2, 3]]) -> Tensor[invalid_right_operand_after_overflow(IntTuple[2, 3])]: ... | CODE |
| LOW⚡ | pyrefly/lib/test/shape_dsl.rs | 7737 | def check_unknown_modulo_zero(x: Tensor[[2, 3]]) -> Tensor[unknown_modulo_zero(IntTuple[2, 3], int)]: ... | CODE |
| LOW⚡ | pyrefly/lib/test/shape_dsl.rs | 7743 | def check_unknown_before_invalid(x: Tensor[[2, 3]]) -> Tensor[unknown_before_invalid(IntTuple[2, 3], int)]: ... | CODE |
| LOW⚡ | pyrefly/lib/test/shape_dsl.rs | 7744 | def check_known_before_invalid(x: Tensor[[2, 3]]) -> Tensor[known_before_invalid(IntTuple[2, 3])]: ... | CODE |
| LOW⚡ | pyrefly/lib/test/shape_dsl.rs | 7745 | def check_invalid_before_unknown(x: Tensor[[2, 3]]) -> Tensor[invalid_before_unknown(IntTuple[2, 3], int)]: ... | CODE |
| LOW⚡ | pyrefly/lib/test/shape_dsl.rs | 7746 | def check_false_before_invalid(x: Tensor[[2, 3]]) -> Tensor[false_before_invalid(IntTuple[2, 3], IntTuple[1])]: ... | CODE |
| LOW⚡ | pyrefly/lib/test/shape_dsl.rs | 9413 | def narrowed_optional_to_required(shape: IntTuple, mode: str | None) -> IntTuple: | CODE |
| LOW⚡ | pyrefly/lib/test/shape_dsl.rs | 9419 | def narrowed_value_to_optional(shape: IntTuple, mode: str | None) -> IntTuple: | CODE |
| LOW⚡ | pyrefly/lib/test/shape_dsl.rs | 9425 | def inferred_optional_to_required( | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 1237 | def explicit_class_non_shape_arg(bad: Box[list[int]]) -> None: # E: Tensor shape dimensions must be positive integer li | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 1335 | def nested_concrete_tuple_carrier( | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 1340 | def nested_unbounded_tuple_carrier( | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 1387 | def shapeful_unbounded_middle( | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 1985 | def same_spelling_is_not_intrinsic(x: Int) -> Int: | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 2058 | def not_equal_concrete_different() -> Tensor[[choose_not_equal(Int[2], Int[3], Int[7], Int[8])]]: ... | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 2149 | def positive_unrepresentable_threshold() -> Tensor[[above_maximum_threshold(Int[3], 0)]]: ... | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 2150 | def negative_unrepresentable_threshold() -> Tensor[[below_minimum_threshold(Int[3], 0)]]: ... | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 2350 | def conflicting_branch_return_flag_first( | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 2362 | def conflicting_branch_int_helper_dimension_first( | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 2374 | def conflicting_branch_int_helper_flag_first( | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 2386 | def conflicting_branch_flag_helper_dimension_first( | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 2398 | def conflicting_branch_flag_helper_flag_first( | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 2682 | def resolved_dimension_branches( | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 2706 | def inherited_dimension_branch( | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 2737 | def boundary_reverse_subtract(n: Int) -> Int: | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 2799 | def call_chained_local_helper(n: Int, k: int, offset: int) -> Int: | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 3454 | def takes_legacy_literal_pair(x: tuple[Literal[2], Literal[3]]) -> None: ... | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 6024 | def check_nontrivial_shape_syntax( | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 7208 | def incompatible_branch_alias(left: Int, right: IntTuple, choose: int) -> IntTuple: | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 7252 | def indexed_dimension_compare( | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 7646 | def overflow_negative_literal(shape: IntTuple) -> IntTuple: | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 7651 | def exact_min_modulo_negative_one(shape: IntTuple) -> IntTuple: | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 7665 | def invalid_right_operand_after_overflow(shape: IntTuple) -> IntTuple: | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 7857 | def unknown_then_out_of_bounds(unknown: Int, shape: IntTuple) -> IntTuple: | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 8002 | def optional_bool_to_required(shape: IntTuple, keep: bool | None) -> IntTuple: | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 8266 | def compare_optional_not_equal( | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 8300 | def narrowed_none_literal_comparisons(shape: IntTuple, mode: str | None) -> IntTuple: | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 8646 | def truncated_partial_unknown(shape: IntTuple) -> IntTuple: | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 8693 | def zipped_empty_later_invalid(shape: IntTuple, divisor: int) -> IntTuple: | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 8701 | def zipped_empty_skips_iteration(shape: IntTuple, divisor: int) -> IntTuple: | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 8728 | def zipped_flag_and_fixed_shape(shape: IntTuple) -> IntTuple: | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 8994 | def apply_beyond_budget_error() -> Tensor[beyond_budget_error(IntTuple[2])]: ... | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 9081 | def unknown_filter_guards_error(shape: IntTuple, axis: int) -> IntTuple: | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 9127 | def budget_after_possible_error(shape: IntTuple, axis: int) -> IntTuple: | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 9152 | def broad_nested_guarded_error() -> Tensor[nested_guarded_error(IntTuple[2, 3], int)]: ... | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 9461 | def apply_narrowed_optional_to_required() -> Tensor[narrowed_optional_to_required(IntTuple[2, 3], "keep")]: ... | CODE |
| LOW | pyrefly/lib/test/shape_dsl.rs | 9462 | def apply_narrowed_value_to_optional() -> Tensor[narrowed_value_to_optional(IntTuple[2, 3], "keep")]: ... | CODE |
| 867 more matches not shown… | ||||
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | pyrefly/bin/main.rs | 21 | // fbcode likes to set its own allocator in fbcode.default_allocator | COMMENT |
| LOW | pyrefly/lib/lib.rs | 1 | /* | COMMENT |
| LOW | pyrefly/lib/query.rs | 201 | /// already carries a value-shape property. | COMMENT |
| LOW | pyrefly/lib/test/yields.rs | 181 | "#, | COMMENT |
| LOW | pyrefly/lib/test/contextual.rs | 941 | // *narrowest* one. Previously `get_new_bound`'s absorb logic kept the wider | COMMENT |
| LOW | pyrefly/lib/test/natural.rs | 1 | /* | COMMENT |
| LOW | pyrefly/lib/test/perf.rs | 141 | COMMENT | |
| LOW | pyrefly/lib/test/perf.rs | 241 | // 2. `A <: P1` inserts InProgress(A, P1). Method `foo` return type: `ATD <: TD1`. | COMMENT |
| LOW | pyrefly/lib/test/incremental.rs | 1041 | ); | COMMENT |
| LOW | pyrefly/lib/test/incremental.rs | 1101 | COMMENT | |
| LOW | pyrefly/lib/test/incremental.rs | 1161 | } | COMMENT |
| LOW | pyrefly/lib/test/incremental.rs | 1201 | /// | COMMENT |
| LOW | pyrefly/lib/test/incremental.rs | 2241 | COMMENT | |
| LOW | pyrefly/lib/test/state.rs | 1241 | /// `TypeAliasRef` and the current module's config cannot find the defining module. | COMMENT |
| LOW | pyrefly/lib/test/descriptors.rs | 421 | T = TypeVar("T", bound=SelfCallable) | COMMENT |
| LOW | pyrefly/lib/test/class_subtyping.rs | 241 | r#" | COMMENT |
| LOW | pyrefly/lib/test/attrs/third-party/attr/_compat.py | 81 | # This is needed because there is no other (thread-safe) way to pass info | COMMENT |
| LOW | …refly/lib/test/tsp/tsp_interaction/get_type_queries.rs | 1461 | // `get_type_at` path coerces callees (substitutes the chosen-overload trace | COMMENT |
| LOW | …refly/lib/test/tsp/tsp_interaction/get_type_queries.rs | 1601 | uri, | COMMENT |
| LOW | …refly/lib/test/tsp/tsp_interaction/get_type_queries.rs | 1861 | // | COMMENT |
| LOW | pyrefly/lib/test/lsp/code_actions.rs | 681 | ## Before: | COMMENT |
| LOW | pyrefly/lib/test/lsp/code_actions.rs | 761 | # Title: Insert import: `from _io import BytesIO` | COMMENT |
| LOW | pyrefly/lib/test/lsp/code_actions.rs | 861 | # ^ | COMMENT |
| LOW | pyrefly/lib/test/lsp/code_actions.rs | 981 | ## Before: | COMMENT |
| LOW | pyrefly/lib/test/lsp/code_actions.rs | 1001 | # ^ | COMMENT |
| LOW | pyrefly/lib/test/lsp/code_actions.rs | 1921 | # ^ | COMMENT |
| LOW | pyrefly/lib/test/lsp/document_symbols.rs | 1821 | get_batched_lsp_operations_report_no_cursor(&[("main", code)], get_combined_report); | COMMENT |
| LOW | …ly/lib/test/lsp/lsp_interaction/open_file_benchmark.rs | 1 | /* | COMMENT |
| LOW | pyrefly/lib/test/lsp/lsp_interaction/configuration.rs | 761 | interaction.shutdown().expect("Failed to shutdown"); | COMMENT |
| LOW | …/lib/test/lsp/lsp_interaction/workspace_diagnostics.rs | 161 | return Some(Ok(())); | COMMENT |
| LOW | pyrefly/lib/test/lsp/lsp_interaction/definition.rs | 801 | interaction.shutdown().unwrap(); | COMMENT |
| LOW | …b/test/lsp/lsp_interaction/test_files/syntax_errors.py | 1 | # Copyright (c) Meta Platforms, Inc. and affiliates. | COMMENT |
| LOW | …p/lsp_interaction/test_files/no_config_syntax_error.py | 1 | # @nolint | COMMENT |
| LOW | …/lsp_interaction/test_files/unused_ignore_no_config.py | 1 | # Copyright (c) Meta Platforms, Inc. and affiliates. | COMMENT |
| LOW | …lib/test/lsp/lsp_interaction/test_files/type_errors.py | 1 | # Copyright (c) Meta Platforms, Inc. and affiliates. | COMMENT |
| LOW | …b/test/lsp/lsp_interaction/test_files/text_document.py | 1 | # Copyright (c) Meta Platforms, Inc. and affiliates. | COMMENT |
| LOW | pyrefly/lib/test/lsp/lsp_interaction/test_files/utf.py | 1 | # Copyright (c) Meta Platforms, Inc. and affiliates. | COMMENT |
| LOW | …interaction/test_files/unused_type_ignore_no_config.py | 1 | # Copyright (c) Meta Platforms, Inc. and affiliates. | COMMENT |
| LOW | …es/diagnostics_file_in_excludes/type_errors_exclude.py | 1 | # Copyright (c) Meta Platforms, Inc. and affiliates. | COMMENT |
| LOW | …es/diagnostics_file_in_excludes/type_errors_include.py | 1 | # Copyright (c) Meta Platforms, Inc. and affiliates. | COMMENT |
| LOW | …on/test_files/imports_builtins/site-packages/typing.py | 1 | # Copyright (c) Meta Platforms, Inc. and affiliates. | COMMENT |
| LOW | …_party/lib/python3.12/site-packages/third_party_lib.py | 1 | # Copyright (c) Meta Platforms, Inc. and affiliates. | COMMENT |
| LOW | …n/test_files/safe_delete_file_relative/pkg/__init__.py | 1 | # Copyright (c) Meta Platforms, Inc. and affiliates. | COMMENT |
| LOW | …on/test_files/package_from_import_noop/pkg/__init__.py | 1 | # Copyright (c) Meta Platforms, Inc. and affiliates. | COMMENT |
| LOW | …eraction/test_files/baseline_unused_type_ignore/bad.py | 1 | # Copyright (c) Meta Platforms, Inc. and affiliates. | COMMENT |
| LOW | …eraction/test_files/deep_submodule_chain/a/__init__.py | 1 | # Copyright (c) Meta Platforms, Inc. and affiliates. | COMMENT |
| LOW | …action/test_files/deep_submodule_chain/a/b/__init__.py | 1 | # Copyright (c) Meta Platforms, Inc. and affiliates. | COMMENT |
| LOW | …_interpreter_config/bin/site-packages/custom_module.py | 1 | # Copyright (c) Meta Platforms, Inc. and affiliates. | COMMENT |
| LOW | …iles/filtering_stdlib_errors_with_default/pyrefly.toml | 1 | # Copyright (c) Meta Platforms, Inc. and affiliates. | COMMENT |
| LOW | …_errors_with_default/usr/lib/python3.12/stdlib_file.py | 1 | # Copyright (c) Meta Platforms, Inc. and affiliates. | COMMENT |
| LOW | …sp_interaction/test_files/duplicate_export_test/foo.py | 1 | # Copyright (c) Meta Platforms, Inc. and affiliates. | COMMENT |
| LOW | …p_interaction/test_files/unused_type_ignore/example.py | 1 | # Copyright (c) Meta Platforms, Inc. and affiliates. | COMMENT |
| LOW | …bad_interpreter_bin/bin/site-packages/custom_module.py | 1 | # Copyright (c) Meta Platforms, Inc. and affiliates. | COMMENT |
| LOW | …eraction/test_files/submodule_access/torch/__init__.py | 1 | # Copyright (c) Meta Platforms, Inc. and affiliates. | COMMENT |
| LOW | …p_interaction/test_files/untyped_import_django/test.py | 1 | # Copyright (c) Meta Platforms, Inc. and affiliates. | COMMENT |
| LOW | …untyped_import_django/site_packages/django/__init__.py | 1 | # Copyright (c) Meta Platforms, Inc. and affiliates. | COMMENT |
| LOW | …action/test_files/prefer_pyi_when_missing_in_py/foo.py | 1 | # Copyright (c) Meta Platforms, Inc. and affiliates. | COMMENT |
| LOW | …ction/test_files/autoimport_reexport_test/pyrefly.toml | 1 | # Copyright (c) Meta Platforms, Inc. and affiliates. | COMMENT |
| LOW | …interaction/test_files/autoimport_reexport_test/foo.py | 1 | # Copyright (c) Meta Platforms, Inc. and affiliates. | COMMENT |
| LOW | …est_files/autoimport_reexport_test/example/__init__.py | 1 | # Copyright (c) Meta Platforms, Inc. and affiliates. | COMMENT |
| 482 more matches not shown… | ||||
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| HIGH | …sor-shapes/pyrefly-torch-stubs/test/test_modulelist.py | 0 | transformer block with self-attention and mlp. generic over embedding dim, num heads, and block size. | STRING |
| HIGH | tensor-shapes/pyrefly-torch-stubs/examples/nanogpt.py | 0 | transformer block with self-attention and mlp. generic over embedding dim, num heads, and block size. | STRING |
| HIGH | …stubs/examples/runtime/nanogpt_sym_int_var_runnable.py | 0 | transformer block with self-attention and mlp. generic over embedding dim, num heads, and block size. | STRING |
| HIGH | …h-stubs/examples/runtime/nanogpt_future_annotations.py | 0 | transformer block with self-attention and mlp. generic over embedding dim, num heads, and block size. | STRING |
| HIGH | …xamples/runtime/nanogpt_future_annotations_runnable.py | 0 | transformer block with self-attention and mlp. generic over embedding dim, num heads, and block size. | STRING |
| HIGH | …ly-torch-stubs/examples/runtime/nanogpt_sym_int_var.py | 0 | transformer block with self-attention and mlp. generic over embedding dim, num heads, and block size. | STRING |
| HIGH | …s/pyrefly-torch-stubs/test/test_symbolic_dimensions.py | 0 | identity function with symbolic dimension - preserves shape | STRING |
| HIGH | …ubs/test/negative_tests/test_check_symbolic_binding.py | 0 | identity function with symbolic dimension - preserves shape | STRING |
| HIGH | …s/test/negative_tests/test_typevar_substitution_bug.py | 0 | identity function with symbolic dimension - preserves shape | STRING |
| HIGH | tensor-shapes/pyrefly-torch-stubs/examples/nanogpt.py | 0 | layernorm but with an optional bias. generic over normalized dimension size. | STRING |
| HIGH | …stubs/examples/runtime/nanogpt_sym_int_var_runnable.py | 0 | layernorm but with an optional bias. generic over normalized dimension size. | STRING |
| HIGH | …h-stubs/examples/runtime/nanogpt_future_annotations.py | 0 | layernorm but with an optional bias. generic over normalized dimension size. | STRING |
| HIGH | …xamples/runtime/nanogpt_future_annotations_runnable.py | 0 | layernorm but with an optional bias. generic over normalized dimension size. | STRING |
| HIGH | …ly-torch-stubs/examples/runtime/nanogpt_sym_int_var.py | 0 | layernorm but with an optional bias. generic over normalized dimension size. | STRING |
| HIGH | tensor-shapes/pyrefly-torch-stubs/examples/nanogpt.py | 0 | configuration for gpt model, generic over key dimensions | STRING |
| HIGH | …stubs/examples/runtime/nanogpt_sym_int_var_runnable.py | 0 | configuration for gpt model, generic over key dimensions | STRING |
| HIGH | …h-stubs/examples/runtime/nanogpt_future_annotations.py | 0 | configuration for gpt model, generic over key dimensions | STRING |
| HIGH | …xamples/runtime/nanogpt_future_annotations_runnable.py | 0 | configuration for gpt model, generic over key dimensions | STRING |
| HIGH | …ly-torch-stubs/examples/runtime/nanogpt_sym_int_var.py | 0 | configuration for gpt model, generic over key dimensions | STRING |
| HIGH | tensor-shapes/pyrefly-torch-stubs/examples/nanogpt.py | 0 | multi-head causal self-attention. generic over embedding dim, num heads, and block size. | STRING |
| HIGH | …stubs/examples/runtime/nanogpt_sym_int_var_runnable.py | 0 | multi-head causal self-attention. generic over embedding dim, num heads, and block size. | STRING |
| HIGH | …h-stubs/examples/runtime/nanogpt_future_annotations.py | 0 | multi-head causal self-attention. generic over embedding dim, num heads, and block size. | STRING |
| HIGH | …xamples/runtime/nanogpt_future_annotations_runnable.py | 0 | multi-head causal self-attention. generic over embedding dim, num heads, and block size. | STRING |
| HIGH | …ly-torch-stubs/examples/runtime/nanogpt_sym_int_var.py | 0 | multi-head causal self-attention. generic over embedding dim, num heads, and block size. | STRING |
| HIGH | tensor-shapes/pyrefly-torch-stubs/examples/nanogpt.py | 0 | multi-layer perceptron. generic over embedding dimension. | STRING |
| HIGH | …stubs/examples/runtime/nanogpt_sym_int_var_runnable.py | 0 | multi-layer perceptron. generic over embedding dimension. | STRING |
| HIGH | …h-stubs/examples/runtime/nanogpt_future_annotations.py | 0 | multi-layer perceptron. generic over embedding dimension. | STRING |
| HIGH | …xamples/runtime/nanogpt_future_annotations_runnable.py | 0 | multi-layer perceptron. generic over embedding dimension. | STRING |
| HIGH | …ly-torch-stubs/examples/runtime/nanogpt_sym_int_var.py | 0 | multi-layer perceptron. generic over embedding dimension. | STRING |
| HIGH | tensor-shapes/pyrefly-torch-stubs/examples/nanogpt.py | 0 | typeddict for gptconfig constructor arguments, generic over key dimensions | STRING |
| HIGH | …stubs/examples/runtime/nanogpt_sym_int_var_runnable.py | 0 | typeddict for gptconfig constructor arguments, generic over key dimensions | STRING |
| HIGH | …h-stubs/examples/runtime/nanogpt_future_annotations.py | 0 | typeddict for gptconfig constructor arguments, generic over key dimensions | STRING |
| HIGH | …xamples/runtime/nanogpt_future_annotations_runnable.py | 0 | typeddict for gptconfig constructor arguments, generic over key dimensions | STRING |
| HIGH | …ly-torch-stubs/examples/runtime/nanogpt_sym_int_var.py | 0 | typeddict for gptconfig constructor arguments, generic over key dimensions | STRING |
| HIGH | tensor-shapes/pyrefly-torch-stubs/examples/nanogpt.py | 0 | typeddict defining the structure of gpt transformer modules. generic over key dimensions. | STRING |
| HIGH | …stubs/examples/runtime/nanogpt_sym_int_var_runnable.py | 0 | typeddict defining the structure of gpt transformer modules. generic over key dimensions. | STRING |
| HIGH | …h-stubs/examples/runtime/nanogpt_future_annotations.py | 0 | typeddict defining the structure of gpt transformer modules. generic over key dimensions. | STRING |
| HIGH | …xamples/runtime/nanogpt_future_annotations_runnable.py | 0 | typeddict defining the structure of gpt transformer modules. generic over key dimensions. | STRING |
| HIGH | …ly-torch-stubs/examples/runtime/nanogpt_sym_int_var.py | 0 | typeddict defining the structure of gpt transformer modules. generic over key dimensions. | STRING |
| HIGH | tensor-shapes/pyrefly-torch-stubs/examples/nanogpt.py | 0 | gpt language model. generic over vocabulary size, block size, embedding dim, num heads, and num layers. | STRING |
| HIGH | …stubs/examples/runtime/nanogpt_sym_int_var_runnable.py | 0 | gpt language model. generic over vocabulary size, block size, embedding dim, num heads, and num layers. | STRING |
| HIGH | …h-stubs/examples/runtime/nanogpt_future_annotations.py | 0 | gpt language model. generic over vocabulary size, block size, embedding dim, num heads, and num layers. | STRING |
| HIGH | …xamples/runtime/nanogpt_future_annotations_runnable.py | 0 | gpt language model. generic over vocabulary size, block size, embedding dim, num heads, and num layers. | STRING |
| HIGH | …ly-torch-stubs/examples/runtime/nanogpt_sym_int_var.py | 0 | gpt language model. generic over vocabulary size, block size, embedding dim, num heads, and num layers. | STRING |
| HIGH | tensor-shapes/pyrefly-torch-stubs/examples/nanogpt.py | 0 | return the number of parameters in the model. for non-embedding count (default), the position embeddings get subtracted. | STRING |
| HIGH | …stubs/examples/runtime/nanogpt_sym_int_var_runnable.py | 0 | return the number of parameters in the model. for non-embedding count (default), the position embeddings get subtracted. | STRING |
| HIGH | …h-stubs/examples/runtime/nanogpt_future_annotations.py | 0 | return the number of parameters in the model. for non-embedding count (default), the position embeddings get subtracted. | STRING |
| HIGH | …xamples/runtime/nanogpt_future_annotations_runnable.py | 0 | return the number of parameters in the model. for non-embedding count (default), the position embeddings get subtracted. | STRING |
| HIGH | …ly-torch-stubs/examples/runtime/nanogpt_sym_int_var.py | 0 | return the number of parameters in the model. for non-embedding count (default), the position embeddings get subtracted. | STRING |
| HIGH | tensor-shapes/pyrefly-torch-stubs/examples/nanogpt.py | 0 | estimate model flops utilization (mfu) in units of a100 bfloat16 peak flops | STRING |
| HIGH | …stubs/examples/runtime/nanogpt_sym_int_var_runnable.py | 0 | estimate model flops utilization (mfu) in units of a100 bfloat16 peak flops | STRING |
| HIGH | …h-stubs/examples/runtime/nanogpt_future_annotations.py | 0 | estimate model flops utilization (mfu) in units of a100 bfloat16 peak flops | STRING |
| HIGH | …xamples/runtime/nanogpt_future_annotations_runnable.py | 0 | estimate model flops utilization (mfu) in units of a100 bfloat16 peak flops | STRING |
| HIGH | …ly-torch-stubs/examples/runtime/nanogpt_sym_int_var.py | 0 | estimate model flops utilization (mfu) in units of a100 bfloat16 peak flops | STRING |
| HIGH | tensor-shapes/pyrefly-torch-stubs/examples/nanogpt.py | 0 | take a conditioning sequence of indices idx (longtensor of shape (b,t)) and complete the sequence max_new_tokens times, | STRING |
| HIGH | …stubs/examples/runtime/nanogpt_sym_int_var_runnable.py | 0 | take a conditioning sequence of indices idx (longtensor of shape (b,t)) and complete the sequence max_new_tokens times, | STRING |
| HIGH | …h-stubs/examples/runtime/nanogpt_future_annotations.py | 0 | take a conditioning sequence of indices idx (longtensor of shape (b,t)) and complete the sequence max_new_tokens times, | STRING |
| HIGH | …xamples/runtime/nanogpt_future_annotations_runnable.py | 0 | take a conditioning sequence of indices idx (longtensor of shape (b,t)) and complete the sequence max_new_tokens times, | STRING |
| HIGH | …ly-torch-stubs/examples/runtime/nanogpt_sym_int_var.py | 0 | take a conditioning sequence of indices idx (longtensor of shape (b,t)) and complete the sequence max_new_tokens times, | STRING |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | test.py | 12 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/setters.py | 3 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/validators.py | 3 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/__init__.py | 3 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/__init__.py | 3 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/__init__.py | 3 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/__init__.py | 3 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/__init__.py | 3 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/__init__.py | 3 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/__init__.py | 3 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/__init__.py | 3 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/__init__.py | 3 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/__init__.py | 3 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/__init__.py | 3 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/__init__.py | 3 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/__init__.py | 3 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/__init__.py | 3 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/__init__.py | 3 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/__init__.py | 3 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/__init__.py | 3 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/__init__.py | 3 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/__init__.py | 3 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/__init__.py | 25 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/__init__.py | 26 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/__init__.py | 26 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/__init__.py | 26 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/__init__.py | 28 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/__init__.py | 28 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/__init__.py | 28 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/__init__.py | 28 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/__init__.py | 28 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/exceptions.py | 3 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/converters.py | 3 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attrs/filters.py | 3 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/__init__.py | 10 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/__init__.py | 10 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/__init__.py | 10 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/__init__.py | 10 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/__init__.py | 10 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/__init__.py | 11 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/__init__.py | 12 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/__init__.py | 12 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/__init__.py | 13 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/__init__.py | 13 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/__init__.py | 13 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/__init__.py | 13 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/__init__.py | 13 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/__init__.py | 14 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/__init__.py | 14 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/__init__.py | 14 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/__init__.py | 14 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/__init__.py | 14 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/__init__.py | 14 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/__init__.py | 14 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/__init__.py | 14 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/__init__.py | 28 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/__init__.py | 28 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/__init__.py | 28 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/__init__.py | 28 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/exceptions.py | 3 | CODE | |
| 198 more matches not shown… | ||||
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | pyrefly/lib/test/returns.rs | 162 | except Exception: | CODE |
| LOW | pyrefly/lib/test/paramspec.rs | 461 | except Exception: | CODE |
| LOW | pyrefly/lib/test/scope.rs | 917 | except Exception as e1: | CODE |
| LOW | pyrefly/lib/test/scope.rs | 925 | except Exception as e2: | CODE |
| LOW⚡ | pyrefly/lib/test/scope.rs | 937 | except Exception: | CODE |
| LOW⚡ | pyrefly/lib/test/scope.rs | 947 | except Exception: | CODE |
| LOW | pyrefly/lib/test/scope.rs | 963 | except Exception: | CODE |
| LOW | pyrefly/lib/test/scope.rs | 975 | except Exception: | CODE |
| MEDIUM | pyrefly/lib/test/scope.rs | 914 | def try_except(): | CODE |
| MEDIUM | pyrefly/lib/test/scope.rs | 922 | def try_except_finally(): | CODE |
| MEDIUM | pyrefly/lib/test/scope.rs | 932 | def try_except_twice(): | CODE |
| MEDIUM | pyrefly/lib/test/scope.rs | 942 | def try_except_multiple_finally(): | CODE |
| MEDIUM | pyrefly/lib/test/scope.rs | 958 | def try_except_else(): | CODE |
| MEDIUM | pyrefly/lib/test/scope.rs | 970 | def try_except_else_finally(): | CODE |
| LOW | pyrefly/lib/test/flow_branching.rs | 311 | except Exception as e2: | CODE |
| LOW | pyrefly/lib/test/flow_branching.rs | 2524 | except Exception: | CODE |
| LOW | pyrefly/lib/test/flow_branching.rs | 2541 | except Exception as exc: | CODE |
| LOW | pyrefly/lib/test/flow_branching.rs | 2546 | except Exception: | CODE |
| MEDIUM | pyrefly/lib/test/flow_branching.rs | 1855 | def f() -> int: | CODE |
| LOW | pyrefly/lib/test/attrs/third-party/attr/validators.py | 713 | except Exception: # noqa: BLE001, PERF203, S112 | STRING |
| LOW | pyrefly/lib/test/lsp/folding_ranges.rs | 263 | except Exception: | CODE |
| LOW | pyrefly/lib/test/lsp/folding_ranges.rs | 354 | except Exception: | CODE |
| LOW | pyrefly/lib/test/lsp/semantic_tokens.rs | 1087 | except Exception as e: | CODE |
| LOW | pyrefly/lib/test/lsp/semantic_tokens.rs | 1628 | except Exception as e: | CODE |
| LOW | pyrefly/lib/test/lsp/local_find_refs.rs | 308 | except Exception: | CODE |
| LOW | pyrefly/lib/test/lsp/definition.rs | 512 | except Exception as e: | CODE |
| LOW | …iles/tests_requiring_config/with_synthetic_bindings.py | 10 | except Exception: | CODE |
| LOW | pyrefly/lib/report/glean.rs | 140 | except Exception as ex: | CODE |
| LOW | …ates/tsp_types/protocol_generator/generate_protocol.py | 240 | except Exception as e: | CODE |
| LOW | …ates/tsp_types/protocol_generator/generate_protocol.py | 965 | except Exception as e: | CODE |
| LOW | crates/pyrefly_bundled/update.py | 67 | except Exception as e: | CODE |
| MEDIUM | test/sarif/validate_sarif.py | 45 | print("Error: Required packages not installed.") | CODE |
| MEDIUM | schemas/validate_schemas.py | 30 | print("Error: Required packages not installed.") | CODE |
| LOW | scripts/github_utils.py | 243 | except Exception as e: | CODE |
| LOW | scripts/github_utils.py | 352 | except Exception as e: | CODE |
| LOW | scripts/github_utils.py | 535 | except Exception as e: | CODE |
| LOW | scripts/github_utils.py | 597 | except Exception as e: | CODE |
| MEDIUM | scripts/github_utils.py | 726 | print("Error: Repository must be in format owner/repo", file=sys.stderr) | STRING |
| LOW | scripts/github_utils.py | 771 | except Exception as e: | STRING |
| LOW | scripts/github_utils.py | 915 | except Exception as e: | STRING |
| LOW | scripts/compare_typecheckers.py | 801 | except Exception as e: | CODE |
| LOW | scripts/generate_release_notes.py | 113 | except Exception: | CODE |
| LOW | scripts/generate_release_notes.py | 135 | except Exception as e: | CODE |
| MEDIUM | scripts/generate_release_notes.py | 559 | print(f"Error: Unknown provider '{provider}'.", file=sys.stderr) | CODE |
| MEDIUM | scripts/generate_release_notes.py | 573 | print(f"Error: Template file not found: {template_path}", file=sys.stderr) | CODE |
| MEDIUM | scripts/generate_release_notes.py | 579 | print(f"Error: Prompt file not found: {prompt_path}", file=sys.stderr) | CODE |
| MEDIUM | scripts/generate_release_notes.py | 693 | print("Error: Repository must be in 'owner/repo' format.", file=sys.stderr) | CODE |
| LOW | scripts/generate_release_notes.py | 731 | except Exception as e: | CODE |
| MEDIUM | scripts/sandbox_links.py | 31 | print("Error: lzstring package required. Install with: pip install lzstring") | CODE |
| MEDIUM | scripts/benchmark/typecheck_benchmark.py | 275 | print(f"Error: {install_envs_file} not found") | CODE |
| MEDIUM | scripts/benchmark/typecheck_benchmark.py | 754 | print("Error: No packages found in install_envs.json") | CODE |
| LOW | scripts/benchmark/typecheck_benchmark.py | 387 | except Exception as e: | CODE |
| MEDIUM | scripts/benchmark/lsp_benchmark.py | 963 | print(f"Error: {install_envs_file} not found") | CODE |
| MEDIUM | scripts/benchmark/lsp_benchmark.py | 1257 | print("Error: No packages found in install_envs.json") | CODE |
| MEDIUM | scripts/benchmark/lsp_benchmark.py | 492 | def __exit__(self, exc_type, exc, tb) -> None: | CODE |
| LOW⚡ | scripts/benchmark/lsp_benchmark.py | 564 | except Exception: | CODE |
| LOW⚡ | scripts/benchmark/lsp_benchmark.py | 568 | except Exception: | CODE |
| LOW⚡ | scripts/benchmark/lsp_benchmark.py | 574 | except Exception: | CODE |
| LOW⚡ | scripts/benchmark/lsp_benchmark.py | 579 | except Exception: | CODE |
| LOW⚡ | scripts/benchmark/lsp_benchmark.py | 582 | except Exception: | CODE |
| 32 more matches not shown… | ||||
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| HIGH | pyrefly/lib/test/attrs/third-party/attr/_make.py | 580 | Create a new instance, based on the first positional argument with *changes* applied. .. tip:: On | STRING |
| HIGH | pyrefly/lib/test/attrs/third-party/attr/_make.py | 1886 | Return the tuple of *attrs* attributes for a class. The tuple also allows accessing the fields by their names | STRING |
| HIGH | pyrefly/lib/test/attrs/third-party/attr/_make.py | 1932 | Return an ordered dictionary of *attrs* attributes for a class, whose keys are the attribute names. Args: | STRING |
| HIGH | pyrefly/lib/test/attrs/third-party/attr/_next_gen.py | 652 | Inspect the class and return its effective build parameters. Warning: This feature is currently **expe | STRING |
| HIGH | pyrefly/lib/test/attrs/third-party/attr/_funcs.py | 36 | Return the *attrs* attribute values of *inst* as a dict. Optionally recurse into other *attrs*-decorated class | STRING |
| HIGH | pyrefly/lib/test/attrs/third-party/attr/_funcs.py | 239 | Return the *attrs* attribute values of *inst* as a tuple. Optionally recurse into other *attrs*-decorated clas | STRING |
| HIGH | pyrefly/lib/test/attrs/third-party/attr/_funcs.py | 355 | Check whether *cls* is a class with *attrs* attributes. Args: cls (type): Class to introspect. Ra | STRING |
| HIGH | pyrefly/lib/test/attrs/third-party/attr/_funcs.py | 383 | Copy *inst* and apply *changes*. This is different from `evolve` that applies the changes to the arguments | STRING |
| HIGH | pyrefly/lib/test/attrs/third-party/attr/_funcs.py | 428 | Resolve any strings and forward annotations in type annotations. This is only required if you need concrete ty | STRING |
| HIGH | …refly/lib/test/pydantic/third-party/pydantic/fields.py | 293 | Create a new `FieldInfo` object with the `Field` function. Args: default: The default value for the | STRING |
| HIGH | …refly/lib/test/pydantic/third-party/pydantic/fields.py | 638 | Return a new `FieldInfo` instance from a `dataclasses.Field` instance. Args: dc_field: The `datacla | STRING |
| HIGH | …refly/lib/test/pydantic/third-party/pydantic/fields.py | 1195 | !!! abstract "Usage Documentation" [Fields](../concepts/fields.md) Create a field for objects that can be c | STRING |
| HIGH | …refly/lib/test/pydantic/third-party/pydantic/fields.py | 1487 | !!! abstract "Usage Documentation" [Private Model Attributes](../concepts/models.md#private-model-attributes) | STRING |
| HIGH | …refly/lib/test/pydantic/third-party/pydantic/fields.py | 1664 | !!! abstract "Usage Documentation" [The `computed_field` decorator](../concepts/fields.md#the-computed_field-dec | STRING |
| HIGH | …y/lib/test/pydantic/third-party/pydantic/root_model.py | 87 | Create a new model using the provided root object and update fields set. Args: root: The root objec | STRING |
| HIGH | …/lib/test/pydantic/third-party/pydantic/dataclasses.py | 113 | !!! abstract "Usage Documentation" [`dataclasses`](../concepts/dataclasses.md) A decorator used to create a | STRING |
| HIGH | pyrefly/lib/test/pydantic/third-party/pydantic/main.py | 608 | Compute the class name for parametrizations of generic classes. This method can be overridden to achieve a cust | STRING |
| HIGH | pyrefly/lib/test/pydantic/third-party/pydantic/main.py | 730 | Validate a pydantic model instance. Args: obj: The object to validate. strict: Whether | STRING |
| HIGH | pyrefly/lib/test/pydantic/third-party/pydantic/main.py | 774 | !!! abstract "Usage Documentation" [JSON Parsing](../concepts/json.md#json-parsing) Validate the gi | STRING |
| HIGH | pyrefly/lib/test/pydantic/third-party/pydantic/main.py | 1891 | !!! abstract "Usage Documentation" [Dynamic Model Creation](../concepts/models.md#dynamic-model-creation) D | STRING |
| HIGH | …/third-party/pydantic/_internal/_model_construction.py | 481 | Iterate over the namespace and: * gather private attributes * check for items which look like fields but are not | STRING |
| HIGH | …/third-party/pydantic/_internal/_model_construction.py | 705 | Finish building a model class. This logic must be called after class has been created since validation functions mu | STRING |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | pyrefly/lib/test/lsp/lsp_interaction/notebook_sync.rs | 297 | // Step 1: Delete cell 2 | COMMENT |
| LOW | pyrefly/lib/test/lsp/lsp_interaction/notebook_sync.rs | 317 | // Step 2: Insert cell 2 at position 0 | COMMENT |
| LOW | pyrefly/lib/report/pysa/module_index.rs | 143 | // Step 1: Build short_identifier_to_function_ref and short_identifier_to_setter_ref | COMMENT |
| LOW | pyrefly/lib/report/pysa/module_index.rs | 182 | // Step 2: Build func_def_to_function_ref by iterating all | COMMENT |
| LOW | pyrefly/lib/report/pysa/module_index.rs | 198 | // Step 3: Build class field mappings. | COMMENT |
| LOW | pyrefly/lib/alt/overload.rs | 283 | // Step 1: eliminate overloads that accept an incompatible number of arguments. | COMMENT |
| LOW | pyrefly/lib/alt/overload.rs | 315 | // Step 2: evaluate each overload as a regular (non-overloaded) call. | COMMENT |
| LOW | pyrefly/lib/alt/overload.rs | 330 | // Step 3: argument type expansion. When the mypy-compatibility flag is on, we also | COMMENT |
| LOW | pyrefly/lib/alt/overload.rs | 803 | // Step 4: if any arguments supply an unknown number of args and at least one | COMMENT |
| LOW | pyrefly/lib/alt/overload.rs | 975 | // Step 6: if there are still multiple matches, pick the first one. | COMMENT |
| LOW⚡ | pyrefly/lib/alt/solve.rs | 1646 | // Step 1: Expand non-recursive UntypedAlias(Ref(...)) nodes by | COMMENT |
| LOW⚡ | pyrefly/lib/alt/solve.rs | 1656 | // Step 2: Check for cyclic self-references after expansion. | COMMENT |
| LOW⚡ | pyrefly/lib/alt/solve.rs | 2369 | // Step 1: Compute raw TypeInfo (Vars unpinned) | COMMENT |
| LOW⚡ | pyrefly/lib/alt/solve.rs | 2372 | // Step 2: Check whether the type actually contains partial types that | COMMENT |
| LOW⚡ | pyrefly/lib/alt/solve.rs | 2391 | // Step 3: Store partial answer that the first-use solve will read and potentially pin. | COMMENT |
| LOW⚡ | pyrefly/lib/alt/solve.rs | 2394 | // Step 4: Evaluate the first-use; throw away both the result and errors, this is | COMMENT |
| LOW⚡ | pyrefly/lib/alt/solve.rs | 2404 | // Step 5: Remove the partial answer, we've finished with it, and proceed to | COMMENT |
| LOW | pyrefly/lib/alt/solve.rs | 1669 | // Step 3: Extract type parameters from the (now expanded) body. | COMMENT |
| LOW | …s/skills/add-shape-types-to-torch-model/style_guide.md | 93 | ### Step 1: Identify the degrees of freedom | COMMENT |
| LOW | …s/skills/add-shape-types-to-torch-model/style_guide.md | 116 | ### Step 2: Type the constructor | COMMENT |
| LOW | …s/skills/add-shape-types-to-torch-model/style_guide.md | 130 | ### Step 3: Type the forward signature | COMMENT |
| LOW | …-shapes/skills/add-shape-types-to-torch-model/SKILL.md | 185 | ## Step 1: Inventory parameters | COMMENT |
| LOW | …-shapes/skills/add-shape-types-to-torch-model/SKILL.md | 273 | ## Step 2: Type the constructor | COMMENT |
| LOW | …-shapes/skills/add-shape-types-to-torch-model/SKILL.md | 364 | ## Step 3: Probe the forward | COMMENT |
| LOW | …-shapes/skills/add-shape-types-to-torch-model/SKILL.md | 398 | ## Step 4: Restructure for tracking | COMMENT |
| LOW | …-shapes/skills/add-shape-types-to-torch-model/SKILL.md | 532 | ## Step 5: Write forward and assert_type | COMMENT |
| LOW | …-shapes/skills/add-shape-types-to-torch-model/SKILL.md | 605 | ## Step 6: Post-module checklist | COMMENT |
| LOW⚡ | …s/test/negative_tests/test_typevar_substitution_bug.py | 26 | # Step 1: Create concrete tensor | COMMENT |
| LOW⚡ | …s/test/negative_tests/test_typevar_substitution_bug.py | 30 | # Step 2: Call function | COMMENT |
| LOW⚡ | …s/test/negative_tests/test_typevar_substitution_bug.py | 34 | # Step 3: The concrete shape is preserved, so mismatched first dimensions are rejected. | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 465 | // Step 1: Recursively canonicalize operands | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 469 | // Step 2: Flatten to list of terms | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 474 | // Step 3: Combine like terms by extracting coefficients | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 484 | // Step 4: Rebuild terms, filtering out zero coefficients | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 504 | // Step 5: Sort terms by canonical order | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 507 | // Step 6: Build result | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 599 | // Step 1: Recursively canonicalize operands | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 603 | // Step 2: Flatten to list of factors | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 608 | // Step 3: Check for zero | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 616 | // Step 4: Separate literals from non-literals | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 714 | // Step 6: Sort factors by canonical order | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 717 | // Step 7: Add literal coefficient if not 1 | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 724 | // Step 8: Build result | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 750 | // Step 1: Canonicalize operands | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 754 | // Step 2: Check if numerator is a division - if so, flatten only when the | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 920 | // Step 1: Separate literals from non-literals | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 924 | // Step 2: Apply GCD to literals | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 934 | // Step 3: Find and remove structurally equal non-literal factors | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 947 | // Step 4: Rebuild numerator | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 953 | // Step 5: Rebuild denominator | COMMENT |
| LOW | crates/pyrefly_types/src/dimension.rs | 676 | // Step 5: Distributive law — coeff * (a + b) → coeff*a + coeff*b | COMMENT |
| LOW | crates/pyrefly_types/src/dimension.rs | 765 | // Step 4: Apply simplifications | COMMENT |
| LOW⚡ | …dbox-examples/tensor-shapes-tutorial-basics/sandbox.py | 17 | # Step 1: Use Int to capture dimensions at construction | COMMENT |
| LOW⚡ | …dbox-examples/tensor-shapes-tutorial-basics/sandbox.py | 23 | # Step 2: Method-level type param B for batch size | COMMENT |
| LOW⚡ | …dbox-examples/tensor-shapes-tutorial-basics/sandbox.py | 30 | # Step 3: Verify shapes with concrete dimensions | COMMENT |
| LOW | scripts/primer_classifier/formatter.py | 81 | # Step 1: linkify full source file paths | COMMENT |
| LOW | scripts/primer_classifier/formatter.py | 93 | # Step 2: linkify internal function names (must contain underscore) | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | pyrefly/lib/test/lsp/lsp_interaction/notebook_sync.rs | 297 | // Step 1: Delete cell 2 | COMMENT |
| LOW | pyrefly/lib/test/lsp/lsp_interaction/notebook_sync.rs | 317 | // Step 2: Insert cell 2 at position 0 | COMMENT |
| LOW | pyrefly/lib/report/pysa/module_index.rs | 143 | // Step 1: Build short_identifier_to_function_ref and short_identifier_to_setter_ref | COMMENT |
| LOW | pyrefly/lib/report/pysa/module_index.rs | 182 | // Step 2: Build func_def_to_function_ref by iterating all | COMMENT |
| LOW | pyrefly/lib/report/pysa/module_index.rs | 198 | // Step 3: Build class field mappings. | COMMENT |
| LOW | pyrefly/lib/alt/attr.rs | 2221 | // `module_name` could refer to a package, in which case we need to check if | COMMENT |
| LOW | pyrefly/lib/alt/overload.rs | 283 | // Step 1: eliminate overloads that accept an incompatible number of arguments. | COMMENT |
| LOW | pyrefly/lib/alt/overload.rs | 315 | // Step 2: evaluate each overload as a regular (non-overloaded) call. | COMMENT |
| LOW | pyrefly/lib/alt/overload.rs | 330 | // Step 3: argument type expansion. When the mypy-compatibility flag is on, we also | COMMENT |
| LOW | pyrefly/lib/alt/overload.rs | 803 | // Step 4: if any arguments supply an unknown number of args and at least one | COMMENT |
| LOW | pyrefly/lib/alt/overload.rs | 975 | // Step 6: if there are still multiple matches, pick the first one. | COMMENT |
| LOW⚡ | pyrefly/lib/alt/solve.rs | 1646 | // Step 1: Expand non-recursive UntypedAlias(Ref(...)) nodes by | COMMENT |
| LOW⚡ | pyrefly/lib/alt/solve.rs | 1656 | // Step 2: Check for cyclic self-references after expansion. | COMMENT |
| LOW⚡ | pyrefly/lib/alt/solve.rs | 2369 | // Step 1: Compute raw TypeInfo (Vars unpinned) | COMMENT |
| LOW⚡ | pyrefly/lib/alt/solve.rs | 2372 | // Step 2: Check whether the type actually contains partial types that | COMMENT |
| LOW⚡ | pyrefly/lib/alt/solve.rs | 2391 | // Step 3: Store partial answer that the first-use solve will read and potentially pin. | COMMENT |
| LOW⚡ | pyrefly/lib/alt/solve.rs | 2394 | // Step 4: Evaluate the first-use; throw away both the result and errors, this is | COMMENT |
| LOW⚡ | pyrefly/lib/alt/solve.rs | 2404 | // Step 5: Remove the partial answer, we've finished with it, and proceed to | COMMENT |
| LOW | pyrefly/lib/alt/solve.rs | 1669 | // Step 3: Extract type parameters from the (now expanded) body. | COMMENT |
| LOW | pyrefly/lib/alt/special_calls.rs | 521 | // We need to check if there is any field with unassignable types, since the `isinstance` check | COMMENT |
| LOW⚡ | …s/test/negative_tests/test_typevar_substitution_bug.py | 26 | # Step 1: Create concrete tensor | COMMENT |
| LOW⚡ | …s/test/negative_tests/test_typevar_substitution_bug.py | 30 | # Step 2: Call function | COMMENT |
| LOW⚡ | …s/test/negative_tests/test_typevar_substitution_bug.py | 34 | # Step 3: The concrete shape is preserved, so mismatched first dimensions are rejected. | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 465 | // Step 1: Recursively canonicalize operands | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 469 | // Step 2: Flatten to list of terms | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 474 | // Step 3: Combine like terms by extracting coefficients | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 484 | // Step 4: Rebuild terms, filtering out zero coefficients | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 504 | // Step 5: Sort terms by canonical order | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 507 | // Step 6: Build result | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 599 | // Step 1: Recursively canonicalize operands | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 603 | // Step 2: Flatten to list of factors | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 608 | // Step 3: Check for zero | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 616 | // Step 4: Separate literals from non-literals | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 714 | // Step 6: Sort factors by canonical order | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 717 | // Step 7: Add literal coefficient if not 1 | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 724 | // Step 8: Build result | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 750 | // Step 1: Canonicalize operands | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 754 | // Step 2: Check if numerator is a division - if so, flatten only when the | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 920 | // Step 1: Separate literals from non-literals | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 924 | // Step 2: Apply GCD to literals | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 934 | // Step 3: Find and remove structurally equal non-literal factors | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 947 | // Step 4: Rebuild numerator | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 953 | // Step 5: Rebuild denominator | COMMENT |
| LOW | crates/pyrefly_types/src/dimension.rs | 676 | // Step 5: Distributive law — coeff * (a + b) → coeff*a + coeff*b | COMMENT |
| LOW | crates/pyrefly_types/src/dimension.rs | 765 | // Step 4: Apply simplifications | COMMENT |
| LOW⚡ | …dbox-examples/tensor-shapes-tutorial-basics/sandbox.py | 17 | # Step 1: Use Int to capture dimensions at construction | COMMENT |
| LOW⚡ | …dbox-examples/tensor-shapes-tutorial-basics/sandbox.py | 23 | # Step 2: Method-level type param B for batch size | COMMENT |
| LOW⚡ | …dbox-examples/tensor-shapes-tutorial-basics/sandbox.py | 30 | # Step 3: Verify shapes with concrete dimensions | COMMENT |
| LOW | scripts/primer_classifier/formatter.py | 81 | # Step 1: linkify full source file paths | COMMENT |
| LOW | scripts/primer_classifier/formatter.py | 93 | # Step 2: linkify internal function names (must contain underscore) | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | pyrefly/lib/test/attrs/third-party/attr/_make.py | 379 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/_make.py | 1319 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/_make.py | 2143 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/_make.py | 666 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/_make.py | 813 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/_make.py | 849 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/_make.py | 1435 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/_funcs.py | 28 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/_funcs.py | 154 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/_funcs.py | 232 | CODE | |
| LOW | …refly/lib/test/pydantic/third-party/pydantic/fields.py | 485 | CODE | |
| LOW | …refly/lib/test/pydantic/third-party/pydantic/fields.py | 569 | CODE | |
| LOW | …refly/lib/test/pydantic/third-party/pydantic/fields.py | 733 | CODE | |
| LOW | …refly/lib/test/pydantic/third-party/pydantic/fields.py | 838 | CODE | |
| LOW | pyrefly/lib/test/pydantic/third-party/pydantic/types.py | 1017 | CODE | |
| LOW | pyrefly/lib/test/pydantic/third-party/pydantic/main.py | 335 | CODE | |
| LOW | pyrefly/lib/test/pydantic/third-party/pydantic/main.py | 424 | CODE | |
| LOW | pyrefly/lib/test/pydantic/third-party/pydantic/main.py | 1514 | CODE | |
| LOW | pyrefly/lib/test/pydantic/third-party/pydantic/main.py | 1134 | CODE | |
| LOW | …/third-party/pydantic/_internal/_model_construction.py | 474 | CODE | |
| LOW | …/third-party/pydantic/_internal/_model_construction.py | 108 | CODE | |
| LOW | …refly-shape-extensions/shape_extensions/torchscript.py | 47 | CODE | |
| LOW | …refly-shape-extensions/shape_extensions/torchscript.py | 69 | CODE | |
| LOW | …refly-shape-extensions/shape_extensions/torchscript.py | 87 | CODE | |
| LOW | …ates/tsp_types/protocol_generator/generate_protocol.py | 62 | CODE | |
| LOW | …ates/tsp_types/protocol_generator/generate_protocol.py | 299 | CODE | |
| LOW | …ates/tsp_types/protocol_generator/generate_protocol.py | 403 | CODE | |
| LOW | …ates/tsp_types/protocol_generator/generate_protocol.py | 547 | CODE | |
| LOW | …ates/tsp_types/protocol_generator/generate_protocol.py | 726 | CODE | |
| LOW | scripts/github_utils.py | 88 | CODE | |
| LOW | scripts/github_utils.py | 557 | CODE | |
| LOW | scripts/github_utils.py | 779 | CODE | |
| LOW | scripts/github_utils.py | 357 | CODE | |
| LOW | scripts/compare_typecheckers.py | 213 | CODE | |
| LOW | scripts/compare_typecheckers.py | 494 | CODE | |
| LOW | scripts/generate_release_notes.py | 366 | CODE | |
| LOW | scripts/llm_transport.py | 220 | CODE | |
| LOW | scripts/benchmark/typecheck_benchmark.py | 303 | CODE | |
| LOW | scripts/benchmark/typecheck_benchmark.py | 526 | CODE | |
| LOW | scripts/benchmark/typecheck_benchmark.py | 837 | CODE | |
| LOW | scripts/benchmark/lsp_benchmark.py | 190 | CODE | |
| LOW | scripts/benchmark/lsp_benchmark.py | 385 | CODE | |
| LOW | scripts/benchmark/lsp_benchmark.py | 1025 | CODE | |
| LOW | scripts/benchmark/lsp_benchmark.py | 1056 | CODE | |
| LOW | scripts/benchmark/lsp_benchmark.py | 1406 | CODE | |
| LOW | scripts/benchmark/lsp_benchmark.py | 524 | CODE | |
| LOW | scripts/benchmark/lsp_benchmark.py | 702 | CODE | |
| LOW | scripts/issue_ranker/report_formatter.py | 14 | CODE | |
| LOW | scripts/issue_ranker/issue_checker.py | 77 | CODE | |
| LOW | scripts/issue_ranker/__main__.py | 127 | CODE | |
| LOW | scripts/issue_ranker/__main__.py | 303 | CODE | |
| LOW | scripts/issue_ranker/passes/primer_impact.py | 171 | CODE | |
| LOW | scripts/issue_ranker/passes/rank.py | 134 | CODE | |
| LOW | scripts/issue_ranker/passes/rank.py | 305 | CODE | |
| LOW | scripts/primer_classifier/cross_checker.py | 314 | CODE | |
| LOW | scripts/primer_classifier/formatter.py | 189 | CODE | |
| LOW | scripts/primer_classifier/formatter.py | 246 | CODE | |
| LOW | scripts/primer_classifier/classifier.py | 199 | CODE | |
| LOW | scripts/primer_classifier/classifier.py | 812 | CODE | |
| LOW | scripts/primer_classifier/parser.py | 161 | CODE | |
| 9 more matches not shown… | ||||
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW⚡ | pyrefly/lib/test/literal.rs | 513 | Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliq | CODE |
| LOW⚡ | pyrefly/lib/test/literal.rs | 513 | Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliq | CODE |
| LOW⚡ | pyrefly/lib/test/literal.rs | 514 | Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliq | CODE |
| LOW⚡ | pyrefly/lib/test/literal.rs | 514 | Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliq | CODE |
| LOW⚡ | pyrefly/lib/test/literal.rs | 515 | Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliq | CODE |
| LOW⚡ | pyrefly/lib/test/literal.rs | 515 | Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliq | CODE |
| LOW⚡ | pyrefly/lib/test/literal.rs | 516 | Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliq | CODE |
| LOW⚡ | pyrefly/lib/test/literal.rs | 516 | Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliq | CODE |
| LOW⚡ | pyrefly/lib/test/literal.rs | 517 | Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliq | CODE |
| LOW⚡ | pyrefly/lib/test/literal.rs | 517 | Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliq | CODE |
| LOW⚡ | pyrefly/lib/test/literal.rs | 518 | Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliq | CODE |
| LOW⚡ | pyrefly/lib/test/literal.rs | 518 | Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliq | CODE |
| LOW⚡ | pyrefly/lib/test/literal.rs | 519 | Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliq | CODE |
| LOW⚡ | pyrefly/lib/test/literal.rs | 519 | Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliq | CODE |
| LOW⚡ | pyrefly/lib/test/literal.rs | 520 | Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliq | CODE |
| LOW⚡ | pyrefly/lib/test/literal.rs | 520 | Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliq | CODE |
| LOW⚡ | pyrefly/lib/test/literal.rs | 521 | Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliq | CODE |
| LOW⚡ | pyrefly/lib/test/literal.rs | 521 | Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliq | CODE |
| LOW⚡ | pyrefly/lib/test/literal.rs | 522 | Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliq | CODE |
| LOW⚡ | pyrefly/lib/test/literal.rs | 522 | Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliq | CODE |
| LOW⚡ | pyrefly/lib/test/literal.rs | 523 | Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliq | CODE |
| LOW⚡ | pyrefly/lib/test/literal.rs | 523 | Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliq | CODE |
| LOW⚡ | pyrefly/lib/test/literal.rs | 524 | Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliq | CODE |
| LOW⚡ | pyrefly/lib/test/literal.rs | 524 | Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliq | CODE |
| LOW⚡ | pyrefly/lib/test/literal.rs | 525 | Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliq | CODE |
| LOW⚡ | pyrefly/lib/test/literal.rs | 525 | Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliq | CODE |
| LOW⚡ | pyrefly/lib/test/literal.rs | 526 | Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliq | CODE |
| LOW⚡ | pyrefly/lib/test/literal.rs | 526 | Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliq | CODE |
| LOW⚡ | pyrefly/lib/test/literal.rs | 527 | Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliq | CODE |
| LOW⚡ | pyrefly/lib/test/literal.rs | 527 | Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliq | CODE |
| LOW | …refly/lib/test/pydantic/third-party/pydantic/config.py | 78 | user = User(name='John Doe', age=20) # (2)! | STRING |
| LOW | …refly/lib/test/pydantic/third-party/pydantic/config.py | 80 | #> name='John Doe' | STRING |
| LOW | …refly/lib/test/pydantic/third-party/pydantic/config.py | 260 | user = User(name='John Doe') # (1)! | STRING |
| LOW | …refly/lib/test/pydantic/third-party/pydantic/config.py | 262 | #> name='John Doe' | STRING |
| LOW | …refly/lib/test/pydantic/third-party/pydantic/config.py | 279 | user = User(name='John Doe') # (2)! | STRING |
| LOW | …refly/lib/test/pydantic/third-party/pydantic/config.py | 281 | #> name='John Doe' | STRING |
| LOW | crates/pyrefly_types/src/types.rs | 1561 | /// Collect "placeholder" vars - vars that are placeholders for a not-yet-solved type, like | COMMENT |
| LOW | scripts/primer_classifier/test_cross_checker.py | 168 | mock_backend.return_value = ("anthropic", "fake-key") | CODE |
| LOW | scripts/primer_classifier/test_cross_checker.py | 193 | mock_backend.return_value = ("anthropic", "fake-key") | CODE |
| LOW | scripts/primer_classifier/test_cross_checker.py | 209 | mock_backend.return_value = ("anthropic", "fake-key") | CODE |
| LOW | scripts/primer_classifier/test_cross_checker.py | 234 | mock_backend.return_value = ("anthropic", "fake-key") | CODE |
| LOW | scripts/primer_classifier/test_cross_checker.py | 259 | mock_backend.return_value = ("anthropic", "fake-key") | CODE |
| LOW | scripts/primer_classifier/test_cross_checker.py | 271 | mock_backend.return_value = ("anthropic", "fake-key") | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | pyrefly/lib/test/attrs/third-party/attr/_make.py | 106 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/_make.py | 1319 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/_make.py | 2483 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/_next_gen.py | 23 | CODE | |
| LOW | pyrefly/lib/test/attrs/third-party/attr/_next_gen.py | 437 | CODE | |
| LOW | …p_interaction/test_files/call_hierarchy_test/caller.py | 15 | CODE | |
| LOW | …refly/lib/test/pydantic/third-party/pydantic/fields.py | 922 | CODE | |
| LOW | …refly/lib/test/pydantic/third-party/pydantic/fields.py | 961 | CODE | |
| LOW | …refly/lib/test/pydantic/third-party/pydantic/fields.py | 1000 | CODE | |
| LOW | …refly/lib/test/pydantic/third-party/pydantic/fields.py | 1039 | CODE | |
| LOW | …refly/lib/test/pydantic/third-party/pydantic/fields.py | 1078 | CODE | |
| LOW | …refly/lib/test/pydantic/third-party/pydantic/fields.py | 1117 | CODE | |
| LOW | …refly/lib/test/pydantic/third-party/pydantic/fields.py | 1154 | CODE | |
| LOW | …refly/lib/test/pydantic/third-party/pydantic/fields.py | 1634 | CODE | |
| LOW | …refly/lib/test/pydantic/third-party/pydantic/fields.py | 1649 | CODE | |
| LOW | pyrefly/lib/test/pydantic/third-party/pydantic/types.py | 1041 | CODE | |
| LOW | …y/lib/test/pydantic/third-party/pydantic/root_model.py | 137 | CODE | |
| LOW | …/lib/test/pydantic/third-party/pydantic/dataclasses.py | 99 | CODE | |
| LOW | …/lib/test/pydantic/third-party/pydantic/dataclasses.py | 33 | CODE | |
| LOW | …/lib/test/pydantic/third-party/pydantic/dataclasses.py | 50 | CODE | |
| LOW | …/lib/test/pydantic/third-party/pydantic/dataclasses.py | 69 | CODE | |
| LOW | …/lib/test/pydantic/third-party/pydantic/dataclasses.py | 84 | CODE | |
| LOW | pyrefly/lib/test/pydantic/third-party/pydantic/main.py | 460 | CODE | |
| LOW | pyrefly/lib/test/pydantic/third-party/pydantic/main.py | 518 | CODE | |
| LOW | pyrefly/lib/test/pydantic/third-party/pydantic/main.py | 1458 | CODE | |
| LOW | …s/pyrefly-torch-stubs/test/test_symbolic_dimensions.py | 222 | CODE | |
| LOW | …shapes/pyrefly-torch-stubs/test/test_recursive_skip.py | 957 | CODE | |
| LOW | …sor-shapes/pyrefly-torch-stubs/examples/super_slomo.py | 224 | CODE | |
| LOW | tensor-shapes/pyrefly-torch-stubs/examples/densenet.py | 82 | CODE | |
| LOW | tensor-shapes/pyrefly-torch-stubs/examples/stargan.py | 148 | CODE | |
| LOW | tensor-shapes/pyrefly-torch-stubs/examples/resnet.py | 54 | CODE | |
| LOW | tensor-shapes/pyrefly-torch-stubs/examples/resnet.py | 86 | CODE | |
| LOW | tensor-shapes/pyrefly-torch-stubs/examples/apg.py | 199 | CODE | |
| LOW | tensor-shapes/pyrefly-torch-stubs/examples/apg.py | 293 | CODE | |
| LOW | tensor-shapes/pyrefly-torch-stubs/examples/gptfast.py | 585 | CODE | |
| LOW | …stubs/examples/runtime/gptfast_sym_int_var_runnable.py | 535 | CODE | |
| LOW | …ly-torch-stubs/examples/runtime/gptfast_sym_int_var.py | 592 | CODE | |
| LOW | …xamples/runtime/gptfast_future_annotations_runnable.py | 548 | CODE | |
| LOW | …h-stubs/examples/runtime/gptfast_future_annotations.py | 590 | CODE | |
| LOW | scripts/benchmark/typecheck_benchmark.py | 718 | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| MEDIUM | pyrefly/lib/test/attrs/attributes.rs | 289 | // Checked via construction (not the inferred param type) to stay robust to the separate | COMMENT |
| LOW | pyrefly/lib/test/pydantic/third-party/pydantic/types.py | 1745 | # hence we just use `secret_display` | COMMENT |
| LOW | pyrefly/lib/test/pydantic/third-party/pydantic/main.py | 1288 | # early if there are no keys to ignore (we would just return False later on anyway) | COMMENT |
| MEDIUM | pyrefly/lib/solver/subset.rs | 2875 | // Pyrefly incremental more robust. | COMMENT |
| MEDIUM | pyrefly/lib/state/lsp.rs | 494 | /// downstream logic can utilize the info. | COMMENT |
| MEDIUM | pyrefly/lib/alt/answers_solver.rs | 1562 | /// (cycle_start), making it a robust anchor. | COMMENT |
| MEDIUM | pyrefly/lib/alt/answers_solver.rs | 1610 | // (cycle_start), making it a more robust anchor. | COMMENT |
| MEDIUM | pyrefly/lib/alt/class/dataclass.rs | 524 | // left to the stub, avoiding false positives and staying robust to new `Type` variants. | COMMENT |
| LOW⚡ | …pes/pyrefly-torch-stubs/examples/speech_transformer.py | 365 | # so we skip adding it and just pass through. The original adds it to src_seq. | COMMENT |
| MEDIUM | crates/pyrefly_lsp_test/src/object_model.rs | 1337 | #[expect(clippy::new_without_default, reason = "test harness constructor")] | COMMENT |
| MEDIUM | crates/pyrefly_lsp_test/src/object_model.rs | 1407 | #[expect(clippy::new_without_default, reason = "test harness constructor")] | COMMENT |
| MEDIUM | conformance/third_party/generics_variance.py | 10 | # > To facilitate the declaration of container types where covariant or | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| MEDIUM | …test/lsp/lsp_interaction/test_files/error_docs_test.py | 7 | # This file contains various error types to test that documentation links are properly included | COMMENT |
| MEDIUM | pyrefly/lib/test/pydantic/third-party/pydantic/types.py | 984 | # Create an instance | STRING |
| MEDIUM | …y/lib/test/pydantic/third-party/pydantic/root_model.py | 152 | """This method is included just to get a more accurate return type for type checkers. | STRING |
| MEDIUM | …/third-party/pydantic/_internal/_model_construction.py | 443 | """This function is meant to behave like a BaseModel method to initialise private attributes. | STRING |
| MEDIUM | …fly-torch-stubs/test/test_general_unpacked_matching.py | 42 | # Create a tensor with more complex unpacked shape | COMMENT |
| MEDIUM | …fly-torch-stubs/test/test_general_unpacked_matching.py | 64 | # Create a tensor with more complex unpacked shape | COMMENT |
| MEDIUM | tensor-shapes/pyrefly-torch-stubs/examples/dlrm.py | 372 | # Create a standard EmbeddingBag and prepare for quantization | COMMENT |
| MEDIUM | …ates/tsp_types/protocol_generator/generate_protocol.py | 508 | # Create an alias for the result type that matches the response name | COMMENT |
| MEDIUM | schemas/test-pyrefly.toml | 2 | # This file contains examples of all configuration options | COMMENT |
| MEDIUM | scripts/benchmark/lsp_benchmark.py | 847 | # Create a small probe file | COMMENT |
| MEDIUM | scripts/primer_classifier/test_classifier.py | 916 | # Create a source context large enough that the diff budget matters. | COMMENT |
| MEDIUM | .github/workflows/create_release.yml | 7 | # Creating the release will in turn trigger release_binaries.yml | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | pyrefly/lib/test/attrs/third-party/attrs/__init__.py | 31 | __all__ = [ | CODE |
| LOW | pyrefly/lib/test/attrs/third-party/attr/validators.py | 19 | __all__ = [ | CODE |
| LOW | pyrefly/lib/test/attrs/third-party/attr/__init__.py | 43 | __all__ = [ | CODE |
| LOW | pyrefly/lib/test/attrs/third-party/attr/converters.py | 13 | __all__ = [ | CODE |
| LOW | pyrefly/lib/test/attrs/third-party/attr/_config.py | 3 | __all__ = ["get_run_validators", "set_run_validators"] | CODE |
| LOW | …ction/test_files/prefer_pyi_when_missing_in_py/main.py | 8 | __all__ = ["bar"] | CODE |
| LOW | …p_interaction/test_files/unused_import_all/__init__.py | 8 | __all__ = ["Foo", "Baz"] | CODE |
| LOW | …rt_outside_search_path/site_packages/mypkg/__init__.py | 3 | __all__ = ["MyClass"] | CODE |
| LOW | …ng_config/workspace_symbol_prefer_non_init/__init__.py | 8 | __all__ = ["workspace_symbol_prefers_non_init_over_init_reexport"] | CODE |
| LOW | …equiring_config/workspace_symbol_multibyte/__init__.py | 12 | __all__ = ["workspace_symbol_multibyte_repro"] | CODE |
| LOW | …action/test_files/dunder_all_submodule/pkg/__init__.py | 6 | __all__ = ["sub"] | CODE |
| LOW | …est/pydantic/third-party/pydantic_settings/__init__.py | 7 | __all__ = ["BaseSettings"] | CODE |
| LOW | …refly/lib/test/pydantic/third-party/pydantic/fields.py | 1564 | def _update_from_config(self, config_wrapper: ConfigWrapper, name: str) -> None: | CODE |
| LOW | pyrefly/lib/test/pydantic/third-party/pydantic/main.py | 1777 | def update_forward_refs(cls, **localns: Any) -> None: # noqa: D102 | CODE |
| LOW | …/third-party/pydantic/_internal/_model_construction.py | 627 | def set_default_hash_func(cls: type[BaseModel], bases: tuple[type[Any], ...]) -> None: | CODE |
| LOW | …/third-party/pydantic/_internal/_model_construction.py | 818 | def set_deprecated_descriptors(cls: type[BaseModel]) -> None: | CODE |
| LOW | pyrefly/lib/test/stubgen/dunder_all/input.py | 8 | __all__ = ["public_func", "PublicClass", "PUBLIC_VAR", "Vector"] | CODE |
| LOW | pyrefly/lib/test/stubgen/dunder_all_reexport/input.py | 8 | __all__ = ["op"] | CODE |
| LOW | …/pyrefly-shape-extensions/shape_extensions/__init__.py | 18 | __all__ = [ | CODE |
| LOW | …refly-shape-extensions/shape_extensions/torchscript.py | 33 | __all__ = [*_shape_extensions_all, "remove_shape_types_from_torch_sources"] | CODE |
| LOW | tensor-shapes/pyrefly-torch-stubs/examples/bert.py | 282 | def set_mask(self, mask: Tensor) -> None: | CODE |
| LOW | conformance/conformance_output.py | 48 | def update_file(file_path: str, content: str) -> None: | CODE |
| LOW | conformance/third_party/typeddicts_readonly_update.py | 33 | def update_a(a: A, b: B) -> None: | CODE |
| LOW | conformance/third_party/generics_variance_inference.py | 145 | def set_value(self, value: T) -> None: | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| HIGH | scripts/issue_ranker/llm_tests/run_tests.py | 12 | cd scripts && python3 -m issue_ranker.llm_tests.run_tests | STRING |
| HIGH | scripts/issue_ranker/passes/primer_impact.py | 98 | '{"match": null} if no match.' | CODE |
| HIGH | conformance/third_party/directives_version_platform.py | 66 | this_raises = val10 # E?: `val10` is undefined, but support for `os.name` is optional | CODE |
| HIGH | conformance/third_party/directives_version_platform.py | 75 | this_raises = val13 # E?: `val13` is undefined, but support for `os.name` is optional | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| MEDIUM | release_notes/release-notes-v1.0.0.md | 103 | - **Pyrefly \+ AI agents** — Pyrefly's speed makes it a natural verification step in agentic workflows. See our guide on | CODE |
| MEDIUM | website/blog/2026-05-12-v1.0.md | 143 | We have already published a guide on [adding Pyrefly to your agentic loop](https://pyrefly.org/blog/pyrefly-agentic-loop | CODE |
| MEDIUM⚡ | scripts/benchmark/typecheck_benchmark.py | 714 | # Main benchmark orchestration | COMMENT |
| MEDIUM⚡ | scripts/benchmark/lsp_benchmark.py | 951 | # Multi-package orchestration helpers | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | pyrefly/lib/test/attrs/third-party/attr/_make.py | 698 | # Check if the pre init method has more arguments than just `self` | COMMENT |
| LOW | …s/skills/add-shape-types-to-torch-model/verify_port.sh | 97 | # Check if the line has a comment explaining the root cause | COMMENT |
| LOW | …ates/tsp_types/protocol_generator/generate_protocol.py | 51 | # Check if it's a version string like "0.1.0" | COMMENT |
| LOW | website/scripts/audit_and_fix_vulnerabilities.sh | 20 | # Check if there are vulnerabilities | COMMENT |
| LOW | scripts/github_utils.py | 54 | # Check if username ends with [bot] | COMMENT |
| LOW | scripts/benchmark/lsp_benchmark.py | 1465 | # Open the file on each server | COMMENT |
| LOW | scripts/issue_ranker/passes/score.py | 118 | # Check if this issue is in any duplicate cluster | COMMENT |
| LOW | scripts/primer_classifier/llm_client.py | 328 | # Check if the LLM is requesting additional files | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| CRITICAL | pyrefly/lib/state/state.rs | 3180 | if self.transaction.data.state.run_count.load(Ordering::SeqCst) <= 1 { | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | pyrefly/lib/test/generic_restrictions.rs | 2652 | # The below is a real error that we need to make sure to catch. | COMMENT |
| LOW | pyrefly/lib/test/flow_branching.rs | 223 | // Regression test to ensure we don't forget to create loop recursion | COMMENT |
| MEDIUM | pyrefly/lib/test/attrs/third-party/attr/_funcs.py | 496 | # Return the class so you can use it as a decorator too. | COMMENT |
| MEDIUM | conformance/third_party/generics_type_erasure.py | 25 | # > you can use an annotation to force the type of the variable, e.g.: | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| HIGH | pyrefly/lib/alt/call.rs | 2526 | // log a name-not-found error, but we also assert/reveal the type as requested. | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | …lsp_interaction/test_files/code_lens/main_and_tests.py | 9 | def helper(): | CODE |
| LOW | …action/test_files/prefixed_with_underscore/_private.py | 7 | def my_function(): | CODE |
| LOW | …p_interaction/test_files/call_hierarchy_test/callee.py | 7 | def my_function(): | CODE |
| LOW | …components/landing-page/PerformanceComparisonChart.tsx | 128 | function getData(project: ProjectValue): TypeCheckerData[] { | CODE |
| LOW | conformance/third_party/literals_parameterizations.py | 56 | def my_function(x: Literal[1 + 2]) -> int: # E | CODE |
| LOW | conformance/third_party/literals_literalstring.py | 23 | def my_function(literal_string: LiteralString) -> LiteralString: | CODE |
| LOW | conformance/third_party/generics_scoping.py | 67 | def do_something(self, x: S) -> S: # OK | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| MEDIUM | conformance/third_party/annotations_generators.py | 140 | CODE | |
| MEDIUM | conformance/third_party/annotations_generators.py | 145 | CODE | |
| MEDIUM | conformance/third_party/annotations_generators.py | 190 | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| HIGH | website/src/sandbox/generateSandboxUrl.ts | 33 | 'def function(value: object | None = None) -> object:\n if value is None:\n return None\n e | CODE |