Repository navigation
docs: add a simple high-level gunbc ROADMAP task tracker - #5129
Merged
Merged
Conversation
A scannable in-flight task index for gunbc (the compiler/language). Explicitly NOT a second authority — DESIGN.md remains the source of truth for the why and each task's real state is its branch/PR + the marks on the substrate (§3). Product / ctrl features are tracked elsewhere. Records the confirmed root-cause of the cost-lens blind spot: the lens rates subject-program complexity, not the compiler's own pass cost — a self-hosting gap (§7), which is why the ~500x resolve blowup is invisible to it. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
…exity violation, not a new lens The cost-lens 'blind spot' is not a new issue: complexity_lens is general and the budget roster is designed to enroll compiler-stage bodies (waves 2+). Fix is the planned enrollment, not a scaffold. Drops the interim step-count ratchet idea. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
… landed claim (review #5129) cursor/composer-2.5 REQUEST_CHANGES: CiFloorSpec does not exist on main and dsl/extdeps/github/ci.dag still records ci.yml as hand-edited, so the 'Recently landed' line overstated. Now claims only the verifiable #5101 consolidation; ci.yml generation stays honestly under Next. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Per operator: each task one line for quick scanning; details go to indented sub-bullets. Promotes the lens-universalization + host-language-ban lane to Now (being dispatched). Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
briansrls
added a commit
that referenced
this pull request
Jun 18, 2026
…se (KeySource-keyed) (#5168) * docs: add a simple high-level gunbc ROADMAP task tracker A scannable in-flight task index for gunbc (the compiler/language). Explicitly NOT a second authority — DESIGN.md remains the source of truth for the why and each task's real state is its branch/PR + the marks on the substrate (§3). Product / ctrl features are tracked elsewhere. Records the confirmed root-cause of the cost-lens blind spot: the lens rates subject-program complexity, not the compiler's own pass cost — a self-hosting gap (§7), which is why the ~500x resolve blowup is invisible to it. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * docs(roadmap): correct the resolve-blowup framing — un-enrolled complexity violation, not a new lens The cost-lens 'blind spot' is not a new issue: complexity_lens is general and the budget roster is designed to enroll compiler-stage bodies (waves 2+). Fix is the planned enrollment, not a scaffold. Drops the interim step-count ratchet idea. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * docs(roadmap): correct overstated 'ci.yml generated from CiFloorSpec' landed claim (review #5129) cursor/composer-2.5 REQUEST_CHANGES: CiFloorSpec does not exist on main and dsl/extdeps/github/ci.dag still records ci.yml as hand-edited, so the 'Recently landed' line overstated. Now claims only the verifiable #5101 consolidation; ci.yml generation stays honestly under Next. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * WIP: 6/17 continuity (help me keep track of all the work thats happening/what * docs(roadmap): slim to one line per task with indented breakdown Per operator: each task one line for quick scanning; details go to indented sub-bullets. Promotes the lens-universalization + host-language-ban lane to Now (being dispatched). Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * WIP: 6/17 continuity (help me keep track of all the work thats happening/what * WIP: 6/17 continuity (help me keep track of all the work thats happening/what * Remove resolution-coalescing design doc (review artifact; rationale moved to scope-a PR body) Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> * WIP: 6/17 continuity (help me keep track of all the work thats happening/what * increment 3: realization materialization arm — reconcile→Share collapse (KeySource-keyed) Re-introduce the trimmed Placement / Materialization (Recompute|Memoize|Share) / RealizedStep vocab in std.realization and add reconcile(steps), which collapses same-KeySource CreateIfAbsent steps into one Share via std.effects.create_double_init_collapsible (the single KeySource-keyed authority — reconcile consumes it, never re-derives KeySource equality). Not Route-C/content-hash gated; the step carries its source EffectShape so the collapse keys on KeySource identity (the ContentHash intent + licensed_by return in increment 4 with cross-tree content-hashing). Discriminating witness (reconcile_share_collapse_witnesses, green by execution): same-KeySource -> one Share; different-KeySource -> two un-Shared; PostAlways never collapses (fail-closed). Fix latent effects.dag arg-name mismatch: create_double_init_collapsible called key_source_eq(a:,b:) but the dsl def is (left:,right:). Latent until now (no dsl consumer); realization.dag is the first. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> * fix(realization): dissolve undispositioned is_share predicate; refresh DESIGN.md CI section Two follow-ups on the increment-3 branch: (1) review #5168 (cursor/composer-2.5 REQUEST_CHANGES): std.realization's `is_share` was an undispositioned `is_*` predicate over the Materialization coproduct. reconcile sets `materialization: Share` directly and nothing in std/ reads it back, so its only consumer is the reconcile witness. Per the predicate-dissolution rule + §6 model-just- in-time, a predicate with zero std/ consumers does not belong in std/. Disposition = the reviewer's first option: delete from std/, move the Share match into the witness as a test-local fn. std.realization keeps only the fold-bearing reconcile arm. (2) DESIGN.md CI section refresh: the "two composed passes / claim_batch / ci_gates.dag" paragraph was stale. Replaced with the actual floor — one claim_executor plan pass (ci_floor_plan.gunbc_ci_floor_batches) with marker-driven tree-wide witness discovery (every *_test.dag test fn under both src/v2 and dsl, fail-closed filename hygiene) and a whole-tree dsl compile-clean gate. Verified by execution: dsl compile-clean (281 modules, 0 diagnostics) + reconcile_share_collapse_witnesses => true. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> --------- Co-authored-by: Brian Searls <briansrls@gunb.ai> Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.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
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.
Adds
ROADMAP.md— a scannable, high-level in-flight task index for gunbc (the compiler/language), requested by the operator to track tasks at a high level.Design constraints honored:
Yours to edit freely — this is a convenience tracker, not a spec.
🤖 Generated with Claude Code