Skip to content

v1.0.0 — The reference implementation

Choose a tag to compare

@codifide codifide released this 15 May 05:49
· 71 commits to main since this release

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.