Deterministic math gates: figures & benchmarks
Evidence for Deterministic math gates: 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.
5/5
claims matched when recorded
4
attack cases refused or flagged as claimed
170 ms
median round trip (min 167, max 4196), incl. network
| # | Kind | Claim | Recorded value | HTTP | ms |
|---|---|---|---|---|---|
| C01 | attack | Plan with a cycle -> A plan that can never start is invalid. | true | 200 | 4196 |
| C02 | control | Straight-line plan -> A DAG validates. | true | 200 | 169 |
| C03 | attack | Dependency on a task that does not exist -> Unknown dependencies are not silently dropped. | false | 200 | 167 |
| C04 | attack | Task depends on itself -> A self-loop is a cycle. | false | 200 | 170 |
| C05 | attack | Duplicate task ids -> Two tasks with one name are ambiguous: refused. | "HTTP 400" | 400 | 194 |
Copy the table (paste into a spreadsheet)
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
Download: figures.tsv · transcript.json (full answers) · whole kit
How to read these numbers
- Recorded 2026-11-03T22:47:06+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.