Documentation

Verify process

Import a stack and receipt, replay locally, and read claims honestly — match or open, never fabricated pass.

Process

Import or select the NeuroStack that produced the event.
Import the NeuroReceipt (and any required side files).
Run local replay: recompute outputs from disclosed input and pre-state.
Read the report: each claim is match, fail, or unverified.
Optionally continue to external checks only after local replay is understood.

  Stack + Receipt
         │
         ▼
   load & bind identities
         │
         ▼
   local replay engine
         │
    ┌────┴────┐
    ▼         ▼
  MATCH      FAIL / INCOMPLETE
    │
    ▼
  report (fail-closed on gaps)

Claim language

Verify lists separate claims (artifact identity, execution path, replay, external, anchor, …). A hash being computed is not the same as matching an expected digest. A local match is not an independent third-party attestation. The UI is required to keep those distinctions visible.