v4.0.0 — Usability release

Codifide v4.0.0

The usability release. Closes the gap between research prototype and tool usable in the wild.

What's new

Runtime type enforcement — sig declarations are now enforced at every call boundary. Passing a String where Int is declared raises TypeViolation. Any accepts all values. Number accepts both Int and Float.

Standard library — Four new primitive groups:

• File I/O: io.read, io.write, io.exists — with path traversal defense and 16 MiB limits
• HTTP: http.get, http.post — HTTPS-only, 30s timeout
• JSON: json.parse, json.encode — pure, no effect declaration needed
• Dates: clock.today, clock.parse, clock.add_days, clock.format

Public registry — The canonical pipeline symbols are published at https://codifide.com/registry. Browse symbols, copy hashes, view canonical JSON, and see usage examples. Any agent can resolve them:

import classify_content = sha256:377099c5bddb8cebe9e8bc6b8499bb00ea99083798d1b064799ac82c55636fae

python3 -m codifide run my_program.cod --registry https://codifide.com

Numbers

• 450 Python tests, 0 skipped
• 28 Rust canonical tests
• 3 symbols in the public registry
• 4 external agent case studies: 5/5 programs completed by all models

Install

pip install codifide
python3 -m codifide agent-quickstart

V4-4 deferred

Network-safe server (bearer token auth + TLS) deferred until the public registry demonstrates multi-machine use cases that justify the security investment.