id	kind	claim	recorded_value	expected	http	ms	recorded_at
C01	attack	Plan with a cycle -> A plan that can never start is invalid.	true	[true]	200	4196	2026-11-03T22:47:03+00:00
C02	control	Straight-line plan -> A DAG validates.	true	[true]	200	169	2026-11-03T22:47:04+00:00
C03	attack	Dependency on a task that does not exist -> Unknown dependencies are not silently dropped.	false	[false]	200	167	2026-11-03T22:47:04+00:00
C04	attack	Task depends on itself -> A self-loop is a cycle.	false	[false]	200	170	2026-11-03T22:47:05+00:00
C05	attack	Duplicate task ids -> Two tasks with one name are ambiguous: refused.	"HTTP 400"	[]	400	194	2026-11-03T22:47:06+00:00