Skip to content

CuNi v0.1.9 — 119 languages, source_hash receipts

Choose a tag to compare

View all tags
@ceedot-rock ceedot-rock released this 09 Sep 15:12
· 21 commits to master since this release
v0.1.9
3f58c29

CuNi v0.1.9

One program. 119 catalog languages. Same stdout or refuse. The receipt names the program by hash, not by path.

Studio: https://cuni-studio.fly.dev/
Protocol: https://cuni-studio.fly.dev/.well-known/cuni-protocol.json

Install

cargo install --git https://github.com/ceedot-rock/cuni --tag v0.1.9

Linux x86_64 binary is attached (cuni-0.1.9-x86_64-unknown-linux-gnu.tar.gz).

What this release does

  • cuni check emit+runs the full catalog (119). Native seats: Python, Go, JavaScript, TypeScript, C, C++, Rust. Other ids still emit+run (Python lowering). --receipt records native vs lowering.
  • --receipt includes source_hash (SHA-256 of the .cuni bytes). Agent-Rider refuses register if a claimed hash does not match.
  • cuni ingest (Python v1 subset) and cuni prove --against.
  • Lab laws under examples/laws/ (suite meter, catalog prices, Rider 5% fee, spend cap). Integer / in py/js truncates toward zero so money matches Go/C/Rust.

Not in this tag

  • A crate on crates.io (install from the git tag or the attached tarball)
  • Native backends for every catalog id (lowering is still a seat, not a skip)
  • PCC / Combined GC (not a CuNi SKU)
Assets 4
Loading