Repository Analysis

facebook/pyrefly

A fast type checker and language server for Python

8.1 Low AI signal View on GitHub

Analysis Overview

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).

8.1
Adjusted Score
8.1
Raw Score
100%
Time Factor
2026-07-14
Last Push
6.8K
Stars
Rust
Language
549.5K
Lines of Code
1.7K
Files
2.6K
Pattern Hits
2026-07-14
Scan Date
0.05
HC Hit Rate

What These Metrics Mean

Adjusted Score
Primary synthetic code indicator. Raw score normalised per 1,000 lines of code and multiplied by the temporal discount factor. This is the definitive comparative metric — use it to rank repositories by AI authorship density.
Raw Score
The unmodified sum of all severity-weighted, context-multiplied pattern match scores before temporal discounting. Reflects the absolute signal strength independent of when the repository was last active.
Time Factor
The temporal discount multiplier (0–100%) applied to the raw score. Repositories last updated before ChatGPT's launch (Nov 2022) receive a 5% factor. Full signal is only assigned to repositories active in the post-adoption era (Jan 2024+).
Pattern Hits
Total count of individual pattern matches across all files and categories. A high hit count with a low score may indicate a very large codebase with isolated AI snippets; a low count with a high score indicates dense, concentrated AI signatures.
HC Hit Rate
High+Critical pattern hits per file, averaged across the repository. This orthogonal signal catches repositories where a few files are densely packed with high-severity AI tells — a strong indicator even when the normalised score appears moderate due to codebase size.
Lines of Code / Files
Total lines and files analysed. The scanner examines 94 file extensions. These denominators are used to normalise the score, enabling fair comparison between repositories of vastly different sizes.

Score History

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.

Severity Breakdown

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.

CRITICAL 1HIGH 86MEDIUM 731LOW 1787

Directory Score Breakdown

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.

Pattern Findings

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.

Decorative Section Separators677 hits · 2069 pts
SeverityFileLineSnippetContext
MEDIUMpyrefly/lib/test/shape_dsl.rs2643// ── Recursion-safety tests ────────────────────────────────────────────────────COMMENT
MEDIUM…apes/pyrefly-torch-stubs/test/test_nn_module_proper.py21# ============================================================================COMMENT
MEDIUM…apes/pyrefly-torch-stubs/test/test_nn_module_proper.py23# ============================================================================COMMENT
MEDIUM…apes/pyrefly-torch-stubs/test/test_nn_module_proper.py64# ============================================================================COMMENT
MEDIUM…apes/pyrefly-torch-stubs/test/test_nn_module_proper.py66# ============================================================================COMMENT
MEDIUM…apes/pyrefly-torch-stubs/test/test_nn_module_proper.py113# ============================================================================COMMENT
MEDIUM…apes/pyrefly-torch-stubs/test/test_nn_module_proper.py115# ============================================================================COMMENT
MEDIUM…apes/pyrefly-torch-stubs/test/test_nn_module_proper.py145# ============================================================================COMMENT
MEDIUM…apes/pyrefly-torch-stubs/test/test_nn_module_proper.py147# ============================================================================COMMENT
MEDIUM…apes/pyrefly-torch-stubs/test/test_nn_module_proper.py183# ============================================================================COMMENT
MEDIUM…apes/pyrefly-torch-stubs/test/test_nn_module_proper.py185# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py164# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py166# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py197# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py199# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py30# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py32# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py65# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py67# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py102# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py104# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py131# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py133# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py232# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py234# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py264# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py266# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py294# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py296# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py325# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py327# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py357# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/test/test_nn_modules.py359# ============================================================================COMMENT
MEDIUM…es/pyrefly-torch-stubs/test/test_overload_narrowing.py21# ============================================================================COMMENT
MEDIUM…es/pyrefly-torch-stubs/test/test_overload_narrowing.py23# ============================================================================COMMENT
MEDIUM…es/pyrefly-torch-stubs/test/test_overload_narrowing.py47# ============================================================================COMMENT
MEDIUM…es/pyrefly-torch-stubs/test/test_overload_narrowing.py49# ============================================================================COMMENT
MEDIUM…es/pyrefly-torch-stubs/test/test_parameters_buffers.py21# ============================================================================COMMENT
MEDIUM…es/pyrefly-torch-stubs/test/test_parameters_buffers.py23# ============================================================================COMMENT
MEDIUM…es/pyrefly-torch-stubs/test/test_parameters_buffers.py56# ============================================================================COMMENT
MEDIUM…es/pyrefly-torch-stubs/test/test_parameters_buffers.py58# ============================================================================COMMENT
MEDIUM…es/pyrefly-torch-stubs/test/test_parameters_buffers.py87# ============================================================================COMMENT
MEDIUM…es/pyrefly-torch-stubs/test/test_parameters_buffers.py89# ============================================================================COMMENT
MEDIUM…es/pyrefly-torch-stubs/test/test_parameters_buffers.py132# ============================================================================COMMENT
MEDIUM…es/pyrefly-torch-stubs/test/test_parameters_buffers.py134# ============================================================================COMMENT
MEDIUM…es/pyrefly-torch-stubs/test/test_parameters_buffers.py179# ============================================================================COMMENT
MEDIUM…es/pyrefly-torch-stubs/test/test_parameters_buffers.py181# ============================================================================COMMENT
MEDIUM…es/pyrefly-torch-stubs/test/test_parameters_buffers.py236# ============================================================================COMMENT
MEDIUM…es/pyrefly-torch-stubs/test/test_parameters_buffers.py238# ============================================================================COMMENT
MEDIUM…es/pyrefly-torch-stubs/test/test_parameters_buffers.py274# ============================================================================COMMENT
MEDIUM…es/pyrefly-torch-stubs/test/test_parameters_buffers.py276# ============================================================================COMMENT
MEDIUM…es/pyrefly-torch-stubs/test/test_parameters_buffers.py310# ============================================================================COMMENT
MEDIUM…es/pyrefly-torch-stubs/test/test_parameters_buffers.py312# ============================================================================COMMENT
MEDIUM…pyrefly-torch-stubs/test/test_sequential_modulelist.py23# ============================================================================COMMENT
MEDIUM…pyrefly-torch-stubs/test/test_sequential_modulelist.py25# ============================================================================COMMENT
MEDIUM…pyrefly-torch-stubs/test/test_sequential_modulelist.py50# ============================================================================COMMENT
MEDIUM…pyrefly-torch-stubs/test/test_sequential_modulelist.py52# ============================================================================COMMENT
MEDIUM…pyrefly-torch-stubs/test/test_sequential_modulelist.py71# ============================================================================COMMENT
MEDIUM…pyrefly-torch-stubs/test/test_sequential_modulelist.py73# ============================================================================COMMENT
MEDIUM…pyrefly-torch-stubs/test/test_sequential_modulelist.py150# ============================================================================COMMENT
617 more matches not shown…
Hyper-Verbose Identifiers664 hits · 650 pts
SeverityFileLineSnippetContext
LOWpyrefly/lib/test/typing_self.rs270def person_create_with_name_trampoline(cls, *args, **kwargs):CODE
LOWpyrefly/lib/test/typing_self.rs277def person_create_with_name_orig(cls, name: str) -> Self: # E: `Self` must appear within a classCODE
LOWpyrefly/lib/test/yields.rs205async def async_coroutine_of_async_generator() -> AsyncGenerator[int, None]:CODE
LOWpyrefly/lib/test/yields.rs571def generator_with_only_yield_from() -> Iterator[int]:CODE
LOWpyrefly/lib/test/returns.rs789def uninitialized_local_logic(value: int | str | float) -> str:CODE
LOWpyrefly/lib/test/shape_dsl.rs1959def check_nontrivial_shape_syntax(CODE
LOWpyrefly/lib/test/paramspec.rs110def changes_return_type_to_str(x: Callable[P, int]) -> Callable[P, str]: ...CODE
LOWpyrefly/lib/test/narrow.rs745def test_any_union_multiple_targets_consumed(x: int | Any) -> None:CODE
LOWpyrefly/lib/test/narrow.rs756def test_any_union_tuple_target_consumed(x: tuple[int, str] | Any) -> None:CODE
LOWpyrefly/lib/test/narrow.rs769def test_alias_hiding_any_consumed(x: Alias) -> None:CODE
LOWpyrefly/lib/test/narrow.rs783def test_dynamic_classinfo_narrows_to_any(x: A, cls: Any) -> None:CODE
LOWpyrefly/lib/test/narrow.rs789def test_type_any_classinfo_narrows_to_any(x: A, cls: type[Any]) -> None:CODE
LOWpyrefly/lib/test/narrow.rs802def test_type_eq_and_class_pattern_any_union_consumed(x: int | Any) -> None:CODE
LOWpyrefly/lib/test/narrow.rs1628def test_isinstance_then_issubclass(x: object) -> None:CODE
LOWpyrefly/lib/test/narrow.rs2162def test_type_objects_in_union(x: type[int] | type[float] | type[str]) -> None:CODE
LOWpyrefly/lib/test/narrow.rs2168def test_type_objects_mixed_with_literals(x: type[int] | type[float] | None, y: Literal[1] | type[int] | type[str]) -> NCODE
LOWpyrefly/lib/test/narrow.rs2178def test_tuple_of_literal_alias(severity: str) -> None:CODE
LOWpyrefly/lib/test/narrow.rs2277def qualified_builtins_frozenset(x: int | str) -> None:CODE
LOWpyrefly/lib/test/untyped_def_behaviors.rs148def marked_as_generator_but_does_not_yield() -> Generator[int, Any, str]:CODE
LOWpyrefly/lib/test/untyped_def_behaviors.rs151async def async_generator_with_return():CODE
LOWpyrefly/lib/test/sys_info.rs363def test_or_always_true_guard() -> None:CODE
LOWpyrefly/lib/test/sys_info.rs373def test_and_body_unreachable() -> None:CODE
LOWpyrefly/lib/test/sys_info.rs378def test_no_guard_produces_error() -> None:CODE
LOWpyrefly/lib/test/scope.rs844def try_except_multiple_finally():CODE
LOWpyrefly/lib/test/flow_branching.rs1909def test_narrowing_with_union(x: int | str) -> None:CODE
LOWpyrefly/lib/test/flow_branching.rs1919def test_multiple_positional_not_special(x: int) -> None:CODE
LOWpyrefly/lib/test/flow_branching.rs1925def test_keyword_pattern_not_special(x: float) -> None:CODE
LOWpyrefly/lib/test/flow_branching.rs2429def test_is_instance_union_aware():CODE
LOWpyrefly/lib/test/flow_branching.rs2485def demo_pyre_narrowing_failure() -> int:CODE
LOWpyrefly/lib/test/decorators.rs847def keep_invalid_protocol_out_of_disjoint_base(x: BadProto) -> None:CODE
LOWpyrefly/lib/test/pattern_match.rs104def prior_case_exhausts_union_branch(x: int | str) -> None:CODE
LOWpyrefly/lib/test/pattern_match.rs148def class_shadowed_by_parent_finite(x: int) -> None:CODE
LOWpyrefly/lib/test/pattern_match.rs155def no_cascade_after_wildcard(x: int) -> None:CODE
LOWpyrefly/lib/test/attribute_narrow.rs199def test_introduce_narrow_with_assignment(c0: C, c1: C):CODE
LOWpyrefly/lib/test/attribute_narrow.rs236def test_invalidate_narrow_with_assignment(c0: C, c1: C):CODE
LOWpyrefly/lib/test/typed_dict.rs2362def test_literal_union_not_in(clients: Clients, name: Literal['a', 'b', 'c']):CODE
LOWpyrefly/lib/test/attrs/third-party/attr/_make.py351def _collect_base_attrs_broken(cls, taken_attr_names):CODE
LOWpyrefly/lib/test/attrs/third-party/attr/_make.py499def _make_cached_property_getattr(cached_properties, original_getattr, cls):CODE
LOWpyrefly/lib/test/attrs/third-party/attr/_make.py1192 def _add_method_dunders_unsafe(self, method: Callable) -> Callable:CODE
LOWpyrefly/lib/test/attrs/third-party/attr/_make.py1222def _determine_attrs_eq_order(cmp, eq, order, default_eq):CODE
LOWpyrefly/lib/test/attrs/third-party/attr/_make.py1250def _determine_attrib_eq_order(cmp, eq, order, default_eq):CODE
LOWpyrefly/lib/test/attrs/third-party/attr/_make.py1259 def decide_callable_or_boolean(value):CODE
LOWpyrefly/lib/test/attrs/third-party/attr/_make.py1293def _determine_whether_to_implement(CODE
LOWpyrefly/lib/test/attrs/third-party/attr/_make.py1595def _generate_unique_filename(cls: type, func_name: str) -> str:STRING
LOWpyrefly/lib/test/attrs/third-party/attr/_make.py1632 def append_hash_computation_lines(prefix, indent):STRING
LOWpyrefly/lib/test/attrs/third-party/attr/_make.py2120 def fmt_setter_with_converter(STRING
LOWpyrefly/lib/test/attrs/third-party/attr/converters.py108 def default_if_none_converter(val):CODE
LOWpyrefly/lib/test/attrs/third-party/attr/converters.py116 def default_if_none_converter(val):CODE
LOWpyrefly/lib/test/lsp/call_hierarchy.rs225def calling_from_print_statement():CODE
LOW…ion/test_files/anonymous_typed_dict_inlay_hint_test.py7def returns_anonymous_typed_dict():CODE
LOW…sp_interaction/test_files/reexport_test/base_module.py7def directly_defined_function() -> None:CODE
LOW…st_files/tests_requiring_config/autoimport_provider.py7def 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.py7def workspace_symbol_prefers_non_init_over_init_reexport() -> None:CODE
LOW…equiring_config/workspace_symbol_multibyte/impl_mod.py7def workspace_symbol_multibyte_repro() -> None:CODE
LOW…refly/lib/test/pydantic/third-party/pydantic/fields.py714 def default_factory_takes_validated_data(self) -> bool | None:CODE
LOW…refly/lib/test/pydantic/third-party/pydantic/fields.py1612def _wrapped_property_is_private(property_: cached_property | property) -> bool: # type: ignoreCODE
LOWpyrefly/lib/test/pydantic/third-party/pydantic/types.py998 def __get_pydantic_core_schema__(CODE
LOWpyrefly/lib/test/pydantic/third-party/pydantic/types.py1013 def __get_pydantic_json_schema__(cls, cs: CoreSchema, handler: GetJsonSchemaHandler) -> JsonSchemaValue:CODE
LOWpyrefly/lib/test/pydantic/third-party/pydantic/types.py1160 def __get_pydantic_json_schema__(CODE
LOWpyrefly/lib/test/pydantic/third-party/pydantic/types.py1168 def __get_pydantic_core_schema__(self, source: Any, handler: GetCoreSchemaHandler) -> core_schema.CoreSchema:CODE
604 more matches not shown…
Over-Commented Block522 hits · 508 pts
SeverityFileLineSnippetContext
LOWpyrefly/bin/main.rs21// fbcode likes to set its own allocator in fbcode.default_allocatorCOMMENT
LOWpyrefly/lib/lib.rs1/*COMMENT
LOWpyrefly/lib/query.rs241 /// otherwise only present in the `display` string, so a value-positionCOMMENT
LOWpyrefly/lib/test/yields.rs181"#,COMMENT
LOWpyrefly/lib/test/contextual.rs861 // *narrowest* one. Previously `get_new_bound`'s absorb logic kept the widerCOMMENT
LOWpyrefly/lib/test/natural.rs1/*COMMENT
LOWpyrefly/lib/test/perf.rs141COMMENT
LOWpyrefly/lib/test/perf.rs181// Similar to test_protocol_coinductive_cache_soundness, but the stale cacheCOMMENT
LOWpyrefly/lib/test/incremental.rs501 //COMMENT
LOWpyrefly/lib/test/incremental.rs801 i.set(COMMENT
LOWpyrefly/lib/test/incremental.rs841///COMMENT
LOWpyrefly/lib/test/incremental.rs861 // may need to be recomputed multiple times, triggering cycle detection.COMMENT
LOWpyrefly/lib/test/incremental.rs1661COMMENT
LOWpyrefly/lib/test/incremental.rs1821 // foo exports x via __all__COMMENT
LOWpyrefly/lib/test/state.rs1241 .get_errors([&handle])COMMENT
LOWpyrefly/lib/test/descriptors.rs301def f(x: T) -> None:COMMENT
LOWpyrefly/lib/test/cycles.rs541// Regression test for stack overflow in generated code with many fields.COMMENT
LOWpyrefly/lib/test/class_subtyping.rs241 r#"COMMENT
LOWpyrefly/lib/test/attrs/third-party/attr/_compat.py81# This is needed because there is no other (thread-safe) way to pass infoCOMMENT
LOW…refly/lib/test/tsp/tsp_interaction/get_type_queries.rs1541 );COMMENT
LOW…refly/lib/test/tsp/tsp_interaction/get_type_queries.rs1801// the expected type at `4` should be `int | str`). We currently fall backCOMMENT
LOWpyrefly/lib/test/lsp/code_actions.rs621# ^COMMENT
LOWpyrefly/lib/test/lsp/code_actions.rs701## Before:COMMENT
LOWpyrefly/lib/test/lsp/code_actions.rs721# ^COMMENT
LOWpyrefly/lib/test/lsp/code_actions.rs781# Title: Insert import: `import my_module`COMMENT
LOWpyrefly/lib/test/lsp/code_actions.rs921## After:COMMENT
LOWpyrefly/lib/test/lsp/code_actions.rs941my_exportCOMMENT
LOWpyrefly/lib/test/lsp/code_actions.rs1461# ^COMMENT
LOWpyrefly/lib/test/lsp/code_actions.rs1481# Title: Generate class `TypeVar`COMMENT
LOWpyrefly/lib/test/lsp/code_actions.rs1901# Title: Generate class `myFunc`COMMENT
LOWpyrefly/lib/test/lsp/code_actions.rs2101## Before:COMMENT
LOWpyrefly/lib/test/lsp/code_actions.rs2121# ^COMMENT
LOWpyrefly/lib/test/lsp/document_symbols.rs1821 get_batched_lsp_operations_report_no_cursor(&[("main", code)], get_combined_report);COMMENT
LOWpyrefly/lib/test/lsp/lsp_interaction/object_model.rs1281///COMMENT
LOWpyrefly/lib/test/lsp/lsp_interaction/object_model.rs1301/// let interaction = LspInteraction::new_with_args(LspInteractionArgs {COMMENT
LOW…ly/lib/test/lsp/lsp_interaction/open_file_benchmark.rs1/*COMMENT
LOWpyrefly/lib/test/lsp/lsp_interaction/configuration.rs681COMMENT
LOW…/lib/test/lsp/lsp_interaction/workspace_diagnostics.rs161 NoneCOMMENT
LOWpyrefly/lib/test/lsp/lsp_interaction/definition.rs801 interaction.shutdown().unwrap();COMMENT
LOW…b/test/lsp/lsp_interaction/test_files/syntax_errors.py1# Copyright (c) Meta Platforms, Inc. and affiliates.COMMENT
LOW…p/lsp_interaction/test_files/no_config_syntax_error.py1# @nolintCOMMENT
LOW…/lsp_interaction/test_files/unused_ignore_no_config.py1# Copyright (c) Meta Platforms, Inc. and affiliates.COMMENT
LOW…lib/test/lsp/lsp_interaction/test_files/type_errors.py1# Copyright (c) Meta Platforms, Inc. and affiliates.COMMENT
LOW…b/test/lsp/lsp_interaction/test_files/text_document.py1# Copyright (c) Meta Platforms, Inc. and affiliates.COMMENT
LOWpyrefly/lib/test/lsp/lsp_interaction/test_files/utf.py1# Copyright (c) Meta Platforms, Inc. and affiliates.COMMENT
LOW…interaction/test_files/unused_type_ignore_no_config.py1# Copyright (c) Meta Platforms, Inc. and affiliates.COMMENT
LOW…es/diagnostics_file_in_excludes/type_errors_exclude.py1# Copyright (c) Meta Platforms, Inc. and affiliates.COMMENT
LOW…es/diagnostics_file_in_excludes/type_errors_include.py1# Copyright (c) Meta Platforms, Inc. and affiliates.COMMENT
LOW…on/test_files/imports_builtins/site-packages/typing.py1# Copyright (c) Meta Platforms, Inc. and affiliates.COMMENT
LOW…_party/lib/python3.12/site-packages/third_party_lib.py1# Copyright (c) Meta Platforms, Inc. and affiliates.COMMENT
LOW…n/test_files/safe_delete_file_relative/pkg/__init__.py1# Copyright (c) Meta Platforms, Inc. and affiliates.COMMENT
LOW…eraction/test_files/deep_submodule_chain/a/__init__.py1# Copyright (c) Meta Platforms, Inc. and affiliates.COMMENT
LOW…action/test_files/deep_submodule_chain/a/b/__init__.py1# Copyright (c) Meta Platforms, Inc. and affiliates.COMMENT
LOW…_interpreter_config/bin/site-packages/custom_module.py1# Copyright (c) Meta Platforms, Inc. and affiliates.COMMENT
LOW…iles/filtering_stdlib_errors_with_default/pyrefly.toml1# Copyright (c) Meta Platforms, Inc. and affiliates.COMMENT
LOW…_errors_with_default/usr/lib/python3.12/stdlib_file.py1# Copyright (c) Meta Platforms, Inc. and affiliates.COMMENT
LOW…sp_interaction/test_files/duplicate_export_test/foo.py1# Copyright (c) Meta Platforms, Inc. and affiliates.COMMENT
LOW…p_interaction/test_files/unused_type_ignore/example.py1# Copyright (c) Meta Platforms, Inc. and affiliates.COMMENT
LOW…bad_interpreter_bin/bin/site-packages/custom_module.py1# Copyright (c) Meta Platforms, Inc. and affiliates.COMMENT
LOW…eraction/test_files/submodule_access/torch/__init__.py1# Copyright (c) Meta Platforms, Inc. and affiliates.COMMENT
462 more matches not shown…
Cross-File Repetition59 hits · 295 pts
SeverityFileLineSnippetContext
HIGH…sor-shapes/pyrefly-torch-stubs/test/test_modulelist.py0transformer block with self-attention and mlp. generic over embedding dim, num heads, and block size.STRING
HIGHtensor-shapes/pyrefly-torch-stubs/examples/nanogpt.py0transformer block with self-attention and mlp. generic over embedding dim, num heads, and block size.STRING
HIGH…h-stubs/examples/runtime/nanogpt_future_annotations.py0transformer block with self-attention and mlp. generic over embedding dim, num heads, and block size.STRING
HIGH…xamples/runtime/nanogpt_future_annotations_runnable.py0transformer 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.py0transformer 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.py0transformer 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.py0identity function with symbolic dimension - preserves shapeSTRING
HIGH…ubs/test/negative_tests/test_check_symbolic_binding.py0identity function with symbolic dimension - preserves shapeSTRING
HIGH…s/test/negative_tests/test_typevar_substitution_bug.py0identity function with symbolic dimension - preserves shapeSTRING
HIGHtensor-shapes/pyrefly-torch-stubs/examples/nanogpt.py0layernorm but with an optional bias. generic over normalized dimension size.STRING
HIGH…h-stubs/examples/runtime/nanogpt_future_annotations.py0layernorm but with an optional bias. generic over normalized dimension size.STRING
HIGH…xamples/runtime/nanogpt_future_annotations_runnable.py0layernorm but with an optional bias. generic over normalized dimension size.STRING
HIGH…yrefly-torch-stubs/examples/runtime/nanogpt_sym_var.py0layernorm but with an optional bias. generic over normalized dimension size.STRING
HIGH…rch-stubs/examples/runtime/nanogpt_sym_var_runnable.py0layernorm but with an optional bias. generic over normalized dimension size.STRING
HIGHtensor-shapes/pyrefly-torch-stubs/examples/nanogpt.py0configuration for gpt model, generic over key dimensionsSTRING
HIGH…h-stubs/examples/runtime/nanogpt_future_annotations.py0configuration for gpt model, generic over key dimensionsSTRING
HIGH…xamples/runtime/nanogpt_future_annotations_runnable.py0configuration for gpt model, generic over key dimensionsSTRING
HIGH…yrefly-torch-stubs/examples/runtime/nanogpt_sym_var.py0configuration for gpt model, generic over key dimensionsSTRING
HIGH…rch-stubs/examples/runtime/nanogpt_sym_var_runnable.py0configuration for gpt model, generic over key dimensionsSTRING
HIGHtensor-shapes/pyrefly-torch-stubs/examples/nanogpt.py0multi-head causal self-attention. generic over embedding dim, num heads, and block size.STRING
HIGH…h-stubs/examples/runtime/nanogpt_future_annotations.py0multi-head causal self-attention. generic over embedding dim, num heads, and block size.STRING
HIGH…xamples/runtime/nanogpt_future_annotations_runnable.py0multi-head causal self-attention. generic over embedding dim, num heads, and block size.STRING
HIGH…yrefly-torch-stubs/examples/runtime/nanogpt_sym_var.py0multi-head causal self-attention. generic over embedding dim, num heads, and block size.STRING
HIGH…rch-stubs/examples/runtime/nanogpt_sym_var_runnable.py0multi-head causal self-attention. generic over embedding dim, num heads, and block size.STRING
HIGHtensor-shapes/pyrefly-torch-stubs/examples/nanogpt.py0multi-layer perceptron. generic over embedding dimension.STRING
HIGH…h-stubs/examples/runtime/nanogpt_future_annotations.py0multi-layer perceptron. generic over embedding dimension.STRING
HIGH…xamples/runtime/nanogpt_future_annotations_runnable.py0multi-layer perceptron. generic over embedding dimension.STRING
HIGH…yrefly-torch-stubs/examples/runtime/nanogpt_sym_var.py0multi-layer perceptron. generic over embedding dimension.STRING
HIGH…rch-stubs/examples/runtime/nanogpt_sym_var_runnable.py0multi-layer perceptron. generic over embedding dimension.STRING
HIGHtensor-shapes/pyrefly-torch-stubs/examples/nanogpt.py0typeddict for gptconfig constructor arguments, generic over key dimensionsSTRING
HIGH…h-stubs/examples/runtime/nanogpt_future_annotations.py0typeddict for gptconfig constructor arguments, generic over key dimensionsSTRING
HIGH…xamples/runtime/nanogpt_future_annotations_runnable.py0typeddict for gptconfig constructor arguments, generic over key dimensionsSTRING
HIGH…yrefly-torch-stubs/examples/runtime/nanogpt_sym_var.py0typeddict for gptconfig constructor arguments, generic over key dimensionsSTRING
HIGH…rch-stubs/examples/runtime/nanogpt_sym_var_runnable.py0typeddict for gptconfig constructor arguments, generic over key dimensionsSTRING
HIGHtensor-shapes/pyrefly-torch-stubs/examples/nanogpt.py0typeddict defining the structure of gpt transformer modules. generic over key dimensions.STRING
HIGH…h-stubs/examples/runtime/nanogpt_future_annotations.py0typeddict defining the structure of gpt transformer modules. generic over key dimensions.STRING
HIGH…xamples/runtime/nanogpt_future_annotations_runnable.py0typeddict defining the structure of gpt transformer modules. generic over key dimensions.STRING
HIGH…yrefly-torch-stubs/examples/runtime/nanogpt_sym_var.py0typeddict defining the structure of gpt transformer modules. generic over key dimensions.STRING
HIGH…rch-stubs/examples/runtime/nanogpt_sym_var_runnable.py0typeddict defining the structure of gpt transformer modules. generic over key dimensions.STRING
HIGHtensor-shapes/pyrefly-torch-stubs/examples/nanogpt.py0gpt language model. generic over vocabulary size, block size, embedding dim, num heads, and num layers.STRING
HIGH…h-stubs/examples/runtime/nanogpt_future_annotations.py0gpt language model. generic over vocabulary size, block size, embedding dim, num heads, and num layers.STRING
HIGH…xamples/runtime/nanogpt_future_annotations_runnable.py0gpt 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.py0gpt 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.py0gpt language model. generic over vocabulary size, block size, embedding dim, num heads, and num layers.STRING
HIGHtensor-shapes/pyrefly-torch-stubs/examples/nanogpt.py0return 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.py0return 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.py0return 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.py0return 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.py0return the number of parameters in the model. for non-embedding count (default), the position embeddings get subtracted.STRING
HIGHtensor-shapes/pyrefly-torch-stubs/examples/nanogpt.py0estimate model flops utilization (mfu) in units of a100 bfloat16 peak flopsSTRING
HIGH…h-stubs/examples/runtime/nanogpt_future_annotations.py0estimate model flops utilization (mfu) in units of a100 bfloat16 peak flopsSTRING
HIGH…xamples/runtime/nanogpt_future_annotations_runnable.py0estimate model flops utilization (mfu) in units of a100 bfloat16 peak flopsSTRING
HIGH…yrefly-torch-stubs/examples/runtime/nanogpt_sym_var.py0estimate model flops utilization (mfu) in units of a100 bfloat16 peak flopsSTRING
HIGH…rch-stubs/examples/runtime/nanogpt_sym_var_runnable.py0estimate model flops utilization (mfu) in units of a100 bfloat16 peak flopsSTRING
HIGHtensor-shapes/pyrefly-torch-stubs/examples/nanogpt.py0take 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.py0take 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.py0take 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.py0take 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.py0take a conditioning sequence of indices idx (longtensor of shape (b,t)) and complete the sequence max_new_tokens times, STRING
Unused Imports239 hits · 212 pts
SeverityFileLineSnippetContext
LOWtest.py13CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/setters.py3CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/validators.py3CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/__init__.py3CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/__init__.py3CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/__init__.py3CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/__init__.py3CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/__init__.py3CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/__init__.py3CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/__init__.py3CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/__init__.py3CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/__init__.py3CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/__init__.py3CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/__init__.py3CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/__init__.py3CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/__init__.py3CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/__init__.py3CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/__init__.py3CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/__init__.py3CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/__init__.py3CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/__init__.py3CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/__init__.py3CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/__init__.py25CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/__init__.py26CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/__init__.py26CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/__init__.py26CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/__init__.py28CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/__init__.py28CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/__init__.py28CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/__init__.py28CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/__init__.py28CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/exceptions.py3CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/converters.py3CODE
LOWpyrefly/lib/test/attrs/third-party/attrs/filters.py3CODE
LOWpyrefly/lib/test/attrs/third-party/attr/__init__.py10CODE
LOWpyrefly/lib/test/attrs/third-party/attr/__init__.py10CODE
LOWpyrefly/lib/test/attrs/third-party/attr/__init__.py10CODE
LOWpyrefly/lib/test/attrs/third-party/attr/__init__.py10CODE
LOWpyrefly/lib/test/attrs/third-party/attr/__init__.py10CODE
LOWpyrefly/lib/test/attrs/third-party/attr/__init__.py11CODE
LOWpyrefly/lib/test/attrs/third-party/attr/__init__.py12CODE
LOWpyrefly/lib/test/attrs/third-party/attr/__init__.py12CODE
LOWpyrefly/lib/test/attrs/third-party/attr/__init__.py13CODE
LOWpyrefly/lib/test/attrs/third-party/attr/__init__.py13CODE
LOWpyrefly/lib/test/attrs/third-party/attr/__init__.py13CODE
LOWpyrefly/lib/test/attrs/third-party/attr/__init__.py13CODE
LOWpyrefly/lib/test/attrs/third-party/attr/__init__.py13CODE
LOWpyrefly/lib/test/attrs/third-party/attr/__init__.py14CODE
LOWpyrefly/lib/test/attrs/third-party/attr/__init__.py14CODE
LOWpyrefly/lib/test/attrs/third-party/attr/__init__.py14CODE
LOWpyrefly/lib/test/attrs/third-party/attr/__init__.py14CODE
LOWpyrefly/lib/test/attrs/third-party/attr/__init__.py14CODE
LOWpyrefly/lib/test/attrs/third-party/attr/__init__.py14CODE
LOWpyrefly/lib/test/attrs/third-party/attr/__init__.py14CODE
LOWpyrefly/lib/test/attrs/third-party/attr/__init__.py14CODE
LOWpyrefly/lib/test/attrs/third-party/attr/__init__.py28CODE
LOWpyrefly/lib/test/attrs/third-party/attr/__init__.py28CODE
LOWpyrefly/lib/test/attrs/third-party/attr/__init__.py28CODE
LOWpyrefly/lib/test/attrs/third-party/attr/__init__.py28CODE
LOWpyrefly/lib/test/attrs/third-party/attr/exceptions.py3CODE
179 more matches not shown…
Excessive Try-Catch Wrapping91 hits · 114 pts
SeverityFileLineSnippetContext
LOWpyrefly/lib/test/returns.rs162 except Exception:CODE
LOWpyrefly/lib/test/paramspec.rs461 except Exception:CODE
LOWpyrefly/lib/test/scope.rs819 except Exception as e1:CODE
LOWpyrefly/lib/test/scope.rs827 except Exception as e2:CODE
LOWpyrefly/lib/test/scope.rs839 except Exception:CODE
LOWpyrefly/lib/test/scope.rs849 except Exception:CODE
LOWpyrefly/lib/test/scope.rs865 except Exception:CODE
LOWpyrefly/lib/test/scope.rs877 except Exception:CODE
MEDIUMpyrefly/lib/test/scope.rs816def try_except():CODE
MEDIUMpyrefly/lib/test/scope.rs824def try_except_finally():CODE
MEDIUMpyrefly/lib/test/scope.rs834def try_except_twice():CODE
MEDIUMpyrefly/lib/test/scope.rs844def try_except_multiple_finally():CODE
MEDIUMpyrefly/lib/test/scope.rs860def try_except_else():CODE
MEDIUMpyrefly/lib/test/scope.rs872def try_except_else_finally():CODE
LOWpyrefly/lib/test/flow_branching.rs307except Exception as e2:CODE
LOWpyrefly/lib/test/flow_branching.rs2389 except Exception:CODE
LOWpyrefly/lib/test/flow_branching.rs2406 except Exception as exc:CODE
LOWpyrefly/lib/test/flow_branching.rs2411 except Exception:CODE
MEDIUMpyrefly/lib/test/flow_branching.rs1720def f() -> int:CODE
LOWpyrefly/lib/test/attrs/third-party/attr/validators.py713 except Exception: # noqa: BLE001, PERF203, S112STRING
LOWpyrefly/lib/test/lsp/folding_ranges.rs263except Exception:CODE
LOWpyrefly/lib/test/lsp/folding_ranges.rs354 except Exception:CODE
LOWpyrefly/lib/test/lsp/semantic_tokens.rs832except Exception as e:CODE
LOWpyrefly/lib/test/lsp/semantic_tokens.rs1373except Exception as e:CODE
LOWpyrefly/lib/test/lsp/local_find_refs.rs237except Exception:CODE
LOWpyrefly/lib/test/lsp/definition.rs493 except Exception as e:CODE
LOW…iles/tests_requiring_config/with_synthetic_bindings.py10except Exception:CODE
LOWpyrefly/lib/report/glean/mod.rs140except Exception as ex:CODE
LOW…ates/tsp_types/protocol_generator/generate_protocol.py240 except Exception as e:CODE
LOW…ates/tsp_types/protocol_generator/generate_protocol.py965 except Exception as e:CODE
LOWcrates/pyrefly_bundled/update.py68 except Exception as e:CODE
MEDIUMschemas/validate_schemas.py31 print("Error: Required packages not installed.")CODE
LOWscripts/github_utils.py244 except Exception as e:CODE
LOWscripts/github_utils.py353 except Exception as e:CODE
LOWscripts/github_utils.py536 except Exception as e:CODE
LOWscripts/github_utils.py598 except Exception as e:CODE
MEDIUMscripts/github_utils.py727 print("Error: Repository must be in format owner/repo", file=sys.stderr)STRING
LOWscripts/github_utils.py772 except Exception as e:STRING
LOWscripts/github_utils.py916 except Exception as e:STRING
LOWscripts/compare_typecheckers.py801 except Exception as e:CODE
LOWscripts/generate_release_notes.py114 except Exception:CODE
LOWscripts/generate_release_notes.py126 except Exception as e:CODE
MEDIUMscripts/generate_release_notes.py527 print(f"Error: Unknown provider '{provider}'.", file=sys.stderr)CODE
MEDIUMscripts/generate_release_notes.py541 print(f"Error: Template file not found: {template_path}", file=sys.stderr)CODE
MEDIUMscripts/generate_release_notes.py547 print(f"Error: Prompt file not found: {prompt_path}", file=sys.stderr)CODE
MEDIUMscripts/generate_release_notes.py661 print("Error: Repository must be in 'owner/repo' format.", file=sys.stderr)CODE
LOWscripts/generate_release_notes.py699 except Exception as e:CODE
MEDIUMscripts/sandbox_links.py31 print("Error: lzstring package required. Install with: pip install lzstring")CODE
MEDIUMscripts/benchmark/typecheck_benchmark.py276 print(f"Error: {install_envs_file} not found")CODE
MEDIUMscripts/benchmark/typecheck_benchmark.py755 print("Error: No packages found in install_envs.json")CODE
LOWscripts/benchmark/typecheck_benchmark.py388 except Exception as e:CODE
MEDIUMscripts/benchmark/lsp_benchmark.py964 print(f"Error: {install_envs_file} not found")CODE
MEDIUMscripts/benchmark/lsp_benchmark.py1258 print("Error: No packages found in install_envs.json")CODE
MEDIUMscripts/benchmark/lsp_benchmark.py493def __exit__(self, exc_type, exc, tb) -> None:CODE
LOWscripts/benchmark/lsp_benchmark.py565 except Exception:CODE
LOWscripts/benchmark/lsp_benchmark.py569 except Exception:CODE
LOWscripts/benchmark/lsp_benchmark.py575 except Exception:CODE
LOWscripts/benchmark/lsp_benchmark.py580 except Exception:CODE
LOWscripts/benchmark/lsp_benchmark.py583 except Exception:CODE
LOWscripts/benchmark/lsp_benchmark.py378 except Exception as e:CODE
31 more matches not shown…
Docstring Block Structure22 hits · 110 pts
SeverityFileLineSnippetContext
HIGHpyrefly/lib/test/attrs/third-party/attr/_make.py580 Create a new instance, based on the first positional argument with *changes* applied. .. tip:: On STRING
HIGHpyrefly/lib/test/attrs/third-party/attr/_make.py1886 Return the tuple of *attrs* attributes for a class. The tuple also allows accessing the fields by their names STRING
HIGHpyrefly/lib/test/attrs/third-party/attr/_make.py1932 Return an ordered dictionary of *attrs* attributes for a class, whose keys are the attribute names. Args: STRING
HIGHpyrefly/lib/test/attrs/third-party/attr/_next_gen.py652 Inspect the class and return its effective build parameters. Warning: This feature is currently **expeSTRING
HIGHpyrefly/lib/test/attrs/third-party/attr/_funcs.py36 Return the *attrs* attribute values of *inst* as a dict. Optionally recurse into other *attrs*-decorated classSTRING
HIGHpyrefly/lib/test/attrs/third-party/attr/_funcs.py239 Return the *attrs* attribute values of *inst* as a tuple. Optionally recurse into other *attrs*-decorated clasSTRING
HIGHpyrefly/lib/test/attrs/third-party/attr/_funcs.py355 Check whether *cls* is a class with *attrs* attributes. Args: cls (type): Class to introspect. RaSTRING
HIGHpyrefly/lib/test/attrs/third-party/attr/_funcs.py383 Copy *inst* and apply *changes*. This is different from `evolve` that applies the changes to the arguments STRING
HIGHpyrefly/lib/test/attrs/third-party/attr/_funcs.py428 Resolve any strings and forward annotations in type annotations. This is only required if you need concrete tySTRING
HIGH…refly/lib/test/pydantic/third-party/pydantic/fields.py293Create a new `FieldInfo` object with the `Field` function. Args: default: The default value for theSTRING
HIGH…refly/lib/test/pydantic/third-party/pydantic/fields.py638Return a new `FieldInfo` instance from a `dataclasses.Field` instance. Args: dc_field: The `dataclaSTRING
HIGH…refly/lib/test/pydantic/third-party/pydantic/fields.py1195!!! abstract "Usage Documentation" [Fields](../concepts/fields.md) Create a field for objects that can be cSTRING
HIGH…refly/lib/test/pydantic/third-party/pydantic/fields.py1487!!! abstract "Usage Documentation" [Private Model Attributes](../concepts/models.md#private-model-attributes) STRING
HIGH…refly/lib/test/pydantic/third-party/pydantic/fields.py1664!!! abstract "Usage Documentation" [The `computed_field` decorator](../concepts/fields.md#the-computed_field-decSTRING
HIGH…y/lib/test/pydantic/third-party/pydantic/root_model.py87Create a new model using the provided root object and update fields set. Args: root: The root objecSTRING
HIGH…/lib/test/pydantic/third-party/pydantic/dataclasses.py113!!! abstract "Usage Documentation" [`dataclasses`](../concepts/dataclasses.md) A decorator used to create aSTRING
HIGHpyrefly/lib/test/pydantic/third-party/pydantic/main.py608Compute the class name for parametrizations of generic classes. This method can be overridden to achieve a custSTRING
HIGHpyrefly/lib/test/pydantic/third-party/pydantic/main.py730Validate a pydantic model instance. Args: obj: The object to validate. strict: Whether STRING
HIGHpyrefly/lib/test/pydantic/third-party/pydantic/main.py774!!! abstract "Usage Documentation" [JSON Parsing](../concepts/json.md#json-parsing) Validate the giSTRING
HIGHpyrefly/lib/test/pydantic/third-party/pydantic/main.py1891!!! abstract "Usage Documentation" [Dynamic Model Creation](../concepts/models.md#dynamic-model-creation) DSTRING
HIGH…/third-party/pydantic/_internal/_model_construction.py481Iterate over the namespace and: * gather private attributes * check for items which look like fields but are notSTRING
HIGH…/third-party/pydantic/_internal/_model_construction.py705Finish building a model class. This logic must be called after class has been created since validation functions muSTRING
Structural Annotation Overuse58 hits · 99 pts
SeverityFileLineSnippetContext
LOWpyrefly/lib/test/lsp/lsp_interaction/notebook_sync.rs289 // Step 1: Delete cell 2COMMENT
LOWpyrefly/lib/test/lsp/lsp_interaction/notebook_sync.rs309 // Step 2: Insert cell 2 at position 0COMMENT
LOWpyrefly/lib/report/pysa/module_index.rs143 // Step 1: Build short_identifier_to_function_ref and short_identifier_to_setter_refCOMMENT
LOWpyrefly/lib/report/pysa/module_index.rs182 // Step 2: Build func_def_to_function_ref by iterating allCOMMENT
LOWpyrefly/lib/report/pysa/module_index.rs198 // Step 3: Build class field mappings.COMMENT
LOWpyrefly/lib/alt/overload.rs271 // Step 1: eliminate overloads that accept an incompatible number of arguments.COMMENT
LOWpyrefly/lib/alt/overload.rs301 // Step 2: evaluate each overload as a regular (non-overloaded) call.COMMENT
LOWpyrefly/lib/alt/overload.rs316 // Step 3: perform argument type expansion.COMMENT
LOWpyrefly/lib/alt/overload.rs748 // Step 4: if any arguments supply an unknown number of args and at least oneCOMMENT
LOWpyrefly/lib/alt/overload.rs924 // Step 6: if there are still multiple matches, pick the first one.COMMENT
LOWpyrefly/lib/alt/solve.rs1552 // Step 1: Expand non-recursive UntypedAlias(Ref(...)) nodes byCOMMENT
LOWpyrefly/lib/alt/solve.rs1560 // Step 2: Check for cyclic self-references after expansion.COMMENT
LOWpyrefly/lib/alt/solve.rs1573 // Step 3: Extract type parameters from the (now expanded) body.COMMENT
LOWpyrefly/lib/alt/solve.rs2208 // Step 1: Compute raw TypeInfo (Vars unpinned)COMMENT
LOWpyrefly/lib/alt/solve.rs2211 // Step 2: Check whether the type actually contains partial types thatCOMMENT
LOWpyrefly/lib/alt/solve.rs2230 // Step 3: Store partial answer that the first-use solve will read and potentially pin.COMMENT
LOWpyrefly/lib/alt/solve.rs2233 // Step 4: Evaluate the first-use; throw away both the result and errors, this isCOMMENT
LOWpyrefly/lib/alt/solve.rs2243 // Step 5: Remove the partial answer, we've finished with it, and proceed toCOMMENT
LOW…s/skills/add-shape-types-to-torch-model/style_guide.md88### Step 1: Identify the degrees of freedomCOMMENT
LOW…s/skills/add-shape-types-to-torch-model/style_guide.md111### Step 2: Type the constructorCOMMENT
LOW…s/skills/add-shape-types-to-torch-model/style_guide.md125### Step 3: Type the forward signatureCOMMENT
LOW…-shapes/skills/add-shape-types-to-torch-model/SKILL.md183## Step 1: Inventory parametersCOMMENT
LOW…-shapes/skills/add-shape-types-to-torch-model/SKILL.md271## Step 2: Type the constructorCOMMENT
LOW…-shapes/skills/add-shape-types-to-torch-model/SKILL.md352## Step 3: Probe the forwardCOMMENT
LOW…-shapes/skills/add-shape-types-to-torch-model/SKILL.md386## Step 4: Restructure for trackingCOMMENT
LOW…-shapes/skills/add-shape-types-to-torch-model/SKILL.md508## Step 5: Write forward and assert_typeCOMMENT
LOW…-shapes/skills/add-shape-types-to-torch-model/SKILL.md579## Step 6: Post-module checklistCOMMENT
LOW…s/test/negative_tests/test_typevar_substitution_bug.py24 # Step 1: Create concrete tensorCOMMENT
LOW…s/test/negative_tests/test_typevar_substitution_bug.py28 # Step 2: Call functionCOMMENT
LOW…s/test/negative_tests/test_typevar_substitution_bug.py32 # Step 3: The concrete shape is preserved, so mismatched first dimensions are rejected.COMMENT
LOWcrates/pyrefly_types/src/dimension.rs278 // Step 1: Recursively canonicalize operandsCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs282 // Step 2: Flatten to list of termsCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs287 // Step 3: Combine like terms by extracting coefficientsCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs296 // Step 4: Rebuild terms, filtering out zero coefficientsCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs316 // Step 5: Sort terms by canonical orderCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs319 // Step 6: Build resultCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs414 // Step 1: Recursively canonicalize operandsCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs418 // Step 2: Flatten to list of factorsCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs423 // Step 3: Check for zeroCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs431 // Step 4: Separate literals from non-literalsCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs529 // Step 6: Sort factors by canonical orderCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs532 // Step 7: Add literal coefficient if not 1COMMENT
LOWcrates/pyrefly_types/src/dimension.rs539 // Step 8: Build resultCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs565 // Step 1: Canonicalize the numeratorCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs568 // Step 2: Check if numerator is a division - if so, flattenCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs575 // Step 3: Now canonicalize the denominatorCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs578 // Step 4: Apply simplificationsCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs726 // Step 1: Separate literals from non-literalsCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs730 // Step 2: Apply GCD to literalsCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs735 // Step 3: Find and remove structurally equal non-literal factorsCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs748 // Step 4: Rebuild numeratorCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs754 // Step 5: Rebuild denominatorCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs491 // Step 5: Distributive law — coeff * (a + b) → coeff*a + coeff*bCOMMENT
LOW…dbox-examples/tensor-shapes-tutorial-basics/sandbox.py17# Step 1: Use Dim to capture dimensions at constructionCOMMENT
LOW…dbox-examples/tensor-shapes-tutorial-basics/sandbox.py23 # Step 2: Method-level type param B for batch sizeCOMMENT
LOW…dbox-examples/tensor-shapes-tutorial-basics/sandbox.py30# Step 3: Verify shapes with concrete dimensionsCOMMENT
LOWscripts/primer_classifier/formatter.py81 # Step 1: linkify full source file pathsCOMMENT
LOWscripts/primer_classifier/formatter.py93 # Step 2: linkify internal function names (must contain underscore)COMMENT
Verbosity Indicators51 hits · 88 pts
SeverityFileLineSnippetContext
LOWpyrefly/lib/test/lsp/lsp_interaction/notebook_sync.rs289 // Step 1: Delete cell 2COMMENT
LOWpyrefly/lib/test/lsp/lsp_interaction/notebook_sync.rs309 // Step 2: Insert cell 2 at position 0COMMENT
LOWpyrefly/lib/report/pysa/module_index.rs143 // Step 1: Build short_identifier_to_function_ref and short_identifier_to_setter_refCOMMENT
LOWpyrefly/lib/report/pysa/module_index.rs182 // Step 2: Build func_def_to_function_ref by iterating allCOMMENT
LOWpyrefly/lib/report/pysa/module_index.rs198 // Step 3: Build class field mappings.COMMENT
LOWpyrefly/lib/alt/attr.rs2126 // `module_name` could refer to a package, in which case we need to check ifCOMMENT
LOWpyrefly/lib/alt/overload.rs271 // Step 1: eliminate overloads that accept an incompatible number of arguments.COMMENT
LOWpyrefly/lib/alt/overload.rs301 // Step 2: evaluate each overload as a regular (non-overloaded) call.COMMENT
LOWpyrefly/lib/alt/overload.rs316 // Step 3: perform argument type expansion.COMMENT
LOWpyrefly/lib/alt/overload.rs748 // Step 4: if any arguments supply an unknown number of args and at least oneCOMMENT
LOWpyrefly/lib/alt/overload.rs924 // Step 6: if there are still multiple matches, pick the first one.COMMENT
LOWpyrefly/lib/alt/solve.rs1552 // Step 1: Expand non-recursive UntypedAlias(Ref(...)) nodes byCOMMENT
LOWpyrefly/lib/alt/solve.rs1560 // Step 2: Check for cyclic self-references after expansion.COMMENT
LOWpyrefly/lib/alt/solve.rs1573 // Step 3: Extract type parameters from the (now expanded) body.COMMENT
LOWpyrefly/lib/alt/solve.rs2208 // Step 1: Compute raw TypeInfo (Vars unpinned)COMMENT
LOWpyrefly/lib/alt/solve.rs2211 // Step 2: Check whether the type actually contains partial types thatCOMMENT
LOWpyrefly/lib/alt/solve.rs2230 // Step 3: Store partial answer that the first-use solve will read and potentially pin.COMMENT
LOWpyrefly/lib/alt/solve.rs2233 // Step 4: Evaluate the first-use; throw away both the result and errors, this isCOMMENT
LOWpyrefly/lib/alt/solve.rs2243 // Step 5: Remove the partial answer, we've finished with it, and proceed toCOMMENT
LOWpyrefly/lib/alt/special_calls.rs448 // 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.py24 # Step 1: Create concrete tensorCOMMENT
LOW…s/test/negative_tests/test_typevar_substitution_bug.py28 # Step 2: Call functionCOMMENT
LOW…s/test/negative_tests/test_typevar_substitution_bug.py32 # Step 3: The concrete shape is preserved, so mismatched first dimensions are rejected.COMMENT
LOWcrates/pyrefly_types/src/dimension.rs278 // Step 1: Recursively canonicalize operandsCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs282 // Step 2: Flatten to list of termsCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs287 // Step 3: Combine like terms by extracting coefficientsCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs296 // Step 4: Rebuild terms, filtering out zero coefficientsCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs316 // Step 5: Sort terms by canonical orderCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs319 // Step 6: Build resultCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs414 // Step 1: Recursively canonicalize operandsCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs418 // Step 2: Flatten to list of factorsCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs423 // Step 3: Check for zeroCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs431 // Step 4: Separate literals from non-literalsCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs529 // Step 6: Sort factors by canonical orderCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs532 // Step 7: Add literal coefficient if not 1COMMENT
LOWcrates/pyrefly_types/src/dimension.rs539 // Step 8: Build resultCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs565 // Step 1: Canonicalize the numeratorCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs568 // Step 2: Check if numerator is a division - if so, flattenCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs575 // Step 3: Now canonicalize the denominatorCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs578 // Step 4: Apply simplificationsCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs726 // Step 1: Separate literals from non-literalsCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs730 // Step 2: Apply GCD to literalsCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs735 // Step 3: Find and remove structurally equal non-literal factorsCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs748 // Step 4: Rebuild numeratorCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs754 // Step 5: Rebuild denominatorCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs491 // Step 5: Distributive law — coeff * (a + b) → coeff*a + coeff*bCOMMENT
LOW…dbox-examples/tensor-shapes-tutorial-basics/sandbox.py17# Step 1: Use Dim to capture dimensions at constructionCOMMENT
LOW…dbox-examples/tensor-shapes-tutorial-basics/sandbox.py23 # Step 2: Method-level type param B for batch sizeCOMMENT
LOW…dbox-examples/tensor-shapes-tutorial-basics/sandbox.py30# Step 3: Verify shapes with concrete dimensionsCOMMENT
LOWscripts/primer_classifier/formatter.py81 # Step 1: linkify full source file pathsCOMMENT
LOWscripts/primer_classifier/formatter.py93 # Step 2: linkify internal function names (must contain underscore)COMMENT
Deep Nesting67 hits · 58 pts
SeverityFileLineSnippetContext
LOWpyrefly/lib/test/attrs/third-party/attr/_make.py379CODE
LOWpyrefly/lib/test/attrs/third-party/attr/_make.py1319CODE
LOWpyrefly/lib/test/attrs/third-party/attr/_make.py2143CODE
LOWpyrefly/lib/test/attrs/third-party/attr/_make.py666CODE
LOWpyrefly/lib/test/attrs/third-party/attr/_make.py813CODE
LOWpyrefly/lib/test/attrs/third-party/attr/_make.py849CODE
LOWpyrefly/lib/test/attrs/third-party/attr/_make.py1435CODE
LOWpyrefly/lib/test/attrs/third-party/attr/_funcs.py28CODE
LOWpyrefly/lib/test/attrs/third-party/attr/_funcs.py154CODE
LOWpyrefly/lib/test/attrs/third-party/attr/_funcs.py232CODE
LOW…refly/lib/test/pydantic/third-party/pydantic/fields.py485CODE
LOW…refly/lib/test/pydantic/third-party/pydantic/fields.py569CODE
LOW…refly/lib/test/pydantic/third-party/pydantic/fields.py733CODE
LOW…refly/lib/test/pydantic/third-party/pydantic/fields.py838CODE
LOWpyrefly/lib/test/pydantic/third-party/pydantic/types.py1017CODE
LOWpyrefly/lib/test/pydantic/third-party/pydantic/main.py335CODE
LOWpyrefly/lib/test/pydantic/third-party/pydantic/main.py424CODE
LOWpyrefly/lib/test/pydantic/third-party/pydantic/main.py1514CODE
LOWpyrefly/lib/test/pydantic/third-party/pydantic/main.py1134CODE
LOW…/third-party/pydantic/_internal/_model_construction.py474CODE
LOW…/third-party/pydantic/_internal/_model_construction.py108CODE
LOWtensor-shapes/pyrefly-torch-stubs/run_pyrefly.py50CODE
LOW…ates/tsp_types/protocol_generator/generate_protocol.py62CODE
LOW…ates/tsp_types/protocol_generator/generate_protocol.py299CODE
LOW…ates/tsp_types/protocol_generator/generate_protocol.py403CODE
LOW…ates/tsp_types/protocol_generator/generate_protocol.py547CODE
LOW…ates/tsp_types/protocol_generator/generate_protocol.py726CODE
LOWscripts/github_utils.py89CODE
LOWscripts/github_utils.py558CODE
LOWscripts/github_utils.py780CODE
LOWscripts/github_utils.py358CODE
LOWscripts/compare_typecheckers.py213CODE
LOWscripts/compare_typecheckers.py494CODE
LOWscripts/generate_release_notes.py334CODE
LOWscripts/llm_transport.py220CODE
LOWscripts/benchmark/typecheck_benchmark.py304CODE
LOWscripts/benchmark/typecheck_benchmark.py527CODE
LOWscripts/benchmark/typecheck_benchmark.py838CODE
LOWscripts/benchmark/lsp_benchmark.py191CODE
LOWscripts/benchmark/lsp_benchmark.py386CODE
LOWscripts/benchmark/lsp_benchmark.py1026CODE
LOWscripts/benchmark/lsp_benchmark.py1057CODE
LOWscripts/benchmark/lsp_benchmark.py1407CODE
LOWscripts/benchmark/lsp_benchmark.py525CODE
LOWscripts/benchmark/lsp_benchmark.py703CODE
LOWscripts/issue_ranker/report_formatter.py14CODE
LOWscripts/issue_ranker/issue_checker.py77CODE
LOWscripts/issue_ranker/__main__.py127CODE
LOWscripts/issue_ranker/__main__.py303CODE
LOWscripts/issue_ranker/passes/primer_impact.py171CODE
LOWscripts/issue_ranker/passes/rank.py134CODE
LOWscripts/issue_ranker/passes/rank.py305CODE
LOWscripts/primer_classifier/cross_checker.py314CODE
LOWscripts/primer_classifier/formatter.py189CODE
LOWscripts/primer_classifier/formatter.py246CODE
LOWscripts/primer_classifier/classifier.py199CODE
LOWscripts/primer_classifier/classifier.py812CODE
LOWscripts/primer_classifier/parser.py161CODE
LOWscripts/primer_classifier/llm_client.py225CODE
LOWscripts/primer_classifier/llm_client.py407CODE
7 more matches not shown…
Fake / Example Data43 hits · 48 pts
SeverityFileLineSnippetContext
LOWpyrefly/lib/test/literal.rs513Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOWpyrefly/lib/test/literal.rs513Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOWpyrefly/lib/test/literal.rs514Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOWpyrefly/lib/test/literal.rs514Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOWpyrefly/lib/test/literal.rs515Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOWpyrefly/lib/test/literal.rs515Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOWpyrefly/lib/test/literal.rs516Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOWpyrefly/lib/test/literal.rs516Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOWpyrefly/lib/test/literal.rs517Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOWpyrefly/lib/test/literal.rs517Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOWpyrefly/lib/test/literal.rs518Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOWpyrefly/lib/test/literal.rs518Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOWpyrefly/lib/test/literal.rs519Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOWpyrefly/lib/test/literal.rs519Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOWpyrefly/lib/test/literal.rs520Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOWpyrefly/lib/test/literal.rs520Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOWpyrefly/lib/test/literal.rs521Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOWpyrefly/lib/test/literal.rs521Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOWpyrefly/lib/test/literal.rs522Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOWpyrefly/lib/test/literal.rs522Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOWpyrefly/lib/test/literal.rs523Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOWpyrefly/lib/test/literal.rs523Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOWpyrefly/lib/test/literal.rs524Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOWpyrefly/lib/test/literal.rs524Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOWpyrefly/lib/test/literal.rs525Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOWpyrefly/lib/test/literal.rs525Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOWpyrefly/lib/test/literal.rs526Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOWpyrefly/lib/test/literal.rs526Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOWpyrefly/lib/test/literal.rs527Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOWpyrefly/lib/test/literal.rs527Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOW…refly/lib/test/pydantic/third-party/pydantic/config.py78 user = User(name='John Doe', age=20) # (2)!STRING
LOW…refly/lib/test/pydantic/third-party/pydantic/config.py80 #> name='John Doe'STRING
LOW…refly/lib/test/pydantic/third-party/pydantic/config.py260 user = User(name='John Doe') # (1)!STRING
LOW…refly/lib/test/pydantic/third-party/pydantic/config.py262 #> name='John Doe'STRING
LOW…refly/lib/test/pydantic/third-party/pydantic/config.py279 user = User(name='John Doe') # (2)!STRING
LOW…refly/lib/test/pydantic/third-party/pydantic/config.py281 #> name='John Doe'STRING
LOWcrates/pyrefly_types/src/types.rs1347 /// Collect "placeholder" vars - vars that are placeholders for a not-yet-solved type, likeCOMMENT
LOWscripts/primer_classifier/test_cross_checker.py168 mock_backend.return_value = ("anthropic", "fake-key")CODE
LOWscripts/primer_classifier/test_cross_checker.py193 mock_backend.return_value = ("anthropic", "fake-key")CODE
LOWscripts/primer_classifier/test_cross_checker.py209 mock_backend.return_value = ("anthropic", "fake-key")CODE
LOWscripts/primer_classifier/test_cross_checker.py234 mock_backend.return_value = ("anthropic", "fake-key")CODE
LOWscripts/primer_classifier/test_cross_checker.py259 mock_backend.return_value = ("anthropic", "fake-key")CODE
LOWscripts/primer_classifier/test_cross_checker.py271 mock_backend.return_value = ("anthropic", "fake-key")CODE
AI Structural Patterns40 hits · 38 pts
SeverityFileLineSnippetContext
LOWpyrefly/lib/test/attrs/third-party/attr/_make.py106CODE
LOWpyrefly/lib/test/attrs/third-party/attr/_make.py1319CODE
LOWpyrefly/lib/test/attrs/third-party/attr/_make.py2483CODE
LOWpyrefly/lib/test/attrs/third-party/attr/_next_gen.py23CODE
LOWpyrefly/lib/test/attrs/third-party/attr/_next_gen.py437CODE
LOW…p_interaction/test_files/call_hierarchy_test/caller.py15CODE
LOW…refly/lib/test/pydantic/third-party/pydantic/fields.py922CODE
LOW…refly/lib/test/pydantic/third-party/pydantic/fields.py961CODE
LOW…refly/lib/test/pydantic/third-party/pydantic/fields.py1000CODE
LOW…refly/lib/test/pydantic/third-party/pydantic/fields.py1039CODE
LOW…refly/lib/test/pydantic/third-party/pydantic/fields.py1078CODE
LOW…refly/lib/test/pydantic/third-party/pydantic/fields.py1117CODE
LOW…refly/lib/test/pydantic/third-party/pydantic/fields.py1154CODE
LOW…refly/lib/test/pydantic/third-party/pydantic/fields.py1634CODE
LOW…refly/lib/test/pydantic/third-party/pydantic/fields.py1649CODE
LOWpyrefly/lib/test/pydantic/third-party/pydantic/types.py1041CODE
LOW…y/lib/test/pydantic/third-party/pydantic/root_model.py137CODE
LOW…/lib/test/pydantic/third-party/pydantic/dataclasses.py99CODE
LOW…/lib/test/pydantic/third-party/pydantic/dataclasses.py33CODE
LOW…/lib/test/pydantic/third-party/pydantic/dataclasses.py50CODE
LOW…/lib/test/pydantic/third-party/pydantic/dataclasses.py69CODE
LOW…/lib/test/pydantic/third-party/pydantic/dataclasses.py84CODE
LOWpyrefly/lib/test/pydantic/third-party/pydantic/main.py460CODE
LOWpyrefly/lib/test/pydantic/third-party/pydantic/main.py518CODE
LOWpyrefly/lib/test/pydantic/third-party/pydantic/main.py1458CODE
LOW…s/pyrefly-torch-stubs/test/test_symbolic_dimensions.py193CODE
LOW…shapes/pyrefly-torch-stubs/test/test_recursive_skip.py928CODE
LOW…sor-shapes/pyrefly-torch-stubs/examples/super_slomo.py224CODE
LOWtensor-shapes/pyrefly-torch-stubs/examples/densenet.py82CODE
LOWtensor-shapes/pyrefly-torch-stubs/examples/stargan.py148CODE
LOWtensor-shapes/pyrefly-torch-stubs/examples/resnet.py54CODE
LOWtensor-shapes/pyrefly-torch-stubs/examples/resnet.py86CODE
LOWtensor-shapes/pyrefly-torch-stubs/examples/apg.py193CODE
LOWtensor-shapes/pyrefly-torch-stubs/examples/apg.py287CODE
LOWtensor-shapes/pyrefly-torch-stubs/examples/gptfast.py582CODE
LOW…yrefly-torch-stubs/examples/runtime/gptfast_sym_var.py592CODE
LOW…xamples/runtime/gptfast_future_annotations_runnable.py545CODE
LOW…rch-stubs/examples/runtime/gptfast_sym_var_runnable.py535CODE
LOW…h-stubs/examples/runtime/gptfast_future_annotations.py587CODE
LOWscripts/benchmark/typecheck_benchmark.py719CODE
Self-Referential Comments12 hits · 30 pts
SeverityFileLineSnippetContext
MEDIUM…test/lsp/lsp_interaction/test_files/error_docs_test.py7# This file contains various error types to test that documentation links are properly includedCOMMENT
MEDIUMpyrefly/lib/test/pydantic/third-party/pydantic/types.py984 # Create an instanceSTRING
MEDIUM…y/lib/test/pydantic/third-party/pydantic/root_model.py152 """This method is included just to get a more accurate return type for type checkers.STRING
MEDIUM…/third-party/pydantic/_internal/_model_construction.py443 """This function is meant to behave like a BaseModel method to initialise private attributes.STRING
MEDIUM…fly-torch-stubs/test/test_general_unpacked_matching.py37 # Create a tensor with more complex unpacked shapeCOMMENT
MEDIUM…fly-torch-stubs/test/test_general_unpacked_matching.py59 # Create a tensor with more complex unpacked shapeCOMMENT
MEDIUMtensor-shapes/pyrefly-torch-stubs/examples/dlrm.py372 # Create a standard EmbeddingBag and prepare for quantizationCOMMENT
MEDIUM…ates/tsp_types/protocol_generator/generate_protocol.py508 # Create an alias for the result type that matches the response nameCOMMENT
MEDIUMschemas/test-pyrefly.toml2# This file contains examples of all configuration optionsCOMMENT
MEDIUMscripts/benchmark/lsp_benchmark.py848 # Create a small probe fileCOMMENT
MEDIUMscripts/primer_classifier/test_classifier.py916 # Create a source context large enough that the diff budget matters.COMMENT
MEDIUM.github/workflows/create_release.yml7# Creating the release will in turn trigger release_binaries.ymlCOMMENT
AI Slop Vocabulary10 hits · 26 pts
SeverityFileLineSnippetContext
MEDIUMpyrefly/lib/test/attrs/attributes.rs289// Checked via construction (not the inferred param type) to stay robust to the separateCOMMENT
LOWpyrefly/lib/test/pydantic/third-party/pydantic/types.py1745 # hence we just use `secret_display`COMMENT
LOWpyrefly/lib/test/pydantic/third-party/pydantic/main.py1288 # early if there are no keys to ignore (we would just return False later on anyway)COMMENT
MEDIUMpyrefly/lib/solver/subset.rs2632 // Pyrefly incremental more robust.COMMENT
MEDIUMpyrefly/lib/state/lsp.rs419 /// downstream logic can utilize the info.COMMENT
MEDIUMpyrefly/lib/alt/answers_solver.rs1280 /// (cycle_start), making it a robust anchor.COMMENT
MEDIUMpyrefly/lib/alt/answers_solver.rs1320 // (cycle_start), making it a more robust anchor.COMMENT
MEDIUMpyrefly/lib/alt/class/dataclass.rs477 // left to the stub, avoiding false positives and staying robust to new `Type` variants.COMMENT
LOW…pes/pyrefly-torch-stubs/examples/speech_transformer.py359# so we skip adding it and just pass through. The original adds it to src_seq.COMMENT
MEDIUMconformance/third_party/generics_variance.py10# > To facilitate the declaration of container types where covariant orCOMMENT
Modern Structural Boilerplate19 hits · 19 pts
SeverityFileLineSnippetContext
LOWpyrefly/lib/test/attrs/third-party/attrs/__init__.py31__all__ = [CODE
LOWpyrefly/lib/test/attrs/third-party/attr/validators.py19__all__ = [CODE
LOWpyrefly/lib/test/attrs/third-party/attr/__init__.py43__all__ = [CODE
LOWpyrefly/lib/test/attrs/third-party/attr/converters.py13__all__ = [CODE
LOWpyrefly/lib/test/attrs/third-party/attr/_config.py3__all__ = ["get_run_validators", "set_run_validators"]CODE
LOW…ction/test_files/prefer_pyi_when_missing_in_py/main.py8__all__ = ["bar"]CODE
LOW…p_interaction/test_files/unused_import_all/__init__.py8__all__ = ["Foo", "Baz"]CODE
LOW…action/test_files/dunder_all_submodule/pkg/__init__.py6__all__ = ["sub"]CODE
LOW…est/pydantic/third-party/pydantic_settings/__init__.py7__all__ = ["BaseSettings"]CODE
LOW…refly/lib/test/pydantic/third-party/pydantic/fields.py1564 def _update_from_config(self, config_wrapper: ConfigWrapper, name: str) -> None:CODE
LOWpyrefly/lib/test/pydantic/third-party/pydantic/main.py1777 def update_forward_refs(cls, **localns: Any) -> None: # noqa: D102CODE
LOW…/third-party/pydantic/_internal/_model_construction.py627def set_default_hash_func(cls: type[BaseModel], bases: tuple[type[Any], ...]) -> None:CODE
LOW…/third-party/pydantic/_internal/_model_construction.py818def set_deprecated_descriptors(cls: type[BaseModel]) -> None:CODE
LOWpyrefly/lib/test/stubgen/dunder_all/input.py8__all__ = ["public_func", "PublicClass", "PUBLIC_VAR", "Vector"]CODE
LOWpyrefly/lib/test/stubgen/dunder_all_reexport/input.py8__all__ = ["op"]CODE
LOWtensor-shapes/pyrefly-torch-stubs/examples/bert.py282 def set_mask(self, mask: Tensor) -> None:CODE
LOWconformance/conformance_output.py50def update_file(file_path: str, content: str) -> None:CODE
LOWconformance/third_party/typeddicts_readonly_update.py33def update_a(a: A, b: B) -> None:CODE
LOWconformance/third_party/generics_variance_inference.py145 def set_value(self, value: T) -> None:CODE
Cross-Language Confusion4 hits · 18 pts
SeverityFileLineSnippetContext
HIGHscripts/issue_ranker/llm_tests/run_tests.py12 cd scripts && python3 -m issue_ranker.llm_tests.run_testsSTRING
HIGHscripts/issue_ranker/passes/primer_impact.py98 '{"match": null} if no match.'CODE
HIGHconformance/third_party/directives_version_platform.py66 this_raises = val10 # E?: `val10` is undefined, but support for `os.name` is optionalCODE
HIGHconformance/third_party/directives_version_platform.py75 this_raises = val13 # E?: `val13` is undefined, but support for `os.name` is optionalCODE
Modern AI Meta-Vocabulary4 hits · 13 pts
SeverityFileLineSnippetContext
MEDIUMrelease_notes/release-notes-v1.0.0.md103- **Pyrefly \+ AI agents** — Pyrefly's speed makes it a natural verification step in agentic workflows. See our guide onCODE
MEDIUMwebsite/blog/2026-05-12-v1.0.md143We have already published a guide on [adding Pyrefly to your agentic loop](https://pyrefly.org/blog/pyrefly-agentic-loopCODE
MEDIUMscripts/benchmark/typecheck_benchmark.py715# Main benchmark orchestrationCOMMENT
MEDIUMscripts/benchmark/lsp_benchmark.py952# Multi-package orchestration helpersCOMMENT
Redundant / Tautological Comments8 hits · 12 pts
SeverityFileLineSnippetContext
LOWpyrefly/lib/test/attrs/third-party/attr/_make.py698 # Check if the pre init method has more arguments than just `self`COMMENT
LOW…s/skills/add-shape-types-to-torch-model/verify_port.sh97 # Check if the line has a comment explaining the root causeCOMMENT
LOW…ates/tsp_types/protocol_generator/generate_protocol.py51 # Check if it's a version string like "0.1.0"COMMENT
LOWwebsite/scripts/audit_and_fix_vulnerabilities.sh20# Check if there are vulnerabilitiesCOMMENT
LOWscripts/github_utils.py55 # Check if username ends with [bot]COMMENT
LOWscripts/benchmark/lsp_benchmark.py1466 # Open the file on each serverCOMMENT
LOWscripts/issue_ranker/passes/score.py118 # Check if this issue is in any duplicate clusterCOMMENT
LOWscripts/primer_classifier/llm_client.py328 # Check if the LLM is requesting additional filesCOMMENT
Hallucination Indicators1 hit · 10 pts
SeverityFileLineSnippetContext
CRITICALpyrefly/lib/state/state.rs3005 if self.transaction.data.state.run_count.load(Ordering::SeqCst) <= 1 {CODE
Slop Phrases3 hits · 8 pts
SeverityFileLineSnippetContext
LOWpyrefly/lib/test/flow_branching.rs219// Regression test to ensure we don't forget to create loop recursionCOMMENT
MEDIUMpyrefly/lib/test/attrs/third-party/attr/_funcs.py496 # Return the class so you can use it as a decorator too.COMMENT
MEDIUMconformance/third_party/generics_type_erasure.py25# > you can use an annotation to force the type of the variable, e.g.:COMMENT
Synthetic Comment Markers1 hit · 8 pts
SeverityFileLineSnippetContext
HIGHpyrefly/lib/alt/call.rs2105 // log a name-not-found error, but we also assert/reveal the type as requested.COMMENT
Overly Generic Function Names7 hits · 7 pts
SeverityFileLineSnippetContext
LOW…lsp_interaction/test_files/code_lens/main_and_tests.py9def helper():CODE
LOW…action/test_files/prefixed_with_underscore/_private.py7def my_function():CODE
LOW…p_interaction/test_files/call_hierarchy_test/callee.py7def my_function():CODE
LOW…components/landing-page/PerformanceComparisonChart.tsx128function getData(project: ProjectValue): TypeCheckerData[] {CODE
LOWconformance/third_party/literals_parameterizations.py56def my_function(x: Literal[1 + 2]) -> int: # ECODE
LOWconformance/third_party/literals_literalstring.py23def my_function(literal_string: LiteralString) -> LiteralString:CODE
LOWconformance/third_party/generics_scoping.py67 def do_something(self, x: S) -> S: # OKCODE
Dead Code3 hits · 6 pts
SeverityFileLineSnippetContext
MEDIUMconformance/third_party/annotations_generators.py140CODE
MEDIUMconformance/third_party/annotations_generators.py145CODE
MEDIUMconformance/third_party/annotations_generators.py190CODE