Unused substitute
Named on the sheet, zero minutes. Does “play” mean listed, or on the pitch?
Intelligent Contract QA · GenLayer Studionet
Find the argument before the market opens.
Stress-test settlement rules against edge cases, inspect competing interpretations, and publish versioned rule packets on GenLayer. Eliminate ambiguous clauses before real capital commits.
Illustrative Settlement DilemmaCLAUSE #C1
“Market resolves YES if Cole Palmer participates in the match fixture on Nov 10.”
→ Named on bench, 0 minutes logged: Official team sheet says “participated” (YES). Match minutes say 0 (NO). Both outcomes valid without rule linting.
Drafts are kept in local browser storage until you choose to publish. A seal is an immutable contract record verifying consensus on a specific revision content hash. It is not an automated score oracle or a legal indemnity.
WHAT RESOLUTIONLINT DOES
“Under these exact written rules, can a plausible event lead to multiple incompatible settlement outcomes?”
- Publishes versioned, immutable revisions anchored by a canonical SHA-256 hash.
- Binds each analysis directly to that revision hash, preventing silent drift.
- Surfaces conflicting interpretations, counterexample scenarios, and cited clauses.
- Gates the on-chain seal so that only an eligible, ambiguity-free analysis can lock.
WHAT IT DOES NOT GUARANTEE
- Not a betting platform, exchange, or financial execution venue.
- Not a live result-feed oracle or automatic payout engine.
- Not an absolute guarantee that unforeseen real-world anomalies cannot occur.
- Not a legal certification or replacement for editorial market review.
- Not an opaque off-chain chatbot: outputs come from intelligent contract consensus.
Interactive Case Study
ILLUSTRATIVE BENCHMARKOne fixture. Two rule texts. A split resolution averted.
Explore how subtle linguistic ambiguity leads to contradictory dispute branches, and how targeted clause hardening clarifies the settlement condition before any contract write.
Illustrative interactive example · no wallet needed
Market Question:
Will Cole Palmer play against Arsenal on November 10, 2026?
Settlement Clause C1:
“Market resolves YES if Cole Palmer participates in the Premier League fixture against Arsenal on Nov 10.”
The Latent Ambiguity:
What does “participates” legally obligate? If Palmer is named on the bench as an unused substitute, or warms up but withdraws before kickoff with a groin strain, the rule forks into opposing settlement directions.
Methodical Workflow
How a rule moves from draft to sealed packet
- STAGE 01
Draft
Write the question, YES/NO/VOID conditions, sources, cutoff, and clauses. The draft stays in this browser.
- STAGE 02
Publish
The owner wallet writes the initial revision. The text and its canonical hash become public and immutable.
- STAGE 03
Analyze
GenLayer runs the contract’s nondeterministic lint. Validators must agree on a structured report.
- STAGE 04
Inspect
Each finding names clauses, a counterexample, and two competing outcomes.
- STAGE 05
Revise
A clarified revision is a new record. It does not edit the previous one.
- STAGE 06
Compare
Read both revisions side by side, including hashes and verdicts.
- STAGE 07
Seal
Only a revision whose stored verdict is NO_MATERIAL_AMBIGUITY_DETECTED can be sealed, and only by the owner.
- STAGE 08
Export
Download a JSON packet a third party can check against the contract reads.
Contract Capabilities
- Registers a market and immutable owner on the initial transaction.
- Appends strictly numbered revisions without overwriting historical text.
- Stores exactly one accepted analysis per revision, verified to its canonical hash.
- Enforces seal gating: only owner can seal, only on ambiguity-free analysis.
- Exposes transparent read methods for fresh-browser third-party verification.
Contract address: 0x3f60297b10d7547Cf214c120C640262BC7E21E4d
Consensus & Equivalence
Rule analysis runs as an intelligent contract transaction on GenLayer. Validators execute structured generation against the scenario catalog, evaluate findings under the contract’s semantic equivalence rules, and commit an accepted report only upon consensus.
GenLayer does not act as a live sports oracle. Referenced URLs are citations recorded by the author; the workbench evaluates rule semantics, not future match outcomes.
Adversarial Catalog
Standard edge scenarios tested against every clause
Warm-up withdrawal
Announced in the XI, replaced before kickoff. Which sheet is the event?
Postponement window
Replay promised “when played,” with no end date. Capital can sit open for a season.
Abandoned match
Stopped before full time. Rules must say VOID, stand, or wait — and for how long.
Stat correction
A box score changes after settlement. Without a freeze time, both scores are arguable.
Source conflict
A wire and the league site disagree. Priority and a cutoff have to be written, not implied.
The catalog is bounded and deterministic. A clean verdict means tested vectors did not trigger competing outcomes.
Audit Trails & Verifiability
Immutable Revisions
Revision #2 explicitly points at Revision #1. Historical clauses remain preserved and inspectable via read methods.
Deterministic Hash
Both client and contract canonicalize structured fields before SHA-256. Analysis reports are locked strictly to this hash.
Public Read API
Anyone can verify sealed status without connecting a wallet or holding authority tokens.
System Limitations & Scope
- Validator disagreement or an unsupported structured output can result in non-acceptance (NO_MAJORITY or MAJORITY_DISAGREE). Terminal state depends on lifecycle status, not consensus decision alone.
- Semantic equivalence verifies agreement under defined contract rules; it does not replace human editorial review.
- Studionet is a developer network environment running under GenLayer Studio RPC.
- The platform does not custody funds, manage pools, or settle bets.
Frequently Asked Questions
FAQ
Does this place or settle bets?→
No. ResolutionLint stores and tests written rules. It does not accept stakes, escrow funds, or report live scores.
Is a seal a legal opinion or a promise the market can never dispute?→
No. A seal records that this contract’s analysis of this exact revision hash returned no material ambiguity under its catalog. People can still disagree, and untested facts can still appear.
Are the examples on this page contract results?→
No. The before/after and the sample cards are labeled illustrative. They prefill an editable local draft. They are not reads from the deployed contract.
Who can publish, analyze, or seal?→
The connected wallet that creates the market is the owner. Later revisions, analysis, and sealing are restricted to that owner. Anyone can read published records.
What leaves my browser?→
Local drafts stay in IndexedDB until you publish. A publish writes the rule text, event label, and your address to the public contract. Do not put secrets in rule text.
Template Library
PRE-CONFIGURED TEMPLATESEducational Edge-Case Rule Sets
Load an illustrative sports rule set into the workbench editor to test its clauses locally.
Premier League: Arsenal vs Chelsea - Star Striker Appearance
Ambiguous Player Participation ('Did Player Start or Enter?')
Question does not distinguish being listed in the matchday squad from entering the pitch.
Target Question
Will Gabriel Jesus play against Chelsea on October 25?
Cutoff Policy
At final whistle
Specified Clauses:
C1:Gabriel Jesus must play in Arsenal's match against Chelsea on October 25.
C2:Official team sheets and match reports from BBC Sport determine participation.
C3:If the match is postponed, market remains open until played.
Sample Findings (2)Verdict: AMBIGUITIES_FOUND
F1PARTICIPATION
CRITICAL
Target Clause: C1, C2
“Gabriel Jesus must play in Arsenal's match”
The term 'play' is undefined. In association football, a player can be named on the bench as an unused substitute. One source sheet will list the player under 'Team Squad' while the box score lists 'Minutes Played: 0'.
Contradicting Scenario:Gabriel Jesus is named as a substitute on the official team sheet but remains on the bench for the entire 90 minutes without entering the pitch.
Interpretation AYES
Being listed on the official squad sheet counts as participating in the match event.
Interpretation BNO
Only crossing onto the field of play during active game clock constitutes playing.
Actionable Clarification:Explicitly state: 'Resolves YES if the player enters the field of play (as starter or substitute) during active play. Resolves NO if named only as an unused substitute or omitted from the squad.'
F2POSTPONEMENT
MAJOR
Target Clause: C3
“If the match is postponed, market remains open until played.”
Open-ended postponement window creates indefinite capital lockup if the match is moved to the following year or cancelled indefinitely.
Contradicting Scenario:Match is postponed due to severe weather and rescheduled for 5 months later.
Interpretation AUNDERDETERMINED
Hold market open indefinitely across multiple transfer windows.
Interpretation BUNDERDETERMINED
Market should have expired or voided after reasonable window.
Actionable Clarification:Add a finite cutoff window: 'If the match is not played within 48 hours of original kickoff, market resolves VOID (or NO).'