perf(core): skip lib prefix during empty-retention compaction (#13047)#13383
perf(core): skip lib prefix during empty-retention compaction (#13047)#13383mohsen1 wants to merge 1 commit into
Conversation
|
Provenance: MacBookPro.fritz.box / codex / GPT-5 / high Draft/WIP reason: this is the next claimed #13047 Fast-goal slice, and CI has not run on the pushed head yet. Current work: premerged-lib symbol densification now has a pure shared-prefix/empty-retention fast path that compacts only private appended symbols, leaving retained-lib and mixed-prefix behavior on the existing full path. Blocker/current state: no known code blocker; waiting for draft CI on head Next action: if draft CI passes, update verification in the PR body and mark ready; if CI fails, fix in this PR. Verification: not run locally per instruction; pre-commit formatting hook ran during commit. |
|
Provenance: MacBookPro.fritz.box / codex / GPT-5 / high Closing this draft as fully superseded by PR #13382. Evidence: #13382 targets the same #13047 premerged-lib densify path, but carries the broader/safter workset rule: pure shared-prefix compaction copies retained lib symbols plus private appended symbols, preserves the mixed-prefix fallback, splits the helper out to keep This draft (#13383) only covered the empty-retention subset and has no unique findings beyond that narrower case. Keeping both open would create duplicate overlap in the same owner path. |
|
Superseded by #13382; see the provenance/evidence comment above. |
Goal: fast
Summary
Structural rule
When a user-file binder cloned from the premerged lib universe has a pure shared lib prefix and no retained lib symbols, compaction should remap only private user symbols. tsz now keeps the same binder/core owner layer and avoids one O(lib universe) scan/allocation pass in that empty-retention case; mixed prefixes or retained-lib references still use the existing full densification path.
Verification
Provenance
Machine: MacBookPro.fritz.box
Assistant: codex
Model: GPT-5
Effort: high