Reference Edition 2026.07
Verify this Edition
This Edition authenticates itself with coreutils — no VolRoc code, no trust in the delivery channel. The acceptance standard is two independent reviewers, identical inputs, byte-identical manifest and hash.
# 1 — authenticate the whole package (no VolRoc code) $ curl -O https://volroc.ai/reference/editions/reference-v1.2026.07/SHA256SUMS $ sha256sum -c SHA256SUMS MANIFEST.json: OK # 2 — match the manifest hash to the published hash $ sha256sum MANIFEST.json sha256:5e258b2817b9dbf68bcb1b40399acaab50e64bb9f90de2038222ba00c4e1a7c1 MANIFEST.json
Full walkthrough and independent-validation guidance: /reference/verify/.
What is inside the hash
Manifest
- projection_code_version
- reference_edition_manifest_v1
- canonical_encoding
- {'allow_nan': False, 'array_order': 'producer-declared total order; the encoder does not reorder arrays', 'digest': 'sha256', 'digest_reference_form': 'sha256:<64 lowercase hex>', 'encoding_id': 'volroc-canonical-encoding-v1', 'ensure_ascii': False, 'float_values': 'prohibited', 'item_separator': ',', 'key_separator': ':', 'object_key_order': 'codepoint ascending, applied recursively', 'presence_semantics': 'absent != empty; absent keys are omitted, never null-filled', 'serialization': 'json', 'sort_keys': True, 'text_encoding': 'utf-8', 'unicode_normalization': 'none'}
- coverage
- 52 criteria records (kalshi 24, polymarket 28); bound at 2026-07-08T23:00:00Z; venues: kalshi, polymarket
Known gaps
- criteria_cross_venue_capture_skew (criteria_gap) — The two venues were captured at distinct instants within one hour: Kalshi at 2026-07-08 03:00:05.404686+00:00 (24 records) and Polymarket at 2026-07-08T03:15:03+00:00 (28 records), a 15-minute cross-venue capture skew. Each venue's native snapshot_at_utc format is preserved verbatim and never blended (OC-5). No single capture instant is asserted for the Edition.
- criteria_version_chain_absent (criteria_gap) — wc_scorer_criteria_2026-07-08 is a sealed single-hour criteria capture, not a B2 version chain. snapshot_hash, criteria_version, effective_from and effective_to are absent from all 52 records (measured 0/52). Ruling A4: the Edition pins the sealed criteria artifact by content_hash and declares the absent version chain rather than fabricating it. B2-BUILD does not block this Edition.
- outcome_space_not_exhaustive:prop:wc2026:golden_boot:nation (binding_gap) — exhaustive_claimed is false in the sealed binding edition. The 28 bound legs are not asserted to exhaust the outcome space.
- outcome_space_not_exhaustive:prop:wc2026:golden_boot:player (binding_gap) — exhaustive_claimed is false in the sealed binding edition. The 24 bound legs are not asserted to exhaust the outcome space.
- resolution_authority_ambiguity_recorded_not_adjudicated (criteria_gap) — Where the two venues' criteria texts defer to FIFA as the resolution authority, the divergence between them is recorded as observed and is not adjudicated by this Edition. No settlement state is asserted anywhere in this Edition.
Hash-pinned substrate
An Edition adds no new truth. It pins the immutable objects it projects; each is regenerable and independently hashable.
| Object | Registry hash | Role |
|---|---|---|
| entities_v1 | sha256:e8d1880f6473923707e1d14645060d4d00880ed3b947462ce11a3a4ab375cde8 | identity_registry |
| proposition_bindings_v1 | sha256:79788ef5902be5690888d06dfd0a4e0f50fffc896ca0a809e7b73724f14d3a09 | binding_ledger |
| resolution_vocabulary_v1 | sha256:bc327eb6fd5d2d2e659e146e03848fdb6f1988d9ee6b2b117ec45897e78a4c76 | settlement_vocabulary |
| wc_scorer_criteria_2026-07-08 | sha256:290f2c9ddbb98ffa7cba4828d422c9486cde4972dda28ea5f1eb4b86f9d998fc | criteria_snapshot |
Corrections on the record
[TIE_RULE] World Cup top-scorer tiebreaker mechanism, Kalshi vs Polymarket — Measured settlement-criteria text shows both venues share a most-goals base and defer to FIFA's official determination, but their fallback tie chains are different instruments. Kalshi (rules_secondary) adopts FIFA Golden Boot tiebreakers: most assists, then fewest minutes played. Polymarket (description) resolves by fewer penalty-kick goals, then alphabetical last name. The divergence class TIE_RULE stands; only the mechanism is corrected. (Earlier framing retired, not silently revised. The correction reinforces the proposition-identity finding: market titles cannot adjudicate settlement.)
[CAPTURE_STATE] Polymarket capture state for the World Cup top-scorer criteria — Retired by measurement. The Polymarket criteria in this edition are drawn from snapshot polymarket_snapshot_20260708T031503Z, captured 2026-07-08 03:15:03 UTC: current, not degraded, with 28 top-scorer markets present. Polymarket capture recovered 2026-07-07. (The degraded-window assumption is retired for this edition's criteria. A documented 19-day Polymarket price-capture degradation (2026-06-18 ~02:00Z through 2026-07-07) exists in the underlying bronze price record; it does not affect the settlement criteria captured 2026-07-08, and this edition ships no prices. The absence of measurement was not evidence of absence.)
Related editions
This Edition opens the append-only lineage (supersedes: null). A correction is a new dated Edition or an appended erratum, never an in-place edit.
No related records.
This page carries identity and integrity only. Prices, marks, tape, analytics, and any mutable “latest” pointer are forbidden here (R1 D2).
Every hash on this page derives from the sealed manifest; the Edition identity is the sha256 of the manifest bytes and reproduces under an independent witness (I0-3 dual-witness, A==B).
This Edition states its own limits in known_gaps_ledger rather than papering over them. Every entry is shown above.
Download is gated until an explicit public-designation decision. Showing the hash is never gated; shipping the package is.