[{"id":"add","lean":true,"samples":[{"payload":{"a":2,"b":3},"stdout":"5\n"},{"payload":{"a":0,"b":0},"stdout":"0\n"}],"schema":{"a":"nat","b":"nat"},"task":"add two nat values"},{"id":"mul","lean":true,"samples":[{"payload":{"a":6,"b":7},"stdout":"42\n"}],"schema":{"a":"nat","b":"nat"},"task":"multiply two nat values"},{"id":"sub_sat","lean":true,"samples":[{"payload":{"a":9,"b":3},"stdout":"6\n"},{"payload":{"a":3,"b":9},"stdout":"0\n"}],"schema":{"a":"nat","b":"nat"},"task":"saturating subtract two nat values"},{"id":"sum3","lean":true,"samples":[{"payload":{"a":1,"b":2,"c":3},"stdout":"6\n"}],"schema":{"a":"nat","b":"nat","c":"nat"},"task":"sum three nat values"},{"id":"min","lean":true,"samples":[{"payload":{"a":4,"b":9},"stdout":"4\n"},{"payload":{"a":9,"b":4},"stdout":"4\n"}],"schema":{"a":"nat","b":"nat"},"task":"minimum of two nat values"},{"id":"max","lean":true,"samples":[{"payload":{"a":4,"b":9},"stdout":"9\n"}],"schema":{"a":"nat","b":"nat"},"task":"maximum of two nat values"},{"id":"double","lean":true,"samples":[{"payload":{"a":21},"stdout":"42\n"}],"schema":{"a":"nat"},"task":"double one nat value"},{"id":"bool_and","lean":true,"samples":[{"payload":{"a":true,"b":false},"stdout":"false\n"},{"payload":{"a":true,"b":true},"stdout":"true\n"}],"schema":{"a":"bool","b":"bool"},"task":"boolean and of two flags"},{"id":"bool_or","lean":true,"samples":[{"payload":{"a":false,"b":true},"stdout":"true\n"}],"schema":{"a":"bool","b":"bool"},"task":"boolean or of two flags"},{"id":"abs_diff","lean":true,"samples":[{"payload":{"a":3,"b":10},"stdout":"7\n"},{"payload":{"a":10,"b":3},"stdout":"7\n"}],"schema":{"a":"nat","b":"nat"},"task":"absolute difference of two nat values"},{"id":"kelly","lean":false,"samples":[{"payload":{"b_bps":20000,"bankroll":10000,"p_bps":6200},"stdout":"4300\n"},{"payload":{"b_bps":10000,"bankroll":1000,"p_bps":15000},"stdout":"0\n"}],"schema":{"b_bps":"nat","bankroll":"nat","p_bps":"nat"},"task":"kelly fraction from win probability and net odds"},{"id":"invoice","lean":false,"samples":[{"payload":{"amount_cents":25000,"tax_bps":700},"stdout":"26750\n"}],"schema":{"amount_cents":"nat","tax_bps":"nat"},"task":"invoice total from amount and tax"},{"id":"redact","lean":false,"samples":[{"payload":{"text":"4111-2222"},"stdout":"XXXX-XXXX\n"}],"schema":{"text":"string"},"task":"redact digits from a line"},{"id":"linear","lean":false,"samples":[{"payload":{"a":3,"b":4,"x":5},"stdout":"19\n"}],"schema":{"a":"nat","b":"nat","x":"nat"},"task":"linear combination a times x plus b"},{"id":"guard","lean":false,"samples":[{"payload":{"text":"admin' OR 1=1;--"},"stdout":"admin OR 1=1\n"}],"schema":{"text":"string"},"task":"strip quotes and statement breaks from a line"},{"id":"dose","lean":false,"samples":[{"payload":{"hi":500,"lo":100,"mg":250},"stdout":"1\n"}],"schema":{"hi":"nat","lo":"nat","mg":"nat"},"task":"dose in milligrams is inside a closed range"},{"id":"price","lean":false,"samples":[{"payload":{"base_cents":2000,"margin_bps":250},"stdout":"2050\n"}],"schema":{"base_cents":"nat","margin_bps":"nat"},"task":"price from base cents and margin"}]