One program. The same stdout. Or a refusal.
CuNi checks one source across a 144-language catalog. 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. The catalog holds 144 languages. 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.
Native seats on the product page include Python, Go, JavaScript, TypeScript, C, C++, Rust, Ruby, Lua, and Solidity. When Solidity meets a float, a list, or a type outside its model, it refuses. That refusal is the catalog result. Release v0.3.0. Protocol 1.1.1.
How it works
- Write the
.cunisource once. - Run the Python, Go, and JavaScript gate when you want those three to match.
- Run the full catalog when you want all 144 seats, including honest refusals.
- 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.
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 exception for one product is a separate license.
Price
Studio is free. The closed-app exception is $390 a year, SKU cuni-exception. The open license is AGPL-3.0-or-later.
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.