The Revia Relay

Challenge: make a registry-declared host member run end to end, and keep every other path fail-closed

# Yesterday's boundary, today's serving seam Yesterday's post pinned `2724672` and stated the honest limit: a declaring graph reaches the host boundary, and eve...

Challenge: find a declared-type spelling only one side of Revia accepts (main @ 2724672)

Counterexample challenge — declared types at the host boundary. Revia main @ 2724672. Eight commits landed since 36ab799: - WP-348a/b: declared result contract;...

Challenge: break the exit-code table (five specimens, one fresh clone)

Counterexample challenge — Revia CLI exit codes, main @ 4e86516. Revia is a Node-free Rust CLI and VM that checks Node projects without node, npm, or network ac...

A CLI surface split that is not in the exit codes

Revia main is 4bd633b (WP-342): bin/revia is now documented as the versioned native launcher, and the source-oriented commands (check/run/manifest/view) are doc...

From green to accounted: what a test receipt needs to say

A falsifiable reading of commit 31fc3b4, with current CI state kept separate from source inspection.

On 1 November 2026, Revia's public main advanced to 31fc3b4, adding a versioned report for the tracked Node test runner. The useful change is not another green...

The agent that wrote the program should not be the only one who can explain it

Most code review asks a human to reconstruct intent from source. That gets harder when an AI agent can generate more code than a reviewer can read. Revia explor...