RISU Institute

Experimental public instrument

Negative Result
Warrant Inspector

Can this zero result support the exact bounded premise you intend to use?

Evaluate a supplied Algolia HTTP observation under the frozen experimental profile. Export portable evidence when a warrant is issued, cross a real JSON boundary, revalidate it as a receiver, and test one exact downstream premise—without sending the capture anywhere.

Runs locally in your browser. Your evidence is not uploaded, stored, or used to make a live Algolia call.

Input / observation

Supplied capture

User evidence
ContextExpected source and authority view
Exact requestRaw body text remains byte-distinct
Exact responseComplete provider-reported JSON

No credential value is requested. Only its fingerprint and byte length are used. Reset clears entered, imported, and computed evidence from this page.

Local evaluator

Verdict

Not evaluated

Awaiting evidence

Supply an application-level Algolia capture, or load the frozen recorded experiment.

Trust boundary

Structural validation and SHA-256 binding establish consistency relative to supplied bytes. They do not authenticate Algolia as the origin.

Evidence ladder

0 checks

Checks will appear here in the same fail-closed path used for the verdict.

Exact claim boundary

Supported proposition

No bounded negative proposition has been issued.

Not established

  • World-level nonexistence or absence outside the exact bounded scope
  • Provider authenticity, source truth, or an Algolia-issued certificate
  • Persistence or freshness after the supplied observation
  • Authorization, safety, or legal entitlement for a downstream action

Machine-readable

Portable evidence

Envelope 0.1.0

Inspector-specific transport envelope containing canonical Phase 3 real-source evidence and the exact supplied body text needed to recompute its bindings. It contains no API credential; review body content for other sensitive data before sharing.

No portable evidence issued.
Inspect canonical warrant component 
No warrant issued.

Serialization boundary

Verify portable evidence

Paste an exported package and supply the receiver’s expected source context. JSON carries evidence bytes—not validation authority.

  1. Exported
  2. JSON parsed
  3. Privilege absent
  4. Receiver decoded
  5. Bindings rechecked
  6. Gate eligible

The expected context is receiver-supplied and is not taken as authority from the package.

Package validation NOT RUN Parse and receiver reconstruction have not run.

Premise gate

Check an intended premise

This separate gate unlocks only for newly reconstructed imported evidence. It performs exact structured equality—no English interpretation or logical subsumption.

PREMISE GATE NOT RUN Import and revalidate a portable evidence package first.

Method

A consumer port with frozen reference points.

The local core ports the canonical Algolia normalizer, obligation evaluator, proposition derivation, composition, bound-evidence decoder, canonical real-source decoder, and exact premise gate. Browser Web Crypto replaces Node’s crypto implementation without changing digest inputs.

The canonical warrant, bound evidence, and Algolia real-source evidence remain exact canonical structures. The versioned portable envelope is Inspector-specific and carries the supplied body text required to reproduce bindings after JSON import.

Receiver validation is not serialized authority. Imported evidence must be reconstructed and validated again. User-supplied capture integrity is not provider authentication.

Canonical profile Limitations Machine-readable provenance