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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
;; Typed store-operation primitives — declarative slice
;; selection for `sui store materialize` + future ops.
;;
;; Each (defstore-slice …) names a subset of /nix/store that
;; sui knows how to operate on safely. Operators reference
;; slices by name when invoking sui store-ops commands.
;; ── small file sources slice ─────────────────────────────────
;;
;; Tiny sample (≤5 entries, ≤1 MB each) of paths whose name ends
;; in "-source". Used by the materialize-verify pipeline:
;; round-trips NAR through sui's encoder + decoder, hashes both
;; sides, proves byte-equivalence. Default destination is a
;; throwaway directory under /tmp.
;; ── tiny patches slice ───────────────────────────────────────
;;
;; Single-file patches under /nix/store. Selecting these
;; exercises the file-only encoder path; total disk usage is
;; negligible.
;; ── tiny derivations slice ───────────────────────────────────
;;
;; .drv ATerm files. Round-tripping these proves both NAR
;; encode/decode + the ATerm parser/serializer compose
;; correctly end-to-end.