Documentation

NeuroReceipts

A receipt is structured evidence of a critical tick — enough to replay, not a warranty about the physical world.

What is recorded

A NeuroReceipt binds the stack identity to a tick’s disclosed path: input commitments, pre-state, neural outputs / actuator commands, and hashes that let a verifier recompute equality. Newer receipts (v2) tighten the signed field set; legacy samples may exist as historical evidence.

  critical tick
       │
       ├─ stack identity (digest / lock)
       ├─ input commitment
       ├─ pre-state commitment
       ├─ outputs / actions
       └─ receipt id (+ optional signature)
              │
              ▼
         NeuroReceipt artifact

What a receipt is not

Not proof that a robot moved in the world.
Not by itself a publisher seal or hardware attestation.
Not a license for safety-critical deployment without your own certification process.