Repository navigation
Cursor/dsl roadmap worker plan 965b - #46
Merged
Merged
Conversation
…riplets Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
…riplets Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
… show-triplets Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
…ow-triplets Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
… and show-triplets Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
…riplets Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
…ands Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
…iplets Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
…nt parity coverage Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
…e/uppercase cases Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
…nd show-triplets Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
…commands Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>
briansrls
added a commit
that referenced
this pull request
May 10, 2026
briansrls
added a commit
that referenced
this pull request
May 10, 2026
briansrls
added a commit
that referenced
this pull request
May 10, 2026
briansrls
added a commit
that referenced
this pull request
May 10, 2026
briansrls
added a commit
that referenced
this pull request
May 10, 2026
briansrls
added a commit
that referenced
this pull request
May 10, 2026
briansrls
added a commit
that referenced
this pull request
May 10, 2026
- Add r3_fc_lane2_loop_witness + compile_to_dag / parse-surface hook; native auto_loop_parallelism_pending_lens path when program_under_test is Some. - Unify second-batch .dag claims on staged witness + integration expectations. - ROADMAP P5 carve-out, brief clarification, SG-0 (b) append for census +1. Rebased onto main via squash to resolve merge conflicts with landed #2532. Co-authored-by: Cursor <cursoragent@cursor.com>
briansrls
added a commit
that referenced
this pull request
May 10, 2026
briansrls
added a commit
that referenced
this pull request
May 10, 2026
- Land r3_fc_lane2_loop_witness + compile_to_dag hook, lens_apply program_under_test path, fixture witness lines, ROADMAP/SG-0 P5 receipts. - Fold in main #2535 second-batch surface: drop superseded emit-rust witness dispatch for gates #47–#48 and `r3_loop_dependence_sequential_emit_witness` helper; gate #48 uses the same pending-lens + magic-comment path as #46/#47. - Integration test docs: spell out author attestation vs composed lenses (api-review). Co-authored-by: Cursor <cursoragent@cursor.com>
briansrls
added a commit
that referenced
this pull request
May 10, 2026
- r3_fc_lane2_loop_witness + compile_to_dag / parse-surface hooks; native auto_loop_parallelism_pending_lens when program_under_test is Some. - Second-batch .dag: magic-comment staging for all three auto-loop claims; drop superseded emit-rust witness dispatch for #47–#48 and r3_loop_dependence_sequential_emit_witness (superseded by substrate read). - ROADMAP P5 carve-out, SG-0 (b) append, census, brief note; integration test documents author attestation vs composed lenses. - Gate #48 program file aligned to staged witness source. Co-authored-by: Cursor <cursoragent@cursor.com>
briansrls
added a commit
that referenced
this pull request
May 10, 2026
briansrls
added a commit
that referenced
this pull request
May 10, 2026
…rness Second-batch TestClaim source comments implied compiler-detected independence or dependence; gates #46–#48 only observe directive attestation + pending lens. Update inline .dag strings and the mirrored .v3 so downstream readers are not misled (ROADMAP auto-loop scaffold remains the authority). Co-authored-by: Cursor <cursoragent@cursor.com>
briansrls
added a commit
that referenced
this pull request
May 10, 2026
- r3_fc_lane2_loop_witness + compile_to_dag / parse-surface hooks; native auto_loop_parallelism_pending_lens when program_under_test is Some. - Second-batch .dag: magic-comment staging for all three auto-loop claims; drop superseded emit-rust witness dispatch for #47–#48 and r3_loop_dependence_sequential_emit_witness (superseded by substrate read). - ROADMAP P5 carve-out, SG-0 (b) append, census, brief note; integration test documents author attestation vs composed lenses. - Gate #48 program file aligned to staged witness source. Co-authored-by: Cursor <cursoragent@cursor.com>
briansrls
added a commit
that referenced
this pull request
May 10, 2026
briansrls
added a commit
that referenced
this pull request
May 10, 2026
…rness Second-batch TestClaim source comments implied compiler-detected independence or dependence; gates #46–#48 only observe directive attestation + pending lens. Update inline .dag strings and the mirrored .v3 so downstream readers are not misled (ROADMAP auto-loop scaffold remains the authority). Co-authored-by: Cursor <cursoragent@cursor.com>
briansrls
added a commit
that referenced
this pull request
May 10, 2026
briansrls
added a commit
that referenced
this pull request
May 10, 2026
briansrls
added a commit
that referenced
this pull request
May 10, 2026
* feat(v3): R3 second-batch staged lane2 witness (gates #46–#48) - r3_fc_lane2_loop_witness + compile_to_dag / parse-surface hooks; native auto_loop_parallelism_pending_lens when program_under_test is Some. - Second-batch .dag: magic-comment staging for all three auto-loop claims; drop superseded emit-rust witness dispatch for #47–#48 and r3_loop_dependence_sequential_emit_witness (superseded by substrate read). - ROADMAP P5 carve-out, SG-0 (b) append, census, brief note; integration test documents author attestation vs composed lenses. - Gate #48 program file aligned to staged witness source. Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: R3 gate #46: auto loop parallelism provable independence emits parallel * fix(v3): align second-batch auto-loop fixture comments with staged harness Second-batch TestClaim source comments implied compiler-detected independence or dependence; gates #46–#48 only observe directive attestation + pending lens. Update inline .dag strings and the mirrored .v3 so downstream readers are not misled (ROADMAP auto-loop scaffold remains the authority). Co-authored-by: Cursor <cursoragent@cursor.com> * fix(v3): restore structural fold in gate #48 free-consequences fixture Reintroduce std.list.fold (acc + x) in the dependence claim so lowering still walks a real loop body; staged lens Pass remains directive + pending-lens per ROADMAP. Add byte-for-byte ratchet: embedded TestClaim.source must match the .v3 authority via include_str (and ASCII hyphen in comments to avoid .dag embed mojibake). Co-authored-by: Cursor <cursoragent@cursor.com> * test(v3): assert gate #48 fold lowers to Behavior::Loop Review 8808: the pending-lens Pass path still reads staged lane2_workflow, but the claim program is no longer unverified text — integration now compiles the embedded gate #48 source and requires a Loop node so std.list.fold stays load-bearing on the lowering surface. Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: R3 gate #46: auto loop parallelism provable independence emits parallel * WIP: R3 gate #46: auto loop parallelism provable independence emits parallel * fix(v3): repair CI fmt + lane2 witness test premise - Remove staged_directive_without_bind_shell_is_diagnostic: Dag::new() is bootstrapped with a Bind shell, so the test never exercised the no-Bind path. - Apply rustfmt to dag imports; drop unused test imports (super::*, Dag). - Assert pending-lens gate via ClaimResult::Fail(_) only, not prose substrings. Co-authored-by: Cursor <cursoragent@cursor.com> --------- Co-authored-by: Cursor <cursoragent@cursor.com>
This was referenced May 10, 2026
briansrls
added a commit
that referenced
this pull request
May 10, 2026
…2648) * docs(r3): §1.8 ledger-receipt sync — 2026-05-10 batch (V Mgr lane) Flip §1.8 ledger Status from DECLARED/CONSUMER_LANDED to PASSING for V-Mgr lane gates whose CONSUMER_LANDED PRs landed in main as of 2026-05-10. Each row cites the merging PR per Director-ratified post-merge ledger-receipt sync discipline (gunbc#828 c#4415884211). Gates flipped (17): #9 (#2585), #10 (#2602), #11 (#2603), #12 (#2598), #14 (#2571), #31 (#2586), #43 (#2495), #44 (#2523), #45 (#2527), #46 (#2529), #47 (#2532), #48 (#2535), #49 (#2536), #50 (#2547), #51 (#2577), #52 (#2578), #69 (#2551). Skipped per discipline: #15 (PR #2604 not landed); #35 already PASSING. Doc-only; no code or test changes. Closes #2640. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * docs(r3): preserve corpus-quantified + canvas-deferral qualifiers on rows #9/#10/#11 Reviewer (claude-opus-4-7 on PR #2648) flagged that the prior status text on rows #9, #10, #11 carried Director/PM-ratified semantic qualifiers that must not be silently elided when citing a new slice receipt: - #9 `l4_emit_eval_match`: §1.7 corpus-quantified rule — slice receipts ≠ ledger closure; PASSING requires every certification-corpus program. Reverted to CONSUMER_LANDED; PR #2585 cited as additional slice evidence. - #10 `l7_algebraic_laws_witnessed`: PASSING requires exhaustive per-(algebra, inhabitant, law) §Acceptance coverage; distributivity / lattice absorption / non-AlgebraicLawKind laws remain substrate §P1. Reverted to CONSUMER_LANDED; PR #2602 cited as incremental advancement. - #11 `tc1_eta_equivalence_executable`: Director (a)-disposition 2026-05-09 held this canvas-deferred past R3 absent #1972 substrate canvas-tier work. Reverted to DECLARED-through-R3; PR #2603 cited as scaffold advancement but not retiring the canvas-deferral (which would require fresh Director ratification). Other 14 rows in the batch (#12, #14, #31, #43-52, #69) did not carry such qualifiers and stay flipped to PASSING. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com> * Merge origin/main into ledger-receipt sync (preserve row #13 update from main) --------- Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
gunbai-bot Bot
pushed a commit
that referenced
this pull request
Sep 10, 2026
…tigation. After private #46 the public-seed gunbc build dominates the job; a per-attempt guest is cold by construction, so name the cache arm and require a cold-build measurement before flipping runs-on. Co-authored-by: Cursor <cursoragent@cursor.com>
This was referenced Sep 10, 2026
briansrls
pushed a commit
that referenced
this pull request
Sep 11, 2026
) * Plan CI onto per-job microVMs without taking the cutover. Public dogfood is M1; private is the first workflow because it is already red on the shared-filesystem deleter class. host_boot_cutover_frontier stays unbound. Co-authored-by: Cursor <cursoragent@cursor.com> * Correct the adjacent-lane map: process count is not the filesystem mitigation. After private #46 the public-seed gunbc build dominates the job; a per-attempt guest is cold by construction, so name the cache arm and require a cold-build measurement before flipping runs-on. Co-authored-by: Cursor <cursoragent@cursor.com> * Reframe microVM cost: cache location, not VM lifetime. Local-compile-cold seed build was 3m 58s on amd64 BuildBuddy with an empty target dir and no rustc wrapper; guest sccache reachability is still the open constraint. Co-authored-by: Cursor <cursoragent@cursor.com> * Retire seed-build cache as a cutover gate: accepted-cold clears the job bar. 3m 58s is a twice-over lower bound; even 2x still leaves a ~12 minute private job versus 53 and under the 60-minute timeout. Guest egress stays blocked on its own frontier and is off this path. Co-authored-by: Cursor <cursoragent@cursor.com> * Cite the private job-wall producers the accepted-cold subtraction uses. The 3341 s and 759 s walls are GitHub job timestamps on runs 34462653642 and 34512318040; the ~61-minute cancel class is run 34523487941. Bare 53/8 minute prose is no longer the bar. Co-authored-by: Cursor <cursoragent@cursor.com> * Point the probe dissolution at #10985's two conjuncts. Identifying a deleter on the shared slot is not a substitute; typed env-vs-code stays after isolation. Co-authored-by: Cursor <cursoragent@cursor.com> * Restore the #10985 probe-home sentence the merge dropped. Co-authored-by: Cursor <cursoragent@cursor.com> * Record the in-flight runner re-registration specimen as the shared-FS class this plan makes unwritable. Identification still does not dissolve the filesystem probe; thrash remains unjoined. Co-authored-by: Cursor <cursoragent@cursor.com> * Cite #10985: double-occupancy is eviction 127, wrap trigger is not-replaced-during. Co-authored-by: Cursor <cursoragent@cursor.com> --------- Co-authored-by: Brian Searls <briansearls1@gmail.com> 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
2 participants
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.
No description provided.