From bf235e54c2be7d553c97cc594c3553a2ef339efe Mon Sep 17 00:00:00 2001
From: PJ <ipriyanshujain@gmail.com>
Date: Mon, 25 May 2026 18:14:40 +0530
Subject: [PATCH] feat(folio): layer defaultActions breadth over targeted flows

---
 examples/folio/sanderling/spec.ts | 12 +++++-------
 1 file changed, 5 insertions(+), 7 deletions(-)

diff --git a/examples/folio/sanderling/spec.ts b/examples/folio/sanderling/spec.ts
index 43314ca..3827183 100644
--- a/examples/folio/sanderling/spec.ts
+++ b/examples/folio/sanderling/spec.ts
@@ -11,6 +11,7 @@ import {
   weighted,
   whenRoute,
 } from "@sanderling/spec";
+import { defaultActions } from "@sanderling/spec/defaults";
 
 interface Account {
   name: string;
@@ -80,7 +81,6 @@ const txnSubmit = extract(s =>
   s.ax.find([{ testTag: "AddTransactionScreen" }, { testTag: "TxnSubmit" }]));
 const accountCards = extract(s =>
   s.ax.findAll([{ testTag: "HomeScreen" }, { testTag: "AccountCard" }]));
-const backButton = extract(s => s.ax.find({ testTag: "BackButton" }));
 
 // Property 1: every newly-appearing account starts with balance === 0.
 // Identity is by visible name. Guard against navigation transitions where
@@ -165,11 +165,6 @@ const addTxn = whenRoute(route, ["home", "ledger", "add-transaction"], () => {
   return opts;
 });
 
-const back = actions(() => {
-  const btn = backButton.current;
-  return btn ? [Tap({ on: btn })] : [];
-});
-
 export const properties = {
   newAccountBalanceIsZero,
   newTxnChangesBalance,
@@ -177,10 +172,13 @@ export const properties = {
 
 export const setup = login;
 
+// Targeted depth (addAccount / addTxn) drives the deep flows; defaultActions
+// adds breadth so the fuzzer wanders the whole app and types edge-case values
+// into every field, stressing the balance invariants above.
 export const actionsRoot = weighted(
   [50, addAccount],
   [40, addTxn],
-  [10, back],
+  [20, defaultActions],
 );
 
 (globalThis as { actions?: unknown; properties?: unknown; setup?: unknown }).actions = actionsRoot;