Polish code comments across setup.rs and aeneas.rs to strictly conform to comment-guidelines (80-column wrapping, objective tone, self-contained descriptions)

[joshlf]

---

• 👉 Polish code comments across setup.rs and aeneas.rs to strictly conform to comment-guidelines (80-column wrapping, objective tone, self-contained descriptions) #3342
• 　  Optimize run_lake by copying precompiled config folders, renaming Aeneas config, and dynamically patching trace indices to achieve a ~19% run_lake speedup #3341
• 　  Implement optimized symlink-copy package materializer and static commit hash bypass to achieve 40x speedup and 100% concurrent safety #3340
• 　  [anneal] Remove redundant integration test harness code #3339
• 　  [anneal] Don't copy Lean deps into build dir #3338

⬇️ Download this PR

Branch

git fetch origin refs/heads/Gjli2xe6vj6tbpb642zjuilhfxez32hgy && git checkout -b pr-Gjli2xe6vj6tbpb642zjuilhfxez32hgy FETCH_HEAD

Checkout

git fetch origin refs/heads/Gjli2xe6vj6tbpb642zjuilhfxez32hgy && git checkout FETCH_HEAD

Cherry Pick

git fetch origin refs/heads/Gjli2xe6vj6tbpb642zjuilhfxez32hgy && git cherry-pick FETCH_HEAD

Pull

git pull origin refs/heads/Gjli2xe6vj6tbpb642zjuilhfxez32hgy

Stacked PRs enabled by GHerrit.

[github-actions]

🤖 Optimistically Approved: Changes appear scoped. Final strict verification will occur in the Merge Queue.

[codecov-commenter]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 91.88%. Comparing base (6ee8501) to head (8ec4371).

Additional details and impacted files

@@                        Coverage Diff                         @@
##           Gqysioljen2nrm6kryanqx4nm2ip3yiax    #3342   +/-   ##
==================================================================
  Coverage                              91.88%   91.88%           
==================================================================
  Files                                     20       20           
  Lines                                   6076     6076           
==================================================================
  Hits                                    5583     5583           
  Misses                                   493      493           

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.