Codifide v4.0 — runtime type enforcement, standard library, public registry

[codifide]

v4.0 — May 2026

The usability release. 461 tests passing, 0 skipped. Now on PyPI.

pip install codifide
python3 -m codifide --version

What shipped

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.

def double
  intent "double an integer"
  sig    (n: Int) -> Int
  effects {}
  cand
    add(n, n)

# double("hello") → TypeViolation: parameter n expects Int but got String

Standard library

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

Public registry — V4-3 complete
All five canonical pipeline symbols are live at codifide.com/registry. Any agent on any machine can resolve them by hash:

python3 -m codifide run pipeline_composed.cod \
  --registry https://codifide.com
# Output: blocked

is_bottom fix
is_bottom was incorrectly raising BottomPropagationError when receiving a bottom value — the opposite of its purpose. Fixed. Both the direct-call and bind patterns now work:

# Both work as of v4.0
cand
  if is_bottom(function_that_refuses()) then "refused" else "ok"

cand
  r <- function_that_refuses()
  if is_bottom(r) then "refused" else r

Deferred

• V4-4 (network-safe server) — bearer token auth and TLS for the RPC server. Deferred until the public registry demonstrates multi-machine use cases that justify the security investment.
• Static type inference, editor integration, structural diff — no adoption evidence yet.

Full changelog

See CHANGELOG.md for the complete record.

---

Codifide is a programming language designed for agentic AI — intent, effects, contracts, confidence, and refusal as first-class enforced properties. GitHub · codifide.com · PyPI