Runtime async changes where suspension is represented. A real two-library .NET 11 lab shows smaller compiler artifacts and lower allocation on some paths, while a controlled suspension case resists a universal speedup claim.
One compiled C# assembly, two pinned runtimes, and nine allocation scenarios. Real IL, JIT listings and measurements show when an object disappears, when nullable boxing moves off the managed heap, and why a local delegate can still allocate.
A public NuGet evidence tracker compares three actual function-invocation contracts across two pinned packages while leaving general compatibility unknown.
One compiled C# assembly, two pinned runtimes, and nine allocation scenarios. Real IL, JIT listings and measurements show when an object disappears, when nullable boxing moves off the managed heap, and why a local delegate can still allocate.
Runtime async changes where suspension is represented. A real two-library .NET 11 lab shows smaller compiler artifacts and lower allocation on some paths, while a controlled suspension case resists a universal speedup claim.
A real ASP.NET and Microsoft.Extensions.AI fixture compares two proposal paths through one validator, preserves every failed revision, and makes explicit review the boundary of accepted work.
A small local reference makes admission, retry, journal state and shutdown observable; a compiled Azure candidate preserves the distinction between mapping and deployment.
An agent can explain why it wants to perform an action without establishing that it may perform it. It can produce a well-formed tool call without establishing that the arguments are safe. It can report success without proving that the external effect occurred exactly once.
A versioned local deployment recipe records its prerequisites, owned resources, observed HTTP results and cleanup, making its verification date a claim about an actual run.