Merge pull request #167 from kelnishi/stack-switching

WASIp3: stack-switching + CM async ABI + WACS.WASI.Preview3

Author: kelnishi

.github/workflows/ci.yml

@@ -41,6 +41,14 @@ jobs:
         run: dotnet test --configuration Release --no-build --verbosity normal Spec.Test/Spec.Test.csproj
 
       - name: Run Core Tests
+        # WACS_AOT_TEST=1 opts into AotAcceptanceTests, which
+        # publishes Wacs.Bench.Aot with PublishAot=true and
+        # asserts no new IL warnings originate from Wacs.Core.
+        # See Wacs.Core.Test/AotAcceptanceTests.cs for the
+        # baseline + policy. The test takes ~60-90s — kept
+        # behind the env var so dev cycles stay fast.
+        env:
+          WACS_AOT_TEST: "1"
         run: dotnet test --configuration Release --no-build --verbosity normal Wacs.Core/Wacs.Core.Test/Wacs.Core.Test.csproj
 
       - name: Run Compilation Tests

.gitignore

@@ -100,3 +100,6 @@ Spec.Test/TestResults/**
 Wacs.Compilation/Sample*.cs.txt
 Wacs.Core/Generated
 **/TestResults/
+
+# Local-only Claude Code plan artifacts (moved out of docs/)
+.claude/plans/

CHANGELOG.md

@@ -0,0 +1,26 @@
+// Copyright 2026 Kelvin Nishikawa
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+
+using Wacs.ComponentModel.Async;
+
+namespace WitHarnessSpike.Aot
+{
+    /// <summary>
+    /// Source-generator-driven equivalent of the hand-written
+    /// <see cref="HelloHarness"/>. The
+    /// <c>AsyncComponentHarnessGenerator</c> emits the
+    /// constructor + lazy invoker fields + the
+    /// <c>StringCoding.LowerUtf8</c> + retArea-lift body for
+    /// the <see cref="Greet"/> method. End-to-end NativeAOT
+    /// verification that the generator's string-marshaling
+    /// codegen matches the hand-written pattern.
+    /// </summary>
+    [AsyncComponentHarness]
+    public partial class GeneratedHelloHarness
+    {
+        [SyncExport("greet")]
+        public partial string Greet(string name);
+    }
+}

Spec.Test/components/fixtures/wit-harness-spike-hello/Aot.Spike/GeneratedHelloHarness.cs

@@ -117,7 +117,7 @@ public string Greet(string name)
         /// <c>WACS.WASI.Preview2</c> bundle, or per-subsystem
         /// stubs the embedder ships). For the spike, throw.</para>
         /// </summary>
-        private static void BindWasiStubs(WasmRuntime runtime)
+        internal static void BindWasiStubs(WasmRuntime runtime)
         {
             // Type 3: (i32) -> ()
             Action<ExecContext, int> drop = (_, _) =>

Spec.Test/components/fixtures/wit-harness-spike-hello/Aot.Spike/HelloHarness.cs

@@ -33,9 +33,28 @@ public static int Main(string[] args)
 
                 var harness = HelloHarness.LoadFrom(componentBytes);
                 var greeting = harness.Greet("World");
+                Console.WriteLine($"hand-written:   {greeting}");
 
-                Console.WriteLine(greeting);
-                return greeting == "Hello, World!" ? 0 : 1;
+                // Run the generator-emitted equivalent too.
+                // Should produce identical output — proves the
+                // generator's string codegen matches the
+                // hand-written hello-spike pattern end-to-end
+                // under NativeAOT.
+                // Reuse the hand-written harness's WASI stubs
+                // — the generator only emits export-side
+                // marshaling, leaving import-side bindings to
+                // the consumer. (A future generator slice
+                // could emit these too once we settle on a
+                // typed-imports surface.)
+                var gen = new GeneratedHelloHarness(
+                    componentBytes, HelloHarness.BindWasiStubs);
+                var genGreeting = gen.Greet("World");
+                Console.WriteLine($"generator-emit: {genGreeting}");
+
+                bool ok = greeting == "Hello, World!"
+                    && genGreeting == "Hello, World!"
+                    && greeting == genGreeting;
+                return ok ? 0 : 1;
             }
             catch (Exception ex)
             {

Spec.Test/components/fixtures/wit-harness-spike-hello/Aot.Spike/Program.cs

@@ -42,6 +42,25 @@
         <ProjectReference Include="..\..\..\..\..\Wacs.Core\Wacs.Core\Wacs.Core.csproj" />
         <ProjectReference Include="..\..\..\..\..\Wacs.ComponentModel\Wacs.ComponentModel.Parser\Wacs.ComponentModel.Parser.csproj" />
         <ProjectReference Include="..\..\..\..\..\Wacs.ComponentModel\Wacs.ComponentModel.Harness.Runtime\Wacs.ComponentModel.Harness.Runtime.csproj" />
+
+        <!-- Reflective ComponentInstance for the generator-
+             driven harness. AOT-clean via
+             ComponentInstance.InstantiateAot which the
+             generator emits — the reflective Invoke() typed
+             bridge is NOT reached. -->
+        <ProjectReference Include="..\..\..\..\..\Wacs.ComponentModel\Wacs.ComponentModel\Wacs.ComponentModel.csproj"
+                          SetTargetFramework="TargetFramework=net8.0"
+                          UndefineProperties="PublishAot;PublishTrimmed;PublishReadyToRun;SelfContained;RuntimeIdentifier" />
+
+        <!-- The generator emits the
+             [AsyncComponentHarness] / [SyncExport] partial
+             class bodies — InstantiateAot wiring + the
+             StringCoding.LowerUtf8 + retArea lift for
+             string-returning exports. -->
+        <ProjectReference Include="..\..\..\..\..\Wacs.ComponentModel\Wacs.ComponentModel.Async.SourceGen\Wacs.ComponentModel.Async.SourceGen.csproj"
+                          SetTargetFramework="TargetFramework=netstandard2.0"
+                          OutputItemType="Analyzer"
+                          ReferenceOutputAssembly="false" />
     </ItemGroup>
 
 </Project>

Spec.Test/components/fixtures/wit-harness-spike-hello/Aot.Spike/WitHarnessSpike.Aot.csproj

@@ -0,0 +1,2 @@
+; Shipped analyzer releases.
+; Format: https://github.com/dotnet/roslyn-analyzers/blob/main/src/Microsoft.CodeAnalysis.Analyzers/ReleaseTrackingAnalyzers.Help.md

Wacs.ComponentModel/Wacs.ComponentModel.Async.SourceGen/AnalyzerReleases.Shipped.md

@@ -0,0 +1,4 @@
+; Unshipped analyzer releases.
+; Format: https://github.com/dotnet/roslyn-analyzers/blob/main/src/Microsoft.CodeAnalysis.Analyzers/ReleaseTrackingAnalyzers.Help.md
+
+; This generator emits source only — no analyzer diagnostics.