1  # Agent Guidelines
 2  
 3  Agents MUST consult .skills/general/SKILL.md for ALL requirements.
 4  
 5  ## Workspace Management
 6  
 7  This project uses moon for workspace management.
 8  
 9  ### Available Tools
10  
11  - **moon**: Task runner and workspace manager
12  - **cargo**: Rust package manager
13  - **cargo-nextest**: Faster test runner
14  - **cargo-llvm-cov**: Code coverage tool
15  
16  ### Running Tests
17  
18  Run all tests:
19  ```bash
20  moon run all:test
21  ```
22  
23  Run tests for specific crate:
24  ```bash
25  moon run lib:test
26  moon run cli:test
27  ```
28  
29  ### Test Coverage
30  
31  Generate coverage report:
32  ```bash
33  moon run lib:coverage
34  ```
35  
36  View coverage:
37  ```bash
38  open target/llvm-cov/html/index.html
39  ```
40  
41  ### Building
42  
43  Build all projects:
44  ```bash
45  moon run all:build
46  ```
47  
48  Build release binary:
49  ```bash
50  moon run cli:build
51  ```
52  
53  ## Enforcement
54  
55  Mandatory requirements:
56  - Idiomatic Rust programming
57  - ASD-STE100 documentation
58  - ATDD with cucumber-rs
59  - 100 percent test coverage
60  - Verus formal verification
61  - Safety-critical engineering
62  
63  Non-negotiable compliance.