Skip to content

Gate-A scaffolds integration (source_authority/program_partition/04_infer/00_compile, SeedRetained) - #6812

Merged
briansrls merged 9 commits into
mainfrom
session/bright-badger-591-gate-a-scaffolds-integration
Jul 17, 2026
Merged

briansrls merged 9 commits into
mainfrom
session/bright-badger-591-gate-a-scaffolds-integration

Conversation

@gunbai-bot

@gunbai-bot gunbai-bot Bot commented Jul 17, 2026

Copy link
Copy Markdown
Contributor

Auto-opened by session-dashboard for session bright-badger-591.
Pushing to session/bright-badger-591-gate-a-scaffolds-integration advances this PR.

Worker attestation

Before flipping this PR to ready for review, confirm each item:

  • Title describes the change (not the session id or branch).
  • PR body summarises what and why (replace the TODO below).
  • Tests run: name the command (e.g. npm test, cargo test) and the result.
  • If this closes a work item, the body contains a Closes #N directive.
  • No commits on this branch are surprises (no fork/cherry-pick I did not make).
  • No secrets / credentials / large binaries staged.

Summary

TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.

Test plan

  • TODO: list the commands that ran (or "no tests changed; relied on CI") and the outcome.

briansrls and others added 3 commits July 17, 2026 21:11
…vergence

The environment auto-committer pushed a merge with literal git conflict
markers left in gunbc_stage0_crate_layout_generated.rs before the manual
resolution finished. Hand-resolved the 3 marker blocks (kept the fuller
HEAD side listing source_authority/compile/infer), then re-ran regen_stage0
which found lib.rs was missing 3 pub mod entries for the same modules.
Final regen_stage0 --verify: regen_divergence_count=0.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
@gunbai-bot gunbai-bot Bot changed the title Gate-A flip: self-emit 04_infer — curated scaffold now (SeedRetained), flip on #6775 land; own through to landing (flip+regen), no orphaned tail Gate-A scaffolds integration (source_authority/program_partition/04_infer/00_compile, SeedRetained) Jul 17, 2026
@gunbai-bot
gunbai-bot Bot marked this pull request as ready for review July 17, 2026 21:41
Both shims were missing s.len() for the seed_len={} placeholder,
which fails to compile under format_args! arg-count checking (caught
by review 39378). source_authority's shim already had the correct
two-arg form; 00_compile and 04_infer now match it.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
@gunbai-bot

gunbai-bot Bot commented Jul 17, 2026

Copy link
Copy Markdown
Contributor Author

Fixed in ecb1835: both dag/tools/self_host_00_compile_shims/witness_main.rs and dag/tools/self_host_04_infer_shims/witness_main.rs now pass e_cmp.len(), s.len() to the two-placeholder format string, matching the already-correct source_authority sibling shim. Thanks for catching it — confirmed it was a genuine compile-time arg-count mismatch (review 39378).

— sent from bright-badger-591

@briansrls
briansrls merged commit 5cb4a04 into main Jul 17, 2026
3 checks passed
@briansrls
briansrls deleted the session/bright-badger-591-gate-a-scaffolds-integration branch July 17, 2026 22:13
briansrls added a commit that referenced this pull request Jul 18, 2026
…ier rows on merged main (#6775 landed) and flip every green one in ONE PR (the #6812/#6834 pattern); refusals stay typed SeedRetained rows with located reasons (#6858)

* WIP: Gate-A flip wave: re-probe the 8 closure_self_emits_cargo_green frontier

* Gate-A flip wave: flip 03_normalize SelfEmitted post-#6775; bind 7 refusals

Re-probed all 8 candidates by execution on merged main (#6775). Only
03_normalize cargo-greens with the curated shim; frontier flips to
SelfEmitted (baseline 5→6), wet behavioral receipt passes, crate-layout
regen lands. Seven refusals stay SeedRetained with execution-measured
located_reason symbols; 00_compile keeps NameResolutionGap rank band.

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

* fix(frontier): repoint source_authority refusal to closure_self_emits gate

#6775 fired the emit_rc_optional_coherence trigger; the row stays
SeedRetained on a new curated-probe blocker — align migration_trigger
with the other Gate-A flip-wave refusal rows.

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

---------

Co-authored-by: Brian Searls <briansrls@gunb.ai>
Co-authored-by: Cursor <cursoragent@cursor.com>
gunbai-bot Bot pushed a commit that referenced this pull request Aug 19, 2026
…authorities

Five of the six files required-regen reports as drifted are genuine content
drift, not rustfmt-idempotence false positives: re-run with the newly-ported
8-pass rustfmt-fixed-point normalization active (ebe986a) and all five
still reported drifted, so each committed file is stale relative to its
.dag source rather than a single-pass formatting artifact.

gunbc_stage0_crate_layout_generated.rs: the live .dag authority
(dag/gunbc/stage0_crate_layout_generated.dag) already carries three
SeedRetainedScaffoldRegistration rows added for v2_compiler_compile,
v2_compiler_program_assembly, v2_compiler_source_authority (per
gate_a_flip_lane_seed_retained_note, completing PR #6812's incomplete
integration) — the committed .rs simply hadn't been regenerated since.

std_measure.rs, std_pareto.rs, std_witness_admission.rs,
v1_compiler_infer.rs: same pattern — committed artifact stale against
already-updated .dag source, caught by required-regen's byte comparison.

lib.rs, the sixth drifted file, is deliberately excluded from this commit:
it is independently regenerated by PR #8534 (session swift-moth-294), and
carrying it here would collide with that lane's verified fix.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.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