add json logic lessons

Author: gregsdennis

.github/instructions/lesson-writing.instructions.md

@@ -51,7 +51,8 @@ Each lesson is an object in the lesson plan array with these fields:
 ### Instructions
 - State exactly what the user must do, in one or two sentences.
 - Use imperative language: "Parse the path…", "Write a query that…", "Return null if…".
-- Name the required library action in the task (method/class/option/exception behavior) so the objective is implementation-focused rather than concept-only.
+- Name the required library action at the capability level (method family/class/option/exception behavior) so the objective is implementation-focused rather than concept-only.
+- Do not reveal the full implementation path in the task text. Avoid naming the exact operator or single method call when that would make the solution trivial.
 - Do not explain how — that belongs in the background.
 - Do not refer to the testing framework or expected test mechanics in user-facing task text.
 

.gitignore

@@ -10,6 +10,7 @@
 *.userosscache
 *.sln.docstates
 .github/instructions/personal-preferences.instructions.md
+.notes
 
 # User-specific files (MonoDevelop/Xamarin Studio)
 *.userprefs

LearnJsonEverything.LessonEditor/LearnJsonEverything.LessonEditor.csproj

@@ -8,8 +8,10 @@
     <UseWPF>true</UseWPF>
   </PropertyGroup>
 
-  <ItemGroup>
-    <ProjectReference Include="..\LearnJsonEverything\LearnJsonEverything.csproj" />
+  <ItemGroup>    <PackageReference Include="JsonLogic" Version="6.0.2" />
+  </ItemGroup>
+
+  <ItemGroup>    <ProjectReference Include="..\LearnJsonEverything\LearnJsonEverything.csproj" />
   </ItemGroup>
 
 </Project>

LearnJsonEverything.LessonEditor/ReferenceLoader.cs

@@ -1,4 +1,5 @@
 using Json.JsonE;
+using Json.Logic;
 using Json.More;
 using Json.Path;
 using Json.Schema;
@@ -18,6 +19,7 @@ static ReferenceLoader()
 		Load<MinimumAttribute>();
 		Load<JsonPath>();
 		Load<JsonFunction>();
+		Load<Rule>();
 	}
 
 	private static void Load<T>(){}

LearnJsonEverything.Tests/ProvidedSolutionTests.cs

@@ -85,4 +85,22 @@ public void JsonE(LessonData lesson)
 			Assert.That(result, Does.StartWith(Iconography.SuccessIcon));
 		}
 	}
+
+	public static IEnumerable<TestCaseData> JsonLogicLessons => GetLessons("json-logic.json");
+
+	[TestCaseSource(nameof(JsonLogicLessons))]
+	public void JsonLogic(LessonData lesson)
+	{
+		var results = new JsonLogicHost().Run(lesson);
+
+		foreach (var result in results)
+		{
+			Console.WriteLine(result);
+		}
+
+		foreach (var result in results)
+		{
+			Assert.That(result, Does.StartWith(Iconography.SuccessIcon));
+		}
+	}
 }

LearnJsonEverything.Tests/ReferenceLoader.cs

@@ -1,4 +1,5 @@
 using Json.JsonE;
+using Json.Logic;
 using Json.More;
 using Json.Path;
 using Json.Schema;
@@ -18,6 +19,7 @@ static ReferenceLoader()
 		Load<MinimumAttribute>();
 		Load<JsonPath>();
 		Load<JsonFunction>();
+		Load<Rule>();
 	}
 
 	private static void Load<T>(){}

LearnJsonEverything/LearnJsonEverything.csproj

@@ -15,6 +15,7 @@
     <PackageReference Include="Blazored.LocalStorage" Version="4.5.0" />
     <PackageReference Include="BlazorMonaco" Version="3.4.0" />
     <PackageReference Include="JsonE.Net" Version="3.0.1" />
+    <PackageReference Include="JsonLogic" Version="6.0.2" />
     <PackageReference Include="JsonPath.Net" Version="3.0.2" />
     <PackageReference Include="JsonSchema.Net" Version="9.2.0" />
     <PackageReference Include="JsonSchema.Net.Generation" Version="7.3.6" />

LearnJsonEverything/Pages/JsonLogic.razor

@@ -0,0 +1,8 @@
+@page "/json-logic"
+@using LearnJsonEverything.Services.Hosts
+
+<Teacher LessonSource="/data/lessons/json-logic.json" Host="@_host"></Teacher>
+
+@code {
+	private readonly ILessonHost _host = new JsonLogicHost();
+}

LearnJsonEverything/Services/CompilationHelpers.cs

@@ -3,6 +3,7 @@
 using Microsoft.CodeAnalysis.CSharp;
 using System.Reflection;
 using System.Runtime.Loader;
+using Microsoft.CodeAnalysis.Emit;
 using static LearnJsonEverything.Services.Iconography;
 
 namespace LearnJsonEverything.Services;
@@ -18,6 +19,7 @@ public static class CompilationHelpers
 	[
 		"Json.More",
 		"JsonE.Net",
+		"JsonLogic",
 		"JsonPath.Net",
 		"JsonPointer.Net",
 		"JsonSchema.Net",
@@ -95,7 +97,16 @@ public static (ILessonRunner<T>?, string[]) GetRunner<T>(LessonData lesson)
 		using var dllStream = new MemoryStream();
 		using var pdbStream = new MemoryStream();
 		using var xmlStream = new MemoryStream();
-		var emitResult = compilation.Emit(dllStream, pdbStream, xmlStream);
+		EmitResult emitResult;
+		if (IsBrowserRuntime)
+		{
+			// Avoid debugger-agent assertions in WASM by not emitting debug symbols.
+			emitResult = compilation.Emit(dllStream, xmlDocumentationStream: xmlStream);
+		}
+		else
+		{
+			emitResult = compilation.Emit(dllStream, pdbStream, xmlStream);
+		}
 		if (!emitResult.Success)
 		{
 			var diagnostics = new List<string>();
@@ -114,8 +125,9 @@ public static (ILessonRunner<T>?, string[]) GetRunner<T>(LessonData lesson)
 		}
 
 		dllStream.Position = 0;
-		pdbStream.Position = 0;
 		xmlStream.Position = 0;
+		if (!IsBrowserRuntime)
+			pdbStream.Position = 0;
 
 #pragma warning disable IL2026
 #pragma warning disable IL2072

LearnJsonEverything/Services/Hosts/JsonLogicHost.cs

@@ -0,0 +1,40 @@
+using System.Text.Json.Nodes;
+using Json.More;
+
+namespace LearnJsonEverything.Services.Hosts;
+
+public class JsonLogicHost : ILessonHost
+{
+	public string[] Run(LessonData lesson)
+	{
+		var (runner, errors) = CompilationHelpers.GetRunner<JsonNode?>(lesson);
+
+		if (runner is null) return errors;
+
+		var results = new List<string>();
+
+		var correct = true;
+		foreach (var test in lesson.Tests)
+		{
+			var expectedResult = test!["result"];
+			JsonNode? result = null;
+			var printedTest = test.Print();
+			try
+			{
+				result = runner.Run(test.AsObject());
+			}
+			catch
+			{
+				// ignore
+			}
+
+			var localResult = expectedResult.IsEquivalentTo(result);
+			correct &= localResult;
+			results.Add($"{(localResult ? Iconography.SuccessIcon : Iconography.ErrorIcon)} {printedTest}");
+		}
+
+		lesson.Achieved |= correct;
+
+		return [.. results];
+	}
+}