<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Fast-Check on Tokenise</title><link>https://tokenise.rosvetic.com/tags/fast-check/</link><description>Recent content in Fast-Check on Tokenise</description><generator>Hugo</generator><language>en-gb</language><lastBuildDate>Tue, 03 Nov 2026 16:02:00 +0000</lastBuildDate><atom:link href="https://tokenise.rosvetic.com/tags/fast-check/index.xml" rel="self" type="application/rss+xml"/><item><title>The bug your agent's tests can't see: let fast-check write the reproduction</title><link>https://tokenise.rosvetic.com/posts/shrunk-counterexample-bug-report-for-agent-typescript/</link><pubDate>Tue, 03 Nov 2026 16:02:00 +0000</pubDate><guid>https://tokenise.rosvetic.com/posts/shrunk-counterexample-bug-report-for-agent-typescript/</guid><description>&lt;p&gt;An agent writes &lt;code&gt;allocate(totalPence, weights)&lt;/code&gt;, the function that splits a bill, a refund or a fee across several parties. It also writes three tests: an even split, a 1:3 split, a single share. All green. The function is wrong, and it&amp;rsquo;s wrong in the way money code is usually wrong: on some totals the shares add up to one penny more than the total.&lt;/p&gt;</description></item></channel></rss>