Repository navigation
Namespace PR-5c-4: import strip dag/std+tools+misc (~135 files; modeling-coherence split) - #6612
Closed
gunbai-bot[bot] wants to merge 17 commits into
Closed
gunbai-bot[bot] wants to merge 17 commits into
gunbai-bot[bot] wants to merge 17 commits into
Conversation
6 tasks
briansrls
force-pushed
the
session/zesty-bat-509
branch
2 times, most recently
from
July 14, 2026 19:04
c8f1f5c to
3815820
Compare
… matching. Extend if_branch_shapes_compatible to unify optional absent/present pairs, ProcessExit arms, and Product(Arm) vs Node(Coproduct) shapes after import strip. Co-authored-by: Cursor <cursoragent@cursor.com>
briansrls
force-pushed
the
session/zesty-bat-509
branch
from
July 14, 2026 19:04
3815820 to
06e741d
Compare
Resolve duplicate `index` parameter and adapt pool-wide bare census to main's per-index parse_cache/intern_table (shared_caches no longer holds them). Co-authored-by: Cursor <cursoragent@cursor.com>
briansrls
marked this pull request as ready for review
July 14, 2026 22:11
Contributor
Author
|
Superseded by integration collapse PR #6640 (session/still-owl-689, work item adhoc-2ace4fe2-aad). Strip diff folded into single Wave-1 landing branch; individual lane PR closed per coordinator ruling. |
1 of 2 tasks
Contributor
Author
|
Superseded by integration PR #6640 (session/still-owl-689). Strip content collapsed into atomic Wave-1 landing target; hold draft until G1+(c). — still-owl-689 |
briansrls
added a commit
that referenced
this pull request
Jul 15, 2026
…nt main. Re-apply atomic strip from collapsed PRs #6603 #6600 #6607 #6610 #6611 #6612 #6613 #6622 after remote branch was reset to main. Includes G1 symbol_index resolve, global_bare census expansion, and stage0 bootstrap sync. CI floor expected-red until Wave-0 (c) homonym qualify lands. Co-authored-by: Cursor <cursoragent@cursor.com>
briansrls
added a commit
that referenced
this pull request
Jul 18, 2026
#6611 #6612 #6613 #6622 into one draft integration branch/PR on main; atomic Wave-1 landing target; close/supersede individual strip PRs; hold draft until G1+(c) then single rebase+merge (#6640) * Wave-1 namespace import strip rebased on main @ d3ffafd (#6640). Squash-rebase onto current main: preserve integrated strip tree + flip (e0a1019), overlay #6738 artifact-store + #6837 grammar forward-fold landings. Re-strip overlapped .dag files except main-landing substrate (grammar, fleet_intent, realization_measurement, ci_layer_roots, v1 complexity cluster) kept with imports for plan-resolve green. Restore host_build_cache_provision + body_producer_forward dropped by stale tree. Co-authored-by: Cursor <cursoragent@cursor.com> * fix(#6640): restore body-lowering authorities after import strip Rebase conflict resolution regressed loop/cost substrate symbols and bash_command_fold onto deleted extdeps.languages.bash.program. Surgical restore on stripped node.dag (content_hash stays in node_content_hash): - loop_carrier_binder_target + carrier_edges<=1 conformance wall - edge_contributes_to_cost_fold (cost lens C1 authority) - loop_edge_contributes_to_iteration_fold excludes ^loop_carrier_edge - bash_command_fold/orchestration emit tests back on bash_build path Addresses review 39510. Plan resolve green; compile-clean tail unchanged. Co-authored-by: Cursor <cursoragent@cursor.com> * fix(#6640): review 39532 — AuthScheme, Atom discipline, ContentHash - credential_chain: drop String scheme param; pass Bearer variant to build_token - node.dag: restore atom_connective_edge_discipline wall + Hash = ContentHash - node_content_hash: route through std.content_hash atom/combine primitives Addresses review 39532 substrate findings from rebase regression. Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: Namespace integration branch: collapse strip PRs #6603 #6600 #6607 #6610 * WIP: Namespace integration branch: collapse strip PRs #6603 #6600 #6607 #6610 * WIP: Namespace integration branch: collapse strip PRs #6603 #6600 #6607 #6610 * WIP: Namespace integration branch: collapse strip PRs #6603 #6600 #6607 #6610 * fix(#6640): review 39553 — restore deploy invoke name, runner slot enforcement Revert accidental gunbc_ci_deploy_run_script rename to gunbc_ci_deploy_invoke. Restore runner_slot_enforcement_from_unit_read and per-slot committed bridge; re-ground fixture_expected_cap on allocation authority and restore per-slot discriminating witnesses dropped by import strip. Co-authored-by: Cursor <cursoragent@cursor.com> * fix(#6640): review 39553 — restore deploy release-bins witnesses Re-enroll witness_deploy_invoke_does_not_rebuild_release_bins and witness_ci_yml_deploy_job_consumes_release_bins_artifact dropped by import-strip diff. 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
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
zesty-bat-509.Pushing to
session/zesty-bat-509advances 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