Repository navigation

Ground primitive arity and parameter types on the semantic contract, by projection - #9117

Merged

briansrls merged 5 commits into

mainfrom

session/sunny-ant-106

Aug 24, 2026

Merged

Ground primitive arity and parameter types on the semantic contract, by projection#9117
briansrls merged 5 commits into
mainfrom
session/sunny-ant-106

Commits on Aug 24, 2026
- Ground primitive arity and parameter types on the semantic contract, by projection
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  609c3ec
- Correct member's profile to BooleanAlgebraCollection in the witness and carrier note
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  4eb2e73
- Merge remote-tracking branch 'origin/main' into session/sunny-ant-106
  gunbc-ci-auto-heal
  committed
  dc81365
- Replace the snapshot oracle, and guard the hand-authored groundings
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  cc198df
- Merge remote-tracking branch 'origin/main' into session/sunny-ant-106
  gunbc-ci-auto-heal
  committed
  0f16834