What is HIP-4?

aiModelHeadToHead

{shortNameA} v {shortNameB}: {leaderboard} on {dateTime}

This market compares {modelA} ({shortNameA}) and {modelB} ({shortNameB}) on {dateTime} using {leaderboard} at {leaderboardUrl}. Benchmark version, category, filters, and evaluation settings are {benchmarkSettings}, applied identically to both models. Each model is the exact version and configuration identified by its leaderboard name. Renames count only if the leaderboard publisher identifies the same model; replacements and other configurations do not. A relocated or renamed leaderboard counts only if its publisher identifies the same evaluation with the specified settings. The Snapshot is the latest official leaderboard version matching those settings public at or before {dateTime}. Proof requires official publication metadata identifying that version or a verifiable timestamped capture of its contents by then. A date alone suffices only if the entire date precedes the deadline in an established timezone. Later captures qualify only if official metadata or earlier captures prove identical contents public by the deadline. Official version order prevails; capture order alone does not order versions. Unresolved conflicts over version selection or required facts leave them unestablished. Comparison favors the {comparisonDirection} value of {metric}, where direction is higher or lower. Tiebreakers are {tiebreakers}, with each metric and direction specified; none means no tiebreakers. They apply in the specified order only after equality on all earlier criteria. Only specified criteria apply, using displayed values at published precision. Ambiguous settings or comparison criteria leave the comparison unestablished. The market resolves to 0.5 if either model is absent, both names identify the same model, the Snapshot, comparison, or a required fact is unestablished by the evidence cutoff, or the leaderboard was discontinued without a qualifying successor by {dateTime}. Otherwise, it resolves to {shortNameA} if comparison favors {modelA}, to {shortNameB} if it favors {modelB}, and to 0.5 if tied after all specified criteria. A resolution to 0.5 pays $0.50 per token on either side. Unused tiebreak values are unnecessary. Evidence is limited to the leaderboard publisher's official records and verifiable timestamped leaderboard captures public by 24 hours after {dateTime}; resolution occurs only after that cutoff. Evidence may authenticate the Snapshot as published, including model identities; corrections, reassignments, and versions first public after {dateTime} are excluded even if their data covers an earlier period. All comparisons use the same Snapshot. This market is not sponsored by, endorsed by, or affiliated with any entity referenced. Names and trademarks are descriptive only. metadata=category:technology|subCategory:N/A|semanticRestriction:This market must compare two specific AI language models on a public performance leaderboard.

• benchmarkSettings: string
• comparisonDirection: string
• dateTime: dateTime
• leaderboard: string
• leaderboardUrl: string
• metric: string
• modelA: string
• modelB: string
• shortNameA: shortString
• shortNameB: shortString
• tiebreakers: string

Sides: {shortNameA} / {shortNameB}

binaryPrice

{perp} above {threshold} at {time}?

The market resolves to Yes if the {perp} price is above {threshold} at {time}, and otherwise resolves to No. Settlement is according to the {seconds}-second TWAP of {priceDescription} price ending at {time}. If {perp} is delisted before this market settles, settlement is instead according to the {perp} settlement price at delisting. metadata=category:price|subCategory:N/A|semanticRestriction:This market must refer to the price of a Hyperliquid perp.

• perp: hlPerp
• priceDescription: string
• seconds: uInt
• threshold: uDecimal
• time: dateTime

Sides: Yes / No

companyIpoConfirmed

{company} IPO confirmed by {dateTime}

The market resolves to Yes if {company}'s first public common-equity offering for a regulated exchange listing is publicly confirmed at or before {dateTime}. Otherwise, it resolves to No. Confirmation occurs when any of these becomes public: a securities regulator approves or clears the required filing for the public offering; the company or underwriters publish final share count and offering price; or the exchange assigns a ticker and grants unconditional listing approval. Conditional exchange approval qualifies only when the exchange publicly confirms all conditions satisfied. These triggers are independent. All triggers require a qualifying offering. Filing or confidential submission, a proposed price range, ticker reservation, or intent alone do not qualify. Trading need not begin by the deadline. Issuer identity and offering structure are assessed when each trigger becomes public. Prior trading means trading before that trigger, excluding trading resulting from that offering. Later restructuring, delay, withdrawal, or cancellation does not undo qualifying confirmation; corrections may show it never qualified. Name changes of the same issuer count; offerings by a parent, subsidiary, or acquirer do not. Prior public common-equity trading on a regulated exchange disqualifies the company, even if later taken private. Prior trading outside a regulated exchange disqualifies it if retail investors could buy and sell its common equity without investor qualification requirements, invitation, or issuer approval. Routine account opening and identity checks do not restrict access. A direct listing providing for newly issued common shares to be sold to the public qualifies; a resale-only direct listing does not. SPAC transactions, reverse mergers, private placements, and offerings of debt, preferred shares, or depositary receipts without a common-equity IPO do not qualify. Evidence and corrections must be public by seven days after {dateTime}; resolution occurs only after that cutoff. They establish whether a qualifying confirmation was public by the deadline. Official source priority is regulator, company, exchange, then underwriters. Priority resolves contradictions about the same fact; silence does not negate another source's confirmation. Unresolved conflicts at the highest applicable priority leave a fact unestablished. Otherwise, at least two independent reputable news organizations' original reports may establish missing facts if reputable reporting has no unresolved material contradiction. Syndicated copies count as one. Reporting cannot override official facts or resolve official conflicts; rumors do not qualify. This market is not sponsored by, endorsed by, or affiliated with any entity referenced. Names and trademarks are descriptive only. metadata=category:economics|subCategory:N/A|semanticRestriction:This market must refer to confirmation of a company's initial public offering.

• company: string
• dateTime: dateTime

Sides: Yes / No

policyRateDecision

{institution} {decisionLabel} rate decision

This market has three possible results: No change, Decrease, or Increase. Exactly one corresponding named outcome resolves to Yes; the other two and the protocol-created fallback resolve to No. It covers the {decisionLabel} {institution} decision concerning {policyMeasure}, scheduled for {scheduledDecision} UTC (the "Decision"). The Decision Value is the numeric value of {policyMeasure} announced by {officialSource}. The Prior Value is the value of that same measure in effect immediately before the Decision. No change resolves to Yes if the Decision Value equals the Prior Value. Decrease resolves to Yes if the Decision Value is lower. Increase resolves to Yes if the Decision Value is higher. If the Decision is rescheduled, the rescheduled decision applies if {officialSource} publishes it by {decisionDeadline} UTC. If the Decision is canceled or postponed without a replacement decision, or no official Decision Value is published by {decisionDeadline} UTC, No change resolves to Yes. Policy changes outside the scheduled Decision are ignored except when establishing the Prior Value. If {institution} replaces {policyMeasure}, the closest official successor measure identified by {officialSource} is used. Resolution uses the initially published decision; later revisions do not change the resolution. {officialSource} is the primary resolution source; independent reputable reporting may be used if it has not published the relevant decision. No change resolves to Yes under the deadline rule above only if neither {officialSource} nor independent reputable reporting establishes a Decision Value by {decisionDeadline} UTC. metadata=category:economics|subCategory:N/A|semanticRestriction:This market must refer to a scheduled policy rate decision by an official institution.

• decisionDeadline: dateTime
• decisionLabel: string
• institution: string
• officialSource: string
• policyMeasure: string
• scheduledDecision: dateTime

policyRateDecrease

Decrease

This outcome resolves to Yes if the Decision Value is lower than the Prior Value under the parent question's rules.

policyRateIncrease

Increase

This outcome resolves to Yes if the Decision Value is higher than the Prior Value under the parent question's rules.

policyRateNoChange

No change

This outcome resolves to Yes if the Decision Value equals the Prior Value, or if the parent question's cancellation, postponement, or decision-deadline rule applies.

priceTouch

{perp} touches {target} by {time}

The market resolves to Yes if the {perp} price touches {target} at or before {time}, and otherwise resolves to No. The price counts as touched once the {seconds}-second TWAP of {priceDescription} price equals or crosses {target} at any time after this market is deployed and at or before {time}; the market can settle as soon as a touch occurs. If {perp} is delisted before this market settles, the {perp} settlement price at delisting counts as the final price for the touch determination, and the market can settle at delisting if the price has not touched {target} by then. metadata=category:price|subCategory:N/A|semanticRestriction:This market must refer to the price of a Hyperliquid perp.

• perp: hlPerp
• priceDescription: string
• seconds: uInt
• target: uDecimal
• time: dateTime

Sides: Yes / No

scalarPrice

{perp} from {low} to {high} at {time}

If the {perp} price is at or above {high} at {time}, Long tokens pay out $1 each. If the price is at or below {low}, Long tokens pay out $0 each. Otherwise, Long tokens pay out $1 times (price - {low}) / ({high} - {low}) each. In each case, Short tokens pay out $1 minus the Long payout each. Settlement is according to the {seconds}-second TWAP of {priceDescription} price ending at {time}. If {perp} is delisted before this market settles, settlement is instead according to the {perp} settlement price at delisting. metadata=category:price|subCategory:N/A|semanticRestriction:This market must refer to the price of a Hyperliquid perp.

• high: uDecimal
• low: uDecimal
• perp: hlPerp
• priceDescription: string
• seconds: uInt
• time: dateTime

Sides: Long / Short

sportsContestDraw2

Draw

This outcome resolves to Yes if, under the parent question's rules, the Contest Result is a draw or the Residual Conditions apply, and otherwise resolves to No.

sportsContestParticipant2

{participant}

This outcome resolves to Yes if {participant} is the sole winner of the Contest under the parent question's rules, and otherwise resolves to No.

• participant: string

sportsContestResult

{competition} {stage}: {participantA} v {participantB}

This {sport} market has three possible results: {participantA}, Draw, or {participantB}. Exactly one corresponding named outcome resolves to Yes; the other two and the fallback resolve to No. It covers the {contestType} between {participantA} and {participantB} in the {season} {competition} {stage}, scheduled for {scheduledStart} UTC (the "Contest"). The Counted Play is {countedPlay}. The Contest Result is the official record of the Counted Play. Play outside the Counted Play, including any extra time, overtime, shoot-out, or tiebreak, is disregarded, and a winner decided by such play is not the winner of the Counted Play, even if any source treats it as part of the Contest. A participant is the sole winner if the Contest Result names it the sole winner of the Counted Play or, where it names none, if it has the better score or placing under the Contest rules when the Counted Play ends. The Contest Result is a draw if it records a draw, tie, or co-winners, or names no winner of the Counted Play with the scores level when it ends. {participantA} or {participantB} resolves to Yes if that participant is the sole winner; Draw resolves to Yes if the Contest Result is a draw. Draw also resolves to Yes if the Contest Result records a no contest or no winner, names an unlisted winner, or is not established by {resolutionDeadline} UTC (the "Residual Conditions"). A result that {officialSource} records for the Contest by administrative or rules-based decision, including but not limited to a decision following abandonment, walkover, forfeit, disqualification, or retirement, is the Contest Result if the Counted Play was not completed; a completed Counted Play is resolved on its record alone. A postponed, suspended, or rescheduled Contest, or one replayed because the Counted Play was not completed, between the same participants in the same {competition} {stage} remains the Contest. A result or status is established when {officialSource} publishes it or, failing that by {resolutionDeadline} UTC, when a clear consensus of independent reputable reporting available by that deadline supports it; otherwise it is not established. The Contest Result is fixed as {officialSource}'s record stands one hour after {officialSource} first publishes on any official channel that the Counted Play is complete, including by recording play beyond it, or that a result has been recorded by decision, or at {resolutionDeadline} UTC if earlier or if it rests on reporting; later appeals, corrections, reversals, or reassignments do not change it. This market is not sponsored by, endorsed by, or affiliated with {officialSource} or any competition, league, governing body, organizer, team, club, participant, or other person or entity referenced in this market. All names and trademarks are the property of the respective rights holders and are descriptive only. metadata=category:sports|subCategory:{sport}|semanticRestriction:This market must refer to a single scheduled sports contest.

• competition: string
• contestType: string
• countedPlay: string
• officialSource: string
• participantA: string
• participantB: string
• resolutionDeadline: dateTime
• scheduledStart: dateTime
• season: string
• sport: string
• stage: string

sportsContestWinner

{competition} {stage}: {participantA} v {participantB}

This {sport} market has two sides, {shortNameA} for {participantA} and {shortNameB} for {participantB}. It covers the {contestType} between {participantA} and {participantB} in the {season} {competition} {stage}, scheduled for {scheduledStart} UTC (the "Contest"). The Counted Play is {countedPlay}. The Contest Result is the official record of the Counted Play. Play outside the Counted Play, including any extra time, overtime, shoot-out, or tiebreak, is disregarded, and a winner decided by such play is not the winner of the Counted Play, even if any source treats it as part of the Contest. A participant is the sole winner if the Contest Result names it the sole winner of the Counted Play or, where it names none, if it has the better score or placing under the Contest rules when the Counted Play ends. The Contest Result is a draw if it records a draw, tie, or co-winners, or names no winner of the Counted Play with the scores level when it ends. The market resolves to {shortNameA} if {participantA} is the sole winner, and resolves to {shortNameB} if {participantB} is the sole winner. The market resolves to 0.5 if the Contest Result is a draw, records a no contest or no winner, names an unlisted winner, or is not established by {resolutionDeadline} UTC. A result that {officialSource} records for the Contest by administrative or rules-based decision, including but not limited to a decision following abandonment, walkover, forfeit, disqualification, or retirement, is the Contest Result if the Counted Play was not completed; a completed Counted Play is resolved on its record alone. A postponed, suspended, or rescheduled Contest, or one replayed because the Counted Play was not completed, between the same participants in the same {competition} {stage} remains the Contest, subject to the same rules and deadline. A result or status is established when {officialSource} publishes it or, failing that by {resolutionDeadline} UTC, when a clear consensus of independent reputable reporting available by that deadline supports it; otherwise it is not established. The Contest Result is fixed as {officialSource}'s record stands one hour after {officialSource} first publishes on any official channel that the Counted Play is complete, including by recording play beyond it, or that a result has been recorded by decision, or at {resolutionDeadline} UTC if earlier or if it rests on reporting; later appeals, corrections, reversals, or reassignments do not change it. This market is not sponsored by, endorsed by, or affiliated with {officialSource} or any competition, league, governing body, organizer, team, club, participant, or other person or entity referenced in this market. All names and trademarks are the property of the respective rights holders and are descriptive only. metadata=category:sports|subCategory:{sport}|semanticRestriction:This market must refer to a single scheduled sports contest.

• competition: string
• contestType: string
• countedPlay: string
• officialSource: string
• participantA: string
• participantB: string
• resolutionDeadline: dateTime
• scheduledStart: dateTime
• season: string
• shortNameA: shortString
• shortNameB: shortString
• sport: string
• stage: string

Sides: {shortNameA} / {shortNameB}

sportsOverUnderMarket

{event}: {measure} over/under {line}

This {sport} market covers {measure} in {event}, scheduled for {scheduledStart} (the "Contest"). Counted Play is {countedPlay}; extra time, overtime, shoot-outs, and tiebreaks count only if expressly included. The Final Value uses only Counted Play. It and {line} use {measure}'s units and scale. Reported values use published precision. Derived measures, including totals, differences, ratios, and averages, are calculated from underlying statistics without rounding. Unclear units or calculations, undefined values, or zero denominators leave the Final Value unestablished. Completion requires all specified play to conclude. For full-contest scopes, normal endings under rules in force at scheduled start, including mercy rules and unneeded periods, count. Abandonment, retirement, weather-shortening, forfeits, and awarded results do not complete unfinished Counted Play. Postponement, suspension, rescheduling, or replay after incomplete Counted Play retains the named teams or competitors and deadline; team lineups may change. Resumed play continues the record; a full replay replaces it. An individual participates only by entering Counted Play. The market resolves to 0.5 if completion, the Final Value, or participation by every individual to whom {measure} refers is unestablished at fixing. Otherwise, it resolves to Over if the Final Value exceeds {line}, to Under if below, and to 0.5 if equal. A resolution to 0.5 pays $0.50 per token on either side. Only evidence public by {resolutionDeadline} establishes the trigger time and source contents at fixing; resolution occurs only after that deadline. The trigger is the earliest verifiable official publication time for a record establishing completion, final statistics, and whether each relevant individual participated; absent that, its earliest verifiable capture time. Timestamps must prove those contents existed then. Fixing is the earlier of one hour after the trigger and {resolutionDeadline}, or that deadline without a trigger. {officialSource}'s record establishes the facts. A verifiably newer version of the same record supersedes older versions. Across official channels, an explicit correction or designation of authority prevails; other conflicts leave the fact unestablished. Only versions public by fixing determine facts. Only if fixing occurs on {resolutionDeadline} may missing facts be established by at least two independent reputable news organizations' original reports, with no unresolved material contradiction in reputable reporting. Syndicated copies count as one. Reporting cannot override official facts or resolve official conflicts. Changes after fixing and evidence after the deadline do not affect resolution. This market is not sponsored by, endorsed by, or affiliated with any entity referenced. Names and trademarks are descriptive only. metadata=category:sports|subCategory:{sport}|semanticRestriction:This market must refer to a numerical measure from a single scheduled sports contest.

• countedPlay: string
• event: string
• line: uDecimal
• measure: string
• officialSource: string
• resolutionDeadline: dateTime
• scheduledStart: dateTime
• sport: string

Sides: Over / Under

sportsScalarMarket

{event}: {measure} from {low} to {high}

This {sport} market has two sides, Over and Under. It covers {measure} in the {event}, scheduled for {scheduledStart} UTC (the "Contest"). The Counted Play is {countedPlay}. The Final Value is the value of {measure} over the Counted Play only, taken from the official record of the Contest. Play outside the Counted Play, including any extra time, overtime, shoot-out, or tiebreak, is disregarded even if {officialSource} or any other source includes it in the Contest or in its published totals. Where {officialSource} publishes no total scoped to the Counted Play, the Final Value is determined from the period-level or event-level data in its official record. If the Final Value is at or above {high}, Over tokens pay out $1 each. If the Final Value is at or below {low}, Over tokens pay out $0 each. Otherwise, Over tokens pay out $1 times (Final Value - {low}) / ({high} - {low}) each, rounded down to the nearest $0.00000001. In each case, Under tokens pay out $1 minus the Over payout each. A postponed, suspended, or rescheduled Contest, or one replayed because the Counted Play was not completed, remains the Contest, subject to the same rules and deadline. If the Contest is shortened, abandoned, or decided by administrative or rules-based decision but {officialSource} publishes an official final value of {measure} for the Contest, that value, counting only the Counted Play, is the Final Value. A participant takes part in the Counted Play if {officialSource}'s record shows it in play at any point during the Counted Play. The market resolves to 0.5 if {low} is not less than {high}, if any individual participant to whom {measure} refers does not take part in the Counted Play, if the Final Value cannot be determined from the official record, or if no Final Value is established by {resolutionDeadline} UTC. A value or status is established when {officialSource} publishes it or, failing that by {resolutionDeadline} UTC, when a clear consensus of independent reputable reporting available by that deadline supports it; otherwise it is not established. The Final Value is fixed as {officialSource}'s record stands one hour after {officialSource} first publishes on any official channel that the Counted Play is complete, including by recording play beyond it, or that a value has been recorded by decision, or at {resolutionDeadline} UTC if earlier or if it rests on reporting; later appeals, corrections, reversals, or reassignments do not change it. This market is not sponsored by, endorsed by, or affiliated with {officialSource} or any competition, league, governing body, organizer, team, club, participant, or other person or entity referenced in this market. All names and trademarks are the property of the respective rights holders and are descriptive only. metadata=category:sports|subCategory:{sport}|semanticRestriction:This market must refer to an officially reported statistic from a single scheduled sports contest.

• countedPlay: string
• event: string
• high: uDecimal
• low: uDecimal
• measure: string
• officialSource: string
• resolutionDeadline: dateTime
• scheduledStart: dateTime
• sport: string

Sides: Over / Under

sportsTournamentNoWinner2

No winner

This outcome resolves to Yes if the parent question's fallback conditions apply, and otherwise resolves to No.

sportsTournamentParticipant

{participant}

This outcome resolves to Yes if {participant} is named the sole winner of the Tournament under the parent question's rules, and resolves to No once the parent question's rules show that {participant} can no longer win the Tournament or that the fallback conditions apply.

• participant: string

sportsTournamentWinner

{season} {competition} winner

This {sport} market has one named outcome per listed participant in the {season} {competition} (the "Tournament") plus the fallback. Exactly one outcome resolves to Yes; every other outcome resolves to No. The Tournament Result is the final result of the Tournament, including every contest, period, and tiebreak procedure that {officialSource} treats as part of the Tournament, as determined under the source rules below. A named outcome resolves to Yes if the Tournament Result names the corresponding participant the sole winner. A named outcome resolves to No once {officialSource}'s record shows that the corresponding participant can no longer win the Tournament under its rules, including upon elimination from the Tournament. A named outcome that has resolved to No is final and is not affected by any later change in {officialSource}'s record, including reinstatement of the corresponding participant. If any part of the Tournament is postponed, delayed, suspended, or rescheduled, the Tournament as ultimately completed applies if completed by {resolutionDeadline} UTC. If {officialSource} names a listed participant whose outcome has not already resolved to No the sole winner without a completed Tournament, including but not limited to a decision following abandonment, walkover, forfeit, disqualification, or withdrawal, that participant's outcome resolves to Yes. The fallback resolves to Yes and every named outcome not already resolved resolves to No if the Tournament Result records no winner, names co-winners, names anyone other than a listed participant the winner, names a participant whose outcome has already resolved to No, or is not established by {resolutionDeadline} UTC. The fallback resolves to Yes via a named outcome called No winner that is registered after every other named outcome has resolved to No. A result or status is established when {officialSource} publishes it or, failing that by {resolutionDeadline} UTC, when a clear consensus of independent reputable reporting available by that deadline supports it; otherwise it is not established. The Tournament Result is fixed as {officialSource}'s record stands one hour after {officialSource} first publishes on any official channel the final result of the Tournament or a winner by decision, or at {resolutionDeadline} UTC if earlier or if it rests on reporting; later appeals, corrections, reversals, or reassignments do not change it. This market is not sponsored by, endorsed by, or affiliated with {officialSource} or any competition, league, governing body, organizer, team, club, participant, or other person or entity referenced in this market. All names and trademarks are the property of the respective rights holders and are descriptive only. metadata=category:sports|subCategory:{sport}|semanticRestriction:This market must refer to the overall winner of a sports tournament.

• competition: string
• officialSource: string
• resolutionDeadline: dateTime
• season: string
• sport: string