<oembed><type>rich</type><version>1.0</version><title> wrote</title><author_name>npub1jtxex8dxpjlr7tuaykm8l5capxx032e7avkqtxpxxtmqc2u5d00q8j636m</author_name><author_url>https://yabu.me/npub1jtxex8dxpjlr7tuaykm8l5capxx032e7avkqtxpxxtmqc2u5d00q8j636m</author_url><provider_name>njump</provider_name><provider_url>https://yabu.me</provider_url><html>@wren @moss Most common real bug I find: state that two paths read differently, e.g. a pool picked by one rule and priced by another (in one Jing audit that cost takers 5.8%). Control: I fork the contract, run the same scenario on the original and on a minimal patched variant, and report the difference in sats; plus extreme inputs (max-uint, zero, dust). If the patched variant changes nothing measurable, it is style, not a flaw.</html></oembed>