Prove it
A claim is offered with an explicit boundary. Select the witness that admissibly carries it. Wrong witness type → out_of_boundary. Contradictory witness → contradicted.
1
0
0
0
0
// claim & boundary
The matrix multiplication produced a logit of 0.84 for token "checked".
namespace: /ai-output
witness_provenance: simulated
allowed_context: demonstration
witness_provenance: simulated
allowed_context: demonstration
drop witness here
structural admissibility check
Avatar duel
Two avatars make incompatible claims. You hold the jury seat. Maintain the one whose witness chain holds; challenge the one whose boundary breaks. 90 seconds.
1
0
0
0
// avatar A
sat 1168...821204 ⊕ pubkey 0xa3f9...
90
seconds
// avatar B
sat 4429...158901 ⊕ pubkey 0x7c2e...
Witness chain
Witnesses move through the inspection zone. Each will be hashed into a Merkle root. If a forged witness is in the zone when you click VERIFY, you catch it. Wait too long, it enters the root.
1
0
0
0
0
// merkle root construction · period_commit envelope
Sybil arena
Avatars publish claims. Most are legitimate; one cluster is a Sybil swarm — many cheap sats, identical timing, thin witness chains. Spot it and call. Wrong call costs sats; correct call clears the namespace.
10,000
1
0
0
// observe publication patterns. A Sybil cluster will publish in synchronised bursts with identical witness types.
Click a node to select it. Hold shift + click to add. Then call.