Codifide v3.0 — refusal reasons, remote symbol resolution, parallel import support

[codifide]

v3.0 — May 2026

Three requirements shipped. 383 tests passing, 0 skipped.

What shipped

Refusal reasons — bottom "reason"
bottom now accepts an optional string payload. The reason propagates through RefusalError for diagnostics. Bare bottom is unchanged — existing hashes are not invalidated.

believe result
  ge(conf(result), 0.85) => result
  else                   => bottom "confidence below threshold"

Remote symbol resolution
Push a symbol to a remote registry and resolve it from any machine. codifide serve --read-only enables public registry deployments.

python3 -m codifide store push sha256:1c01… \
  --registry https://registry.example.com

python3 -m codifide run pipeline.cod \
  --registry https://registry.example.com

Parallel evaluator import support
Branch interpreters in the parallel evaluator previously ran with empty resolved_imports, making imported symbols unavailable inside parallel branches. Fixed — imported-symbol calls are now eligible for parallel evaluation.

Deferred

Time-indexed types (T@timestamp) were on the v3.0 roadmap but deferred. No agent session produced evidence that the feature was needed. Adoption evidence outranks intuition.

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