Repository navigation

Retire the parse walker reference_sites_from_parsed_module onto collect_reference_sites - #12910

Merged

briansrls merged 14 commits into

mainfrom

session/bold-crane-252

Oct 2, 2026

Merged

Retire the parse walker reference_sites_from_parsed_module onto collect_reference_sites#12910
briansrls merged 14 commits into
mainfrom
session/bold-crane-252

Commits on Oct 1, 2026
- v2.test qualified_site_enumerator_differential: dotted-callee and call-argument cells
  Brian Searls
  committed
  ebcc7cd
- Retire the parse walker reference_sites_from_parsed_module onto the collector
  
  Brian Searls
  and
  claude
  committed
  87447bb
- reference_deps: keep the import-decl reader admission_from_module_root consumes
  
  Brian Searls
  and
  claude
  committed
  ab6ad76
- Merge remote-tracking branch 'origin/main' into session/bold-crane-252
  Brian Searls
  committed
  1a541bf
- reference_closure_equivalence: import witness_layer_roots; re-derive the stale golden
  
  Brian Searls
  and
  claude
  committed
  f6128db
- Unimported-bare-provider roster: retire the equivalence test's witness_layer_roots row (ImportsFixed) instead of deleting it
  
  Brian Searls
  and
  claude
  committed
  192d79c
- import_closure_live: import witness_layer_roots; re-derive the stale golden from the declared import edges
  
  Brian Searls
  and
  claude
  committed
  5cef590
- import_closure_live: import LiveTreeDisposition and ReadsLiveTree; retire the ReadsLiveTree debt row
  
  Brian Searls
  and
  claude
  committed
  64dcb17
- Merge remote-tracking branch 'origin/main' into session/bold-crane-252
  Brian Searls
  committed
  d0d0a8f
- import_closure_live: move to the per-PR home; pool narrowed to the closure's homes with an in-pool resolution assertion
  
  Brian Searls
  and
  claude
  committed
  0f5101d
- demand_closure_agreement: cite import_closure_live as the real-corpus pairing claim (the cited broker witness does not exist)
  
  Brian Searls
  and
  claude
  committed
  05011dd
- Cost-debt row for the real-corpus import-closure claim; RFM receipt: a wall and its claimed cover were both silently non-executing
  
  Brian Searls
  and
  claude
  committed
  66e401c
- Delete reference_closure_equivalence (B2 wall) and the lens closure functions only it consumed
  
  Brian Searls
  and
  claude
  committed
  2cab909
- reference_deps: import the construction-justification names the touched file uses
  
  Brian Searls
  and
  claude
  committed
  46091e4

Commits

Commits on Oct 1, 2026