Repository navigation

Preserve resolved callable identity through Rust emission - #9075

Closed

gunbai-bot[bot] wants to merge 70 commits into

mainfrom

session/smart-wolf-868

Closed

Preserve resolved callable identity through Rust emission#9075
gunbai-bot[bot] wants to merge 70 commits into
mainfrom
session/smart-wolf-868

Commits on Aug 24, 2026
- WIP record resolved call target identity
  gunbc-ci-auto-heal
  committed
  0f16366
- Use seed-safe primitive projection query
  gunbc-ci-auto-heal
  committed
  45b9087
- Regenerate stage0 call identity mirrors
  gunbc-ci-auto-heal
  committed
  aa820af
- Route data initializer calls through typed emission
  gunbc-ci-auto-heal
  committed
  7314e2e
- Revert "Regenerate stage0 call identity mirrors"
  gunbc-ci-auto-heal
  committed
  abef66b
- Regenerate data call routing mirror
  gunbc-ci-auto-heal
  committed
  2f799c8
- Revert "Regenerate data call routing mirror"
  gunbc-ci-auto-heal
  committed
  f8d8490
- Bootstrap regenerated data call routing arm
  gunbc-ci-auto-heal
  committed
  cd54071
- Regenerate resolved call identity mirrors
  gunbc-ci-auto-heal
  committed
  7b48cf3
- Install second-generation call identity mirrors
  gunbc-ci-auto-heal
  committed
  ee1e4be
- Preserve resolved declaration identity when body unavailable
  gunbc-ci-auto-heal
  committed
  c61781b
- Revert "Install second-generation call identity mirrors"
  gunbc-ci-auto-heal
  committed
  1a71a97
- Witness unavailable declaration call identity
  gunbc-ci-auto-heal
  committed
  a234609
- Regenerate stage0 mirrors with resolved call identity
  gunbc-ci-auto-heal
  committed
  2dd1f11
- Revert "Regenerate stage0 mirrors with resolved call identity"
  gunbc-ci-auto-heal
  committed
  55d0505
- Carry callable owner through signature resolution
  gunbc-ci-auto-heal
  committed
  9b7e504
- Witness resolved signature owner identity
  gunbc-ci-auto-heal
  committed
  0afbf82
- Regenerate mirrors from identity-carrying resolver
  gunbc-ci-auto-heal
  committed
  db21f06
- Revert "Regenerate mirrors from identity-carrying resolver"
  gunbc-ci-auto-heal
  committed
  6532f9c
- Record empty map primitive at its inference proof
  gunbc-ci-auto-heal
  committed
  2839e8e
- Keep empty map proof note at module grain
  gunbc-ci-auto-heal
  committed
  cd588d7
- Regenerate mirrors with inferred primitive identities
  gunbc-ci-auto-heal
  committed
  ba97593
- Revert "Regenerate mirrors with inferred primitive identities"
  gunbc-ci-auto-heal
  committed
  d1f63c9
- Bootstrap identity-aware compiler mirrors
  gunbc-ci-auto-heal
  committed
  9697407
- Revert "Bootstrap identity-aware compiler mirrors"
  gunbc-ci-auto-heal
  committed
  0126387
- Bootstrap empty map target proof into stage0
  gunbc-ci-auto-heal
  committed
  2af7cda
- Regenerate mirrors from fixed call identity pipeline
  gunbc-ci-auto-heal
  committed
  01442e2
- Restrict function parents to imported names
  gunbc-ci-auto-heal
  committed
  5a797ea
- Bootstrap selective function import views
  gunbc-ci-auto-heal
  committed
  2b1278f
- bootstrap resolver visibility regeneration
  gunbc-ci-auto-heal
  committed
  e21e7d7
- preserve explicit signatures across import closures
  gunbc-ci-auto-heal
  committed
  b800558
- regenerate call identity compiler mirrors
  gunbc-ci-auto-heal
  committed
  a333088
- repair call identity witness closure inputs
  gunbc-ci-auto-heal
  committed
  68803b1
- discriminate selective parent function visibility
  gunbc-ci-auto-heal
  committed
  9b0528d
- scope import visibility controls to parent views
  gunbc-ci-auto-heal
  committed
  ef9e40e
- model selective function view union
  gunbc-ci-auto-heal
  committed
  c921fb4
- regenerate modeled function view union
  gunbc-ci-auto-heal
  committed
  f24d510
- place call identity witnesses in resolvable envelopes
  gunbc-ci-auto-heal
  committed
  5428a72
- declare silent internal witness rung
  gunbc-ci-auto-heal
  committed
  a1f8290
- regenerate internal call identity witness mirror
  gunbc-ci-auto-heal
  committed
  a9e81a5
- import generated witness signature relation
  gunbc-ci-auto-heal
  committed
  b8225af
- annotate inferred type import workaround
  gunbc-ci-auto-heal
  committed
  79d2161
- match generated witness relation import
  gunbc-ci-auto-heal
  committed
  7d95374
- name owning module for witness relation
  gunbc-ci-auto-heal
  committed
  b5d4d41
- preserve projected primitive identity
  gunbc-ci-auto-heal
  committed
  814fd65
- Regenerate internal witness mirror after annotation move
  gunbc-ci-auto-heal
  committed
  f4ca98c
- Use bare primitive names for runtime bridges
  gunbc-ci-auto-heal
  committed
  3f36a0e
- Seal primitive projection identity construction
  gunbc-ci-auto-heal
  committed
  1e22018
- Add PrimitiveIdentity sole-constructor witness controls
  gunbc-ci-auto-heal
  committed
  ba0bca6
- Mark sole constructor census probe hermetic
  gunbc-ci-auto-heal
  committed
  4122379
- Restore live-tree disposition for virtual probe
  gunbc-ci-auto-heal
  committed
  3c8bae4
- Sync primitive projection mirror formatting
  gunbc-ci-auto-heal
  committed
  d466a5a
- Document projection seal mirror boundary
  gunbc-ci-auto-heal
  committed
  a7d888c
- Restore explicit Empty import for serving witness
  gunbc-ci-auto-heal
  committed
  c999359
- Restore explicit length import for spark witness
  gunbc-ci-auto-heal
  committed
  7e8467c
- Use explicit list_length in spark witness
  gunbc-ci-auto-heal
  committed
  7e23ba5
- Preserve tool observation type in verdict fold
  gunbc-ci-auto-heal
  committed
  2a0fdb4
- Avoid container profile diagnostics for non-container names
  gunbc-ci-auto-heal
  committed
  3d001be
- Parse guarded container profile branches
  gunbc-ci-auto-heal
  committed
  b2cb9e1
- Route observation verdicts through typed helper
  gunbc-ci-auto-heal
  committed
  a73662f
- Guard container construction profile lookup
  gunbc-ci-auto-heal
  committed
  49b3937
- Regenerate infer types guard mirror
  gunbc-ci-auto-heal
  committed
  b3f0e12
- Document resolver pool fallback census
  gunbc-ci-auto-heal
  committed
  b685733
- Scope resolver fallback census bounds
  gunbc-ci-auto-heal
  committed
  9bff9ae
- Clarify algebra template census exclusion
  gunbc-ci-auto-heal
  committed
  464fd99
- Complete generated mirror merge for type head exposure
  gunbc-ci-auto-heal
  committed
  6be644f
- Revert "Merge remote-tracking branch 'origin/main' into session/smart-wolf-868"
  gunbc-ci-auto-heal
  committed
  55f8fdb
- Restore main sources before mirror regeneration
  gunbc-ci-auto-heal
  committed
  a29c6bd
Commits on Aug 25, 2026
- Merge remote-tracking branch 'origin/main' into HEAD
  gunbc-ci-auto-heal
  committed
  2e2ac22
- Install regenerated stage0 mirrors
  gunbc-ci-auto-heal
  committed
  398672f

Commits

Commits on Aug 24, 2026

Commits on Aug 25, 2026