syntheticaAsk fill = taker price for that outcome (YES ask or NO ask). Chart tracks YES mid. Protocol MM prints are labeled · trader names are anonymized handles
Frozen while the sealed simulation settles this outcome.
Proof rows fill in when the slot closes and the sim commits.
$ synthetica verify --seed pending \ --market wld-9a07/will-the-nodex-v2-upgrad --expect YES