One program. The same stdout. Or a refusal.
CuNi 0.10.0 checks one source across 53 targets. Python, Go, and JavaScript must print the same stdout. A seat that would drift refuses.
What it is
CuNi is the exactness tool. You write one .cuni program. CLI v0.10.0 holds 53 targets. The gate that must match is Python, Go, and JavaScript. If those three would print different stdout, CuNi refuses the path and publishes the refusal. Studio is free. Bank takes a paste of N and emits X.
The CLI default cuni check runs the money seats: Python, Rust, Go, Java, SQL, and JavaScript. cuni check --all runs the 53-target catalog. A native seat that would diverge refuses. Solidity refuses a float, a list, or a type outside its model. Install the prebuilt binary with Homebrew. Protocol 1.1.1. Tag v0.10.0.
How it works
- Write the
.cunisource once. - Run the Python, Go, and JavaScript gate when you want those three to match.
- Run
cuni check --allwhen you want all 53 targets. - Use Bank when you want another catalog id from the same source, then prove it.
POST /api/pass on Studio returns pass or refuse for the three-language gate. The receipt is the answer you keep next to the job. cuni check --json --sign adds an Ed25519 signature a stranger can verify.
What you receive
You receive either identical stdout on the seats you asked for, or a refusal that names why the path stopped. You receive a free Studio, a Bank, and a protocol document. A closed-app grant for one product is a separate license.
Price
Studio is free. Hosted calls: check $0.05 (first 100 a month free), translate $0.10, ingest $0.10, money $0.25, time $0.25, parity $0.25, chain $0.50, ship $0.50, audit $1.00. The closed-app grant is $490 a year. The open license is AGPL-3.0-or-later. A local binary is unmetered.
Works with
Put the receipt beside a Rider job when you want proof the program matched. ExactOdds is the same rule on five seats and a pair of dice. Toll 5 on Tollkeeper is the listed price of selling that check.