program_tools 0.3.0

Rust script runner — compile and execute Rust files as scripts with output capture.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

# Invariant Specs

### Scope

- **Purpose**: Catalog test specifications for each behavioral invariant.
- **Responsibility**: One spec file per invariant; IC- prefix; min 2 cases per spec.
- **In Scope**: Cleanup guarantee, execution isolation, output determinism, error propagation.
- **Out of Scope**: Parameter edge cases (→ `param/`); command integration (→ `command/`).

### Overview Table

| Name | Purpose | Status |
|------|---------|--------|
| `cleanup_guarantee.md` | `invariant` spec for Cleanup Guarantee | ⏳ |
| `execution_isolation.md` | `invariant` spec for Execution Isolation | ⏳ |
| `output_determinism.md` | `invariant` spec for Output Determinism | ⏳ |
| `error_propagation.md` | `invariant` spec for Error Propagation | ⏳ |