id	kind	claim	recorded_value	expected	http	ms	recorded_at
C01	attack	Plan with one approver for a $50,000 wire: blocked -> Z3 finds the breaking step before anything runs.	"BLOCK"	["BLOCK"]	200	653	2026-11-03T22:47:50+00:00
C02	attack	The rule it breaks is the dual-approval rule -> The proof names the rule and the step.	"PROVEN_VIOLATION"	["PROVEN_VIOLATION"]	200	0	2026-11-03T22:47:50+00:00
C03	control	Same wire with two different approvers: proceeds -> The rule is satisfied; the plan may run.	"PROCEED"	["PROCEED"]	200	0	2026-11-03T22:47:51+00:00