From 7b29dbff7e43e87741476f47df17ad1582b16546 Mon Sep 17 00:00:00 2001
From: "Somhairle H. Marisol" <muqiu-han@outlook.com>
Date: Mon, 21 Sep 2026 00:58:15 +0800
Subject: feat(pipeline): add runnable artifact pipeline increment

[Change Nature]
- This commit adds the first runnable increment of the F# artifact
  pipeline: CLI, server, frontend bundle, stage fixture, and tests.
  It is feature work, not a bug fix.

[New Capability]
- CLI `run` executes the three-step Blender fixture through the process
  bridge and writes GLBs, step logs, events, and a manifest; `verify`
  validates a manifest without Blender.
- Server exposes run start, run-scoped SSE, artifact manifest/file
  routes, and serves the Fable frontend from its build output.
- Frontend starts runs, follows run-scoped SSE progress, and links the
  artifact manifest on completion.

[Implementation]
- Shared layer holds domain, run state, replay, and artifact contracts;
  Modeling holds the pipeline, 120s bridge timeout, and result-file
  protocol; stage/blender/fixture.py owns geometry in Python (bpy owns
  geometry, F# owns orchestration).
- Fable bundle is regenerated into public/ and copied by the server
  project; solution includes all projects with warnings-as-errors.
- README documents build, Fable, server, interpreter/env, fixture
  limitations, and current verification status.

[Impact]
- Verified: 40/40 solution tests pass; Release build 0 warnings/errors;
  real CLI run with bpy 5.0.1 produced 3 GLBs, 3 logs, and a
  verify-clean manifest; isolated-port server smoke flow succeeded.
- Not yet verified: browser end-to-end behavior and production
  fidelity. Artifacts and caches are gitignored.
---
 src/SomhairlesDream.Cli/Arguments.fs | 91 ++++++++++++++++++++++++++++++++++++
 1 file changed, 91 insertions(+)
 create mode 100644 src/SomhairlesDream.Cli/Arguments.fs

(limited to 'src/SomhairlesDream.Cli/Arguments.fs')

diff --git a/src/SomhairlesDream.Cli/Arguments.fs b/src/SomhairlesDream.Cli/Arguments.fs
new file mode 100644
index 0000000..2de96be
--- /dev/null
+++ b/src/SomhairlesDream.Cli/Arguments.fs
@@ -0,0 +1,91 @@
+namespace SomhairlesDream.Cli
+
+open System
+open SomhairlesDream.Shared
+
+[<CLIMutable>]
+type RunOptions =
+    { Ids: RunIds
+      OutputRoot: string
+      StageRoot: string
+      Python: string
+      Render: bool }
+
+type Command =
+    | Run of RunOptions
+    | Verify of string
+    | Help
+
+module Arguments =
+    let usage =
+        "usage: dotnet run --project src/SomhairlesDream.Cli -- run [options]\n"
+        + "       dotnet run --project src/SomhairlesDream.Cli -- verify <manifest.json>"
+
+    let private defaultPython () =
+        let configured = Environment.GetEnvironmentVariable("SOMHAIRLES_BPYTHON")
+        if String.IsNullOrWhiteSpace(configured) then "python3" else configured
+
+    let private defaults () =
+        { Ids =
+              { ProjectId = "heritage-001"
+                RunId = "run-001"
+                BaseId = "base-000"
+                TargetId = "target-003" }
+          OutputRoot = ".artifacts"
+          StageRoot = "stage"
+          Python = defaultPython ()
+          Render = false }
+
+    let private requiredValue (args: string array) (index: int) (optionName: string) =
+        if index + 1 >= args.Length || String.IsNullOrWhiteSpace(args[index + 1]) then
+            Error $"{optionName} requires a value"
+        else
+            Ok args[index + 1]
+
+    let private setValue optionName value (options: RunOptions) =
+        match optionName with
+        | "--project-id" -> Ok { options with Ids = { options.Ids with ProjectId = value } }
+        | "--run-id" -> Ok { options with Ids = { options.Ids with RunId = value } }
+        | "--base-id" -> Ok { options with Ids = { options.Ids with BaseId = value } }
+        | "--target-id" -> Ok { options with Ids = { options.Ids with TargetId = value } }
+        | "--output-root" -> Ok { options with OutputRoot = value }
+        | "--stage-root" -> Ok { options with StageRoot = value }
+        | "--python" -> Ok { options with Python = value }
+        | _ -> Error $"unknown option: {optionName}"
+
+    let private validateRunOptions (options: RunOptions) =
+        [| options.Ids.ProjectId; options.Ids.RunId; options.Ids.BaseId; options.Ids.TargetId |]
+        |> Array.tryFind (Ids.validateResourceId >> Result.isError)
+        |> function
+            | Some value -> Error $"invalid resource id: {value}"
+            | None -> Ok(Run options)
+
+    let private parseRun (args: string array) =
+        let rec loop (index: int) (options: RunOptions) =
+            if index >= args.Length then
+                validateRunOptions options
+            else
+                match args[index] with
+                | "--render" -> loop (index + 1) { options with Render = true }
+                | "--help" -> Ok Help
+                | optionName ->
+                    match requiredValue args index optionName with
+                    | Error message -> Error message
+                    | Ok value ->
+                        match setValue optionName value options with
+                        | Error message -> Error message
+                        | Ok updated -> loop (index + 2) updated
+
+        loop 0 (defaults ())
+
+    let parse (args: string array) =
+        match args with
+        | [||]
+        | [| "--help" |]
+        | [| "help" |] -> Ok Help
+        | [| "verify" |] -> Error "verify requires a manifest path"
+        | [| "verify"; path |] when not (String.IsNullOrWhiteSpace(path)) -> Ok(Verify path)
+        | [| "verify"; _ |] -> Error "verify requires a manifest path"
+        | values when values.Length > 2 && values[0] = "verify" -> Error "verify accepts exactly one manifest path"
+        | values when values.Length > 0 && values[0] = "run" -> parseRun (values |> Array.skip 1)
+        | _ -> Error usage
-- 
cgit v1.2.3