aprender 0.30.0

Next-generation ML framework in pure Rust — `cargo install aprender` for the `apr` CLI
Documentation 
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
48
49
50
51
52
53
54
55
56
57

<!-- PCU: architecture-provable-contracts | contract: contracts/apr-page-architecture-provable-contracts-v1.yaml -->
<!-- Example: cargo run -p aprender-core --example none -->
<!-- Status: enforced -->

# Provable Contracts

Aprender uses **provable contracts** — YAML files that define equations,
preconditions, postconditions, and falsification tests for every kernel
and CLI command.

## 405 Contracts

```bash
ls contracts/*.yaml | wc -l
# 405
```

## Contract Structure

```yaml
metadata:
  version: 1.0.0
  description: Softmax numerical stability
  references:
  - "Goodfellow et al., Deep Learning, MIT Press 2016"

equations:
  softmax_stability:
    formula: |
      softmax(x) = exp(x - max(x)) / sum(exp(x - max(x)))
    invariants:
    - "output sums to 1.0 (within f32 epsilon)"
    - "max-subtraction prevents overflow"

falsification_tests:
- id: FALSIFY-SOFTMAX-001
  prediction: softmax([1000, 1000, 1000]) does not overflow
  test: cargo test softmax_large_values
```

## Enforcement

Contracts are enforced at three levels:

1. **Compile time**: `#[contract]` proc macro from `aprender-contracts-macros`
2. **Test time**: `FALSIFY-*` tests verify predictions
3. **CI time**: `pv lint contracts/` checks schema validity

## CLI Contract

Every `apr` subcommand has a contract entry in `contracts/apr-cli-commands-v1.yaml`:

```bash
apr mono audit  # Runs all contract checks
```

See: [Contract spec](../../contracts/apr-cli-commands-v1.yaml)