Repository navigation
Gate-A flip: self-emit 01_tokenize — curated scaffold now (SeedRetained), flip on #6775 land; own through to landing (flip+regen), no orphaned tail - #6798
Merged
briansrls merged 2 commits intoJul 17, 2026
Conversation
|
Bugbot is not enabled for your account, so this pull request was not reviewed. Enable Bugbot in the Cursor dashboard to get automatic reviews on future PRs. |
Curated seed-linked behavioral scaffolds for 01_tokenize and program_partition following the 03_resolve / parse_engine_hooks pattern. Frontier stays SeedRetained (EmitSurfaceGap for tokenize); stage0 layout regen includes program_assembly (#6800), program_partition, and tokenize. Wet witnesses CI-excluded until flip (#6775 + generic assembly). Co-authored-by: Cursor <cursoragent@cursor.com>
gunbai-bot
Bot
force-pushed
the
session/neat-ram-648-gate-a-01-tokenize-scaffold
branch
from
July 17, 2026 20:05
b01ea72 to
81bd37e
Compare
Closed
10 tasks done
…gate-a-01-tokenize-scaffold
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.
Summary
Gate-A scaffold lane for
01_tokenizeself-emit (SeedRetained until #6775 lands):cssl_seed_linked_behavioral_receiptspine inself_host_curated_seed_linked_harness.dag(accidentally truncated in Curated-cargo probe sweep: seed-linked harness runner + 20-module verdict table #6791 probe vendoring) while keeping probe-lib cargo variants.01_tokenize(constant-oracle pattern matching03_resolve).compiler_frontier_row_01_tokenizeblocker fromNameResolutionGap→EmitSurfaceGapper curated-cargo probe (Gate A / Rc-Optional emit: Rc/Optional coherence (symptoms 2/3; symptom-1 wrap gated on #6776) #6775).v2_compiler_tokenizeseed oracle + stage0 crate-layout regen.Frontier stays SeedRetained — flip to SelfEmitted is a follow-on commit when #6775 merges and the behavioral receipt goes rustc-green.
Test plan
cargo fmt --all --checkcargo check -p v1-compiler