Copilot

Adds a refactoring rule to extract complex multi-line initialization expressions from named `let` loops into separate `define` bindings, improving readability by reducing nesting. ## Implementation - **Rule**: Extracts multi-line named...

Refactoring suggestions sometimes make sense generally but break intentional code patterns (e.g., visual symmetry in comparisons). Users currently must repeatedly ignore autofixer PRs for these cases. ## Changes - **Added...

Refactor source-analyze to filter by syntax paths instead of line ranges

1

Resyntax currently filters syntax objects during analysis by checking if their source locations fall within requested line ranges. As more of the codebase has moved to work with syntax paths,...

Detects manual file I/O patterns using `call-with-output-file` with `display`/`displayln` and suggests the more concise `display-to-file`/`display-lines-to-file` functions. ## Changes - **Two new refactoring rules in `file-io-suggestions.rkt`:** - `manual-display-to-file`: `call-with-output-file` + `display`...

Add load tests for expansion analyzers

1

Expansion analyzers can take excessive time on large files. This adds load tests to catch performance regressions. ## Changes - **`test/analyzer-load-test.rkt`**: Load tests for all four expansion analyzers (`identifier-usage`, `variable-mutability`,...

Add support for warning-only refactoring rules

1

Implementing support for warning-only refactoring rules (rules that can warn without fixing). **Plan:** - [x] Explore codebase structure - [x] Extend `define-refactoring-rule` to support warning-only rules - [x] Update `refactoring-rule`...

Add new blog post: Engineering Beyond Senior Level - A Guide to Staff+ Roles

3

Added a comprehensive new blog post about software engineering career progression beyond the senior level. ## What's Added **New Blog Post**: "Engineering Beyond Senior Level - A Guide to Staff+...

## Overview This PR implements the kind-based logging infrastructure requested in #374 and following up on #375. The new system allows for more semantic, flexible logging while maintaining full backwards...

## Problem When splitting definitions with options tracking enabled, the tool was emitting warnings about finding multiple timing info entries in the same prompt from coqtop: ``` Warning: found multiple...

Refactor vimco-parse-line and vimco-line-to-faces into smaller, more readable functions

2

## Summary This PR refactors the `vimco-parse-line` and `vimco-line-to-faces` functions by splitting them into smaller, more focused helper functions to improve code readability and maintainability. ## Changes ### Part 1:...