Implement optimized symlink-copy package materializer and static commit hash bypass to achieve 40x speedup and 100% concurrent safety

[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

Latest Update: v2 — Compare vs v1

📚 Full Patch History

Links show the diff between the row version and the column version.

Version	v1	Base
v2	vs v1	vs Base
v1		vs Base

⬇️ Download this PR

Branch

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

Checkout

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

Cherry Pick

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

Pull

git pull origin refs/heads/G6m2dgvttkspnsz2l5d2cp5imkbcdaxg6

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 (2244984) to head (d38657f).

Additional details and impacted files

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

☔ View full report in Codecov by Sentry.
📢 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.