feat(ship): HNX-01 crewed starship design branch (7-step ship.py, --design ship, 409 replays completed run history)

2 files changed, 56 insertions, 48 deletions

diff --git a/public/App.js b/public/App.js
index 1f28482..4716bb3 100644
--- a/public/App.js
+++ b/public/App.js
@@ -885,53 +885,7 @@ export function selectionForLiveStart(selection) {
     }
 }
 
-export function startRun(selection) {
-    const requestBody = {
-        projectId: selection.ProjectId,
-        runId: selection.RunId,
-        baseId: selection.BaseId,
-        targetId: selection.TargetId,
-        render: selection.Render,
-    };
-    const requestOptions = {
-        method: "POST",
-        headers: {
-            "Content-Type": "application/json",
-        },
-        body: JSON.stringify(requestBody),
-    };
-    setText("run-message", "正在启动设计运行");
-    updateStreamState("实时链路 · 等待服务端确认");
-    startImmediate(singleton.Delay(() => singleton.TryWith(singleton.Delay(() => singleton.Bind(awaitPromise(fetch("/api/runs/start", requestOptions)), (_arg) => {
-        let arg;
-        const response = _arg;
-        if (response.ok) {
-            return singleton.Bind(awaitPromise(response.json()), (_arg_1) => {
-                updateState(_arg_1);
-                connectToServer(selection);
-                updateStreamState("实时链路 · SSE 已连接");
-                return singleton.Zero();
-            });
-        }
-        else {
-            setText("run-message", (arg = (response.status | 0), toText(printf("启动失败 · HTTP %d"))(arg)));
-            updateStreamState("实时链路 · 启动失败");
-            return singleton.Zero();
-        }
-    })), (_arg_2) => {
-        setText("run-message", "启动失败 · 无法连接服务端");
-        updateStreamState("实时链路 · 连接失败");
-        return singleton.Zero();
-    })));
-}
-
-/**
- * Boot-time historical load: surface the pre-published probe build replay so
- * first-time visitors see the real vehicle instead of an empty placeholder.
- * Any failure leaves the honest placeholder idle state untouched.
- */
-export function loadBootHistory() {
-    const selection = selectedRun();
+export function loadHistoryFor(selection) {
     const projectId = encodeURIComponent(selection.ProjectId);
     const runId = encodeURIComponent(selection.RunId);
     const url = toText(printf("/api/artifacts/manifest?projectId=%s&runId=%s"))(projectId)(runId);
@@ -985,6 +939,60 @@ export function loadBootHistory() {
     })));
 }
 
+export function startRun(selection) {
+    const requestBody = {
+        projectId: selection.ProjectId,
+        runId: selection.RunId,
+        baseId: selection.BaseId,
+        targetId: selection.TargetId,
+        render: selection.Render,
+    };
+    const requestOptions = {
+        method: "POST",
+        headers: {
+            "Content-Type": "application/json",
+        },
+        body: JSON.stringify(requestBody),
+    };
+    setText("run-message", "正在启动设计运行");
+    updateStreamState("实时链路 · 等待服务端确认");
+    startImmediate(singleton.Delay(() => singleton.TryWith(singleton.Delay(() => singleton.Bind(awaitPromise(fetch("/api/runs/start", requestOptions)), (_arg) => {
+        let arg;
+        const response = _arg;
+        if (response.ok) {
+            return singleton.Bind(awaitPromise(response.json()), (_arg_1) => {
+                updateState(_arg_1);
+                connectToServer(selection);
+                updateStreamState("实时链路 · SSE 已连接");
+                return singleton.Zero();
+            });
+        }
+        else if (response.status === 409) {
+            setText("run-message", "该运行已完成 · 载入历史回放");
+            loadHistoryFor(selection);
+            return singleton.Zero();
+        }
+        else {
+            setText("run-message", (arg = (response.status | 0), toText(printf("启动失败 · HTTP %d"))(arg)));
+            updateStreamState("实时链路 · 启动失败");
+            return singleton.Zero();
+        }
+    })), (_arg_2) => {
+        setText("run-message", "启动失败 · 无法连接服务端");
+        updateStreamState("实时链路 · 连接失败");
+        return singleton.Zero();
+    })));
+}
+
+/**
+ * Boot-time historical load: surface the pre-published probe build replay so
+ * first-time visitors see the real vehicle instead of an empty placeholder.
+ * Any failure leaves the honest placeholder idle state untouched.
+ */
+export function loadBootHistory() {
+    loadHistoryFor(selectedRun());
+}
+
 export function boot() {
     showFrameMetadata(item(0, frames));
     try {
diff --git a/public/index.html b/public/index.html
index 494d26c..b2f8703 100644
--- a/public/index.html
+++ b/public/index.html
@@ -196,6 +196,6 @@
       <span>heritage 参考线保留占位演示 · F# / OPEN CODE</span>
     </footer>
   </main>
-  <script type="module" src="/App.js?v=orbit1"></script>
+  <script type="module" src="/App.js?v=ship1"></script>
 </body>
 </html>