Tools
Selected RISU projects include public instruments for examining executable semantics, recorded evidence, and bounded verification results. Each instrument remains within the scope stated by its underlying research artifact.
Local-first · Frozen research release · 2026
What evidence, assumptions, identities, and derivations support a claim-specific relying decision?
Reliance Inspector supports inspection of canonical cases, compatible evidence bundles, boundary basis, derivation provenance, and already-verified semantic objects using the frozen relying consumer.
Instrument recordCanonical evidence inspector · 2026
Which residual consequences prevent a bounded agent-closure claim from becoming CLOSED?
The hosted Inspector exposes eight canonical evaluations produced by the frozen Bounded Agent Closure verifier. Public mode is limited to canonical evidence; arbitrary private-evidence evaluation remains a local capability.
Open InspectorBrowser-local experimental instrument · 2026
What evidence is sufficient for a downstream operation to use an exact negative query premise?
The browser-local Inspector reconstructs supplied negative-evidence material and checks whether the exact bounded premise remains supported under the frozen Negative Result Warrant profile. Receiver validation is performed locally and is not serialized authority.
Open Inspector