agentbible 0.1.0

Language-agnostic correctness checker for scientific numerical code
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

# AgentBible Rust

Rust workspace for the AgentBible v1 correctness specification.

## Commands

```bash
cd languages/rust
cargo test
cargo clippy -- -D warnings
cargo fmt --check
```

`agentbible::types` contains strict validating newtypes. `agentbible::check`
contains runtime assertion macros that emit provenance JSON and then panic.