Canonical propositions
Every proposition has one opaque, permanent canonical identifier. Browse them below, or filter by canonical id, venue-native id, or name. Identifiers contain verbatim colons and are never rewritten.
Filtering is an enhancement. With JavaScript off, the full registry below is browsable and every link works. A machine-readable index is at /reference/v1/search-index.json.
| Canonical id | Proposition | Venues | Divergence |
|---|---|---|---|
| prop:ipo:anthropic:date26aug01 | Anthropic IPO Timing — organization referent | kalshi | — |
| prop:wc2026:golden_boot:nation | FIFA World Cup 2026 Golden Boot — nation referent | polymarket | REFERENT, TIE_RULE |
| prop:wc2026:golden_boot:player | FIFA World Cup 2026 Golden Boot — player referent | kalshi | REFERENT, TIE_RULE |
| No matches. Clear the filter to browse all records. | |||
Sealed reference editions
The Edition record page is live. The sealed package is not publicly downloadable; distribution is metadata_only. The machine editions index is at /reference/v1/editions/.
Canonical entities
How identity is typed
Binding kinds (M2)
- EQUIVALENCE
- Same referent, same outcome space — one canonical proposition bound across venues.
- RELATED
- Same event fact but non-substitutable (e.g. a different referent); linked, never merged.
Divergence classes (M2)
- TIE_RULE
- Same core, but a winner-affecting tie-tail differs (e.g. assists→minutes vs penalties→alphabetical).
- REFERENT
- The object class or scope differs; disqualifies equivalence.
- TIMING
- Determination timing differs between venues.
- SOURCE
- The resolution source differs between venues.
Settlement vocabulary (B4)
- OPEN
- canonical settlement value
- PENDING
- canonical settlement value
- RESOLVED_YES
- canonical settlement value
- RESOLVED_NO
- canonical settlement value
- VOID
- canonical settlement value
Where venues that look identical differ
The permanent evidence surface: two venues that look like the same market, recorded as differing before the outcome was known. Divergence is a property of the relation between two propositions, never of a single binding.
This registry lists canonical identity and cross-venue bindings for the sealed Edition. It asserts no current market state and no settlement.
The filter needs JavaScript; browsing does not. With JS off the full table is present and every canonical-record link works. The static search index is machine-readable at /reference/v1/search-index.json.