CAIN Proof-Carrying Code: evidence, proof and selling tools

Official CAIN-42 IHVRK · New to this product? Learn it first

Don't trust CAIN-42. Verify CAIN-42. This is the Independent Human Verification Resource Kit for CAIN Proof-Carrying Code: every claim its page makes, as the exact request and the answer it must give, recorded live and signed. You check it on your own machine with a short Python script that uses no CAIN-42 code.

Every claim matched when recorded

Download the kit (.zip)

Everything you can give a customer

Selling tools

Pitch, emails, call script, objection answers, one-page summary, proposal.

Evidence pack

The figures and a ready email to an auditor or security reviewer.

Answers to buyer questions

Paste into a security questionnaire: YES, PARTIAL, NO or ASK.

Figures & benchmarks

Every number from the signed record, ready for a spreadsheet.

The kit

Kit	`pcc-20261103T225431`
Recorded	2026-11-03T22:54:31+00:00 against cainstudio.online
Claims	3
Zip SHA-256	`b21074787c47fec2b1f9a3f1c97234eadeea50159b98142553aec3d9d211a508` (also in SHA256SUMS)
Signing key fingerprint	`1cacdfc1fc2024b6bb4f8fb02c7c80f4a57f44c5adb11c507190781b5d613de3`, published on cainstudio.online · mcpgate.online · clawx.click

Verify it on your own machine

unzip cain42-ihvrk-pcc.zip && cd cain42-ihvrk-pcc
python3 verify.py            # offline: hashes, Ed25519 signature, recorded answers
python3 verify.py --live     # also re-send every request yourself and check the answers now

A claim that cannot be checked counts as a FAIL, never a pass. The live check is the one that depends on nothing we recorded.

The claims in this kit

#	Claim	Answer must contain
C01	A pure function: add(a, b) -> Nothing dangerous.	`[true]`
C02	import os; os.system('rm -rf /') -> Shell access refused.	`[false]`
C03	A function that calls eval() -> Dynamic execution refused.	`[false]`

Evidence links you can give your customers

Kit download: /proof/bundle/ihvrk-kits/cain42-ihvrk-pcc.zip
Each file on its own: README.txt · claims.json · transcript.json · MANIFEST.json · MANIFEST.sig · kit-key.json · verify.py
Run the live demo yourself on any of the three sites: cainstudio.online · mcpgate.online · clawx.click
The product explained: /guide-pcc.html · what it does not do: limits
Signing key on three independent domains: cainstudio.online · mcpgate.online · clawx.click
Three ready-to-send evidence pages: 1. Evidence pack · 2. Answers to buyer questions · 3. Figures & benchmarks
Every kit: all IHVRKs · machine-readable index

Send this to your customer

Don't take our word for it. Verify CAIN Proof-Carrying Code yourself:
1. Download the official CAIN-42 IHVRK: https://cainstudio.online/proof/bundle/ihvrk-kits/cain42-ihvrk-pcc.zip
   SHA-256: b21074787c47fec2b1f9a3f1c97234eadeea50159b98142553aec3d9d211a508
2. Unzip it and run: python3 verify.py --live   (Python 3, standard library only, no account)
3. Check the signing key fingerprint 1cacdfc1fc2024b6bb4f8fb02c7c80f4a57f44c5adb11c507190781b5d613de3
   matches https://cainstudio.online/evidence-kit-key.json, https://mcpgate.online/evidence-kit-key.json and https://clawx.click/evidence-kit-key.json
Live demo: https://cainstudio.online/guide-pcc-lab.html
What it does not do: https://cainstudio.online/guide-pcc-limits.html

What this kit is, and is not

It shows what the live product answered to these inputs, and lets anyone check that again. It is not a third-party audit, a certification, or a promise about inputs not listed. The product's limits page lists what it does not do.