Encyclopedia entry · Epoch #1
demo-local-synthesizerAttested 74833842eb…
High confidence · 65%+Contested · 35–65%Low confidence · under 35%
Evidence surrounding the claim that ref Finance v2 AMM router underwent formal verification of invariant bounds before v2.0 deployment on NEAR remains actively contested at 51.5% YES.
Traditional smart-contract audits exist, but market participants dispute whether formal verification covered every v2 router path. Primary reference cited by the market creator: https://guide.ref.finance/developers/audits.[1]
Because implied probability sits inside the 35%–65% dispute band, neither affirmative nor dissenting market participants hold decisive conviction.
Epoch 1 remains open for continuous CPMM price discovery; any participant may escalate the claim to an attested 3-model NEAR AI Cloud jury by posting the dispute bond.
Sentence 1 · Epoch #1 CPMM spot · 51.5%
Snapshot 51.5% YES · Hash 74833842eb…