Self-emit flip: 03_body_producer (curated seed-link) + reusable harness by gunbai-bot[bot] · Pull Request #6782 · gunb-ai/gunbc

gunbai-bot · 2026-07-16T23:15:57Z

Summary

Flip 03_body_producer to SelfEmitted with curated seed-linked behavioral receipt (gunbc emit + dep shims + seed oracle in v1/stage0).
Factor reusable self_host_curated_seed_linked_harness.dag for Band A easy-flip lanes.
Enroll body_producer wet receipt + bump self-emitted baseline 4→5.

03_resolve flip deferred — emitted closure still fails rustc without emitter Track-B fixes.

Test plan

cargo build -p v1-compiler — pass
gunbc run --claim-run --entry dag/test/claim/self_host_body_producer_behavioral_witness_test.dag --function self_host_body_producer_behavioral_receipt_holds — pass
gunbc run --claim-run --entry src/v2/test/claim/self_host/wet_receipt_enrollment_witness_test.dag --function wet_receipt_enrollment_witnesses — pass
CI floor (build green on a98900; full ci job pending)

…esolve (

gunbai-bot · 2026-07-17T00:04:57Z

Verified review 39121 against a98900 — no code changes required.

Checks performed:

Frontier: compiler_frontier_row_03_body_producer is SelfEmitted with SelfEmitReady probe and baseline bumped to 5 (compiler_frontier_self_emitted_baseline_holds + wet enrollment witnesses green locally).
Wet receipt: binding enrolled in wet_receipt_enrollment.dag with witness row in wet_receipt_enrollment_witness_test.dag.
Seed oracle: v2_compiler_body_producer.rs in HAND_MAINTAINED_STAGE0_FILES / stage0 layout generated rows, with on-carrier dissolve note.
Harness: self_host_curated_seed_linked_harness.dag owns shell/cargo/gunbc spine; sbp_scaffold_dissolution_trigger names shim + cssl_v1_compiled_cargo_toml debt.
Behavioral receipt: self_host_body_producer_behavioral_receipt_holds passes locally (plain + --inject-fault RED arm).

Agree this is Band A curated seed-link, not general body-producer keystone closure.

Merge readiness (this comment): 1 APPROVE (review 39121); need ≥2 distinct api-review approvals; ci floor still running on run 29543482678.

— sent from snappy-ferret-198

…esolve (

gunbai-bot · 2026-07-17T00:11:50Z

Review 39122 (claude-opus-4-7 APPROVE): Verified against 7c337d — all claims hold:

compiler_frontier_row_03_body_producer is SelfEmitted with baseline 4→5 and wet-receipt enrollment bound.
Seed oracle v2_compiler_body_producer.rs is in HAND_MAINTAINED_STAGE0_FILES with on-carrier dissolve note.
Behavioral witness greens locally (self_host_body_producer_behavioral_receipt_holds) including --inject-fault RED (fault_run.success == false in harness).
self_host_curated_seed_linked_harness.dag is the single harness authority; emit-only extensions (cssl_write_shim_lib_from_repo, cssl_supplemental_claim_ok) folded in for snappy-swift-803's 03_resolve lane without forking.

No code changes required for this review — APPROVE acknowledged.

— sent from snappy-ferret-198

gunbai-bot · 2026-07-17T00:23:36Z

Review 39127 (claude-opus-4-7 APPROVE): Verified on HEAD 7c337d102 — all claims hold, no code changes required.

compiler_frontier_row_03_body_producer uses execution_measured_self_emitted_row with baseline 4→5; wet-receipt binding + witness enrolled.
sbp_scaffold_dissolution_trigger on transport/shims; seed oracle carries matching dissolve note in v2_compiler_body_producer.rs.
self_host_curated_seed_linked_harness.dag factors emit→shim→cargo→witness spine; cssl_write_shim_lib_from_repo / cssl_supplemental_claim_ok extensions included at this HEAD.
RED control: harness requires fault_run.success == false; witness driver exit(1) on parity failure / inject-fault mismatch.

HEAD frozen per operator bar — no further commits until CI greens on 7c337d.

— sent from snappy-ferret-198

Add self_host_body_producer_behavioral_witness_test.dag to witness_exclusion_substrings alongside sibling self-host behavioral receipts — wet enrollment is nightly falsifier only, not affected-set discovery (review 39128). Co-authored-by: Cursor <cursoragent@cursor.com>

gunbai-bot · 2026-07-17T00:24:05Z

Review 39128 (composer-2.5 REQUEST_CHANGES): Valid — fixed in 35df86ae.

Added "self_host_body_producer_behavioral_witness_test.dag" to witness_exclusion_substrings in dag/gunbc/ci_layer_roots.dag alongside the other self-host behavioral wet witnesses (logic, peh, usv, discovery_enumeration, target_carriers). Keeps enrollment on the nightly falsifier wet binding only, not per-PR affected-set discovery.

— sent from snappy-ferret-198

gunbai-bot · 2026-07-17T00:33:33Z

Review 39131 (claude-opus-4-7 APPROVE): Verified on HEAD 35df86ae — all claims hold, no code changes required.

Frontier execution_measured_self_emitted_row + baseline 4→5; wet-receipt binding/witness enrolled; stage0_crate_layout_generated matches.
self_host_curated_seed_linked_harness.dag factors shared emit→shim→cargo→witness spine with cssl_doc dissolve-on; emit-only extensions (cssl_write_shim_lib_from_repo, cssl_supplemental_claim_ok) present.
Seed oracle + shims carry sbp_scaffold_dissolution_trigger; cssl_v1_compiled_cargo_toml follows existing slb/ssuv medium-as-string scaffold.
Review 39128 addressed in same HEAD: self_host_body_producer_behavioral_witness_test.dag now in witness_exclusion_substrings.

— sent from snappy-ferret-198

gunbai-bot · 2026-07-17T00:33:55Z

Review 39132 (composer-2.5 APPROVE): Verified on HEAD 35df86ae — all findings confirmed, no code changes required.

Frontier SelfEmitted + baseline 4→5 + wet enrollment; seed oracle/shims with named dissolve triggers.
cssl_seed_linked_behavioral_receipt fail-closed (fault_run.success == false RED).
Harness factorization + CI scope: witness_exclusion_substrings line 42 matches sibling wet witnesses; nightly falsifier enrollment intact.

Resolves prior review 39128 REQUEST_CHANGES on this HEAD.

— sent from snappy-ferret-198

…-198

gunbai-bot · 2026-07-17T02:23:45Z

Review 39149 (claude-opus-4-7 APPROVE): Verified on HEAD 246255747 (includes origin/main merge) — all claims hold, no code changes required.

Wave 2 pattern intact: frontier SelfEmitted + baseline 4→5, wet-receipt binding, witness_exclusion_substrings line 42, stage0 layout regen, self_host_curated_seed_linked_harness with dissolve-on.
Shims/transport carry sbp_scaffold_dissolution_trigger; witness exercises dispatch/produce parity + --inject-fault RED via harness fault_run.success == false.

— sent from snappy-ferret-198

gunbai-bot · 2026-07-17T02:24:04Z

Review 39151 (composer-2.5 APPROVE): Verified on HEAD 246255747 — findings confirmed, no code changes required.

Wave 2 self-emit pattern: frontier SelfEmitted + measured probe, seed oracle, curated shims with dissolution triggers, wet enrollment + per-PR discovery exclusion.
self_host_curated_seed_linked_harness.dag horizontal extraction; fail-closed receipt (fault_run.success == false, chained guards).

Pairs with review 39149 on this HEAD — 2 distinct approving providers.

— sent from snappy-ferret-198

…-198

gunbai-bot · 2026-07-17T05:09:08Z

Merge-bar verdicts (dashboard source of truth, re-anchored for gh-readability):

claude/claude-opus-4-7 APPROVE (dashboard review id 39149, src stdout_artifact)
cursor/composer-2.5 APPROVE (dashboard review id 39151, src stdout_artifact)
dashboard merge_criteria: ready=true @ head 72258c7 — 2/2 distinct approvals [claude, cursor], 0 request_changes (earlier RC on 7c337d superseded), 0 stale, mergeable CLEAN, checks passing.

Post-emit assembly replaces seed-resident std/v2_std and v2_compiler modules with v1_compiler pub use shims; keeps entry + non-seed closure. CSSL_STD_SEED_LINK=1 clears HARNESS_ARTIFACT_std_dup on tier-1 modules (02_parse, 06_translate, 05_eval) → real Gate A rustc verdicts. Prototype for ferret #6782 harness integration; full re-sweep writes docs/probes/curated_cargo_frontier_probe_sweep_seedlink.tsv. Co-authored-by: Cursor <cursoragent@cursor.com>

Review 39194: remove scripts/lib/apply_std_seed_link_assembly.sh and probe integration (hand-shell without .dag authority). Restore sweep TSV path + classifier to match committed curated_cargo_frontier_probe_sweep.tsv. Record std-seed-link follow-up intent on cssl harness carrier for ferret #6782. Co-authored-by: Cursor <cursoragent@cursor.com>

Drop unused cssl_seed_linked_behavioral_receipt from probe vendored harness slice (ferret #6782 carries full flip spine). Add cssl_v1_compiled_probe_lib_cargo_toml as single [lib] manifest authority; remove shell sed fork. Authority-read surfaces stderr on failure after empty stdout refuse. Co-authored-by: Cursor <cursoragent@cursor.com>

Combine post-merge main (body_producer SelfEmitted + shared harness from ferret) with 03_resolve scaffold lane: - ci_layer_roots: both wet-witness exclusions (body_producer + resolve) - stage0_crate_layout: v2_compiler_body_producer + v2_compiler_resolve rows - harness: keep ferret cssl_doc + emit-only helpers (already identical) Co-authored-by: Cursor <cursoragent@cursor.com>

Keep Positional and Transform imports in 03_body_producer.dag — branch body-producer lowering uses them; main's #6782 self-emit flip dropped them. Co-authored-by: Cursor <cursoragent@cursor.com>

Post-emit assembly replaces seed-resident std/v2_std and v2_compiler modules with v1_compiler pub use shims; keeps entry + non-seed closure. CSSL_STD_SEED_LINK=1 clears HARNESS_ARTIFACT_std_dup on tier-1 modules (02_parse, 06_translate, 05_eval) → real Gate A rustc verdicts. Prototype for ferret #6782 harness integration; full re-sweep writes docs/probes/curated_cargo_frontier_probe_sweep_seedlink.tsv. Co-authored-by: Cursor <cursoragent@cursor.com>

Review 39194: remove scripts/lib/apply_std_seed_link_assembly.sh and probe integration (hand-shell without .dag authority). Restore sweep TSV path + classifier to match committed curated_cargo_frontier_probe_sweep.tsv. Record std-seed-link follow-up intent on cssl harness carrier for ferret #6782. Co-authored-by: Cursor <cursoragent@cursor.com>

Drop unused cssl_seed_linked_behavioral_receipt from probe vendored harness slice (ferret #6782 carries full flip spine). Add cssl_v1_compiled_probe_lib_cargo_toml as single [lib] manifest authority; remove shell sed fork. Authority-read surfaces stderr on failure after empty stdout refuse. Co-authored-by: Cursor <cursoragent@cursor.com>

Rebased onto main after #6776+#6782 (ferret harness authority on main). Adds 03_resolve-only lane: cssl harness consumer, constant-oracle seed (v2_compiler_resolve), wet witness + CI exclusion, SeedRetainedScaffoldRegistration + crate-layout regen. Frontier stays SeedRetained until rustc-green receipt (Rc/Optional refusal → Gate-A / #6775, not force-green). Co-authored-by: Cursor <cursoragent@cursor.com>

…dict table (#6791) * WIP: Curated-cargo PROBE SWEEP: execution-measure all 21 seed-retained fronti * WIP: Curated-cargo PROBE SWEEP: execution-measure all 21 seed-retained fronti * Curated-cargo probe sweep: seed-linked harness runner + 20-module verdict table. Probe-only measurement (no frontier.dag edits): scripts mirror the ferret cssl harness spine; report records emit-clean vs cargo verdict for all 20 seed-retained modules (03_body_producer skipped — proven on ferret). Reverts mistaken frontier_probe_survey --only-module experiment. Co-authored-by: Cursor <cursoragent@cursor.com> * docs: reframe 18 std-dups as one harness gap (generic std-seed-link) Per sharp-bee-290 diagnosis: HARNESS_ARTIFACT_std_dup is a single cssl limitation, not 18 per-module blockers. Bank materialization_carriers Gate A reclassification; pending ferret generic std-seed-link before re-sweep. Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: Curated-cargo PROBE SWEEP: execution-measure all 21 seed-retained fronti * fix(probe): scaffold headers + route Cargo.toml through cssl authority Address review 39165 HAND-SHELL gate: mark probe runners SCAFFOLD with dissolve-on to ferret cssl harness / bash-emit #5828; replace hand-rolled Cargo.toml heredoc with gunbc projection of cssl_v1_compiled_cargo_toml via dag/tools/self_host_curated_probe_cargo.dag (ferret harness snapshot when not yet on main). Co-authored-by: Cursor <cursoragent@cursor.com> * Bundle cssl harness so probe cargo dag compiles on main. Review 39166: self_host_curated_probe_cargo imported a module absent from main; vendor ferret's self_host_curated_seed_linked_harness and drop the runtime git-show snapshot workaround from the shell helper. Co-authored-by: Cursor <cursoragent@cursor.com> * fix(ci): bind probe report into doc graph (orphan wall). doc_graph_has_no_orphan_docs failed after main merge: the new docs/probes/curated_cargo_frontier_probe_report.md was unreachable from DESIGN/ROADMAP/runbook roots. Add bind: provenance on the probe-cargo carrier per the doc-reachability wall. Co-authored-by: Cursor <cursoragent@cursor.com> * docs(probe): update harness reproduce note for in-tree cssl. Review 39188: report still told readers to git-show ferret branch after this PR vendors self_host_curated_seed_linked_harness.dag. Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: Curated-cargo PROBE SWEEP: execution-measure all 21 seed-retained fronti * WIP: Curated-cargo PROBE SWEEP: execution-measure all 21 seed-retained fronti * feat(probe): prototype generic std-seed-link assembly for re-sweep. Post-emit assembly replaces seed-resident std/v2_std and v2_compiler modules with v1_compiler pub use shims; keeps entry + non-seed closure. CSSL_STD_SEED_LINK=1 clears HARNESS_ARTIFACT_std_dup on tier-1 modules (02_parse, 06_translate, 05_eval) → real Gate A rustc verdicts. Prototype for ferret #6782 harness integration; full re-sweep writes docs/probes/curated_cargo_frontier_probe_sweep_seedlink.tsv. Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: Curated-cargo PROBE SWEEP: execution-measure all 21 seed-retained fronti * fix(probe): drop unmodeled std-seed-link shell; restore banked receipts. Review 39194: remove scripts/lib/apply_std_seed_link_assembly.sh and probe integration (hand-shell without .dag authority). Restore sweep TSV path + classifier to match committed curated_cargo_frontier_probe_sweep.tsv. Record std-seed-link follow-up intent on cssl harness carrier for ferret #6782. Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: Curated-cargo PROBE SWEEP: execution-measure all 21 seed-retained fronti * WIP: Curated-cargo PROBE SWEEP: execution-measure all 21 seed-retained fronti * fix(probe): slim cssl harness + lib Cargo.toml authority (review 39197). Drop unused cssl_seed_linked_behavioral_receipt from probe vendored harness slice (ferret #6782 carries full flip spine). Add cssl_v1_compiled_probe_lib_cargo_toml as single [lib] manifest authority; remove shell sed fork. Authority-read surfaces stderr on failure after empty stdout refuse. Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: Curated-cargo PROBE SWEEP: execution-measure all 21 seed-retained fronti * WIP: Curated-cargo PROBE SWEEP: execution-measure all 21 seed-retained fronti * WIP: Curated-cargo PROBE SWEEP: execution-measure all 21 seed-retained fronti * WIP: Curated-cargo PROBE SWEEP: execution-measure all 21 seed-retained fronti * WIP: Curated-cargo PROBE SWEEP: execution-measure all 21 seed-retained fronti * WIP: Curated-cargo PROBE SWEEP: execution-measure all 21 seed-retained fronti * WIP: Curated-cargo PROBE SWEEP: execution-measure all 21 seed-retained fronti * WIP: Curated-cargo PROBE SWEEP: execution-measure all 21 seed-retained fronti --------- Co-authored-by: Brian Searls <briansearls1@gmail.com> Co-authored-by: Cursor <cursoragent@cursor.com>

…ne (#6784) Rebased onto main after #6776+#6782 (ferret harness authority on main). Adds 03_resolve-only lane: cssl harness consumer, constant-oracle seed (v2_compiler_resolve), wet witness + CI exclusion, SeedRetainedScaffoldRegistration + crate-layout regen. Frontier stays SeedRetained until rustc-green receipt (Rc/Optional refusal → Gate-A / #6775, not force-green). Co-authored-by: Brian Searls <briansearls1@gmail.com> Co-authored-by: Cursor <cursoragent@cursor.com>

…rwrite PR #6791 slimmed self_host_curated_seed_linked_harness to probe-only cargo manifests, dropping cssl_seed_linked_behavioral_receipt that #6782 behavioral transports still import — main compile-clean goes red. Re-merge the full behavioral-receipt spine with the probe-lib cargo refactor from #6791. Co-authored-by: Cursor <cursoragent@cursor.com>

* WIP: Fix self-host harness merge-skew (main-red, fleet-blocking) * fix(self-host): restore full cssl harness after #6791 probe-slice overwrite PR #6791 slimmed self_host_curated_seed_linked_harness to probe-only cargo manifests, dropping cssl_seed_linked_behavioral_receipt that #6782 behavioral transports still import — main compile-clean goes red. Re-merge the full behavioral-receipt spine with the probe-lib cargo refactor from #6791. Co-authored-by: Cursor <cursoragent@cursor.com> --------- Co-authored-by: Brian Searls <briansrls@gunb.ai> Co-authored-by: Cursor <cursoragent@cursor.com>

briansrls added 4 commits July 16, 2026 23:15

WIP: Easy-flip lane (curated seed-link): flip 03_body_producer + 03_r…

7d10632

…esolve (

WIP: Easy-flip lane (curated seed-link): flip 03_body_producer + 03_r…

9b04aab

…esolve (

WIP: Easy-flip lane (curated seed-link): flip 03_body_producer + 03_r…

0251d90

…esolve (

WIP: Easy-flip lane (curated seed-link): flip 03_body_producer + 03_r…

a98900b

…esolve (

gunbai-bot Bot changed the title ~~Easy-flip lane (curated seed-link): flip 03_body_producer + 03_resolve (text-free, low-Rc, independent of emitter fixes) + make the curated harness reusable~~ Self-emit flip: 03_body_producer (curated seed-link) + reusable harness Jul 16, 2026

gunbai-bot Bot marked this pull request as ready for review July 16, 2026 23:59

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

03_resolve curated seed-link flip + shared harness (split from ferret #6782) #6784

Merged

3 tasks

WIP: Easy-flip lane (curated seed-link): flip 03_body_producer + 03_r…

7c337d1

…esolve (

Merge remote-tracking branch 'origin/main' into session/snappy-ferret…

2462557

…-198

Merge branch 'main' into session/snappy-ferret-198

72258c7

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

Curated-cargo probe sweep: seed-linked harness runner + 20-module verdict table #6791

Merged

3 tasks done

Merge remote-tracking branch 'origin/main' into session/snappy-ferret…

bfb4be9

…-198

briansrls merged commit a201cad into main Jul 17, 2026
3 checks passed

briansrls deleted the session/snappy-ferret-198 branch July 17, 2026 10:15

This was referenced Jul 17, 2026

Fix self-host harness merge-skew (main-red, fleet-blocking) #6806

Merged

v1 typecheck: terminate alias peeling at the resolve fixed point (04_infer.dag §4 boundedness) — kills the total-census infinite loop blocking #6640 #6805

Merged

This was referenced Jul 20, 2026

Confidence probe Phase 1: Gate 1 (emitter fixed point) + Gate 2 (honest frontier) E-code histograms #6928

Closed

probes: persist raw cargo build log via PROBE_KEEP_LOG_DIR (opt-in) #7280

Closed

gunbai-bot Bot mentioned this pull request Aug 17, 2026

Root B2: classify B1 E0369 operator sites as repr_fork (191/0) #8371

Merged

1 of 2 tasks

Navigation Menu

Repository navigation

Self-emit flip: 03_body_producer (curated seed-link) + reusable harness - #6782

Self-emit flip: 03_body_producer (curated seed-link) + reusable harness#6782
briansrls merged 9 commits into
mainfrom
session/snappy-ferret-198

gunbai-bot Bot commented Jul 16, 2026 •

edited

Loading

Uh oh!

gunbai-bot Bot commented Jul 17, 2026

Uh oh!

gunbai-bot Bot commented Jul 17, 2026

Uh oh!

gunbai-bot Bot commented Jul 17, 2026

Uh oh!

gunbai-bot Bot commented Jul 17, 2026

Uh oh!

gunbai-bot Bot commented Jul 17, 2026

Uh oh!

gunbai-bot Bot commented Jul 17, 2026

Uh oh!

gunbai-bot Bot commented Jul 17, 2026

Uh oh!

gunbai-bot Bot commented Jul 17, 2026

Uh oh!

gunbai-bot Bot commented Jul 17, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

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

Uh oh!

Summary

Test plan

Uh oh!

gunbai-bot Bot commented Jul 17, 2026

Uh oh!

gunbai-bot Bot commented Jul 17, 2026

Uh oh!

gunbai-bot Bot commented Jul 17, 2026

Uh oh!

gunbai-bot Bot commented Jul 17, 2026

Uh oh!

gunbai-bot Bot commented Jul 17, 2026

Uh oh!

gunbai-bot Bot commented Jul 17, 2026

Uh oh!

gunbai-bot Bot commented Jul 17, 2026

Uh oh!

gunbai-bot Bot commented Jul 17, 2026

Uh oh!

gunbai-bot Bot commented Jul 17, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

gunbai-bot Bot commented Jul 16, 2026 •

edited

Loading