Repository navigation
placement_supply → product, process_algebra → dsl/ctrl - #5233
Merged
Merged
Conversation
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>
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>
briansrls
added a commit
that referenced
this pull request
Jun 19, 2026
…5233 relocation) #5233 moved placement_supply std->product after #5225 was authored; #5225's new files (realization_width.dag + its witness) still imported the dead std.placement_supply path. Clean adds, so git flagged no conflict, but they broke resolve. Repoint to product.placement_supply (both symbols exported there). NOTE: leaves a std->product layer inversion (std.realization_width imports product.placement_supply) flagged to the operator for a clean fix (move realization_width -> product, or decouple from PlacementSupplyRow). Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
briansrls
added a commit
that referenced
this pull request
Jun 19, 2026
…re-exported via std.realization — does NOT exist in scheduler.dag). Bound host spawn width by min(IndependentShards.shard_count, PlacementSupplyRow.hardware_threads). CRITICAL §3: sharding/width is a PERIPHERAL host realization of (#5225) * Add std.realization_width peripheral host spawn-width fold (Phase 1). Model min(shard_count, hardware_threads) in dsl/std as a placement-bounded width decision, re-exported via std.realization with discriminating witnesses. Co-authored-by: Cursor <cursoragent@cursor.com> * Document width re-export hub; witness imports via std.realization. Proves the realization_width symbols are intentional re-exports (same pattern as schedule/measurement arms), not stray imports pending spawner wiring. Co-authored-by: Cursor <cursoragent@cursor.com> * Name Int↔Nat coercion at hardware_thread_count as dissolution scaffold. Documents the load-bearing Nat⊂Int widening at the width-fold constructor boundary; witnesses verify it green today. Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: Phase 1: hardware-bounded scheduler width-fold (NEW .dag in dsl/std, re- * WIP: Phase 1: hardware-bounded scheduler width-fold (NEW .dag in dsl/std, re- * Fix ci_floor spawn-width naming and measured-balance witness parse. Rename ci_fleet authority to ci_fleet_floor_spawn_width; ci_floor_plan exposes gunbc_ci_floor_spawn_width for claim_executor companion eval. Co-authored-by: Cursor <cursoragent@cursor.com> * Derive Clone on DiscoveryRow for corpus width sharding. Fixes claim_executor compile: parallel discovery shards clone row slices when distributing entry-groups across spawn_width workers. Co-authored-by: Cursor <cursoragent@cursor.com> * Address review: drop no-op parallelism rejection; fix W×W spawn cap. Remove parallelism_width_satisfies rejection from satisfies() — width capping is peripheral host realization, not a fail-closed placement gate. Divide spawn_width across chunk siblings in run_walk so DiscoveryBatch internal sharding + batch concurrency stay within the .dag authority. Co-authored-by: Cursor <cursoragent@cursor.com> * Fix rustfmt for width-fold Rust changes (rust_monolith_gate). Co-authored-by: Cursor <cursoragent@cursor.com> * fix(merge): repoint #5225 placement_supply imports std->product (post-#5233 relocation) #5233 moved placement_supply std->product after #5225 was authored; #5225's new files (realization_width.dag + its witness) still imported the dead std.placement_supply path. Clean adds, so git flagged no conflict, but they broke resolve. Repoint to product.placement_supply (both symbols exported there). NOTE: leaves a std->product layer inversion (std.realization_width imports product.placement_supply) flagged to the operator for a clean fix (move realization_width -> product, or decouple from PlacementSupplyRow). Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> * fix(std): decouple realization_width from product.placement_supply (cursor RC #5225) std.realization_width imported product.placement_supply.PlacementSupplyRow — a §3 layer inversion (std importing product), contradicting the module's own product-free header. Thread the grounded HardwareThreadCount (a std.measure carrier) into bounded_host_spawn_width et al. instead; the product caller (compute_fabric placement_spawn_width) extracts supply.hardware_threads and passes it in. - realization_width.dag: drop product import + hardware_threads_int helper; 5 fns now take hardware_threads: HardwareThreadCount. - realization.dag: drop the hardware_threads_int re-export. - compute_fabric.dag: pass supply.hardware_threads at the one call site. - witness: drop product import; build HardwareThreadCount directly. Verified green by execution: realization_width_witnesses() -> true (cap, degenerate fail-closed, budget-ignoring RED all pass). Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> --------- Co-authored-by: Brian Searls <briansrls@gunb.ai> Co-authored-by: Cursor <cursoragent@cursor.com> Co-authored-by: Claude Opus 4.8 <noreply@anthropic.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.
Auto-opened by session-dashboard for session
loyal-cat-419.Pushing to
session/loyal-cat-419advances this PR.Worker attestation
Before flipping this PR to ready for review, confirm each item:
npm test,cargo test) and the result.Closes #Ndirective.Summary
TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.
Test plan