diff --git a/README.md b/README.md
index b934efc..de44083 100644
--- a/README.md
+++ b/README.md
@@ -7,7 +7,8 @@ Reflex Control decides whether an AI task can finish on its own, retry, or escal
[](https://github.com/rustfuture/reflex-control/actions/workflows/ci.yml)
[](LICENSE)
-**Status:** Research prototype (v0.4.0). Tested on synthetic fixtures; not production-validated.
+> [!NOTE]
+> **Status:** Research prototype (v0.4.0). Tested on synthetic fixtures; not production-validated.
- Runs fast local checks (exit codes, test results, git diffs) alongside semantic risk signals.
- Blocks high-risk actions like credential leaks or schema changes with a mandatory safety veto.
@@ -30,6 +31,8 @@ reflex demo verifier-gate
The demo prints local policy decisions without an API key or model download. Prebuilt Linux binaries require glibc; unsupported platforms can build from source. On Windows, use the [PowerShell installer](install.ps1).
+Build from source
+
### Build from source
You need Git and Rust **1.88** or newer, including Cargo. Install the toolchain with [rustup](https://rustup.rs/); the first source build downloads Cargo dependencies.
@@ -79,6 +82,8 @@ cargo run --bin reflex -- run --provider jev \
--risk low
```
+
+
---
## How it works
@@ -113,6 +118,8 @@ The repository is organized as a Cargo workspace separating core abstractions fr
The repository includes standalone runnable examples under [`examples/`](examples/):
+All examples
+
### Verifier Gate Example
Demonstrates both autonomous acceptance of safe tasks and hard safety veto rules against dangerous modifications (even when model confidence is high):
@@ -177,6 +184,8 @@ verification failing, budget exhausted -> escalate (reflex action: defer_to_fr
green tests, secret file touched -> escalate (reflex action: defer_to_frontier)
```
+
+
---
@@ -192,6 +201,8 @@ Historical Candidate E aggregates, partition history, and metric definitions are
All fixture datasets and frozen policies reside in [`fixtures/`](fixtures/):
+Dataset details
+
| Dataset File | Role | Sample Count |
| :--- | :--- | :---: |
| `fixtures/v2_eval_blind_test.json` | Curated synthetic held-out evaluation partition (legacy filename) | 100 tasks |
@@ -200,6 +211,8 @@ All fixture datasets and frozen policies reside in [`fixtures/`](fixtures/):
| `fixtures/v2_eval_dev.json` | Development & connectivity smoke testing split | 30 tasks |
| `fixtures/frozen_hybrid_config.json` | Frozen 0.3.0 policy parameters ($\tau_{\text{accept}} = 0.22, \theta_{\text{clean}} = 0.40, \text{risk}_{\text{frontier}} = 0.70$); fit with live Jev on the calibration partition | Config |
+
+
---
## Scope and Limitations