From 4e99b8964a3e74f6866506479d108a2168d00290 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 9 Feb 2026 20:53:47 +0000
Subject: [PATCH 1/2] Initial plan


From 83c3a4a0f72e9d3ef2aeb1fcdf78768a81b21668 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 9 Feb 2026 20:58:33 +0000
Subject: [PATCH 2/2] Fix duplicate property in ScriptGenerationResult record

Co-authored-by: Nickelony <20436882+Nickelony@users.noreply.github.com>
---
 .../TombIDE.Shared/SharedClasses/ScriptGenerationResult.cs  | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/TombIDE/TombIDE.Shared/SharedClasses/ScriptGenerationResult.cs b/TombIDE/TombIDE.Shared/SharedClasses/ScriptGenerationResult.cs
index c44f96185..cd55d6dc9 100644
--- a/TombIDE/TombIDE.Shared/SharedClasses/ScriptGenerationResult.cs
+++ b/TombIDE/TombIDE.Shared/SharedClasses/ScriptGenerationResult.cs
@@ -15,13 +15,9 @@ public sealed record GeneratedScriptFile(string RelativePath, string Content);
 /// Contains the results of script generation, with explicit separation between
 /// gameflow script content and language file content.
 /// </summary>
+/// <param name="DataFileName">The data file name (without extension) used to generate the script.</param>
 public sealed record ScriptGenerationResult(string DataFileName)
 {
-	/// <summary>
-	/// The data file name (without extension) used to generate the script.
-	/// </summary>
-	public string DataFileName { get; init; } = DataFileName;
-
 	/// <summary>
 	/// Text to append to the main gameflow/script file.
 	/// </summary>