Repository navigation

XL-2 LoweringOccurrenceProjection 3a: v2 occurrence-role producer, grammar-admitted table (stacked on #12314) - #12317

Merged

gunbai-bot[bot] merged 11 commits into

mainfrom

session/tidy-otter-111-occurrence-roles

Sep 27, 2026

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
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

Navigation Menu

Repository navigation

XL-2 LoweringOccurrenceProjection 3a: v2 occurrence-role producer, grammar-admitted table (stacked on #12314) - #12317

XL-2 LoweringOccurrenceProjection 3a: v2 occurrence-role producer, grammar-admitted table (stacked on #12314)#12317
gunbai-bot[bot] merged 11 commits into
mainfrom
session/tidy-otter-111-occurrence-roles

Commits on Sep 25, 2026

XL-2 LoweringOccurrenceProjection PR1: constructor tag atoms are lowered from the tag token

XL-2 LoweringOccurrenceProjection PR2: dotted-spine segments keep their own occurrence

XL-2 LoweringOccurrenceProjection PR3a: v2 occurrence-role producer (binders and labels)

occurrence_role: a reader refusal is a typed, counted outcome, never 'no binder'

occurrence_role: declare the frontier on the carrier; cite the modeled authority, not an unlanded doc

Commits on Sep 26, 2026

Merge remote-tracking branch 'origin/main' into session/tidy-otter-111-tag-sources

occurrence_role: a row whose production has no atom identity refuses as unkeyed

Merge remote-tracking branch 'origin/session/tidy-otter-111-tag-sources' into session/tidy-otter-111-spine-segments

Merge branch 'session/tidy-otter-111-spine-segments' into session/tidy-otter-111-occurrence-roles

occurrence_role: list input_block and output_block (main replaced io_block)

Commits on Sep 27, 2026

Merge origin/main into session/tidy-otter-111-occurrence-roles (after #12314 landed)