Repository navigation

integration: module-identity Phase 0(b)/1 + qualified_name de-fork + emitter Ord unlock (single merge point) - #6866

Merged

briansrls merged 33 commits into

mainfrom

integration/sharp-bee-290

Jul 19, 2026

Merged

integration: module-identity Phase 0(b)/1 + qualified_name de-fork + emitter Ord unlock (single merge point)#6866
briansrls merged 33 commits into
mainfrom
integration/sharp-bee-290

Commits on Jul 18, 2026
- WIP: Emitter Ord-eligibility unlock: rust_btree_set_element_ord_eligible cons
  Brian Searls
  committed
  d2e565f
- WIP: Module identity Phase 0(b): the admission invariant — every witness row
  Brian Searls
  committed
  8558f59
- WIP: Module identity Phase 1: the path⇄module binding authority — parse-deriv
  briansrls
  committed
  8fc3da0
- WIP: Emitter Ord-eligibility unlock: rust_btree_set_element_ord_eligible cons
  Brian Searls
  committed
  c527216
- WIP: Module identity Phase 0(b): the admission invariant — every witness row
  Brian Searls
  committed
  371669e
- WIP: Module identity Phase 1: the path⇄module binding authority — parse-deriv
  briansrls
  committed
  965596b
- emit: generalize BTreeSet Ord eligibility for Symbol-wrapped carriers
  
  Brian Searls
  and
  cursoragent
  committed
  2dfead0
- WIP: Module identity Phase 0(b): the admission invariant — every witness row
  Brian Searls
  committed
  c5225a9
- Module identity Phase 1: the path⇄module binding authority (parse-derived, fail-closed)
  
  briansrls
  and
  claude
  committed
  8ecf52a
- WIP: Consolidate the qualified_name_from_segment_list §3 fork (LIVE runtime h
  briansrls
  committed
  db3c5c8
- WIP: Module identity Phase 1: the path⇄module binding authority — parse-deriv
  briansrls
  committed
  8179dc8
- WIP: Module identity Phase 1: the path⇄module binding authority — parse-deriv
  briansrls
  committed
  d359aba
- WIP: Module identity Phase 0(b): the admission invariant — every witness row
  Brian Searls
  committed
  878558e
- review: forward located diagnostics; hoist grammar prepare; split fast/long witness lanes
  
  briansrls
  and
  claude
  committed
  90b64c3
- integration: capture session/wise-bee-768
  Brian Searls
  committed
  2954514
- integration: capture session/gentle-seal-525-phase0b
  Brian Searls
  committed
  7d22710
- integration: capture session/crisp-ram-551
  Brian Searls
  committed
  8ce562d
- integration: capture session/warm-wolf-786
  Brian Searls
  committed
  51c7bda
- WIP: Emitter Ord-eligibility unlock: rust_btree_set_element_ord_eligible cons
  Brian Searls
  committed
  41ff636
- WIP: Emitter Ord-eligibility unlock: rust_btree_set_element_ord_eligible cons
  Brian Searls
  committed
  6d78e7b
- WIP: Emitter Ord-eligibility unlock: rust_btree_set_element_ord_eligible cons
  Brian Searls
  committed
  42863e2
Commits on Jul 19, 2026
- WIP: Emitter Ord-eligibility unlock: rust_btree_set_element_ord_eligible cons
  Brian Searls
  committed
  30a38cf
- integration: capture session/warm-wolf-786 (Ord whitelist dissolution, signed)
  Brian Searls
  committed
  7354103
- Gate-A re-probe post-#6859+#6868: repoint 04_infer/program_partition to std_dup bucket
  
  Brian Searls
  and
  cursoragent
  committed
  35b1ee2
- docs(probes): add cssl_std_seed_link and shim_lib_rel columns to re-probe TSVs
  
  Brian Searls
  and
  cursoragent
  committed
  913b8a8
- WIP: Weak Self Host -> Strong Self Host (Wave 1 -> 4, on 1 exit)
  Brian Searls
  committed
  3bbe6d2
- WIP: Weak Self Host -> Strong Self Host (Wave 1 -> 4, on 1 exit)
  Brian Searls
  committed
  4f1e28d
- integration: address review 39722/39727 — admission scanner refuses (never widens), provenance de-fork, stale note, KeySource import
  
  Brian Searls
  and
  claude
  committed
  21e3468
- integration: rustfmt the admission scanner
  
  Brian Searls
  and
  claude
  committed
  6eb28d3
- plan: v1-deletion dependency graph as .dag — milestones, serial-vs-fanout, critical path (operator 2-week target)
  
  Brian Searls
  and
  claude
  committed
  d6a4644
- capture #6872: frontier re-probe census on integration baseline (calm-boar-697)
  
  Brian Searls
  and
  claude
  committed
  f071536
- 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
  
  Brian Searls
  and
  claude
  committed
  7ca489d
- Merge remote-tracking branch 'origin/main' into integration/sharp-bee-290
  Brian Searls
  committed
  09c8f3f

Commits

Commits on Jul 18, 2026

Commits on Jul 19, 2026