[woksin]

Changed

• The native runner, Cratis.Specifications.Runner, is no longer experimental. Its package, options and behavior now follow the same versioning as the rest of the Specifications packages. The documentation also states that a hard IDE stop suppresses the skipped results for facts that never started. (Graduate the native runner from experimental #77)

[woksin]

Reviewer notes

• Graduation evidence for Graduate the native runner from experimental #77, all independently second-reviewed and posted on the issue:
  • AOT benchmark: 0.115 s for 2,500 facts with zero AOT warnings. JIT runner 1.18 s vs xUnit MTP 1.83 s (run 40174768971).
  • Fundamentals: hosted parity of 887/887 identities and outcomes (Fundamentals run 40183739733).
  • NativeAOT with the runner, after Fundamentals v7.26.2 and v7.26.3: Fundamentals.AOT.Specs 26/26 and OpenTelemetry.Specs 94/94 natively, with JIT parity.
  • Lifecycle: 12 cases × 6 adapters in CI, plus a real MTP Stop proof (Report native runner teardown failures separately and document the runner #93, Align runner lifecycle cancellation and prove lifecycle behavior across adapters #95).
  • IDE support is documented from vendor docs; manual IDE verification was waived on the issue.
• Text and metadata only: README, Documentation/runner.md, running-fast.md and the Runner.csproj description. Anchors now point at the renamed README heading.
• Left as is: the shared-resources CRSPECEXP01 experimental API (a separate feature) and the upstream MTP TPEXP suppression.
• Local: Release build 0 warnings; the packed nuspec description no longer says experimental. The repo has no markdown or link-check workflow.
• Review: quick (Sol) and full (Opus and Sol) passed with no findings.