Repository navigation

host_prelude: typed witness-binary readiness — replace the Bool ensure-built collapse with a located refusal, projected at all four transports - #6882

Merged

briansrls merged 58 commits into

mainfrom

session/wise-bee-768-c

Jul 19, 2026

Merged

host_prelude: typed witness-binary readiness — replace the Bool ensure-built collapse with a located refusal, projected at all four transports#6882
briansrls merged 58 commits into
mainfrom
session/wise-bee-768-c

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: Module identity Phase 1: the path⇄module binding authority — parse-deriv
  briansrls
  committed
  4c8ba2d
- (b) condition 1: declare the module-binding supply op in .dag, host as one handler
  
  briansrls
  and
  claude
  committed
  26297f2
- 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
- WIP: Module identity Phase 1: the path⇄module binding authority — parse-deriv
  briansrls
  committed
  5dcbf3e
- (b) DeclarationScanned provenance arm — the live producer scans, it does not parse
  
  briansrls
  and
  claude
  committed
  e8dac7d
Commits on Jul 19, 2026
- WIP: Emitter Ord-eligibility unlock: rust_btree_set_element_ord_eligible cons
  Brian Searls
  committed
  30a38cf
- WIP: Module identity Phase 1: the path⇄module binding authority — parse-deriv
  briansrls
  committed
  4d36840
- integration: capture session/warm-wolf-786 (Ord whitelist dissolution, signed)
  Brian Searls
  committed
  7354103
- (b) condition 2: host handler emitting the module-binding manifest (+ committed stub)
  
  briansrls
  and
  claude
  committed
  7598e8f
- WIP: Module identity Phase 1: the path⇄module binding authority — parse-deriv
  briansrls
  committed
  6103932
- WIP: Module identity Phase 1: the path⇄module binding authority — parse-deriv
  briansrls
  committed
  5a66178
- WIP: Weak Self Host -> Strong Self Host (Wave 1 -> 4, on 1 exit)
  Brian Searls
  committed
  3bbe6d2
- WIP: Module identity Phase 1: the path⇄module binding authority — parse-deriv
  briansrls
  committed
  6faa44a
- 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
- WIP: Module identity Phase 1: the path⇄module binding authority — parse-deriv
  briansrls
  committed
  58f129b
- 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
- review 39729: close both oracle vacuity modes in the consistency witness
  briansrls
  committed
  fc7009f
- WIP: Module identity Phase 1: the path⇄module binding authority — parse-deriv
  briansrls
  committed
  c079f19
- WIP: Module identity Phase 1: the path⇄module binding authority — parse-deriv
  briansrls
  committed
  946cc58
- module identity Phase 1: enroll the discriminating comparator controls (review 39735)
  
  briansrls
  and
  claude
  committed
  7c50e7f
- fmt: rustfmt the module-binding manifest emitter and coverage tests
  
  briansrls
  and
  claude
  committed
  b771d2c
- WIP: Module identity Phase 1: the path⇄module binding authority — parse-deriv
  briansrls
  committed
  bc2f5bf
- Merge remote-tracking branch 'origin/main' into session/wise-bee-768-c
  briansrls
  committed
  daab5d2
- host_prelude: name witness_bin_ready a lossy projection with its dissolution trigger
  
  briansrls
  and
  claude
  committed
  6b267cf
- WIP: Module identity Phase 1: the path⇄module binding authority — parse-deriv
  briansrls
  committed
  fe60e4e
- gates: ephemeral per-run overlay dirs; no gate scans bare target/
  
  briansrls
  and
  claude
  committed
  1c2576e
- Merge remote-tracking branch 'origin/main' into session/wise-bee-768-b
  briansrls
  committed
  87c880c
- WIP: Module identity Phase 1: the path⇄module binding authority — parse-deriv
  briansrls
  committed
  fd7bd71
- WIP: Module identity Phase 1: the path⇄module binding authority — parse-deriv
  briansrls
  committed
  2ba6ceb
- coverage: typed counted elision refusal; quarantine the completeness claim; scaffold stub refuses
  
  briansrls
  and
  claude
  committed
  d00b38b
- Merge branch 'session/wise-bee-768-b' into session/wise-bee-768-c
  briansrls
  committed
  5be712c
- design note: ingest-manifest carrier redesign (ruling (d)) — rows reference source, not inline it
  
  briansrls
  and
  claude
  committed
  88f44bb
- design note: fold in parent rulings — SourceRef pulled forward as stage 0, ref names the storage realization
  
  briansrls
  and
  claude
  committed
  8f126db
- design: reconcile SourceRef to one reading before stage 0 declares it
  
  briansrls
  and
  claude
  committed
  5b15fa7
- WIP: Module identity Phase 1: the path⇄module binding authority — parse-deriv
  briansrls
  committed
  54f9ea3
- Merge remote-tracking branch 'origin/main' into session/wise-bee-768-c
  briansrls
  committed
  0073108

Commits

Commits on Jul 18, 2026

Commits on Jul 19, 2026