A retrieved document made the model propose a 50,000 euro discount. The prompt injection succeeded, but the action did not. Here is the deterministic policy boundary that stopped it. Part 3 of From Prompt to Proof.
Most systems already have logs. Can you prove that the logs you show today are the records the system wrote six months ago? Ed25519 signatures, a SHA 256 chain, canonical JSON, and the one SQL update that broke all of it. Part 2 of From Prompt to Proof.
Version one of my PII layer masked the words "tax number" and let the Greek AFM through. How I measured Presidio, the checksum trap, and the threshold that silently detects nothing. Part 1 of From Prompt to Proof.