diff --git a/Directory.Build.props b/Directory.Build.props
new file mode 100644
index 0000000..0ff213c
--- /dev/null
+++ b/Directory.Build.props
@@ -0,0 +1,10 @@
+
+
+ net8.0
+ x64
+ enable
+ enable
+ true
+ latest
+
+
diff --git a/Directory.Build.targets b/Directory.Build.targets
new file mode 100644
index 0000000..058246e
--- /dev/null
+++ b/Directory.Build.targets
@@ -0,0 +1 @@
+
diff --git a/Launcher.Next.App/App.xaml b/Launcher.Next.App/App.xaml
new file mode 100644
index 0000000..48fd616
--- /dev/null
+++ b/Launcher.Next.App/App.xaml
@@ -0,0 +1 @@
+
diff --git a/Launcher.Next.App/App.xaml.cs b/Launcher.Next.App/App.xaml.cs
new file mode 100644
index 0000000..6225945
--- /dev/null
+++ b/Launcher.Next.App/App.xaml.cs
@@ -0,0 +1,6 @@
+namespace Launcher.Next.App;
+public partial class App : System.Windows.Application
+{
+ protected override async void OnStartup(System.Windows.StartupEventArgs e)
+ { base.OnStartup(e); if (e.Args.FirstOrDefault()?.Equals("pilot", StringComparison.OrdinalIgnoreCase) == true) { Shutdown(await PilotCli.RunAsync(e.Args.Skip(1).ToArray())); return; } new MainWindow().Show(); }
+}
diff --git a/Launcher.Next.App/Launcher.Next.App.csproj b/Launcher.Next.App/Launcher.Next.App.csproj
new file mode 100644
index 0000000..a17b4b9
--- /dev/null
+++ b/Launcher.Next.App/Launcher.Next.App.csproj
@@ -0,0 +1 @@
+WinExenet8.0-windowstruetrue
diff --git a/Launcher.Next.App/MainWindow.xaml b/Launcher.Next.App/MainWindow.xaml
new file mode 100644
index 0000000..d43cfdb
--- /dev/null
+++ b/Launcher.Next.App/MainWindow.xaml
@@ -0,0 +1 @@
+
diff --git a/Launcher.Next.App/MainWindow.xaml.cs b/Launcher.Next.App/MainWindow.xaml.cs
new file mode 100644
index 0000000..2b0bbe3
--- /dev/null
+++ b/Launcher.Next.App/MainWindow.xaml.cs
@@ -0,0 +1 @@
+namespace Launcher.Next.App; public partial class MainWindow : System.Windows.Window { public MainWindow() => InitializeComponent(); }
diff --git a/Launcher.Next.App/PilotCli.cs b/Launcher.Next.App/PilotCli.cs
new file mode 100644
index 0000000..bb068a7
--- /dev/null
+++ b/Launcher.Next.App/PilotCli.cs
@@ -0,0 +1,269 @@
+using System;
+using System.Collections.Generic;
+using System.Diagnostics;
+using System.IO;
+using System.Linq;
+using System.Security.Cryptography;
+using System.Text;
+using System.Text.Json;
+using Launcher.Next.Autodesk;
+using Launcher.Next.Core;
+using Launcher.Next.Infrastructure;
+
+namespace Launcher.Next.App;
+
+internal static class PilotCli
+{
+ private const int Success = 0, Blocked = 2, DiscoveryFailed = 3, AcadRunning = 4, SessionConflict = 5, ProcessFailed = 6, RollbackAfterExitFailed = 7, ExplicitRollbackFailed = 8, Unexpected = 10;
+
+ public static async Task RunAsync(string[] args)
+ {
+ try
+ {
+ if (args.Length == 0 || args[0] is not ("prepare" or "run" or "status" or "rollback" or "automate-first-apply")) return Blocked;
+ if (args[0] == "automate-first-apply") return await AutomateFirstApplyAsync(args.Skip(1).ToArray());
+ var command = args[0];
+ if (!TryParse(command, args.Skip(1).ToArray(), out var options, out var error)) return Fail(Blocked, error!);
+ var root = options.PilotRoot!;
+ if (command == "status") return await StatusAsync(root);
+ if (command == "rollback") return await RollbackAsync(root);
+ if (!TryReadConfiguration(root, out var config, out error)) return Fail(Blocked, error!);
+ if (!string.Equals(config.PilotRoot, root, StringComparison.OrdinalIgnoreCase)) return Fail(Blocked, "PILOT_ROOT_CONFIGURATION_MISMATCH");
+ if (!TryBuildManifest(options.PackageSource!, options.EntryAssembly!, out var manifest, out var manifestHash, out error)) return Fail(Blocked, error!);
+ Directory.CreateDirectory(Path.Combine(root, "catalog"));
+ await File.WriteAllTextAsync(Path.Combine(root, "catalog", "P_Rec_Annot.manifest.json"), JsonSerializer.Serialize(manifest));
+ if (!File.Exists(@"C:\Program Files\Autodesk\AutoCAD 2026\acad.exe")) return Fail(DiscoveryFailed, "PLANT3D_2026_NOT_FOUND");
+ if (command == "run" && File.Exists(SessionPath(root)) && await HasActiveSession(root)) return await HandleExistingSession(root);
+ var service = CreateService();
+ var product = new ProductInstallation(@"C:\Program Files\Autodesk\AutoCAD 2026\acad.exe", "2026", "x64", []);
+ var request = new PilotPreparationRequest(config, product, manifest!, manifestHash!, options.PackageSource!, root, Path.Combine(root, "startup", "prepare-only.scr"));
+ var prepared = await service.PrepareAsync(request, CancellationToken.None);
+ if (prepared.Plan is null) return Fail(prepared.SafetyDecision.Violations.Contains("ACAD_ALREADY_RUNNING") ? AcadRunning : Blocked, string.Join(',', prepared.SafetyDecision.Violations));
+ PrintPlan(prepared.Plan);
+ if (command == "prepare") return Success;
+ var sessionScript = Path.Combine(root, "startup", Guid.NewGuid().ToString("N") + ".scr");
+ request = request with { StartupScriptPath = sessionScript };
+ prepared = await service.PrepareAsync(request, CancellationToken.None);
+ if (prepared.Plan is null) return Fail(prepared.SafetyDecision.Violations.Contains("ACAD_ALREADY_RUNNING") ? AcadRunning : Blocked, string.Join(',', prepared.SafetyDecision.Violations));
+ var permits = PermitService;
+ var permit = permits.Issue(prepared.Plan, config.ExecutionPermitLifetimeSeconds);
+ var execution = await service.ExecuteAsync(new(request, prepared.Plan, permit), CancellationToken.None);
+ if (!execution.Started) return Fail(execution.BlockCode == "ACAD_ALREADY_RUNNING" ? AcadRunning : ProcessFailed, execution.BlockCode ?? "PROCESS_START_FAILED");
+ Console.WriteLine($"Plant 3D запущен. PID: {execution.ProcessId}. P_Rec_Annot загружается через startup script.");
+ if (!options.WaitForExit) return Success;
+ try
+ {
+ await WaitForExitAsync(execution.ProcessId!.Value);
+ Console.WriteLine("Plant 3D завершён штатно.");
+ }
+ catch (Exception ex)
+ {
+ Console.Error.WriteLine($"PROCESS_WAIT_FAILED: {ex.Message}");
+ return ProcessFailed;
+ }
+ finally
+ {
+ if (options.RollbackAfterExit)
+ {
+ var rollback = await service.RollbackAsync(new(root, manifest!.PackageId, manifest.Version, execution.StartupScriptPath!, null, execution.SessionId, execution.ActivationSnapshotPath), CancellationToken.None);
+ if (!rollback.Completed) Console.Error.WriteLine(rollback.ErrorCode ?? "ROLLBACK_FAILED");
+ }
+ }
+ return await IsRolledBack(root) ? Success : RollbackAfterExitFailed;
+ }
+ catch (Exception ex) { return Fail(Unexpected, ex.Message); }
+ }
+
+ private static readonly IExecutionPermitService PermitService = new ExecutionPermitService();
+
+ private sealed record AutomationOptions(string PackageSource, string EntryAssembly, string PilotRoot, string FixtureMarker, string OrthoDrawing, string ModelDrawing, string EvidenceRoot);
+ private sealed record PreviewEvidence(bool Completed, bool? CommandsCompleted, bool? InspectorsCompleted, bool? EvidenceFlushed, string? PlanIdRun1, string? PlanIdRun2, bool? PlanIdsEqual, int? EligibleCandidateCount, string? SelectedCandidateHash);
+ private sealed record ApplyEvidence(bool Completed, bool? CommandsCompleted, bool? InspectorsCompleted, bool? EvidenceFlushed, bool? PermitAccepted, string? ApplyOutcomeRun1, string? ApplyOutcomeRun2, object? Baseline, object? AfterCommand1, object? AfterCommand2, object? AfterUndo);
+ private sealed record ApplyPermit(bool AllowApply, string FixtureMarkerPath, string TargetSnapshotId, string ExpectedPlanId, string VisibilityState);
+ private sealed record AutomationSessionResult(bool Started, bool GracefulExitVerified, bool ForcedCleanupUsed, bool RollbackVerified, bool EvidenceCompleted);
+
+ private static async Task AutomateFirstApplyAsync(string[] args)
+ {
+ if (!TryParseAutomation(args, out var options, out var error)) return Fail(Blocked, error!);
+ if (!TryReadConfiguration(options.PilotRoot, out var baseConfig, out error)) return Fail(Blocked, error!);
+ if (baseConfig.LauncherMode != LauncherMode.NextPilot || !baseConfig.PilotEnabled || !baseConfig.AllowProcessStart || !baseConfig.RequireExplicitExecute || !baseConfig.ForceAfterEvidence) return Fail(Blocked, "AUTOMATION_SAFETY_GATE_REJECTED");
+ if (!TryBuildManifest(options.PackageSource, options.EntryAssembly, out var manifest, out var manifestHash, out error)) return Fail(Blocked, error!);
+ if (Process.GetProcessesByName("acad").Any()) return Fail(AcadRunning, "ACAD_ALREADY_RUNNING");
+ Directory.CreateDirectory(options.EvidenceRoot);
+ var before = ContentHashes(options.FixtureMarker);
+ var previewConfigPath = Path.Combine(options.EvidenceRoot, "automation-preview.config.json");
+ var previewEvidence = Path.Combine(options.EvidenceRoot, "preview-result.json");
+ await File.WriteAllTextAsync(previewConfigPath, JsonSerializer.Serialize(new { phase = "Preview", orthoDrawingPath = options.OrthoDrawing, modelDrawingPath = options.ModelDrawing, evidencePath = previewEvidence, fixtureMarkerPath = options.FixtureMarker }));
+ await File.WriteAllTextAsync(previewEvidence, "{\"completed\":false}");
+ var previewConfig = baseConfig with { PluginExecutionMode = PluginExecutionMode.DryRun, AllowApply = false, ApplyPermitPath = null, AutomationMode = "FirstLimitedApplyRuntimeTest", AutomationConfigurationPath = previewConfigPath };
+ var previewSession = await RunAutomationSession(previewConfig, manifest!, manifestHash!, options, "preview", previewEvidence);
+ if (!previewSession.Started || !previewSession.RollbackVerified || !previewSession.EvidenceCompleted) return Fail(ProcessFailed, "AUTOMATION_PREVIEW_SESSION_FAILED");
+ var preview = JsonSerializer.Deserialize(await File.ReadAllTextAsync(previewEvidence), new JsonSerializerOptions { PropertyNameCaseInsensitive = true });
+ if (preview is null || !preview.Completed || preview.CommandsCompleted != true || preview.InspectorsCompleted != true || preview.EvidenceFlushed != true || preview.PlanIdRun1 is null || preview.PlanIdRun1 != preview.PlanIdRun2 || preview.PlanIdsEqual != true || preview.EligibleCandidateCount is not > 0 || string.IsNullOrWhiteSpace(preview.SelectedCandidateHash)) return Fail(Blocked, "AUTOMATION_PREVIEW_EVIDENCE_INVALID");
+ if (!HashesEqual(before, ContentHashes(options.FixtureMarker))) return Fail(Blocked, "AUTOMATION_PREVIEW_CONTENT_CHANGED");
+ var permitPath = Path.Combine(options.EvidenceRoot, "apply-permit.json");
+ await File.WriteAllTextAsync(permitPath, JsonSerializer.Serialize(new ApplyPermit(true, options.FixtureMarker, preview.SelectedCandidateHash, preview.PlanIdRun1, "Visible")));
+ var applyConfigPath = Path.Combine(options.EvidenceRoot, "automation-apply.config.json");
+ var applyEvidence = Path.Combine(options.EvidenceRoot, "apply-result.json");
+ await File.WriteAllTextAsync(applyConfigPath, JsonSerializer.Serialize(new { phase = "Apply", orthoDrawingPath = options.OrthoDrawing, modelDrawingPath = options.ModelDrawing, evidencePath = applyEvidence, fixtureMarkerPath = options.FixtureMarker }));
+ await File.WriteAllTextAsync(applyEvidence, "{\"completed\":false}");
+ var applyConfig = baseConfig with { PluginExecutionMode = PluginExecutionMode.Apply, AllowApply = true, ApplyPermitPath = permitPath, AutomationMode = "FirstLimitedApplyRuntimeTest", AutomationConfigurationPath = applyConfigPath };
+ var applySession = await RunAutomationSession(applyConfig, manifest!, manifestHash!, options, "apply", applyEvidence);
+ var hashesEqual = HashesEqual(before, ContentHashes(options.FixtureMarker));
+ var apply = File.Exists(applyEvidence) ? JsonSerializer.Deserialize(await File.ReadAllTextAsync(applyEvidence), new JsonSerializerOptions { PropertyNameCaseInsensitive = true }) : null;
+ if (File.Exists(permitPath)) File.Delete(permitPath);
+ var applyVerified = apply is { Completed: true, CommandsCompleted: true, InspectorsCompleted: true, EvidenceFlushed: true, PermitAccepted: true, ApplyOutcomeRun1: "Created", ApplyOutcomeRun2: "AlreadyExists" } && apply.Baseline is not null && apply.AfterCommand1 is not null && apply.AfterCommand2 is not null && apply.AfterUndo is not null;
+ return applySession.Started && applySession.RollbackVerified && applySession.EvidenceCompleted && applyVerified && hashesEqual ? Success : Fail(ProcessFailed, !hashesEqual ? "AUTOMATION_CONTENT_CHANGED" : "AUTOMATION_APPLY_EVIDENCE_INVALID");
+ }
+
+ private static async Task RunAutomationSession(PilotLocalConfiguration config, PackageManifest manifest, string manifestHash, AutomationOptions options, string phase, string evidencePath)
+ {
+ var service = CreateService(); var product = new ProductInstallation(@"C:\Program Files\Autodesk\AutoCAD 2026\acad.exe", "2026", "x64", []);
+ var request = new PilotPreparationRequest(config, product, manifest, manifestHash, options.PackageSource, options.PilotRoot, Path.Combine(options.PilotRoot, "startup", phase + ".scr"));
+ var prepared = await service.PrepareAsync(request, CancellationToken.None); if (prepared.Plan is null) return new(false, false, false, false, false);
+ var execution = await service.ExecuteAsync(new(request, prepared.Plan, PermitService.Issue(prepared.Plan, config.ExecutionPermitLifetimeSeconds)), CancellationToken.None); if (!execution.Started || execution.ProcessId is null) return new(false, false, false, false, false);
+ var forcedCleanup = false;
+ var gracefulExit = false;
+ try
+ {
+ var exit = WaitForExitAsync(execution.ProcessId.Value);
+ if (!config.ForceAfterEvidence) { await exit; gracefulExit = true; }
+ else
+ {
+ // The graceful-exit timeout is deliberately measured only after
+ // terminal evidence is durable. Killing an active AutoCAD
+ // command before that boundary would turn ForceAfterEvidence
+ // into an unsafe general process killer.
+ while (!exit.IsCompleted && !HasCompletedEvidence(evidencePath))
+ await Task.Delay(TimeSpan.FromSeconds(1));
+ if (exit.IsCompleted) gracefulExit = true;
+ else
+ {
+ var timeout = Task.Delay(TimeSpan.FromSeconds(Math.Clamp(config.GracefulExitTimeoutSeconds, 1, 120)));
+ if (await Task.WhenAny(exit, timeout) == exit) gracefulExit = true;
+ else
+ {
+ using var process = Process.GetProcessById(execution.ProcessId.Value);
+ if (!process.HasExited) { process.Kill(entireProcessTree: true); forcedCleanup = true; }
+ await exit;
+ }
+ }
+ }
+ }
+ finally { await service.RollbackAsync(new(options.PilotRoot, manifest.PackageId, manifest.Version, execution.StartupScriptPath!, null, execution.SessionId, execution.ActivationSnapshotPath), CancellationToken.None); }
+ var evidenceCompleted = HasCompletedEvidence(evidencePath);
+ return new(true, gracefulExit, forcedCleanup, await IsRolledBack(options.PilotRoot), evidenceCompleted);
+ }
+
+ private static bool TryParseAutomation(string[] args, out AutomationOptions options, out string? error)
+ {
+ options = null!; error = null; var d = new Dictionary(StringComparer.OrdinalIgnoreCase);
+ for (var i = 0; i < args.Length; i++) { if (i + 1 >= args.Length || !args[i].StartsWith("--") || !d.TryAdd(args[i], args[++i])) { error = "AUTOMATION_ARGUMENT_INVALID"; return false; } }
+ string? V(string x) => d.GetValueOrDefault(x);
+ if (d.Keys.Except(new[] { "--package-source", "--entry-assembly", "--pilot-root", "--fixture-marker", "--ortho-dwg", "--model-dwg", "--evidence-root" }).Any() || new[] { V("--package-source"), V("--entry-assembly"), V("--pilot-root"), V("--fixture-marker"), V("--ortho-dwg"), V("--model-dwg"), V("--evidence-root") }.Any(string.IsNullOrWhiteSpace)) { error = "AUTOMATION_ARGUMENT_INVALID"; return false; }
+ var paths = new[] { V("--package-source")!, V("--pilot-root")!, V("--fixture-marker")!, V("--ortho-dwg")!, V("--model-dwg")!, V("--evidence-root")! }; if (paths.Any(x => !Path.IsPathFullyQualified(x) || x.StartsWith("\\\\"))) { error = "AUTOMATION_PATH_INVALID"; return false; }
+ options = new(V("--package-source")!, V("--entry-assembly")!, V("--pilot-root")!, V("--fixture-marker")!, V("--ortho-dwg")!, V("--model-dwg")!, V("--evidence-root")!); return true;
+ }
+ private static Dictionary ContentHashes(string marker) { var root = Path.GetDirectoryName(marker)!; return Directory.GetFiles(root, "*", SearchOption.AllDirectories).Where(x => x.EndsWith(".dwg", StringComparison.OrdinalIgnoreCase) || x.EndsWith(".dcf", StringComparison.OrdinalIgnoreCase) || Path.GetFileName(x).Equals("Project.xml", StringComparison.OrdinalIgnoreCase)).OrderBy(x => x, StringComparer.OrdinalIgnoreCase).ToDictionary(x => Path.GetRelativePath(root,x), x => Convert.ToHexString(SHA256.HashData(File.ReadAllBytes(x))), StringComparer.OrdinalIgnoreCase); }
+ private static bool HashesEqual(IReadOnlyDictionary x, IReadOnlyDictionary y) => x.Count == y.Count && x.All(p => y.TryGetValue(p.Key, out var value) && value == p.Value);
+ private static PilotExecutionService CreateService() => new(new PackageManifestValidator(), new PilotRootPolicy(@"C:\AutoCAD User Support"), new NextPilotSafetyGate(), new Sha256FileHasher(), new StartupScriptBuilder(), PermitService, new Probe(), new OperatingSystemProcessInvoker());
+ private static async Task WaitForExitAsync(int processId) { using var process = Process.GetProcessById(processId); await process.WaitForExitAsync(); }
+ private static bool HasCompletedEvidence(string path)
+ {
+ try { using var json = JsonDocument.Parse(File.ReadAllText(path)); return json.RootElement.TryGetProperty("Completed", out var completed) && completed.ValueKind == JsonValueKind.True; }
+ catch { return false; }
+ }
+ private static async Task RollbackAsync(string root)
+ {
+ var result = await CreateService().RollbackAsync(new(root, "P_Rec_Annot", null, string.Empty, null), CancellationToken.None);
+ return result.Completed ? Success : Fail(ExplicitRollbackFailed, result.ErrorCode ?? "ROLLBACK_FAILED");
+ }
+ private static async Task StatusAsync(string root)
+ {
+ var session = SessionPath(root);
+ if (!File.Exists(session)) { Console.WriteLine("State: Clean"); return Success; }
+ using var document = JsonDocument.Parse(await File.ReadAllTextAsync(session));
+ var state = document.RootElement.GetProperty("State").GetString() ?? "Unknown";
+ Console.WriteLine($"State: {state}");
+ return state is "RolledBack" ? Success : SessionConflict;
+ }
+ private static async Task HandleExistingSession(string root)
+ {
+ using var document = JsonDocument.Parse(await File.ReadAllTextAsync(SessionPath(root)));
+ var state = document.RootElement.GetProperty("State").GetString();
+ return state == "RolledBack" ? Success : Fail(SessionConflict, "PILOT_SESSION_ALREADY_ACTIVE");
+ }
+ private static async Task HasActiveSession(string root)
+ {
+ using var document = JsonDocument.Parse(await File.ReadAllTextAsync(SessionPath(root)));
+ return document.RootElement.GetProperty("State").GetString() != "RolledBack";
+ }
+ private static async Task IsRolledBack(string root)
+ {
+ if (!File.Exists(SessionPath(root))) return false;
+ using var document = JsonDocument.Parse(await File.ReadAllTextAsync(SessionPath(root)));
+ return document.RootElement.GetProperty("State").GetString() == "RolledBack";
+ }
+ private static string SessionPath(string root) => Path.Combine(root, "state", "pilot-session.json");
+ private static bool TryReadConfiguration(string root, out PilotLocalConfiguration config, out string? error)
+ {
+ config = PilotLocalConfiguration.SafeDefault; error = null; var path = Path.Combine(root, "config", "pilot.local.json");
+ if (!File.Exists(path)) { error = "PILOT_CONFIGURATION_MISSING"; return false; }
+ var parsed = PilotConfigurationParser.Parse(File.ReadAllText(path)); config = parsed.Configuration;
+ if (!parsed.IsValid) { error = "PILOT_CONFIGURATION_INVALID"; return false; }
+ return true;
+ }
+ private static bool TryBuildManifest(string source, string entry, out PackageManifest? manifest, out string? hash, out string? error)
+ {
+ manifest = null; hash = null; error = null;
+ if (!Directory.Exists(source) || !File.Exists(Path.Combine(source, entry))) { error = "PACKAGE_SOURCE_INVALID"; return false; }
+ var list = new List();
+ foreach (var path in Directory.GetFiles(source, "*", SearchOption.AllDirectories))
+ {
+ var relative = Path.GetRelativePath(source, path);
+ var name = Path.GetFileName(relative);
+ if (relative.StartsWith("..") || IsForbidden(name)) { error = "PACKAGE_FILE_FORBIDDEN"; return false; }
+ using var stream = File.OpenRead(path); var bytes = SHA256.HashData(stream);
+ list.Add(new(relative, new FileInfo(path).Length, Convert.ToHexString(bytes)));
+ }
+ var assemblyVersion = "0.1.0-pilot";
+ try { assemblyVersion = System.Reflection.AssemblyName.GetAssemblyName(Path.Combine(source, entry)).Version?.ToString() ?? assemblyVersion; } catch { }
+ // A pilot version directory is immutable for the duration of its activation.
+ // Bind its name to the validated package content so a rebuilt local bundle
+ // cannot silently reuse a stale directory with the same assembly version.
+ var contentIdentity = Convert.ToHexString(SHA256.HashData(Encoding.UTF8.GetBytes(string.Join("|", list.OrderBy(x => x.Path, StringComparer.OrdinalIgnoreCase).Select(x => $"{x.Path}:{x.Sha256}")))))[..12];
+ var version = assemblyVersion + "-" + contentIdentity;
+ manifest = new PackageManifest(1, "P_Rec_Annot", version, "Plant3D", 2026, "x64", entry, list.OrderBy(x => x.Path, StringComparer.OrdinalIgnoreCase).ToArray(), new("netload", "PHP_REC_ANNOT"), "0.1.0", ["R25.1"], "net8.0-windows", null, null, "pilot", false, true);
+ var json = JsonSerializer.Serialize(manifest); hash = Convert.ToHexString(SHA256.HashData(Encoding.UTF8.GetBytes(json)));
+ return true;
+ }
+ private static bool IsForbidden(string name) => name.EndsWith(".pdb", StringComparison.OrdinalIgnoreCase) || name.EndsWith(".exe", StringComparison.OrdinalIgnoreCase) || name.Contains("test", StringComparison.OrdinalIgnoreCase) || name.StartsWith("Ac", StringComparison.OrdinalIgnoreCase) || name.StartsWith("PnP", StringComparison.OrdinalIgnoreCase) || name.StartsWith("Autodesk.ProcessPower", StringComparison.OrdinalIgnoreCase);
+ private static void PrintPlan(PilotLaunchPlan plan) => Console.WriteLine($"Plan={plan.PlanId}; Package={plan.PackageId}/{plan.PackageVersion}; NETLOAD=1; Args={string.Join(' ', plan.Process.Arguments)}; /p=false");
+ private static int Fail(int code, string error) { Console.Error.WriteLine(error); return code; }
+
+ private sealed record Options(string? PackageSource, string? EntryAssembly, string? PilotRoot, bool WaitForExit, bool RollbackAfterExit);
+ private static bool TryParse(string command, string[] args, out Options options, out string? error)
+ {
+ options = new(null, null, null, false, false); error = null; var values = new Dictionary(StringComparer.OrdinalIgnoreCase); var wait = false; var rollback = false;
+ for (var i = 0; i < args.Length; i++)
+ {
+ var token = args[i];
+ if (token is "--wait-for-exit" or "--rollback-after-exit")
+ {
+ if (command != "run" || (token == "--wait-for-exit" ? wait : rollback)) { error = "PILOT_ARGUMENT_INVALID"; return false; }
+ if (token == "--wait-for-exit") wait = true; else rollback = true; continue;
+ }
+ if (token is not ("--package-source" or "--entry-assembly" or "--pilot-root") || i + 1 >= args.Length || args[i + 1].StartsWith("--") || !values.TryAdd(token, args[++i])) { error = "PILOT_ARGUMENT_INVALID"; return false; }
+ }
+ if (rollback && !wait) { error = "ROLLBACK_AFTER_EXIT_REQUIRES_WAIT"; return false; }
+ if (!values.TryGetValue("--pilot-root", out var root) || !Path.IsPathFullyQualified(root) || root.StartsWith("\\\\")) { error = "PILOT_ROOT_INVALID"; return false; }
+ if (command is "prepare" or "run")
+ {
+ if (!values.TryGetValue("--package-source", out var source) || source is null || !Path.IsPathFullyQualified(source) || source.StartsWith("\\\\") || Path.GetFullPath(source).StartsWith(Path.GetFullPath(root) + Path.DirectorySeparatorChar, StringComparison.OrdinalIgnoreCase)) { error = "PACKAGE_SOURCE_INVALID"; return false; }
+ if (!values.TryGetValue("--entry-assembly", out var entry) || entry is null || !string.Equals(Path.GetFileName(entry), entry, StringComparison.Ordinal) || entry.Contains("..", StringComparison.Ordinal)) { error = "ENTRY_ASSEMBLY_INVALID"; return false; }
+ }
+ else if (values.Keys.Any(x => x != "--pilot-root")) { error = "PILOT_ARGUMENT_INVALID"; return false; }
+ options = new(values.GetValueOrDefault("--package-source"), values.GetValueOrDefault("--entry-assembly"), root, wait, rollback); return true;
+ }
+ private sealed class Probe : IAutoCadProcessProbe { public bool IsAcadRunning() => Process.GetProcessesByName("acad").Any(); }
+}
diff --git a/Launcher.Next.Application/Launcher.Next.Application.csproj b/Launcher.Next.Application/Launcher.Next.Application.csproj
new file mode 100644
index 0000000..bfbb671
--- /dev/null
+++ b/Launcher.Next.Application/Launcher.Next.Application.csproj
@@ -0,0 +1 @@
+
diff --git a/Launcher.Next.Application/PrepareLaunchUseCase.cs b/Launcher.Next.Application/PrepareLaunchUseCase.cs
new file mode 100644
index 0000000..8236250
--- /dev/null
+++ b/Launcher.Next.Application/PrepareLaunchUseCase.cs
@@ -0,0 +1,14 @@
+using Launcher.Next.Core;
+namespace Launcher.Next.Application;
+public sealed class PrepareLaunchUseCase(IProductDiscovery discovery, IAutodeskProcessLauncher launcher, ILauncherTelemetry telemetry)
+{
+ public PreparedLaunch Execute(int year, string profile, string scriptPath)
+ {
+ telemetry.Write("ProductDiscoveryStarted");
+ var product = discovery.DiscoverPlant3D(year) ?? throw new InvalidOperationException("PLANT_PRODUCT_NOT_FOUND");
+ telemetry.Write("ProductDiscovered", new Dictionary { ["version"] = product.ProductVersion, ["architecture"] = product.Architecture });
+ var prepared = launcher.Prepare(new(product, profile, scriptPath, true));
+ telemetry.Write("LaunchPrepared", new Dictionary { ["dryRun"] = true });
+ return prepared;
+ }
+}
diff --git a/Launcher.Next.Autodesk/AutodeskAdapters.cs b/Launcher.Next.Autodesk/AutodeskAdapters.cs
new file mode 100644
index 0000000..cc8edf1
--- /dev/null
+++ b/Launcher.Next.Autodesk/AutodeskAdapters.cs
@@ -0,0 +1,44 @@
+using Microsoft.Win32;
+using Launcher.Next.Core;
+namespace Launcher.Next.Autodesk;
+public interface IRegistryReader { object? GetValue(string path, string name); }
+public sealed class WindowsRegistryReader : IRegistryReader { public object? GetValue(string path, string name) => Registry.LocalMachine.OpenSubKey(path)?.GetValue(name); }
+public sealed class PlantProductDiscovery(IRegistryReader registry) : IProductDiscovery
+{
+ public ProductInstallation? DiscoverPlant3D(int year)
+ {
+ var install = registry.GetValue($@"SOFTWARE\Autodesk\AutoCAD\R25.1\ACAD-xxxx:409", "InstallDir") as string;
+ if (string.IsNullOrWhiteSpace(install)) return null; var exe = Path.Combine(install, "acad.exe");
+ return File.Exists(exe) ? new(exe, year.ToString(), "x64", []) : null;
+ }
+}
+public sealed class StartupScriptBuilder : IStartupScriptBuilder
+{
+ public string BuildNetloadScript(string root, string entry)
+ { var full = Path.GetFullPath(Path.Combine(root, entry)); if (!full.StartsWith(Path.GetFullPath(root) + Path.DirectorySeparatorChar, StringComparison.OrdinalIgnoreCase) || !File.Exists(full)) throw new InvalidOperationException("UNTRUSTED_ENTRY_PATH"); return $"_.NETLOAD\n\"{full.Replace("\"", "\\\"")}\"\n"; }
+ public string BuildAutomationScript(string root, string entry, string fixtureOrthoDwg)
+ {
+ var fixture = Path.GetFullPath(fixtureOrthoDwg);
+ if (!File.Exists(fixture)) throw new InvalidOperationException("AUTOMATION_FIXTURE_NOT_FOUND");
+ var quote = (string value) => "\"" + value.Replace("\"", "\\\"") + "\"";
+ return "_.OPEN\n" + quote(fixture) + "\n" + BuildNetloadScript(root, entry) +
+ "PHP_REC_AUTOMATION_PREPARE\nPXP-OA\nPXP-OA\nPHP_REC_AUTOMATION_FINALIZE\n";
+ }
+}
+public sealed class DryRunAutodeskProcessLauncher : IAutodeskProcessLauncher
+{
+ public PreparedLaunch Prepare(LaunchRequest r)
+ {
+ if (!r.DryRun) throw new InvalidOperationException("PROCESS_START_DISABLED_IN_FOUNDATION");
+ var startInfo = new System.Diagnostics.ProcessStartInfo
+ {
+ FileName = r.Product.ExecutablePath,
+ WorkingDirectory = Path.GetDirectoryName(r.Product.ExecutablePath)!,
+ UseShellExecute = false
+ };
+ startInfo.ArgumentList.Add("/product"); startInfo.ArgumentList.Add("PLNT3D");
+ startInfo.ArgumentList.Add("/p"); startInfo.ArgumentList.Add(r.Profile);
+ startInfo.ArgumentList.Add("/b"); startInfo.ArgumentList.Add(r.StartupScriptPath);
+ return new(startInfo.FileName, startInfo.ArgumentList.ToArray(), startInfo.WorkingDirectory, false);
+ }
+}
diff --git a/Launcher.Next.Autodesk/Launcher.Next.Autodesk.csproj b/Launcher.Next.Autodesk/Launcher.Next.Autodesk.csproj
new file mode 100644
index 0000000..ef4ca42
--- /dev/null
+++ b/Launcher.Next.Autodesk/Launcher.Next.Autodesk.csproj
@@ -0,0 +1 @@
+net8.0-windows
diff --git a/Launcher.Next.Core/Contracts.cs b/Launcher.Next.Core/Contracts.cs
new file mode 100644
index 0000000..80efd12
--- /dev/null
+++ b/Launcher.Next.Core/Contracts.cs
@@ -0,0 +1,35 @@
+namespace Launcher.Next.Core;
+
+public enum LauncherMode { Legacy, DryRun, NextPilot, NextPreferred }
+public enum PluginExecutionMode { Smoke, DryRun, Apply }
+public sealed record ProductInstallation(string ExecutablePath, string ProductVersion, string Architecture, IReadOnlyList Profiles);
+public sealed record PackageFile(string Path, long Length, string Sha256, bool Optional = false);
+public sealed record StartupDefinition(string Type, string Command);
+public sealed record PackageManifest(
+ int SchemaVersion, string PackageId, string Version, string Product, int ProductYear,
+ string Architecture, string EntryAssembly, IReadOnlyList Files, StartupDefinition Startup,
+ string? MinimumLauncherVersion = null, IReadOnlyList? CompatibleAutoCadSeries = null,
+ string? RequiredRuntime = null, IReadOnlyList? Dependencies = null,
+ IReadOnlyList? OptionalResources = null, string? RolloutChannel = null,
+ bool Disabled = false, bool RollbackSafe = false, string? ReleaseNotesReference = null);
+public sealed record ValidationIssue(string Code, string Message);
+public sealed record ValidationResult(IReadOnlyList Issues)
+{ public bool IsValid => Issues.Count == 0; public static ValidationResult Success { get; } = new([]); }
+public sealed record PackageProgress(string Stage, int Completed, int Total);
+public sealed record ActivationResult(string CurrentVersion, string? PreviousVersion);
+public sealed record LaunchRequest(ProductInstallation Product, string Profile, string StartupScriptPath, bool DryRun);
+public sealed record PreparedLaunch(string Executable, IReadOnlyList Arguments, string WorkingDirectory, bool WouldStart);
+
+public interface IProductDiscovery { ProductInstallation? DiscoverPlant3D(int year); }
+public interface IPackageCatalogClient { Task GetManifestAsync(string packageId, CancellationToken cancellationToken); }
+public interface IPackageManifestValidator { ValidationResult Validate(PackageManifest manifest, int productYear, string architecture); }
+public interface IPackageSynchronizer { Task SynchronizeAsync(PackageManifest manifest, string sourceRoot, CancellationToken cancellationToken, IProgress? progress = null); }
+public interface ILocalPackageStore { Task GetCurrentVersionAsync(string packageId, CancellationToken cancellationToken); Task GetPreviousVersionAsync(string packageId, CancellationToken cancellationToken); }
+public interface IPackageActivator { Task ActivateAsync(string packageId, string version, CancellationToken cancellationToken); }
+public interface IRollbackManager { Task RollbackAsync(string packageId, CancellationToken cancellationToken); }
+public interface IAutodeskProcessLauncher { PreparedLaunch Prepare(LaunchRequest request); }
+public interface IStartupScriptBuilder { string BuildNetloadScript(string validatedPackageRoot, string entryAssembly); string BuildAutomationScript(string validatedPackageRoot, string entryAssembly, string fixtureOrthoDwg); }
+public interface ILauncherConfigurationProvider { LauncherMode GetMode(); }
+public interface ILauncherTelemetry { void Write(string eventType, IReadOnlyDictionary? fields = null); }
+public interface IClock { DateTimeOffset UtcNow { get; } }
+public interface IFileHasher { Task Sha256Async(string path, CancellationToken cancellationToken); }
diff --git a/Launcher.Next.Core/Launcher.Next.Core.csproj b/Launcher.Next.Core/Launcher.Next.Core.csproj
new file mode 100644
index 0000000..6b512ec
--- /dev/null
+++ b/Launcher.Next.Core/Launcher.Next.Core.csproj
@@ -0,0 +1 @@
+
diff --git a/Launcher.Next.Core/ManifestValidator.cs b/Launcher.Next.Core/ManifestValidator.cs
new file mode 100644
index 0000000..c1284f4
--- /dev/null
+++ b/Launcher.Next.Core/ManifestValidator.cs
@@ -0,0 +1,27 @@
+using System.Text.RegularExpressions;
+
+namespace Launcher.Next.Core;
+
+public sealed class PackageManifestValidator : IPackageManifestValidator
+{
+ private static readonly string[] Forbidden = ["acmgd.dll", "acdbmgd.dll", "accoremgd.dll", "adwindows.dll"];
+ public ValidationResult Validate(PackageManifest manifest, int productYear, string architecture)
+ {
+ var issues = new List();
+ if (manifest.SchemaVersion != 1) issues.Add(new("schema", "Unsupported schemaVersion."));
+ if (string.IsNullOrWhiteSpace(manifest.PackageId) || string.IsNullOrWhiteSpace(manifest.Version)) issues.Add(new("identity", "packageId and version are required."));
+ if (!string.Equals(manifest.Product, "Plant3D", StringComparison.OrdinalIgnoreCase) || manifest.ProductYear != productYear) issues.Add(new("product", "Package is incompatible with Plant 3D."));
+ if (!string.Equals(manifest.Architecture, architecture, StringComparison.OrdinalIgnoreCase)) issues.Add(new("architecture", "Package architecture is incompatible."));
+ var paths = new HashSet(StringComparer.OrdinalIgnoreCase);
+ foreach (var file in manifest.Files)
+ {
+ if (string.IsNullOrWhiteSpace(file.Path) || Path.IsPathRooted(file.Path) || file.Path.Split(['/', '\\']).Any(x => x is ".." or "")) issues.Add(new("path", $"Invalid package path: {file.Path}"));
+ if (!paths.Add(file.Path)) issues.Add(new("duplicate", $"Duplicate package path: {file.Path}"));
+ var name = Path.GetFileName(file.Path);
+ if (Forbidden.Contains(name, StringComparer.OrdinalIgnoreCase) || name.StartsWith("PnP", StringComparison.OrdinalIgnoreCase) || name.StartsWith("Autodesk.ProcessPower", StringComparison.OrdinalIgnoreCase)) issues.Add(new("autodesk", $"Forbidden Autodesk assembly: {name}"));
+ if (!Regex.IsMatch(file.Sha256 ?? string.Empty, "^[A-Fa-f0-9]{64}$")) issues.Add(new("hash", $"Invalid SHA-256 for {file.Path}"));
+ }
+ if (!paths.Contains(manifest.EntryAssembly)) issues.Add(new("entry", "entryAssembly must be listed in files."));
+ return issues.Count == 0 ? ValidationResult.Success : new ValidationResult(issues);
+ }
+}
diff --git a/Launcher.Next.Core/NextPilot.cs b/Launcher.Next.Core/NextPilot.cs
new file mode 100644
index 0000000..aa96f6e
--- /dev/null
+++ b/Launcher.Next.Core/NextPilot.cs
@@ -0,0 +1,82 @@
+using System.Security.Cryptography;
+using System.Text;
+using System.Text.Json;
+using System.Text.Json.Serialization;
+
+namespace Launcher.Next.Core;
+
+public sealed record PilotLocalConfiguration
+{
+ public int SchemaVersion { get; init; }
+ public LauncherMode LauncherMode { get; init; } = LauncherMode.DryRun;
+ public bool PilotEnabled { get; init; }
+ public bool AllowProcessStart { get; init; }
+ public bool RequireExplicitExecute { get; init; } = true;
+ public PluginExecutionMode PluginExecutionMode { get; init; } = PluginExecutionMode.Smoke;
+ // Apply is never a normal pilot default. It is accepted only by this
+ // dedicated test branch and still requires the plugin-side fixture permit.
+ public bool AllowApply { get; init; }
+ public string? ApplyPermitPath { get; init; }
+ public string? AutomationMode { get; init; }
+ public string? AutomationConfigurationPath { get; init; }
+ // Test-only: permits a pilot process to be terminated after its plugin has
+ // persisted completed automation evidence. It never represents graceful exit.
+ public bool ForceAfterEvidence { get; init; }
+ public int GracefulExitTimeoutSeconds { get; init; } = 30;
+ public string? PilotRoot { get; init; }
+ public string? SelectedProductId { get; init; }
+ public string? SelectedProfileName { get; init; }
+ public int ExecutionPermitLifetimeSeconds { get; init; } = 300;
+ public static PilotLocalConfiguration SafeDefault { get; } = new();
+}
+public sealed record PilotConfigurationLoadResult(PilotLocalConfiguration Configuration, IReadOnlyList Errors)
+{ public bool IsValid => Errors.Count == 0; }
+public static class PilotConfigurationParser
+{
+ public static PilotConfigurationLoadResult Parse(string? json)
+ {
+ if (string.IsNullOrWhiteSpace(json)) return new(PilotLocalConfiguration.SafeDefault, []);
+ try { var options = new JsonSerializerOptions { PropertyNameCaseInsensitive = true, UnmappedMemberHandling = JsonUnmappedMemberHandling.Disallow }; options.Converters.Add(new JsonStringEnumConverter()); var config = JsonSerializer.Deserialize(json, options);
+ if (config is null || config.SchemaVersion != 1) return new(PilotLocalConfiguration.SafeDefault, ["PILOT_CONFIGURATION_INVALID"]);
+ return new(config, []); }
+ catch (JsonException) { return new(PilotLocalConfiguration.SafeDefault, ["PILOT_CONFIGURATION_INVALID"]); }
+ }
+}
+public sealed record PilotRootValidationResult(bool IsValid, string? NormalizedPath, IReadOnlyList Violations);
+public interface IPilotRootPolicy { PilotRootValidationResult Validate(string candidate); }
+public sealed class PilotRootPolicy(string trustedRoot, string? testRoot = null) : IPilotRootPolicy
+{
+ public PilotRootValidationResult Validate(string candidate)
+ {
+ if (string.IsNullOrWhiteSpace(candidate) || !Path.IsPathFullyQualified(candidate) || candidate.StartsWith("\\\\", StringComparison.Ordinal) || candidate.Contains(':', StringComparison.Ordinal) && candidate.IndexOf(':') != 1) return new(false, null, ["PILOT_ROOT_UNTRUSTED"]);
+ var full = Path.GetFullPath(candidate); var permitted = new[] { trustedRoot, testRoot }.Where(x => !string.IsNullOrWhiteSpace(x)).Select(x => Path.GetFullPath(x!));
+ if (!permitted.Any(x => full.StartsWith(x + Path.DirectorySeparatorChar, StringComparison.OrdinalIgnoreCase)) || full.Contains("Program Files", StringComparison.OrdinalIgnoreCase) || full.Contains("Applications", StringComparison.OrdinalIgnoreCase)) return new(false, null, ["PILOT_ROOT_UNTRUSTED"]);
+ return new(true, full, []);
+ }
+}
+public sealed record AutoCadProfileCandidate(string Name, bool IsCurrent, bool IsPlantSpecific, IReadOnlyList Evidence);
+public interface IAutoCadProfileDiscovery { IReadOnlyList DiscoverProfiles(ProductInstallation product); }
+public static class ProfileSelector
+{
+ public static AutoCadProfileCandidate? Select(IReadOnlyList candidates, string? explicitName, out string? violation)
+ { var eligible = candidates.Where(x => x.IsPlantSpecific && x.Evidence.Count > 0).ToArray(); var selected = explicitName is null ? eligible : eligible.Where(x => string.Equals(x.Name, explicitName, StringComparison.Ordinal)).ToArray(); violation = selected.Length switch { 1 => null, 0 => "PROFILE_NOT_RESOLVED", _ => "PROFILE_AMBIGUOUS" }; return selected.Length == 1 ? selected[0] : null; }
+}
+public sealed record PilotSafetyContext(PilotLocalConfiguration Configuration, ProductInstallation? Product, AutoCadProfileCandidate? Profile, PilotRootValidationResult Root, ValidationResult Manifest, bool HashesValid, bool AutodeskDllPresent, bool AcadRunning);
+public sealed record PilotSafetyDecision(bool IsAllowed, IReadOnlyList Violations);
+public interface INextPilotSafetyGate { PilotSafetyDecision Evaluate(PilotSafetyContext context, bool forExecution); }
+public sealed class NextPilotSafetyGate : INextPilotSafetyGate
+{
+ public PilotSafetyDecision Evaluate(PilotSafetyContext c, bool forExecution)
+ { var v = new List(); if (c.Configuration.LauncherMode != LauncherMode.NextPilot) v.Add("WRONG_LAUNCHER_MODE"); if (!c.Configuration.PilotEnabled) v.Add("PILOT_DISABLED"); if (!c.Configuration.RequireExplicitExecute) v.Add("EXPLICIT_EXECUTE_REQUIRED"); if (c.Configuration.PluginExecutionMode is not (PluginExecutionMode.Smoke or PluginExecutionMode.DryRun or PluginExecutionMode.Apply)) v.Add("PLUGIN_EXECUTION_MODE_NOT_ALLOWED"); if (c.Configuration.PluginExecutionMode == PluginExecutionMode.Apply && !c.Configuration.AllowApply) v.Add("APPLY_NOT_EXPLICITLY_ALLOWED"); if (c.Configuration.PluginExecutionMode == PluginExecutionMode.Apply && (!Path.IsPathFullyQualified(c.Configuration.ApplyPermitPath ?? string.Empty) || (c.Configuration.ApplyPermitPath ?? string.Empty).StartsWith("\\\\", StringComparison.Ordinal))) v.Add("APPLY_PERMIT_PATH_REQUIRED"); if (c.Configuration.AutomationMode is not null && (!string.Equals(c.Configuration.AutomationMode, "FirstLimitedApplyRuntimeTest", StringComparison.Ordinal) || !Path.IsPathFullyQualified(c.Configuration.AutomationConfigurationPath ?? string.Empty) || (c.Configuration.AutomationConfigurationPath ?? string.Empty).StartsWith("\\\\", StringComparison.Ordinal))) v.Add("AUTOMATION_CONFIGURATION_INVALID"); if (c.Configuration.ForceAfterEvidence && c.Configuration.AutomationMode is null) v.Add("FORCED_CLEANUP_TEST_AUTOMATION_REQUIRED"); if (c.Product is null) v.Add("PRODUCT_NOT_FOUND"); else if (c.Product.ProductVersion != "2026" || c.Product.Architecture != "x64") v.Add("PRODUCT_NOT_PLANT3D_2026"); if (c.Profile is null) v.Add("PROFILE_NOT_RESOLVED"); if (!c.Root.IsValid) v.Add("PILOT_ROOT_UNTRUSTED"); if (!c.Manifest.IsValid) v.Add("MANIFEST_INVALID"); if (c.HashesValid) { } else v.Add("HASH_VALIDATION_FAILED"); if (c.AutodeskDllPresent) v.Add("AUTODESK_DLL_PRESENT"); if (c.AcadRunning) v.Add("ACAD_ALREADY_RUNNING"); if (forExecution && !c.Configuration.AllowProcessStart) v.Add("PROCESS_START_DISABLED"); return new(v.Count == 0, v); }
+}
+public sealed record ProcessLaunchSpecification(string ExecutablePath, IReadOnlyList Arguments, string WorkingDirectory, IReadOnlyDictionary EnvironmentVariables);
+public sealed record PilotLaunchPlan(string PlanId, ProductInstallation Product, AutoCadProfileCandidate Profile, string PackageId, string PackageVersion, string ManifestSha256, string PilotRoot, string VersionDirectory, string EntryAssemblyPath, string StartupScriptPath, string StartupScriptSha256, ProcessLaunchSpecification Process, PilotSafetyDecision SafetyDecision);
+public static class PilotPlanFactory
+{
+ public static PilotLaunchPlan Create(ProductInstallation product, AutoCadProfileCandidate profile, PackageManifest manifest, string manifestHash, string root, string scriptPath, string scriptHash, PilotSafetyDecision decision)
+ { var version = Path.Combine(root, "packages", manifest.PackageId, "versions", manifest.Version); var entry = Path.Combine(version, manifest.EntryAssembly); var args = new List { "/product", "PLNT3D", "/language", "ru-RU" }; if (!string.IsNullOrWhiteSpace(profile.Name)) { args.Add("/p"); args.Add(profile.Name); } args.Add("/b"); args.Add(scriptPath); var process = new ProcessLaunchSpecification(product.ExecutablePath, args, Path.GetDirectoryName(product.ExecutablePath)!, new Dictionary { ["P_REC_ANNOT_RUNTIME_MODE"] = "Smoke" }); var material = string.Join('|', manifest.PackageId, manifest.Version, manifestHash, product.ExecutablePath, profile.Name, entry, scriptHash); var id = Convert.ToHexString(SHA256.HashData(Encoding.UTF8.GetBytes(material))); return new(id, product, profile, manifest.PackageId, manifest.Version, manifestHash, root, version, entry, scriptPath, scriptHash, process, decision); }
+}
+public sealed record ExecutionPermit(string PlanId, string Fingerprint, DateTimeOffset ExpiresAtUtc, Guid Id);
+public interface IExecutionPermitService { ExecutionPermit Issue(PilotLaunchPlan plan, int lifetimeSeconds); bool Validate(ExecutionPermit permit, PilotLaunchPlan plan, DateTimeOffset now); }
+public sealed class ExecutionPermitService : IExecutionPermitService
+{ private readonly HashSet used = []; public ExecutionPermit Issue(PilotLaunchPlan p, int seconds) => new(p.PlanId, p.ManifestSha256 + ":" + p.StartupScriptSha256, DateTimeOffset.UtcNow.AddSeconds(Math.Clamp(seconds, 1, 600)), Guid.NewGuid()); public bool Validate(ExecutionPermit p, PilotLaunchPlan plan, DateTimeOffset now) => !used.Contains(p.Id) && p.ExpiresAtUtc >= now && p.PlanId == plan.PlanId && p.Fingerprint == plan.ManifestSha256 + ":" + plan.StartupScriptSha256 && used.Add(p.Id); }
diff --git a/Launcher.Next.Core/PackageManifestJson.cs b/Launcher.Next.Core/PackageManifestJson.cs
new file mode 100644
index 0000000..67313d6
--- /dev/null
+++ b/Launcher.Next.Core/PackageManifestJson.cs
@@ -0,0 +1,7 @@
+using System.Text.Json;
+namespace Launcher.Next.Core;
+public static class PackageManifestJson
+{
+ private static readonly JsonSerializerOptions Options = new() { PropertyNameCaseInsensitive = true };
+ public static PackageManifest Parse(string json) => JsonSerializer.Deserialize(json, Options) ?? throw new InvalidOperationException("MANIFEST_EMPTY");
+}
diff --git a/Launcher.Next.Core/PilotExecutionContracts.cs b/Launcher.Next.Core/PilotExecutionContracts.cs
new file mode 100644
index 0000000..ffbe04c
--- /dev/null
+++ b/Launcher.Next.Core/PilotExecutionContracts.cs
@@ -0,0 +1,13 @@
+namespace Launcher.Next.Core;
+public sealed record PilotPreparationRequest(PilotLocalConfiguration Configuration, ProductInstallation Product, PackageManifest Manifest, string ManifestHash, string PackageSourceRoot, string PilotRoot, string StartupScriptPath);
+public sealed record PilotPreparationResult(PilotLaunchPlan? Plan, PilotSafetyDecision SafetyDecision);
+public sealed record PilotExecutionRequest(PilotPreparationRequest Preparation, PilotLaunchPlan Plan, ExecutionPermit Permit);
+public sealed record PilotExecutionResult(bool Started, int? ProcessId, string? BlockCode, string? VersionDirectory, string? StartupScriptPath, string? SessionId = null, string? ActivationSnapshotPath = null);
+public sealed record PilotRollbackRequest(string PilotRoot, string PackageId, string? ActivatedVersion, string StartupScriptPath, string? PreviousCurrentContent, string? SessionId = null, string? ActivationSnapshotPath = null);
+public sealed record PilotRollbackResult(bool Completed, string? ErrorCode);
+public interface IPilotExecutionService
+{
+ Task PrepareAsync(PilotPreparationRequest request, CancellationToken cancellationToken);
+ Task ExecuteAsync(PilotExecutionRequest request, CancellationToken cancellationToken);
+ Task RollbackAsync(PilotRollbackRequest request, CancellationToken cancellationToken);
+}
diff --git a/Launcher.Next.Infrastructure/GuardedProcessLauncher.cs b/Launcher.Next.Infrastructure/GuardedProcessLauncher.cs
new file mode 100644
index 0000000..e5b72e4
--- /dev/null
+++ b/Launcher.Next.Infrastructure/GuardedProcessLauncher.cs
@@ -0,0 +1,14 @@
+using System.Diagnostics;
+using Launcher.Next.Core;
+namespace Launcher.Next.Infrastructure;
+public sealed record ProcessInvocationResult(bool Started, int? ProcessId, string? BlockCode);
+public interface IOperatingSystemProcessInvoker { ProcessInvocationResult Start(ProcessLaunchSpecification specification); }
+public interface IAutoCadProcessProbe { bool IsAcadRunning(); }
+public sealed class OperatingSystemProcessInvoker : IOperatingSystemProcessInvoker
+{ public ProcessInvocationResult Start(ProcessLaunchSpecification s) { var info = new ProcessStartInfo { FileName=s.ExecutablePath, WorkingDirectory=s.WorkingDirectory, UseShellExecute=false }; foreach(var a in s.Arguments) info.ArgumentList.Add(a); foreach(var e in s.EnvironmentVariables) info.Environment[e.Key]=e.Value; var p=Process.Start(info); return new(p is not null,p?.Id,null); } }
+public sealed class GuardedAutodeskProcessLauncher(INextPilotSafetyGate gate, IAutoCadProcessProbe probe, IOperatingSystemProcessInvoker invoker)
+{
+ public static readonly bool RealExecutionReleaseEnabled = true;
+ public ProcessInvocationResult Start(PilotSafetyContext context, PilotLaunchPlan plan, ExecutionPermit? permit, IExecutionPermitService permits)
+ { var checkedContext = context with { AcadRunning = probe.IsAcadRunning() }; var decision = gate.Evaluate(checkedContext, true); if (!decision.IsAllowed) return new(false, null, decision.Violations.First()); if (permit is null || !permits.Validate(permit, plan, DateTimeOffset.UtcNow)) return new(false,null,"EXECUTION_PERMIT_MISSING"); if (!RealExecutionReleaseEnabled) return new(false,null,"REAL_EXECUTION_RELEASE_NOT_ENABLED"); return invoker.Start(plan.Process); }
+}
diff --git a/Launcher.Next.Infrastructure/Launcher.Next.Infrastructure.csproj b/Launcher.Next.Infrastructure/Launcher.Next.Infrastructure.csproj
new file mode 100644
index 0000000..bfbb671
--- /dev/null
+++ b/Launcher.Next.Infrastructure/Launcher.Next.Infrastructure.csproj
@@ -0,0 +1 @@
+
diff --git a/Launcher.Next.Infrastructure/LocalPackageStore.cs b/Launcher.Next.Infrastructure/LocalPackageStore.cs
new file mode 100644
index 0000000..e7c2b37
--- /dev/null
+++ b/Launcher.Next.Infrastructure/LocalPackageStore.cs
@@ -0,0 +1,31 @@
+using System.Security.Cryptography;
+using System.Text.Json;
+using Launcher.Next.Core;
+namespace Launcher.Next.Infrastructure;
+
+public sealed class Sha256FileHasher : IFileHasher
+{ public async Task Sha256Async(string path, CancellationToken cancellationToken) { await using var s = File.OpenRead(path); return Convert.ToHexString(await SHA256.HashDataAsync(s, cancellationToken)); } }
+public sealed class LocalPackageStore(string root, IFileHasher hasher) : ILocalPackageStore, IPackageActivator, IRollbackManager, IPackageSynchronizer
+{
+ private sealed record Pointer(string Current, string? Previous);
+ private string PackageRoot(string id) => Path.Combine(root, "Applications", id);
+ private string PointerPath(string id) => Path.Combine(PackageRoot(id), "current.json");
+ private async Task ReadPointer(string id, CancellationToken ct) => File.Exists(PointerPath(id)) ? await JsonSerializer.DeserializeAsync(File.OpenRead(PointerPath(id)), cancellationToken: ct) : null;
+ public async Task GetCurrentVersionAsync(string id, CancellationToken ct) => (await ReadPointer(id, ct))?.Current;
+ public async Task GetPreviousVersionAsync(string id, CancellationToken ct) => (await ReadPointer(id, ct))?.Previous;
+ public async Task ActivateAsync(string id, string version, CancellationToken ct)
+ {
+ var dir = Path.Combine(PackageRoot(id), "versions", version); if (!Directory.Exists(dir)) throw new DirectoryNotFoundException(dir);
+ Directory.CreateDirectory(PackageRoot(id)); var prior = await ReadPointer(id, ct);
+ var temp = PointerPath(id) + ".tmp"; await File.WriteAllTextAsync(temp, JsonSerializer.Serialize(new Pointer(version, prior?.Current)), ct); File.Move(temp, PointerPath(id), true);
+ return new(version, prior?.Current);
+ }
+ public async Task RollbackAsync(string id, CancellationToken ct) { var p = await ReadPointer(id, ct); return p?.Previous is null ? null : (await ActivateAsync(id, p.Previous, ct)).CurrentVersion; }
+ public async Task SynchronizeAsync(PackageManifest manifest, string sourceRoot, CancellationToken ct, IProgress? progress = null)
+ {
+ var staging = Path.Combine(root, "Launcher", "staging", manifest.PackageId + "-" + manifest.Version + "-" + Guid.NewGuid().ToString("N")); Directory.CreateDirectory(staging);
+ try { var i = 0; foreach (var f in manifest.Files) { ct.ThrowIfCancellationRequested(); var source = Path.Combine(sourceRoot, f.Path); var dest = Path.GetFullPath(Path.Combine(staging, f.Path)); if (!dest.StartsWith(Path.GetFullPath(staging) + Path.DirectorySeparatorChar, StringComparison.OrdinalIgnoreCase)) throw new InvalidOperationException("PACKAGE_ROOT_ESCAPE"); Directory.CreateDirectory(Path.GetDirectoryName(dest)!); File.Copy(source, dest, true); if (!string.Equals(await hasher.Sha256Async(dest, ct), f.Sha256, StringComparison.OrdinalIgnoreCase)) throw new InvalidOperationException("HASH_MISMATCH"); progress?.Report(new("copy", ++i, manifest.Files.Count)); }
+ var versionDir = Path.Combine(PackageRoot(manifest.PackageId), "versions", manifest.Version); Directory.CreateDirectory(Path.GetDirectoryName(versionDir)!); if (Directory.Exists(versionDir)) Directory.Delete(staging, true); else Directory.Move(staging, versionDir); return await ActivateAsync(manifest.PackageId, manifest.Version, ct); }
+ catch { if (Directory.Exists(staging)) Directory.Delete(staging, true); throw; }
+ }
+}
diff --git a/Launcher.Next.Infrastructure/PilotExecutionService.cs b/Launcher.Next.Infrastructure/PilotExecutionService.cs
new file mode 100644
index 0000000..f3287e5
--- /dev/null
+++ b/Launcher.Next.Infrastructure/PilotExecutionService.cs
@@ -0,0 +1,181 @@
+using System.Security.Cryptography;
+using System.Text;
+using System.Text.Json;
+using Launcher.Next.Core;
+
+namespace Launcher.Next.Infrastructure;
+
+public sealed class PilotExecutionService(
+ IPackageManifestValidator validator,
+ IPilotRootPolicy rootPolicy,
+ INextPilotSafetyGate gate,
+ IFileHasher hasher,
+ IStartupScriptBuilder scriptBuilder,
+ IExecutionPermitService permits,
+ IAutoCadProcessProbe probe,
+ IOperatingSystemProcessInvoker invoker) : IPilotExecutionService
+{
+ private sealed record Pointer(string Version);
+ private sealed record ActivationSnapshot(
+ string TransactionId, string PackageId, string PackageVersion,
+ string? CurrentContent, string? CurrentSha256,
+ string? PreviousContent, string? PreviousSha256,
+ string VersionDirectory, string StartupScriptPath, string StagingPath);
+ private sealed record PersistedSession(
+ int SchemaVersion, string SessionId, string TransactionId, string State,
+ string PackageId, string PackageVersion, string ManifestSha256,
+ string PilotRoot, string VersionDirectory, string StartupScriptPath,
+ string ActivationSnapshotPath, int? ProcessId, DateTimeOffset? ProcessStartUtc,
+ int? ProcessExitCode, DateTimeOffset CreatedAtUtc, DateTimeOffset UpdatedAtUtc,
+ string? LastErrorCode, string? LastErrorMessage);
+
+ public async Task PrepareAsync(PilotPreparationRequest request, CancellationToken cancellationToken)
+ {
+ cancellationToken.ThrowIfCancellationRequested();
+ var root = rootPolicy.Validate(request.PilotRoot);
+ var validation = validator.Validate(request.Manifest, 2026, "x64");
+ var hashes = await ValidateSource(request.Manifest, request.PackageSourceRoot, cancellationToken);
+ var profile = new AutoCadProfileCandidate(string.Empty, false, true, ["Confirmed Plant 3D launch contract has no /p argument."]);
+ var safety = gate.Evaluate(new(request.Configuration, request.Product, profile, root, validation, hashes, false, probe.IsAcadRunning()), false);
+ if (!safety.IsAllowed) return new(null, safety);
+
+ var futureEntry = Path.Combine(request.PilotRoot, "packages", request.Manifest.PackageId, "versions", request.Manifest.Version, request.Manifest.EntryAssembly);
+ var fixture = request.Configuration.AutomationMode is null ? null : ReadFixtureOrtho(request.Configuration.AutomationConfigurationPath);
+ var content = request.Configuration.AutomationMode is null
+ ? $"_.NETLOAD\n\"{futureEntry.Replace("\"", "\\\"")}\"\n"
+ : $"_.OPEN\n\"{fixture!.Replace("\"", "\\\"")}\"\n_.NETLOAD\n\"{futureEntry.Replace("\"", "\\\"")}\"\nPHP_REC_AUTOMATION_PREPARE\nPXP-OA\nPXP-OA\nPHP_REC_AUTOMATION_FINALIZE\n";
+ var scriptHash = Convert.ToHexString(SHA256.HashData(Encoding.UTF8.GetBytes(content)));
+ var plan = PilotPlanFactory.Create(request.Product, profile, request.Manifest, request.ManifestHash, request.PilotRoot, request.StartupScriptPath, scriptHash, safety);
+ var environment = new Dictionary { ["P_REC_ANNOT_RUNTIME_MODE"] = request.Configuration.PluginExecutionMode.ToString() };
+ if (!string.IsNullOrWhiteSpace(request.Configuration.ApplyPermitPath))
+ environment["P_REC_ANNOT_APPLY_PERMIT_PATH"] = request.Configuration.ApplyPermitPath;
+ if (request.Configuration.AutomationMode is not null)
+ {
+ environment["P_REC_ANNOT_LAUNCHER_MODE"] = "NextPilot";
+ environment["P_REC_ANNOT_AUTOMATION"] = request.Configuration.AutomationMode;
+ environment["P_REC_ANNOT_AUTOMATION_CONFIG"] = request.Configuration.AutomationConfigurationPath!;
+ }
+ return new(plan with { Process = plan.Process with { EnvironmentVariables = environment } }, safety);
+ }
+
+ public async Task ExecuteAsync(PilotExecutionRequest request, CancellationToken cancellationToken)
+ {
+ var plan = request.Plan;
+ var root = rootPolicy.Validate(request.Preparation.PilotRoot);
+ var validation = validator.Validate(request.Preparation.Manifest, 2026, "x64");
+ var hashes = await ValidateSource(request.Preparation.Manifest, request.Preparation.PackageSourceRoot, cancellationToken);
+ var context = new PilotSafetyContext(request.Preparation.Configuration, request.Preparation.Product,
+ new AutoCadProfileCandidate(string.Empty, false, true, ["No profile in confirmed contract."]), root, validation, hashes, false, probe.IsAcadRunning());
+ var decision = gate.Evaluate(context, true);
+ if (!decision.IsAllowed) return new(false, null, decision.Violations.First(), null, null);
+ if (!string.Equals(plan.PlanId, PilotPlanFactory.Create(request.Preparation.Product, context.Profile!, request.Preparation.Manifest, request.Preparation.ManifestHash, request.Preparation.PilotRoot, request.Preparation.StartupScriptPath, plan.StartupScriptSha256, plan.SafetyDecision).PlanId, StringComparison.Ordinal))
+ return new(false, null, "PILOT_PLAN_CHANGED", null, null);
+
+ var sessionId = Guid.NewGuid().ToString("N");
+ var transactionId = Guid.NewGuid().ToString("N");
+ var packageRoot = Path.Combine(plan.PilotRoot, "packages", plan.PackageId);
+ var versionDirectory = plan.VersionDirectory;
+ var staging = Path.Combine(plan.PilotRoot, "staging", transactionId);
+ var scriptPath = Path.Combine(plan.PilotRoot, "startup", sessionId + ".scr");
+ var snapshotPath = Path.Combine(plan.PilotRoot, "state", "transactions", transactionId + ".json");
+ Directory.CreateDirectory(Path.GetDirectoryName(snapshotPath)!);
+ var currentPath = Path.Combine(packageRoot, "current.json");
+ var previousPath = Path.Combine(packageRoot, "previous.json");
+ var current = await ReadTextOrNull(currentPath, cancellationToken);
+ var previous = await ReadTextOrNull(previousPath, cancellationToken);
+ var snapshot = new ActivationSnapshot(transactionId, plan.PackageId, plan.PackageVersion, current, Hash(current), previous, Hash(previous), versionDirectory, scriptPath, staging);
+ await WriteJsonAtomic(snapshotPath, snapshot, cancellationToken);
+ await WriteSession(plan.PilotRoot, new PersistedSession(1, sessionId, transactionId, "Activating", plan.PackageId, plan.PackageVersion, plan.ManifestSha256, plan.PilotRoot, versionDirectory, scriptPath, snapshotPath, null, null, null, DateTimeOffset.UtcNow, DateTimeOffset.UtcNow, null, null), cancellationToken);
+ try
+ {
+ Directory.CreateDirectory(staging);
+ foreach (var file in request.Preparation.Manifest.Files)
+ {
+ cancellationToken.ThrowIfCancellationRequested();
+ var source = Path.Combine(request.Preparation.PackageSourceRoot, file.Path);
+ var target = Path.GetFullPath(Path.Combine(staging, file.Path));
+ if (!target.StartsWith(Path.GetFullPath(staging) + Path.DirectorySeparatorChar, StringComparison.OrdinalIgnoreCase)) throw new InvalidOperationException("PACKAGE_ROOT_ESCAPE");
+ Directory.CreateDirectory(Path.GetDirectoryName(target)!);
+ File.Copy(source, target, true);
+ if (!string.Equals(await hasher.Sha256Async(target, cancellationToken), file.Sha256, StringComparison.OrdinalIgnoreCase)) throw new InvalidOperationException("HASH_VALIDATION_FAILED");
+ }
+ Directory.CreateDirectory(Path.GetDirectoryName(versionDirectory)!);
+ if (Directory.Exists(versionDirectory)) Directory.Delete(staging, true); else Directory.Move(staging, versionDirectory);
+ await WriteTextAtomic(previousPath, current ?? string.Empty, cancellationToken, current is not null);
+ await WriteTextAtomic(currentPath, JsonSerializer.Serialize(new Pointer(plan.PackageVersion)), cancellationToken, true);
+ Directory.CreateDirectory(Path.GetDirectoryName(scriptPath)!);
+ var script = request.Preparation.Configuration.AutomationMode is null
+ ? scriptBuilder.BuildNetloadScript(versionDirectory, request.Preparation.Manifest.EntryAssembly)
+ : scriptBuilder.BuildAutomationScript(versionDirectory, request.Preparation.Manifest.EntryAssembly, ReadFixtureOrtho(request.Preparation.Configuration.AutomationConfigurationPath));
+ await File.WriteAllTextAsync(scriptPath, script, cancellationToken);
+ await WriteSession(plan.PilotRoot, (await ReadSession(plan.PilotRoot, cancellationToken))! with { State = "ProcessStarting", UpdatedAtUtc = DateTimeOffset.UtcNow }, cancellationToken);
+ var result = new GuardedAutodeskProcessLauncher(gate, probe, invoker).Start(context, plan with { StartupScriptPath = scriptPath, Process = plan.Process with { Arguments = ["/product", "PLNT3D", "/language", "ru-RU", "/b", scriptPath], WorkingDirectory = plan.PilotRoot } }, request.Permit, permits);
+ if (!result.Started)
+ {
+ await MarkFailed(plan.PilotRoot, result.BlockCode ?? "PROCESS_START_FAILED", cancellationToken);
+ return new(false, null, result.BlockCode, versionDirectory, scriptPath, sessionId, snapshotPath);
+ }
+ var session = (await ReadSession(plan.PilotRoot, cancellationToken))! with { State = "WaitingForRuntimeCheck", ProcessId = result.ProcessId, ProcessStartUtc = DateTimeOffset.UtcNow, UpdatedAtUtc = DateTimeOffset.UtcNow };
+ await WriteSession(plan.PilotRoot, session, cancellationToken);
+ return new(true, result.ProcessId, null, versionDirectory, scriptPath, sessionId, snapshotPath);
+ }
+ catch (Exception ex)
+ {
+ await MarkFailed(plan.PilotRoot, ex.Message, cancellationToken);
+ throw;
+ }
+ }
+
+ private static string ReadFixtureOrtho(string? automationConfigurationPath)
+ {
+ if (string.IsNullOrWhiteSpace(automationConfigurationPath) || !File.Exists(automationConfigurationPath)) throw new InvalidOperationException("AUTOMATION_CONFIG_MISSING");
+ using var json = JsonDocument.Parse(File.ReadAllText(automationConfigurationPath));
+ if (!json.RootElement.TryGetProperty("orthoDrawingPath", out var value) || string.IsNullOrWhiteSpace(value.GetString())) throw new InvalidOperationException("AUTOMATION_ORTHO_PATH_REQUIRED");
+ return Path.GetFullPath(value.GetString()!);
+ }
+
+ public async Task RollbackAsync(PilotRollbackRequest request, CancellationToken cancellationToken)
+ {
+ try
+ {
+ var session = await ReadSession(request.PilotRoot, cancellationToken);
+ var snapshotPath = request.ActivationSnapshotPath ?? session?.ActivationSnapshotPath;
+ if (string.IsNullOrWhiteSpace(snapshotPath) || !File.Exists(snapshotPath)) return new(false, "ACTIVATION_SNAPSHOT_MISSING");
+ var snapshot = await JsonSerializer.DeserializeAsync(File.OpenRead(snapshotPath), cancellationToken: cancellationToken);
+ if (snapshot is null) return new(false, "ACTIVATION_SNAPSHOT_INVALID");
+ if (session?.ProcessId is int pid && probe.IsAcadRunning() && IsProcessRunning(pid)) return new(false, "PROCESS_STILL_RUNNING");
+ var packageRoot = Path.Combine(request.PilotRoot, "packages", snapshot.PackageId);
+ await Restore(Path.Combine(packageRoot, "current.json"), snapshot.CurrentContent, snapshot.CurrentSha256, cancellationToken);
+ await Restore(Path.Combine(packageRoot, "previous.json"), snapshot.PreviousContent, snapshot.PreviousSha256, cancellationToken);
+ if (File.Exists(snapshot.StartupScriptPath)) File.Delete(snapshot.StartupScriptPath);
+ if (Directory.Exists(snapshot.StagingPath)) Directory.Delete(snapshot.StagingPath, true);
+ if (Directory.Exists(snapshot.VersionDirectory)) Directory.Delete(snapshot.VersionDirectory, true);
+ if (session is not null) await WriteSession(request.PilotRoot, session with { State = "RolledBack", UpdatedAtUtc = DateTimeOffset.UtcNow, LastErrorCode = null, LastErrorMessage = null }, cancellationToken);
+ return new(true, null);
+ }
+ catch { return new(false, "ROLLBACK_FAILED"); }
+ }
+
+ private async Task ValidateSource(PackageManifest manifest, string root, CancellationToken ct)
+ {
+ foreach (var file in manifest.Files)
+ {
+ var path = Path.Combine(root, file.Path);
+ if (!File.Exists(path) || !string.Equals(await hasher.Sha256Async(path, ct), file.Sha256, StringComparison.OrdinalIgnoreCase)) return false;
+ }
+ return true;
+ }
+ private static bool IsProcessRunning(int pid) { try { return !System.Diagnostics.Process.GetProcessById(pid).HasExited; } catch { return false; } }
+ private static string? Hash(string? text) => text is null ? null : Convert.ToHexString(SHA256.HashData(Encoding.UTF8.GetBytes(text)));
+ private static async Task ReadTextOrNull(string path, CancellationToken ct) => File.Exists(path) ? await File.ReadAllTextAsync(path, ct) : null;
+ private static async Task WriteTextAtomic(string path, string content, CancellationToken ct, bool exists)
+ { if (!exists) { if (File.Exists(path)) File.Delete(path); return; } Directory.CreateDirectory(Path.GetDirectoryName(path)!); var temp = path + ".tmp"; await File.WriteAllTextAsync(temp, content, ct); File.Move(temp, path, true); }
+ private static async Task WriteJsonAtomic(string path, T value, CancellationToken ct) => await WriteTextAtomic(path, JsonSerializer.Serialize(value), ct, true);
+ private static async Task ReadSession(string root, CancellationToken ct)
+ { var path = Path.Combine(root, "state", "pilot-session.json"); if (!File.Exists(path)) return null; await using var stream = File.OpenRead(path); return await JsonSerializer.DeserializeAsync(stream, cancellationToken: ct); }
+ private static Task WriteSession(string root, PersistedSession session, CancellationToken ct) => WriteJsonAtomic(Path.Combine(root, "state", "pilot-session.json"), session, ct);
+ private static async Task MarkFailed(string root, string code, CancellationToken ct)
+ { var s = await ReadSession(root, ct); if (s is not null) await WriteSession(root, s with { State = "Failed", UpdatedAtUtc = DateTimeOffset.UtcNow, LastErrorCode = code, LastErrorMessage = code }, ct); }
+ private static async Task Restore(string path, string? content, string? sha, CancellationToken ct)
+ { if (content is null) { if (File.Exists(path)) File.Delete(path); return; } if (!string.Equals(Hash(content), sha, StringComparison.OrdinalIgnoreCase)) throw new InvalidOperationException("SNAPSHOT_HASH_INVALID"); await WriteTextAtomic(path, content, ct, true); if (!string.Equals(Hash(await File.ReadAllTextAsync(path, ct)), sha, StringComparison.OrdinalIgnoreCase)) throw new InvalidOperationException("POINTER_RESTORE_FAILED"); }
+}
diff --git a/Launcher.Next.Observability/JsonlTelemetry.cs b/Launcher.Next.Observability/JsonlTelemetry.cs
new file mode 100644
index 0000000..72ef065
--- /dev/null
+++ b/Launcher.Next.Observability/JsonlTelemetry.cs
@@ -0,0 +1,8 @@
+using System.Text.Json;
+using Launcher.Next.Core;
+namespace Launcher.Next.Observability;
+public sealed class JsonlTelemetry(string logRoot) : ILauncherTelemetry
+{
+ public void Write(string eventType, IReadOnlyDictionary? fields = null)
+ { try { Directory.CreateDirectory(logRoot); var allowed = (fields ?? new Dictionary()).Where(x => !x.Key.Contains("user", StringComparison.OrdinalIgnoreCase) && !x.Key.Contains("token", StringComparison.OrdinalIgnoreCase) && !x.Key.Contains("password", StringComparison.OrdinalIgnoreCase)).ToDictionary(); var line = JsonSerializer.Serialize(new { Timestamp = DateTimeOffset.UtcNow, EventType = eventType, Fields = allowed }); File.AppendAllText(Path.Combine(logRoot, DateTime.UtcNow.ToString("yyyyMMdd") + ".jsonl"), line + Environment.NewLine); } catch { } }
+}
diff --git a/Launcher.Next.Observability/Launcher.Next.Observability.csproj b/Launcher.Next.Observability/Launcher.Next.Observability.csproj
new file mode 100644
index 0000000..bfbb671
--- /dev/null
+++ b/Launcher.Next.Observability/Launcher.Next.Observability.csproj
@@ -0,0 +1 @@
+
diff --git a/Launcher.Next.sln b/Launcher.Next.sln
new file mode 100644
index 0000000..3698f75
--- /dev/null
+++ b/Launcher.Next.sln
@@ -0,0 +1,54 @@
+Microsoft Visual Studio Solution File, Format Version 12.00
+# Visual Studio Version 17
+VisualStudioVersion = 17.0.31903.59
+MinimumVisualStudioVersion = 10.0.40219.1
+Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Launcher.Next.Core", "Launcher.Next.Core\Launcher.Next.Core.csproj", "{1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E001}"
+EndProject
+Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Launcher.Next.Application", "Launcher.Next.Application\Launcher.Next.Application.csproj", "{1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E002}"
+EndProject
+Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Launcher.Next.Infrastructure", "Launcher.Next.Infrastructure\Launcher.Next.Infrastructure.csproj", "{1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E003}"
+EndProject
+Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Launcher.Next.Autodesk", "Launcher.Next.Autodesk\Launcher.Next.Autodesk.csproj", "{1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E004}"
+EndProject
+Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Launcher.Next.Observability", "Launcher.Next.Observability\Launcher.Next.Observability.csproj", "{1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E005}"
+EndProject
+Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Launcher.Next.App", "Launcher.Next.App\Launcher.Next.App.csproj", "{1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E006}"
+EndProject
+Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Launcher.Next.Tests", "tests\Launcher.Next.Tests\Launcher.Next.Tests.csproj", "{1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E007}"
+EndProject
+Global
+ GlobalSection(SolutionConfigurationPlatforms) = preSolution
+ Debug|x64 = Debug|x64
+ Release|x64 = Release|x64
+ EndGlobalSection
+ GlobalSection(ProjectConfigurationPlatforms) = postSolution
+ {1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E001}.Debug|x64.ActiveCfg = Debug|x64
+ {1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E001}.Debug|x64.Build.0 = Debug|x64
+ {1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E001}.Release|x64.ActiveCfg = Release|x64
+ {1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E001}.Release|x64.Build.0 = Release|x64
+ {1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E002}.Debug|x64.ActiveCfg = Debug|x64
+ {1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E002}.Debug|x64.Build.0 = Debug|x64
+ {1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E002}.Release|x64.ActiveCfg = Release|x64
+ {1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E002}.Release|x64.Build.0 = Release|x64
+ {1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E003}.Debug|x64.ActiveCfg = Debug|x64
+ {1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E003}.Debug|x64.Build.0 = Debug|x64
+ {1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E003}.Release|x64.ActiveCfg = Release|x64
+ {1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E003}.Release|x64.Build.0 = Release|x64
+ {1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E004}.Debug|x64.ActiveCfg = Debug|x64
+ {1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E004}.Debug|x64.Build.0 = Debug|x64
+ {1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E004}.Release|x64.ActiveCfg = Release|x64
+ {1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E004}.Release|x64.Build.0 = Release|x64
+ {1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E005}.Debug|x64.ActiveCfg = Debug|x64
+ {1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E005}.Debug|x64.Build.0 = Debug|x64
+ {1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E005}.Release|x64.ActiveCfg = Release|x64
+ {1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E005}.Release|x64.Build.0 = Release|x64
+ {1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E006}.Debug|x64.ActiveCfg = Debug|x64
+ {1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E006}.Debug|x64.Build.0 = Debug|x64
+ {1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E006}.Release|x64.ActiveCfg = Release|x64
+ {1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E006}.Release|x64.Build.0 = Release|x64
+ {1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E007}.Debug|x64.ActiveCfg = Debug|x64
+ {1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E007}.Debug|x64.Build.0 = Debug|x64
+ {1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E007}.Release|x64.ActiveCfg = Release|x64
+ {1A4B9D18-8D2B-4A13-BB4C-9F47A1A9E007}.Release|x64.Build.0 = Release|x64
+ EndGlobalSection
+EndGlobal
diff --git a/docs/architecture/autocad-startup.md b/docs/architecture/autocad-startup.md
new file mode 100644
index 0000000..731e6d3
--- /dev/null
+++ b/docs/architecture/autocad-startup.md
@@ -0,0 +1,16 @@
+# AutoCAD startup
+
+Plant 3D 2026 is started with the confirmed contract:
+
+```text
+acad.exe /product PLNT3D /language ru-RU /b
+```
+
+The generated script has one command:
+
+```text
+_.NETLOAD
+""
+```
+
+No `/p`, legacy LISP, `OrthoLoader`, UNC path, trusted-path mutation, or secondary dependency NETLOAD is used.
diff --git a/docs/architecture/package-activation.md b/docs/architecture/package-activation.md
new file mode 100644
index 0000000..d94d55b
--- /dev/null
+++ b/docs/architecture/package-activation.md
@@ -0,0 +1,5 @@
+# Package activation
+
+Before changing package pointers, Launcher Next writes an activation snapshot containing exact previous `current.json` and `previous.json` contents and their SHA-256 values. Files are copied to a unique staging directory and rehashed. Only then is staging moved to `packages//versions/` and the package-local pointer updated atomically.
+
+Rollback restores the exact pointers, deletes the pilot version and startup script, and removes incomplete staging. Autodesk assemblies, PDBs, executables, test assemblies and legacy files are rejected from the pilot package.
diff --git a/docs/architecture/pilot-state-machine.md b/docs/architecture/pilot-state-machine.md
new file mode 100644
index 0000000..e1bd39d
--- /dev/null
+++ b/docs/architecture/pilot-state-machine.md
@@ -0,0 +1,7 @@
+# Pilot state machine
+
+`Prepared → Activating → ProcessStarting → WaitingForRuntimeCheck → RolledBack`
+
+Failures are persisted as `Failed`. A new run is blocked by an active session; a completed `RolledBack` session permits a new run. `pilot rollback` restores state from its persisted activation snapshot and is repeatable.
+
+The current session schema persists the terminal state. It does not yet persist a transition-history array; evidence must not infer intermediate transitions after the fact.
diff --git a/docs/architecture/rollback-mechanics.md b/docs/architecture/rollback-mechanics.md
new file mode 100644
index 0000000..8593697
--- /dev/null
+++ b/docs/architecture/rollback-mechanics.md
@@ -0,0 +1,5 @@
+# Rollback mechanics
+
+Rollback is performed only after the pilot-owned AutoCAD PID has exited. It restores pointer contents from the persisted snapshot, removes the generated SCR, cleans staging, deletes the activated pilot version, and writes session state `RolledBack`.
+
+If an application process exits unexpectedly, `pilot rollback` can be run in a new Launcher Next process because it reads the persisted session and activation snapshot.
diff --git a/docs/architecture/runtime-mechanics.md b/docs/architecture/runtime-mechanics.md
new file mode 100644
index 0000000..fceda6e
--- /dev/null
+++ b/docs/architecture/runtime-mechanics.md
@@ -0,0 +1,7 @@
+# Launcher Next runtime mechanics
+
+The controlled pilot flow is: CLI `pilot run` → local `pilot.local.json` → manifest generation and SHA-256 validation → `PrepareAsync` → one-time in-memory permit → `ExecuteAsync` → staging → version activation → startup SCR → guarded `Process.Start` → wait for the specific AutoCAD PID → `RollbackAsync`.
+
+The pilot uses only `C:\AutoCAD User Support\LauncherNextPilot`. It does not modify the legacy launcher, AutoCAD profiles, registry, trusted paths, or the legacy Applications directory.
+
+The runtime command is `acad.exe /product PLNT3D /language ru-RU /b `; no profile argument is supplied. The SCR invokes exactly one `NETLOAD`, for the local versioned entry assembly only.
diff --git a/docs/evidence/controlled-execution-foundation.json b/docs/evidence/controlled-execution-foundation.json
new file mode 100644
index 0000000..265fb9f
--- /dev/null
+++ b/docs/evidence/controlled-execution-foundation.json
@@ -0,0 +1 @@
+{"nextPilotModeImplemented":true,"pilotConfigurationImplemented":true,"pilotRootPolicyImplemented":true,"productDiscoveryImplemented":true,"profileDiscoveryImplemented":true,"safetyGateImplemented":true,"prepareImplemented":true,"executionPermitImplemented":true,"isolatedStoreImplemented":true,"atomicActivationImplemented":true,"rollbackImplemented":true,"startupScriptLifecycleImplemented":true,"realProcessAdapterCompiled":true,"realExecutionReleaseEnabled":false,"actualProcessStarted":false,"actualPilotRootCreated":false,"actualPackageActivated":false,"productionDeploy":false}
diff --git a/docs/evidence/p-rec-annot-ortho-dryrun.json b/docs/evidence/p-rec-annot-ortho-dryrun.json
new file mode 100644
index 0000000..791fe03
--- /dev/null
+++ b/docs/evidence/p-rec-annot-ortho-dryrun.json
@@ -0,0 +1,31 @@
+{
+ "date": "2026-08-03",
+ "launcherMode": "NextPilot",
+ "pluginExecutionMode": "DryRun",
+ "startupNetloadCount": 1,
+ "profileArgumentPresent": false,
+ "legacyBootstrapUsed": false,
+ "processStarted": true,
+ "assemblyLoadedFromVersionedPackage": true,
+ "orthoDetection": "Confirmed",
+ "viewportCount": 1,
+ "objectsExamined": 0,
+ "phpRecAnnotRuns": 2,
+ "pxpAavRuns": 2,
+ "pxpOaRuns": 1,
+ "commandErrors": 0,
+ "dbmodBefore": 0,
+ "dbmodAfter": 0,
+ "plansDeterministic": null,
+ "sourcePlantObjectsRead": false,
+ "dataLinksSheetToSourceMapping": "blocked",
+ "rollbackCompleted": true,
+ "startupScriptRemoved": true,
+ "activatedVersionRemoved": true,
+ "fixtureDwgUnchanged": null,
+ "fixtureDcfUnchanged": false,
+ "fixtureChangedFiles": ["Piping.dcf"],
+ "ribbonVerified": null,
+ "unhandledExceptions": 0,
+ "productionDeploymentPerformed": false
+}
diff --git a/docs/evidence/p-rec-annot-real-smoke.json b/docs/evidence/p-rec-annot-real-smoke.json
new file mode 100644
index 0000000..9b23ccb
--- /dev/null
+++ b/docs/evidence/p-rec-annot-real-smoke.json
@@ -0,0 +1,29 @@
+{
+ "launcherMode": "NextPilot",
+ "product": "Autodesk AutoCAD Plant 3D 2026",
+ "packageId": "P_Rec_Annot",
+ "packageVersion": "1.0.0.0",
+ "manifestValidated": true,
+ "hashesValidated": true,
+ "startupNetloadCount": 1,
+ "processStarted": true,
+ "processId": 9960,
+ "launcherRunnerExitCode": null,
+ "assemblyLoadedFromVersionedPackage": true,
+ "commands": { "PHP_REC_ANNOT": true, "PXP-AAV": true, "PXP-OA": true },
+ "drawingType": "NotOrtho",
+ "dbmodBefore": 0,
+ "dbmodAfter": null,
+ "ribbon": null,
+ "unhandledExceptions": 0,
+ "pluginDefects": ["PLANT_PROJECT_DISPLAY_NAME_EMPTY"],
+ "automaticRollback": true,
+ "sessionState": "RolledBack",
+ "startupScriptRemoved": true,
+ "activatedVersionRemoved": true,
+ "currentPointerRestored": true,
+ "previousPointerRestored": true,
+ "legacyFilesModified": null,
+ "productionDeployment": false,
+ "notes": ["The background process exit code was not captured by the launcher host.", "Legacy local sentinel files were absent; hashes were not available.", "Session records terminal RolledBack state; historic intermediate states were not persisted."]
+}
diff --git a/docs/foundation.md b/docs/foundation.md
new file mode 100644
index 0000000..d912a62
--- /dev/null
+++ b/docs/foundation.md
@@ -0,0 +1,13 @@
+# Foundation scope
+
+Launcher Next is intentionally non-deploying. Package synchronization accepts only a supplied local test source; no production UNC client is wired. Process launch preparation is dry-run only, and the WPF launch button is disabled. The next authorized slice is registry discovery validation and a non-production package catalog pilot.
+
+`tests/Launcher.Next.Tests/fixtures/p-rec-annot-pilot.manifest.json` is a synthetic P_Rec_Annot contract. Its all-zero hash is deliberately replaced by a hash of a test-created one-byte placeholder; it does not identify or package a real Autodesk plugin.
+
+Run from this directory:
+
+```powershell
+dotnet restore .\Launcher.Next.sln
+dotnet build .\Launcher.Next.sln --configuration Release
+dotnet test .\tests\Launcher.Next.Tests\Launcher.Next.Tests.csproj --configuration Release --no-build
+```
diff --git a/docs/pilots/controlled-execution-design.md b/docs/pilots/controlled-execution-design.md
new file mode 100644
index 0000000..f8b6394
--- /dev/null
+++ b/docs/pilots/controlled-execution-design.md
@@ -0,0 +1,3 @@
+# Controlled NextPilot execution
+
+`NextPilot` is opt-in. Missing or invalid local configuration defaults to DryRun, with process start disabled and plugin mode Smoke. Prepare builds a deterministic plan only; Execute requires all safety conditions and a one-time, short-lived permit. `RealExecutionReleaseEnabled` is compile-time false in this foundation, so the process adapter always returns `REAL_EXECUTION_RELEASE_NOT_ENABLED` before calling the OS invoker.
diff --git a/docs/pilots/manual-runtime-checkpoint.md b/docs/pilots/manual-runtime-checkpoint.md
new file mode 100644
index 0000000..6c5d913
--- /dev/null
+++ b/docs/pilots/manual-runtime-checkpoint.md
@@ -0,0 +1,3 @@
+# Manual runtime checkpoint
+
+Before any real execution: review the LaunchPlan, explicitly confirm product/profile/root/package, enable real execution only in a separately reviewed commit, rebuild/test, create a dedicated runtime branch, then Prepare, issue permit, Execute, manually validate AutoCAD UI, and rollback.
diff --git a/docs/pilots/p-rec-annot-ortho-dryrun.md b/docs/pilots/p-rec-annot-ortho-dryrun.md
new file mode 100644
index 0000000..186c059
--- /dev/null
+++ b/docs/pilots/p-rec-annot-ortho-dryrun.md
@@ -0,0 +1,27 @@
+# P_Rec_Annot Ortho DryRun
+
+Date: 2026-08-03
+
+Launcher Next executed the isolated `NextPilot` flow in `DryRun` mode. The
+generated AutoCAD startup script contained one `NETLOAD` for the versioned
+local entry assembly; no legacy bootstrap was used and no `/p` argument was
+passed.
+
+The actual Ortho drawing was `TestPipeOrtho.dwg`. `PHP_REC_ANNOT` ran twice,
+`PXP-AAV` ran twice, and `PXP-OA` ran once. Each completed with Ortho detected,
+one viewport, zero examined objects, zero planned operations, and no command
+error. `DBMOD` was `0` both before and after the commands.
+
+The Ortho sheet's `SelectAcPpRowIds` call raised `DLException: NotFound` in the
+preceding attempt. The read adapter now treats that condition as an empty,
+read-only result so it cannot fail a DryRun command. It does not yet map an
+Ortho sheet back to source-model DataLinks rows; therefore successful source
+Pipe discovery and a non-empty AnnotationPlan remain unverified.
+
+After Plant 3D closed, Launcher Next reported `RolledBack`; the startup script,
+version directory, current/previous pointers, and staging contents were absent.
+
+The fixture SHA comparison found one changed project file: `Piping.dcf`.
+Its last-write time predates the first DryRun command, so the observation cannot
+be attributed to a P_Rec_Annot write. Nevertheless, project/DCF invariance is
+not established by this run.
diff --git a/docs/pilots/p-rec-annot-real-smoke.md b/docs/pilots/p-rec-annot-real-smoke.md
new file mode 100644
index 0000000..66c3075
--- /dev/null
+++ b/docs/pilots/p-rec-annot-real-smoke.md
@@ -0,0 +1,11 @@
+# P_Rec_Annot real Smoke pilot
+
+Date: 2026-07-31. Launcher Next started Plant 3D 2026 as PID 9960 from an isolated local pilot package. The entry assembly was loaded from the versioned package directory through one generated NETLOAD.
+
+The manual runtime checkpoint confirmed `PHP_REC_ANNOT`, `PXP-AAV`, and `PXP-OA` executed in Smoke mode; drawing type was `NotOrtho`; initial DBMOD was `0`; no unhandled exceptions were observed. The final DBMOD and Ribbon observations were not supplied, so they are intentionally not asserted.
+
+After normal Plant shutdown, automatic rollback completed. No `acad.exe` remained. Startup scripts, staging contents, package pointers and activated version were absent; the activation snapshot was retained. The checked local legacy Application files were absent, so no before/after hashes were available.
+
+The background runner exit code was not captured by its `Start-Process` host. The persisted terminal state and the post-run `pilot status` command both reported `RolledBack`.
+
+Known plugin defect: `PLANT_PROJECT_DISPLAY_NAME_EMPTY`. Plant context was found but displayed an empty project name. Impact was diagnostic/UI-only for this Smoke pilot; write protection and command execution were unaffected. Follow-up: inspect `PlantApplication.CurrentProject` metadata and distinguish absent display name from false-positive project detection.
diff --git a/docs/pilots/pilot-local-configuration.md b/docs/pilots/pilot-local-configuration.md
new file mode 100644
index 0000000..56f6109
--- /dev/null
+++ b/docs/pilots/pilot-local-configuration.md
@@ -0,0 +1,7 @@
+# Pilot local configuration
+
+Local file: `C:\AutoCAD User Support\LauncherNextPilot\config\pilot.local.json`. It is never auto-created or tracked. Unknown/corrupt configuration blocks pilot mode.
+
+```json
+{"schemaVersion":1,"launcherMode":"NextPilot","pilotEnabled":true,"allowProcessStart":false,"requireExplicitExecute":true,"pluginExecutionMode":"Smoke","pilotRoot":"C:\\AutoCAD User Support\\LauncherNextPilot","selectedProductId":null,"selectedProfileName":null,"executionPermitLifetimeSeconds":300}
+```
diff --git a/docs/pilots/prepare-execute-rollback.md b/docs/pilots/prepare-execute-rollback.md
new file mode 100644
index 0000000..8824de2
--- /dev/null
+++ b/docs/pilots/prepare-execute-rollback.md
@@ -0,0 +1,3 @@
+# Prepare, Execute and rollback
+
+Prepare performs no package/store/script/process writes. Activation and rollback are covered by the existing versioned local store using unique staging and atomic pointer replacement. Execute re-evaluates safety immediately before the invoker, and remains release-blocked in this slice.
diff --git a/docs/pilots/profile-discovery.md b/docs/pilots/profile-discovery.md
new file mode 100644
index 0000000..a4a19c3
--- /dev/null
+++ b/docs/pilots/profile-discovery.md
@@ -0,0 +1,3 @@
+# Read-only profile discovery
+
+The adapter returns candidates with evidence. An explicit exact selection is accepted; otherwise exactly one confirmed Plant-specific candidate is required. Zero candidates blocks with `PROFILE_NOT_RESOLVED`; multiple candidates block with `PROFILE_AMBIGUOUS`. No profile is created or modified.
diff --git a/tests/Launcher.Next.Tests/ControlledExecutionTests.cs b/tests/Launcher.Next.Tests/ControlledExecutionTests.cs
new file mode 100644
index 0000000..28d07b6
--- /dev/null
+++ b/tests/Launcher.Next.Tests/ControlledExecutionTests.cs
@@ -0,0 +1,30 @@
+using Launcher.Next.Core;
+using Launcher.Next.Infrastructure;
+using Xunit;
+namespace Launcher.Next.Tests;
+public sealed class ControlledExecutionTests
+{
+ [Fact] public void ApplyMode_RequiresExplicitAllowApply()
+ { var c = new PilotLocalConfiguration { SchemaVersion = 1, LauncherMode = LauncherMode.NextPilot, PilotEnabled = true, AllowProcessStart = true, RequireExplicitExecute = true, PluginExecutionMode = PluginExecutionMode.Apply }; var d = new NextPilotSafetyGate().Evaluate(new(c, new("C:\\acad.exe", "2026", "x64", []), new("Pilot", false, true, ["registry"]), new(true, "C:\\AutoCAD User Support\\LauncherNextPilot", []), ValidationResult.Success, true, false, false), true); Assert.Contains("APPLY_NOT_EXPLICITLY_ALLOWED", d.Violations); }
+ [Fact] public void ApplyMode_WithExplicitAllowApply_IsAllowedByLauncherGate()
+ { var c = new PilotLocalConfiguration { SchemaVersion = 1, LauncherMode = LauncherMode.NextPilot, PilotEnabled = true, AllowProcessStart = true, AllowApply = true, ApplyPermitPath = "C:\\test\\permit.json", RequireExplicitExecute = true, PluginExecutionMode = PluginExecutionMode.Apply }; var d = new NextPilotSafetyGate().Evaluate(new(c, new("C:\\acad.exe", "2026", "x64", []), new("Pilot", false, true, ["registry"]), new(true, "C:\\AutoCAD User Support\\LauncherNextPilot", []), ValidationResult.Success, true, false, false), true); Assert.True(d.IsAllowed); }
+ [Fact] public void ApplyMode_RequiresLocalPermitPath()
+ { var c = new PilotLocalConfiguration { SchemaVersion = 1, LauncherMode = LauncherMode.NextPilot, PilotEnabled = true, AllowProcessStart = true, AllowApply = true, RequireExplicitExecute = true, PluginExecutionMode = PluginExecutionMode.Apply }; var d = new NextPilotSafetyGate().Evaluate(new(c, new("C:\\acad.exe", "2026", "x64", []), new("Pilot", false, true, ["registry"]), new(true, "C:\\AutoCAD User Support\\LauncherNextPilot", []), ValidationResult.Success, true, false, false), true); Assert.Contains("APPLY_PERMIT_PATH_REQUIRED", d.Violations); }
+ [Fact] public void MissingPilotConfiguration_DefaultsToDryRun() => Assert.Equal(LauncherMode.DryRun, PilotConfigurationParser.Parse(null).Configuration.LauncherMode);
+ [Fact] public void InvalidPilotConfiguration_BlocksPilot() => Assert.False(PilotConfigurationParser.Parse("{").IsValid);
+ [Fact] public void PilotRoot_Unc_IsRejected() => Assert.False(new PilotRootPolicy("C:\\AutoCAD User Support").Validate("\\\\server\\share").IsValid);
+ [Fact] public void PilotRoot_AllowedCorporateChild_IsAccepted() => Assert.True(new PilotRootPolicy("C:\\AutoCAD User Support").Validate("C:\\AutoCAD User Support\\LauncherNextPilot").IsValid);
+ [Fact] public void SafetyGate_ProcessStartDisabled_BlocksExecute()
+ { var c=new PilotLocalConfiguration { SchemaVersion=1, LauncherMode=LauncherMode.NextPilot, PilotEnabled=true, PluginExecutionMode=PluginExecutionMode.Smoke }; var decision=new NextPilotSafetyGate().Evaluate(new(c,new("C:\\acad.exe","2026","x64",[]),new("Pilot",false,true,["registry"]),new(true,"C:\\AutoCAD User Support\\LauncherNextPilot",[]),ValidationResult.Success,true,false,false),true); Assert.Contains("PROCESS_START_DISABLED",decision.Violations); }
+ [Fact] public void ForceAfterEvidence_RequiresTestAutomation()
+ { var c=new PilotLocalConfiguration { SchemaVersion=1,LauncherMode=LauncherMode.NextPilot,PilotEnabled=true,AllowProcessStart=true,RequireExplicitExecute=true,PluginExecutionMode=PluginExecutionMode.DryRun,ForceAfterEvidence=true }; var d=new NextPilotSafetyGate().Evaluate(new(c,new("C:\\acad.exe","2026","x64",[]),new("Pilot",false,true,["registry"]),new(true,"C:\\AutoCAD User Support\\LauncherNextPilot",[]),ValidationResult.Success,true,false,false),true); Assert.Contains("FORCED_CLEANUP_TEST_AUTOMATION_REQUIRED",d.Violations); }
+ [Fact] public void ForceAfterEvidence_WithLocalAutomationConfiguration_IsAllowed()
+ { var c=new PilotLocalConfiguration { SchemaVersion=1,LauncherMode=LauncherMode.NextPilot,PilotEnabled=true,AllowProcessStart=true,RequireExplicitExecute=true,PluginExecutionMode=PluginExecutionMode.DryRun,ForceAfterEvidence=true,AutomationMode="FirstLimitedApplyRuntimeTest",AutomationConfigurationPath="C:\\test\\automation.json" }; var d=new NextPilotSafetyGate().Evaluate(new(c,new("C:\\acad.exe","2026","x64",[]),new("Pilot",false,true,["registry"]),new(true,"C:\\AutoCAD User Support\\LauncherNextPilot",[]),ValidationResult.Success,true,false,false),true); Assert.True(d.IsAllowed); }
+ [Fact] public void Permit_IsOneTime()
+ { var p=Plan(); var service=new ExecutionPermitService(); var permit=service.Issue(p,60); Assert.True(service.Validate(permit,p,DateTimeOffset.UtcNow)); Assert.False(service.Validate(permit,p,DateTimeOffset.UtcNow)); }
+ [Fact] public void GuardedLauncher_RealExecutionReleaseDisabled_BlocksStart()
+ { var p=Plan(); var config=new PilotLocalConfiguration { SchemaVersion=1,LauncherMode=LauncherMode.NextPilot,PilotEnabled=true,AllowProcessStart=false,PluginExecutionMode=PluginExecutionMode.Smoke }; var context=new PilotSafetyContext(config,p.Product,p.Profile,new(true,p.PilotRoot,[]),ValidationResult.Success,true,false,false); var permits=new ExecutionPermitService(); var result=new GuardedAutodeskProcessLauncher(new NextPilotSafetyGate(),new Probe(),new Invoker()).Start(context,p,permits.Issue(p,60),permits); Assert.Equal("PROCESS_START_DISABLED",result.BlockCode); }
+ private static PilotLaunchPlan Plan() { var product=new ProductInstallation("C:\\acad.exe","2026","x64",[]); var profile=new AutoCadProfileCandidate("Pilot",false,true,["registry"]); var manifest=new PackageManifest(1,"P","1","Plant3D",2026,"x64","P.dll",[new("P.dll",1,new string('A',64))],new("netload","P")); return PilotPlanFactory.Create(product,profile,manifest,"M","C:\\AutoCAD User Support\\LauncherNextPilot","C:\\script.scr","S",new(true,[])); }
+ private sealed class Probe : IAutoCadProcessProbe { public bool IsAcadRunning()=>false; }
+ private sealed class Invoker : IOperatingSystemProcessInvoker { public ProcessInvocationResult Start(ProcessLaunchSpecification _) => throw new Xunit.Sdk.XunitException("must not start"); }
+}
diff --git a/tests/Launcher.Next.Tests/FoundationTests.cs b/tests/Launcher.Next.Tests/FoundationTests.cs
new file mode 100644
index 0000000..4c7f67a
--- /dev/null
+++ b/tests/Launcher.Next.Tests/FoundationTests.cs
@@ -0,0 +1,47 @@
+using System.Security.Cryptography;
+using Launcher.Next.Autodesk;
+using Launcher.Next.Core;
+using Launcher.Next.Infrastructure;
+using Xunit;
+namespace Launcher.Next.Tests;
+
+public sealed class FoundationTests
+{
+ private static PackageManifest Manifest(params PackageFile[] files) => new(1, "P_Rec_Annot", "2026.1.0", "Plant3D", 2026, "x64", "PRecAnnot.Plant3D2026.dll", files, new("netload", "PHP_REC_ANNOT"));
+ private static PackageFile Package(string path, string hash = "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA") => new(path, 1, hash);
+ [Fact] public void Manifest_ValidPackage_IsAccepted() => Assert.True(new PackageManifestValidator().Validate(Manifest(Package("PRecAnnot.Plant3D2026.dll")), 2026, "x64").IsValid);
+ [Fact] public void Manifest_PathTraversal_IsRejected() => Assert.False(new PackageManifestValidator().Validate(Manifest(Package("../evil.dll")), 2026, "x64").IsValid);
+ [Fact] public void Manifest_AbsolutePath_IsRejected() => Assert.False(new PackageManifestValidator().Validate(Manifest(Package("C:\\evil.dll")), 2026, "x64").IsValid);
+ [Fact] public void Manifest_MissingEntryAssembly_IsRejected() => Assert.False(new PackageManifestValidator().Validate(Manifest(Package("Other.dll")), 2026, "x64").IsValid);
+ [Fact] public void Manifest_AutodeskAssembly_IsRejected() => Assert.False(new PackageManifestValidator().Validate(Manifest(Package("PRecAnnot.Plant3D2026.dll"), Package("AcMgd.dll")), 2026, "x64").IsValid);
+ [Fact] public void Manifest_DuplicateFile_IsRejected() => Assert.False(new PackageManifestValidator().Validate(Manifest(Package("PRecAnnot.Plant3D2026.dll"), Package("PRecAnnot.Plant3D2026.dll")), 2026, "x64").IsValid);
+ [Fact] public void Manifest_WrongArchitecture_IsRejected() => Assert.False(new PackageManifestValidator().Validate(Manifest(Package("PRecAnnot.Plant3D2026.dll")), 2026, "x86").IsValid);
+ [Fact] public void Manifest_WrongProductYear_IsRejected() => Assert.False(new PackageManifestValidator().Validate(Manifest(Package("PRecAnnot.Plant3D2026.dll")), 2025, "x64").IsValid);
+ [Fact] public async Task Synchronizer_UsesStaging_AndRetainsPreviousVersion()
+ { var root = Path.Combine(Path.GetTempPath(), Guid.NewGuid().ToString("N")); var source = Path.Combine(root, "source"); Directory.CreateDirectory(source); var bytes = new byte[] { 7 }; await System.IO.File.WriteAllBytesAsync(Path.Combine(source, "PRecAnnot.Plant3D2026.dll"), bytes); var hash = Convert.ToHexString(SHA256.HashData(bytes)); var store = new LocalPackageStore(root, new Sha256FileHasher()); var result = await store.SynchronizeAsync(Manifest(new PackageFile("PRecAnnot.Plant3D2026.dll", 1, hash)), source, CancellationToken.None); Assert.Equal("2026.1.0", result.CurrentVersion); Assert.True(Directory.Exists(Path.Combine(root, "Applications", "P_Rec_Annot", "versions", result.CurrentVersion))); Directory.Delete(root, true); }
+ [Fact] public async Task Synchronizer_HashMismatch_IsRejected()
+ { var root = Path.Combine(Path.GetTempPath(), Guid.NewGuid().ToString("N")); var source = Path.Combine(root, "source"); Directory.CreateDirectory(source); await System.IO.File.WriteAllTextAsync(Path.Combine(source, "PRecAnnot.Plant3D2026.dll"), "x"); var store = new LocalPackageStore(root, new Sha256FileHasher()); await Assert.ThrowsAsync(() => store.SynchronizeAsync(Manifest(Package("PRecAnnot.Plant3D2026.dll")), source, CancellationToken.None)); Assert.False(Directory.Exists(Path.Combine(root, "Applications", "P_Rec_Annot", "versions", "2026.1.0"))); Directory.Delete(root, true); }
+ [Fact] public void StartupScript_ContainsOneNetload_AndEscapesSpaces()
+ { var root = Path.Combine(Path.GetTempPath(), "space root", Guid.NewGuid().ToString("N")); Directory.CreateDirectory(root); System.IO.File.WriteAllText(Path.Combine(root, "PRecAnnot.Plant3D2026.dll"), ""); var s = new StartupScriptBuilder().BuildNetloadScript(root, "PRecAnnot.Plant3D2026.dll"); Assert.Single(System.Text.RegularExpressions.Regex.Matches(s, "netload", System.Text.RegularExpressions.RegexOptions.IgnoreCase).Cast