SQUASH ME: More fix-ups on things the agent got wrong, and some initial lock tests

[mdittmer]

---

• 　  SQUASH ME: Eliminate rust code parsing; simplify charon invocation; add tests to confirm charon is consuming all of workspace/project code #3397
• 　  SQUASH ME: Add copyright/licenses to rust code; drop skipping behaviour from charon invocaitons loop; light code cleanup; a little documentation for generated test helper #3396
• 　  SQUASH ME: More clarifying tweaks, plus new (unreviewed) locking tests #3395
• 　  SQUASH ME: More clarifying tweaks, plus new (unreviewed) locking tests #3394
• 　  SQUASH ME: Add vendored dependencies; might have been required by previous iterations; oops #3393
• 👉 SQUASH ME: More fix-ups on things the agent got wrong, and some initial lock tests #3392
• 　  SQUASH ME: More minor fix-ups and a parallel strategy for invoking charon #3391
• 　  SQUASH ME: First round of review focused on charon.rs; mostly style and comment changes #3390
• 　  SQUASH ME: Initial port of run_charon and Expand #3389
• 　  [anneal][v2] Add and integrate nix-built exocrate #3383
• 　  [anneal][v2][exocrate] Crate-level documentation #3382
• 　  [anneal][v2] Independently vendor and patch toml_const #3381
• 　  [anneal][v2] Initial commit of exocrate #3376

⬇️ Download this PR

Branch

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

Checkout

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

Cherry Pick

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

Pull

git pull origin refs/heads/Gmgbefq4ee32sehnr4tj4q7b7okgf4rtl

Stacked PRs enabled by GHerrit.

[codecov-commenter]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 91.88%. Comparing base (5e92221) to head (722d82f).

Additional details and impacted files

@@                        Coverage Diff                         @@
##           G2gh3jnakn7ptbfzxsxqzjfyavl6xa2oj    #3392   +/-   ##
==================================================================
  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.