Lane a p12 to p6 by briansrls · Pull Request #51 · gunb-ai/gunbc

briansrls · 2026-02-19T20:30:09Z

Introduce typed infrastructure operations and remove deferred callable passthrough for a more robust resolver and execution runtime.

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

cursor · 2026-02-19T20:30:11Z

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>

…d check Codex #2582: runner ties pre/post roots via Int-add OperatorRealization cost, not raw composed equality; update embedded claim comment and ledger row. Co-authored-by: Cursor <cursoragent@cursor.com>

r3-structure.md bars certification-corpus-wide closure; PR #2582 lands only a representative witness + runner ratchet — do not claim PASSING until corpus evidence exists. Co-authored-by: Cursor <cursoragent@cursor.com>

* Close R3 gate 51 constant fold cost witness * Address gate 51 review feedback * Clarify gate 51 pre-fold witness * WIP: R3 gate #51: cross target optimization constant fold consistent

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>

- glyphs.dag: Unicode latest + U+2500/U+2800/UTS #51 repertoire cite - terminal.dag: UAX #11 East Asian Width anchor (sibling to std.unicode) - ansi.dag: ECMA-48 anchor (replaces Wikipedia); fermi/colors.go provenance - ansi.dag: decompose AnsiMapping into SgrStyle + PaletteIndex; CSI framing via emit_sgr_csi (csi_esc/csi_end constants, not per-row literals) - std/symbols: Tier comment — project interface, not external authority render_glyphs_ansi_witnesses --claim-run green. Co-authored-by: Cursor <cursoragent@cursor.com>

- Add ascii_glyph (ECMA-6), unicode_glyph (Unicode std.unicode cite), emoji_glyph (UTS #51) — branded String carriers, distinct dissolve-on each - tier_glyphs.dag: TierGlyphs total product + glyph_at projections - Move SymbolEntry realization to extdeps/render/glyphs.dag; std/symbols keeps SymbolId / Tier / SemanticColor only - Behavioral witness w_glyph_at_selects_matching_tier_text (distinct A/U/E) render_glyphs_ansi_witnesses --claim-run green. Co-authored-by: Cursor <cursoragent@cursor.com>

…ng columns (#5296) * WIP: Rework render/glyphs modeling in a child PR (follow-up to merged #5281, * fix(render): use List<TierGlyph> for tier-keyed glyph encodings Map literal syntax parses as Record in the v1 interpreter (raw_map_lookup fails at runtime). SymbolEntry.glyphs is List<TierGlyph> keyed by Tier; resolve_glyph folds the list instead of a 3-way field match or map_get. render_glyphs_ansi_witnesses --claim-run is green. Co-authored-by: Cursor <cursoragent@cursor.com> * render: anchors (step 3), std/extdeps confirm (2), SGR decomposition (4) - glyphs.dag: Unicode latest + U+2500/U+2800/UTS #51 repertoire cite - terminal.dag: UAX #11 East Asian Width anchor (sibling to std.unicode) - ansi.dag: ECMA-48 anchor (replaces Wikipedia); fermi/colors.go provenance - ansi.dag: decompose AnsiMapping into SgrStyle + PaletteIndex; CSI framing via emit_sgr_csi (csi_esc/csi_end constants, not per-row literals) - std/symbols: Tier comment — project interface, not external authority render_glyphs_ansi_witnesses --claim-run green. Co-authored-by: Cursor <cursoragent@cursor.com> * fix(symbols): TierGlyphs total product replaces List<TierGlyph> Address opus REQUEST_CHANGES: List<TierGlyph> made missing/duplicate tier rows representable and introduced a spurious Absent path in tier lookup. SymbolEntry.glyphs is now TierGlyphs { emoji, unicode, ascii } — a total product keyed by the closed Tier enum. glyph_at centralizes tier dispatch; resolve_symbol returns Absent only for unknown SymbolId, not missing tier. render_glyphs_ansi_witnesses --claim-run green. Co-authored-by: Cursor <cursoragent@cursor.com> * render: ground tier glyphs in distinct extdeps encoding authorities - Add ascii_glyph (ECMA-6), unicode_glyph (Unicode std.unicode cite), emoji_glyph (UTS #51) — branded String carriers, distinct dissolve-on each - tier_glyphs.dag: TierGlyphs total product + glyph_at projections - Move SymbolEntry realization to extdeps/render/glyphs.dag; std/symbols keeps SymbolId / Tier / SemanticColor only - Behavioral witness w_glyph_at_selects_matching_tier_text (distinct A/U/E) render_glyphs_ansi_witnesses --claim-run green. Co-authored-by: Cursor <cursoragent@cursor.com> * fix(render): real std.unicode ref in unicode_glyph; re-trigger CI CI failure on ea2a629 was sccache infra flake (failed to read response header during cargo build), not a witness/gate regression — prior runs green on this branch. Replace empty `import std.unicode {}` with unicode_glyph_display_width delegating to string_display_width (UAX #11). render_glyphs_ansi_witnesses --claim-run green. Co-authored-by: Cursor <cursoragent@cursor.com> --------- Co-authored-by: Brian Searls <briansrls@gunb.ai> Co-authored-by: Cursor <cursoragent@cursor.com>

[P12][P6] type infrastructure ops and fail-closed resolver

d3099e3

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

cursoragent and others added 4 commits February 19, 2026 20:49

Model primitives end-to-end without string roundtrips

b811312

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

Align CLI contracts and replace freshness release build gate

a35d289

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

Trigger fresh CI run

2f2919d

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

Stabilize CI by dropping target cache from workflow

6fbbfde

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

briansrls marked this pull request as ready for review February 20, 2026 01:49

briansrls merged commit dfbe2c2 into main Feb 20, 2026
1 check passed

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

WIP: R3 gate #51: cross_target_optimization_constant_fold_consistent

1dc9905

briansrls mentioned this pull request May 10, 2026

[codex] Add gate 52 structural cost receipt #2578

Merged

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

WIP: R3 gate #51: cross_target_optimization_constant_fold_consistent

fa96055

briansrls mentioned this pull request May 10, 2026

R3 gate #51: make constant-fold cost witness executable #2577

Merged

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

WIP: R3 gate #51: cross_target_optimization_constant_fold_consistent

9e965a4

briansrls mentioned this pull request May 10, 2026

R3 gate #51: cross_target_optimization_constant_fold_consistent #2582

Closed

6 tasks

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

WIP: R3 gate #51: cross target optimization constant fold consistent

dd70dab

briansrls mentioned this pull request May 10, 2026

session/smart-cat-457 · R3 gate #51: cross_target_optimization_constant_fold_consistent #2580

Closed

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

WIP: R3 gate #51: cross_target_optimization_constant_fold_consistent

934f4e3

briansrls mentioned this pull request May 10, 2026

R3 gate #52: cross_target_optimization_cost_structurally_derived #2581

Closed

6 tasks done

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

WIP: R3 gate #51: cross_target_optimization_constant_fold_consistent

ef2c0cb

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

docs(r3): align §1.8 row #51 with #2577 baseline and #2575 BDR follow-up

7ad588a

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

This was referenced May 10, 2026

R3 gate #51: BinaryDimensionReportEquals constant-fold witness (#2575) #2584

Closed

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

Closed

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

Closed

briansrls mentioned this pull request May 10, 2026

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

Merged

2 tasks done

briansrls deleted the cursor/lane-a-p12-to-p6-5f06 branch June 1, 2026 18:41

gunbai-bot Bot mentioned this pull request Jun 23, 2026

Grounded Unicode identifiers in the lexer (XID_Start/XID_Continue ∪ Emoji) #5653

Merged

Navigation Menu

Repository navigation

Lane a p12 to p6 - #51

Lane a p12 to p6#51
briansrls merged 5 commits into
mainfrom
cursor/lane-a-p12-to-p6-5f06

briansrls commented Feb 19, 2026

Uh oh!

cursor Bot commented 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!

cursor Bot commented Feb 19, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants