IGR | Input-Governed Resolution
Token-governed input locking for deterministic, auditable prediction market settlement.
What it is
IGR (Input-Governed Resolution) is a protocol for safer binary prediction market settlement.
Instead of voting directly on final outcomes (YES/NO), token governance votes on settlement inputs: model pair, source policy, and mismatch handling rules. Once these inputs are approved and locked, settlement runs deterministically.
The workflow compiles a canonical input package, runs dual-model adjudication, applies deterministic branching (FINAL_MATCH or FINAL_MISMATCH), and produces hash-linked audit artifacts (package_hash, policy_hash, decision_hash).
Final settlement outcomes are explicit (YES, NO, or SPLIT_50_50) with reason codes.
We validate this with two active Polymarket-style cases (Bitcoin up/down and Zelenskyy suit), CRE workflow simulation, and Sepolia on-chain evidence.
The main problem solved is reducing discretionary and hard-to-audit settlement by shifting governance from outcome override to constrained input configuration.
How it Works
• Smart contracts (Solidity)
• IgrRegistry.sol: on-chain settlement commitment/recording
• GovernanceRegistry.sol: propose/vote/execute/lock lifecycle for settlement configuration
• Protocol engine (Node.js/TypeScript/JS)
• canonical package builder
• policy guards (schema/oracle/cross-vendor)
• deterministic settlement branching and reason codes
• Chainlink CRE integration
• workflow scaffold in cre/igr-settlement/
• successful simulation in simulation-safe and staging-trigger validation paths
• Reproducibility layer
• automated tests (40/40 passing)
• replay reports, governance E2E artifacts, and Sepolia evidence files
Links
Created by
- Minkyun Seo