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.

v3.0.0 — Multi-agent protocol release

Codifide v3.0.0

Codifide becomes a multi-agent language. Symbols published on one machine can be resolved on any other — hash-verified, no out-of-band coordination required.

What's new

Remote symbol resolution — codifide store push sha256:<hash> --registry https://codifide.com publishes a symbol to the public registry. Any agent resolves it with --registry https://codifide.com. Hash-verification makes trust automatic.

Refusal reasons — bottom gains an optional string payload: bottom "confidence below threshold". The reason propagates through RefusalError for diagnostics. Backward-compatible — existing hashes unchanged.

Parallel evaluator: full import support — Imported symbols are now eligible for parallel evaluation. The last known gap in the parallel evaluator (AUD-OVERNIGHT-02) is closed.

Also shipped

• codifide serve --read-only for public registry deployments
• codifide serve --registry for remote resolution
• 383 Python tests, 0 skipped

V3-4 deferred

Time-indexed types (T@timestamp) were on the roadmap but deferred — no agent session produced evidence that the feature was needed.

v2.0.0 — Agent adoption release

Codifide v2.0.0

Every friction point that blocked agents from completing Program 5 — content-addressed composition — is now fixed. Four requirements, driven by real adoption evidence from four external agent case studies.

What's new

RPC API — python3 -m codifide serve starts a local HTTP server. POST canonical forms, GET by hash. No CLI ceremony for content-addressed composition.

Static bind-before-when detection — The most common footgun (using a bound name in a when guard before the body runs) is now a parse error with a clear fix message. Previously a confusing runtime error.

from-import in the Rust runtime — from sha256:<hash> import name1, name2 now works in the default Rust runtime. The CODIFIDE_RUNTIME=python workaround is gone.

Capability manifest docs field — The manifest now links to human-readable documentation. An agent fetching capability.json gets pointers to the quickref, cookbook, and onboarding guide.

Also shipped

• Rust interpreter and Rust parser (byte-level conformance to Python)
• Parallel evaluator
• Agent Adoption Initiative: AGENT_COOKBOOK.md (12 failure modes), AGENT_QUICKREF.md, agent-quickstart command
• 341 Python tests, 0 skipped

Validated by four external agent sessions

GPT-4o, Gemini 2.5 Pro, Claude, and GPT-5.4 all ran the pipeline task spec. All five programs completed by all models. The friction points they hit became the v2.0 requirements.

v1.0.0 — The reference implementation

Codifide v1.0.0

The first stable release. Everything an agent needs to write Codifide programs.

What's in v1.0.0

• Canonical JSON and CBOR forms with SHA-256 content addressing (CBOR primary)
• Surface parser with multi-line expression continuation, fuzz-hardened
• Tree-walking interpreter: transitive effect checking, pre/post contract enforcement, multi-candidate dispatch, cost-based dispatch, belief dispatch, inline if/then/else, first-class refusal (bottom), 8 typed error kinds
• Indexed primitives: slice, at, char_at, indexof
• Content-addressed symbol store with GC, atomic writes, sharded loose objects
• Content-addressed imports (import foo = sha256:...)
• Capability manifest (python3 -m codifide capability)
• Rust canonical crate — byte-level conformance to Python
• 216 Python tests, 28 Rust canonical tests, 0 skipped

Quickstart

pip install codifide
python3 -m codifide agent-quickstart

For agents

Start with docs/FOR_AGENTS.md and the capability manifest at https://codifide.com/capability.json.