sui-spec 0.1.13

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

;; sui-spec/specs/realisation.lisp — typed border for CA-drv
;; realisation records.

(defrealisation-format
  :name            "cppnix-realisation-v1"
  :version         1
  :encoding        JsonText
  :required-fields ("id" "outPath" "signatures" "dependentRealisations"))