Home / facebook / pyrefly
AI Slop Code RIsk Monitor

facebook/pyrefly

A fast type checker and language server for Python

7.1 Moderate pattern signal View on GitHub

Maintenance and Governance Review

This report summarizes scanner evidence for facebook/pyrefly, a Rust project with 7,077 GitHub stars. SynthScan examined 684,024 lines of code across 1913 source files, recording 3380 pattern matches distributed across 25 syntactic categories. The legacy adjusted pattern signal is 7.1 (Moderate pattern signal); it is not an authorship estimate.

Use the findings to ask whether maintainers can explain intent, verify dependencies, simplify unnecessary scaffolding, and focus review effort. Risk Payload v1 adds ownership, supply-chain, over-engineering, and review-effort vectors when available. These are prompts for human verification, not probabilities, security findings, or measured maintenance costs.

7.1
Adjusted Signal
7.1
Raw Pattern Score
100%
Time Factor
2026-10-10
Last Push
7.1K
Stars
Rust
Language
684.0K
Lines of Code
1.9K
Files
3.4K
Pattern Hits
2026-10-12
Scan Date
0.12
HC Hit Rate

Risk Review · v3

Use each vector to guide manual verification of the underlying findings.

Cognitive Ownership Risk 14.5/100 · LOW

Can maintainers explain intent, assumptions, and trade-offs? 1939 finding(s).

Hallucinated Dependency & Supply Chain Risk 4.3/100 · LOW

Are imports declared and package/API names verified? 786 finding(s).

Agent Over-Engineering Ratio 21.4/100 · LOW

Are wrappers, guards, and repeated structures necessary? 1776 finding(s).

PR Review Velocity Impact 32.1/100 · MEDIUM

Which changes need focused human review? 3380 finding(s).

What These Metrics Mean

Adjusted Signal
Legacy pattern score normalized per 1,000 scanned lines and multiplied by the repository-level time factor. It is not an estimate of AI authorship.
Raw Pattern Score
Sum of severity- and context-weighted pattern findings before applying the time factor.
Time Factor
A coarse multiplier based on repository last-push metadata. It does not identify when individual code was written.
Pattern Hits
Count of configured pattern findings. Review each location and surrounding code before acting.
HC Hit Rate
High- and critical-severity findings per scanned file. Severity is a configured detector weight, not proof of a vulnerability or authorship.
Lines / Files
Scan coverage denominators used by the legacy normalized score.

Pattern-Signal History

This chart tracks the legacy adjusted pattern score across scan runs. Changes can reflect source changes, scan coverage, or detector/scoring versions; they do not measure AI adoption or prove that a team refactored code. Compare runs only when their scoring versions are compatible. The dashed line tracks the raw pattern-hit count.

Severity Breakdown

Groups findings by configured severity weight. Severity is not a confidence estimate, security rating, or proof that a package is missing. Verify imports against the project's manifests and inspect each finding in its local design context.

CRITICAL 1HIGH 230MEDIUM 378LOW 2771

Directory Score Breakdown

This horizontal bar chart shows where configured pattern scores accumulate across directories. Treat the bars as locations to inspect, not as evidence of authorship or code quality. Use the file-level findings to decide whether a directory needs a focused ownership, dependency, complexity, or review check.

Pattern Findings

The scanner identified 3380 distinct pattern matches across 25 syntactic categories. Each entry below represents a discrete location in the source code where the engine recorded a detector match to inspect in context. 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 configured finding weight (CRITICAL / HIGH / MEDIUM / LOW). The Context column identifies whether the match occurred inside executable code, an inline comment, or a string literal — legacy comment-context matches receive a ×1.5 score weight. The ⚡ bolt icon marks clustered matches: three or more patterns within a 10-line window, each receiving an additional ×1.5 density multiplier under the legacy scoring model.

Hyper-Verbose Identifiers1083 hits · 1114 pts
SeverityFileLineSnippetContext
LOWpyrefly/lib/test/generic_callable_degeneracy.rs77def preserve_argument_inference(CODE
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.rs600def generator_with_only_yield_from() -> Iterator[int]:CODE
LOWpyrefly/lib/test/returns.rs824def uninitialized_local_logic(value: int | str | float) -> str:CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs2328def contradictory_source_true() -> Tensor[[contradictory_source_or(None, Int[3], Int[7], True)]]: ...CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs2329def contradictory_source_false() -> Tensor[[contradictory_source_or(None, Int[3], Int[7], False)]]: ...CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs2330def contradictory_branch_none() -> Tensor[[contradictory_branch(None, Int[7])]]: ...CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs2334def conditional_literal_local_true() -> Tensor[conditional_literal_local_tuple(True)]: ...CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs2335def conditional_literal_local_false() -> Tensor[conditional_literal_local_tuple(False)]: ...CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs3668def defaulted_helper_mismatch(n: Int, k: int) -> Int:CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs3677def inconsistent_helper_branches(n: Int, k: int, first: bool) -> Int:CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs3684def conflicting_branch_return_dimension_first(CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs4022def optional_literal_comparison() -> Tensor[[optional_lt_literal(Int[2], Int[7], Int[8])]]: ...CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs4023def reversed_optional_literal_comparison() -> Tensor[[literal_lt_optional(Int[2], Int[7], Int[8])]]: ...CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs4024def optional_parameter_comparison() -> Tensor[[optional_lt_parameter(Int[2], Int[3], Int[7], Int[8])]]: ...CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs4359def subtract_overflow_reversed() -> Tensor[[flag_subtract(9223372036854775807, -1)]]: ...CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs4361def multiply_overflow_reversed() -> Tensor[[flag_multiply(2, 9223372036854775807)]]: ...CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs4363def modulo_min_by_negative_one() -> Tensor[[flag_modulo(-9223372036854775808, -1)]]: ...CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs5771def bare_concrete_tuple_splat(CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs5781def bare_concrete_inttuple_splat(CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs5786def bare_splat_matches_elements_spelling(CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs9486def einsum_implicit_kernel_ir() -> int:CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs9491def einsum_malformed_kernel_ir() -> int:CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs9496def einsum_repeated_output_kernel_ir() -> int:CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs9501def einsum_ellipsis_masked_kernel_ir() -> int:CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs9506def einsum_ellipsis_kernel_ir() -> int:CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs9639def einsum_implicit_kernel_fn() -> int: ...CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs9642def einsum_malformed_kernel_fn() -> int: ...CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs9645def einsum_repeated_output_kernel_fn() -> int: ...CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs9648def einsum_ellipsis_masked_kernel_fn() -> int: ...CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs9651def einsum_ellipsis_kernel_fn() -> int: ...CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs11017def check_overflow_floor_divide(x: Tensor[[2, 3]]) -> Tensor[overflow_floor_divide(IntTuple[2, 3])]: ...CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs11018def check_overflow_negative_literal(x: Tensor[[2, 3]]) -> Tensor[overflow_negative_literal(IntTuple[2, 3])]: ...CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs11021def check_invalid_right_operand(x: Tensor[[2, 3]]) -> Tensor[invalid_right_operand_after_overflow(IntTuple[2, 3])]: ...CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs11022def check_unknown_modulo_zero(x: Tensor[[2, 3]]) -> Tensor[unknown_modulo_zero(IntTuple[2, 3], int)]: ...CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs11028def check_unknown_before_invalid(x: Tensor[[2, 3]]) -> Tensor[unknown_before_invalid(IntTuple[2, 3], int)]: ...CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs11029def check_known_before_invalid(x: Tensor[[2, 3]]) -> Tensor[known_before_invalid(IntTuple[2, 3])]: ...CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs11030def check_invalid_before_unknown(x: Tensor[[2, 3]]) -> Tensor[invalid_before_unknown(IntTuple[2, 3], int)]: ...CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs11031def check_false_before_invalid(x: Tensor[[2, 3]]) -> Tensor[false_before_invalid(IntTuple[2, 3], IntTuple[1])]: ...CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs12707def narrowed_optional_to_required(shape: IntTuple, mode: str | None) -> IntTuple:CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs12713def narrowed_value_to_optional(shape: IntTuple, mode: str | None) -> IntTuple:CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs12719def inferred_optional_to_required(CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs12751def apply_narrowed_flag_arithmetic() -> Tensor[[narrowed_flag_arithmetic_to_int_helper(2, Int[7])]]: ...CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs12756def apply_narrowed_optional_to_required() -> Tensor[narrowed_optional_to_required(IntTuple[2, 3], "keep")]: ...CODE
LOW⚡pyrefly/lib/test/shape_dsl.rs12757def apply_narrowed_value_to_optional() -> Tensor[narrowed_value_to_optional(IntTuple[2, 3], "keep")]: ...CODE
LOWpyrefly/lib/test/shape_dsl.rs738def second_string_is_not_a_docstring(x: Int) -> Int:CODE
LOWpyrefly/lib/test/shape_dsl.rs744def nested_string_is_not_a_docstring(x: Int) -> Int:CODE
LOWpyrefly/lib/test/shape_dsl.rs1349def gradual_claim_must_be_true(x: Array[[2, 3], int]) -> None:CODE
LOWpyrefly/lib/test/shape_dsl.rs1411def explicit_class_non_shape_arg(bad: Box[list[int]]) -> None: # E: Tensor shape dimensions must be integer literals, sCODE
LOWpyrefly/lib/test/shape_dsl.rs1527def nested_concrete_tuple_carrier(CODE
LOWpyrefly/lib/test/shape_dsl.rs1532def nested_unbounded_tuple_carrier(CODE
LOWpyrefly/lib/test/shape_dsl.rs1579def shapeful_unbounded_middle(CODE
LOWpyrefly/lib/test/shape_dsl.rs1968def check_accumulated_upper_bound(CODE
LOWpyrefly/lib/test/shape_dsl.rs2292def conditional_literal_local_tuple(choose: bool) -> IntTuple:CODE
LOWpyrefly/lib/test/shape_dsl.rs2297def arithmetic_literal_local_tuple(_unused: Int) -> IntTuple:CODE
LOWpyrefly/lib/test/shape_dsl.rs2521def branch_narrowing_does_not_leak(CODE
LOWpyrefly/lib/test/shape_dsl.rs2692def deferred_to_int_or_optional(CODE
LOWpyrefly/lib/test/shape_dsl.rs2728def deferred_flag_to_wider_flag(CODE
1023 more matches not shown…
Decorative Section Separators330 hits · 986 pts
SeverityFileLineSnippetContext
MEDIUMpyrefly/lib/test/shape_dsl.rs10011 // ── Recursion-safety tests ────────────────────────────────────────────────────COMMENT
MEDIUMtensor-shapes/jax-pyrefly-stubs/examples/nanogpt.py36# ============================================================================COMMENT
MEDIUMtensor-shapes/jax-pyrefly-stubs/examples/nanogpt.py38# ============================================================================COMMENT
MEDIUMtensor-shapes/jax-pyrefly-stubs/examples/nanogpt.py112# ============================================================================COMMENT
MEDIUMtensor-shapes/jax-pyrefly-stubs/examples/nanogpt.py114# ============================================================================COMMENT
MEDIUMtensor-shapes/jax-pyrefly-stubs/examples/nanogpt.py135# ============================================================================COMMENT
MEDIUMtensor-shapes/jax-pyrefly-stubs/examples/nanogpt.py137# ============================================================================COMMENT
MEDIUMtensor-shapes/jax-pyrefly-stubs/examples/nanogpt.py282# ============================================================================COMMENT
MEDIUMtensor-shapes/jax-pyrefly-stubs/examples/nanogpt.py284# ============================================================================COMMENT
MEDIUM⚡tensor-shapes/jax-pyrefly-stubs/examples/nanogpt.py557# ============================================================================COMMENT
MEDIUM⚡tensor-shapes/jax-pyrefly-stubs/examples/nanogpt.py559# ============================================================================COMMENT
MEDIUMtensor-shapes/jax-pyrefly-stubs/examples/bert.py41# ============================================================================COMMENT
MEDIUMtensor-shapes/jax-pyrefly-stubs/examples/bert.py43# ============================================================================COMMENT
MEDIUMtensor-shapes/jax-pyrefly-stubs/examples/bert.py135# ============================================================================COMMENT
MEDIUMtensor-shapes/jax-pyrefly-stubs/examples/bert.py137# ============================================================================COMMENT
MEDIUMtensor-shapes/jax-pyrefly-stubs/examples/bert.py230# ============================================================================COMMENT
MEDIUMtensor-shapes/jax-pyrefly-stubs/examples/bert.py232# ============================================================================COMMENT
MEDIUMtensor-shapes/jax-pyrefly-stubs/examples/bert.py307# ============================================================================COMMENT
MEDIUMtensor-shapes/jax-pyrefly-stubs/examples/bert.py309# ============================================================================COMMENT
MEDIUMtensor-shapes/jax-pyrefly-stubs/examples/bert.py344# ============================================================================COMMENT
MEDIUMtensor-shapes/jax-pyrefly-stubs/examples/bert.py346# ============================================================================COMMENT
MEDIUMtensor-shapes/jax-pyrefly-stubs/examples/bert.py393# ============================================================================COMMENT
MEDIUMtensor-shapes/jax-pyrefly-stubs/examples/bert.py395# ============================================================================COMMENT
MEDIUMtensor-shapes/jax-pyrefly-stubs/examples/bert.py469# ============================================================================COMMENT
MEDIUMtensor-shapes/jax-pyrefly-stubs/examples/bert.py471# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/examples/super_slomo.py38# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/examples/super_slomo.py40# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/examples/super_slomo.py107# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/examples/super_slomo.py109# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/examples/super_slomo.py226# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/examples/super_slomo.py228# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/examples/super_slomo.py278# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/examples/super_slomo.py280# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/examples/super_slomo.py340# ============================================================================COMMENT
MEDIUM…sor-shapes/pyrefly-torch-stubs/examples/super_slomo.py342# ============================================================================COMMENT
MEDIUM…apes/pyrefly-torch-stubs/examples/learning_to_paint.py37# ============================================================================COMMENT
MEDIUM…apes/pyrefly-torch-stubs/examples/learning_to_paint.py39# ============================================================================COMMENT
MEDIUM…apes/pyrefly-torch-stubs/examples/learning_to_paint.py127# ============================================================================COMMENT
MEDIUM…apes/pyrefly-torch-stubs/examples/learning_to_paint.py129# ============================================================================COMMENT
MEDIUMtensor-shapes/pyrefly-torch-stubs/examples/drq.py56# ============================================================================COMMENT
MEDIUMtensor-shapes/pyrefly-torch-stubs/examples/drq.py58# ============================================================================COMMENT
MEDIUMtensor-shapes/pyrefly-torch-stubs/examples/drq.py112# ============================================================================COMMENT
MEDIUMtensor-shapes/pyrefly-torch-stubs/examples/drq.py114# ============================================================================COMMENT
MEDIUMtensor-shapes/pyrefly-torch-stubs/examples/drq.py184# ============================================================================COMMENT
MEDIUMtensor-shapes/pyrefly-torch-stubs/examples/drq.py186# ============================================================================COMMENT
MEDIUMtensor-shapes/pyrefly-torch-stubs/examples/drq.py242# ============================================================================COMMENT
MEDIUMtensor-shapes/pyrefly-torch-stubs/examples/drq.py244# ============================================================================COMMENT
MEDIUMtensor-shapes/pyrefly-torch-stubs/examples/drq.py304# ============================================================================COMMENT
MEDIUMtensor-shapes/pyrefly-torch-stubs/examples/drq.py306# ============================================================================COMMENT
MEDIUMtensor-shapes/pyrefly-torch-stubs/examples/drq.py518# ============================================================================COMMENT
MEDIUMtensor-shapes/pyrefly-torch-stubs/examples/drq.py520# ============================================================================COMMENT
MEDIUM…nsor-shapes/pyrefly-torch-stubs/examples/squeezenet.py136# ----------------------------------------------------------------------------COMMENT
MEDIUM…nsor-shapes/pyrefly-torch-stubs/examples/squeezenet.py138# ----------------------------------------------------------------------------COMMENT
MEDIUMtensor-shapes/pyrefly-torch-stubs/examples/tacotron2.py55# ============================================================================COMMENT
MEDIUMtensor-shapes/pyrefly-torch-stubs/examples/tacotron2.py57# ============================================================================COMMENT
MEDIUMtensor-shapes/pyrefly-torch-stubs/examples/tacotron2.py77# ============================================================================COMMENT
MEDIUMtensor-shapes/pyrefly-torch-stubs/examples/tacotron2.py79# ============================================================================COMMENT
MEDIUMtensor-shapes/pyrefly-torch-stubs/examples/tacotron2.py122# ============================================================================COMMENT
MEDIUMtensor-shapes/pyrefly-torch-stubs/examples/tacotron2.py124# ============================================================================COMMENT
MEDIUMtensor-shapes/pyrefly-torch-stubs/examples/tacotron2.py179# ============================================================================COMMENT
270 more matches not shown…
Empty Error Handlers149 hits · 745 pts
SeverityFileLineSnippetContext
HIGHpyrefly/lib/test/attrs/third-party/attr/validators.py651except self.exc_types:CODE
HIGHpyrefly/lib/test/attrs/third-party/attr/_make.py984except ValueError: # noqa: PERF203CODE
HIGH…refly/lib/test/pydantic/third-party/pydantic/fields.py621except KeyError:CODE
HIGHpyrefly/lib/test/pydantic/third-party/pydantic/types.py2121except ValueError:CODE
HIGHpyrefly/lib/test/pydantic/third-party/pydantic/main.py1003except PydanticUndefinedAnnotation:CODE
HIGH…/third-party/pydantic/_internal/_model_construction.py611except (NameError, TypeError):CODE
HIGH…hapes/jax-pyrefly-stubs/test/test_searching_sorting.py37except ValueError:CODE
HIGH…hapes/jax-pyrefly-stubs/test/test_searching_sorting.py64except ValueError:CODE
HIGH…hapes/jax-pyrefly-stubs/test/test_searching_sorting.py89except ValueError:CODE
HIGH…hapes/jax-pyrefly-stubs/test/test_searching_sorting.py140except ValueError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_linalg.py80except (TypeError, ValueError):CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_linalg.py180except TypeError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_linalg.py243except ValueError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_linalg.py338except ValueError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_linalg.py347except ValueError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_linalg.py355except ValueError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_linalg.py394except ValueError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_linalg.py404except ValueError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_linalg.py412except ValueError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_linalg.py420except TypeError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_linalg.py469except TypeError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_linalg.py477except (TypeError, ValueError):CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_linalg.py485except TypeError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_reductions.py153except ValueError:CODE
HIGH…nsor-shapes/jax-pyrefly-stubs/test/test_polynomials.py23except ValueError:CODE
HIGH…nsor-shapes/jax-pyrefly-stubs/test/test_polynomials.py33except ValueError:CODE
HIGH…nsor-shapes/jax-pyrefly-stubs/test/test_polynomials.py75except ValueError:CODE
HIGH…nsor-shapes/jax-pyrefly-stubs/test/test_polynomials.py83except ValueError:CODE
HIGH…nsor-shapes/jax-pyrefly-stubs/test/test_polynomials.py92except ValueError:CODE
HIGH…nsor-shapes/jax-pyrefly-stubs/test/test_polynomials.py101except ValueError:CODE
HIGH…nsor-shapes/jax-pyrefly-stubs/test/test_polynomials.py191except ValueError:CODE
HIGH…nsor-shapes/jax-pyrefly-stubs/test/test_polynomials.py200except ValueError:CODE
HIGH…nsor-shapes/jax-pyrefly-stubs/test/test_polynomials.py209except ValueError:CODE
HIGH…nsor-shapes/jax-pyrefly-stubs/test/test_polynomials.py218except ValueError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_lax.py152except TypeError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_lax.py168except TypeError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_lax.py290except ValueError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_lax.py298except ValueError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_lax.py306except ValueError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_lax.py314except (TypeError, ValueError):CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_lax.py441except ValueError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_lax.py446except ValueError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_reshape.py84except TypeError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_reshape.py97except TypeError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_reshape.py110except TypeError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_reshape.py118except TypeError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_reshape.py131except TypeError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_reshape.py139except TypeError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_reshape.py158except ZeroDivisionError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_reshape.py166except ZeroDivisionError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_creation.py174except ValueError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_creation.py207except ValueError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_creation.py215except ValueError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_indexing.py85except IndexError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_indexing.py139except IndexError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_indexing.py148except (IndexError, TypeError):CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_indexing.py155except IndexError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_indexing.py192except ValueError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_indexing.py218except ValueError:CODE
HIGHtensor-shapes/jax-pyrefly-stubs/test/test_indexing.py243except ValueError:CODE
89 more matches not shown…
Over-Commented Block596 hits · 582 pts
SeverityFileLineSnippetContext
LOWpyrefly/bin/main.rs41/// Main CLI entrypoint for Pyrefly.COMMENT
LOWpyrefly/bin/main.rs61/// own name. A binary that embeds the shared commands in a larger CLI (such asCOMMENT
LOWpyrefly/lib/lib.rs1/*COMMENT
LOWpyrefly/lib/query.rs201/// already carries a value-shape property.COMMENT
LOWpyrefly/lib/embed.rs1/*COMMENT
LOWpyrefly/lib/test/yields.rs181"#,COMMENT
LOWpyrefly/lib/test/natural.rs1/*COMMENT
LOWpyrefly/lib/test/python_env.rs121/// it need not have, never let a truly-discoverable one slip through).COMMENT
LOWpyrefly/lib/test/narrow.rs4581 def setup(self) -> None:COMMENT
LOWpyrefly/lib/test/perf.rs141);COMMENT
LOWpyrefly/lib/test/perf.rs241// 1. Check `A <: P1 | P2` — union tries `A <: P1`.COMMENT
LOWpyrefly/lib/test/flow_branching.rs3541 print(1)COMMENT
LOWpyrefly/lib/test/incremental.rs1241/// Changing an export's type (not its existence) shouldn't invalidateCOMMENT
LOWpyrefly/lib/test/incremental.rs1321}COMMENT
LOWpyrefly/lib/test/incremental.rs1441/// - `from torch.distributed.fsdp import fully_shard`COMMENT
LOWpyrefly/lib/test/incremental.rs1461 // 2. Then re-export the changed `y` (from bar)COMMENT
LOWpyrefly/lib/test/incremental.rs2861/// Test that when __all__ contains Module entries (like `__all__.extend(other.__all__)`),COMMENT
LOWpyrefly/lib/test/state.rs181}COMMENT
LOWpyrefly/lib/test/state.rs241 let location = transaction.lookup_export_location(&target, &Name::new_static("CONST"));COMMENT
LOWpyrefly/lib/test/state.rs1301 .collect_errors()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
LOWpyrefly/lib/test/tsp/tsp_interaction/explicit_config.rs21///COMMENT
LOW…refly/lib/test/tsp/tsp_interaction/get_type_queries.rs1461// identifier even when that identifier appears in a call position. The LSPCOMMENT
LOW…refly/lib/test/tsp/tsp_interaction/get_type_queries.rs1601 assert_eq!(COMMENT
LOW…refly/lib/test/tsp/tsp_interaction/get_type_queries.rs1861// ---- Container element / dict value contexts -------------------------COMMENT
LOWpyrefly/lib/test/lsp/code_actions.rs681## Before:COMMENT
LOWpyrefly/lib/test/lsp/code_actions.rs761# Title: Insert import: `from _io import BytesIO`COMMENT
LOWpyrefly/lib/test/lsp/code_actions.rs861# ^COMMENT
LOWpyrefly/lib/test/lsp/code_actions.rs981## Before:COMMENT
LOWpyrefly/lib/test/lsp/code_actions.rs1001# ^COMMENT
LOWpyrefly/lib/test/lsp/code_actions.rs1921# ^COMMENT
LOW…ly/lib/test/lsp/lsp_interaction/open_file_benchmark.rs1/*COMMENT
LOWpyrefly/lib/test/lsp/lsp_interaction/configuration.rs321COMMENT
LOWpyrefly/lib/test/lsp/lsp_interaction/configuration.rs881}COMMENT
LOW…/lib/test/lsp/lsp_interaction/workspace_diagnostics.rs161 return Some(Ok(()));COMMENT
LOWpyrefly/lib/test/lsp/lsp_interaction/definition.rs581 // `a.b.c.D` -> `a` (line 7, char 0)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…on/test_files/package_from_import_noop/pkg/__init__.py1# Copyright (c) Meta Platforms, Inc. and affiliates.COMMENT
LOW…nteraction/test_files/baseline_new_errors/new_error.py1# Copyright (c) Meta Platforms, Inc. and affiliates.COMMENT
LOW…nteraction/test_files/baseline_new_errors/clean_fix.py1# Copyright (c) Meta Platforms, Inc. and affiliates.COMMENT
LOW…eraction/test_files/baseline_unused_type_ignore/bad.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…erpreter/lib/python3.12/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…action/test_files/baseline_unused_ignore_prune/keep.py1# Copyright (c) Meta Platforms, Inc. and affiliates.COMMENT
LOW…n/test_files/baseline_unused_ignore_prune/clean_fix.py1# Copyright (c) Meta Platforms, Inc. and affiliates.COMMENT
536 more matches not shown…
Unused Imports745 hits · 530 pts
SeverityFileLineSnippetContext
LOWtest.py12CODE
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
685 more matches not shown…
Cross-File Repetition55 hits · 275 pts
SeverityFileLineSnippetContext
HIGHtensor-shapes/pyrefly-torch-stubs/examples/nanogpt.py0layernorm but with an optional bias. generic over normalized dimension size.STRING
HIGH…stubs/examples/runtime/nanogpt_sym_int_var_runnable.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…ly-torch-stubs/examples/runtime/nanogpt_sym_int_var.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…stubs/examples/runtime/nanogpt_sym_int_var_runnable.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…ly-torch-stubs/examples/runtime/nanogpt_sym_int_var.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…stubs/examples/runtime/nanogpt_sym_int_var_runnable.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…ly-torch-stubs/examples/runtime/nanogpt_sym_int_var.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…stubs/examples/runtime/nanogpt_sym_int_var_runnable.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…ly-torch-stubs/examples/runtime/nanogpt_sym_int_var.py0multi-layer perceptron. generic over embedding dimension.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…stubs/examples/runtime/nanogpt_sym_int_var_runnable.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…ly-torch-stubs/examples/runtime/nanogpt_sym_int_var.py0transformer block with self-attention and mlp. generic over embedding dim, num heads, and block size.STRING
HIGHtensor-shapes/pyrefly-torch-stubs/examples/nanogpt.py0typeddict for gptconfig constructor arguments, generic over key dimensionsSTRING
HIGH…stubs/examples/runtime/nanogpt_sym_int_var_runnable.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…ly-torch-stubs/examples/runtime/nanogpt_sym_int_var.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…stubs/examples/runtime/nanogpt_sym_int_var_runnable.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…ly-torch-stubs/examples/runtime/nanogpt_sym_int_var.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…stubs/examples/runtime/nanogpt_sym_int_var_runnable.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…ly-torch-stubs/examples/runtime/nanogpt_sym_int_var.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…stubs/examples/runtime/nanogpt_sym_int_var_runnable.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…ly-torch-stubs/examples/runtime/nanogpt_sym_int_var.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…stubs/examples/runtime/nanogpt_sym_int_var_runnable.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…ly-torch-stubs/examples/runtime/nanogpt_sym_int_var.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…stubs/examples/runtime/nanogpt_sym_int_var_runnable.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…ly-torch-stubs/examples/runtime/nanogpt_sym_int_var.py0take a conditioning sequence of indices idx (longtensor of shape (b,t)) and complete the sequence max_new_tokens times, STRING
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
Excessive Try-Catch Wrapping88 hits · 99 pts
SeverityFileLineSnippetContext
LOWpyrefly/lib/test/returns.rs162 except Exception:CODE
LOWpyrefly/lib/test/paramspec.rs488 except Exception:CODE
LOWpyrefly/lib/test/attributes.rs3232 except Exception:CODE
LOWpyrefly/lib/test/scope.rs990 except Exception as e1:CODE
LOWpyrefly/lib/test/scope.rs998 except Exception as e2:CODE
LOW⚡pyrefly/lib/test/scope.rs1010 except Exception:CODE
LOW⚡pyrefly/lib/test/scope.rs1020 except Exception:CODE
LOWpyrefly/lib/test/scope.rs1036 except Exception:CODE
LOWpyrefly/lib/test/scope.rs1048 except Exception:CODE
MEDIUMpyrefly/lib/test/scope.rs987def try_except():CODE
MEDIUMpyrefly/lib/test/scope.rs995def try_except_finally():CODE
MEDIUMpyrefly/lib/test/scope.rs1005def try_except_twice():CODE
MEDIUMpyrefly/lib/test/scope.rs1015def try_except_multiple_finally():CODE
MEDIUMpyrefly/lib/test/scope.rs1031def try_except_else():CODE
MEDIUMpyrefly/lib/test/scope.rs1043def try_except_else_finally():CODE
LOWpyrefly/lib/test/flow_branching.rs497except Exception as e2:CODE
LOWpyrefly/lib/test/flow_branching.rs616except Exception: # E: This `except` clause is unreachable, because an earlier clause already catches `BaseException`CODE
LOWpyrefly/lib/test/flow_branching.rs626except Exception:CODE
LOWpyrefly/lib/test/flow_branching.rs646except Exception:CODE
LOWpyrefly/lib/test/flow_branching.rs676except Exception:CODE
LOWpyrefly/lib/test/flow_branching.rs763 except Exception:CODE
LOWpyrefly/lib/test/flow_branching.rs2997 except Exception:CODE
LOWpyrefly/lib/test/flow_branching.rs3014 except Exception as exc:CODE
LOWpyrefly/lib/test/flow_branching.rs3019 except Exception:CODE
MEDIUMpyrefly/lib/test/flow_branching.rs784def as_sibling() -> None:CODE
LOWpyrefly/lib/test/attrs/third-party/attr/validators.py713 except Exception: # noqa: BLE001, PERF203, S112STRING
LOWpyrefly/lib/test/lsp/folding_ranges.rs266except Exception:CODE
LOWpyrefly/lib/test/lsp/folding_ranges.rs357 except Exception:CODE
LOWpyrefly/lib/test/lsp/semantic_tokens.rs1350except Exception as e:CODE
LOWpyrefly/lib/test/lsp/semantic_tokens.rs1891except Exception as e:CODE
LOWpyrefly/lib/test/lsp/local_find_refs.rs308except Exception:CODE
LOWpyrefly/lib/test/lsp/definition.rs611 except Exception as e:CODE
LOWpyrefly/lib/test/lsp/document_symbols.rs2039 except Exception:CODE
LOW…iles/tests_requiring_config/with_synthetic_bindings.py10except Exception:CODE
LOWpyrefly/lib/report/glean.rs142except 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.py67 except Exception as e:CODE
MEDIUMtest/sarif/validate_sarif.py45 print("Error: Required packages not installed.")CODE
MEDIUMschemas/validate_schemas.py30 print("Error: Required packages not installed.")CODE
LOWscripts/github_utils.py242 except Exception as e:CODE
LOWscripts/github_utils.py351 except Exception as e:CODE
LOWscripts/github_utils.py540 except Exception as e:CODE
LOWscripts/github_utils.py602 except Exception as e:CODE
MEDIUMscripts/github_utils.py731 print("Error: Repository must be in format owner/repo", file=sys.stderr)STRING
LOWscripts/github_utils.py776 except Exception as e:STRING
LOWscripts/github_utils.py920 except Exception as e:STRING
LOWscripts/compare_typecheckers.py801 except Exception as e:CODE
LOWscripts/generate_release_notes.py113 except Exception:CODE
LOWscripts/generate_release_notes.py135 except Exception as e:CODE
MEDIUMscripts/generate_release_notes.py560 print(f"Error: Unknown provider '{provider}'.", file=sys.stderr)CODE
MEDIUMscripts/generate_release_notes.py574 print(f"Error: Template file not found: {template_path}", file=sys.stderr)CODE
MEDIUMscripts/generate_release_notes.py580 print(f"Error: Prompt file not found: {prompt_path}", file=sys.stderr)CODE
MEDIUMscripts/generate_release_notes.py694 print("Error: Repository must be in 'owner/repo' format.", file=sys.stderr)CODE
LOWscripts/generate_release_notes.py732 except Exception as e:CODE
MEDIUMscripts/sandbox_links.py31 print("Error: lzstring package required. Install with: pip install lzstring")CODE
LOW⚡scripts/benchmark/lsp_memory_benchmark.py309 except Exception:CODE
MEDIUMscripts/benchmark/lsp_memory_benchmark.py304def shutdown(self) -> None:CODE
MEDIUMscripts/benchmark/typecheck_benchmark.py275 print(f"Error: {install_envs_file} not found")CODE
MEDIUMscripts/benchmark/typecheck_benchmark.py754 print("Error: No packages found in install_envs.json")CODE
28 more matches not shown…
Structural Annotation Overuse50 hits · 82 pts
SeverityFileLineSnippetContext
LOWpyrefly/lib/test/lsp/lsp_interaction/notebook_sync.rs297 // Step 1: Delete cell 2COMMENT
LOWpyrefly/lib/test/lsp/lsp_interaction/notebook_sync.rs317 // Step 2: Insert cell 2 at position 0COMMENT
LOWpyrefly/lib/report/pysa/module_index.rs142 // Step 1: Build short_identifier_to_function_ref and short_identifier_to_setter_refCOMMENT
LOWpyrefly/lib/report/pysa/module_index.rs181 // Step 2: Build func_def_to_function_ref by iterating allCOMMENT
LOWpyrefly/lib/report/pysa/module_index.rs197 // Step 3: Build class field mappings.COMMENT
LOWpyrefly/lib/alt/overload.rs330 // Step 1: eliminate overloads that accept an incompatible number of arguments.COMMENT
LOWpyrefly/lib/alt/overload.rs364 // Step 2: evaluate each overload as a regular (non-overloaded) call.COMMENT
LOWpyrefly/lib/alt/overload.rs379 // Step 3: argument type expansion. When the mypy-compatibility flag is on, we alsoCOMMENT
LOWpyrefly/lib/alt/overload.rs900 // Step 4: if any arguments supply an unknown number of args and at least oneCOMMENT
LOWpyrefly/lib/alt/overload.rs934 // Step 5: for each overload, check whether it's the case that all possibleCOMMENT
LOWpyrefly/lib/alt/overload.rs1074 // Step 6: does there exist a return type that is consistent with all materializations ofCOMMENT
LOW⚡pyrefly/lib/alt/solve.rs1710 // Step 1: Expand non-recursive UntypedAlias(Ref(...)) nodes byCOMMENT
LOW⚡pyrefly/lib/alt/solve.rs1720 // Step 2: Check for cyclic self-references after expansion.COMMENT
LOW⚡pyrefly/lib/alt/solve.rs2432 // Step 1: Compute raw TypeInfo (Vars unpinned)COMMENT
LOW⚡pyrefly/lib/alt/solve.rs2435 // Step 2: Check whether the type actually contains partial types thatCOMMENT
LOW⚡pyrefly/lib/alt/solve.rs2454 // Step 3: Store partial answer that the first-use solve will read and potentially pin.COMMENT
LOW⚡pyrefly/lib/alt/solve.rs2457 // Step 4: Evaluate the first-use; throw away both the result and errors, this isCOMMENT
LOW⚡pyrefly/lib/alt/solve.rs2467 // Step 5: Remove the partial answer, we've finished with it, and proceed toCOMMENT
LOWpyrefly/lib/alt/solve.rs1733 // Step 3: Extract type parameters from the (now expanded) body.COMMENT
LOW…s/skills/add-shape-types-to-torch-model/style_guide.md113### Step 1: Identify the degrees of freedomCOMMENT
LOW…s/skills/add-shape-types-to-torch-model/style_guide.md136### Step 2: Type the constructorCOMMENT
LOW…s/skills/add-shape-types-to-torch-model/style_guide.md150### Step 3: Type the forward signatureCOMMENT
LOW…-shapes/skills/add-shape-types-to-torch-model/SKILL.md301## Step 1: Inventory parametersCOMMENT
LOW…-shapes/skills/add-shape-types-to-torch-model/SKILL.md388## Step 2: Type the constructorCOMMENT
LOW…-shapes/skills/add-shape-types-to-torch-model/SKILL.md496## Step 3: Probe the forwardCOMMENT
LOW…-shapes/skills/add-shape-types-to-torch-model/SKILL.md532## Step 4: Diagnose and contain tracking boundariesCOMMENT
LOW…-shapes/skills/add-shape-types-to-torch-model/SKILL.md634## Step 5: Write forward and assert_typeCOMMENT
LOW…-shapes/skills/add-shape-types-to-torch-model/SKILL.md710## Step 6: Post-module checkCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs646 // Step 2: Flatten to list of termsCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs652 // Step 3: Combine like terms by extracting coefficientsCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs662 // Step 4: Rebuild terms, filtering out zero coefficientsCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs684 // Step 5: Sort terms by canonical orderCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs687 // Step 6: Build resultCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs781 // Step 1: Recursively canonicalize operandsCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs785 // Step 2: Flatten to list of factorsCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs790 // Step 3: Check for zeroCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs798 // Step 4: Separate literals from non-literalsCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs898 // Step 6: Sort factors by canonical orderCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs901 // Step 7: Add literal coefficient if not 1COMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs908 // Step 8: Build resultCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs934 // Step 1: Canonicalize operandsCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs938 // Step 2: Check if numerator is a division - if so, flatten only when theCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs1104 // Step 1: Separate literals from non-literalsCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs1108 // Step 2: Apply GCD to literalsCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs1118 // Step 3: Find and remove structurally equal non-literal factorsCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs1131 // Step 4: Rebuild numeratorCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs1137 // Step 5: Rebuild denominatorCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs635 // Step 1: Recursively canonicalize operandsCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs858 // Step 5: Distributive law — coeff * (a + b) → coeff*a + coeff*bCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs949 // Step 4: Apply simplificationsCOMMENT
Verbosity Indicators43 hits · 72 pts
SeverityFileLineSnippetContext
LOWpyrefly/lib/test/lsp/lsp_interaction/notebook_sync.rs297 // Step 1: Delete cell 2COMMENT
LOWpyrefly/lib/test/lsp/lsp_interaction/notebook_sync.rs317 // Step 2: Insert cell 2 at position 0COMMENT
LOWpyrefly/lib/report/pysa/module_index.rs142 // Step 1: Build short_identifier_to_function_ref and short_identifier_to_setter_refCOMMENT
LOWpyrefly/lib/report/pysa/module_index.rs181 // Step 2: Build func_def_to_function_ref by iterating allCOMMENT
LOWpyrefly/lib/report/pysa/module_index.rs197 // Step 3: Build class field mappings.COMMENT
LOWpyrefly/lib/alt/attr.rs2382 // `module_name` could refer to a package, in which case we need to check ifCOMMENT
LOWpyrefly/lib/alt/overload.rs330 // Step 1: eliminate overloads that accept an incompatible number of arguments.COMMENT
LOWpyrefly/lib/alt/overload.rs364 // Step 2: evaluate each overload as a regular (non-overloaded) call.COMMENT
LOWpyrefly/lib/alt/overload.rs379 // Step 3: argument type expansion. When the mypy-compatibility flag is on, we alsoCOMMENT
LOWpyrefly/lib/alt/overload.rs900 // Step 4: if any arguments supply an unknown number of args and at least oneCOMMENT
LOWpyrefly/lib/alt/overload.rs934 // Step 5: for each overload, check whether it's the case that all possibleCOMMENT
LOWpyrefly/lib/alt/overload.rs1074 // Step 6: does there exist a return type that is consistent with all materializations ofCOMMENT
LOW⚡pyrefly/lib/alt/solve.rs1710 // Step 1: Expand non-recursive UntypedAlias(Ref(...)) nodes byCOMMENT
LOW⚡pyrefly/lib/alt/solve.rs1720 // Step 2: Check for cyclic self-references after expansion.COMMENT
LOW⚡pyrefly/lib/alt/solve.rs2432 // Step 1: Compute raw TypeInfo (Vars unpinned)COMMENT
LOW⚡pyrefly/lib/alt/solve.rs2435 // Step 2: Check whether the type actually contains partial types thatCOMMENT
LOW⚡pyrefly/lib/alt/solve.rs2454 // Step 3: Store partial answer that the first-use solve will read and potentially pin.COMMENT
LOW⚡pyrefly/lib/alt/solve.rs2457 // Step 4: Evaluate the first-use; throw away both the result and errors, this isCOMMENT
LOW⚡pyrefly/lib/alt/solve.rs2467 // Step 5: Remove the partial answer, we've finished with it, and proceed toCOMMENT
LOWpyrefly/lib/alt/solve.rs1733 // Step 3: Extract type parameters from the (now expanded) body.COMMENT
LOWpyrefly/lib/alt/special_calls.rs606 // We need to check if there is any field with unassignable types, since the `isinstance` check COMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs646 // Step 2: Flatten to list of termsCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs652 // Step 3: Combine like terms by extracting coefficientsCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs662 // Step 4: Rebuild terms, filtering out zero coefficientsCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs684 // Step 5: Sort terms by canonical orderCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs687 // Step 6: Build resultCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs781 // Step 1: Recursively canonicalize operandsCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs785 // Step 2: Flatten to list of factorsCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs790 // Step 3: Check for zeroCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs798 // Step 4: Separate literals from non-literalsCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs898 // Step 6: Sort factors by canonical orderCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs901 // Step 7: Add literal coefficient if not 1COMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs908 // Step 8: Build resultCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs934 // Step 1: Canonicalize operandsCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs938 // Step 2: Check if numerator is a division - if so, flatten only when theCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs1104 // Step 1: Separate literals from non-literalsCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs1108 // Step 2: Apply GCD to literalsCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs1118 // Step 3: Find and remove structurally equal non-literal factorsCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs1131 // Step 4: Rebuild numeratorCOMMENT
LOW⚡crates/pyrefly_types/src/dimension.rs1137 // Step 5: Rebuild denominatorCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs635 // Step 1: Recursively canonicalize operandsCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs858 // Step 5: Distributive law — coeff * (a + b) → coeff*a + coeff*bCOMMENT
LOWcrates/pyrefly_types/src/dimension.rs949 // Step 4: Apply simplificationsCOMMENT
Deep Nesting64 hits · 52 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/stub_coverage.py156CODE
LOWtensor-shapes/stub_coverage.py191CODE
LOWtensor-shapes/stub_coverage.py218CODE
LOWtensor-shapes/stub_coverage.py285CODE
LOWtensor-shapes/stub_coverage.py339CODE
LOWtensor-shapes/test_stub_coverage.py34CODE
LOWtensor-shapes/test_stub_coverage.py265CODE
LOWtensor-shapes/test_stub_coverage.py306CODE
LOWtensor-shapes/test_stub_coverage.py347CODE
LOWtensor-shapes/test_stub_coverage.py468CODE
LOW…refly-shape-extensions/shape_extensions/torchscript.py47CODE
LOW…refly-shape-extensions/shape_extensions/torchscript.py69CODE
LOW…refly-shape-extensions/shape_extensions/torchscript.py87CODE
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.py87CODE
LOWscripts/github_utils.py562CODE
LOWscripts/github_utils.py784CODE
LOWscripts/github_utils.py356CODE
LOWscripts/compare_typecheckers.py213CODE
LOWscripts/compare_typecheckers.py494CODE
LOWscripts/generate_release_notes.py367CODE
LOWscripts/benchmark/lsp_memory_benchmark.py101CODE
LOWscripts/benchmark/lsp_memory_benchmark.py793CODE
LOWscripts/benchmark/lsp_memory_benchmark.py252CODE
LOWscripts/benchmark/typecheck_benchmark.py303CODE
LOWscripts/benchmark/typecheck_benchmark.py526CODE
LOWscripts/benchmark/typecheck_benchmark.py837CODE
LOWscripts/benchmark/lsp_benchmark.py189CODE
LOWscripts/benchmark/lsp_benchmark.py384CODE
LOWscripts/benchmark/lsp_benchmark.py1024CODE
LOWscripts/benchmark/lsp_benchmark.py1055CODE
LOWscripts/benchmark/lsp_benchmark.py1405CODE
LOWscripts/benchmark/lsp_benchmark.py523CODE
LOWscripts/benchmark/lsp_benchmark.py701CODE
LOWconformance/conformance_output.py130CODE
4 more matches not shown…
Fake / Example Data37 hits · 42 pts
SeverityFileLineSnippetContext
LOW⚡pyrefly/lib/test/literal.rs513Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOW⚡pyrefly/lib/test/literal.rs513Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOW⚡pyrefly/lib/test/literal.rs514Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOW⚡pyrefly/lib/test/literal.rs514Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOW⚡pyrefly/lib/test/literal.rs515Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOW⚡pyrefly/lib/test/literal.rs515Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOW⚡pyrefly/lib/test/literal.rs516Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOW⚡pyrefly/lib/test/literal.rs516Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOW⚡pyrefly/lib/test/literal.rs517Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOW⚡pyrefly/lib/test/literal.rs517Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOW⚡pyrefly/lib/test/literal.rs518Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOW⚡pyrefly/lib/test/literal.rs518Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOW⚡pyrefly/lib/test/literal.rs519Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOW⚡pyrefly/lib/test/literal.rs519Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOW⚡pyrefly/lib/test/literal.rs520Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOW⚡pyrefly/lib/test/literal.rs520Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOW⚡pyrefly/lib/test/literal.rs521Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOW⚡pyrefly/lib/test/literal.rs521Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOW⚡pyrefly/lib/test/literal.rs522Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOW⚡pyrefly/lib/test/literal.rs522Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOW⚡pyrefly/lib/test/literal.rs523Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOW⚡pyrefly/lib/test/literal.rs523Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOW⚡pyrefly/lib/test/literal.rs524Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOW⚡pyrefly/lib/test/literal.rs524Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOW⚡pyrefly/lib/test/literal.rs525Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOW⚡pyrefly/lib/test/literal.rs525Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOW⚡pyrefly/lib/test/literal.rs526Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOW⚡pyrefly/lib/test/literal.rs526Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOW⚡pyrefly/lib/test/literal.rs527Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqCODE
LOW⚡pyrefly/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.rs1693 /// Collect "placeholder" vars - vars that are placeholders for a not-yet-solved type, likeCOMMENT
AI Structural Patterns38 hits · 36 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…sor-shapes/pyrefly-torch-stubs/examples/super_slomo.py223CODE
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.py199CODE
LOWtensor-shapes/pyrefly-torch-stubs/examples/apg.py293CODE
LOWtensor-shapes/pyrefly-torch-stubs/examples/gptfast.py584CODE
LOW…stubs/examples/runtime/gptfast_sym_int_var_runnable.py535CODE
LOW…ly-torch-stubs/examples/runtime/gptfast_sym_int_var.py591CODE
LOW…xamples/runtime/gptfast_future_annotations_runnable.py545CODE
LOW…h-stubs/examples/runtime/gptfast_future_annotations.py587CODE
LOWscripts/benchmark/typecheck_benchmark.py718CODE
AI Slop Vocabulary12 hits · 32 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.rs3017 // Pyrefly incremental more robust.COMMENT
MEDIUMpyrefly/lib/state/lsp.rs511 /// downstream logic can utilize the info.COMMENT
MEDIUMpyrefly/lib/alt/answers_solver.rs1562 /// (cycle_start), making it a robust anchor.COMMENT
MEDIUMpyrefly/lib/alt/answers_solver.rs1611 // (cycle_start), making it a more robust anchor.COMMENT
MEDIUMpyrefly/lib/alt/class/dataclass.rs527 // left to the stub, avoiding false positives and staying robust to new `Type` variants.COMMENT
LOW⚡…pes/pyrefly-torch-stubs/examples/speech_transformer.py365# so we skip adding it and just pass through. The original adds it to src_seq.COMMENT
MEDIUMcrates/pyrefly_lsp_test/src/object_model.rs1353 #[expect(clippy::new_without_default, reason = "test harness constructor")]COMMENT
MEDIUMcrates/pyrefly_lsp_test/src/object_model.rs1423 #[expect(clippy::new_without_default, reason = "test harness constructor")]COMMENT
MEDIUMconformance/third_party/generics_variance.py10# > To facilitate the declaration of container types where covariant orCOMMENT
Modern Structural Boilerplate30 hits · 26 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…rt_outside_search_path/site_packages/mypkg/__init__.py8__all__ = ["MyClass"]CODE
LOW…ng_config/workspace_symbol_prefer_non_init/__init__.py12__all__ = [CODE
LOW…equiring_config/workspace_symbol_multibyte/__init__.py12__all__ = ["workspace_symbol_multibyte_repro"]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
LOW⚡tensor-shapes/test_stub_coverage.py147__all__ = []STRING
LOW⚡tensor-shapes/test_stub_coverage.py179__all__ = ["Previous"]STRING
LOW⚡tensor-shapes/test_stub_coverage.py180__all__ = ["Current"]STRING
LOW⚡tensor-shapes/test_stub_coverage.py219__all__ = ["Hidden"]STRING
LOWtensor-shapes/test_stub_coverage.py84__all__ = ["Exported"]STRING
LOWtensor-shapes/test_stub_coverage.py122__all__ = ["Alias"]STRING
LOW…/pyrefly-shape-extensions/shape_extensions/__init__.py37__all__ = [CODE
LOW…refly-shape-extensions/shape_extensions/torchscript.py33__all__ = [*_shape_extensions_all, "remove_shape_types_from_torch_sources"]CODE
LOWtensor-shapes/pyrefly-torch-stubs/examples/bert.py284 def set_mask(self, mask: Tensor) -> None:CODE
LOWconformance/conformance_output.py48def 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
Self-Referential Comments9 hits · 21 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
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.py846 # Create a small probe fileCOMMENT
MEDIUM.github/workflows/publish_github_release.yml7# Creating the release will in turn trigger publish_upload_binaries.ymlCOMMENT
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
MEDIUM⚡scripts/benchmark/typecheck_benchmark.py714# Main benchmark orchestrationCOMMENT
MEDIUM⚡scripts/benchmark/lsp_benchmark.py950# Multi-package orchestration helpersCOMMENT
Hallucination Indicators1 hit · 10 pts
SeverityFileLineSnippetContext
CRITICALpyrefly/lib/state/state.rs3252 if self.transaction.data.state.run_count.load(Ordering::SeqCst) <= 1 {CODE
Cross-Language Confusion2 hits · 10 pts
SeverityFileLineSnippetContext
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
Slop Phrases4 hits · 9 pts
SeverityFileLineSnippetContext
LOWpyrefly/lib/test/generic_restrictions.rs1689# The below is a real error that we need to make sure to catch.COMMENT
LOWpyrefly/lib/test/flow_branching.rs409// 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
Redundant / Tautological Comments6 hits · 8 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.sh99 # 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.py53 # Check if username ends with [bot]COMMENT
LOWscripts/benchmark/lsp_benchmark.py1464 # Open the file on each serverCOMMENT
Synthetic Comment Markers1 hit · 8 pts
SeverityFileLineSnippetContext
HIGHpyrefly/lib/alt/call.rs2713 // 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
Cross-Language Confusion (JS/TS)1 hit · 5 pts
SeverityFileLineSnippetContext
HIGHwebsite/src/sandbox/generateSandboxUrl.ts33 'def function(value: object | None = None) -> object:\n if value is None:\n return None\n eCODE