Prediction Market Contract

# { "Depends": "py-genlayer:latest" }
 
from genlayer import *
 
import json
import typing
 
 
class PredictionMarket(gl.Contract):
    has_resolved: bool
    team1: str
    team2: str
    resolution_url: str
    winner: u256
    score: str
 
    def __init__(self, game_date: str, team1: str, team2: str):
        self.has_resolved = False
        self.resolution_url = (
            "https://www.bbc.com/sport/football/scores-fixtures/" + game_date
        )
        self.team1 = team1
        self.team2 = team2
        self.winner = u256(0)
        self.score = ""
 
    @gl.public.write
    def resolve(self) -> typing.Any:
 
        if self.has_resolved:
            return "Already resolved"
 
        market_resolution_url = self.resolution_url
        team1 = self.team1
        team2 = self.team2
 
        def get_match_result() -> typing.Any:
            web_data = gl.nondet.web.render(market_resolution_url, mode="text")
            print(web_data)
 
            task = f"""
In the following web page, find the winning team in a matchup between the following teams:
Team 1: {team1}
Team 2: {team2}
 
Web page content:
{web_data}
End of web page data.
 
If it says "Kick off [time]" between the names of the two teams, it means the game hasn't started yet.
If you fail to extract the score, assume the game is not resolved yet.
 
Respond with the following JSON format:
{{
    "score": str, // The score with numbers only, e.g, "1:2", or "-" if the game is not resolved yet
    "winner": int, // The number of the winning team, 0 for draw, or -1 if the game is not yet finished
}}
It is mandatory that you respond only using the JSON format above,
nothing else. Don't include any other words or characters,
your output must be only JSON without any formatting prefix or suffix.
This result should be perfectly parsable by a JSON parser without errors.
            """
            result = (
                gl.nondet.exec_prompt(task).replace("```json", "").replace("```", "")
            )
            print(result)
            return json.loads(result)
 
        result_json = gl.eq_principle.strict_eq(get_match_result)
 
        if result_json["winner"] > -1:
            self.has_resolved = True
            self.winner = result_json["winner"]
            self.score = result_json["score"]
 
        return result_json
 
    @gl.public.view
    def get_resolution_data(self) -> dict[str, typing.Any]:
        return {
            "winner": self.winner,
            "score": self.score,
            "has_resolved": self.has_resolved,
        }