std_dup 3-module unlock: the curated seed-link probe harness reds E0255 Witness duplicate (std_dup) on 01_tokenize, 04_infer, program_partition — the dual-std-tree basename homonym class (dag/std vs src/v2/std). Fix pattern = per-module authority (the Nat precedent, #6834); extend it or dedup the ha by briansrls · Pull Request #6876 · gunb-ai/gunbc

briansrls · 2026-07-19T01:39:04Z

Summary

Assembly-only fix for the 13-module HARNESS_ARTIFACT_std_dup gate (calm-boar-697 census). Two changes in cssl_seed_linked_closure_assembly.rs + matching bash harness script:

Witness sanitize: match pub enum Witness<C> (generic), not exact pub enum Witness — strips v1_rt::Witness prelude imports that collided with the emitted enum (E0255).
v2_std_ emit-retain*: stop overwriting gunbc-emitted v2 std modules with minimal bridge shims (broke dependents like v2_std_logic → v2_std_algebra re-exports).

No emitter changes (src/v1/05_emit_rust.dag untouched).

Probe delta (CSSL_STD_SEED_LINK=1, integration/sharp-bee-290 baseline)

Local receipts — integration base runs no CI (known; operator fast-gates at capture).

Module	Before	After (first error)
`01_tokenize`	`error[E0255]: the name Witness is defined multiple times`	`error[E0425]: cannot find type FreeMonoid in this scope`
`04_infer`	`HARNESS_ARTIFACT_std_dup` / Int128 dup	`error[E0432]: unresolved import crate::v2_compiler_resolve::ResolvedTree`
`program_partition`	`HARNESS_ARTIFACT_std_dup` / Int128 dup	`error[E0432]: unresolved import crate::v2_compiler_infer::InferredTree`
`06_translate`	`HARNESS_ARTIFACT_std_dup` / Int128 dup	`error[E0432]: unresolved import crate::v2_compiler_infer::InferredTree`
`fold_lowering`	`HARNESS_ARTIFACT_std_dup`	past std_dup (namespace layer)

std_dup cleared on all Gate-A + tail representatives probed.

Next-layer classification (for flip-wave routing)

Module	Exact first error	Verdict
`01_tokenize`	`error[E0425]: cannot find type FreeMonoid in this scope` → `src/std_primitives.rs:29` (`ephemeral_work: Rc<FreeMonoid<Char>>`)	Emit-side — missing scoped import in emitted carrier module (freemonoid-signature family)
`04_infer`	`error[E0432]: unresolved import crate::v2_compiler_resolve::ResolvedTree`	Assembly seed-link surface mismatch — assembly replaces emitted `v2_compiler_resolve` with `pub use v1_compiler::v2_compiler_resolve::*` but seed stub lacks `ResolvedTree`; NOT namespace lane
`program_partition`	`error[E0432]: unresolved import crate::v2_compiler_infer::InferredTree`	Assembly seed-link surface mismatch (same class as above)
`06_translate`	`error[E0432]: unresolved import crate::v2_compiler_infer::InferredTree`	Assembly seed-link surface mismatch (same class as above)

Test plan

cargo build --release -p v1-compiler --bin cssl_assemble --bin gunbc (binaries verified on disk)
CSSL_STD_SEED_LINK=1 ./scripts/curated_cargo_probe_one.sh on Gate-A modules + tail reps
Unit test witness_generic_enum_sanitize_strips_v1_rt_import added

gunbai-bot · 2026-07-19T03:08:49Z

Confirmed review 39746 observations against current head:

sanitize_witness_import_conflict uses starts_with("pub enum Witness") — matches generic Witness<C> form ✓
v2_std_* arm is emit-retain + sanitize only; bridge copy removed ✓
_std_bridge_dir retained for public signature stability ✓
witness_generic_enum_sanitize_strips_v1_rt_import test present ✓

No code changes requested; findings accurate.

— sent from proud-deer-857

gunbai-bot · 2026-07-19T03:09:07Z

Confirmed review 39750 observations against current head (ed68594a):

v2_std_* arm is emit-retain + sanitize only (no bridge overwrite) ✓
Witness sanitize uses starts_with("pub enum Witness") for generic Witness<C> ✓
witness_generic_enum_sanitize_strips_v1_rt_import regression test present ✓

No code changes requested; findings accurate.

Merge readiness (dashboard): 2/2 approvals (claude + cursor), 0 REQUEST_CHANGES, MERGEABLE, ready for operator merge.

— sent from proud-deer-857

…2_std emit-retain (proud-deer-857) 2 approvals (claude, cursor), no request-changes, at bar. Local fast gate: fmt check below. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

…ave unblocked Fold integration/sharp-bee-290 at 81dc2d9; update v1_deletion_plan lane_state to current truth (13+6 census retained, probe_flip_fanout unblocked pending emitter fixes). Co-authored-by: Cursor <cursoragent@cursor.com>

…n-note disposition (single merge point) (#6885) * WIP: Emitter Ord-eligibility unlock: rust_btree_set_element_ord_eligible cons * WIP: Module identity Phase 0(b): the admission invariant — every witness row * WIP: Module identity Phase 1: the path⇄module binding authority — parse-deriv * WIP: Emitter Ord-eligibility unlock: rust_btree_set_element_ord_eligible cons * WIP: Module identity Phase 0(b): the admission invariant — every witness row * WIP: Module identity Phase 1: the path⇄module binding authority — parse-deriv * emit: generalize BTreeSet Ord eligibility for Symbol-wrapped carriers FormalNonterminal and FormalTerminal ({ identity: Symbol }) now pass rust_btree_set_element_ord_eligible and receive Ord derives, unblocking 04_infer and program_partition self-emit cargo probes. Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: Module identity Phase 0(b): the admission invariant — every witness row * Module identity Phase 1: the path⇄module binding authority (parse-derived, fail-closed) Homes the path⇄module binding on v2.compiler.source_authority as a DERIVED-at-parse fact per docs/plans/module-identity-storage-binding-design.md §2. - ModuleStorageProvenance = ParsedFromSource { artifact, span_index } | ProducedByBehavior { producer } — zero-file produced modules are now representable honestly instead of being excluded. - ModuleStorageBinding / ModuleStorageIndex, reusing QualifiedName, Artifact, SourceRootRef and SpanIndex (no new nickname, §3). - Both projections: file -> module and module -> storage. - Scope is the LIVE 1:1 binding; many-to-many is a named deferral (§6). §5 fail-closed repair in v2.compiler.program_assembly: the Rejected arm of qualified_name_from_module_node kept the root and left the index UNCHANGED, so a module whose name could not be derived went silently invisible to every downstream lookup — an absorbing fallback in drop form, its frequency zeroed by construction. It now refuses with the located diagnostic. Witnesses (green by execution, REDs verified discriminating by perturbation): derivation from parse; path projection; duplicate-module refuses; underivable name refuses; produced module has no storage. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * WIP: Consolidate the qualified_name_from_segment_list §3 fork (LIVE runtime h * WIP: Module identity Phase 1: the path⇄module binding authority — parse-deriv * WIP: Module identity Phase 1: the path⇄module binding authority — parse-deriv * WIP: Module identity Phase 0(b): the admission invariant — every witness row * review: forward located diagnostics; hoist grammar prepare; split fast/long witness lanes Three fixes from review + CI. 1. Located refusal (cursor/composer-2.5). The name-derivation Rejected arm discarded the derivation's diagnostics and substituted a port-level source_authority_diagnostic — satisfying "typed" while destroying "located" (§5 requires both), contradicting this PR's own notes, and diverging from the sibling arm in program_assembly which forwards d. It now forwards d unchanged, so one failure yields one diagnostic regardless of entry point. 2. Grammar prepare hoisted above the fold, mirroring program_assembly_prepare_once_note. The derivation called parse_module per read, re-validating the grammar K times over a K-module ingest; it now prepares once and uses parse_module_prepared. Empty ingest is guarded so it never pays the prepare for zero reads. Same cost-shape defect the assembly fold already documents (§6 always-fix). 3. Witness lanes split per the operator 5-second rule (CI EvalBudgetExceeded: 4 witnesses at ~5002ms). Measured by differencing against the non-parsing witness, parse-derived eval is ~13s — inherently over the fast-lane budget even after fix 2. Per gunbc.ci_layer_roots long_lane_exclusion_note ("fast receipts stay discovered, execution proofs live in long/"), the parse-derived proofs move to src/v2/test/claim/long/, and the fast lane keeps NEW witnesses that exercise the §5 construction wall over hand-built rows at zero parse cost: duplicate-module refusal, its accept control, and the produced/zero-file arm. Duplicate detection keys on module identity independently of provenance, which is why the wall is provable without a parse. All eight witnesses green by execution across both lanes. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * WIP: Emitter Ord-eligibility unlock: rust_btree_set_element_ord_eligible cons * WIP: Emitter Ord-eligibility unlock: rust_btree_set_element_ord_eligible cons * WIP: Emitter Ord-eligibility unlock: rust_btree_set_element_ord_eligible cons * WIP: Emitter Ord-eligibility unlock: rust_btree_set_element_ord_eligible cons * Gate-A re-probe post-#6859+#6868: repoint 04_infer/program_partition to std_dup bucket Re-probed all seven Gate-A candidates with CSSL_STD_SEED_LINK=1 on integration/sharp-bee-290. No cargo-green flips (baseline stays 6). #6868 Ord fix cleared btree_set_ord for 04_infer/program_partition; both now refuse on Witness std_dup alongside 01_tokenize. Four modules still refuse UNRESOLVED_CompilerError. Bank execution receipts in docs/probes/gate_a_reprobe_2026-07-19.tsv and tail_reprobe_2026-07-19.tsv. Co-authored-by: Cursor <cursoragent@cursor.com> * docs(probes): add cssl_std_seed_link and shim_lib_rel columns to re-probe TSVs Invocation metadata for std_dup fix lane: all 19 probes were raw-closure (CSSL_STD_SEED_LINK=1, shim_lib_rel empty — no lane shims passed). Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: Weak Self Host -> Strong Self Host (Wave 1 -> 4, on 1 exit) * WIP: Weak Self Host -> Strong Self Host (Wave 1 -> 4, on 1 exit) * integration: address review 39722/39727 — admission scanner refuses (never widens), provenance de-fork, stale note, KeySource import Review 39722 (claude, RC) three findings + review 39727 (cursor, RC) two findings, all verified: 1. §5 absorbing fallback in the witness-admission scanner: rewritten as per-form structural extraction that is fail-closed BOTH ways — every occurrence of a recognized row head (bin_wet, probe_red, self_host_wet_entry, SelfHostWetReceiptBinding) either parses to a key, is a verified definition/non-literal pass-through site, or PANICS with source label + byte offset; the catch-all entry/function loop (the widen arm that could silently excuse orphans) is DELETED. A consumer in an unrecognized form now surfaces as a loud orphan, never an absorbed excuse. Call sites carry source labels (the 39727 arity finding was the auto-WIP intermediate state; complete here). 2. §3 parallel authority (borderline per reviewer): the dissolve-on marker now names the tracked lane (module-binding supply-carrier pattern; host consumes emitted manifest rows) and the interim scan's fail-closed semantics. 3. §2 byte-identical provenance pair: source_ir_node_artifact_provenance_add_from_model + _add wrapper DELETED (pre-existing on main, not introduced by the wave — verified via git show origin/main); consumers repointed (edit_locus_resolver_test import + 2 calls, internal :627 site). Zero references remain. 4. Stale fork note in module_storage_binding_derivation_test updated: the qualified_name fork it described was dissolved in this wave (renamed apart); note now records the resolution. 5. Operator-requested: dag/std/realization.dag KeySource unlisted-import x3 (pre-existing main defect) fixed — KeySource added to the std.effects import list; source_authority closure compile-clean 3 -> 0 diagnostics. Receipts: cargo build release clean; admission unit tests 2/2 (witness_admission_deferred_rows_have_consumers, witness_admission_orphan_synthetic_row_refuses); module_storage_binding witnesses PASS; edit_locus_resolver witnesses PASS on the repointed name. 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> * integration: rustfmt the admission scanner Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> * plan: v1-deletion dependency graph as .dag — milestones, serial-vs-fanout, critical path (operator 2-week target) Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> * plan: record 2026-07-19 census discharges — Ord fix cleared btree_set_ord, KeySource import fix cleared the whole unresolved bucket; ~19 modules now on the one std_dup fix Verified by execution at f071536: all 6 formerly-UNRESOLVED closures (00_compile, materialization_carriers, program_assembly, source_authority, 02_parse, 03_ingest) compile 0 diagnostics; re-probe TSVs (#6872) show 04_infer/program_partition emit clean with std_dup as sole refusal. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> * fix(cssl): assembly std_dup unlock — Witness sanitize + v2_std emit-retain Single assembly fix for the 13-module std_dup gate (calm-boar-697 census): - sanitize_witness_import_conflict matches `pub enum Witness<C>` (generic), stripping v1_rt::Witness prelude imports that collided with emitted enum - v2_std_* emit-retain instead of minimal bridge shims (broken dependents like v2_std_logic → v2_std_algebra re-exports) No emitter changes. Probes move past HARNESS_ARTIFACT_std_dup / E0255 on all Gate-A modules + tail representatives; next blockers surface as namespace gaps. Co-authored-by: Cursor <cursoragent@cursor.com> * docs(probes): post-std_dup re-probe on proud-deer ed68594 (13 modules) CSSL_STD_SEED_LINK=1, shim_lib_rel empty, rebuilt cssl_assemble. std_dup E0255 cleared on 12/13; new namespace layer surfaces (FreeMonoid, ResolvedTree, InferredTree/InferredFacts). emit_produced: Optional std_dup residue. Harness invocation contract in probe script header. Co-authored-by: Cursor <cursoragent@cursor.com> * docs(probes): baseline caveat + probe_notes on post-std_dup TSV (#6884) ed68594 predates #6883 emit-retain; mark ResolvedTree/InferredTree rows EXPECTED-CLEARED. emit_produced Optional routed to proud-deer. FreeMonoid rows flagged as live next-layer census post-#6883. Co-authored-by: Cursor <cursoragent@cursor.com> * docs(#6880): cargo-stage unresolved re-probe + plan census correction on main Rebased onto main post-#6866. Remaining delta: KeySource cargo-stage TSV, embedded-marker grep receipt, v1_deletion_plan corrections (13 std_dup vs 6 unresolved, ROOT-CAUSED emitter-gap, stern-lark-430 dispatched). Gate-A/tail frontier rows already landed via integration merge. Co-authored-by: Cursor <cursoragent@cursor.com> * witness_admission: bounded dissolution note on the two single-arm predicates (review 39758 disposition) Phase 0(b) author closed out; disposition owned by sharp-bee-290 per the capture. Pattern matches target_value_expr_int_literal_predicate_dissolution_note. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> * plan(#6880): resolve integration merge — std_dup LANDED #6876, flip-wave unblocked Fold integration/sharp-bee-290 at 81dc2d9; update v1_deletion_plan lane_state to current truth (13+6 census retained, probe_flip_fanout unblocked pending emitter fixes). Co-authored-by: Cursor <cursoragent@cursor.com> --------- Co-authored-by: Brian Searls <briansearls1@gmail.com> Co-authored-by: Brian Searls <briansrls@gunb.ai> Co-authored-by: Cursor <cursoragent@cursor.com> Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

#6880) * WIP: Emitter Ord-eligibility unlock: rust_btree_set_element_ord_eligible cons * WIP: Module identity Phase 0(b): the admission invariant — every witness row * WIP: Module identity Phase 1: the path⇄module binding authority — parse-deriv * WIP: Emitter Ord-eligibility unlock: rust_btree_set_element_ord_eligible cons * WIP: Module identity Phase 0(b): the admission invariant — every witness row * WIP: Module identity Phase 1: the path⇄module binding authority — parse-deriv * emit: generalize BTreeSet Ord eligibility for Symbol-wrapped carriers FormalNonterminal and FormalTerminal ({ identity: Symbol }) now pass rust_btree_set_element_ord_eligible and receive Ord derives, unblocking 04_infer and program_partition self-emit cargo probes. Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: Module identity Phase 0(b): the admission invariant — every witness row * Module identity Phase 1: the path⇄module binding authority (parse-derived, fail-closed) Homes the path⇄module binding on v2.compiler.source_authority as a DERIVED-at-parse fact per docs/plans/module-identity-storage-binding-design.md §2. - ModuleStorageProvenance = ParsedFromSource { artifact, span_index } | ProducedByBehavior { producer } — zero-file produced modules are now representable honestly instead of being excluded. - ModuleStorageBinding / ModuleStorageIndex, reusing QualifiedName, Artifact, SourceRootRef and SpanIndex (no new nickname, §3). - Both projections: file -> module and module -> storage. - Scope is the LIVE 1:1 binding; many-to-many is a named deferral (§6). §5 fail-closed repair in v2.compiler.program_assembly: the Rejected arm of qualified_name_from_module_node kept the root and left the index UNCHANGED, so a module whose name could not be derived went silently invisible to every downstream lookup — an absorbing fallback in drop form, its frequency zeroed by construction. It now refuses with the located diagnostic. Witnesses (green by execution, REDs verified discriminating by perturbation): derivation from parse; path projection; duplicate-module refuses; underivable name refuses; produced module has no storage. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * WIP: Consolidate the qualified_name_from_segment_list §3 fork (LIVE runtime h * WIP: Module identity Phase 1: the path⇄module binding authority — parse-deriv * WIP: Module identity Phase 1: the path⇄module binding authority — parse-deriv * WIP: Module identity Phase 0(b): the admission invariant — every witness row * review: forward located diagnostics; hoist grammar prepare; split fast/long witness lanes Three fixes from review + CI. 1. Located refusal (cursor/composer-2.5). The name-derivation Rejected arm discarded the derivation's diagnostics and substituted a port-level source_authority_diagnostic — satisfying "typed" while destroying "located" (§5 requires both), contradicting this PR's own notes, and diverging from the sibling arm in program_assembly which forwards d. It now forwards d unchanged, so one failure yields one diagnostic regardless of entry point. 2. Grammar prepare hoisted above the fold, mirroring program_assembly_prepare_once_note. The derivation called parse_module per read, re-validating the grammar K times over a K-module ingest; it now prepares once and uses parse_module_prepared. Empty ingest is guarded so it never pays the prepare for zero reads. Same cost-shape defect the assembly fold already documents (§6 always-fix). 3. Witness lanes split per the operator 5-second rule (CI EvalBudgetExceeded: 4 witnesses at ~5002ms). Measured by differencing against the non-parsing witness, parse-derived eval is ~13s — inherently over the fast-lane budget even after fix 2. Per gunbc.ci_layer_roots long_lane_exclusion_note ("fast receipts stay discovered, execution proofs live in long/"), the parse-derived proofs move to src/v2/test/claim/long/, and the fast lane keeps NEW witnesses that exercise the §5 construction wall over hand-built rows at zero parse cost: duplicate-module refusal, its accept control, and the produced/zero-file arm. Duplicate detection keys on module identity independently of provenance, which is why the wall is provable without a parse. All eight witnesses green by execution across both lanes. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> * WIP: Emitter Ord-eligibility unlock: rust_btree_set_element_ord_eligible cons * WIP: Emitter Ord-eligibility unlock: rust_btree_set_element_ord_eligible cons * WIP: Emitter Ord-eligibility unlock: rust_btree_set_element_ord_eligible cons * WIP: Emitter Ord-eligibility unlock: rust_btree_set_element_ord_eligible cons * Gate-A re-probe post-#6859+#6868: repoint 04_infer/program_partition to std_dup bucket Re-probed all seven Gate-A candidates with CSSL_STD_SEED_LINK=1 on integration/sharp-bee-290. No cargo-green flips (baseline stays 6). #6868 Ord fix cleared btree_set_ord for 04_infer/program_partition; both now refuse on Witness std_dup alongside 01_tokenize. Four modules still refuse UNRESOLVED_CompilerError. Bank execution receipts in docs/probes/gate_a_reprobe_2026-07-19.tsv and tail_reprobe_2026-07-19.tsv. Co-authored-by: Cursor <cursoragent@cursor.com> * docs(probes): add cssl_std_seed_link and shim_lib_rel columns to re-probe TSVs Invocation metadata for std_dup fix lane: all 19 probes were raw-closure (CSSL_STD_SEED_LINK=1, shim_lib_rel empty — no lane shims passed). Co-authored-by: Cursor <cursoragent@cursor.com> * WIP: Weak Self Host -> Strong Self Host (Wave 1 -> 4, on 1 exit) * WIP: Weak Self Host -> Strong Self Host (Wave 1 -> 4, on 1 exit) * integration: address review 39722/39727 — admission scanner refuses (never widens), provenance de-fork, stale note, KeySource import Review 39722 (claude, RC) three findings + review 39727 (cursor, RC) two findings, all verified: 1. §5 absorbing fallback in the witness-admission scanner: rewritten as per-form structural extraction that is fail-closed BOTH ways — every occurrence of a recognized row head (bin_wet, probe_red, self_host_wet_entry, SelfHostWetReceiptBinding) either parses to a key, is a verified definition/non-literal pass-through site, or PANICS with source label + byte offset; the catch-all entry/function loop (the widen arm that could silently excuse orphans) is DELETED. A consumer in an unrecognized form now surfaces as a loud orphan, never an absorbed excuse. Call sites carry source labels (the 39727 arity finding was the auto-WIP intermediate state; complete here). 2. §3 parallel authority (borderline per reviewer): the dissolve-on marker now names the tracked lane (module-binding supply-carrier pattern; host consumes emitted manifest rows) and the interim scan's fail-closed semantics. 3. §2 byte-identical provenance pair: source_ir_node_artifact_provenance_add_from_model + _add wrapper DELETED (pre-existing on main, not introduced by the wave — verified via git show origin/main); consumers repointed (edit_locus_resolver_test import + 2 calls, internal :627 site). Zero references remain. 4. Stale fork note in module_storage_binding_derivation_test updated: the qualified_name fork it described was dissolved in this wave (renamed apart); note now records the resolution. 5. Operator-requested: dag/std/realization.dag KeySource unlisted-import x3 (pre-existing main defect) fixed — KeySource added to the std.effects import list; source_authority closure compile-clean 3 -> 0 diagnostics. Receipts: cargo build release clean; admission unit tests 2/2 (witness_admission_deferred_rows_have_consumers, witness_admission_orphan_synthetic_row_refuses); module_storage_binding witnesses PASS; edit_locus_resolver witnesses PASS on the repointed name. 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> * integration: rustfmt the admission scanner Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> * plan: v1-deletion dependency graph as .dag — milestones, serial-vs-fanout, critical path (operator 2-week target) Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> * plan: record 2026-07-19 census discharges — Ord fix cleared btree_set_ord, KeySource import fix cleared the whole unresolved bucket; ~19 modules now on the one std_dup fix Verified by execution at f071536: all 6 formerly-UNRESOLVED closures (00_compile, materialization_carriers, program_assembly, source_authority, 02_parse, 03_ingest) compile 0 diagnostics; re-probe TSVs (#6872) show 04_infer/program_partition emit clean with std_dup as sole refusal. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> * fix(cssl): assembly std_dup unlock — Witness sanitize + v2_std emit-retain Single assembly fix for the 13-module std_dup gate (calm-boar-697 census): - sanitize_witness_import_conflict matches `pub enum Witness<C>` (generic), stripping v1_rt::Witness prelude imports that collided with emitted enum - v2_std_* emit-retain instead of minimal bridge shims (broken dependents like v2_std_logic → v2_std_algebra re-exports) No emitter changes. Probes move past HARNESS_ARTIFACT_std_dup / E0255 on all Gate-A modules + tail representatives; next blockers surface as namespace gaps. Co-authored-by: Cursor <cursoragent@cursor.com> * docs(probes): post-std_dup re-probe on proud-deer ed68594 (13 modules) CSSL_STD_SEED_LINK=1, shim_lib_rel empty, rebuilt cssl_assemble. std_dup E0255 cleared on 12/13; new namespace layer surfaces (FreeMonoid, ResolvedTree, InferredTree/InferredFacts). emit_produced: Optional std_dup residue. Harness invocation contract in probe script header. Co-authored-by: Cursor <cursoragent@cursor.com> * docs(probes): baseline caveat + probe_notes on post-std_dup TSV (#6884) ed68594 predates #6883 emit-retain; mark ResolvedTree/InferredTree rows EXPECTED-CLEARED. emit_produced Optional routed to proud-deer. FreeMonoid rows flagged as live next-layer census post-#6883. Co-authored-by: Cursor <cursoragent@cursor.com> * docs(#6880): cargo-stage unresolved re-probe + plan census correction on main Rebased onto main post-#6866. Remaining delta: KeySource cargo-stage TSV, embedded-marker grep receipt, v1_deletion_plan corrections (13 std_dup vs 6 unresolved, ROOT-CAUSED emitter-gap, stern-lark-430 dispatched). Gate-A/tail frontier rows already landed via integration merge. Co-authored-by: Cursor <cursoragent@cursor.com> * witness_admission: bounded dissolution note on the two single-arm predicates (review 39758 disposition) Phase 0(b) author closed out; disposition owned by sharp-bee-290 per the capture. Pattern matches target_value_expr_int_literal_predicate_dissolution_note. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> * plan(#6880): resolve integration merge — std_dup LANDED #6876, flip-wave unblocked Fold integration/sharp-bee-290 at 81dc2d9; update v1_deletion_plan lane_state to current truth (13+6 census retained, probe_flip_fanout unblocked pending emitter fixes). Co-authored-by: Cursor <cursoragent@cursor.com> --------- Co-authored-by: Brian Searls <briansearls1@gmail.com> Co-authored-by: Cursor <cursoragent@cursor.com> Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

…use dedup Generalize #6876 Witness-only scrub into two structural passes on every emit-retained artifact: strip v1_rt imports when file locally defines the type (generic-arg-aware), and dedupe symbols across sequential pub use braces (clears emit_produced Optional E0252). Co-authored-by: Cursor <cursoragent@cursor.com>

gunbai-bot · 2026-07-19T14:20:27Z

Rebased session/proud-deer-857-std-dup-unlock onto main (3af29ffd5a) — zero diff remains.

The cssl std_dup unlock (ed68594) landed on main via integration cycle 2 (#6885). Follow-on work lives in #6883 (structural membership) and #6886 (Optional sanitize generalization), both rebased on main.

This PR can be closed as superseded — no further merge needed.

— sent from proud-deer-857

…use dedup (#6886) Generalize #6876 Witness-only scrub into two structural passes on every emit-retained artifact: strip v1_rt imports when file locally defines the type (generic-arg-aware), and dedupe symbols across sequential pub use braces (clears emit_produced Optional E0252). Co-authored-by: Brian Searls <briansearls1@gmail.com> Co-authored-by: Cursor <cursoragent@cursor.com>

…#6887) 13-module cargo-stage census at integration head 3d41f06 (CSSL_STD_SEED_LINK=1). Authority for flip-wave ordering; confirmation re-probe follows #6883+#6886. Co-authored-by: Brian Searls <briansearls1@gmail.com> Co-authored-by: Cursor <cursoragent@cursor.com>

gunbai-bot Bot changed the base branch from main to integration/sharp-bee-290 July 19, 2026 02:51

gunbai-bot Bot force-pushed the session/proud-deer-857-std-dup-unlock branch from b3b16ee to ed68594 Compare July 19, 2026 02:51

gunbai-bot Bot marked this pull request as ready for review July 19, 2026 02:51

This was referenced Jul 19, 2026

fix(cssl): emit-retain closure compiler deps by structural membership #6883

Merged

Post-std_dup re-probe: 13 modules on proud-deer ed68594a20 #6884

Closed

Base automatically changed from integration/sharp-bee-290 to main July 19, 2026 03:41

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

integration cycle 2: std_dup unlock + authoritative census + admission-note disposition (single merge point) #6885

Merged

This was referenced Jul 19, 2026

fix(cssl): structural std_dup sanitize — v1_rt local-def strip + pub use dedup #6886

Merged

docs(probes): flip-wave feeder re-probe TSV (post-#6876) #6887

Merged

gunbai-bot Bot closed this Jul 19, 2026

gunbai-bot Bot force-pushed the session/proud-deer-857-std-dup-unlock branch from ed68594 to 3af29ff Compare July 19, 2026 14:20

gunbai-bot Bot deleted the session/proud-deer-857-std-dup-unlock branch July 19, 2026 14:20

This was referenced Jul 20, 2026

Deep-module probe baseline TSVs for self-emit lane fan-out #6916

Merged

Fix dual-milestone drift: re-base six v1-deletion plan rows on execution receipts #7092

Merged

Navigation Menu

Repository navigation

briansrls commented Jul 19, 2026 •

edited by gunbai-bot Bot

Loading

Uh oh!

gunbai-bot Bot commented Jul 19, 2026

Uh oh!

gunbai-bot Bot commented Jul 19, 2026

Uh oh!

gunbai-bot Bot commented Jul 19, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

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

Uh oh!

Summary

Probe delta (CSSL_STD_SEED_LINK=1, integration/sharp-bee-290 baseline)

Next-layer classification (for flip-wave routing)

Test plan

Uh oh!

gunbai-bot Bot commented Jul 19, 2026

Uh oh!

gunbai-bot Bot commented Jul 19, 2026

Uh oh!

gunbai-bot Bot commented Jul 19, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

briansrls commented Jul 19, 2026 •

edited by gunbai-bot Bot

Loading