From be66d8713aaa236210c73b038e8fe50056f3231c Mon Sep 17 00:00:00 2001 From: rustfuture <121799572+rustfuture@users.noreply.github.com> Date: Fri, 2 Oct 2026 14:20:51 +0300 Subject: [PATCH] Show the status as a note and fold reference sections --- README.md | 15 ++++++++++++++- 1 file changed, 14 insertions(+), 1 deletion(-) 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 [![CI](https://github.com/rustfuture/reflex-control/actions/workflows/ci.yml/badge.svg)](https://github.com/rustfuture/reflex-control/actions/workflows/ci.yml) [![License: MIT](https://img.shields.io/badge/license-MIT-blue.svg)](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