{title}

# { "Depends": "py-genlayer:1jb45aa8ynh2a9c9xn3b7qqh8sm5q93hwfp7jqmwsfhh8jpz09h6" } import json import re from datetime import datetime from urllib.parse import urlparse from genlayer import * import genlayer.gl as gl # Stored as plain strings on chain because Enum payloads are not natively # encoded in GenVM storage. _STATUS_ACTIVE = "Active" _STATUS_RESOLVED = "Resolved" _STATUS_ERROR = "Error" class IntelligentOracle(gl.Contract): # Persistent storage fields prediction_market_id: str title: str description: str potential_outcomes: DynArray[str] rules: DynArray[str] data_source_domains: DynArray[str] resolution_urls: DynArray[str] earliest_resolution_date: str # ISO 8601 string status: str analysis: str outcome: str creator: Address def __init__( self, prediction_market_id: str, title: str, description: str, potential_outcomes: list[str], rules: list[str], data_source_domains: list[str], resolution_urls: list[str], earliest_resolution_date: str, ): if ( not prediction_market_id or not title or not description or not potential_outcomes or not rules or not earliest_resolution_date ): raise gl.vm.UserError("Missing required fields.") if not resolution_urls and not data_source_domains: raise gl.vm.UserError("Missing resolution URLs or data source domains.") if len(resolution_urls) > 0 and len(data_source_domains) > 0: raise gl.vm.UserError( "Cannot provide both resolution URLs and data source domains." ) if len(potential_outcomes) < 2: raise gl.vm.UserError("At least two potential outcomes are required.") if len(potential_outcomes) != len(set(potential_outcomes)): raise gl.vm.UserError("Potential outcomes must be unique.") self.prediction_market_id = prediction_market_id self.title = title self.description = description for outcome in potential_outcomes: self.potential_outcomes.append(outcome.strip()) for rule in rules: self.rules.append(rule) for datasource in data_source_domains: self.data_source_domains.append( datasource.strip() .lower() .replace("http://", "") .replace("https://", "") .replace("www.", "") ) for url in resolution_urls: self.resolution_urls.append(url.strip()) self.earliest_resolution_date = earliest_resolution_date self.status = _STATUS_ACTIVE self.outcome = "" self.creator = gl.message.sender_address @gl.public.view def _check_evidence_domain(self, evidence: str) -> bool: try: parsed_url = urlparse(evidence) evidence_domain = parsed_url.netloc.lower().replace("www.", "") return evidence_domain in self.data_source_domains except Exception: return False @gl.public.write def resolve(self, evidence_url: str = "") -> None: if self.status == _STATUS_RESOLVED: raise gl.vm.UserError("Cannot resolve an already resolved oracle.") current_date = datetime.now().astimezone().date() earliest_date = datetime.fromisoformat(self.earliest_resolution_date).date() if current_date < earliest_date: raise gl.vm.UserError("Cannot resolve before the earliest resolution date.") if len(self.resolution_urls) > 0 and evidence_url: raise gl.vm.UserError( "An evidence URL was provided but the oracle is configured to use resolution URLs already provided." ) if len(self.resolution_urls) == 0 and not evidence_url: raise gl.vm.UserError( "No evidence URL provided and the oracle is not configured to use resolution URLs." ) if evidence_url: if not self._check_evidence_domain(evidence_url): raise gl.vm.UserError( "The evidence URL does not match any of the data source domains." ) analyzed_outputs = [] resources_to_check = ( list(self.resolution_urls) if len(self.resolution_urls) > 0 else [evidence_url] ) title = self.title description = self.description potential_outcomes = list(self.potential_outcomes) rules = list(self.rules) earliest_resolution_date = self.earliest_resolution_date for resource_url in resources_to_check: def evaluate_single_source() -> str: resource_web_data = gl.nondet.web.render( resource_url, mode="text", wait_after_loaded="10s", ) or "" task = f""" You are an AI Validator tasked with resolving a prediction market. Your goal is to determine the correct outcome based on the user-defined rules, the provided webpage HTML content, the resolution date, and the list of potential outcomes. ### Inputs {title} {description} {potential_outcomes} {rules} {resource_url} {resource_web_data} {datetime.now().astimezone()} {earliest_resolution_date} ### Your Task 1. Analyze the inputs. 2. Provide reasoning that references rules and extracted data. 3. Determine the outcome: - Use one of the listed potential outcomes when possible. - Use `UNDETERMINED` if the information is insufficient or the event has not occurred. - Use `ERROR` if the determined outcome is not in the list. ### Output Format Provide a valid JSON object with this exact structure: {{ "valid_source": "true | false", "event_has_occurred": "true | false", "reasoning": "Your detailed reasoning here", "outcome": "Chosen outcome from the potential outcomes list, `UNDETERMINED`, or `ERROR`" }} ### Constraints - Be accurate and objective. - Output must be valid JSON without trailing commas. """ return gl.nondet.exec_prompt(task) result = gl.eq_principle.prompt_comparative( evaluate_single_source, principle="`outcome` field must be exactly the same. All other fields must be similar", ) analyzed_outputs.append((resource_url, _parse_json_dict(result))) def evaluate_all_sources() -> str: task = f""" You are an AI Validator tasked with resolving a prediction market Oracle. Your goal is to determine the correct outcome based on processed data from each individual data source. ### Inputs {title} {description} {potential_outcomes} {rules} {analyzed_outputs} {datetime.now().astimezone()} {earliest_resolution_date} ### Your Task 1. Analyze the inputs and consider the resolution date. 2. Determine the outcome from the processed data: - One of the listed potential outcomes when possible. - `UNDETERMINED` if the information is insufficient or inconclusive. - `ERROR` if the determined outcome is not in the list. - If sources contradict, refer to the rules. If rules don't resolve it, use `ERROR`. ### Output Format Valid JSON only: {{ "relevant_sources": ["..."], "reasoning": "Your detailed reasoning here", "outcome": "Chosen outcome from the potential outcomes list, `UNDETERMINED`, or `ERROR`" }} ### Constraints - Be accurate, objective, and clear. - JSON must be valid (no trailing commas). """ return gl.nondet.exec_prompt(task) result = gl.eq_principle.prompt_comparative( evaluate_all_sources, principle="`outcome` field must be exactly the same. All other fields must be similar", ) result_dict = _parse_json_dict(result) self.analysis = json.dumps(result_dict) if result_dict.get("outcome") == "UNDETERMINED": return if ( result_dict.get("outcome") == "ERROR" or result_dict.get("outcome") not in self.potential_outcomes ): self.status = _STATUS_ERROR return self.outcome = result_dict["outcome"] self.status = _STATUS_RESOLVED @gl.public.view def get_dict(self) -> dict: return { "title": self.title, "description": self.description, "potential_outcomes": list(self.potential_outcomes), "rules": list(self.rules), "data_source_domains": list(self.data_source_domains), "resolution_urls": list(self.resolution_urls), "status": self.status, "earliest_resolution_date": self.earliest_resolution_date, "analysis": self.analysis, "outcome": self.outcome, "prediction_market_id": self.prediction_market_id, } @gl.public.view def get_status(self) -> str: return self.status def _parse_json_dict(json_str: str) -> dict: """ Sanitize JSON output from the LLM: - keep only the substring between the first `{` and the last `}` - remove trailing commas before closing braces/brackets """ if isinstance(json_str, dict): return json_str first_brace = json_str.find("{") last_brace = json_str.rfind("}") if first_brace == -1 or last_brace == -1: return {} json_str = json_str[first_brace : last_brace + 1] json_str = re.sub(r",(?!\s*?[\{\[\"\'\w])", "", json_str) return json.loads(json_str)

Hash	Type	Status		From	To	Method	GenVM Result	Consensus Result	Time
0x31152189...72b3b508	Call	FINALIZED	IN	0xc45019...619a92	0x029eda...E90a00	resolve	ERROR	Accepted	4 months ago
0xbfe4eef6...5440e38a	Deploy	FINALIZED	IN	0x9d0D02...dA93F8	0x029eda...E90a00	(constructor)	SUCCESS	Accepted	4 months ago