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,779 GitHub stars. SynthScan v2.0 examined 549,531 lines of code across 1664 source files, recording 2605 pattern matches distributed across 23 syntactic categories. The overall adjusted score of 8.1 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 2605 distinct pattern matches across 23 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 | 2643 | // ── 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 | 164 | # ============================================================================ | COMMENT |
| MEDIUM⚡ | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 166 | # ============================================================================ | COMMENT |
| MEDIUM⚡ | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 197 | # ============================================================================ | COMMENT |
| MEDIUM⚡ | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 199 | # ============================================================================ | 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 | 131 | # ============================================================================ | COMMENT |
| MEDIUM | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 133 | # ============================================================================ | COMMENT |
| MEDIUM | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 232 | # ============================================================================ | COMMENT |
| MEDIUM | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 234 | # ============================================================================ | COMMENT |
| MEDIUM | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 264 | # ============================================================================ | COMMENT |
| MEDIUM | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 266 | # ============================================================================ | COMMENT |
| MEDIUM | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 294 | # ============================================================================ | COMMENT |
| MEDIUM | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 296 | # ============================================================================ | COMMENT |
| MEDIUM | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 325 | # ============================================================================ | COMMENT |
| MEDIUM | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 327 | # ============================================================================ | COMMENT |
| MEDIUM | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 357 | # ============================================================================ | COMMENT |
| MEDIUM | …sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py | 359 | # ============================================================================ | 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 | 1959 | def check_nontrivial_shape_syntax( | CODE |
| LOW | pyrefly/lib/test/paramspec.rs | 110 | def changes_return_type_to_str(x: Callable[P, int]) -> Callable[P, str]: ... | CODE |
| LOW | pyrefly/lib/test/narrow.rs | 745 | def test_any_union_multiple_targets_consumed(x: int | Any) -> None: | CODE |
| LOW | pyrefly/lib/test/narrow.rs | 756 | def test_any_union_tuple_target_consumed(x: tuple[int, str] | Any) -> None: | CODE |
| LOW | pyrefly/lib/test/narrow.rs | 769 | def test_alias_hiding_any_consumed(x: Alias) -> None: | CODE |
| LOW | pyrefly/lib/test/narrow.rs | 783 | def test_dynamic_classinfo_narrows_to_any(x: A, cls: Any) -> None: | CODE |
| LOW | pyrefly/lib/test/narrow.rs | 789 | def test_type_any_classinfo_narrows_to_any(x: A, cls: type[Any]) -> None: | CODE |
| LOW | pyrefly/lib/test/narrow.rs | 802 | def test_type_eq_and_class_pattern_any_union_consumed(x: int | Any) -> None: | CODE |
| LOW | pyrefly/lib/test/narrow.rs | 1628 | def test_isinstance_then_issubclass(x: object) -> None: | CODE |
| LOW⚡ | pyrefly/lib/test/narrow.rs | 2162 | def test_type_objects_in_union(x: type[int] | type[float] | type[str]) -> None: | CODE |
| LOW⚡ | pyrefly/lib/test/narrow.rs | 2168 | def test_type_objects_mixed_with_literals(x: type[int] | type[float] | None, y: Literal[1] | type[int] | type[str]) -> N | CODE |
| LOW⚡ | pyrefly/lib/test/narrow.rs | 2178 | def test_tuple_of_literal_alias(severity: str) -> None: | CODE |
| LOW | pyrefly/lib/test/narrow.rs | 2277 | def qualified_builtins_frozenset(x: int | str) -> None: | CODE |
| LOW | pyrefly/lib/test/untyped_def_behaviors.rs | 148 | def marked_as_generator_but_does_not_yield() -> Generator[int, Any, str]: | CODE |
| LOW | pyrefly/lib/test/untyped_def_behaviors.rs | 151 | async def async_generator_with_return(): | CODE |
| LOW⚡ | pyrefly/lib/test/sys_info.rs | 363 | def test_or_always_true_guard() -> None: | CODE |
| LOW⚡ | pyrefly/lib/test/sys_info.rs | 373 | def test_and_body_unreachable() -> None: | CODE |
| LOW⚡ | pyrefly/lib/test/sys_info.rs | 378 | def test_no_guard_produces_error() -> None: | CODE |
| LOW⚡ | pyrefly/lib/test/scope.rs | 844 | def try_except_multiple_finally(): | CODE |
| LOW⚡ | pyrefly/lib/test/flow_branching.rs | 1909 | def test_narrowing_with_union(x: int | str) -> None: | CODE |
| LOW⚡ | pyrefly/lib/test/flow_branching.rs | 1919 | def test_multiple_positional_not_special(x: int) -> None: | CODE |
| LOW⚡ | pyrefly/lib/test/flow_branching.rs | 1925 | def test_keyword_pattern_not_special(x: float) -> None: | CODE |
| LOW | pyrefly/lib/test/flow_branching.rs | 2429 | def test_is_instance_union_aware(): | CODE |
| LOW | pyrefly/lib/test/flow_branching.rs | 2485 | def demo_pyre_narrowing_failure() -> int: | CODE |
| LOW | pyrefly/lib/test/decorators.rs | 847 | def keep_invalid_protocol_out_of_disjoint_base(x: BadProto) -> None: | CODE |
| LOW | pyrefly/lib/test/pattern_match.rs | 104 | def prior_case_exhausts_union_branch(x: int | str) -> None: | CODE |
| LOW | pyrefly/lib/test/pattern_match.rs | 148 | def class_shadowed_by_parent_finite(x: int) -> None: | CODE |
| LOW | pyrefly/lib/test/pattern_match.rs | 155 | def no_cascade_after_wildcard(x: int) -> None: | CODE |
| LOW | pyrefly/lib/test/attribute_narrow.rs | 199 | def test_introduce_narrow_with_assignment(c0: C, c1: C): | CODE |
| LOW | pyrefly/lib/test/attribute_narrow.rs | 236 | def test_invalidate_narrow_with_assignment(c0: C, c1: C): | CODE |
| LOW | pyrefly/lib/test/typed_dict.rs | 2362 | def test_literal_union_not_in(clients: Clients, name: Literal['a', 'b', 'c']): | CODE |
| LOW | pyrefly/lib/test/attrs/third-party/attr/_make.py | 351 | def _collect_base_attrs_broken(cls, taken_attr_names): | CODE |
| LOW | pyrefly/lib/test/attrs/third-party/attr/_make.py | 499 | def _make_cached_property_getattr(cached_properties, original_getattr, cls): | CODE |
| LOW | pyrefly/lib/test/attrs/third-party/attr/_make.py | 1192 | def _add_method_dunders_unsafe(self, method: Callable) -> Callable: | CODE |
| LOW | pyrefly/lib/test/attrs/third-party/attr/_make.py | 1222 | def _determine_attrs_eq_order(cmp, eq, order, default_eq): | CODE |
| LOW | pyrefly/lib/test/attrs/third-party/attr/_make.py | 1250 | def _determine_attrib_eq_order(cmp, eq, order, default_eq): | CODE |
| LOW | pyrefly/lib/test/attrs/third-party/attr/_make.py | 1259 | def decide_callable_or_boolean(value): | CODE |
| LOW | pyrefly/lib/test/attrs/third-party/attr/_make.py | 1293 | def _determine_whether_to_implement( | CODE |
| LOW | pyrefly/lib/test/attrs/third-party/attr/_make.py | 1595 | def _generate_unique_filename(cls: type, func_name: str) -> str: | STRING |
| LOW | pyrefly/lib/test/attrs/third-party/attr/_make.py | 1632 | def append_hash_computation_lines(prefix, indent): | STRING |
| LOW | pyrefly/lib/test/attrs/third-party/attr/_make.py | 2120 | def fmt_setter_with_converter( | STRING |
| LOW | pyrefly/lib/test/attrs/third-party/attr/converters.py | 108 | def default_if_none_converter(val): | CODE |
| LOW | pyrefly/lib/test/attrs/third-party/attr/converters.py | 116 | def default_if_none_converter(val): | CODE |
| LOW | pyrefly/lib/test/lsp/call_hierarchy.rs | 225 | def calling_from_print_statement(): | CODE |
| LOW | …ion/test_files/anonymous_typed_dict_inlay_hint_test.py | 7 | def returns_anonymous_typed_dict(): | CODE |
| LOW | …sp_interaction/test_files/reexport_test/base_module.py | 7 | def directly_defined_function() -> None: | CODE |
| LOW | …st_files/tests_requiring_config/autoimport_provider.py | 7 | def this_is_a_very_long_function_name_so_we_can_deterministically_test_autoimport_with_fuzzy_search() -> ( | CODE |
| LOW | …fig/workspace_symbol_prefer_non_init/implementation.py | 7 | def workspace_symbol_prefers_non_init_over_init_reexport() -> None: | CODE |
| LOW | …equiring_config/workspace_symbol_multibyte/impl_mod.py | 7 | def workspace_symbol_multibyte_repro() -> None: | CODE |
| LOW | …refly/lib/test/pydantic/third-party/pydantic/fields.py | 714 | def default_factory_takes_validated_data(self) -> bool | None: | CODE |
| LOW | …refly/lib/test/pydantic/third-party/pydantic/fields.py | 1612 | def _wrapped_property_is_private(property_: cached_property | property) -> bool: # type: ignore | CODE |
| LOW | pyrefly/lib/test/pydantic/third-party/pydantic/types.py | 998 | def __get_pydantic_core_schema__( | CODE |
| LOW | pyrefly/lib/test/pydantic/third-party/pydantic/types.py | 1013 | def __get_pydantic_json_schema__(cls, cs: CoreSchema, handler: GetJsonSchemaHandler) -> JsonSchemaValue: | CODE |
| LOW | pyrefly/lib/test/pydantic/third-party/pydantic/types.py | 1160 | def __get_pydantic_json_schema__( | CODE |
| LOW | pyrefly/lib/test/pydantic/third-party/pydantic/types.py | 1168 | def __get_pydantic_core_schema__(self, source: Any, handler: GetCoreSchemaHandler) -> core_schema.CoreSchema: | CODE |
| 604 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 | 241 | /// otherwise only present in the `display` string, so a value-position | COMMENT |
| LOW | pyrefly/lib/test/yields.rs | 181 | "#, | COMMENT |
| LOW | pyrefly/lib/test/contextual.rs | 861 | // *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 | 181 | // Similar to test_protocol_coinductive_cache_soundness, but the stale cache | COMMENT |
| LOW | pyrefly/lib/test/incremental.rs | 501 | // | COMMENT |
| LOW | pyrefly/lib/test/incremental.rs | 801 | i.set( | COMMENT |
| LOW | pyrefly/lib/test/incremental.rs | 841 | /// | COMMENT |
| LOW | pyrefly/lib/test/incremental.rs | 861 | // may need to be recomputed multiple times, triggering cycle detection. | COMMENT |
| LOW | pyrefly/lib/test/incremental.rs | 1661 | COMMENT | |
| LOW | pyrefly/lib/test/incremental.rs | 1821 | // foo exports x via __all__ | COMMENT |
| LOW | pyrefly/lib/test/state.rs | 1241 | .get_errors([&handle]) | COMMENT |
| LOW | pyrefly/lib/test/descriptors.rs | 301 | def f(x: T) -> None: | COMMENT |
| LOW | pyrefly/lib/test/cycles.rs | 541 | // Regression test for stack overflow in generated code with many fields. | 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 | 1541 | ); | COMMENT |
| LOW | …refly/lib/test/tsp/tsp_interaction/get_type_queries.rs | 1801 | // the expected type at `4` should be `int | str`). We currently fall back | COMMENT |
| LOW | pyrefly/lib/test/lsp/code_actions.rs | 621 | # ^ | COMMENT |
| LOW | pyrefly/lib/test/lsp/code_actions.rs | 701 | ## Before: | COMMENT |
| LOW | pyrefly/lib/test/lsp/code_actions.rs | 721 | # ^ | COMMENT |
| LOW | pyrefly/lib/test/lsp/code_actions.rs | 781 | # Title: Insert import: `import my_module` | COMMENT |
| LOW | pyrefly/lib/test/lsp/code_actions.rs | 921 | ## After: | COMMENT |
| LOW | pyrefly/lib/test/lsp/code_actions.rs | 941 | my_export | COMMENT |
| LOW | pyrefly/lib/test/lsp/code_actions.rs | 1461 | # ^ | COMMENT |
| LOW | pyrefly/lib/test/lsp/code_actions.rs | 1481 | # Title: Generate class `TypeVar` | COMMENT |
| LOW | pyrefly/lib/test/lsp/code_actions.rs | 1901 | # Title: Generate class `myFunc` | COMMENT |
| LOW | pyrefly/lib/test/lsp/code_actions.rs | 2101 | ## Before: | COMMENT |
| LOW | pyrefly/lib/test/lsp/code_actions.rs | 2121 | # ^ | COMMENT |
| LOW | pyrefly/lib/test/lsp/document_symbols.rs | 1821 | get_batched_lsp_operations_report_no_cursor(&[("main", code)], get_combined_report); | COMMENT |
| LOW | pyrefly/lib/test/lsp/lsp_interaction/object_model.rs | 1281 | /// | COMMENT |
| LOW | pyrefly/lib/test/lsp/lsp_interaction/object_model.rs | 1301 | /// let interaction = LspInteraction::new_with_args(LspInteractionArgs { | COMMENT |
| LOW | …ly/lib/test/lsp/lsp_interaction/open_file_benchmark.rs | 1 | /* | COMMENT |
| LOW | pyrefly/lib/test/lsp/lsp_interaction/configuration.rs | 681 | COMMENT | |
| LOW | …/lib/test/lsp/lsp_interaction/workspace_diagnostics.rs | 161 | None | 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 | …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 |
| 462 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 | …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 | …yrefly-torch-stubs/examples/runtime/nanogpt_sym_var.py | 0 | transformer block with self-attention and mlp. generic over embedding dim, num heads, and block size. | STRING |
| HIGH | …rch-stubs/examples/runtime/nanogpt_sym_var_runnable.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 | …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 | …yrefly-torch-stubs/examples/runtime/nanogpt_sym_var.py | 0 | layernorm but with an optional bias. generic over normalized dimension size. | STRING |
| HIGH | …rch-stubs/examples/runtime/nanogpt_sym_var_runnable.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 | …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 | …yrefly-torch-stubs/examples/runtime/nanogpt_sym_var.py | 0 | configuration for gpt model, generic over key dimensions | STRING |
| HIGH | …rch-stubs/examples/runtime/nanogpt_sym_var_runnable.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 | …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 | …yrefly-torch-stubs/examples/runtime/nanogpt_sym_var.py | 0 | multi-head causal self-attention. generic over embedding dim, num heads, and block size. | STRING |
| HIGH | …rch-stubs/examples/runtime/nanogpt_sym_var_runnable.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 | …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 | …yrefly-torch-stubs/examples/runtime/nanogpt_sym_var.py | 0 | multi-layer perceptron. generic over embedding dimension. | STRING |
| HIGH | …rch-stubs/examples/runtime/nanogpt_sym_var_runnable.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 | …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 | …yrefly-torch-stubs/examples/runtime/nanogpt_sym_var.py | 0 | typeddict for gptconfig constructor arguments, generic over key dimensions | STRING |
| HIGH | …rch-stubs/examples/runtime/nanogpt_sym_var_runnable.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 | …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 | …yrefly-torch-stubs/examples/runtime/nanogpt_sym_var.py | 0 | typeddict defining the structure of gpt transformer modules. generic over key dimensions. | STRING |
| HIGH | …rch-stubs/examples/runtime/nanogpt_sym_var_runnable.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 | …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 | …yrefly-torch-stubs/examples/runtime/nanogpt_sym_var.py | 0 | gpt language model. generic over vocabulary size, block size, embedding dim, num heads, and num layers. | STRING |
| HIGH | …rch-stubs/examples/runtime/nanogpt_sym_var_runnable.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 | …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 | …yrefly-torch-stubs/examples/runtime/nanogpt_sym_var.py | 0 | return the number of parameters in the model. for non-embedding count (default), the position embeddings get subtracted. | STRING |
| HIGH | …rch-stubs/examples/runtime/nanogpt_sym_var_runnable.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 | …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 | …yrefly-torch-stubs/examples/runtime/nanogpt_sym_var.py | 0 | estimate model flops utilization (mfu) in units of a100 bfloat16 peak flops | STRING |
| HIGH | …rch-stubs/examples/runtime/nanogpt_sym_var_runnable.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 | …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 | …yrefly-torch-stubs/examples/runtime/nanogpt_sym_var.py | 0 | take a conditioning sequence of indices idx (longtensor of shape (b,t)) and complete the sequence max_new_tokens times, | STRING |
| HIGH | …rch-stubs/examples/runtime/nanogpt_sym_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 |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | test.py | 13 | 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 | |
| 179 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 | 819 | except Exception as e1: | CODE |
| LOW | pyrefly/lib/test/scope.rs | 827 | except Exception as e2: | CODE |
| LOW⚡ | pyrefly/lib/test/scope.rs | 839 | except Exception: | CODE |
| LOW⚡ | pyrefly/lib/test/scope.rs | 849 | except Exception: | CODE |
| LOW | pyrefly/lib/test/scope.rs | 865 | except Exception: | CODE |
| LOW | pyrefly/lib/test/scope.rs | 877 | except Exception: | CODE |
| MEDIUM | pyrefly/lib/test/scope.rs | 816 | def try_except(): | CODE |
| MEDIUM | pyrefly/lib/test/scope.rs | 824 | def try_except_finally(): | CODE |
| MEDIUM | pyrefly/lib/test/scope.rs | 834 | def try_except_twice(): | CODE |
| MEDIUM | pyrefly/lib/test/scope.rs | 844 | def try_except_multiple_finally(): | CODE |
| MEDIUM | pyrefly/lib/test/scope.rs | 860 | def try_except_else(): | CODE |
| MEDIUM | pyrefly/lib/test/scope.rs | 872 | def try_except_else_finally(): | CODE |
| LOW | pyrefly/lib/test/flow_branching.rs | 307 | except Exception as e2: | CODE |
| LOW | pyrefly/lib/test/flow_branching.rs | 2389 | except Exception: | CODE |
| LOW | pyrefly/lib/test/flow_branching.rs | 2406 | except Exception as exc: | CODE |
| LOW | pyrefly/lib/test/flow_branching.rs | 2411 | except Exception: | CODE |
| MEDIUM | pyrefly/lib/test/flow_branching.rs | 1720 | 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 | 832 | except Exception as e: | CODE |
| LOW | pyrefly/lib/test/lsp/semantic_tokens.rs | 1373 | except Exception as e: | CODE |
| LOW | pyrefly/lib/test/lsp/local_find_refs.rs | 237 | except Exception: | CODE |
| LOW | pyrefly/lib/test/lsp/definition.rs | 493 | except Exception as e: | CODE |
| LOW | …iles/tests_requiring_config/with_synthetic_bindings.py | 10 | except Exception: | CODE |
| LOW | pyrefly/lib/report/glean/mod.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 | 68 | except Exception as e: | CODE |
| MEDIUM | schemas/validate_schemas.py | 31 | print("Error: Required packages not installed.") | CODE |
| LOW | scripts/github_utils.py | 244 | except Exception as e: | CODE |
| LOW | scripts/github_utils.py | 353 | except Exception as e: | CODE |
| LOW | scripts/github_utils.py | 536 | except Exception as e: | CODE |
| LOW | scripts/github_utils.py | 598 | except Exception as e: | CODE |
| MEDIUM | scripts/github_utils.py | 727 | print("Error: Repository must be in format owner/repo", file=sys.stderr) | STRING |
| LOW | scripts/github_utils.py | 772 | except Exception as e: | STRING |
| LOW | scripts/github_utils.py | 916 | except Exception as e: | STRING |
| LOW | scripts/compare_typecheckers.py | 801 | except Exception as e: | CODE |
| LOW | scripts/generate_release_notes.py | 114 | except Exception: | CODE |
| LOW | scripts/generate_release_notes.py | 126 | except Exception as e: | CODE |
| MEDIUM | scripts/generate_release_notes.py | 527 | print(f"Error: Unknown provider '{provider}'.", file=sys.stderr) | CODE |
| MEDIUM | scripts/generate_release_notes.py | 541 | print(f"Error: Template file not found: {template_path}", file=sys.stderr) | CODE |
| MEDIUM | scripts/generate_release_notes.py | 547 | print(f"Error: Prompt file not found: {prompt_path}", file=sys.stderr) | CODE |
| MEDIUM | scripts/generate_release_notes.py | 661 | print("Error: Repository must be in 'owner/repo' format.", file=sys.stderr) | CODE |
| LOW | scripts/generate_release_notes.py | 699 | 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 | 276 | print(f"Error: {install_envs_file} not found") | CODE |
| MEDIUM | scripts/benchmark/typecheck_benchmark.py | 755 | print("Error: No packages found in install_envs.json") | CODE |
| LOW | scripts/benchmark/typecheck_benchmark.py | 388 | except Exception as e: | CODE |
| MEDIUM | scripts/benchmark/lsp_benchmark.py | 964 | print(f"Error: {install_envs_file} not found") | CODE |
| MEDIUM | scripts/benchmark/lsp_benchmark.py | 1258 | print("Error: No packages found in install_envs.json") | CODE |
| MEDIUM | scripts/benchmark/lsp_benchmark.py | 493 | def __exit__(self, exc_type, exc, tb) -> None: | CODE |
| LOW⚡ | scripts/benchmark/lsp_benchmark.py | 565 | except Exception: | CODE |
| LOW⚡ | scripts/benchmark/lsp_benchmark.py | 569 | except Exception: | CODE |
| LOW⚡ | scripts/benchmark/lsp_benchmark.py | 575 | except Exception: | CODE |
| LOW⚡ | scripts/benchmark/lsp_benchmark.py | 580 | except Exception: | CODE |
| LOW⚡ | scripts/benchmark/lsp_benchmark.py | 583 | except Exception: | CODE |
| LOW | scripts/benchmark/lsp_benchmark.py | 378 | except Exception as e: | CODE |
| 31 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 | 289 | // Step 1: Delete cell 2 | COMMENT |
| LOW | pyrefly/lib/test/lsp/lsp_interaction/notebook_sync.rs | 309 | // 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 | 271 | // Step 1: eliminate overloads that accept an incompatible number of arguments. | COMMENT |
| LOW | pyrefly/lib/alt/overload.rs | 301 | // Step 2: evaluate each overload as a regular (non-overloaded) call. | COMMENT |
| LOW | pyrefly/lib/alt/overload.rs | 316 | // Step 3: perform argument type expansion. | COMMENT |
| LOW | pyrefly/lib/alt/overload.rs | 748 | // Step 4: if any arguments supply an unknown number of args and at least one | COMMENT |
| LOW | pyrefly/lib/alt/overload.rs | 924 | // Step 6: if there are still multiple matches, pick the first one. | COMMENT |
| LOW⚡ | pyrefly/lib/alt/solve.rs | 1552 | // Step 1: Expand non-recursive UntypedAlias(Ref(...)) nodes by | COMMENT |
| LOW⚡ | pyrefly/lib/alt/solve.rs | 1560 | // Step 2: Check for cyclic self-references after expansion. | COMMENT |
| LOW | pyrefly/lib/alt/solve.rs | 1573 | // Step 3: Extract type parameters from the (now expanded) body. | COMMENT |
| LOW⚡ | pyrefly/lib/alt/solve.rs | 2208 | // Step 1: Compute raw TypeInfo (Vars unpinned) | COMMENT |
| LOW⚡ | pyrefly/lib/alt/solve.rs | 2211 | // Step 2: Check whether the type actually contains partial types that | COMMENT |
| LOW⚡ | pyrefly/lib/alt/solve.rs | 2230 | // Step 3: Store partial answer that the first-use solve will read and potentially pin. | COMMENT |
| LOW⚡ | pyrefly/lib/alt/solve.rs | 2233 | // Step 4: Evaluate the first-use; throw away both the result and errors, this is | COMMENT |
| LOW⚡ | pyrefly/lib/alt/solve.rs | 2243 | // Step 5: Remove the partial answer, we've finished with it, and proceed to | COMMENT |
| LOW | …s/skills/add-shape-types-to-torch-model/style_guide.md | 88 | ### Step 1: Identify the degrees of freedom | COMMENT |
| LOW | …s/skills/add-shape-types-to-torch-model/style_guide.md | 111 | ### Step 2: Type the constructor | COMMENT |
| LOW | …s/skills/add-shape-types-to-torch-model/style_guide.md | 125 | ### Step 3: Type the forward signature | COMMENT |
| LOW | …-shapes/skills/add-shape-types-to-torch-model/SKILL.md | 183 | ## Step 1: Inventory parameters | COMMENT |
| LOW | …-shapes/skills/add-shape-types-to-torch-model/SKILL.md | 271 | ## Step 2: Type the constructor | COMMENT |
| LOW | …-shapes/skills/add-shape-types-to-torch-model/SKILL.md | 352 | ## Step 3: Probe the forward | COMMENT |
| LOW | …-shapes/skills/add-shape-types-to-torch-model/SKILL.md | 386 | ## Step 4: Restructure for tracking | COMMENT |
| LOW | …-shapes/skills/add-shape-types-to-torch-model/SKILL.md | 508 | ## Step 5: Write forward and assert_type | COMMENT |
| LOW | …-shapes/skills/add-shape-types-to-torch-model/SKILL.md | 579 | ## Step 6: Post-module checklist | COMMENT |
| LOW⚡ | …s/test/negative_tests/test_typevar_substitution_bug.py | 24 | # Step 1: Create concrete tensor | COMMENT |
| LOW⚡ | …s/test/negative_tests/test_typevar_substitution_bug.py | 28 | # Step 2: Call function | COMMENT |
| LOW⚡ | …s/test/negative_tests/test_typevar_substitution_bug.py | 32 | # Step 3: The concrete shape is preserved, so mismatched first dimensions are rejected. | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 278 | // Step 1: Recursively canonicalize operands | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 282 | // Step 2: Flatten to list of terms | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 287 | // Step 3: Combine like terms by extracting coefficients | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 296 | // Step 4: Rebuild terms, filtering out zero coefficients | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 316 | // Step 5: Sort terms by canonical order | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 319 | // Step 6: Build result | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 414 | // Step 1: Recursively canonicalize operands | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 418 | // Step 2: Flatten to list of factors | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 423 | // Step 3: Check for zero | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 431 | // Step 4: Separate literals from non-literals | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 529 | // Step 6: Sort factors by canonical order | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 532 | // Step 7: Add literal coefficient if not 1 | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 539 | // Step 8: Build result | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 565 | // Step 1: Canonicalize the numerator | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 568 | // Step 2: Check if numerator is a division - if so, flatten | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 575 | // Step 3: Now canonicalize the denominator | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 578 | // Step 4: Apply simplifications | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 726 | // Step 1: Separate literals from non-literals | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 730 | // Step 2: Apply GCD to literals | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 735 | // Step 3: Find and remove structurally equal non-literal factors | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 748 | // Step 4: Rebuild numerator | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 754 | // Step 5: Rebuild denominator | COMMENT |
| LOW | crates/pyrefly_types/src/dimension.rs | 491 | // Step 5: Distributive law — coeff * (a + b) → coeff*a + coeff*b | COMMENT |
| LOW⚡ | …dbox-examples/tensor-shapes-tutorial-basics/sandbox.py | 17 | # Step 1: Use Dim 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 | 289 | // Step 1: Delete cell 2 | COMMENT |
| LOW | pyrefly/lib/test/lsp/lsp_interaction/notebook_sync.rs | 309 | // 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 | 2126 | // `module_name` could refer to a package, in which case we need to check if | COMMENT |
| LOW | pyrefly/lib/alt/overload.rs | 271 | // Step 1: eliminate overloads that accept an incompatible number of arguments. | COMMENT |
| LOW | pyrefly/lib/alt/overload.rs | 301 | // Step 2: evaluate each overload as a regular (non-overloaded) call. | COMMENT |
| LOW | pyrefly/lib/alt/overload.rs | 316 | // Step 3: perform argument type expansion. | COMMENT |
| LOW | pyrefly/lib/alt/overload.rs | 748 | // Step 4: if any arguments supply an unknown number of args and at least one | COMMENT |
| LOW | pyrefly/lib/alt/overload.rs | 924 | // Step 6: if there are still multiple matches, pick the first one. | COMMENT |
| LOW⚡ | pyrefly/lib/alt/solve.rs | 1552 | // Step 1: Expand non-recursive UntypedAlias(Ref(...)) nodes by | COMMENT |
| LOW⚡ | pyrefly/lib/alt/solve.rs | 1560 | // Step 2: Check for cyclic self-references after expansion. | COMMENT |
| LOW | pyrefly/lib/alt/solve.rs | 1573 | // Step 3: Extract type parameters from the (now expanded) body. | COMMENT |
| LOW⚡ | pyrefly/lib/alt/solve.rs | 2208 | // Step 1: Compute raw TypeInfo (Vars unpinned) | COMMENT |
| LOW⚡ | pyrefly/lib/alt/solve.rs | 2211 | // Step 2: Check whether the type actually contains partial types that | COMMENT |
| LOW⚡ | pyrefly/lib/alt/solve.rs | 2230 | // Step 3: Store partial answer that the first-use solve will read and potentially pin. | COMMENT |
| LOW⚡ | pyrefly/lib/alt/solve.rs | 2233 | // Step 4: Evaluate the first-use; throw away both the result and errors, this is | COMMENT |
| LOW⚡ | pyrefly/lib/alt/solve.rs | 2243 | // Step 5: Remove the partial answer, we've finished with it, and proceed to | COMMENT |
| LOW | pyrefly/lib/alt/special_calls.rs | 448 | // 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 | 24 | # Step 1: Create concrete tensor | COMMENT |
| LOW⚡ | …s/test/negative_tests/test_typevar_substitution_bug.py | 28 | # Step 2: Call function | COMMENT |
| LOW⚡ | …s/test/negative_tests/test_typevar_substitution_bug.py | 32 | # Step 3: The concrete shape is preserved, so mismatched first dimensions are rejected. | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 278 | // Step 1: Recursively canonicalize operands | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 282 | // Step 2: Flatten to list of terms | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 287 | // Step 3: Combine like terms by extracting coefficients | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 296 | // Step 4: Rebuild terms, filtering out zero coefficients | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 316 | // Step 5: Sort terms by canonical order | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 319 | // Step 6: Build result | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 414 | // Step 1: Recursively canonicalize operands | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 418 | // Step 2: Flatten to list of factors | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 423 | // Step 3: Check for zero | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 431 | // Step 4: Separate literals from non-literals | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 529 | // Step 6: Sort factors by canonical order | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 532 | // Step 7: Add literal coefficient if not 1 | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 539 | // Step 8: Build result | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 565 | // Step 1: Canonicalize the numerator | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 568 | // Step 2: Check if numerator is a division - if so, flatten | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 575 | // Step 3: Now canonicalize the denominator | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 578 | // Step 4: Apply simplifications | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 726 | // Step 1: Separate literals from non-literals | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 730 | // Step 2: Apply GCD to literals | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 735 | // Step 3: Find and remove structurally equal non-literal factors | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 748 | // Step 4: Rebuild numerator | COMMENT |
| LOW⚡ | crates/pyrefly_types/src/dimension.rs | 754 | // Step 5: Rebuild denominator | COMMENT |
| LOW | crates/pyrefly_types/src/dimension.rs | 491 | // Step 5: Distributive law — coeff * (a + b) → coeff*a + coeff*b | COMMENT |
| LOW⚡ | …dbox-examples/tensor-shapes-tutorial-basics/sandbox.py | 17 | # Step 1: Use Dim 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 | tensor-shapes/pyrefly-torch-stubs/run_pyrefly.py | 50 | 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 | 89 | CODE | |
| LOW | scripts/github_utils.py | 558 | CODE | |
| LOW | scripts/github_utils.py | 780 | CODE | |
| LOW | scripts/github_utils.py | 358 | CODE | |
| LOW | scripts/compare_typecheckers.py | 213 | CODE | |
| LOW | scripts/compare_typecheckers.py | 494 | CODE | |
| LOW | scripts/generate_release_notes.py | 334 | CODE | |
| LOW | scripts/llm_transport.py | 220 | CODE | |
| LOW | scripts/benchmark/typecheck_benchmark.py | 304 | CODE | |
| LOW | scripts/benchmark/typecheck_benchmark.py | 527 | CODE | |
| LOW | scripts/benchmark/typecheck_benchmark.py | 838 | CODE | |
| LOW | scripts/benchmark/lsp_benchmark.py | 191 | CODE | |
| LOW | scripts/benchmark/lsp_benchmark.py | 386 | CODE | |
| LOW | scripts/benchmark/lsp_benchmark.py | 1026 | CODE | |
| LOW | scripts/benchmark/lsp_benchmark.py | 1057 | CODE | |
| LOW | scripts/benchmark/lsp_benchmark.py | 1407 | CODE | |
| LOW | scripts/benchmark/lsp_benchmark.py | 525 | CODE | |
| LOW | scripts/benchmark/lsp_benchmark.py | 703 | 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 | |
| LOW | scripts/primer_classifier/llm_client.py | 225 | CODE | |
| LOW | scripts/primer_classifier/llm_client.py | 407 | CODE | |
| 7 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 | 1347 | /// 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 | 193 | CODE | |
| LOW | …shapes/pyrefly-torch-stubs/test/test_recursive_skip.py | 928 | 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 | 193 | CODE | |
| LOW | tensor-shapes/pyrefly-torch-stubs/examples/apg.py | 287 | CODE | |
| LOW | tensor-shapes/pyrefly-torch-stubs/examples/gptfast.py | 582 | CODE | |
| LOW | …yrefly-torch-stubs/examples/runtime/gptfast_sym_var.py | 592 | CODE | |
| LOW | …xamples/runtime/gptfast_future_annotations_runnable.py | 545 | CODE | |
| LOW | …rch-stubs/examples/runtime/gptfast_sym_var_runnable.py | 535 | CODE | |
| LOW | …h-stubs/examples/runtime/gptfast_future_annotations.py | 587 | CODE | |
| LOW | scripts/benchmark/typecheck_benchmark.py | 719 | CODE |
| 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 | 37 | # Create a tensor with more complex unpacked shape | COMMENT |
| MEDIUM | …fly-torch-stubs/test/test_general_unpacked_matching.py | 59 | # 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 | 848 | # 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 |
|---|---|---|---|---|
| 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 | 2632 | // Pyrefly incremental more robust. | COMMENT |
| MEDIUM | pyrefly/lib/state/lsp.rs | 419 | /// downstream logic can utilize the info. | COMMENT |
| MEDIUM | pyrefly/lib/alt/answers_solver.rs | 1280 | /// (cycle_start), making it a robust anchor. | COMMENT |
| MEDIUM | pyrefly/lib/alt/answers_solver.rs | 1320 | // (cycle_start), making it a more robust anchor. | COMMENT |
| MEDIUM | pyrefly/lib/alt/class/dataclass.rs | 477 | // left to the stub, avoiding false positives and staying robust to new `Type` variants. | COMMENT |
| LOW⚡ | …pes/pyrefly-torch-stubs/examples/speech_transformer.py | 359 | # so we skip adding it and just pass through. The original adds it to src_seq. | 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 |
|---|---|---|---|---|
| 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 | …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 | tensor-shapes/pyrefly-torch-stubs/examples/bert.py | 282 | def set_mask(self, mask: Tensor) -> None: | CODE |
| LOW | conformance/conformance_output.py | 50 | 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 | 715 | # Main benchmark orchestration | COMMENT |
| MEDIUM⚡ | scripts/benchmark/lsp_benchmark.py | 952 | # 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 | 55 | # Check if username ends with [bot] | COMMENT |
| LOW | scripts/benchmark/lsp_benchmark.py | 1466 | # 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 | 3005 | if self.transaction.data.state.run_count.load(Ordering::SeqCst) <= 1 { | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | pyrefly/lib/test/flow_branching.rs | 219 | // 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 | 2105 | // 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 |