Repository navigation

Rename the Connective arm Cardinality to Occupancy: one name, one meaning (re-derives #13377) - #13711

Merged

gunbai-bot[bot] merged 18 commits into

mainfrom

session/jolly-ibex-327-occupancy

Oct 11, 2026

Merged

Rename the Connective arm Cardinality to Occupancy: one name, one meaning (re-derives #13377)#13711
gunbai-bot[bot] merged 18 commits into
mainfrom
session/jolly-ibex-327-occupancy

Commits on Oct 10, 2026
- Move the bottom seam to std.error_primitives (re-derives #13399)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  bc22614
- Merge remote-tracking branch 'origin/main' into session/jolly-ibex-327
  gunbc-ci-auto-heal
  committed
  4b6535a
- wip item2
  gunbc-ci-auto-heal
  committed
  200a7eb
- Regenerate stage0 mirrors for the error_primitives seam
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e6fd53c
- Emit a nullary realized seam as its bridge call
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  3a1cf0d
- Regenerate the emit mirror from the nullary-seam arm (comment moved above the fn)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  80d5518
- File the variant-arm-admits-a-type-name failure class found by the Occupancy re-derivation
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  68c2d67
- Rename the Connective occupancy arm in the scm JSON modules (review 78514); wire tag stays "cardinality"
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  077bc80
Commits on Oct 11, 2026
- Merge origin/main into occupancy (mirrors to be regenerated)
  gunbc-ci-auto-heal
  committed
  c39e003
- Rename ConnectiveCardinalityArm to ConnectiveOccupancyArm (review 78519): one name, one meaning
  gunbc-ci-auto-heal
  committed
  15951e0
- Census output labels say Occupancy for the renamed arm (review 78563)
  gunbc-ci-auto-heal
  committed
  dd9d987
- Anchor label says Occupancy for the renamed arm (review 78569)
  gunbc-ci-auto-heal
  committed
  2aab224
- Merge remote-tracking branch 'origin/main' into session/jolly-ibex-327-occupancy
  gunbc-ci-auto-heal
  committed
  345d133
- Merge origin/main (0eefa989743, #13696) into occupancy; the optional-layer arm uses Occupancy
  gunbc-ci-auto-heal
  committed
  3c328ac
- Merge remote-tracking branch 'origin/main' into session/jolly-ibex-327-occupancy
  gunbc-ci-auto-heal
  committed
  63d64b7
- Occupancy: rename #13696's connective-named symbols (TypeNodeOccupancy*, OccupancyWrapperMalformed, depth, inhabitance_occupancy_type, ManualTcOccupancyEmpty)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  853eaa0
- Occupancy: sweep prose and local names that mean the connective; rename infer_occupancy_type_owes_no_descent_test
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2efb7ae
- Occupancy: rename the connective's target-projection family (TargetTypeExprOccupancy, occupancy_form, rust/ts surface symbols)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b1ffb88

Commits

Commits on Oct 10, 2026

Commits on Oct 11, 2026