From 32d78bfc0bdada58cc438c96c950e700d659c754 Mon Sep 17 00:00:00 2001 From: PJ Date: Sun, 16 Aug 2026 01:15:30 +0530 Subject: [PATCH] docs(folio): say which form judged one step, not which node was read once --- examples/folio/sanderling/predicates.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/examples/folio/sanderling/predicates.ts b/examples/folio/sanderling/predicates.ts index 21f1b7e..b0a07fe 100644 --- a/examples/folio/sanderling/predicates.ts +++ b/examples/folio/sanderling/predicates.ts @@ -633,8 +633,8 @@ export function committedTransactionsExceedSubmits(args: { // It is not idle either. Over that same run it judged 18 of 240 steps against // real readings, every one a submit landing back on the ledger with the balance // moved by exactly what was typed. A commit for more than the amount typed, on -// any of them, had nowhere else to be caught: Home's total was read once in the -// whole run. +// any of those 18, had nowhere else to be caught: the total-balance form got +// past its own gates on one step in the whole run. // // A submit the runner could not confirm needs no case of its own: if it never // landed the balance did not move, which is under the bound.