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
# Parameter Spec: destination::
### Scope
- **Element:** `parameter/destination`
- **Source:** `docs/cli/param.md#parameter--5-destination`
- **Prefix:** `EC-`
- **Minimum cases:** 3
### Case Index
| ID | Name | Category | Status |
|----|------|----------|--------|
| EC-14 | output_written_to_destination | nominal | ✅ |
| EC-15 | nonexistent_destination_created | nominal | ✅ |
| EC-16 | destination_is_required | error | ✅ |
---
### EC-14: output written to destination
- **Given:** An archive with files is loaded; destination directory exists
- **When:** `.materialize destination::"./output"` is run
- **Then:** Exit code 0; files appear in `./output/` directory
- **Tests:** `tests/materialization_test.rs`
### EC-15: nonexistent destination created
- **Given:** An archive is loaded; destination directory does not exist
- **When:** `.materialize destination::"./new_dir"` is run
- **Then:** Exit code 0; `./new_dir/` is created and files are written into it
- **Tests:** `tests/materialization_test.rs`
### EC-16: destination is required
- **Given:** An archive is loaded
- **When:** `.materialize` is run without `destination::`
- **Then:** Exit code 1; error message indicates missing required parameter
- **Tests:** `tests/materialization_test.rs`