sui-spec 0.1.15

Declarative Lisp-authored specs for CppNix-parity behaviors. Rust types are the hard boundary; Lisp forms are the free-middle authoring surface. Both engines (tree-walker + VM) drive the same spec, so they cannot drift.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

;; sui-spec/specs/eval_cache.lisp — typed eval-cache formats.

;; ── cppnix eval cache (SQLite + sha256) ──────────────────────────

(defeval-cache-format
  :name         "cppnix-eval-cache-v5"
  :version      5
  :backend      SQLite
  :hash-algo    Sha256
  :key-input    ExprPlusInputs
  :default-path "var/nix/eval-cache-v5/")

;; ── sui eval cache (redb + BLAKE3) — same key shape ──────────────

(defeval-cache-format
  :name         "sui-eval-cache-v1"
  :version      1
  :backend      Redb
  :hash-algo    Blake3
  :key-input    ExprPlusInputs
  :default-path "var/sui/eval-cache-v1/")