Session roadmap todos by briansrls · Pull Request #48 · gunb-ai/gunbc

briansrls · 2026-02-18T05:19:38Z

Initiates consolidated worker plan execution, drafting the sandbox/replay RFC and aligning C6.1 with DSL-native DAG types.

This work begins the execution of the consolidated worker plan, incorporating the user's direction to interpret C6.1 "Understanding type definitions" as DAG-native typed modeling within the existing DSL.

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

cursor · 2026-02-18T05:19:40Z

Cursor Agent can help with this pull request. Just @cursor in comments and I'll start working on changes in this branch.
_{Learn more about Cursor Agents}

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

Co-authored-by: Cursor <cursoragent@cursor.com>

… lens witnesses) Co-authored-by: Cursor <cursoragent@cursor.com>

…ixture scope) Co-authored-by: Cursor <cursoragent@cursor.com>

…tness Wire auto_loop_parallelism_dependence_emits_sequential to a LensOutputEquals runner path that checks emit_rust output: no top-level thread::scope batch, plus structural loop-carried evidence (Loop body reaches init) or the list catamorphism .iter().fold( sequential spelling). Adds authority .v3 fixture, syncs TestClaim source bytes in the second-batch .dag, and extends rust_target with r3_loop_dependence_sequential_emit_witness. Cargo.lock: refresh v3-compiler dependency list for --locked CI. Co-authored-by: Cursor <cursoragent@cursor.com>

Co-authored-by: Cursor <cursoragent@cursor.com>

…ixture scope) Co-authored-by: Cursor <cursoragent@cursor.com>

- 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>

* feat(v3-compiler): R3 gate #48 loop dependence sequential emission witness Wire auto_loop_parallelism_dependence_emits_sequential to a LensOutputEquals runner path that checks emit_rust output: no top-level thread::scope batch, plus structural loop-carried evidence (Loop body reaches init) or the list catamorphism .iter().fold( sequential spelling). Adds authority .v3 fixture, syncs TestClaim source bytes in the second-batch .dag, and extends rust_target with r3_loop_dependence_sequential_emit_witness. Cargo.lock: refresh v3-compiler dependency list for --locked CI. Co-authored-by: Cursor <cursoragent@cursor.com> * docs(v3-compiler): document substring coupling for gate #48 emit witness Co-authored-by: Cursor <cursoragent@cursor.com> * docs(v3-compiler): document OR semantics for gate #48 emit witness (fixture scope) Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: R3 gate #48: auto loop parallelism dependence emits sequential * chore: remove accidental PR reply draft from repo root The file was local dashboard/GH comment scaffolding; it should not ship as tracked source (review claude/claude-opus-4-7 on PR #2535). Co-authored-by: Cursor <cursoragent@cursor.com> --------- Co-authored-by: Cursor <cursoragent@cursor.com>

- 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>

- 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>

…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>

- 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>

…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>

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>

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>

* 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>

…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>

cursoragent and others added 4 commits February 18, 2026 05:04

Add resource admission control to parallel executor

b4cd162

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

Add git-signal fast path for lint preflight

27855a2

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

Draft sandbox and replay RFC for runtime

19652f8

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

Capture verify stdout in CI parse and report paths

b2f7364

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

cursoragent and others added 25 commits February 18, 2026 05:23

Add verify-stage failure extractor and reduce duplicate output

24f3527

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

Add canonical platform model and deps adapters

39fac2e

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

Extract browser open resolution to shared primitive utility

18d5d10

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

Use typed OS keys for deps and gh install metadata

9d8e502

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

Model MIPS toolchain commands in canonical platform types

c8db83a

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

Type platform registry keys with PlatformId

31f7f78

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

Generate platform mock variants in testgen defaults

08bbeed

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

Add target-triple ABI conformance tests

4104079

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

Align DSL platform vocabulary with canonical target model

0b308fe

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

Sync grouped progress milestones in logging roadmap

b3e05ed

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

Expand TCP transport behavioral coverage for C4.1

1de357a

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

Add WorkspaceLayout model derived from cargo metadata

ad450da

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

Use WorkspaceLayout for pragma lint repo root

dc5b1cd

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

Use WorkspaceLayout in daglang-cli test root helpers

0742dd3

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

Add DSL Platform compatibility adapters to Os model

fe4d0b6

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

Sync failure-first rendering milestones in roadmap

ea903a3

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

Derive resource input patterns from WorkspaceLayout

4161315

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

Compute exec-runtime Cargo paths from output directory

2d855a8

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

Use WorkspaceLayout for DSL and codegen output roots

a20a5e0

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

Derive pragma allowlist paths from workspace crate layout

d9fada7

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

Add CI grouping and structured errors for preflight

3ad9ce2

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

Standardize CI ops status fields with OutputMap helper

fc5508d

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

Use shared attention formatting in codegen CLI

6a6e961

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

Add typed TCP transport ops and typed triplet ports

ba1f03e

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

Introduce DisplayConfig and redaction-focused display tests

9a0f7ee

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

cursoragent and others added 3 commits February 18, 2026 11:48

Add infra plan/apply DAG builders with target and skip filters

6d3d9b4

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

Add TTL secret cache and partial fetch planning helpers

99edd2c

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

Add multi-project registry and cross-project WIF binding derivation

045bfd2

Co-authored-by: Brian Searls <briansrls@users.noreply.github.com>

briansrls closed this Feb 18, 2026

briansrls added a commit that referenced this pull request May 10, 2026

docs(v3-compiler): document substring coupling for gate #48 emit witness

4553c57

Co-authored-by: Cursor <cursoragent@cursor.com>

briansrls added a commit that referenced this pull request May 10, 2026

merge: origin/main into session/valiant-ferret-390 (keep gate #45 + #48…

28f341d

… lens witnesses) Co-authored-by: Cursor <cursoragent@cursor.com>

briansrls added a commit that referenced this pull request May 10, 2026

docs(v3-compiler): document OR semantics for gate #48 emit witness (f…

0fd9770

…ixture scope) Co-authored-by: Cursor <cursoragent@cursor.com>

briansrls added a commit that referenced this pull request May 10, 2026

WIP: R3 gate #48: auto loop parallelism dependence emits sequential

2e01991

briansrls added a commit that referenced this pull request May 10, 2026

docs(v3-compiler): document substring coupling for gate #48 emit witness

f731a93

Co-authored-by: Cursor <cursoragent@cursor.com>

briansrls added a commit that referenced this pull request May 10, 2026

docs(v3-compiler): document OR semantics for gate #48 emit witness (f…

2c64462

…ixture scope) Co-authored-by: Cursor <cursoragent@cursor.com>

briansrls added a commit that referenced this pull request May 10, 2026

WIP: R3 gate #48: auto loop parallelism dependence emits sequential

fa4e4ff

This was referenced May 10, 2026

session/zesty-bear-812 · gunbc Director #828

Closed

R3 §1.8 ledger-receipt sync — 2026-05-10 batch (V Mgr lane) #2640

Closed

docs(r3): §1.8 ledger-receipt sync — 2026-05-10 batch (V Mgr lane) #2648

Merged

briansrls mentioned this pull request May 12, 2026

Reflective analysis — 3-day integration review #392

Closed

Navigation Menu

Repository navigation

Session roadmap todos - #48

Session roadmap todos#48
briansrls wants to merge 93 commits into
mainfrom
cursor/session-roadmap-todos-4a27

briansrls commented Feb 18, 2026

Uh oh!

cursor Bot commented Feb 18, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Conversation

briansrls commented Feb 18, 2026

Uh oh!

cursor Bot commented Feb 18, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants