[anneal][v1] Share admitted Lean installation metadata

[joshlf]

Superseded by workspace foundation and generation and CLI preparation in the rebuilt Anneal stack. Shared metadata admission belongs to the foundation, and bound generator reuse arrives with its CLI consumer. Updated by an AI agent acting on joshlf's behalf.

---

• 　  [anneal][v1] Compile shared Anneal support once per installation #3812
• 　  [anneal][v1] Batch editor preparation with independent root coverage #3811
• 　  [anneal][v1] Prepare CLI imports in one owned Lake operation #3810
• 　  [anneal][v1] Publish a finite status-only Lake preparation helper #3809
• 👉 [anneal][v1] Share admitted Lean installation metadata #3808
• 　  [anneal][v1] Reuse unchanged Lake configuration #3807
• 　  [anneal][v1] Run the CI unit suite once #3806
• 　  [anneal][v1] Optimize SHA-2 in development and test builds #3805
• 　  [anneal][v1] Separate saved observations from private producer admission #3804
• 　  [anneal][v1] Preserve the Darwin native translation tool closure #3786
• 　  [anneal][v1] Bind stock editor and SDK source clients to the workspace #3785
• 　  [anneal][v1] Refresh stock Lean workers when local imports change #3784
• 　  [anneal][v1] Generate and verify private SDK-bound workspaces #3783
• 　  [anneal][v1] Bind private workspaces to one immutable Lean SDK #3782
• 　  [anneal][v1] Publish a validated immutable Lean SDK view #3781
• 　  [anneal][v1] Reject failed Lean processes and simplify output capture #3780

⬇️ Download this PR

Branch

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

Checkout

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

Cherry Pick

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

Pull

git pull origin refs/heads/G3xmdeusak7jot3hhbrahek2gvzpe6itm

Stacked PRs enabled by GHerrit.

Updated by an AI agent acting on joshlf's behalf.

[chatgpt-codex-connector]

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review	Status	Commit	Review trigger
📝 Code Review	✅ Completed 2026-10-08T09:19:46.955893Z	a8b1e96	PR opened
🔒 Security Review	✅ Completed 2026-10-08T09:21:26.195334Z	a8b1e96	PR opened

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

[codecov-commenter]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 92.94%. Comparing base (74379d8) to head (a8b1e96).

Additional details and impacted files

@@                        Coverage Diff                         @@
##           Gkqxb72sckvzamh62uwidh4cgrqz7qwpe    #3808   +/-   ##
==================================================================
  Coverage                              92.94%   92.94%           
==================================================================
  Files                                     16       16           
  Lines                                   2466     2466           
==================================================================
  Hits                                    2292     2292           
  Misses                                   174      174           

☔ 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.