From 46aba1654f7b841749da270437d876e330436e77 Mon Sep 17 00:00:00 2001 From: PJ Date: Sun, 16 Aug 2026 01:06:59 +0530 Subject: [PATCH] docs(skills): name the balance predicate that still exists --- skills/sanderling-run-triage/SKILL.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/skills/sanderling-run-triage/SKILL.md b/skills/sanderling-run-triage/SKILL.md index 98240b7..1cc7583 100644 --- a/skills/sanderling-run-triage/SKILL.md +++ b/skills/sanderling-run-triage/SKILL.md @@ -64,8 +64,9 @@ evaluation produced the violation; for a deferred obligation (a `next`, an The discipline is one sentence: open the witness and confirm those values could actually produce that verdict. An iOS witness read `typedAmount = 0`, and -`submitChangesBalanceByTypedAmount` in `examples/folio/sanderling/predicates.ts` -returns true at `typedAmount === 0` before it compares anything. So the trace +`submitChangesBalanceByAtMostTypedAmount` in +`examples/folio/sanderling/predicates.ts` returns true at `typedAmount === 0` +before it compares anything. So the trace appeared to show a conviction that could not have happened. The verdict was real and the artifact was lying, and until that was resolved neither the bug report nor the fix could be trusted.