CAIN-42 CAIN StudioAction Firewall: figures & benchmarks
Evidence for Action Firewall: 1. Evidence pack · 2. Answers to buyer questions · 3. Figures & benchmarks · 4. Selling tools · IHVRK kit · Learn it · why these pages exist
Every number on this page is read from the signed transcript inside the IHVRK kit; none is typed in by hand.
3/3
claims matched when recorded
2
attack cases refused or flagged as claimed
0 ms
median round trip (min 0, max 653), incl. network
| # | Kind | Claim | Recorded value | HTTP | ms |
|---|---|---|---|---|---|
| C01 | attack | Plan with one approver for a $50,000 wire: blocked -> Z3 finds the breaking step before anything runs. | "BLOCK" | 200 | 653 |
| C02 | attack | The rule it breaks is the dual-approval rule -> The proof names the rule and the step. | "PROVEN_VIOLATION" | 200 | 0 |
| C03 | control | Same wire with two different approvers: proceeds -> The rule is satisfied; the plan may run. | "PROCEED" | 200 | 0 |
Copy the table (paste into a spreadsheet)
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
Download: figures.tsv · transcript.json (full answers) · whole kit
How to read these numbers
- Recorded 2026-11-03T22:47:51+00:00 against cainstudio.online from our build host; times include the internet round trip.
- They show these inputs, not every possible input. Known misses are on the limits page.
- This is not a load test, an SLA or a third-party benchmark. Re-run it yourself:
python3 verify.py --live.