id	kind	claim	recorded_value	expected	http	ms	recorded_at
C01	attack	Sample: A discount that can make the price negative -> Z3 proves the contract or returns a concrete counterexample.	false	[false]	200	226	2026-11-03T22:47:34+00:00
C02	attack	Sample: max3 returns c instead of the true maximum -> Z3 proves the contract or returns a concrete counterexample.	false	[false]	200	109	2026-11-03T22:47:35+00:00
C03	attack	Sample: A clamp that returns lo + 1 for low inputs -> Z3 proves the contract or returns a concrete counterexample.	false	[false]	200	75	2026-11-03T22:47:35+00:00
C04	attack	Sample: An absolute value that returns x - 1 for non-negative x -> Z3 proves the contract or returns a concrete counterexample.	false	[false]	200	55	2026-11-03T22:47:36+00:00
C05	control	Sample: A correct clamp (Z3 proves the contract already holds) -> Z3 proves the contract or returns a concrete counterexample.	true	[true]	200	53	2026-11-03T22:47:37+00:00
C06	attack	Your function: division that can divide by zero -> Undefined behaviour is never PROVED (the 2026-11-02 fuzzer found this case).	false	[false]	200	60	2026-11-03T22:47:37+00:00
C07	control	Your function: honest max -> A correct function proves.	true	[true]	200	77	2026-11-03T22:47:38+00:00