harnessalpha
Conformance harness
Which documented claims have public evidence?
61
Open tool ↗requests in recorded conformance run
Recorded / last knownRun also read the public gateway. No current health claim.
The FLOP devnet suite / Verify
Verify
Do the claims hold when checked from outside?
Compare a claim with evidence collected from outside the network. Inspect missing evidence as carefully as a passing check.
9 available / 9 registered tools
Alpha is a release label. Every value below is a dated recording, not a current health claim.
9 tools shown
verifyalpha
Settlement verifier
Do the settlement, receipt and attestation agree?
2,945,153
Open tool ↗recorded channel opening block
Recorded / last knownReported by the indexer. Not a finality proof.
specalpha
Spec differ
Which yellowpaper clauses can public devnet evidence settle?
0
Open tool ↗proofs24h reported in spec evidence
Recorded / last knownA reported field, not a proof of deployed runtime behaviour.
contractsalpha
MCP contract audit
Do the network's tools return what they advertise?
96
Open tool ↗requests in recorded contract audit
Recorded / last knownRecorded probes. No current service availability claim.
indexeralpha
Indexer audit
Do the indexer's totals agree with their parts?
10
Open tool ↗requests in recorded invariant audit
Recorded / last knownAlso read explorer APIs. Consistency is not independent chain proof.
economicsalpha
Emission and fees
Do rewards, emission and fees follow the spec?
20
Open tool ↗settlements in the economics comparison sample
Recorded / last knownCompared with a pinned target. No issuance or reward receipt is verified.
meteringalpha
Metering and calibration
How is effective FLOP measured and calibrated?
63
Open tool ↗calibration objects in the recorded miner page
Recorded / last knownIndexed cap fields. Acceptance and expiry blocks are missing; lease validity is unobservable.
proofsalpha
Proof explorer
What proofs are miners submitting and what do they cover?
0
Open tool ↗proof rows in the recorded indexer query
Recorded / last knownEmpty direct-rail data does not establish missing paid-channel evidence.
invariantsalpha
Security invariants
Which security invariants and failure cases can be checked from outside?
54
Open tool ↗actor failure rows in the pinned matrix
Recorded / last knownQuoted source coverage. A scoped check does not verify a whole security rule.
Reading guide
From a question to evidence
The line tracks your place in this explanation.
Choose a tool
Start with the question it answers. Planned tools link to their source location.
Read the date and source
A recorded value describes its capture. Public devnet data can change or disappear after a reset.
Inspect the boundary
Open the tool for its full evidence and reproduction command. A passing check covers only the stated claim.