Reduce private source model allocation cost - #138
Merged
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Proof Boundaries
The paired source-bound experiment compares 111 successful projections, 17 rejected inputs with exact expected diagnostics, and empty/singleton/unequal-group cases. Six samples at each of 64, 512 and 4096 members show approximately 24-29% lower median B/op for this finite family. This is not a universal speedup, peak-RSS claim or proof of a larger safe input domain.
Three isolated mutations are rejected by the permanent tests: wrong member cardinality, removal of reference compaction and an aliased atomic accessor. Full product and provider checks are attached to the exact PR head; review evidence does not replace them.
This closes only the resource-ownership optimization prerequisite. It does not activate source-v2, complete Batch B, replace the deferred human authoring study or close the global roadmap. Future versioned resource-domain restrictions require explicit migration refusal before writes, never silent truncation.
Retrospective
An early copy-only candidate retained excess backing capacity and was rejected before delivery. The first review package also lacked transitive producer and complete benchmark-input evidence; a new frozen package added the actual owners, full source/binary bindings and explicit rejection cases. Original failed and unresolved evidence is preserved. No active skill or provider policy was modified.