Repository navigation

Carry declaration-bound direct-call formal authority - #10146

Merged

briansrls merged 34 commits into

mainfrom

session/swift-otter-365

Sep 4, 2026

Commits on Sep 2, 2026
- Carry declaration-bound direct-call formals
  gunbc-ci-auto-heal
  committed
  05d17a2
Commits on Sep 3, 2026
- Merge remote-tracking branch 'origin/main' into session/swift-otter-365
  gunbc-ci-auto-heal
  committed
  922b124
- Fix carrier inference and diagnostic partition checks
  gunbc-ci-auto-heal
  committed
  dbab10d
- Fix carrier fixture generation
  gunbc-ci-auto-heal
  committed
  a457406
- Merge remote-tracking branch 'origin/main' into session/swift-otter-365
  gunbc-ci-auto-heal
  committed
  4202b86
- Merge remote-tracking branch 'origin/main' into session/swift-otter-365
  gunbc-ci-auto-heal
  committed
  3655f29
- Preserve exact alias and generic formal identity
  gunbc-ci-auto-heal
  committed
  7382358
- Merge remote-tracking branch 'origin/main' into session/swift-otter-365
  gunbc-ci-auto-heal
  committed
  b2b0fae
- Use declaration-bound type for generic call expectations
  gunbc-ci-auto-heal
  committed
  193d011
- Merge remote-tracking branch 'origin/main' into session/swift-otter-365
  gunbc-ci-auto-heal
  committed
  83be3ee
- Merge remote-tracking branch 'origin/main' into session/swift-otter-365
  gunbc-ci-auto-heal
  committed
  8fbeade
- Preserve inference shape across declaration-bound calls
  gunbc-ci-auto-heal
  committed
  6699963
- Merge remote-tracking branch 'origin/main' into session/swift-otter-365
  gunbc-ci-auto-heal
  committed
  3b63991
- Merge remote-tracking branch 'origin/main' into session/swift-otter-365
  gunbc-ci-auto-heal
  committed
  305d383
- Preserve declared context across generic call inference
  gunbc-ci-auto-heal
  committed
  6528c1e
- Merge main and preserve declared call authority
  gunbc-ci-auto-heal
  committed
  ae5b331
- Merge remote-tracking branch 'origin/main' into session/swift-otter-365
  gunbc-ci-auto-heal
  committed
  ff690fe
Commits on Sep 4, 2026
- Regenerate direct-call inference projection
  gunbc-ci-auto-heal
  committed
  c5feac5
- Merge current main and regenerate projections
  gunbc-ci-auto-heal
  committed
  e191f59
- Merge current main for rung-drop projection heal
  gunbc-ci-auto-heal
  committed
  96d99e7
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  268b9df
- Fail closed at carried alias depth ceiling
  gunbc-ci-auto-heal
  committed
  a183d5c
- Merge remote-tracking branch 'origin/main' into session/swift-otter-365
  gunbc-ci-auto-heal
  committed
  530229c
- Merge remote-tracking branch 'origin/main' into session/swift-otter-365
  gunbc-ci-auto-heal
  committed
  7bb749b
- Merge remote-tracking branch 'origin/main' into session/swift-otter-365
  gunbc-ci-auto-heal
  committed
  5180922
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  4866a59
- Merge remote-tracking branch 'origin/main' into session/swift-otter-365
  gunbc-ci-auto-heal
  committed
  e8d3994
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  35b0b70
- Merge remote-tracking branch 'origin/main' into session/swift-otter-365
  gunbc-ci-auto-heal
  committed
  1122ba1
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  4ba9415
- Retire the plain-record expected-red quarantine
  gunbc-ci-auto-heal
  committed
  9e5472e
- Merge remote-tracking branch 'origin/main' into session/swift-otter-365
  gunbc-ci-auto-heal
  committed
  b10c3cd
- Carry resolved call semantics through declaration index fixtures
  gunbc-ci-auto-heal
  committed
  38a2c18
- Merge remote-tracking branch 'origin/main' into session/swift-otter-365
  gunbc-ci-auto-heal
  committed
  4c5b596

Commits

Commits on Sep 2, 2026

Commits on Sep 3, 2026

Commits on Sep 4, 2026