sender changes for csharp

joshua-spacetime · joshua-spacetime · commit c1049ac02709 · 2026-01-27T11:15:00.000-08:00
diff --git a/crates/bindings-csharp/Codegen/Module.cs b/crates/bindings-csharp/Codegen/Module.cs
@@ -1737,7 +1737,6 @@ public void Initialize(IncrementalGeneratorInitializationContext context)
 
                     namespace SpacetimeDB {
                         public sealed record ReducerContext : DbContext<Local>, Internal.IReducerContext {
-                            public readonly Identity Sender;
                             public readonly ConnectionId? ConnectionId;
                             public readonly Random Rng;
                             public readonly Timestamp Timestamp;
@@ -1747,16 +1746,24 @@ public sealed record ReducerContext : DbContext<Local>, Internal.IReducerContext
                             // We need this property to be non-static for parity with client SDK.
                             public Identity Identity => Internal.IReducerContext.GetIdentity();
 
+                            private readonly Identity _sender;
+
                             internal ReducerContext(Identity identity, ConnectionId? connectionId, Random random,
                                             Timestamp time, AuthCtx? senderAuth = null)
                             {
-                                Sender = identity;
+                                _sender = identity;
                                 ConnectionId = connectionId;
                                 Rng = random;
                                 Timestamp = time;
                                 SenderAuth = senderAuth ?? AuthCtx.BuildFromSystemTables(connectionId, identity);
                                 CounterUuid = 0;
                             }
+
+                            /// <summary>
+                            /// The identity of the client that invoked the reducer.
+                            /// </summary>
+                            public Identity Sender() => _sender;
+
                             /// <summary>
                             /// Create a new random <see cref="Uuid"/> `v4` using the built-in RNG.
                             /// </summary>
@@ -1891,13 +1898,18 @@ public sealed class Local : global::SpacetimeDB.LocalBase {
                         
                         public sealed record ViewContext : DbContext<Internal.LocalReadOnly>, Internal.IViewContext 
                         {
-                            public Identity Sender { get; }
+                            private readonly Identity _sender;
                         
                             internal ViewContext(Identity sender, Internal.LocalReadOnly db)
                                 : base(db)
                             {
-                                Sender = sender;
+                                _sender = sender;
                             }
+
+                            /// <summary>
+                            /// The identity of the client that invoked the view.
+                            /// </summary>
+                            public Identity Sender() => _sender;
                         }
                         
                         public sealed record AnonymousViewContext : DbContext<Internal.LocalReadOnly>, Internal.IAnonymousViewContext 
diff --git a/crates/bindings-csharp/Runtime/ProcedureContext.cs b/crates/bindings-csharp/Runtime/ProcedureContext.cs
@@ -10,8 +10,11 @@ public abstract class ProcedureContextBase(
     Timestamp time
 ) : Internal.IInternalProcedureContext
 {
+    private readonly Identity _sender = sender;
+
+    public Identity Sender() => _sender;
+
     public static Identity Identity => Internal.IProcedureContext.GetIdentity();
-    public Identity Sender { get; } = sender;
     public ConnectionId? ConnectionId { get; } = connectionId;
     public Random Rng { get; } = random;
     public Timestamp Timestamp { get; private set; } = time;
@@ -47,7 +50,7 @@ public Internal.TxContext EnterTxContext(long timestampMicros)
             txContext?.WithTimestamp(timestamp)
             ?? new Internal.TxContext(
                 CreateLocal(),
-                Sender,
+                _sender,
                 ConnectionId,
                 timestamp,
                 SenderAuth,
@@ -229,8 +232,9 @@ public abstract class ProcedureTxContextBase(Internal.TxContext inner)
 
     internal void Refresh(Internal.TxContext inner) => Inner = inner;
 
+    public Identity Sender() => Inner.Sender;
+
     public LocalBase Db => (LocalBase)Inner.Db;
-    public Identity Sender => Inner.Sender;
     public ConnectionId? ConnectionId => Inner.ConnectionId;
     public Timestamp Timestamp => Inner.Timestamp;
     public AuthCtx SenderAuth => Inner.SenderAuth;
diff --git a/demo/Blackholio/server-csharp/Lib.cs b/demo/Blackholio/server-csharp/Lib.cs
@@ -138,7 +138,7 @@ public static void Init(ReducerContext ctx)
 	[Reducer(ReducerKind.ClientConnected)]
 	public static void Connect(ReducerContext ctx)
 	{
-		var player = ctx.Db.logged_out_player.identity.Find(ctx.Sender);
+		var player = ctx.Db.logged_out_player.identity.Find(ctx.Sender());
 		if (player != null)
 		{
 			ctx.Db.player.Insert(player.Value);
@@ -157,7 +157,7 @@ public static void Connect(ReducerContext ctx)
 		{
 			ctx.Db.player.Insert(new Player
 			{
-				identity = ctx.Sender,
+				identity = ctx.Sender(),
 				name = "",
 			});
 		}
@@ -166,7 +166,7 @@ public static void Connect(ReducerContext ctx)
 	[Reducer(ReducerKind.ClientDisconnected)]
 	public static void Disconnect(ReducerContext ctx)
 	{
-		var player = ctx.Db.player.identity.Find(ctx.Sender) ?? throw new Exception("Player not found");
+		var player = ctx.Db.player.identity.Find(ctx.Sender()) ?? throw new Exception("Player not found");
 		foreach (var circle in ctx.Db.circle.player_id.Filter(player.player_id))
 		{
 			var entity = ctx.Db.entity.entity_id.Find(circle.entity_id) ?? throw new Exception("Could not find circle");
@@ -183,7 +183,7 @@ public static void Disconnect(ReducerContext ctx)
 	public static void EnterGame(ReducerContext ctx, string name)
 	{
 		Log.Info($"Creating player with name {name}");
-		var player = ctx.Db.player.identity.Find(ctx.Sender) ?? throw new Exception("Player not found");
+		var player = ctx.Db.player.identity.Find(ctx.Sender()) ?? throw new Exception("Player not found");
 		player.name = name;
 		ctx.Db.player.identity.Update(player);
 		SpawnPlayerInitialCircle(ctx, player.player_id);
@@ -192,15 +192,15 @@ public static void EnterGame(ReducerContext ctx, string name)
 	[Reducer]
 	public static void Respawn(ReducerContext ctx)
 	{
-		var player = ctx.Db.player.identity.Find(ctx.Sender) ?? throw new Exception("No such player found");
+		var player = ctx.Db.player.identity.Find(ctx.Sender()) ?? throw new Exception("No such player found");
 
 		SpawnPlayerInitialCircle(ctx, player.player_id);
 	}
 
 	[Reducer]
 	public static void Suicide(ReducerContext ctx)
 	{
-		var player = ctx.Db.player.identity.Find(ctx.Sender) ?? throw new Exception("No such player found");
+		var player = ctx.Db.player.identity.Find(ctx.Sender()) ?? throw new Exception("No such player found");
 
 		foreach (var circle in ctx.Db.circle.player_id.Filter(player.player_id))
 		{
@@ -246,7 +246,7 @@ public static Entity SpawnCircleAt(ReducerContext ctx, int player_id, int mass,
 	[Reducer]
 	public static void UpdatePlayerInput(ReducerContext ctx, DbVector2 direction)
 	{
-		var player = ctx.Db.player.identity.Find(ctx.Sender) ?? throw new Exception("Player not found");
+		var player = ctx.Db.player.identity.Find(ctx.Sender()) ?? throw new Exception("Player not found");
 		foreach (var c in ctx.Db.circle.player_id.Filter(player.player_id))
 		{
 			var circle = c;
@@ -449,7 +449,7 @@ public static void DestroyEntity(ReducerContext ctx, int entityId)
 	[Reducer]
 	public static void PlayerSplit(ReducerContext ctx)
 	{
-		var player = ctx.Db.player.identity.Find(ctx.Sender) ?? throw new Exception("Sender has no player");
+		var player = ctx.Db.player.identity.Find(ctx.Sender()) ?? throw new Exception("Sender has no player");
 		List<Circle> circles = ctx.Db.circle.player_id.Filter(player.player_id).ToList();
 		var circle_count = circles.Count;
 		if (circle_count >= MAX_CIRCLES_PER_PLAYER)
diff --git a/modules/module-test-cs/Lib.cs b/modules/module-test-cs/Lib.cs
@@ -219,7 +219,7 @@ static partial class Module
     [View(Name = "my_player", Public = true)]
     public static Player? my_player(ViewContext ctx)
     {
-        return (Player?)ctx.Db.player.identity.Find(ctx.Sender);
+        return (Player?)ctx.Db.player.identity.Find(ctx.Sender());
     }
 
     // This reducer is run at module initialization.
@@ -278,7 +278,7 @@ public static void log_module_identity(ReducerContext ctx)
     public static void test(ReducerContext ctx, TestAlias arg, TestB arg2, TestC arg3, TestF arg4)
     {
         Log.Info("BEGIN");
-        Log.Info($"sender: {ctx.Sender}");
+        Log.Info($"sender: {ctx.Sender()}");
         Log.Info($"timestamp: {ctx.Timestamp}");
         Log.Info($"bar: {arg2.foo}");
 
@@ -462,7 +462,7 @@ public static void test_btree_index_args(ReducerContext ctx)
     [Reducer]
     public static void assert_caller_identity_is_module_identity(ReducerContext ctx)
     {
-        var caller = ctx.Sender;
+        var caller = ctx.Sender();
         var owner = ctx.Identity;
         if (!caller.Equals(owner))
         {
diff --git a/modules/sdk-test-connect-disconnect-cs/Lib.cs b/modules/sdk-test-connect-disconnect-cs/Lib.cs
@@ -19,12 +19,12 @@ static partial class Module
     [SpacetimeDB.Reducer(ReducerKind.ClientConnected)]
     public static void identity_connected(ReducerContext ctx)
     {
-        ctx.Db.connected.Insert(new Connected { identity = ctx.Sender});
+        ctx.Db.connected.Insert(new Connected { identity = ctx.Sender()});
     }
 
     [SpacetimeDB.Reducer(ReducerKind.ClientDisconnected)]
     public static void identity_disconnected(ReducerContext ctx)
     {
-        ctx.Db.disconnected.Insert(new Disconnected { identity = ctx.Sender});
+        ctx.Db.disconnected.Insert(new Disconnected { identity = ctx.Sender()});
     }
 }
diff --git a/modules/sdk-test-cs/Lib.cs b/modules/sdk-test-cs/Lib.cs
@@ -1887,25 +1887,25 @@ public static void update_pk_simple_enum(ReducerContext ctx, SimpleEnum a, int d
     [SpacetimeDB.Reducer]
     public static void insert_caller_one_identity(ReducerContext ctx)
     {
-        ctx.Db.one_identity.Insert(new OneIdentity { i = ctx.Sender });
+        ctx.Db.one_identity.Insert(new OneIdentity { i = ctx.Sender() });
     }
 
     [SpacetimeDB.Reducer]
     public static void insert_caller_vec_identity(ReducerContext ctx)
     {
-        ctx.Db.vec_identity.Insert(new VecIdentity { i = new List<Identity> { ctx.Sender } });
+        ctx.Db.vec_identity.Insert(new VecIdentity { i = new List<Identity> { ctx.Sender() } });
     }
 
     [SpacetimeDB.Reducer]
     public static void insert_caller_unique_identity(ReducerContext ctx, int data)
     {
-        ctx.Db.unique_identity.Insert(new UniqueIdentity { i = ctx.Sender, data = data });
+        ctx.Db.unique_identity.Insert(new UniqueIdentity { i = ctx.Sender(), data = data });
     }
 
     [SpacetimeDB.Reducer]
     public static void insert_caller_pk_identity(ReducerContext ctx, int data)
     {
-        ctx.Db.pk_identity.Insert(new PkIdentity { i = ctx.Sender, data = data });
+        ctx.Db.pk_identity.Insert(new PkIdentity { i = ctx.Sender(), data = data });
     }
 
     [SpacetimeDB.Reducer]
diff --git a/sdks/csharp/examples~/regression-tests/server/Lib.cs b/sdks/csharp/examples~/regression-tests/server/Lib.cs
@@ -150,13 +150,13 @@ public partial struct NullStringNullable
     [SpacetimeDB.View(Name = "my_player", Public = true)]
     public static Player? MyPlayer(ViewContext ctx)
     {
-        return ctx.Db.player.Identity.Find(ctx.Sender);
+        return ctx.Db.player.Identity.Find(ctx.Sender());
     }
 
     [SpacetimeDB.View(Name = "my_account", Public = true)]
     public static Account? MyAccount(ViewContext ctx)
     {
-        return ctx.Db.account.Identity.Find(ctx.Sender) as Account;
+        return ctx.Db.account.Identity.Find(ctx.Sender()) as Account;
     }
 
     [SpacetimeDB.View(Name = "my_account_missing", Public = true)]
@@ -280,23 +280,23 @@ public static void InsertNullStringIntoNullable(ReducerContext ctx)
     [Reducer(ReducerKind.ClientConnected)]
     public static void ClientConnected(ReducerContext ctx)
     {
-        Log.Info($"Connect {ctx.Sender}");
+        Log.Info($"Connect {ctx.Sender()}");
 
-        if (ctx.Db.player.Identity.Find(ctx.Sender) is Player player)
+        if (ctx.Db.player.Identity.Find(ctx.Sender()) is Player player)
         {
             // We are not logging player login status, so do nothing
         }
         else
         {
             // Lets setup a new player with a level of 1
-            ctx.Db.player.Insert(new Player { Identity = ctx.Sender, Name = "NewPlayer" });
-            var playerId = (ctx.Db.player.Identity.Find(ctx.Sender)!).Value.Id;
+            ctx.Db.player.Insert(new Player { Identity = ctx.Sender(), Name = "NewPlayer" });
+            var playerId = (ctx.Db.player.Identity.Find(ctx.Sender())!).Value.Id;
             ctx.Db.player_level.Insert(new PlayerLevel { PlayerId = playerId, Level = 1 });
         }
 
-        if (ctx.Db.account.Identity.Find(ctx.Sender) is null)
+        if (ctx.Db.account.Identity.Find(ctx.Sender()) is null)
         {
-            ctx.Db.account.Insert(new Account { Identity = ctx.Sender, Name = "Account" });
+            ctx.Db.account.Insert(new Account { Identity = ctx.Sender(), Name = "Account" });
         }
 
         if (ctx.Db.nullable_vec.Id.Find(1) is null)
@@ -614,10 +614,10 @@ public static ReturnStruct TxContextCapabilities(ProcedureContext ctx)
             }
 
             // Test 3: Verify transaction context properties are accessible
-            var txSender = tx.Sender;
+            var txSender = tx.Sender();
             var txTimestamp = tx.Timestamp;
 
-            if (txSender.Equals(ctx.Sender) == false)
+            if (txSender.Equals(ctx.Sender()) == false)
             {
                 throw new InvalidOperationException("Transaction sender should match procedure sender");
             }
@@ -654,14 +654,14 @@ public static ReturnStruct AuthenticationCapabilities(ProcedureContext ctx)
     {
         // Test 1: Verify authentication context is accessible from procedure context
         var procAuth = ctx.SenderAuth;
-        var procSender = ctx.Sender;
+        var procSender = ctx.Sender();
         var procConnectionId = ctx.ConnectionId;
 
         var result = ctx.WithTx(tx =>
         {
             // Test 2: Verify authentication context is accessible from transaction context
             var txAuth = tx.SenderAuth;
-            var txSender = tx.Sender;
+            var txSender = tx.Sender();
             var txConnectionId = tx.ConnectionId;
 
             // Test 3: Authentication contexts should be consistent
diff --git a/templates/chat-console-cs/spacetimedb/Lib.cs b/templates/chat-console-cs/spacetimedb/Lib.cs
@@ -24,7 +24,7 @@ public static void SetName(ReducerContext ctx, string name)
     {
         name = ValidateName(name);
 
-        if (ctx.Db.User.Identity.Find(ctx.Sender) is User user)
+        if (ctx.Db.User.Identity.Find(ctx.Sender()) is User user)
         {
             user.Name = name;
             ctx.Db.User.Identity.Update(user);
@@ -49,7 +49,7 @@ public static void SendMessage(ReducerContext ctx, string text)
         ctx.Db.Message.Insert(
             new Message
             {
-                Sender = ctx.Sender,
+                Sender = ctx.Sender(),
                 Text = text,
                 Sent = ctx.Timestamp,
             }
@@ -69,9 +69,9 @@ private static string ValidateMessage(string text)
     [Reducer(ReducerKind.ClientConnected)]
     public static void ClientConnected(ReducerContext ctx)
     {
-        Log.Info($"Connect {ctx.Sender}");
+        Log.Info($"Connect {ctx.Sender()}");
 
-        if (ctx.Db.User.Identity.Find(ctx.Sender) is User user)
+        if (ctx.Db.User.Identity.Find(ctx.Sender()) is User user)
         {
             // If this is a returning user, i.e., we already have a `User` with this `Identity`,
             // set `Online: true`, but leave `Name` and `Identity` unchanged.
@@ -86,7 +86,7 @@ public static void ClientConnected(ReducerContext ctx)
                 new User
                 {
                     Name = null,
-                    Identity = ctx.Sender,
+                    Identity = ctx.Sender(),
                     Online = true,
                 }
             );
@@ -96,7 +96,7 @@ public static void ClientConnected(ReducerContext ctx)
     [Reducer(ReducerKind.ClientDisconnected)]
     public static void ClientDisconnected(ReducerContext ctx)
     {
-        if (ctx.Db.User.Identity.Find(ctx.Sender) is User user)
+        if (ctx.Db.User.Identity.Find(ctx.Sender()) is User user)
         {
             // This user should exist, so set `Online: false`.
             user.Online = false;

Original file line number	Diff line number	Diff line change
`@@ -138,7 +138,7 @@ public static void Init(ReducerContext ctx)`
`138`	`138`	`[Reducer(ReducerKind.ClientConnected)]`
`139`	`139`	`public static void Connect(ReducerContext ctx)`
`140`	`140`	`{`
`141`		`- var player = ctx.Db.logged_out_player.identity.Find(ctx.Sender);`
	`141`	`+ var player = ctx.Db.logged_out_player.identity.Find(ctx.Sender());`
`142`	`142`	`if (player != null)`
`143`	`143`	`{`
`144`	`144`	`ctx.Db.player.Insert(player.Value);`
`@@ -157,7 +157,7 @@ public static void Connect(ReducerContext ctx)`
`157`	`157`	`{`
`158`	`158`	`ctx.Db.player.Insert(new Player`
`159`	`159`	`{`
`160`		`- identity = ctx.Sender,`
	`160`	`+ identity = ctx.Sender(),`
`161`	`161`	`name = "",`
`162`	`162`	`});`
`163`	`163`	`}`
`@@ -166,7 +166,7 @@ public static void Connect(ReducerContext ctx)`
`166`	`166`	`[Reducer(ReducerKind.ClientDisconnected)]`
`167`	`167`	`public static void Disconnect(ReducerContext ctx)`
`168`	`168`	`{`
`169`		`- var player = ctx.Db.player.identity.Find(ctx.Sender) ?? throw new Exception("Player not found");`
	`169`	`+ var player = ctx.Db.player.identity.Find(ctx.Sender()) ?? throw new Exception("Player not found");`
`170`	`170`	`foreach (var circle in ctx.Db.circle.player_id.Filter(player.player_id))`
`171`	`171`	`{`
`172`	`172`	`var entity = ctx.Db.entity.entity_id.Find(circle.entity_id) ?? throw new Exception("Could not find circle");`
`@@ -183,7 +183,7 @@ public static void Disconnect(ReducerContext ctx)`
`183`	`183`	`public static void EnterGame(ReducerContext ctx, string name)`
`184`	`184`	`{`
`185`	`185`	`Log.Info($"Creating player with name {name}");`
`186`		`- var player = ctx.Db.player.identity.Find(ctx.Sender) ?? throw new Exception("Player not found");`
	`186`	`+ var player = ctx.Db.player.identity.Find(ctx.Sender()) ?? throw new Exception("Player not found");`
`187`	`187`	`player.name = name;`
`188`	`188`	`ctx.Db.player.identity.Update(player);`
`189`	`189`	`SpawnPlayerInitialCircle(ctx, player.player_id);`
`@@ -192,15 +192,15 @@ public static void EnterGame(ReducerContext ctx, string name)`
`192`	`192`	`[Reducer]`
`193`	`193`	`public static void Respawn(ReducerContext ctx)`
`194`	`194`	`{`
`195`		`- var player = ctx.Db.player.identity.Find(ctx.Sender) ?? throw new Exception("No such player found");`
	`195`	`+ var player = ctx.Db.player.identity.Find(ctx.Sender()) ?? throw new Exception("No such player found");`
`196`	`196`
`197`	`197`	`SpawnPlayerInitialCircle(ctx, player.player_id);`
`198`	`198`	`}`
`199`	`199`
`200`	`200`	`[Reducer]`
`201`	`201`	`public static void Suicide(ReducerContext ctx)`
`202`	`202`	`{`
`203`		`- var player = ctx.Db.player.identity.Find(ctx.Sender) ?? throw new Exception("No such player found");`
	`203`	`+ var player = ctx.Db.player.identity.Find(ctx.Sender()) ?? throw new Exception("No such player found");`
`204`	`204`
`205`	`205`	`foreach (var circle in ctx.Db.circle.player_id.Filter(player.player_id))`
`206`	`206`	`{`
`@@ -246,7 +246,7 @@ public static Entity SpawnCircleAt(ReducerContext ctx, int player_id, int mass,`
`246`	`246`	`[Reducer]`
`247`	`247`	`public static void UpdatePlayerInput(ReducerContext ctx, DbVector2 direction)`
`248`	`248`	`{`
`249`		`- var player = ctx.Db.player.identity.Find(ctx.Sender) ?? throw new Exception("Player not found");`
	`249`	`+ var player = ctx.Db.player.identity.Find(ctx.Sender()) ?? throw new Exception("Player not found");`
`250`	`250`	`foreach (var c in ctx.Db.circle.player_id.Filter(player.player_id))`
`251`	`251`	`{`
`252`	`252`	`var circle = c;`
`@@ -449,7 +449,7 @@ public static void DestroyEntity(ReducerContext ctx, int entityId)`
`449`	`449`	`[Reducer]`
`450`	`450`	`public static void PlayerSplit(ReducerContext ctx)`
`451`	`451`	`{`
`452`		`- var player = ctx.Db.player.identity.Find(ctx.Sender) ?? throw new Exception("Sender has no player");`
	`452`	`+ var player = ctx.Db.player.identity.Find(ctx.Sender()) ?? throw new Exception("Sender has no player");`
`453`	`453`	`List<Circle> circles = ctx.Db.circle.player_id.Filter(player.player_id).ToList();`
`454`	`454`	`var circle_count = circles.Count;`
`455`	`455`	`if (circle_count >= MAX_CIRCLES_PER_PLAYER)`
Original file line number	Diff line number	Diff line change
`@@ -219,7 +219,7 @@ static partial class Module`
`219`	`219`	`[View(Name = "my_player", Public = true)]`
`220`	`220`	`public static Player? my_player(ViewContext ctx)`
`221`	`221`	`{`
`222`		`- return (Player?)ctx.Db.player.identity.Find(ctx.Sender);`
	`222`	`+ return (Player?)ctx.Db.player.identity.Find(ctx.Sender());`
`223`	`223`	`}`
`224`	`224`
`225`	`225`	`// This reducer is run at module initialization.`
`@@ -278,7 +278,7 @@ public static void log_module_identity(ReducerContext ctx)`
`278`	`278`	`public static void test(ReducerContext ctx, TestAlias arg, TestB arg2, TestC arg3, TestF arg4)`
`279`	`279`	`{`
`280`	`280`	`Log.Info("BEGIN");`
`281`		`- Log.Info($"sender: {ctx.Sender}");`
	`281`	`+ Log.Info($"sender: {ctx.Sender()}");`
`282`	`282`	`Log.Info($"timestamp: {ctx.Timestamp}");`
`283`	`283`	`Log.Info($"bar: {arg2.foo}");`
`284`	`284`
`@@ -462,7 +462,7 @@ public static void test_btree_index_args(ReducerContext ctx)`
`462`	`462`	`[Reducer]`
`463`	`463`	`public static void assert_caller_identity_is_module_identity(ReducerContext ctx)`
`464`	`464`	`{`
`465`		`- var caller = ctx.Sender;`
	`465`	`+ var caller = ctx.Sender();`
`466`	`466`	`var owner = ctx.Identity;`
`467`	`467`	`if (!caller.Equals(owner))`
`468`	`468`	`{`
Original file line number	Diff line number	Diff line change
`@@ -19,12 +19,12 @@ static partial class Module`
`19`	`19`	`[SpacetimeDB.Reducer(ReducerKind.ClientConnected)]`
`20`	`20`	`public static void identity_connected(ReducerContext ctx)`
`21`	`21`	`{`
`22`		`- ctx.Db.connected.Insert(new Connected { identity = ctx.Sender});`
	`22`	`+ ctx.Db.connected.Insert(new Connected { identity = ctx.Sender()});`
`23`	`23`	`}`
`24`	`24`
`25`	`25`	`[SpacetimeDB.Reducer(ReducerKind.ClientDisconnected)]`
`26`	`26`	`public static void identity_disconnected(ReducerContext ctx)`
`27`	`27`	`{`
`28`		`- ctx.Db.disconnected.Insert(new Disconnected { identity = ctx.Sender});`
	`28`	`+ ctx.Db.disconnected.Insert(new Disconnected { identity = ctx.Sender()});`
`29`	`29`	`}`
`30`	`30`	`}`
Original file line number	Diff line number	Diff line change
`@@ -1887,25 +1887,25 @@ public static void update_pk_simple_enum(ReducerContext ctx, SimpleEnum a, int d`
`1887`	`1887`	`[SpacetimeDB.Reducer]`
`1888`	`1888`	`public static void insert_caller_one_identity(ReducerContext ctx)`
`1889`	`1889`	`{`
`1890`		`- ctx.Db.one_identity.Insert(new OneIdentity { i = ctx.Sender });`
	`1890`	`+ ctx.Db.one_identity.Insert(new OneIdentity { i = ctx.Sender() });`
`1891`	`1891`	`}`
`1892`	`1892`
`1893`	`1893`	`[SpacetimeDB.Reducer]`
`1894`	`1894`	`public static void insert_caller_vec_identity(ReducerContext ctx)`
`1895`	`1895`	`{`
`1896`		`- ctx.Db.vec_identity.Insert(new VecIdentity { i = new List<Identity> { ctx.Sender } });`
	`1896`	`+ ctx.Db.vec_identity.Insert(new VecIdentity { i = new List<Identity> { ctx.Sender() } });`
`1897`	`1897`	`}`
`1898`	`1898`
`1899`	`1899`	`[SpacetimeDB.Reducer]`
`1900`	`1900`	`public static void insert_caller_unique_identity(ReducerContext ctx, int data)`
`1901`	`1901`	`{`
`1902`		`- ctx.Db.unique_identity.Insert(new UniqueIdentity { i = ctx.Sender, data = data });`
	`1902`	`+ ctx.Db.unique_identity.Insert(new UniqueIdentity { i = ctx.Sender(), data = data });`
`1903`	`1903`	`}`
`1904`	`1904`
`1905`	`1905`	`[SpacetimeDB.Reducer]`
`1906`	`1906`	`public static void insert_caller_pk_identity(ReducerContext ctx, int data)`
`1907`	`1907`	`{`
`1908`		`- ctx.Db.pk_identity.Insert(new PkIdentity { i = ctx.Sender, data = data });`
	`1908`	`+ ctx.Db.pk_identity.Insert(new PkIdentity { i = ctx.Sender(), data = data });`
`1909`	`1909`	`}`
`1910`	`1910`
`1911`	`1911`	`[SpacetimeDB.Reducer]`
Original file line number	Diff line number	Diff line change
`@@ -150,13 +150,13 @@ public partial struct NullStringNullable`
`150`	`150`	`[SpacetimeDB.View(Name = "my_player", Public = true)]`
`151`	`151`	`public static Player? MyPlayer(ViewContext ctx)`
`152`	`152`	`{`
`153`		`- return ctx.Db.player.Identity.Find(ctx.Sender);`
	`153`	`+ return ctx.Db.player.Identity.Find(ctx.Sender());`
`154`	`154`	`}`
`155`	`155`
`156`	`156`	`[SpacetimeDB.View(Name = "my_account", Public = true)]`
`157`	`157`	`public static Account? MyAccount(ViewContext ctx)`
`158`	`158`	`{`
`159`		`- return ctx.Db.account.Identity.Find(ctx.Sender) as Account;`
	`159`	`+ return ctx.Db.account.Identity.Find(ctx.Sender()) as Account;`
`160`	`160`	`}`
`161`	`161`
`162`	`162`	`[SpacetimeDB.View(Name = "my_account_missing", Public = true)]`
`@@ -280,23 +280,23 @@ public static void InsertNullStringIntoNullable(ReducerContext ctx)`
`280`	`280`	`[Reducer(ReducerKind.ClientConnected)]`
`281`	`281`	`public static void ClientConnected(ReducerContext ctx)`
`282`	`282`	`{`
`283`		`- Log.Info($"Connect {ctx.Sender}");`
	`283`	`+ Log.Info($"Connect {ctx.Sender()}");`
`284`	`284`
`285`		`- if (ctx.Db.player.Identity.Find(ctx.Sender) is Player player)`
	`285`	`+ if (ctx.Db.player.Identity.Find(ctx.Sender()) is Player player)`
`286`	`286`	`{`
`287`	`287`	`// We are not logging player login status, so do nothing`
`288`	`288`	`}`
`289`	`289`	`else`
`290`	`290`	`{`
`291`	`291`	`// Lets setup a new player with a level of 1`
`292`		`- ctx.Db.player.Insert(new Player { Identity = ctx.Sender, Name = "NewPlayer" });`
`293`		`- var playerId = (ctx.Db.player.Identity.Find(ctx.Sender)!).Value.Id;`
	`292`	`+ ctx.Db.player.Insert(new Player { Identity = ctx.Sender(), Name = "NewPlayer" });`
	`293`	`+ var playerId = (ctx.Db.player.Identity.Find(ctx.Sender())!).Value.Id;`
`294`	`294`	`ctx.Db.player_level.Insert(new PlayerLevel { PlayerId = playerId, Level = 1 });`
`295`	`295`	`}`
`296`	`296`
`297`		`- if (ctx.Db.account.Identity.Find(ctx.Sender) is null)`
	`297`	`+ if (ctx.Db.account.Identity.Find(ctx.Sender()) is null)`
`298`	`298`	`{`
`299`		`- ctx.Db.account.Insert(new Account { Identity = ctx.Sender, Name = "Account" });`
	`299`	`+ ctx.Db.account.Insert(new Account { Identity = ctx.Sender(), Name = "Account" });`
`300`	`300`	`}`
`301`	`301`
`302`	`302`	`if (ctx.Db.nullable_vec.Id.Find(1) is null)`
`@@ -614,10 +614,10 @@ public static ReturnStruct TxContextCapabilities(ProcedureContext ctx)`
`614`	`614`	`}`
`615`	`615`
`616`	`616`	`// Test 3: Verify transaction context properties are accessible`
`617`		`- var txSender = tx.Sender;`
	`617`	`+ var txSender = tx.Sender();`
`618`	`618`	`var txTimestamp = tx.Timestamp;`
`619`	`619`
`620`		`- if (txSender.Equals(ctx.Sender) == false)`
	`620`	`+ if (txSender.Equals(ctx.Sender()) == false)`
`621`	`621`	`{`
`622`	`622`	`throw new InvalidOperationException("Transaction sender should match procedure sender");`
`623`	`623`	`}`
`@@ -654,14 +654,14 @@ public static ReturnStruct AuthenticationCapabilities(ProcedureContext ctx)`
`654`	`654`	`{`
`655`	`655`	`// Test 1: Verify authentication context is accessible from procedure context`
`656`	`656`	`var procAuth = ctx.SenderAuth;`
`657`		`- var procSender = ctx.Sender;`
	`657`	`+ var procSender = ctx.Sender();`
`658`	`658`	`var procConnectionId = ctx.ConnectionId;`
`659`	`659`
`660`	`660`	`var result = ctx.WithTx(tx =>`
`661`	`661`	`{`
`662`	`662`	`// Test 2: Verify authentication context is accessible from transaction context`
`663`	`663`	`var txAuth = tx.SenderAuth;`
`664`		`- var txSender = tx.Sender;`
	`664`	`+ var txSender = tx.Sender();`
`665`	`665`	`var txConnectionId = tx.ConnectionId;`
`666`	`666`
`667`	`667`	`// Test 3: Authentication contexts should be consistent`
Original file line number	Diff line number	Diff line change
`@@ -24,7 +24,7 @@ public static void SetName(ReducerContext ctx, string name)`
`24`	`24`	`{`
`25`	`25`	`name = ValidateName(name);`
`26`	`26`
`27`		`- if (ctx.Db.User.Identity.Find(ctx.Sender) is User user)`
	`27`	`+ if (ctx.Db.User.Identity.Find(ctx.Sender()) is User user)`
`28`	`28`	`{`
`29`	`29`	`user.Name = name;`
`30`	`30`	`ctx.Db.User.Identity.Update(user);`
`@@ -49,7 +49,7 @@ public static void SendMessage(ReducerContext ctx, string text)`
`49`	`49`	`ctx.Db.Message.Insert(`
`50`	`50`	`new Message`
`51`	`51`	`{`
`52`		`- Sender = ctx.Sender,`
	`52`	`+ Sender = ctx.Sender(),`
`53`	`53`	`Text = text,`
`54`	`54`	`Sent = ctx.Timestamp,`
`55`	`55`	`}`
`@@ -69,9 +69,9 @@ private static string ValidateMessage(string text)`
`69`	`69`	`[Reducer(ReducerKind.ClientConnected)]`
`70`	`70`	`public static void ClientConnected(ReducerContext ctx)`
`71`	`71`	`{`
`72`		`- Log.Info($"Connect {ctx.Sender}");`
	`72`	`+ Log.Info($"Connect {ctx.Sender()}");`
`73`	`73`
`74`		`- if (ctx.Db.User.Identity.Find(ctx.Sender) is User user)`
	`74`	`+ if (ctx.Db.User.Identity.Find(ctx.Sender()) is User user)`
`75`	`75`	`{`
`76`	`76`	// If this is a returning user, i.e., we already have a `User` with this `Identity`,
`77`	`77`	// set `Online: true`, but leave `Name` and `Identity` unchanged.
`@@ -86,7 +86,7 @@ public static void ClientConnected(ReducerContext ctx)`
`86`	`86`	`new User`
`87`	`87`	`{`
`88`	`88`	`Name = null,`
`89`		`- Identity = ctx.Sender,`
	`89`	`+ Identity = ctx.Sender(),`
`90`	`90`	`Online = true,`
`91`	`91`	`}`
`92`	`92`	`);`
`@@ -96,7 +96,7 @@ public static void ClientConnected(ReducerContext ctx)`
`96`	`96`	`[Reducer(ReducerKind.ClientDisconnected)]`
`97`	`97`	`public static void ClientDisconnected(ReducerContext ctx)`
`98`	`98`	`{`
`99`		`- if (ctx.Db.User.Identity.Find(ctx.Sender) is User user)`
	`99`	`+ if (ctx.Db.User.Identity.Find(ctx.Sender()) is User user)`
`100`	`100`	`{`
`101`	`101`	// This user should exist, so set `Online: false`.
`102`	`102`	`user.Online = false;`