Cursor/session roadmap todos 4a27 by briansrls · Pull Request #49 · gunb-ai/gunbc

briansrls · 2026-02-19T02:07:04Z

No description provided.

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

chatgpt-codex-connector

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 75bdc8de77

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

Open a pull request for review
Mark a draft as ready
Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

chatgpt-codex-connector · 2026-02-19T02:16:09Z

        execute_transport_id.clone(),
        execute_transport_inputs,
-        vec![Port::scalar("makegen_response", "TransportResponse")],
+        vec![Port::scalar("response", "TransportResponse")],


Keep makegen transport port name consistent in exec runtime

This change rewires content-upsert transport nodes to emit response, but the exec-runtime emitter still hardcodes makegen_response in handler_body(HandlerKind::ExecuteTransport) (core/daglang/daglang-emit/src/rust_exec_runtime.rs), so generated exec-runtime binaries for makegen will publish the result on a port that no edge consumes. In the makegen flow (execute_makegen_transport.response -> ...__deps), that drops the transport output and can make downstream entrypoint behavior incorrect (for example reporting written=false despite a successful write).

Useful? React with 👍 / 👎.

chatgpt-codex-connector · 2026-02-19T02:16:09Z

+    active: &HashMap<String, ActiveResourceLock>,
+) -> bool {
+    requirements.iter().all(|(resource_id, mode)| {
+        let lock = active.get(resource_id);


Enforce wildcard resource conflicts in admission control

Admission control checks locks with an exact active.get(resource_id) lookup, so wildcard declarations like res:file:* do not conflict with specific resources like res:file:Makefile because they map to different keys. In parallel execution this allows nodes that should serialize (coarse file writer vs specific file reader/writer) to run concurrently, undermining the new resource-lock safety model for file resources.

Useful? React with 👍 / 👎.

* Fire R3 auto memoization repeated pure call gate * Use structural memoization gate witness * Use structural pure call memo keys * WIP: R3 gate #49: auto memoization repeated pure call cached * WIP: R3 gate #49: auto memoization repeated pure call cached * WIP: R3 gate #49: auto memoization repeated pure call cached * Fix non-copy memoization regression assertion * Restore memoization gate deferral framing * Fire repeated pure call memoization gate * Tighten repeated call memoization witness wording * Share repeated call cache emission plan * Defer R3 memoization dimension report gate * WIP: R3 gate #49: auto memoization repeated pure call cached

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

…t 1: joint_claim_join, the instrument behind its figures (#11044) * Scope the jointly-incompatible-open-PR mitigation: a claim-channel x surface join over the declaration index, advisory-first Three 2026-09-10 reds on main were pairs of individually-green, textually disjoint PRs whose union does not compile. This records the scope of a mitigation and builds nothing, answering the four questions the brief asked before any shape: THE CUT. All three public instances are one finding kind, ImportMemberAbsent, and only one was a deletion: #10865 was a rename, and #10923 dropped a RE-EXPORT with no declaration deleted anywhere. The cut is therefore the surface predicate the declarations rider already applies, import_surface_has (declared | variants | reexported) as a base-minus-head DELTA, not the kind of edit. The general case is every claim channel the index carries -- imports, citations, rostered rows (#10769, #10718 are the same shape through the other two) -- and the residuals the index cannot see are named: field rename, arity/signature, and pure freshness (private #49 x #50). THE COST. namespace_wave_admission already reconstructs a base index beside the head index from only the diff-touched files, per run, in the witnesses lane; the join is A(I) & R(D) minus the claims D itself retires, a set intersection, not a pairwise compile. Measured retrospectively over 374 first-parent commits since 2026-08-28: the raw join is a 207-hit candidate list (the superset trap); with the one exclusion it is 5 hits, 4 of them the three brief instances, the fifth an ordering artefact an open-PR-set join excludes by construction. Recall 3/3 on the window's ImportMemberAbsent reds. THE PLACEMENT. No new job (roster closed): a rider on the parse phase, like rostered_row_join, advisory, reporting and annotating without pushing a phase failure; the one emitted-workflow change is a pull-requests: read permission row. The freshness caveat of a push-time verdict is stated as the reason this sits beneath the ceiling. THE REFUSAL. One finding per removed entry x claiming site: the (module, name) and which surface it left, the sibling PR and head, the claiming module, in_declaration and SourceLocation; NotEvaluated when the open-PR set is unobservable, never an empty hit set. gunbc-private: no parse phase, the overlay is outside DAG_PARSE_SWEEP_ROOTS, so the join is public-only today; 113/114 private modules import from public, a cross-repo exposure no public PR is ever compiled against, named and left to warm-badger-62's lane. Ceiling stays with gunbc.plans.ci_merge_freshness and the landed, deferred receipt_is_admissible; this record retires with it. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01QzQcQRu3WKxJuWV2zaiHSW * chore: regenerate drifted generated artifacts (ci auto-heal) Ledger-Repair-Judged: docs/design-rung-drops.md * Checkpoint 1: joint_claim_join, the instrument behind the scope's figures; the private gap as a typed stall; the within-tree half re-homed Answers review 63772 / 63786 (a transcribed measurement with no producer) and the manager's 2026-09-11 rulings, by landing the producer rather than softening the claim. THE INSTRUMENT. v1_compiler.bin.joint_claim_join computes, per change, the export-surface entries removed (declared | variants | reexported, base minus head) and the import claims added and retired, from only the diff-touched files on both sides through namespace_wave_admission base_records and diff_sides, and joins every admitted pair. A claim is joined only while LIVE when the entry leaves: not retired by the removing change itself, and in retrospective mode not retired by any change that landed between the pair. raw_candidates is reported beside findings so the width the exclusion removes stays a number. Seven fixture-boundary controls, real parser, real join: one positive control per instance shape (variant deleted, name renamed, re-export dropped), one RED per exclusion, one for the pair predicate, one for a claim already at the base. WHAT IT ANSWERS, cited by invocation in the plan and not transcribed: `joint_claim_join 6a54695^..f078c59` (first-parent main since 2026-08-28, default 3-day window) reports subjects=373 raw_candidates=236 findings=4 -- exactly the three 2026-09-10 instances (instance 1 is two names). The two candidates the first-exclusion-only run reported as findings were both a third commit retiring the claim between the pair (#10617 for the harness one; the DensityMarketedMax one likewise); two artefacts with one cause was a defect in the retrospective's pair predicate, built in as the second exclusion with its own control rather than described. TWO CORRECTIONS THE INSTRUMENT MADE TO THE SCOPE. Instance 2 (#10923 x #10925) was a MOVE, not a dropped re-export: the base declared mutation_status_is_commit_ambiguous in secret_provision_actuator and #10923 re-homed it; the instrument reports `(declared)` and the plan's table now says so. The dropped re-export stays covered by the surface and keeps its control. THE RULINGS. Checkpoint 2 stops at the pull-requests:read permission row on a required job (the operator's trade); the dashboard reader is costed in section 4.1 and preferred on every axis but authority. The private gap is a typed GuaranteeStall row (joint_claim_join_private_corpus_unindexed_stall) with the overlay's extra-source-root trigger as its grounding, not prose. The within-tree field-set case is NOT a checkpoint here: its home is witness_that_fails_to_compile_is_absent_rather_than_red, and this change appends a receipt there widening the trigger from claim-root files to the ruled capability -- every construction site of a type whose field set changed, regardless of gate closure -- per section 4b(3), rather than minting a second authority. Hand Rust is enumerated in gunbc.joint_claim_join_seed_growth (33 items, no impl block, every one citable) and rostered in seed_growth_admission. Verified remotely: clippy -D warnings clean on the bin, 7/7 tests, the retrospective above, and v1_src_dag_parse over the corpus with every new .dag present: 5461 files parse-clean, no findings. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01QzQcQRu3WKxJuWV2zaiHSW * State the population compile's boundary on the row: compilability of the claim-root population, not evaluation of it A file that compiles and whose test fns are declared but never reached from the entry passes that wall untouched (cool-badger-34's four fns, 2026-09-11). That hole is discriminating_arm_built_but_never_enrolled's, named as the neighbour so the word POPULATION is not later cited for a scope the trigger never claimed. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01QzQcQRu3WKxJuWV2zaiHSW --------- Co-authored-by: gunbc-ci-auto-heal <gunbc-ci-auto-heal@users.noreply.github.com> Co-authored-by: Claude Opus 5 (1M context) <noreply@anthropic.com>

cursoragent and others added 30 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>

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>

Mark large-log regression coverage milestone complete

9254f9d

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

briansrls added 10 commits February 18, 2026 13:16

.

082aab2

.

33daa0e

.

f943218

.

70079a3

.

5928f49

.

646f913

.

ac9c913

.

b6c3473

.

5fe508f

.

75bdc8d

chatgpt-codex-connector Bot reviewed Feb 19, 2026

View reviewed changes

briansrls added 3 commits February 18, 2026 21:21

.

8cdc3ee

.

90b8b8d

.

740c24b

briansrls merged commit ea198a5 into main Feb 19, 2026
1 check failed

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

WIP: R3 gate #49: auto memoization repeated pure call cached

2c77bd0

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

WIP: R3 gate #49: auto memoization repeated pure call cached

2fe74fc

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

WIP: R3 gate #49: auto memoization repeated pure call cached

648a73f

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

WIP: R3 gate #49: auto memoization repeated pure call cached

457b6d3

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

WIP: R3 gate #49: auto memoization repeated pure call cached

5c7ef86

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

gunbai-bot Bot mentioned this pull request Sep 11, 2026

Classify POSIX 126/127 as environmental CI failure, not subject red #10985

Merged

1 of 5 tasks

Navigation Menu

Repository navigation

Cursor/session roadmap todos 4a27 - #49

Cursor/session roadmap todos 4a27#49
briansrls merged 113 commits into
mainfrom
cursor/session-roadmap-todos-4a27

briansrls commented Feb 19, 2026

Uh oh!

chatgpt-codex-connector Bot left a comment

Uh oh!

chatgpt-codex-connector Bot Feb 19, 2026

Uh oh!

chatgpt-codex-connector Bot Feb 19, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Conversation

briansrls commented Feb 19, 2026

Uh oh!

chatgpt-codex-connector Bot left a comment

Choose a reason for hiding this comment

💡 Codex Review

Uh oh!

chatgpt-codex-connector Bot Feb 19, 2026

Choose a reason for hiding this comment

Uh oh!

chatgpt-codex-connector Bot Feb 19, 2026

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants