Repository navigation
std: STD_LEAK_PLAN Wave A slices 7/10/11 (policy delete, SK-Hynix de-dupe, HostRamSupplyFacts delete) - #5230
Merged
Merged
Conversation
gunbai-bot
Bot
changed the title
briansrls
added a commit
that referenced
this pull request
Jun 19, 2026
The vendor catalog authority moved to extdeps.memory.sk_hynix; keep the corrected header comment in the relocated file to avoid losing slice-7 fix. Co-authored-by: Cursor <cursoragent@cursor.com>
briansrls
added a commit
that referenced
this pull request
Jun 19, 2026
* WIP: placement_supply → product, process_algebra → dsl/ctrl * Carry #5230 SK Hynix catalog pointer into product.placement_supply. The vendor catalog authority moved to extdeps.memory.sk_hynix; keep the corrected header comment in the relocated file to avoid losing slice-7 fix. Co-authored-by: Cursor <cursoragent@cursor.com> * docs: update placement_supply authority after product-layer move. Carry claude review nit: realization-measurement-loop.md still cited std.placement_supply after #5233 relocated the carrier to product/. Co-authored-by: Cursor <cursoragent@cursor.com> --------- Co-authored-by: Brian Searls <briansrls@gunb.ai> Co-authored-by: Cursor <cursoragent@cursor.com>
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
1 participant
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
Land three mechanical Wave A slices from the std/ layer-inversion audit (STD_LEAK_PLAN):
dsl/std/policy.dag(WarningPolicyhad zero consumers; live lint policy islint_args: ["-D","warnings"]intools/rust_gates_ci.dag).std.memory.types(chip_width/rank_countcomments); single authority stays inextdeps/memory/sk_hynix.dag. Fix staleplacement_supplyheader pointing atstd.memory.sk_hynix→extdeps.memory.sk_hynix.HostRamSupplyFactsfromstd.memory.types(zero consumers; nominal-vs-observed supply is a deployment/ctrl fact;ComputeSupplyFactsalready covers supply shape in product).Test plan
gunbc compile --source-root dsl --target rust— 287 modules indexed/resolved; no new errors in touched files (pre-existingstring_containsscope failures in yaml/CI witnesses remain on main).HostRamSupplyFacts,std.policy, orpolicy.dag.