CuNi v0.1.5 — platform surface

CuNi v0.1.5 — platform surface

Ship the product surface around the exactness contract: check CLI, diagnostics, playground, CI badge, and the flagship multi-runtime link demo.

Highlights

• cuni check — emit & run Python / Go / JS; require identical stdout
  exactness: PASS (py/go/js) · exit 0 only on pass
• file:line:col type errors — AST spans through parser + type checker
• Local playground — python3 playground/server.py → http://127.0.0.1:8787
• Exactness CI + badge — .github/workflows/exactness.yml on every push/PR
• Flagship link demo — one contract, Go server, Python + JS + Go clients
  ./examples/link/demo.sh → all print hello Cee x3

Install

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

Quick proof

cargo build --release
./target/release/cuni check examples/full.cuni
./examples/link/demo.sh

Docs

• Link interop tutorial
• CI & badges
• SPEC

Not in this release (by design)

Tagged unions with payload, Rust target, streaming link, full inference — see SPEC §19.