(still 1 red) Implemented budgeted, but there's a test issue.

test/Chargen.Accept.fs

@@ -143,7 +143,22 @@ type Op =
     static member trait' (config, v): 't OptionOffer =
         offer(configDefaultKey config (toString v), fun config input -> Some v, (Leaf (defaultArg config.label (toString v))))
 
-    static member budgeted v: 't ListOffer = notImpl()
+    static member budgeted (budgetF, offers: 't ListOffer list) =
+        Op.budgeted(OfferConfig.blank, budgetF, offers)
+    static member budgeted (budgetF, offers: 't OptionOffer list) =
+        Op.budgeted(OfferConfig.blank, budgetF, offers |> List.map Op.promote)
+    static member budgeted (config, budgetF: 't list -> int, offers: 't ListOffer List) : 't ListOffer =
+        let (|Fulfilled|Partial|Fallback|) (children: ('t list * MenuSelection) list) : 't list EitherPattern =
+            match children |> List.filter (function _, (true, _, _) -> true | _ -> false) with
+            | lst when lst.Length > 0 ->
+                let values = lst |> List.collect fst
+                let remainingBudget = budgetF values
+                if remainingBudget <= 0 then
+                    Fulfilled(values, lst |> List.map snd) // return only the selected menus, in case they want to unselect something
+                else
+                    Partial(values, children |> List.map snd) // return all child menus so user can keep selecting
+            | _ -> Fallback([], children |> List.map snd) // return all child menus so user can keep selecting
+        eitherF (|Fulfilled|Partial|Fallback|) [] offers config
 
     static member either options : 't OptionOffer =
         Op.either(OfferConfig.blank, options)
@@ -205,6 +220,11 @@ let label txt = { blank with label = Some txt }
 open type Op
 
 type Trait' = CombatReflexes | Skill of string * int
+    with
+    override this.ToString() =
+        match this with
+        | CombatReflexes -> "Combat Reflexes"
+        | Skill(name, level) -> $"{name} %+d{level}"
 
 (* Requirements:
 Terseness: flatten some and's, e.g. "Fast draw (swords & daggers) +1" all on one line, instead of two separate lines.
@@ -226,10 +246,10 @@ let skillN(name:string, levels: int list) =
 // swash is not a MenuOutput but it can create MenuOutputs which can then be either unit tested or turned into ReactElements
 // think of swash as an offer menu
 let swash(): Trait' ListOffer list = [
-
+    let budgetStub n = fun _ -> n // currently budgetF is hardwired to always think there's another n in the budget. TODO: make it aware of the current selections somehow
     skill("Climbing", 1) |> promote
     skillN("Stealth", [1..3]) |> promote
-    budgeted(20, [
+    budgeted(budgetStub 20, [
         trait' CombatReflexes
         skillN("Acrobatics", [1..3])
         ])
@@ -296,6 +316,14 @@ let testFor (selections: string list) expected offers =
         let same, actual, expected = String.diff actualS expectedS
         failtest $"Actual diverged from expected! After: \n{same}\n\nExpected: \n{expected}\nbut got:\n{actual}"
 
+let testFors (selections: string list) expected offers =
+    let actual = offers |> List.map (evalFor selections)
+    if actual <> expected then
+        let actualS, expectedS = actual |> toString, expected |> toString
+        let firstDiff = [0..actualS.Length-1]
+        let same, actual, expected = String.diff actualS expectedS
+        failtest $"Actual diverged from expected! After: \n{same}\n\nExpected: \n{expected}\nbut got:\n{actual}"
+
 [<Tests>]
 let units = testList "Unit.Chargen" [
     let key = parseKey
@@ -350,11 +378,12 @@ let units = testList "Unit.Chargen" [
                     ])
             )
     ]
+
 let proto1 = testCase "proto1" <| fun () ->
     let key = parseKey
-    let actual = swash() |> List.map (evaluate OfferInput.fresh >> snd) // shouldn't actually use OfferInput.fresh here. Need to pick the options we want to show up in pseudoActual.s
     let pseudoActual = // pseudo-actual because actual will be created from templates + OfferInput (i.e. selected keys), not hardwired as Menus, but that's still TODO
-        let menus = [
+        let offers = swash()
+        let expectedMenus = [
             Leveled("Climbing", 1)
             Leveled("Stealth", 3)
             Either(None, [
@@ -366,8 +395,8 @@ let proto1 = testCase "proto1" <| fun () ->
                 ])
             Either(None, [true, key "Fast-Draw (Sword)", Leveled("Fast-draw (Sword)", +2)])
             ]
-        test <@ menus = actual @>
-        render pseudoReactApi menus
+        offers |> testFors ["Sword!"] expectedMenus // evaluate swash() with Sword! selected and compare it to expectedMenus
+        render pseudoReactApi expectedMenus // if that passes, render it to ReactElements and see if it looks right
     let fail expect v = failwith $"Expected {expect} but got {v}\nContext: {pseudoActual}"
     let (|Checked|) = function Checked(label, children) -> Checked(label, children) | v -> fail "Checked" v
     let (|Unchecked|) = function Unchecked(label) -> Unchecked(label) | v -> fail "Unchecked" v