From 07d6690b9b9de7db7debe25e8e3def5c0d68bb26 Mon Sep 17 00:00:00 2001 From: "Somhairle H. Marisol" Date: Mon, 21 Sep 2026 09:27:28 +0800 Subject: feat(probe): YJ-01 real-probe 7-stage dataset + probe design branch in pipeline/CLI --- tests/SomhairlesDream.Cli.Tests/ArgumentsTests.fs | 27 +++++++++++++++++++++++ 1 file changed, 27 insertions(+) (limited to 'tests/SomhairlesDream.Cli.Tests') diff --git a/tests/SomhairlesDream.Cli.Tests/ArgumentsTests.fs b/tests/SomhairlesDream.Cli.Tests/ArgumentsTests.fs index f55762e..38c8741 100644 --- a/tests/SomhairlesDream.Cli.Tests/ArgumentsTests.fs +++ b/tests/SomhairlesDream.Cli.Tests/ArgumentsTests.fs @@ -59,6 +59,33 @@ let ``run command parses explicit ids and render flag`` () = | Verify _ | Help -> failwith "expected run command" +[] +let ``run command with probe design applies probe defaults`` () = + match Arguments.parse [| "run"; "--design"; "probe" |] |> expectOk with + | Run options -> + Assert.Equal("probe-001", options.Ids.ProjectId) + Assert.Equal("run-001", options.Ids.RunId) + Assert.Equal("probe-base-000", options.Ids.BaseId) + Assert.Equal("probe-target-007", options.Ids.TargetId) + Assert.Equal("probe", options.Design) + | Verify _ + | Help -> failwith "expected run command" + +[] +let ``run command with probe design keeps explicit ids`` () = + match Arguments.parse [| "run"; "--design"; "probe"; "--run-id"; "run-x" |] |> expectOk with + | Run options -> + Assert.Equal("probe-001", options.Ids.ProjectId) + Assert.Equal("run-x", options.Ids.RunId) + Assert.Equal("probe-base-000", options.Ids.BaseId) + | Verify _ + | Help -> failwith "expected run command" + +[] +let ``run command rejects unknown design`` () = + match Arguments.parse [| "run"; "--design"; "steampunk" |] |> expectError with + | message -> Assert.Contains("invalid design", message) + [] let ``verify command requires exactly one manifest path`` () = match Arguments.parse [| "verify"; "run"; "extra" |] |> expectError with -- cgit v1.2.3