Repository navigation

XL-2 LoweringOccurrenceProjection 3b: census consumes occurrence roles; typed excluded populations; typed missing paths; repin (stacked on #12317) - #12334

Merged

gunbai-bot[bot] merged 17 commits into

mainfrom

session/tidy-otter-111-census-roles

Sep 27, 2026

Merged

XL-2 LoweringOccurrenceProjection 3b: census consumes occurrence roles; typed excluded populations; typed missing paths; repin (stacked on #12317)#12334
gunbai-bot[bot] merged 17 commits into
mainfrom
session/tidy-otter-111-census-roles

Commits on Sep 25, 2026
- XL-2 LoweringOccurrenceProjection PR1: constructor tag atoms are lowered from the tag token
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9be25c1
- XL-2 LoweringOccurrenceProjection PR2: dotted-spine segments keep their own occurrence
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  68339b9
- XL-2 LoweringOccurrenceProjection PR3a: v2 occurrence-role producer (binders and labels)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e456207
- occurrence_role: a reader refusal is a typed, counted outcome, never 'no binder'
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f7b5c23
- occurrence_role: declare the frontier on the carrier; cite the modeled authority, not an unlanded doc
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6b411d9
Commits on Sep 26, 2026
- Merge remote-tracking branch 'origin/main' into session/tidy-otter-111-tag-sources
  gunbc-ci-auto-heal
  committed
  f8ebce0
- occurrence_role: a row whose production has no atom identity refuses as unkeyed
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  068d98e
- Merge remote-tracking branch 'origin/session/tidy-otter-111-tag-sources' into session/tidy-otter-111-spine-segments
  gunbc-ci-auto-heal
  committed
  df0fea1
- Merge branch 'session/tidy-otter-111-spine-segments' into session/tidy-otter-111-occurrence-roles
  gunbc-ci-auto-heal
  committed
  92c6807
- occurrence_role: list input_block and output_block (main replaced io_block)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  efc9743
- XL-2 LoweringOccurrenceProjection PR3b: census consumes occurrence roles; typed excluded populations; typed missing paths; repin
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4610c18
Commits on Sep 27, 2026
- Merge origin/main into session/tidy-otter-111-occurrence-roles (after #12314 landed)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4b6ace9
- Merge session/tidy-otter-111-occurrence-roles (now on main) into census-roles
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  bbf5f49
- census: absence from a listing, not a failed read; an unreadable path keeps its cause
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a5a3a4d
- Merge origin/main into census-roles (after #12317 landed)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e3b89a9
- occurrence_role: admit the .dag table once, warm; the census claim pays only its walk
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2ed6b27
- census: list the path's own parent; observe roles whatever normalization does
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b4fceb9

Commits

Commits on Sep 25, 2026

Commits on Sep 26, 2026

Commits on Sep 27, 2026