CASE STUDIES / SYNTHETIC & REVIEWABLE

Inspect the method.
Challenge the join.

These examples use fictional records and controlled mocks. They do not claim vendor acceptance, real-product impact, or a vulnerability in a deployed service.

01

Reconstructing an agentic AI authorization claim

An interactive evidence ledger shows why a plausible execution record does not complete the chain.

Open flagship case
02

A runnable ownership-check investigation

A public offline mock, exact source hashes, a deliberately vulnerable path, and its fixed control.

Review source & tests