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
22
23
24
25
26
27
28
29
30

;; sui-spec/specs/store_layout.lisp — typed convention for the
;; on-disk shape of a nix store.

;; ── cppnix (the canonical layout) ────────────────────────────────

(defstore-layout
  :name        "cppnix"
  :store-root  "/nix/store"
  :state-root  "/nix/var/nix"
  :path-format HashDashName
  :aux-dirs ((:name "db"            :purpose Db)
             (:name "gcroots"       :purpose GcRoots)
             (:name "profiles"      :purpose Profiles)
             (:name "daemon-socket" :purpose DaemonSocket)
             (:name "temproots"     :purpose Temp)
             (:name "userpool"      :purpose UserState)
             (:name "eval-cache-v5" :purpose EvalCache)))

;; ── Single-user store (non-root, e.g. macOS without daemon) ──────

(defstore-layout
  :name        "cppnix-single-user"
  :store-root  "/nix/store"
  :state-root  "/nix/var/nix"
  :path-format HashDashName
  :aux-dirs ((:name "db"            :purpose Db)
             (:name "gcroots"       :purpose GcRoots)
             (:name "profiles"      :purpose Profiles)
             (:name "userpool"      :purpose UserState)
             (:name "eval-cache-v5" :purpose EvalCache)))