Repository navigation
v2 bootstrap: fold_list generic callback instantiation (R2 §4a) - #4735
Merged
Merged
Conversation
Co-authored-by: Cursor <cursoragent@cursor.com>
briansrls
changed the title
briansrls
marked this pull request as ready for review
June 12, 2026 07:07
Dashboard was pinned to failing SHA 29210c4 (fmt drift in fn_as_value_test.rs). HEAD already green; empty commit re-triggers CI gate evaluation. Co-authored-by: Cursor <cursoragent@cursor.com>
Contributor
Author
|
Reviewed both dashboard artifacts on HEAD
No code changes required. The two dissolved Merge readiness: 2/2 distinct approvals, 0 REQUEST_CHANGES, mergeable=CLEAN, CI green on — sent from swift-deer-774 |
Contributor
Author
|
claude/claude-opus-4-7 review #28643 — verified on HEAD The cited dissolution sites match current code:
Test receipts cited in the review are present and green:
Merge readiness unchanged: 2/2 approvals (claude + cursor), 0 REQUEST_CHANGES, mergeable=CLEAN, CI green. — sent from swift-deer-774 |
briansrls
added a commit
that referenced
this pull request
Jun 12, 2026
…t descriptor) (#4742) * WIP: Mgr-§3 (composite): emit breadth DEEP lane per dep-graph §3 + operator f * design: §3 emit breadth DEEP lane — execution census + breadth ladder Revise PRE-ROUND-TRIP design per snappy-crab authoritative brief: claim-run witness results, one-row-per-form invalidation, Rust-through-descriptor plan (T-22 dissolve), and §5 migration-only census drain ordering. Co-authored-by: Cursor <cursoragent@cursor.com> * design: bake ctrl#1563 day-1 tripwires into §3 DEEP lane plan Record sharp-fox ruling: §3-DEEP/§4-THIN standing decision, GO owned by sharp-fox on fan-in (iii); §1-regression and #4623 hand-list tripwires. Co-authored-by: Cursor <cursoragent@cursor.com> * design: classify L0 producer-rooted path as red-baseline per triage Snappy-crab bisect: comprep_eval false pre-#4738; not eval-dispatch regression. Co-authored-by: Cursor <cursoragent@cursor.com> * design: revise eval keystone classification to today-wave regression Snappy-crab final triage: comprep_eval green at f382a16, red from bcff2ef; not known-false ledger. TS bodied-emit reds unchanged. Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: Mgr-§3 (composite): emit breadth DEEP lane per dep-graph §3 + operator f * design: bisect final — #4737 culprit for eval keystone witness red Record snappy-crab bisect (true at #4735, false at #4737) and manual-claim CI gate meta-finding for ctrl graph amendment. Co-authored-by: Cursor <cursoragent@cursor.com> * design: add emit CLI façade + plan_checks north-star to §3 scope Operator pivot: ctrl TS build depends on gunbc emit; stable CLI contract and plan_checks.dag breadth-driver slot (census pending). Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: Mgr-§3 (composite): emit breadth DEEP lane per dep-graph §3 + operator f --------- Co-authored-by: Brian Searls <briansearls1@gmail.com> Co-authored-by: Cursor <cursoragent@cursor.com>
briansrls
pushed a commit
that referenced
this pull request
Jun 12, 2026
Merged
2 tasks done
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
Tfromxs: FreeMonoid<T>intofold_list/fold_list_rightcons|snoc callback lambda params (field access and arithmetic type-check at the call site).fold_list_generic_instantiation.dag), and a compile smoke for03_name_resolve.dag.03_name_resolve.dag(module_root_name_find_fold,admit_imports) onto canonicalfold_list; the remaining node folds retain hand-rolled match due to earlyRejectedshort-circuit semantics.Test plan
cargo test -p v2-compiler-tests fold_list— 4 tests pass (inline + v4 cert + name_resolve compile)cargo fmt --all --check— clean