Gate-1: render_rust_applied_type dotted-base leaf routing by gunbai-bot[bot] · Pull Request #7269 · gunb-ai/gunbc

gunbai-bot · 2026-07-26T02:31:35Z

Summary

Routes render_rust_applied_type base-name extraction through rust_fn_sig_leaf_name (sibling of render_rust_decl_type / fn-sig / alias_rhs fixes). Construction wall for namespace-qualified applied-type bases in generic-arg position — not claimed as Gate-1 E0308 burn-down.

Measurement (class-scoped, not first_error)

Per sharp-bee-290 msg_6c27c10b / msg_01e13896:

Metric	BEFORE	AFTER (#7269)
Class message `expected one of ',' or '>', found '.'` (canonical seven, `grep -cF` on cargo logs)	0	0
Discriminating unit witness	RED on revert	GREEN

Pattern validation (rules out false zero): grep -cF 'expected one of ,or>, found .'returns **count=1** on04_infer at pr7174 AFTER (14685dc) — receipt: docs/probes/pr7269_pattern_validation_2026-07-26.tsv. TSV class_messagecolumn omits the trailing backtick before.` due to quoting; the grep uses the full rustc literal.

Elimination attribution: Something between 07-25 and 07-26 took this class to zero in full-module closures. Bisect on 04_infer (same pattern):

14685dc76 / #7211 / #7216 / b4cc08686b alone → count=1
#7197 (efe67794cd) → count=0

So #7197 (GroupCompletion grounding keystone) eliminated the cargo-log manifestation; #7269 is still worth landing as a cheap construction wall with RED control (witness fails when reverted to authored_name_at verbatim emit) even though current closures read 0→0.

Not claimed: Gate-1 E0308 burn-down. Banked canonical-seven E0308 baseline stays 837.

Receipts: docs/probes/pr7269_dotted_applied_type_{BEFORE,AFTER}_2026-07-26.tsv

Test plan

render_rust_applied_type_routes_qualified_base_through_leaf_name GREEN; RED on revert
Pattern positive control at pr7174 AFTER
regen_stage0 --verify
Class-scoped probe receipts + elimination attribution

Coordination

Checkpoint-scalar-phantom E0107/E0109 + dotted-type render class owned here. materialization_carriers / GroupCompletion arithmetic → clever-eagle-187.

…name. Namespace-qualified applied-type bases (e.g. std.algebra.FreeMonoid<T>) were still emitted verbatim in generic-arg position, causing the canonical-seven first-error parse class ('expected , or >, found .'). Aligns render_rust_applied_type with render_rust_decl_type / alias_rhs leaf routing. Co-authored-by: Cursor <cursoragent@cursor.com>

…7197 numeric surface)

…7255/#7260)

…eipts. Discriminating unit test render_rust_applied_type_routes_qualified_base_through_leaf_name goes RED when render_rust_applied_type reverts to authored_name_at verbatim emit. Bank class-scoped rustc message counts (not first_error — post-#7197 reorder per sharp-bee-290 msg_6c27c10b) and canonical-seven context TSVs for PR #7269. Co-authored-by: Cursor <cursoragent@cursor.com>

Sync render_rust_applied_type_routes_qualified_base_through_leaf_name with compiler_tests_rust.dag: im::OrdSet/im::Vector types and Vec<i64> expectation. Co-authored-by: Cursor <cursoragent@cursor.com>

gunbai-bot · 2026-07-26T04:41:36Z

Response to review 43099 (REQUEST_CHANGES)

Valid — fixed in 3c73816a77.

The finding was correct at 5c422f0: compiler_tests.rs asserted "FreeMonoid<i64>" while the .dag twin and rust_seed_host_container_base both route FreeMonoid → Vec, so the witness would fail at runtime and regen_stage0 --verify diverged on the hand seed.

3c73816a77 aligns the Rust seed with the .dag authority:

assert_eq!(rendered, "Vec<i64>") at compiler_tests.rs:1228
im::OrdSet / im::Vector types (matching emit_rust's OrdSet as BTreeSet aliases)

Verified locally: witness GREEN, regen_stage0 --verify clean (regen_divergence_count=0).

— sent from vivid-raven-588

…#7197. Positive control: grep -cF returns count=1 on 04_infer at pr7174 AFTER (14685dc). Bisect shows #7197 (efe6779) eliminated the class in full-module cargo logs; #7269 leaf routing alone still count=1 there. Clarifies 0→0 is not a false zero and #7269 is construction wall only. Co-authored-by: Cursor <cursoragent@cursor.com>

…ndex. #7269 added the hand assertion blob after #7272 landed the inventory witness; merge main exposed compiler_tests_rust_blobs_are_all_rostered red (27 declared, 26 rostered). Co-authored-by: Cursor <cursoragent@cursor.com>

Coverage witness compiler_tests_rust_blobs_are_all_rostered reds when a ct_ blob lands unmarked; this PR's touch pulled that live-tree check into the affected set and exposed the unrostered #7269 render blob. Co-authored-by: Cursor <cursoragent@cursor.com>

#7269 added the compiler-tests blob without a scaffold-index row, so compiler_tests_rust_blobs_are_all_rostered failed on the merged PR tree. Co-authored-by: Cursor <cursoragent@cursor.com>

…ndex. #7269 added the hand assertion blob after #7272 landed the inventory witness; merge main exposed compiler_tests_rust_blobs_are_all_rostered red (27 declared, 26 rostered). Co-authored-by: Cursor <cursoragent@cursor.com>

* WIP: Value::Null split lane * WIP: Value::Null split lane * WIP: Value::Null split lane * WIP: Value::Null split lane * Roster ct_render_rust_applied_type_qualified_base_test from #7269. #7269 added the compiler-tests blob without a scaffold-index row, so compiler_tests_rust_blobs_are_all_rostered failed on the merged PR tree. Co-authored-by: Cursor <cursoragent@cursor.com> --------- Co-authored-by: Brian Searls <briansrls@gunb.ai> Co-authored-by: Cursor <cursoragent@cursor.com>

Coverage witness compiler_tests_rust_blobs_are_all_rostered reds when a ct_ blob lands unmarked; this PR's touch pulled that live-tree check into the affected set and exposed the unrostered #7269 render blob. Co-authored-by: Cursor <cursoragent@cursor.com>

* WIP: test umbrella dissolution * Fix regen drift: register hygiene in layout and emit schedule U3 note. rustfmt places test_module_hygiene alphabetically; seed-retained intrinsic registration keeps self-compile from dropping the mod. Co-authored-by: Cursor <cursoragent@cursor.com> * Restore fallback_arm_census falsifier substrate-long-lane enrollment. Review 43070: umbrella dissolution had dropped the five Class-C nightly rows (and exclusion) with no re-home, leaving the long-lane witnesses with zero executing consumers. Co-authored-by: Cursor <cursoragent@cursor.com> * Enrollment: retarget roadmap_belt_actuate bin_wet to file-grain. Umbrella dissolution promoted 37 leaf test fns; the wet roster still named the deleted aggregator, so discovery deferred them with zero wet consumers (UnexecutedDeferredWitness ~38). File-grain empty function expands via expand_explicit_entries — same pattern as other dissolved enrollments. Co-authored-by: Cursor <cursoragent@cursor.com> * Admission: expand file-grain bin_wet keys to leaf test fns. Phase 0(b) matched deferred rows against the unexpanded `entry::` consumer key from `f: ""`, so roadmap_belt's 38 leaf witnesses still looked unexecuted after the wet roster retarget. Expand empty function the same way execution already does (enumerate_entry_test_fns). Co-authored-by: Cursor <cursoragent@cursor.com> * fmt: wrap file-grain admission expand assertion. Co-authored-by: Cursor <cursoragent@cursor.com> * Known-RED: re-enroll english_emit ingest-round-trip leaf. Umbrella dissolution dropped probe_red for english_emit_add_emit_ingest_round_trip_holds and left only prose_holds — the discriminating S2 ingest control named in known_red_frontier_note. Promote the ingest leaf to test fn, enroll it, dissolve the aggregator, and promote the sibling serialize/grammar leaves so they stay live. Co-authored-by: Cursor <cursoragent@cursor.com> * Drop logic_truth_tables_all umbrella with its known-RED probe. Enrollment already removed the aggregator probe_red row; the excluded file still declared the test fn, so Phase 0(b) admission refused an unexecuted deferred witness. Leaves stay the three known-RED controls. Co-authored-by: Cursor <cursoragent@cursor.com> * Align logic_ground_truth exclusion dissolve-on count with three leaves. Co-authored-by: Cursor <cursoragent@cursor.com> * Retarget no_fake_anomalies at a surviving belt leaf. roadmap_belt_actuate_witnesses was dissolved; the anomaly-glyph wall still named the umbrella as its passing corpus entry. Co-authored-by: Cursor <cursoragent@cursor.com> * Fix three discovery reds exposed by umbrella dissolution. Restore the readback roster ratchet at length 5; invert the transport RestNetwork hermetic RED into a green leaf; treat file-grain wet enrollment (function: "") as matching any backing function so emit coverage SelfEmittedNative rows stay backed after f: "" retargets. Co-authored-by: Cursor <cursoragent@cursor.com> * Replace illegal // comments in emit_coverage_frontier.dag. .dag has no slash-comment syntax; the prior note panicked parse (expected expression, found Slash) and failed regen/heal. Co-authored-by: Cursor <cursoragent@cursor.com> * Re-home english_emit serialize/grammar helpers under known-red leaf. matches_serialize and grammar_inverse were wrongly promoted to test fn with no roster consumer (file is OfflineLocalRecipe). Demote to plain fns and force-eval them from english_emit_add_ingest_round_trip_holds, matching main's helper shape without an Offline-orphan pair. Co-authored-by: Cursor <cursoragent@cursor.com> * Restore mock-only commit enrollments for classical_not and native_only. File-grain check_fns: [] pulled wet equals_eval / native-run legs into the per-PR execution corpus; those files intentionally enroll only the mock-shape aggregates (real compile/run stays on the wet nightly lane). Co-authored-by: Cursor <cursoragent@cursor.com> * Retarget expectation_frontier off dissolved umbrella names. Main added this wall (#7276) against roadmap_belt_actuate_witnesses / generated_artifact_drift_witnesses after sweep A deleted those aggregators. Point at surviving effect-bearing leaves instead. Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: test umbrella dissolution * Roster ct_render_rust_applied_type_qualified_base_test scaffold blob. Coverage witness compiler_tests_rust_blobs_are_all_rostered reds when a ct_ blob lands unmarked; this PR's touch pulled that live-tree check into the affected set and exposed the unrostered #7269 render blob. Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: test umbrella dissolution * Make witness-admission scaffold receipt rg-count truthful. Review 43319: bare-token `rg … == 1` was false (header/literal/test multi-hit). Pin the declaration with IDENT+TYPE_ANN split across comment lines so the contiguous pattern matches once — only the const declaration. Co-authored-by: Cursor <cursoragent@cursor.com> * Keep join on meet_join cold roster and ledger (review 43336). Umbrella dissolution left only meet enrolled; join is a peer primary agreement witness and must stay on the native-cache cold falsifier and proactive verification ledger. Co-authored-by: Cursor <cursoragent@cursor.com> * Dedupe ct_render_rust_applied_type scaffold roster row (review 43345). Main already carried two identical declarations and roster slots; this PR had added a third. Keep a single LanguageSourceScaffoldRow and one roster entry for the blob. Co-authored-by: Cursor <cursoragent@cursor.com> --------- Co-authored-by: Brian Searls <briansearls1@gmail.com> Co-authored-by: Cursor <cursoragent@cursor.com>

…ker (#7265) * WIP: shell→dag bucket D — foreign-executor emit cluster (gate #7216 now MERGE * WIP: shell→dag bucket D — foreign-executor emit cluster (gate #7216 now MERGE * Fix sccache emit if-branch semantics and commit regenerated ci.yml. Multi-statement if/then bodies must be semicolon-joined in a single Run (the if-else grammar inserts then_body verbatim without braces). The heal job failed because ci.yml drifted and the bot lacks workflows permission to push workflow files — commit the regenerated ci.yml and falsifier.yml here. Co-authored-by: Cursor <cursoragent@cursor.com> * Fold bucket-D census into arc census; delete orphan doc. The standalone bucket-d-foreign-executor-emit-census.md had zero inbound refs and would red the falsifier after merge. True-up §4.E/4.I and add §4.J punch-list to the existing shell-to-dag-residual census (reachable via design_document.dag) — single authority, no bind row needed. Co-authored-by: Cursor <cursoragent@cursor.com> * Repoint ci_sccache_opportunistic_detect scaffold to emit module. ci_sccache_provider_shell_injection moved to v2.workflow.ci_materialization_emit in this PR; host_build_cache_provision's scaffold bind still pointed at the deleted gunbc.ci_materialization declaration (review 43048). Co-authored-by: Cursor <cursoragent@cursor.com> * Fix merge-admission emit golden: hand-authored bytes, no trailing NL. ci_floor_disposition_marker_init_emit_matches_concat_golden_holds failed on CI because the concat-reconstructed golden carried a trailing newline after the echo redirect that orch_emit_pipeline does not emit. Switch to the #6467 hand-authored golden pattern (matches committed ci.yml). Co-authored-by: Cursor <cursoragent@cursor.com> * Mark ci_sccache_bound_branch semijoin as declared Scaffold. Three bound-branch Runs are semicolon-folded because multi-Do then_ inside realize_if_else inline binding is unguarded by the if-band corpus and byte-diverged on first ci.yml regen — not a carriage bug. Dissolution: emit-lane construction refusal for multi-step then_ at inline if_else bind, or block-bodied if_else row (emit lane, not D). Co-authored-by: Cursor <cursoragent@cursor.com> * Add missing Present import to ci_materialization_emit. Present is used for redirect and else_ arms but was not in the import list; golden tests executed green via compilation (review 43241). Co-authored-by: Cursor <cursoragent@cursor.com> * Roster ct_render_rust_applied_type_qualified_base_test for scaffold index. #7269 added the hand assertion blob after #7272 landed the inventory witness; merge main exposed compiler_tests_rust_blobs_are_all_rostered red (27 declared, 26 rostered). Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: shell→dag bucket D — foreign-executor emit cluster (gate #7216 now MERGE * Rework bucket D PR1: dissolve semijoin, extract shared emit plumbing. Replace semicolon-folded sccache bound branch with three Do steps so block-bodied if_else (#7277) emits multi-line workflow text; re-golden and regen ci.yml/falsifier.yml. Route both new emit modules through orchestration_bash_emit_support (run/do/emit_pipeline); pre-existing ci_*_emit forks migrate in PR2. Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: shell→dag bucket D — foreign-executor emit cluster (gate #7216 now MERGE * Fix CI drift gate: regen ci.yml from emit authority; drop duplicate roster. Remove duplicate ct_render_rust_applied_type_qualified_base_test row (main already carries it after #7272/#7288); revert language_source_scaffold_index to main placement. Regenerate ci.yml/falsifier.yml via main_wet — block if then/else body lines use emit indentation (10-space), not hand-indented 12-space; matches heal job 89806546636 output the bot could not push. Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: shell→dag bucket D — foreign-executor emit cluster (gate #7216 now MERGE * Remove duplicate ct_render_rust roster row from #7265 merge. Main already owns this entry via #7288; the branch copy made rostered exceed declared (27/28). Co-authored-by: Cursor <cursoragent@cursor.com> --------- Co-authored-by: Brian Searls <briansrls@gunb.ai> Co-authored-by: Cursor <cursoragent@cursor.com>

Brian Searls and others added 4 commits July 26, 2026 01:57

Merge origin/main into session/vivid-raven-gate1-generic-render (post-#…

6a8ebe5

…7197 numeric surface)

Merge origin/main into session/vivid-raven-gate1-generic-render (post-#…

071d396

…7255/#7260)

gunbai-bot Bot marked this pull request as ready for review July 26, 2026 04:30

Fix compiler_tests witness seed drift blocking regen verify.

3c73816

Sync render_rust_applied_type_routes_qualified_base_through_leaf_name with compiler_tests_rust.dag: im::OrdSet/im::Vector types and Vec<i64> expectation. Co-authored-by: Cursor <cursoragent@cursor.com>

gunbai-bot Bot mentioned this pull request Jul 26, 2026

Bank canonical-seven probe refresh post-#7197 (−1080 E0308) #7275

Merged

2 of 3 tasks

briansrls merged commit 44dd9ad into main Jul 26, 2026
5 checks passed

briansrls deleted the session/vivid-raven-gate1-generic-render branch July 26, 2026 12:53

This was referenced Jul 26, 2026

main red: roster the #7269 witness blob (declared 27 vs rostered 26) — #7269/#7272 merge race #7288

Merged

7272 followons: fold pair-completion into derive path; delete dead BackendCapability #7286

Merged

gunbai-bot Bot mentioned this pull request Jul 26, 2026

Phase B: Optional×Null emitter grounding (Value::Null split) #7279

Merged

4 of 5 tasks

gunbai-bot Bot mentioned this pull request Jul 26, 2026

E0277 canonical-seven census: three trait-bound families (probe receipt, no fix yet) #7285

Merged

gunbai-bot Bot mentioned this pull request Jul 26, 2026

Phase C: refuse undetermined none/None carrier (Value::Null split) #7292

Merged

4 tasks done

Navigation Menu

Repository navigation

Gate-1: render_rust_applied_type dotted-base leaf routing - #7269

Gate-1: render_rust_applied_type dotted-base leaf routing#7269
briansrls merged 6 commits into
mainfrom
session/vivid-raven-gate1-generic-render

gunbai-bot Bot commented Jul 26, 2026 •

edited

Loading

Uh oh!

gunbai-bot Bot commented Jul 26, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

gunbai-bot Bot commented Jul 26, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Summary

Measurement (class-scoped, not first_error)

Test plan

Coordination

Uh oh!

gunbai-bot Bot commented Jul 26, 2026

Response to review 43099 (REQUEST_CHANGES)

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

gunbai-bot Bot commented Jul 26, 2026 •

edited

Loading