V13-FE-006: consolidate approved UI and contract hardening

2026-08-13 02:41:00 +09:00
parent d79edae546
commit 3f293d8aa8
1278 changed files with 14384 additions and 1664 deletions
@@ -0,0 +1,14 @@
+
+using KBX.Shared.Workflow;
+using Xunit;
+namespace KBX.Shared.Workflow.Tests;
+public sealed class WorkflowGuardTests
+{
+    private static readonly WorkflowTransition[] Transitions = [
+        new("confirm", new HashSet<string>{"DRAFT"}, "CONFIRMED"),
+        new("cancel", new HashSet<string>{"DRAFT","CONFIRMED"}, "CANCELLED", ReasonRequired:true)
+    ];
+    [Fact] public void Allows_declared_transition() => Assert.Equal("CONFIRMED", WorkflowGuard.RequireTransition(Transitions,"confirm","DRAFT").To);
+    [Fact] public void Rejects_transition_from_wrong_state() => Assert.Throws<InvalidOperationException>(() => WorkflowGuard.RequireTransition(Transitions,"confirm","CONFIRMED"));
+    [Fact] public void Requires_reason_when_declared() => Assert.Throws<InvalidOperationException>(() => WorkflowGuard.RequireTransition(Transitions,"cancel","DRAFT"));
+}
@@ -0,0 +1,16 @@
+
+namespace KBX.Shared.Workflow;
+
+public sealed record WorkflowTransition(string Id, IReadOnlySet<string> From, string To, string? Permission = null, bool ReasonRequired = false);
+
+public static class WorkflowGuard
+{
+    public static WorkflowTransition RequireTransition(IEnumerable<WorkflowTransition> transitions, string transitionId, string currentState, string? reason = null)
+    {
+        var transition = transitions.FirstOrDefault(x => string.Equals(x.Id, transitionId, StringComparison.OrdinalIgnoreCase))
+            ?? throw new InvalidOperationException($"Unknown transition: {transitionId}");
+        if (!transition.From.Contains(currentState)) throw new InvalidOperationException($"Transition {transitionId} is not allowed from {currentState}.");
+        if (transition.ReasonRequired && string.IsNullOrWhiteSpace(reason)) throw new InvalidOperationException("A reason is required for this transition.");
+        return transition;
+    }
+}