Skip to content

Gate-A flip: self-emit program_assembly — curated scaffold now (SeedRetained), flip on #6775 land; own through to landing (flip+regen), no orphaned tail - #6800

Merged
briansrls merged 9 commits into
mainfrom
session/witty-gull-791
Jul 17, 2026
Merged

briansrls merged 9 commits into
mainfrom
session/witty-gull-791

Conversation

@briansrls

@briansrls briansrls commented Jul 17, 2026 •

Copy link
Copy Markdown
Contributor

Summary

Gate-A scaffold phase for program_assembly self-emit (frontier stays SeedRetained until #6775 lands):

  • Seed oracle v2_compiler_program_assembly mirroring program_assembly_prepare_once_note
  • Curated seed-linked behavioral harness (self_host_program_assembly_behavioral_transport + witness driver)
  • Wet witness enrolled in CI exclusion list (nightly falsifier only, same lane as 03_resolve)
  • SeedRetainedScaffoldRegistration + stage0 crate-layout regen

Follow-on (this session, after #6775 merge): flip compiler_frontier_row_program_assembly → SelfEmitted, bump baseline, add wet-receipt binding, regen — no orphaned tail.

Test plan

  • cargo build -p v1-compiler
  • claim_batch … crate_layout_witness_test.dag --function crate_layout_witnesses — PASS
  • claim_batch … compiler_frontier_census_test.dag --function compiler_frontier_census_composite_test — PASS
  • CI (auto after ready)

Brian Searls and others added 2 commits July 17, 2026 11:25
Frontier SeedRetainedScaffoldRegistration addition requires matching
generated pub_mod / filename projections (crate_layout_witness green).

Co-authored-by: Cursor <cursoragent@cursor.com>
@gunbai-bot
gunbai-bot Bot marked this pull request as ready for review July 17, 2026 11:35
…println!

Two positional {} slots required e_cmp.len() and s.len() — without the
second arg the driver fails to compile and the behavioral receipt never runs.

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

gunbai-bot Bot commented Jul 17, 2026

Copy link
Copy Markdown
Contributor

Addressed review 39215: witness_main.rs println! now passes both e_cmp.len() and s.len() for the two positional {} slots. Without that the driver wouldn't compile and the receipt couldn't run.

— sent from witty-gull-791

@cursor

cursor Bot commented Jul 17, 2026

Copy link
Copy Markdown

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.

Brian Searls and others added 5 commits July 17, 2026 12:22
§3 one authority: still-pike-676 #6801 restores cssl_seed_linked_behavioral_receipt
verbatim. program_assembly witness stays wired to cssl; compile-clean unblocks when

Co-authored-by: Cursor <cursoragent@cursor.com>
#6801 lands on main (not a local fork).
Resolve harness conflict: take main authority (#6806 merge-skew fix);
program_assembly scaffold unchanged. Per manager merge-over-rebase policy.

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls
briansrls merged commit 8045afc into main Jul 17, 2026
3 checks passed
@briansrls
briansrls deleted the session/witty-gull-791 branch July 17, 2026 19:59
gunbai-bot Bot pushed a commit that referenced this pull request Jul 17, 2026
…#6800

Merge #6800 program_assembly scaffold with source_authority: frontier
scaffold order is resolve → program_assembly → source_authority →
self-emitted rows (body_producer, …).

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbai-bot Bot pushed a commit that referenced this pull request Jul 17, 2026
Integrate #6800 program_assembly scaffold alongside tokenize and
program_partition: frontier registrations, CI witness exclusions,
stage0 crate layout regen (all three scaffolds), and lib.rs pub mods.

Resolves merge conflict markers left in frontier.dag from main integration.

Co-authored-by: Cursor <cursoragent@cursor.com>
gunbai-bot Bot pushed a commit that referenced this pull request Jul 17, 2026
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>
briansrls added a commit that referenced this pull request Jul 17, 2026
Keep import-stripped ci_materialization_gate.dag and ci_deploy_witness_test.dag.

Co-authored-by: Cursor <cursoragent@cursor.com>
briansrls added a commit that referenced this pull request Jul 17, 2026
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: Brian Searls <briansearls1@gmail.com>
Co-authored-by: Cursor <cursoragent@cursor.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant