This market was automatically settled Nov 5, 2026, 11:35 PM UTC
Will Prometheus v3.16.0 (final) be published on GitHub by Nov 5, 2026, 21:00 UTC?
Settled MarketMarket Settled
This market has been resolved.
You did not have a position in this market.
Final Outcome
Market Probability Chart
My Position
No positions are open on this market.
Trade History
0 tradesMarket Stats
AI Settlement
Yes
<think> Okay, let's tackle this. The market question is whether Prometheus v3.16.0 (final) was published on GitHub by November 5, 2026, at 21:00 UTC. Both resolvers reported that the release exists and was published at 16:06 UTC on Nov 5. First, check the resolution criteria. The "Yes" condition requires the release to be non-pre-release, tagged v3.16.0, and published after Oct 26, 00:00 UTC and on or before Nov 5, 21:00 UTC. Both resolvers confirm it's a final release (prerelease is false), and the publication time is 16:06 UTC, which is within the required window. The release date is Nov 5, so the time is well before 21:00 UTC. The resolvers agree on the key points: the release exists, it's a final version, and the timestamp meets the criteria. There's no conflicting information. Also, the current time is after the market close, but the event (release) happened before the deadline. No issues with evidence timing since the release was checked post-market close but before the resolution deadline. Both sources (GitHub page and API) are authoritative. Since both resolvers support answer 0 and their evidence aligns with the criteria, the answer should be 0. </think> ANSWER: Yes
Resolution criteria: - "Yes": Wins if the prometheus/prometheus GitHub releases page lists a non-pre-release release tagged v3.16.0 with a publication time strictly after 2026-10-26T00:00:00Z and at or before 2026-11-05T21:00:00Z (16:00 Eastern Time on November 5, 2026). - "No": Wins if v3.16.0 (final) is published after 2026-11-05T21:00:00Z or not at all. Clarifications: - Release candidates (v3.16.0-rc.N) and patch releases of other lines (v3.15.x, v3.13.x) do not count. - The publication time is the time GitHub shows for the release (the published_at field of the release); times are read in UTC. - The project's RELEASE.md planned the first v3.16 pre-release for 2026-10-21; v3.16.0-rc.2 was published on 2026-10-28 and no final v3.16.0 exists as of 2026-11-03.
Creator Stats
Less than 5 total markets created
